f (826 + -2)*(-15)/(-120)?
False
Suppose 3*u - n - 4698 = 0, 2*u - 4*n - 7823 = -3*u. Is u a multiple of 17?
False
Let q(z) = z**2 + 2*z - 1. Let f = 2 + -7. Let i be q(f). Is 12 a factor of (-6)/28*-4*i?
True
Let h be (-4)/6 + 1668/(-9). Let p = -114 - h. Does 9 divide p?
True
Suppose -19*k + 20231 = 4727. Is k a multiple of 17?
True
Is 17 a factor of 1929/9 - -8 - (-8)/(-6)?
True
Suppose -2*b + 4*x = -30, 2*b - 3*x + 5 = 30. Let y be 2/b - 1332/(-45). Suppose 7*v - 4*v = y. Is 10 a factor of v?
True
Let y = -501 - -1053. Is 23 a factor of y?
True
Let d(v) = 2*v**3 - v**2 - 57*v + 6. Is d(9) a multiple of 87?
True
Suppose 0 = 20*k - 25*k + 1085. Is k a multiple of 28?
False
Suppose -2*y + 4*x + 266 = 0, -3*y + 0*y + 4*x + 399 = 0. Is 5 a factor of y?
False
Suppose 10*i = 5*p + 6*i - 6598, 0 = 4*i + 8. Is p a multiple of 58?
False
Suppose 27*m + 665 = 32*m. Is 6 a factor of m?
False
Suppose k + 2*m = 24, -5*k - 2*m + 53 = -35. Does 15 divide 1673/56 - (-2)/k?
True
Suppose -150 = -3*l - 0*l. Suppose -6*c + 378 = 282. Suppose c*b = 11*b + l. Does 10 divide b?
True
Suppose -y = 3*r - 5 - 13, -r - 2 = 3*y. Suppose -2*j + 801 = r*j. Does 33 divide j?
False
Let n(q) = -7*q + 2. Let j be n(3). Let z be (16 + -4)/(2/j). Does 14 divide (z/(-9) - 2)*6?
False
Let n = -1 - -1. Suppose -5*k + 24 = -u, 0 = -k - n*u + 5*u. Does 5 divide k?
True
Suppose a - 689 = -209. Is 48 a factor of a?
True
Suppose 40 = 4*a - a - 2*n, -a = 2*n - 24. Let q(g) = g**2 - 17*g + 38. Is q(a) a multiple of 18?
False
Let c(w) = -w**2 - 11*w + 21. Let r(z) = 4*z**2 + 44*z - 83. Let u(n) = -9*c(n) - 2*r(n). Is 2 a factor of u(-13)?
False
Let b(u) = 8*u + 27. Let y be b(9). Let x = -44 + y. Does 5 divide x?
True
Suppose -65 = -t - 4*n + n, 0 = 3*n. Let v be (-274)/(-10) - (-16)/(-40). Let i = t - v. Is 38 a factor of i?
True
Let n = -38 + 76. Let p(c) = c**3 - 2*c**2 - 6*c - 9. Let l be p(-2). Let u = n + l. Is u a multiple of 25?
True
Let f = -122 - -176. Suppose 0 = 3*v - 66 - f. Suppose -b = -5*s + 2*s + 136, 0 = -s - b + v. Is s a multiple of 11?
True
Suppose 151*j - 2499 = 102*j. Does 3 divide j?
True
Suppose -12*w + 2380 = -92. Does 15 divide w?
False
Suppose 0 - 8 = -2*r. Let i = 12 - r. Is 27 a factor of 1192/22 - i/44?
True
Suppose -3*j - 3*z + 4*z = 60, 5*z = -15. Suppose -5*a + 306 - 121 = 0. Let r = a + j. Is r a multiple of 3?
False
Suppose -4*o + 12 = 0, -10*j - 5*o = -5*j - 13960. Does 13 divide j?
False
Suppose 37*b = 35*b + 224. Suppose -7*p = -0*p - b. Is p a multiple of 16?
True
Suppose -9*l = -5*l - 12. Suppose -l*k + 19*k - 1152 = 0. Does 8 divide k?
True
Let z(b) = -b**2 + 4*b + 8. Let d be z(5). Suppose -45 = -3*w + 3*g, d*w - g - 4 = 31. Is 4 a factor of w?
False
Let u(y) = 4*y**3 - 2*y**2 + 3*y - 2. Let x be u(4). Suppose 0 = 3*w - 0*w + x. Is 26 a factor of (0 - 1)/(1/w)?
True
Let w(m) = m**3 - m**2 + 2*m - 16. Is w(4) a multiple of 20?
True
Suppose -3*h - 432 = -4*z, 3*z - 149 = 4*h + 182. Suppose -4*n + 27 + z = 0. Is 12 a factor of n?
False
Suppose 3*h + 5 + 4 = 0, -5*g - 5*h + 1710 = 0. Is g a multiple of 51?
False
Suppose 0 = -5*c - 4*f + 468, 5*c + 0*f - 5*f = 450. Suppose -c*n = -89*n - 483. Does 23 divide n?
True
Suppose 0 = o + 2*u - 28 - 109, -4*u = -3*o + 461. Is o a multiple of 9?
False
Suppose 5*k = i - 167, -4*i - 6*k + 668 = -11*k. Is i a multiple of 12?
False
Let c(d) = -2*d**3 - 2*d**2 - d - 6. Let r be c(-2). Let p(z) = z**3 + 2*z**2 - 6*z. Does 24 divide p(r)?
True
Suppose 5*g - 5*k - 5 = 5, 0 = -g - k. Let i be (-2)/(((-3)/18)/g). Suppose 8*q - 7*q = i. Does 4 divide q?
True
Let g(i) = -4*i - 21. Let p be g(-6). Suppose -p*j = 3*j - 612. Is 17 a factor of j?
True
Let q(b) = 83*b - 27. Let v be q(-5). Is (v/13)/((-2)/5) a multiple of 13?
False
Suppose 10*y + 665 = 15*y. Let l = 221 - y. Is 29 a factor of l?
False
Let v(m) = m**3 - 17*m**2 - 32*m + 70. Let x be v(19). Let u = -142 + x. Is 4 a factor of u?
False
Let n be (-2)/9 - (-40)/18. Suppose n*a - 5*w = 411, 3*w = 4*w - 1. Suppose -3*y - a = -7*y. Is 13 a factor of y?
True
Let v(y) = 8*y**2 + 3*y + 3. Let c be v(-1). Let a = c - -70. Is a a multiple of 17?
False
Let k(j) = -j**3 + 12*j**2 - 5*j + 16. Let a be k(12). Is 18 a factor of (-869)/a*(0 + (-4)/(-1))?
False
Suppose 0 = -3*v - v - 4. Let l be (-1 - -3)/(v/(-2)). Suppose 3*q - 238 = -l*q. Does 17 divide q?
True
Let q(b) = -537*b - 69. Is q(-1) a multiple of 78?
True
Let n(h) = -2*h**3 - 3*h**2 - 2*h + 2. Let f be -2*(3 + (-4 - -2)). Let i be n(f). Suppose u = 5*z - 3*z + 31, -i = -2*z. Does 28 divide u?
False
Suppose 5*f = -14 - 31. Let q(d) = -6*d - 26. Does 5 divide q(f)?
False
Suppose 4*y + 74 = 694. Suppose -22*j + 2*j + 1680 = 0. Let t = y - j. Is t a multiple of 20?
False
Let k(r) = -r + 6 + r**2 - 12 + 1 + 5*r. Let q be k(-6). Is 30 a factor of (-878)/(-10) + q/35?
False
Let l = -91 - -137. Let t = 29 + l. Is 15 a factor of t?
True
Let n = -6 - -14. Let j(i) = i**2 - 12*i + 6. Let w be j(n). Let a = w - -38. Does 4 divide a?
True
Let x be 26/6*(-3)/1 - 0. Let m = x - -87. Is 4 a factor of m?
False
Let s = -229 - -506. Suppose -3*k - 159 = 4*x - 7*x, -5*x - k + s = 0. Does 11 divide x?
True
Let h = 10 + -54. Let r be (1529/h)/(1/(-20)). Suppose -6*g = -r + 5. Is g a multiple of 27?
False
Let w(z) = z**3 + 2*z**2 - z + 10. Is 12 a factor of w(7)?
True
Let o = 79 + -56. Suppose 0 = -2*r - 3*t - 13, 2*r + 4*t = -t - o. Suppose 0 = y + r, 0*y = 3*d + 4*y - 104. Is d a multiple of 7?
False
Suppose -2*l = 3*g - 5*g - 636, -1590 = -5*l + 2*g. Is l a multiple of 6?
True
Suppose -o - 213 = -5*w, -5*o + 204 = 5*w - 3*o. Let a = 27 + w. Is 23 a factor of a?
True
Let z(c) = -c**3 + 11*c**2 - 2*c + 1. Suppose 0 = -7*j + 2*j + 50. Let y be z(j). Suppose -4*o + y = -o. Is 27 a factor of o?
True
Let s(m) = m**2 + m - 37. Let y be s(6). Does 4 divide y/(-45) - 246/(-27)?
False
Suppose -2*j = -4*i - 22, 2*j = -0*i + 2*i + 16. Does 2 divide (j/15)/((-1)/(-24))?
True
Suppose 3*d = 3*s + 3, 2*d - 4*s - 18 = 5*d. Let w = d - -7. Suppose 4*z = w + 203. Does 13 divide z?
True
Let l be (21/(-15))/(7/(-35)). Does 2 divide 10 + l/(7/3)?
False
Let r = 91 + -7. Does 14 divide r?
True
Let c = -9 - -14. Suppose -c*g + 20 = 0, 3*v - 4*g = g - 29. Is 15 a factor of v + 3 + 70 - 0?
False
Let l(a) = -203*a - 78. Is l(-5) a multiple of 20?
False
Let q(f) = 15*f - 24. Let w(v) = v**2 - v. Let p be w(-3). Is q(p) a multiple of 39?
True
Let a be ((-8)/(-10))/((-6)/30). Does 6 divide 6/a*(-1640)/60?
False
Let r(j) = -91*j - 22. Let z be r(2). Let o = z - -402. Does 31 divide o?
False
Let m(k) be the first derivative of -6 + 1/3*k**3 + 7*k + 8*k**2. Is m(-18) a multiple of 13?
False
Suppose -4*n = 2*a - 600, 2*a - n = a + 300. Does 20 divide a?
True
Is -3 - ((-590)/20)/(4/64) a multiple of 15?
False
Let p be (-136)/(-51) - (-1)/3. Suppose -p*v + 179 = 23. Is 13 a factor of v?
True
Let w = 2946 + -2121. Is w a multiple of 2?
False
Let z = 69 - 35. Suppose 0 = -m + 5*a + z, m - 3*a - 34 = -0*m. Does 5 divide m?
False
Let z = 26 + -27. Let t(r) = -62*r**3 - r**2 + r + 1. Is 12 a factor of t(z)?
False
Suppose -2*c + 10 + 28 = 5*s, 0 = 5*s + 4*c - 36. Suppose -4*r = -s*r + 156. Is 9 a factor of r?
False
Suppose -4*j = i - 7, -5*j + j - 13 = 5*i. Let d = i + 10. Suppose d*w - 1 = 3*b - 83, -114 = -4*b + 2*w. Is 8 a factor of b?
False
Let k(o) = -o - 13. Let c be k(-7). Let q(w) = w + 18. Is q(c) even?
True
Let o(c) = c**2 + 9*c - 53. Does 30 divide o(13)?
False
Let n(t) = -t**2 - 9*t + 72. Is 36 a factor of n(0)?
True
Suppose 3*x - d = 278, -x + 4*d + 72 = -28. Does 28 divide x/(4 - (-7)/(-2))?
False
Suppose -2*o = o + 4*v - 21, 9 = 3*v. Suppose 5*b - u - o*u - 65 = 0, -b = u - 4. Suppose -r = h - 4*h + 237, 0 = 3*r - b. Does 20 divide h?
True
Let n(w) = w**3 - 6*w**2 + 5*w. Let g be n(5). Suppose 0 = -5*c - g*c + 180. Suppose c = 5*m - x - 64, -5*m = 4*x - 75. Is m a multiple of 4?
False
Suppose -24 = -4*x + 4*t + t, -5*x - t + 59 = 0. Suppose 3*n + 2 - x = 0. Suppose -2*c + 325 = n*c. Is c a multiple of 13?
True
Let l(d) = d**3 - 26*d**2 + 73*d + 10. Does 51 divide l(23)?
True
Suppose -30*a = -34*a + 5*x + 12491, -2*x + 3126 = a. Does 74 divide a?
False
Suppose -t + 3 = 2*g, 3*t - 2*t - 3*g - 8 = 0. Suppose -2*k + 2*v = 5*v - 230, -t*v = 10. Is k a multiple of 2