True
Let q be -1 - (-1 - (8 - 0)). Suppose 0 = 5*j + 37 + q. Let y = 3 - j. Is y a multiple of 6?
True
Let t be 4/14 - (-78)/21. Suppose h - 3*k - 4 = -0*h, 8 = 2*h + t*k. Let a(s) = s**3 - 4*s**2 + 3*s - 4. Is 4 a factor of a(h)?
True
Let b = -18 - -21. Suppose -u - 2*x = -14, b*u - 8*x + 3*x - 75 = 0. Let i = u + -13. Is i a multiple of 2?
False
Suppose -6486 = -p - 6206. Does 35 divide p?
True
Let c = 277 - 251. Does 2 divide c?
True
Let d(w) = 9*w - 54. Is d(15) a multiple of 27?
True
Let j be ((-848)/48)/((-1)/(-3)). Let u = 85 + j. Is 7 a factor of u?
False
Suppose 4*w - 30 = l, -4*w + 8 = -4*l - 28. Let v be (w + -4)/(9/6). Suppose 5*k = 4*m + v*k - 199, -5*m = 4*k - 210. Is 8 a factor of m?
False
Let j be (1*-1)/((-286)/(-95) - 3). Let m = -45 - j. Is 10 a factor of m?
True
Let k = 48 + -46. Let x = 27 + k. Is x a multiple of 5?
False
Let q be 4335/(-25) + 6/15. Let x be q/(-4) - 33/(-44). Let g = x - 24. Is g a multiple of 10?
True
Let x(b) = b**2 + b + 2. Let u be x(0). Suppose 0*v - v = 4*o - u, 0 = 2*v - 3*o - 15. Is 4 a factor of v?
False
Suppose 3*w - 4*k = 16, 4*k = -w - 13 - 3. Suppose 0*z + 4*s - 34 = -2*z, 4*s = -z + 23. Suppose w = 7*j - z*j + 104. Does 13 divide j?
True
Suppose -2*w + x - 4*x = 39, 0 = 2*w - 2*x + 34. Does 19 divide w/(-3*(-4)/(-72))?
False
Suppose 0 = -3*b + 2*m + 80, 90 + 55 = 5*b - m. Suppose 0 = q - 1 - b. Is 8 a factor of q?
False
Suppose -4*r + 31*w + 2270 = 28*w, r - 3*w - 563 = 0. Is 8 a factor of r?
False
Suppose -375 = -2*o + 93. Is 9090/o - 2/(-13) a multiple of 4?
False
Let g = 62 - -28. Let m be g/(-3 - (-30)/9). Suppose 125 = 3*w + 2*d - 37, -d + m = 5*w. Is 27 a factor of w?
True
Let y be 5/(2/4*2). Let v(q) = q**2 + 3*q + 13. Let j be v(5). Suppose -13 = -o + 2*d - 4*d, 2*d = y*o - j. Is o even?
False
Let s(v) = 14*v + 9. Suppose 0 = 5*z - 15 - 5. Let g be s(z). Is 12 a factor of -6*5/((-50)/g)?
False
Let c(y) = -3*y**2 - 2*y + 25. Is 7 a factor of c(0)?
False
Suppose -3*h = -107 - 46. Does 51 divide h?
True
Let u = -17 - -26. Let z be 2/(-4) - u/(-2). Suppose z + 36 = 4*f. Is 4 a factor of f?
False
Let u(z) be the first derivative of 4*z + 1/3*z**3 - 2 + 3/2*z**2. Is u(-6) a multiple of 11?
True
Let r be (-139)/((-110)/(-140) - (-4)/(-14)). Is 6/(-20)*r + 16/(-40) a multiple of 24?
False
Let s be (-6 - 0)*32/12. Let p = -8 + s. Let x = p + 51. Does 9 divide x?
True
Suppose z - 2*z + 2 = 0. Suppose -4*a = -2*a - 2, -1 = 2*x - 3*a. Is 11 a factor of 3/((z - x)/22)?
True
Let z(y) be the third derivative of y**5/60 + y**4/24 - y**3/3 + y**2. Let v be z(-2). Suppose v = -2*x + 5*m - 3, -3*x - 2*m + 48 = m. Does 3 divide x?
False
Suppose 4*q - 6971 = 5*p, 867 = -5*q + 4*p + 9583. Does 109 divide q?
True
Let x(w) be the third derivative of 25*w**4/8 - w**3/6 - 2*w**2. Let o(q) = -q**3 + 8*q**2 - 17*q + 31. Let j be o(6). Is 34 a factor of x(j)?
False
Let d = 20 + -13. Let o = 57 + d. Is ((-3)/(12/o))/(-1) a multiple of 16?
True
Let d = -15 + 429. Does 46 divide d?
True
Let n(c) = 2*c**2 + 25*c + 43. Is n(-20) a multiple of 49?
True
Suppose 0 = 11*g - 208 - 870. Is g a multiple of 7?
True
Suppose 2*d + 5*r = 23, 3*d - 30 + 3 = -5*r. Suppose d = -3*z + 4*z. Suppose -2*m + z*m = 4*i - 74, -92 = -4*i - 4*m. Is i a multiple of 8?
False
Suppose -t + 3*v = 3*t - 783, -4*v - 784 = -4*t. Suppose -15*w + 16*w - t = 0. Does 39 divide w?
True
Let t = -102 - -243. Let d = t + -66. Does 25 divide d?
True
Suppose 5434 = 4*n - 109*t + 106*t, -5*t + 6810 = 5*n. Is n a multiple of 34?
True
Let u = 485 + 595. Does 45 divide u?
True
Let d(x) = -11*x + 31. Let i be d(-13). Let h = -119 + i. Is h a multiple of 11?
True
Let n(l) = 72*l - 4. Suppose -2*d + 2 = 4*a, -a - d - 7 = 2*d. Does 20 divide n(a)?
True
Suppose -s + 134 + 105 = 0. Suppose -s + 44 = -j. Is j a multiple of 13?
True
Let c be 3/(-15) + (-36)/(-5). Suppose -103 = -c*k + 583. Does 7 divide k?
True
Let b(f) = -f**3 - 6*f**2 - 6*f - 2. Let y be b(-5). Suppose -2*i - u = 4, 4*u = 2*i - y - 3. Does 9 divide 7 - ((0 - 2) + i)?
False
Let g(a) = -41*a. Suppose -12*h - 40 = 8. Is g(h) a multiple of 41?
True
Suppose 5*r - 4*h - 113 = 0, 0 = 2*r - 0*r - 5*h - 52. Let m be 1*-4*r/(-28). Suppose -m*y + 24 = -144. Does 18 divide y?
False
Suppose -2*u + 6 + 6 = 0. Suppose 0 = -r + l + 31, 0 = 2*r - u*r - l + 149. Does 4 divide r?
True
Suppose -39 = -14*j - 11. Suppose j = -q + 5*y - 6, 0 = -5*q + 2*y + 52. Is 2 a factor of q?
True
Let p(c) = 15*c - 93. Is p(17) a multiple of 46?
False
Let f = 0 + 4. Let k(j) = 2*j**2 - j - 4. Let x be k(f). Suppose n = -z + 2*z - x, 3*z - 54 = -3*n. Is z a multiple of 7?
True
Let z be -2 + -1 - (1 - 3). Let i be -2*(-3)/(-2)*z. Suppose 0 = 4*m + 20, i*s + s = -5*m + 103. Is 8 a factor of s?
True
Suppose -28 = -3*x - 7. Let y(m) = -m**3 + m**2 + 6*m + 1. Let l be y(-4). Suppose -x*r = -6*r - l. Does 15 divide r?
False
Let x(g) = 2*g**2 - 8*g + 5. Let k be x(7). Let u = k - 23. Suppose 3*c - 24 = -5*q, 3*q + 0*c - 3*c - u = 0. Does 3 divide q?
True
Suppose -6*l - 2*l = -0*l. Does 11 divide (-4*78 + 2)/(-2 - l)?
False
Suppose -4943 = -2*d - 307. Does 122 divide d?
True
Let p = 7 + 4. Let l be p/(-22) + 378/4. Let r = l + -58. Is r a multiple of 18?
True
Let n = 23 - 19. Suppose -n*x - 15 = 2*v + 31, -5*v = x - 11. Let g = 34 + x. Does 4 divide g?
True
Let a = 709 - -651. Is 18 a factor of a?
False
Let j = -85 - -193. Suppose -4*k - 2*k + j = 0. Is k a multiple of 3?
True
Let w(m) = 31*m**2 - 2*m - 3. Let f be w(3). Let q(j) = j**2 + 33*j + 120. Let s be q(-29). Suppose c + s*c = f. Is 18 a factor of c?
True
Let u be (5 - 1)*(-3)/(-6). Suppose -z = 4 + u. Is 19 a factor of (-139)/z - 1/6?
False
Suppose 621*k = 623*k - 1122. Is k a multiple of 51?
True
Suppose 0 = 2*z + 11*k - 15*k - 150, 5*z = -k + 430. Is z a multiple of 2?
False
Let i be (-7)/42 + 1/6. Does 7 divide (-5 + (8 - i))/(1/7)?
True
Let b(o) = 21*o**2 + 5*o - 33. Is 19 a factor of b(4)?
True
Suppose -a - a + 304 = 0. Suppose 5*k - 5*m = -m + 204, -a = -3*k - 5*m. Does 13 divide k?
False
Suppose -64*y = 3*y - 102510. Does 90 divide y?
True
Let c(i) = -i - 10. Let n be c(11). Is 1*-1*693/n a multiple of 16?
False
Suppose 2743 = 17*b - 4*b. Is 30 a factor of b?
False
Let r(i) = i + 11. Let f be r(-9). Suppose s + 3*l = 7, f*s + l + 3 = 12. Suppose 0 = -s*a + 2*t + 208, -4*a + 12 = 4*t - 208. Is 17 a factor of a?
False
Suppose 5244 = -d + 39*d. Is 23 a factor of d?
True
Suppose -8 = 2*i, -2*j + 5*j = -3*i + 414. Is 12 a factor of j?
False
Suppose 0 = -5*u + 9 + 386. Does 5 divide u?
False
Let w(f) = 54*f**2 + 2*f - 1. Let u be w(1). Let y = -30 + u. Is 11 a factor of y?
False
Let x(l) = 4*l - 8. Let w be x(7). Let h = w + -14. Is h even?
True
Let s be (-120)/4 + -2 - -1. Let f = s + 57. Is 13 a factor of f?
True
Let d = 61 - 58. Suppose -2*i + 3*c = -71, 2*c = 8*i - d*i - 194. Is 8 a factor of i?
True
Let t = -6 + 25. Let n = t + -17. Suppose a = 5*y + 8, -n*y = a - 3*a + 48. Is 7 a factor of a?
True
Does 81 divide 1409 + -218 - 5*2?
False
Suppose -15*j + 12*j - 2*x + 3416 = 0, -4*j - 2*x + 4558 = 0. Is 51 a factor of j?
False
Suppose 8 + 42 = 2*p. Suppose -p - 385 = -5*w. Does 41 divide w?
True
Suppose 0 = -u + 6 - 3. Suppose -185 = -2*s - 5*z, 2*z - 281 = -u*s + 2. Does 19 divide s?
True
Let o(r) = -2*r**2 - 20*r - 3. Let m be o(-10). Let g = m + 95. Does 21 divide g?
False
Does 17 divide 7/(35/20) + 309?
False
Let b = -1097 - -766. Let u = -121 - b. Suppose 5*r + 0*r - u = 0. Does 21 divide r?
True
Let j = 66 - 68. Is 15 a factor of (112/(-32))/(j/60)?
True
Is 26 a factor of (-4)/(5 + 2148/(-429))?
True
Does 11 divide (-2)/1*(11 - 1815/22)?
True
Let c(a) = 4*a + 6. Let g be c(-1). Suppose -g*v = -85 + 13. Is 13 a factor of v?
False
Suppose 0 = -7*t + 102 + 325. Let k(d) = -d**3 + 4*d**2 - 1. Let j be k(4). Let z = t + j. Is z a multiple of 22?
False
Suppose -4*m + 120 = o, -m - 5*o - 90 = -4*m. Suppose k = 132 + m. Is k a multiple of 19?
False
Is (-2848)/(-28) + (-4)/(-14) a multiple of 9?
False
Suppose 44 = -0*o - o - 2*p, 9 = -3*p. Let f = 49 + o. Does 6 divide f?
False
Suppose -5*v - 30 = -0*v. Let m(b) = -b**3 - 6*b**2 + b + 8. Let u be m(v). Suppose 5*h - 57 = -3*r, u*r + 16 = 6*r. Is 8 a factor of h?
False
Suppose -2*j + d + 47 = 0, 1 = -d + 2. Does 20 divide j - 20 -