-6 - b. Is 21 a factor of p?
True
Let u(b) = 6*b**3 - b**2 + 2. Is u(2) a multiple of 11?
False
Let y be 126 + (1/(-1) - 1). Let z = 38 + y. Suppose 0*d - 3*d + z = 0. Is d a multiple of 14?
False
Is 24 a factor of (-18)/(-24) - 1107/(-12)?
False
Suppose -3*v + 16 = -11. Does 3 divide v?
True
Suppose -5*u + 0*u + 10 = 0. Suppose 5*f = -u*x + 93, 0*f = 2*f + 3*x - 35. Is f a multiple of 19?
True
Suppose 3*i - 697 + 250 = 0. Is i a multiple of 33?
False
Let i be (-6)/(-27) - (-56)/(-9). Let a be i/((-2)/(16/3)). Suppose 20 + a = 3*o. Does 6 divide o?
True
Suppose s - 26 = 2*v, -5*v + 95 = 5*s - 65. Is s a multiple of 10?
True
Let b = 73 + -31. Is b a multiple of 17?
False
Is 12 a factor of (-2)/((-3)/138*2)?
False
Let m = -8 - -12. Suppose 54 = m*v - 50. Is v a multiple of 15?
False
Let n = -11 + -6. Let w = 1 - n. Is 18 a factor of w?
True
Let k = 8 - 4. Suppose 2*j - 4 = 4*j, -4*j = -k*y + 24. Suppose 5*i - 3 = t - 1, -2*t - y*i = -24. Is 5 a factor of t?
False
Let f = 11 - 5. Let j be 6/(-18) - (-146)/f. Let l = j + -16. Does 5 divide l?
False
Let h = 58 - 31. Is h a multiple of 7?
False
Suppose 4*t = 2*x, 0*t = -2*t - 4*x + 20. Suppose 11 = 4*y - 5. Let c = y - t. Is 2 a factor of c?
True
Let m = -11 + 83. Suppose -5*u + 332 = m. Is 14 a factor of u?
False
Suppose a - 7 = -4*k + 5*k, 0 = -4*a + 12. Let o = 7 + k. Is 8 a factor of 19/(2 + (2 - o))?
False
Let o(p) = -3*p. Let v be o(-6). Let t(i) = -4*i - 6*i + i**2 + 26 - v. Is t(10) a multiple of 8?
True
Suppose 3*c + 159 = 3*w, w + 0*c - 77 = -5*c. Is 9 a factor of w?
False
Suppose 0 = -4*z + 12 + 4. Suppose -z*a + 0*a = -28. Does 7 divide a?
True
Is (-4 - -12) + 4/2 a multiple of 5?
True
Let d be (-32)/(-5) + (-3)/(-5). Let c(i) = 0*i + i - i**3 - 5*i**2 + d - 2*i. Does 10 divide c(-5)?
False
Suppose 5*n = 18 + 22. Suppose 3*s + n = 26. Suppose 0 = q - s - 4. Is 10 a factor of q?
True
Let l(c) = 5*c - 11. Let n(t) = 2*t - 5. Let j(k) = 6*l(k) - 13*n(k). Is 7 a factor of j(5)?
False
Suppose a = -u - 3*u + 105, -5 = -a. Is 13 a factor of u?
False
Suppose 0 = 4*f - 17 - 55. Suppose 0 = -y + f. Does 7 divide y?
False
Suppose 18 = b + 2*b. Suppose -u - 5 = 0, g + b*u - 3 = u. Does 13 divide g?
False
Let r(t) = t**2 - 4*t - 5. Is r(-2) a multiple of 2?
False
Suppose 2*f + 2 = 4*j - 2, -10 = -5*j. Does 3 divide f/11 - (-216)/22?
False
Let z = 8 - 3. Is 0/z + (11 - 1) a multiple of 5?
True
Let t be (-482)/18 - 6/27. Does 19 divide 4/18 - 534/t?
False
Suppose -3*t - 11 = 10. Let g(x) = x**3 + 7*x**2 - 7*x + 5. Does 18 divide g(t)?
True
Let w = -127 + 202. Does 25 divide w?
True
Suppose 0*g = -4*g + 16. Suppose g*x - 11 = -p, 5*x - 4*p - 30 = -2*p. Suppose x*v = -7 + 87. Does 7 divide v?
False
Suppose -2*w - 3 - 9 = 0. Let z(d) = -5*d - 4. Let f(s) = -s - 1. Let x(q) = 33*f(q) - 6*z(q). Does 5 divide x(w)?
False
Let q(d) = 7*d - 9. Let o be q(6). Let n = o - 8. Is n a multiple of 12?
False
Suppose 2*q - 178 = -4*k, 8*k - 17 = 7*k + 5*q. Does 23 divide k?
False
Let o(j) = j**2 + 2*j. Does 8 divide o(-6)?
True
Let z be 1064/(-14) - (0 + 2). Let m = z + 114. Does 12 divide m?
True
Suppose -o - 1 = -3*b, 0*b - 1 = 3*b + o. Suppose 3*q + b = 3. Let h = q - -4. Is 3 a factor of h?
False
Suppose -y - 9 = -3*t + 6, -2*y + 4*t - 24 = 0. Let b be 76/(-6)*y/4. Let v = b - 10. Is 5 a factor of v?
False
Suppose -3*b - 17 = -5*k, 2*k + 6*b = b + 13. Suppose -120 = -q - k*q. Is 8 a factor of q?
True
Let j = -28 + 57. Let u = 59 - j. Let r = 48 - u. Is r a multiple of 9?
True
Let z(r) = -3*r**3 + r**2 + r. Let u be z(-1). Suppose -6 = -u*d - a, -4*a = -d - a + 2. Suppose d*o + 4*t - 8 = 0, -5*o + 0*t - 2*t + 44 = 0. Does 10 divide o?
True
Suppose -2 = -3*z - 4*h, -h + 6 = 3*z + 1. Suppose -z*r = -0*r - 114. Is r a multiple of 14?
False
Suppose 0 = 2*s + 2*s + 68. Let o = -10 - s. Is 3 a factor of o?
False
Let s be 6/(3/1) - -113. Suppose 4*m - r - s = 2*r, -3*m - 4*r = -55. Is 11 a factor of m?
False
Let j(b) = -2*b + 31. Is 8 a factor of j(-6)?
False
Let h(n) = -n**3 + n**2 - 3*n + 2. Let j be h(2). Let m = 34 + j. Does 13 divide m?
True
Let p(o) = -o**3 + 9*o**2 + o + 7. Let z be p(9). Suppose -n + z = -0*n. Does 5 divide n?
False
Is (2/(-3))/((-5)/495) a multiple of 11?
True
Suppose 18 = 8*h - 6*h. Does 4 divide h?
False
Suppose 0 = 2*o + 2*w - 4*w + 1822, -5*w = -o - 931. Is o/(-24) + 1/4 a multiple of 19?
True
Let j = -5 + 0. Let q(b) = -5*b**3 + 4*b**2 - 2*b - 6. Let g(x) = -4*x**3 + 4*x**2 - 3*x - 6. Let r(z) = j*q(z) + 6*g(z). Is r(-5) a multiple of 9?
True
Suppose -t - 2 + 4 = 0. Suppose t*q - 10 = -3*q. Suppose 4 + 4 = q*m. Is m a multiple of 3?
False
Let v(d) = 7*d - 1. Let p be v(-2). Suppose -a + 2*a - 27 = 0. Let b = a + p. Is b a multiple of 12?
True
Suppose 2*w = -2*w + 4. Let g = 4 - w. Does 7 divide g/(-12) - 58/(-8)?
True
Let j be (-4)/4 - (-8)/2. Suppose d = 2*b - 66, b - j*d + 2*d = 34. Is b a multiple of 12?
False
Let p = 2 - 2. Suppose 0*n + 1 = -n, p = -4*m - 2*n - 6. Is 11 a factor of ((-3)/(-2) + m)*22?
True
Let u(n) = -n**2 - 5*n + 3. Let a be u(-6). Let p(f) = -f**3 - f**2 + 1. Does 6 divide p(a)?
False
Suppose -5*y + 10*y - 135 = 0. Is 4 a factor of y?
False
Let a = 12 + -10. Suppose 5*c - 32 = -w - a, 3*w - 4*c = 33. Does 5 divide w?
True
Suppose 0 = 5*r - 274 + 29. Is r a multiple of 18?
False
Suppose 5 = -5*d - 2*z, 21 = -2*d + 2*z + z. Let q(g) = -5*g + 7. Does 11 divide q(d)?
True
Suppose -5*s = -21 - 4. Let m = 0 + s. Suppose 2*i = m*i - 87. Is 14 a factor of i?
False
Let g = -26 + 23. Let l(t) = -t**3 + 4*t**2 - 9*t + 9. Let a(s) = s**3 - 3*s**2 + 8*s - 8. Let r(x) = -6*a(x) - 5*l(x). Is 20 a factor of r(g)?
False
Let p be (4 - 3)*10/(-1). Is 14 a factor of 1/(-5) - 142/p?
True
Let d(c) = 4*c + 2. Is 10 a factor of d(6)?
False
Suppose -2*q - 2*a + 48 = -0*q, -2*q = 5*a - 54. Is q a multiple of 22?
True
Suppose 5*u - 7 = 13. Suppose s + u*s = -r + 6, 0 = -4*s + 3*r + 1. Does 16 divide (s + -1)/3 + 22?
False
Suppose 3*n - 287 - 13 = 2*t, -4*n - 5*t + 377 = 0. Does 14 divide n?
True
Suppose -3*c - c + 11 = -3*z, -4*c + 8 = -4*z. Suppose z*r + 0 = 9. Is r a multiple of 3?
True
Let q(y) = -y**3 - 4*y**2 - 5*y - 7. Let w be q(-5). Let o = w - 9. Is o a multiple of 14?
False
Suppose 3*q - x - 4*x - 38 = 0, -5*q + 2*x = -76. Does 5 divide q?
False
Suppose 5*n + 15 = -0*n, 45 = j + 5*n. Does 20 divide j?
True
Let r = 2 + 23. Is r a multiple of 16?
False
Suppose -234 = 2*a + 120. Let k be a/(-3) + 0 + 1. Suppose -k = -p - 3*p. Does 9 divide p?
False
Let x be 3*-1*14/3. Suppose 3*m - m - 4*g = 14, 5*m = -3*g + 9. Is (-1 - m)*x/8 a multiple of 7?
True
Let r be 1*261*(5 + -4). Let g = r + -185. Suppose 0*w - 2*w + g = 0. Is 19 a factor of w?
True
Suppose z + 3 = -f, -5*f + 2*z + 4 + 2 = 0. Suppose 5*b = 5*i - 250, i + f = 3*b + 54. Does 16 divide i?
True
Suppose -2 = -6*p + 4*p. Let z = 6 - p. Suppose -2 = z*n - 32. Does 6 divide n?
True
Suppose -8 = 3*r + 4*z + 7, 3*r + z + 6 = 0. Let f be (r - -1)/(1*-1). Is f - 2 - (-7 - -1) even?
True
Let h = -38 - -55. Is h a multiple of 6?
False
Is 66 a factor of 13*29*(-2 - -3)?
False
Let t(o) = -7*o**3 + o**2. Is 12 a factor of t(-2)?
True
Let s(b) = -6*b - 16. Let r(q) = -5*q - 15. Let z(a) = -5*r(a) + 4*s(a). Is 3 a factor of z(-5)?
True
Let o(g) = g**3 + 5*g**2 + g - 9. Let a be o(-4). Is 8 a factor of (3/a)/(1/31)?
False
Let y = 87 + -57. Is y a multiple of 5?
True
Let r be (-19)/(-3) - (-5)/(-15). Is 14 a factor of (-11)/(22/r - 4)?
False
Let y(r) = r**2 + 6*r - 8. Let o be y(-7). Let c = 0 - o. Suppose a = -c, 2*b = a + 3*a + 24. Is 3 a factor of b?
False
Suppose 0*q = -4*q + 64. Let z = q + -11. Let o = z - -24. Is o a multiple of 17?
False
Suppose -233 = -6*g + 823. Is g a multiple of 16?
True
Let b(l) = 4*l**3 - 2*l + 1. Let w = -3 + 4. Let y = 2 - w. Is 2 a factor of b(y)?
False
Let j(r) = -322*r + 2. Let y be j(-1). Suppose -5*g = -y + 104. Does 15 divide g?
False
Let a = 4 + -1. Suppose a*g + 5 = 20. Is 3 a factor of g?
False
Let x be 195/(-10)*(-4)/(-3). Let f(y) = y**2 - 7*y - 4. Let m be f(-5). Let c = x + m. Is 19 a factor of c?
False
Let m(l) = 5*l**2 + 4*l - 5. Let v(w) = 6*w**2 + 3*w - 5. Let i(s) = -7*m(s) + 6*v(s). Let u be i(9). Is 10 a factor of 5*3 + 4/u?
False
Let p = -6 + 3. Is (-4)/6 + (-50)/p a multiple of 16?
True
Let