se -2100 = -5*o + 65. Let p = -292 + o. Let b = p + -89. Is b a multiple of 8?
False
Let d(t) = 4*t + 460. Is 12 a factor of d(54)?
False
Let x = 93 + -53. Let q = 15 + -22. Let i = x + q. Does 10 divide i?
False
Suppose -3*j + 3*m = -0*j, 0 = 4*j + 2*m. Suppose -4*c + f = -292, j = -5*c + f + 3*f + 376. Is c a multiple of 18?
True
Let t be 40/6 - 2/(-6). Let d = t - 16. Is 15 a factor of (-2)/d + 4522/63?
False
Let s(g) = -14*g**3 - g**2 - 5*g + 2. Is 10 a factor of s(-2)?
True
Let c be 30/(-20)*(1 - -1). Is 6 a factor of (0 - 1)/(c/75)?
False
Suppose -7*m + 403 = -2985. Is 25 a factor of m?
False
Suppose 0 = -4*j - 2*j + 18. Does 12 divide j/(-9)*6*-57?
False
Let u(s) be the first derivative of s**4/4 + 3*s**3 - 2*s**2 - 10*s + 2. Does 13 divide u(-9)?
True
Suppose 0 = -5*h - g + 5, -2*h + 9 = g - 2*g. Suppose 2*j + z = -0*j + 566, h*j - 5*z = 578. Does 45 divide j?
False
Let w = 249 - 125. Let q = w - 50. Is q a multiple of 37?
True
Let p(o) = o**3 + 25*o**2 - 26*o + 2. Let j be p(-26). Suppose 9 = -j*g + 43. Is 8 a factor of g?
False
Let v = 6 + -3. Suppose -10 = -v*m + 5. Suppose 0 = 5*z - m, z + 4*z - 39 = -j. Is 11 a factor of j?
False
Let n be ((-16)/14)/(36/(-126)). Suppose -3*f + 519 = -3*s + 2*s, 692 = n*f - 2*s. Is 22 a factor of f?
False
Let j(g) = 4*g**2 + 4*g - 8. Let u be j(5). Suppose l + u = 5*l. Does 20 divide l?
False
Let k(j) be the first derivative of -j**4/4 + 14*j**3/3 - 13*j**2/2 + 14*j - 10. Is 14 a factor of k(13)?
True
Suppose 4*h - 3*n + 30 = 8*h, -20 = -2*h - 4*n. Let k = h - 13. Let m(x) = x**3 + 7*x**2 - 4*x - 10. Does 7 divide m(k)?
False
Suppose -17 - 3 = -5*v. Suppose 4*r - 5*c = 56, -v*r + 0*r = -2*c - 44. Suppose 16 = 5*s - r. Is s even?
False
Let d = 16 + -11. Suppose -4*m + 0*v = 5*v - 291, d*m + 2*v - 368 = 0. Is m a multiple of 37?
True
Let o be 8/(-3)*(0 - 9). Suppose 4*q + 2*n + o = 0, -2*q + 4*n = -5 - 3. Let m(i) = i**2 + 2*i - 5. Does 3 divide m(q)?
True
Let u be 8 - (0 - (1 + -1)). Does 6 divide 10/u - 268/(-16)?
True
Suppose 4*l - 12 = l, 3*n + 2*l - 53 = 0. Does 33 divide 124 + (45/n)/(1/1)?
False
Let u be 442/85 - (-1)/(-5). Suppose 0*o - 20 = -u*o. Let s(v) = v**3 - 5*v + 7. Does 13 divide s(o)?
False
Let k(j) = j + 2. Let d be k(-4). Let w be d + (0 + 3 - 1). Let u(s) = s**3 + s**2 + 27. Does 5 divide u(w)?
False
Is 8 a factor of 24 + (-8)/4 + 0?
False
Let m(c) be the first derivative of c**2/2 - 10*c - 1. Let o be m(7). Is (-2 - -3)*(o + 32) a multiple of 12?
False
Let k(n) = 13*n**2 - 58*n - 16. Is 16 a factor of k(8)?
True
Let a(n) = n**2 - n - 2. Let o = 16 + -16. Let c be a(o). Is 12 a factor of (-42)/(-35)*(-60)/c?
True
Let c = -51 + 222. Suppose 3*h + c = 4*l, 3*h = -3*l + 158 - 35. Is l a multiple of 7?
True
Let u(x) = 7*x**2 - 29*x - 1. Let m(a) = -3*a**2 + 14*a. Let d(t) = -5*m(t) - 2*u(t). Does 27 divide d(-7)?
True
Let p = 474 + 91. Is 22 a factor of p?
False
Let z(v) = v - 10. Let s be z(7). Is (1755/(-30))/((6/4)/s) a multiple of 24?
False
Let q(b) = b**3 - 37*b**2 + 26*b + 52. Is q(37) a multiple of 26?
True
Let z = -233 - -287. Does 2 divide z?
True
Suppose -13*a + 20 + 19 = 0. Suppose -5*r = -3*y - 546, r - y - 434 = -a*r. Does 8 divide r?
False
Let h(p) = 3*p - 6. Let n(z) = -2*z + 7. Let q(o) = 3*h(o) + 4*n(o). Let v be q(-12). Is (v + -1)/((-1)/17) a multiple of 15?
False
Let y(u) = -20*u + 12. Let i be y(-3). Suppose 0 = -c - i + 127. Is 7 a factor of c?
False
Suppose -1830 = -13*i + 3747. Is i a multiple of 6?
False
Let i = 1309 + -733. Does 18 divide i?
True
Suppose 0 = -2*v - 3*m + 50, 100 = 4*v - 2*m + m. Does 6 divide v?
False
Let i = 15 + -14. Let k be (4/(-6))/(i/(-3)). Is 14 - k - (-1 - -2) a multiple of 3?
False
Suppose 2*m + 2*m - 22 = 3*z, 0 = -m + 1. Let a be (4/z)/(7/399). Let u = -11 - a. Is u a multiple of 9?
True
Does 16 divide (-280)/2380 + (-1)/((-34)/12482)?
False
Let a = 29 - -85. Is a a multiple of 26?
False
Is (-11017)/(-5) - (-1 + (-63)/(-45)) a multiple of 19?
False
Let w(r) = -r**2 - 10*r - 9. Let h(j) = j**3 - j**2 + 1. Let n be h(1). Suppose -t = n + 6. Is w(t) a multiple of 12?
True
Let o = -24 - 64. Let l = o + 112. Is l a multiple of 10?
False
Let p(d) be the first derivative of 236*d**3/3 - 2*d**2 + 7*d + 12. Let o be p(2). Suppose -333 = 5*j - o. Does 37 divide j?
False
Suppose -3*q - 25 = 5*l, -2*q + 3*l + 20 = -l. Let j = q + 3. Suppose 4*o - 25 = j. Is o a multiple of 2?
False
Let j = -1426 + 1664. Is j a multiple of 14?
True
Is 34 a factor of (-25)/(-12)*6*54?
False
Let k(v) = 5*v**2 - 6*v + 6. Suppose 16*l - 22 = 4*y + 14*l, -25 = 5*y - 2*l. Does 13 divide k(y)?
False
Let g(h) = -h**3 + 4*h**2 + 2*h - 3. Let t be 0 + 4 + -2 + 1. Is 12 a factor of g(t)?
True
Suppose 163968 = 36*p + 6*p. Does 13 divide p?
False
Let k = -131 + 158. Does 6 divide k?
False
Suppose -4*p = 26 - 166. Let r = p + -5. Is 10 a factor of r?
True
Let f(x) be the third derivative of x**6/120 + x**5/10 + x**4/24 + x**3 - 2*x**2. Let j be f(-6). Suppose j = 2*l - 24 - 44. Is 9 a factor of l?
False
Let z be 399/6*(-3 - -1). Let j = 198 + z. Is j a multiple of 36?
False
Let g(y) = -y**2 - 59*y - 53. Is 19 a factor of g(-48)?
True
Suppose -3*s + 2*m + 750 = 198, 0 = 5*m. Suppose -w = -a - 3*w + 92, 0 = 2*a + w - s. Is 20 a factor of a?
False
Let j(v) = v**3 - 7*v**2 - 7*v - 6. Let b be j(8). Suppose b*k - 3*k = -59. Is (k/(-1))/(-1) + -3 a multiple of 14?
True
Let g(n) = -n**2 + 24*n - 19. Let f be g(23). Let m(o) = 2*o**2 + 8*o - 8. Is 4 a factor of m(f)?
True
Suppose 3*b = 130 - 7. Suppose 4*a - 19 - b = 0. Suppose -3*k + m = -24, -2*k + 2*m + a + 1 = 0. Is 2 a factor of k?
True
Let g(a) = 9*a + 978. Let b be g(0). Suppose -8*d + 102 + b = 0. Does 15 divide d?
True
Let f = -1914 + 2706. Does 44 divide f?
True
Let f = 60 - 33. Let k = f - -17. Does 16 divide k?
False
Suppose -13*v + 4*v + 225 = 0. Is v a multiple of 5?
True
Suppose -2*y + 5*g = -7111, -2*y - 5*g + 7084 = -g. Does 26 divide y?
False
Suppose -4*a - 2 - 10 = 0. Let o(v) = -4*v**3 - 2*v**2 + 4*v + 7. Is o(a) a multiple of 13?
False
Suppose -3*b + 6*v - v - 12 = 0, 4*b + 5 = 3*v. Let n(p) = 57*p**2 - 3*p + 1. Does 11 divide n(b)?
True
Suppose -12697 = -13*n + 2123. Does 20 divide n?
True
Let d(p) = p**3 - 6*p**2 + p + 21. Let m be d(5). Let y = m - -107. Does 19 divide y?
False
Let u = 425 + 2. Is 6 a factor of u?
False
Suppose 0 = 5*j + 150 + 30. Is 9 a factor of 8/j + 164/9?
True
Let n be (0 - (1 + -1)) + (0 - -3). Does 17 divide (n - 18/8) + 170/8?
False
Suppose 5*r = z + 1260, -4*r = z - 0*z - 1017. Suppose 5*i - r = i - 5*j, 0 = -i + 4*j + 58. Does 5 divide i?
False
Is 111/185*(-620)/(-6) a multiple of 62?
True
Let s be (60/3)/(3/6). Does 11 divide s/4*115/10?
False
Suppose 4*q + q = 0. Suppose -2*m - 29 - 81 = q. Let n = 1 - m. Does 14 divide n?
True
Let b = -9 - -11. Suppose -g + 3*v + 36 = 0, -b*g + 117 = 2*v + v. Suppose i = -0*i + g. Is 16 a factor of i?
False
Let a be 1/(-3) - (-49)/21. Suppose -97 = -a*h + 9. Is h a multiple of 7?
False
Suppose -48 = -2*q + 30. Let g = -26 + q. Let z = g - -1. Is 9 a factor of z?
False
Let m(t) = -t**3 - 11*t**2 + 11*t - 12. Let w be m(-12). Suppose w = 5*k - 138 - 202. Let r = k - 41. Is r a multiple of 19?
False
Suppose 0 = 33*b - 22253 + 3971. Is 19 a factor of b?
False
Let t(p) = p**3 - 19*p**2 - 11*p - 3. Let y be t(19). Let w = y - -324. Is w a multiple of 21?
False
Let t be (192/(-10))/(21/(-70)). Let y = 102 - t. Does 10 divide y?
False
Suppose 4*g + 4*j = 0, 3*j - 2 = g - 3*g. Let n be 2 + -2 + 4 + g. Let b = 20 + n. Does 22 divide b?
True
Suppose 3*i - 37 = -5*d, 3*i + 27 = 5*d - 2*d. Suppose 0 = -f - 2. Let p = d + f. Does 3 divide p?
True
Let p(z) = -z**2 + 14*z - 44. Let c be p(8). Suppose -14 + 387 = d - a, a = -c*d + 1467. Is d a multiple of 46?
True
Suppose -2*r - 2 = -6, 4*b + 76 = 2*r. Let m = -13 - b. Suppose -m*q + 42 = -78. Does 11 divide q?
False
Let i(m) = -5*m - 19. Let v be i(-5). Suppose 4*p + p = 1020. Suppose 4*q = 4*l + p, -q + v*q + 4*l = 228. Is 12 a factor of q?
True
Suppose 4*q - 3*t - 168 = -39, 1 = t. Let v = 69 - q. Is 4 a factor of v?
True
Let r(h) = -2*h - 2. Let i = 4 - 9. Let v be r(i). Suppose v*l = 2*l + 36. Is l even?
True
Suppose 7*x = 20 + 29. Suppose 0 = -0*l + l - 2. Suppose -12 = 3*i, l*i - 29 = -3*t - x. Does 