 427, 3*v - 324 = b. Does 39 divide v?
False
Does 23 divide ((-12)/15)/(7/(-6405))?
False
Suppose -8 = 4*p - 5*u + 4, 0 = -3*p + u + 2. Let n(l) = -l**2 + 9*l - 7. Let w be n(7). Suppose y = 3*t + p - w, 0 = -5*t + 25. Is y a multiple of 5?
True
Suppose 0 = 11*l - 9*l - 10. Suppose -2*z + 81 = -l*t + 26, z = 3*t + 30. Is z a multiple of 5?
True
Suppose 3*g - 7 = -10, 4*l - g - 9529 = 0. Does 10 divide l?
False
Let x(s) = 2*s**2 - 2. Let t be x(-2). Let i = t + 1. Suppose 5 = -i*c + 8*c. Is 2 a factor of c?
False
Let u(z) = -z**3 - z**2 - 2*z + 202. Let a be u(0). Suppose -2*q - 3*s - 71 = -a, 3 = s. Is 8 a factor of q?
False
Let j = 22 + -8. Let o = -18 + j. Let g = o + 26. Does 11 divide g?
True
Let s(h) = 0*h - 8*h + h + 7*h**2 + 15 - h**3. Let i be s(6). Suppose n = -y + 5 + i, 0 = -2*n + 5*y - 7. Does 9 divide n?
True
Let c(p) = 215*p - 7. Is c(3) a multiple of 29?
True
Let r = -38 - -83. Suppose 0 = -50*k + r*k + 925. Is k a multiple of 16?
False
Let s = 730 + -619. Is 3 a factor of s?
True
Let u = 1111 - 1101. Is u a multiple of 10?
True
Let v be (2 - 2/2) + 12 + 14. Suppose 0 = v*d - 29*d + 182. Is d a multiple of 13?
True
Let u(s) = s**3 + 8*s**2 - 6*s - 2. Let k be 4/(-5)*(-1 - -6). Is 43 a factor of u(k)?
True
Suppose 20*u + 5 = 21*u. Suppose -u*a + 15 = -0*a. Suppose r + g = 83, -r - a*g = -30 - 51. Is 21 a factor of r?
True
Is 4 a factor of (44/(-2))/(14/(-21))?
False
Suppose -4*c + 14 = -n, -6*c = 2*n - 5*c - 8. Let b be 1/n*(-1 - -5). Suppose 0*g - 4*g - 5*f + 150 = 0, -5*g - b*f = -179. Is 20 a factor of g?
False
Let u = 874 - 488. Does 15 divide u?
False
Let o = 35 - -101. Is 7 a factor of o?
False
Let w(z) = 29*z - 176. Does 23 divide w(37)?
True
Let q(j) = -j**2 - 3*j + 1. Let g be q(2). Let p(x) = 3*x**2 - 4*x + 25. Let r(f) = 2*f**2 - 2*f + 13. Let u(s) = -3*p(s) + 5*r(s). Is u(g) a multiple of 14?
False
Suppose 50 = -v - 2*o + 351, 3*o - 304 = -v. Is v a multiple of 25?
False
Suppose k - 4 = 0, 5*x - 48 = -2*k - 5. Is 13/(-52) - -3*x/4 a multiple of 5?
True
Suppose -420 = -2*v - 330. Does 9 divide v?
True
Is (-10792)/(-10) + 6/(-60)*-8 a multiple of 30?
True
Suppose 0 = -3*d + 6*d. Suppose d*k - 312 = -2*k. Does 11 divide k/8*10/3?
False
Let a(m) = 229*m + 25 - 264*m + 18. Does 39 divide a(-5)?
False
Suppose -2*x + 21 = -19. Is x a multiple of 5?
True
Let q(b) = b**3 - 49*b**2 - 80*b - 50. Does 4 divide q(51)?
True
Let q be (1/(-1))/(3/(-87)). Suppose q = -g - 27. Does 10 divide 4*1 - (g + 6)?
False
Suppose -11534 = -5*k + 2*d + 819, -k + 2*d = -2477. Does 70 divide k?
False
Let o(h) = 2*h**3 - 5*h**2 - 4*h - 48. Is o(12) a multiple of 60?
True
Let f(z) = 31*z**2 - 2*z + 3. Let b be f(2). Let j be 15/4*(-1 + (-498)/(-18)). Suppose 2*n - 2*v + 14 = j, 3*v - b = -3*n. Is n a multiple of 21?
True
Let x = -21 + 119. Let c = x + -70. Is 20 a factor of c?
False
Suppose 7*r - 960 = 5*r. Suppose 0 = -0*f - 8*f + r. Is f a multiple of 15?
True
Let l(r) = r**3 - 17*r**2 - 20*r + 31. Let n be l(18). Let x = n - -96. Does 19 divide x?
False
Let g(b) = b**3 + 15*b**2 + 16*b - 8. Let x = 11 - 22. Does 30 divide g(x)?
True
Let c(p) = -p**2 + 5*p - 3. Suppose -i = 4*s + 8, 5*s + 1 = i - 0. Let g(u) = -2*u - 6. Let q be g(i). Is c(q) even?
False
Let r(s) = s**2 + s + 6. Let l be 16/40 + 24/(-10). Is r(l) a multiple of 2?
True
Let c = 5 - 13. Let u be 12/(c/(-148) + 0). Suppose 25*z = 28*z - u. Does 16 divide z?
False
Let d be (3 - (-20)/(-6))*-12. Suppose d*a = -a + 10. Suppose 153 + 0 = a*i + 5*x, 417 = 5*i + x. Is i a multiple of 24?
False
Let p(b) = 23 - 16 + 4*b**2 - 19. Does 3 divide p(3)?
True
Suppose -39 = -s - 5*g, 5*s - 2*g - 50 - 91 = 0. Suppose -37*i = -s*i - 208. Does 3 divide i?
False
Let f be 3*-1*(70/21)/(-10). Is 2 + (f*-12)/4 + 11 a multiple of 5?
True
Let a(u) = 17*u**2 + 17*u + 5. Is 22 a factor of a(6)?
False
Let u(h) be the third derivative of -h**4/24 + 17*h**3/6 + 8*h**2. Let k be u(17). Suppose -51 = -k*j - 3*j. Does 3 divide j?
False
Let a(p) = -5*p + 323. Is a(16) a multiple of 5?
False
Let p(t) = t**2 - 4*t + 14. Let u be p(4). Let c(y) = 2*y**2 - 15*y + 17. Is 10 a factor of c(u)?
False
Let n(o) = -o**2 - 6*o + 3. Let w be n(-6). Suppose 0 = b + w*m - 67, -5*m = 2*b - 2*m - 143. Is 8 a factor of b?
False
Let t be 132/21 - (-8)/(-28). Does 19 divide (-35 + t)*(-1 + 0)?
False
Let c = -68 + 118. Let f = c - -28. Is f a multiple of 13?
True
Let b(f) = f**2 - 5*f + 5. Let j be b(5). Suppose -j*y = -3 - 12. Suppose -y*r - 3*q + 21 = 0, -r = 2*q + 3*q + 13. Is 6 a factor of r?
True
Suppose q + 7 = 3*l - 2, 4*l - 16 = 0. Let x = q + 59. Is 38 a factor of x?
False
Is -12 + -2 + 19 - -77*17 a multiple of 4?
False
Let u be 2/4 + (-23)/2. Let c = u + 10. Does 8 divide 15 + (c - 0)/(-1)?
True
Let r(j) = 2*j - 2. Suppose 2*z - 12 = -6. Let g be r(z). Is g/(4/(-3))*-1 a multiple of 2?
False
Let c = 748 + -426. Is c a multiple of 14?
True
Does 11 divide (-56)/(-8) + -3*(2 + -579)?
True
Suppose 0 = 23*r - 11*r - 26784. Is 124 a factor of r?
True
Let h(s) = 5*s - 26. Suppose -d + 5*l = d - 41, 5*d - 4*l = 77. Is h(d) a multiple of 39?
True
Let l = 235 - 100. Is l a multiple of 16?
False
Let q be (3 + -1 - 5)/(6/8). Let u = 17 - q. Does 7 divide u?
True
Let y = -135 + 81. Let i = -34 - y. Is i a multiple of 13?
False
Let h(n) be the second derivative of -n**5/10 - n**4/12 + n**2 + 12*n. Does 3 divide h(-2)?
False
Let i = 143 + -116. Is 9 a factor of i?
True
Suppose 3*d = 5*w - 310, 0 = 2*w + w - 4*d - 175. Is 2 a factor of w?
False
Suppose 0 = -3*d - 28 - 17. Is 16 a factor of (-98)/(3*5/d)?
False
Let h be (-46)/(-6) + (-2)/(-6). Let z = 183 - h. Does 19 divide z?
False
Suppose 2*o = 39 + 7. Let x = o + 23. Is x a multiple of 13?
False
Suppose -5*a = -4*d - 382, 4*d - 5*a + 376 = -3*a. Let n = -27 - d. Is 9 a factor of n?
False
Let i be 2 + -2 + -2 - -5. Suppose 2*b - 4*t - 64 = -b, b - 17 = -i*t. Does 4 divide b?
True
Let a = 112 - -1221. Does 31 divide a?
True
Let u(l) = l**3 + 7*l**2 + 9. Let f be u(-7). Let a = f + -6. Suppose -a*z = 3, 2*w - 2*z - 18 = -0. Does 4 divide w?
True
Let p = 104 - -32. Let n = 205 - p. Is n a multiple of 23?
True
Suppose -n + 208 = -3*n. Let s = -73 - n. Is 11 a factor of s?
False
Let j(r) = 2*r**2 + 5*r + 2. Let o be j(-7). Suppose -o = b - 6*b. Does 13 divide b?
True
Suppose -29*t + 6228 = -9113. Does 11 divide t?
False
Let u be (-23)/(-5) + 10/25. Suppose u*w + a - 2*a - 6 = 0, -w = a. Let n(v) = 9*v**2 + 1. Is 5 a factor of n(w)?
True
Let m(v) = 169*v**3 + 2*v - 3. Is m(1) a multiple of 8?
True
Suppose -2*v + 101 = 69. Does 14 divide v?
False
Suppose 5*i = -6*c + 9*c + 6274, 4*i = -2*c + 5028. Is 16 a factor of i?
False
Let m = -49 - -725. Is 36 a factor of m?
False
Let q(h) = h - 13. Let o be q(13). Suppose -3*l + 15 + 231 = o. Suppose -3*s + s - d + l = 0, -s = -2*d - 41. Is 7 a factor of s?
False
Let w(r) = -6*r + 1. Let j be w(-2). Let n(k) = 2*k - j + 2 - 5*k + k**3 + 11*k**2. Is n(-11) a multiple of 7?
False
Let l(h) = -33*h**3 - h + 2. Suppose 3 = 2*b + b. Let n be l(b). Let t = n - -102. Is 23 a factor of t?
False
Let p be 26/12 - 1/6. Suppose -k = p - 65. Let x = k + 27. Does 18 divide x?
True
Is ((-10)/(-25))/((-3)/3180)*-1 a multiple of 8?
True
Let w = -12 + 0. Let r be (-3682)/84 - (-2)/w. Let g = r - -69. Does 10 divide g?
False
Let u(l) = 42*l**3 + l**2 - 3*l + 2. Is u(2) a multiple of 112?
True
Let x(a) = -a - 1. Suppose 6*z - 4*z = 0. Let d be x(z). Is 11 a factor of (d - -55) + 12/3?
False
Let l(m) = 6*m - 8. Let q be l(8). Suppose -t = -2*u + 65, -u - 3*t = -2*t - q. Is 11 a factor of u?
False
Let u(z) = 135*z - 301. Is u(7) a multiple of 7?
True
Suppose -5770 = -3*g + 4*y - 0*y, 4*g - 7725 = -y. Is 16 a factor of g?
False
Suppose 38*o - 174 = 36*o. Suppose -w - 2*w + o = 0. Is 6 a factor of w?
False
Let a be (1 - 34)*(4 + -5). Let q = -5 + a. Is q a multiple of 5?
False
Let l(w) be the third derivative of 8*w**5/15 + w**4/24 - 14*w**2. Is l(-1) a multiple of 15?
False
Let f be ((-12)/(-1))/(-8*6/(-984)). Let v = -111 + f. Is v a multiple of 27?
True
Let j(y) = -4862*y + 10*y**2 + 26 + 4862*y. Is j(5) a multiple of 41?
False
Let j(q) = 9*q**2 + 22*q + 8. Is j(3) a multiple of 47?
False
Suppose -2*d - 10*o = -8*o - 2018, 0 = 4*o + 12. Is 22 a factor of d?
True
Let g be 2/(