*y - 70 = -2*y. Suppose -5*x = -6*x + y. Does 4 divide x?
False
Let z = 3 + -3. Let d(u) = -u**2 - 2*u + 3. Let n be d(0). Suppose 0 = 5*r + w - 110, 8 = r + n*w - z*w. Is r a multiple of 18?
False
Suppose 9*o - 4*o = -35. Let a(z) = 9*z**2 - 5*z + 10. Let w(n) = -4*n**2 + 3*n - 5. Let v(j) = o*w(j) - 3*a(j). Does 4 divide v(6)?
False
Suppose -3*v = -242 + 50. Does 6 divide v?
False
Suppose 0 = -5*d - 12 - 13. Let f = d + 21. Does 16 divide f?
True
Let m = 10 - 7. Let h be m/((-27)/6)*-60. Suppose 5*l - 2*i = i + h, 5 = 4*l + 3*i. Is 4 a factor of l?
False
Suppose 0 = -5*f - 0*f + 10. Suppose 0 = -f*l + 15 + 7. Is 11 a factor of l?
True
Let z(r) = -r**3 + 2*r + 1. Let g be z(-1). Suppose g*f - 96 = -4*f. Is 6 a factor of f?
True
Suppose r - 3*f = -7*f - 20, -5*r = -2*f - 10. Suppose -5*o + 5*z + 113 + 72 = r, 0 = 4*o + 2*z - 130. Does 17 divide o?
True
Let h(j) = j**3 - 7*j**2 + 5*j - 6. Let t be 23/3 + 4/(-6). Does 16 divide h(t)?
False
Let z(m) = 5 - 7*m + m**2 + 4 - 4. Is 2 a factor of z(7)?
False
Let u(o) = o**3 + 7*o**2 + o + 2. Let d be u(-7). Let h = -3 - d. Suppose 6 = 3*n - h*n. Is 6 a factor of n?
True
Let n = 1 - -2. Suppose 0 = -p, -n*q = 4*p - 3*p - 9. Suppose v - q = 5. Is 4 a factor of v?
True
Let d(s) be the third derivative of -7*s**4/24 - 4*s**2. Is 21 a factor of d(-3)?
True
Let p(c) = -10*c. Suppose -4 = i - 2. Is p(i) a multiple of 4?
True
Let y be 9/6*4/6. Let m be 1/((-1)/(-6)*3). Does 11 divide 1/y*22/m?
True
Let d = 107 - 49. Is d a multiple of 19?
False
Let f = -29 + 155. Does 18 divide f?
True
Let f(q) = -q + 20. Let z be f(12). Let c(h) = 2*h**2 - 10*h - 4. Does 22 divide c(z)?
True
Suppose -16 = -4*g + 4. Let j(k) = k - 4. Let s be j(9). Suppose -38 = -g*v + 5*o - 3*o, s*o = 3*v - 19. Is 4 a factor of v?
True
Suppose 2*y + y = 4*t + 2, -5*t = y - 7. Suppose 5*n - 34 = 2*d, -y*n - 7 - 1 = 0. Is (-3)/d*3*15 a multiple of 4?
False
Does 7 divide 1/((2 - (-143)/71) + -4)?
False
Let l(z) = z**2 + 8*z + 7. Let k be l(-7). Suppose 0 = 5*o + n - 5, -25 = -2*o - k*o - 5*n. Does 7 divide 0 + o + 2 + 5?
True
Let r = -11 - -16. Let l(p) = p**2 + 8*p - 7. Is 16 a factor of l(r)?
False
Let h(v) = v + 13. Let i be h(-6). Suppose -2*d - 1 = -i. Does 3 divide d?
True
Suppose -28 = -3*g + 5*j + 13, 2*j = -3*g + 13. Suppose g*u - 60 = 5*u. Does 10 divide u?
True
Let l(o) = -o**2 - 24*o - 24. Is l(-12) a multiple of 7?
False
Let y = 5 - 2. Is 24 a factor of (-1 - 1)/(y/(-36))?
True
Let o = 2 - 2. Suppose o = -5*t - 2*f + 172, -2*t - 5*f + 75 - 2 = 0. Does 11 divide t?
False
Suppose -9*l + 262 + 593 = 0. Is 8 a factor of l?
False
Let k = -6 - -10. Suppose -27 = k*u - 123. Is u a multiple of 12?
True
Suppose 1 = -2*x + 9. Suppose 3*f + 0*h + 29 = -5*h, -x*h - 16 = 0. Let n = f - -8. Is 2 a factor of n?
False
Let r = 6 + 29. Does 35 divide r?
True
Suppose -w - 5*n = -4*w - 13, -3*n + 11 = -w. Suppose 0 = 4*h + h + 3*a + 5, w*h + 12 = -4*a. Is 50/2 + h + -2 a multiple of 13?
False
Suppose 0 = -2*h + 3*u + 47, 51 = 5*h - 2*u - 61. Does 8 divide h?
False
Suppose 4*i - 47 = 13. Does 13 divide i?
False
Let o be (1 - -9)*(-4)/(-8). Let r be (1 + (-7)/o)*-145. Suppose 2*x = r - 4. Is x a multiple of 13?
False
Let t(s) = -5*s + 2. Suppose 0 = 5*y - 4*p - 2 + 23, 0 = 5*y + 2*p + 27. Let j(n) = n + 1. Let d be j(y). Is 15 a factor of t(d)?
False
Let i(z) = 9*z**2 - 2*z - 1. Suppose 1 = -p - 1. Does 13 divide i(p)?
True
Suppose -3 = -2*v - 5*c, -3*v = c - 3*c - 14. Suppose 9*k - v*k - 120 = 0. Does 6 divide k?
True
Suppose -3*i - 2*i = -2*b + 24, i - 4*b + 12 = 0. Let y(l) = -l**3 - 4*l**2 - l - 1. Is 3 a factor of y(i)?
True
Let u = 24 + -12. Suppose -1 = 3*l - 4*f + 1, -l - 5*f + u = 0. Suppose -h = -l*h + 34. Does 17 divide h?
True
Let k = 60 - 41. Let o = k + 14. Is o a multiple of 11?
True
Let g = -214 + 365. Does 35 divide g?
False
Is 37 a factor of (-378)/(-2) - (3 + -2)?
False
Let j = 6 - 2. Suppose 2*n + j = 4*n. Suppose -7 = n*y - 3*y. Is 7 a factor of y?
True
Let v(h) = 4*h - 6. Let a(i) = 2*i**2 - 6*i + 1. Let x be a(4). Is 10 a factor of v(x)?
True
Let g = -372 + 630. Is g a multiple of 43?
True
Does 19 divide (0 + (-138)/(-15))*5?
False
Let l = 5 + -4. Is 25/l - (-3 - -4) a multiple of 8?
True
Suppose -2*w = w - 12. Suppose 0 = -4*l + 2*m + 96, -5*l + 35 = w*m - 85. Does 12 divide l?
True
Let r(o) = o - 7 + 2 - 2*o. Let z be r(-9). Suppose -c + 27 = 5*x - 2*c, 5*c = -z*x + 39. Is x a multiple of 5?
False
Suppose -3*k = -2*t - 28, 2*k + 3*t - 3 = -k. Suppose k*u = 4*u. Suppose 2*s - 159 + 7 = u. Is s a multiple of 20?
False
Let m = 62 - 26. Is m a multiple of 12?
True
Is 9 a factor of 1 + 16 + 60/20?
False
Let b(v) = 59*v**2 - 1. Suppose -2*l + 3 = p, 3*p - 2 = -p - 3*l. Is 29 a factor of b(p)?
True
Let u(m) = 4*m - 6. Suppose 3*v + 32 = 5*c, -v + 3*v = -2*c. Is 2 a factor of u(c)?
True
Suppose -2*s = -0*i - 4*i - 32, 5*s + 4*i = 38. Suppose -x = -s - 15. Suppose 4*a - 76 = 3*f, 3 = 2*a + f - x. Does 15 divide a?
False
Let f be (-1)/(-6) + (-235)/(-30). Suppose r + 0*r = f. Is 5 a factor of r?
False
Suppose 83 = j + 31. Does 8 divide j?
False
Suppose -6*l + 113 = -3*l - 2*x, 4*x - 8 = 0. Is 13 a factor of l?
True
Suppose -8*z = -2*z - 192. Is z a multiple of 3?
False
Suppose -4*z = i - 5, i - 6*z + 19 = -2*z. Let g = 1 - i. Does 3 divide g?
False
Suppose 0 = -3*h + i + 116, 3*h - 78 = h + i. Let j(d) = d**3 + 3*d**2 - 5*d - 2. Let b be j(-4). Suppose 3*f - b*f = h. Is 16 a factor of f?
False
Let o(y) = -2*y + 16. Is o(-4) a multiple of 24?
True
Let k(u) = 10*u**3 + 22*u**2 + 10*u - 12. Let t(w) = -3*w**3 - 7*w**2 - 3*w + 4. Let v(g) = -2*k(g) - 7*t(g). Is v(-4) a multiple of 4?
True
Suppose s + 2*z - z + 13 = 0, 0 = -z - 4. Let l = s - -21. Is 12 a factor of l?
True
Suppose -2*c + 2*o = -232, 4*c = -0*c + 5*o + 466. Let r = -51 + c. Let a = r - 15. Does 16 divide a?
True
Let y(q) = 6*q - 7*q**2 + 3*q + 0*q**3 + q**3. Does 11 divide y(6)?
False
Let i be 24/10 - (-42)/70. Suppose -4*l = i*v + 2*v - 66, -3*l = -5*v + 73. Is v a multiple of 7?
True
Suppose 0*m - 12 = 2*m. Does 14 divide 200/14 + m/21?
True
Let t = 46 + -32. Suppose 3*h - 1 = t. Is h a multiple of 5?
True
Let f = -16 - -6. Let z be 3020/25 + (-2)/f. Suppose 2*k - z = a - 45, 4*k - 3*a = 154. Is k a multiple of 12?
False
Let f(w) = w - 1. Let t be f(6). Suppose o + 152 = t*o. Does 15 divide o?
False
Let w be 2/(-4) + 488/16. Is 15 a factor of (9/(-5))/((-2)/w)?
False
Let g = 264 + -51. Is 42 a factor of g?
False
Let n(y) = y**3 + 23*y**2 + 22*y + 27. Is 3 a factor of n(-22)?
True
Let r = -48 - -26. Let t(f) = -f - 11. Let y(m) = 3. Let j(c) = r*y(c) - 6*t(c). Is 24 a factor of j(8)?
True
Suppose 2*v + z - 8 = 0, v = 3*z - z - 1. Suppose -60 = -v*h + h. Is h a multiple of 18?
False
Suppose 2*z + 0*z - 8 = 0. Suppose -3*x + z*o = -0*x - 71, -2*o + 24 = 2*x. Is x a multiple of 5?
False
Suppose 0 = 4*l - 18 + 2. Suppose -l*q + 0*c = -c - 683, 3*c - 15 = 0. Suppose -7*x + 3*x + q = 0. Is x a multiple of 19?
False
Let z(m) = -4*m**3 - 6*m**2 - 6*m - 6. Let i be z(-4). Does 11 divide i/8 - (-6)/(-24)?
True
Let f(u) = -u**2 + 7*u - 4. Let s be f(4). Let i be (s/12)/((-4)/(-6)). Suppose i - 9 = -4*x. Is 2 a factor of x?
True
Let a = 65 + -54. Is 2 a factor of a?
False
Suppose -3*g + 15 = -0*g + p, 25 = 4*g + 3*p. Suppose g*q - q = 117. Is q a multiple of 13?
True
Let x = -326 + 494. Does 21 divide x?
True
Suppose -35 = -m - 2*l - 16, 2*l = -8. Let a = -9 + m. Is a a multiple of 9?
True
Let u be 20/(-90) + (-94)/(-18). Suppose 0 = w - u*o - 1, -o - o = 2*w - 26. Is w a multiple of 11?
True
Suppose 0 = 5*g - 10*g + 10. Let f be 3 + 3 + (0 - g). Suppose -4*h = -4*d - 60, -f*d = 15 + 1. Does 4 divide h?
False
Is 48/3 - 3 - 4 a multiple of 3?
True
Let h be 1/3 - 33/(-9). Suppose 0*t + 20 = -h*t, 3*t + 54 = 3*g. Let k = -1 + g. Does 6 divide k?
True
Is 12 a factor of 129 + 2 - (-3 - -4)?
False
Suppose 30 = -3*c + 3*z, -c - 4*z = -2*z + 10. Let q = c - 0. Is 24 a factor of (-47)/(-2) + (-5)/q?
True
Suppose 0 = 4*u + 20, 2*i - 5*u = -i + 70. Suppose -5*m + i = 0, 0 = -2*c + 4*c + 4*m - 60. Is c a multiple of 12?
True
Let m(v) = v**2 - v + 31. Let j be m(0). Suppose s = -3*s + 180. Let h = s - j. Does 7 divide h?
True
Does 4 divide 6/(4 + 5/(-2))?
True
Is 2086/21 - (-2)/3 a multiple of 9?