2/(x/2). Suppose -5*r + 4*h + 43 = -187, -h + q = 0. Is 35 a factor of r?
False
Let r be ((-32)/(-20))/(2/5). Suppose -4*a = 3*m + 33, 0 = 3*a - r*a - 3*m - 6. Is 2/(-1)*a/1 a multiple of 16?
False
Suppose 4*b + 3*k = 8019, -392*b + 3*k - 4011 = -394*b. Is 12 a factor of b?
True
Suppose -5*g = -4*z + 117, g - 6*g - 3*z = 131. Suppose 22*u - 2*m + 10 = 20*u, u = -3*m + 3. Let f = u - g. Is f a multiple of 22?
True
Let v = 0 - 6. Suppose -426 = 5*s - 2*w, 2*w + 171 = -2*s + 3*w. Let n = v - s. Is n a multiple of 26?
True
Let z be 4/(-12) - (-22)/(-6). Let j(n) = 4*n**2 + 5*n + 1. Let m be j(z). Suppose -95 = -5*a + m. Is 26 a factor of a?
False
Suppose -2*j + 3*t - t = 2, -2*t - 4 = -5*j. Let d(w) = 0*w**3 + 6*w**2 + 0*w**3 + 6*w - 22*w**j + w**3. Does 17 divide d(16)?
False
Let b(i) = i**2 - 4*i + 3. Let k be b(3). Suppose -648 = -w + 2*w + 3*c, k = -2*w + 4*c - 1316. Is (-4)/10 - w/10 a multiple of 23?
False
Suppose 4*b - 3*b = 5*g - 2042, b - 814 = -2*g. Is 34 a factor of g?
True
Let x(k) = -100*k**3 + 10*k**2 + 9*k - 1. Does 10 divide x(-1)?
True
Let j(h) = 9*h + 28. Is j(4) a multiple of 64?
True
Let z = -3510 + 5478. Is 93 a factor of z?
False
Let t(k) = 4*k**2 + 5*k - 153. Is 18 a factor of t(-17)?
True
Let d be ((-6)/(-4))/(5/60). Let b = 21 - d. Does 25 divide 18/7*7*b?
False
Let w(p) = -218*p + 116. Does 52 divide w(-4)?
True
Let c(g) = -6*g + 24. Let n be c(8). Is 2/2 - n - 3 - 1 a multiple of 5?
False
Let w(t) be the third derivative of -13*t**4/24 + 19*t**3/6 - 6*t**2. Let k be w(-15). Suppose -218 - k = -4*a. Is a a multiple of 18?
True
Let c be 10*(-4)/8*176/(-10). Let k = -71 + c. Is k even?
False
Suppose -9*i + 140 = i. Suppose 0 = 5*j - 2*x - 3*x - 185, j = -4*x + 22. Let n = j - i. Is n a multiple of 5?
True
Let c = 1189 - -603. Does 14 divide c?
True
Let z = 90 + 211. Suppose y + 4*y = -4*b - 287, 3*b - z = 5*y. Let i = 105 + y. Is i a multiple of 24?
False
Let m = 12 + -7. Suppose 41 + 47 = 2*r + 4*i, -3*r + m*i = -77. Is r a multiple of 11?
False
Suppose 6*q - 10*q + 2508 = 0. Suppose 4*o = q + 317. Is 48 a factor of o?
False
Let w = 5 + -11. Let a(j) = j**2 + j. Let y be a(-6). Let h = w + y. Does 24 divide h?
True
Is (-3)/(-6) + 22673/158 a multiple of 18?
True
Is (-1 - -4)/(1*33/1804) a multiple of 4?
True
Let i(l) = -10*l - 2. Let j(x) = 10*x + 1. Let c(k) = 4*i(k) + 5*j(k). Let r = 160 - 157. Is 7 a factor of c(r)?
False
Let v(r) = 4*r**3 + 3*r**2 + 17. Is 5 a factor of v(5)?
False
Suppose 3*c + 25 = 34. Suppose -3*b = b + 3*f - 665, 4*f = -c*b + 490. Is 22 a factor of b?
False
Suppose 0 = 179*u - 182*u + 414. Is u even?
True
Suppose -73*c - 756 = -79*c. Is 7 a factor of c?
True
Let w = -34 + 46. Is w/(-27)*-123 + (-1)/(-3) a multiple of 11?
True
Suppose -4*w - 4*t - 420 = w, -2*t = 3*w + 254. Let q = -26 - w. Is 11 a factor of q?
False
Suppose 12*h = 16*h - 3740. Is h a multiple of 10?
False
Let t = -343 - -525. Is t a multiple of 14?
True
Suppose -z + 0 + 3 = 0. Does 11 divide ((-51)/z + -1)*(-5)/2?
False
Let z be (-1)/10 + 38538/180. Let s = z + -114. Does 10 divide s?
True
Suppose -111*n + 3*x - 1809 = -112*n, -n + 4*x + 1788 = 0. Does 83 divide n?
False
Let f be 2*(-3)/(-24) - (-13)/(-4). Does 10 divide 5 - f - -1*2?
True
Suppose 245 = 2*h + 77. Suppose -2 = 2*y - 3*p + 54, -p = 4*y + h. Is ((-10)/(-10))/((-2)/y) a multiple of 11?
True
Does 14 divide 4/((-12)/3) - (-1054 + 3)?
True
Suppose 0 = 55*g - 61*g + 1272. Is g a multiple of 3?
False
Let u = 27 + 7. Let c = u + -9. Suppose 47 + c = 2*f. Is 23 a factor of f?
False
Let h = 93 - 72. Let s be 2/(-2 - -1) + 4. Suppose f + h = s*f. Is 15 a factor of f?
False
Let c(d) = -7*d**3 + 7*d**2 - 4*d + 8. Let v(k) = k**3. Let x(o) = -c(o) - 6*v(o). Is 20 a factor of x(7)?
True
Let r = 16 + -12. Suppose -c - 3*c + 49 = 3*u, r*c - 31 = 3*u. Let f = c - -26. Is f a multiple of 12?
True
Suppose -5*c + 0*c - 15 = 0. Let k = c - -28. Let q = k + 7. Does 23 divide q?
False
Let a(v) = -v**2 + 6*v + 22. Let r be a(10). Is 196 - (r/7 + (-12)/(-21)) a multiple of 22?
True
Let q(k) = k. Let b be q(4). Suppose -3*h - 2*j = -4*h + 231, -b*h + 3*j = -949. Is h a multiple of 28?
False
Suppose 5*x - 4*b - 8 = 0, -4*x = -3*b + 7*b - 28. Suppose 12 = x*z - 60. Is 9 a factor of z?
True
Let s be (-2)/5 + 874/10. Suppose -60 = -7*j + s. Does 21 divide j?
True
Suppose 2 = 2*j - 10. Let y = 26 - j. Is y a multiple of 13?
False
Is 972 + 4 - -6 - -10 a multiple of 32?
True
Let g(t) = t**3 - 5*t**2 + 5*t - 3. Let q be g(4). Let m be q/(-2*1/(-6)). Does 14 divide (-1)/(129/(-42) + m)?
True
Let z(a) = 4*a**2 + 4*a - 3. Let s be z(-7). Let t = s - 19. Is 15 a factor of t?
False
Let h be 0 - -4 - (-2)/1. Suppose -h = 4*k - 2*k. Does 11 divide (423/(-3))/(-3) + k?
True
Let r be -2 - (2 + -2 + (-4 - 44)). Let l = r - 6. Is l a multiple of 5?
True
Suppose 31*k + 1200 = 36*k. Is k a multiple of 12?
True
Suppose -t + m = -5*t + 5961, 0 = 4*t + 3*m - 5963. Does 10 divide t?
True
Let f(r) = -132*r + 96. Is f(-2) a multiple of 53?
False
Suppose -5*c + 3161 = 161. Is c a multiple of 57?
False
Let k(p) be the second derivative of p**5/20 + p**4/12 + p**3/6 + 30*p**2 - 4*p. Let o be k(0). Suppose o = 3*u + 2*u. Is u a multiple of 9?
False
Let m = -138 + 143. Let k = m - -9. Is 2 a factor of k?
True
Let q = 125 + 115. Is 30 a factor of q?
True
Suppose -91*o = -10*o - 2187. Is o a multiple of 17?
False
Let l be (6/15)/(7/1890). Let w be (-2)/(-4) + 238/(-4). Let o = w + l. Is o a multiple of 15?
False
Let b = 72 - 255. Is ((-2)/(-3))/((-2)/b) a multiple of 17?
False
Let d(k) be the second derivative of k**5/24 - 5*k**4/12 - k**3 + 8*k. Let m(c) be the second derivative of d(c). Is 5 a factor of m(8)?
True
Suppose 0 = -2*o - 3*o - 5*f + 1660, -2*o + 652 = -4*f. Is o a multiple of 33?
True
Suppose -7 = h - 5*k, 4*k = -5*h + 9*k + 25. Does 6 divide (632/(-12))/(-2) + h/(-6)?
False
Let z = -1551 - -2225. Let u = 78 - 81. Does 17 divide z/10 + u/(-5)?
True
Let y(s) be the first derivative of 49*s**2/2 + 7*s + 2. Does 7 divide y(1)?
True
Let h(o) = o**2 - 21*o + 27. Suppose 14 - 110 = -4*t. Is 25 a factor of h(t)?
False
Let u be -81 + -2*(-1)/(-2). Let i(a) = 5*a + 12. Let q be i(-11). Let r = q - u. Is r a multiple of 14?
False
Let n(h) = 2*h**2 + 2*h - 1. Suppose -8*y + 4*y = -24. Let q = -8 + y. Is n(q) a multiple of 2?
False
Let r = 60 - 107. Let s = 167 + r. Is 12 a factor of s?
True
Does 19 divide 1/(-2) + (-2548)/(-8)?
False
Suppose 0*l = -5*l. Suppose -5*q = l, 2*w + 0*q - q - 58 = 0. Is 6 a factor of w/3 - 2/(-6)?
False
Suppose -n = -6*n. Suppose n = 3*o - 7*o + 108. Suppose -38 - o = -5*r. Does 3 divide r?
False
Suppose -19*o = -54*o + 22750. Does 65 divide o?
True
Suppose -l - 3 + 4 = 0. Let z(c) be the second derivative of 4*c**5/5 - c**3/2 + c**2 + 53*c. Is 15 a factor of z(l)?
True
Let t = 68 + -65. Suppose j - 104 = 4*l, 0 = t*j + 5*l - l - 376. Does 9 divide j?
False
Let q = -27 - 18. Let o = 29 - q. Suppose 3*p - p = o. Does 15 divide p?
False
Let u(l) = -l + 360. Does 18 divide u(0)?
True
Let c = 1276 + -1133. Is c a multiple of 14?
False
Suppose -105*b + 47*b = -11020. Is b even?
True
Let z be 387/6*14/21. Let j = 13 + z. Is j a multiple of 8?
True
Let b be ((-22)/(-33))/((-2)/33). Does 6 divide b/2*-6 + 0/3?
False
Let b(c) = c + 204. Is 3 a factor of b(48)?
True
Let v be 89 + (-7)/(105/(-6))*5. Let r = 134 - v. Is r a multiple of 29?
False
Suppose -5*v - 120 = 3*v. Suppose 5*d = -5*p + 4*d + 128, 4*d = -p + 37. Let k = v + p. Is k a multiple of 2?
True
Let z be (-1016)/12 + 1/(-3). Let t = 55 + z. Let s = 21 - t. Is s a multiple of 10?
False
Let p = -227 - -375. Is p a multiple of 17?
False
Let b = -15 + 14. Let t(u) = -15*u**2 - u - 2. Let p be t(b). Let j = 27 + p. Is j a multiple of 8?
False
Let v(i) = -i**3 + 3*i**2 - 4. Let h be v(4). Let g = 1 - h. Is 5 a factor of g?
False
Let a(b) = 62*b**2 - 2*b. Does 8 divide a(-1)?
True
Let f(k) = 6*k**2 - 2*k - 4. Let d be f(-3). Suppose 4*s + w - d = -w, -3*s + 3*w = -42. Suppose -4*v + 126 = -s. Is 10 a factor of v?
False
Let f be (1 - 0)/(3 + -2). Does 14 divide (f*-1)/((-9)/126)?
True
Let b(i) = 2*i**3 + 3*i - 7. Let j be 8/3 - (-13)/39. Is b(j) a multiple of 28?
True
Let x = 119 + 247. Is 65 a factor of x?
False
Let j = -1257 + 1800. Does 48 divi