
False
Suppose -3*p = 2*r + 3, 3*r - p + 5*p + 4 = 0. Is 21 a factor of 18 + (2 - r) + 1?
True
Let z(q) = -q + 1. Let x(u) = -u**3 + u**2 - 2*u + 5. Let c(o) = x(o) - 5*z(o). Does 7 divide c(-3)?
False
Suppose -2*s + 3*w = -s + 91, -2*s = 3*w + 155. Is 1/((-1 - 1)/s) a multiple of 9?
False
Let i(a) = a + 5. Is i(0) a multiple of 5?
True
Let q(w) = 3*w + 2 - 4*w**2 + 0 - 4 - w**3. Is q(-5) a multiple of 4?
True
Suppose z = l, 3*l - 14 = -3*z - z. Suppose -p = z*p - 123. Suppose j = 2*h - p, 2*h + 2*j + 2 = 28. Is 6 a factor of h?
True
Suppose -3*c + 4*n = -154, 7*c - 2*n - 146 = 4*c. Is 10 a factor of c?
False
Suppose -381 = -3*n - 129. Is 14 a factor of n?
True
Let a = 56 - 18. Is 11 a factor of a?
False
Let o(c) = -c**2 - 7*c + 2. Let w be o(-7). Let z be -3 - (w + -2) - -50. Let v = -30 + z. Does 6 divide v?
False
Suppose -44 = -5*p - 4. Does 6 divide p?
False
Let k be 158/14 - 4/14. Let p(t) = t**3 - 12*t**2 + 13*t - 6. Is p(k) a multiple of 5?
False
Let j(p) = p**2 - 2*p. Let c be j(2). Suppose 5*o - 1 = k - 13, -5*k - 5*o = c. Is 11 a factor of (-860)/(-28) + k/7?
False
Let o(v) = v**3 - 5*v**2 - 7*v. Let s be o(6). Let z = s - -16. Does 8 divide z?
False
Let r = 129 - 75. Suppose 5*o = 5*l + 135, o - 4*o - 119 = 5*l. Let g = l + r. Is 9 a factor of g?
False
Let z = -82 - -304. Is 13 a factor of z/10 - 2/10?
False
Suppose -30 + 74 = k. Is k a multiple of 14?
False
Suppose 12 + 2 = 2*x. Is 7 a factor of x?
True
Let b be ((-4)/(-2))/(3/(-117)). Let j = 120 + b. Is 21 a factor of j?
True
Let g(b) = -b**3 + 9*b**2 - 3*b + 9. Suppose -5 = 5*i, i - 35 = -0*z - 4*z. Let s be g(z). Does 18 divide s/(-7)*(-21)/(-3)?
True
Suppose 49 = 5*a - 361. Is 27 a factor of a?
False
Let u = -13 + 31. Is u a multiple of 3?
True
Suppose 5*a + 2*t - 71 = 3*t, -4*t + 91 = 5*a. Does 11 divide a?
False
Suppose -t - 5*s - 2 = 1, -4*s = 3*t - 24. Is t a multiple of 3?
True
Let n(d) = -d**3 - d**2 + 4. Let w be n(0). Suppose 0 = -w*i + 53 + 43. Is i a multiple of 12?
True
Suppose 2*u + 0*h - 82 = -5*h, -4*u - h + 164 = 0. Is u a multiple of 13?
False
Suppose -3*s - q + 107 = q, 3*q = 4*s - 137. Does 22 divide s?
False
Suppose -2*m = -8*m + 492. Is 21 a factor of m?
False
Let i = 7 + -10. Let n = 8 + i. Suppose -4*q - 49 = -3*k, n*q = 21 + 4. Is 8 a factor of k?
False
Does 3 divide 2*(-18)/8*-2?
True
Let w = 61 - -25. Is w a multiple of 43?
True
Suppose 3*g = 2*g + 2. Suppose -2*q = -y + g*y + 4, 3*y + 6 = 0. Let n = 3 - q. Is 4 a factor of n?
True
Let f(m) = -m**2 - 20*m - 26. Let k be f(-18). Suppose 5*n = 5*p - k*p + 10, -n - 1 = 2*p. Is n a multiple of 2?
False
Does 23 divide (-2)/2*(-11)/((-33)/(-1035))?
True
Let v(n) be the third derivative of -1/3*n**3 + 0*n - 5/24*n**4 + 7/60*n**5 - 2*n**2 + 0 - 1/120*n**6. Does 10 divide v(5)?
False
Suppose -j = -4*i + 39, 3*i - 6*j = -4*j + 23. Is 7 a factor of i?
False
Suppose 0 = -6*l + 4*l - 94. Suppose -4*i + 37 = 169. Let y = i - l. Does 14 divide y?
True
Let t = 21 + -13. Let r be 2/(-4) - (-2)/4. Let u = r + t. Is 8 a factor of u?
True
Let f(v) = 3*v + 6*v**3 - 5*v**3 - 5*v + v**2. Suppose 2*z + z - 14 = -r, 20 = 5*z. Does 4 divide f(r)?
True
Let q be 130/(-14) - (-8)/28. Let r = -2 - q. Is r a multiple of 7?
True
Let g(f) = 7*f. Let k be g(-4). Is (-7)/k - 134/(-8) a multiple of 17?
True
Suppose -20 = -3*m + 19. Does 13 divide m?
True
Let i = 18 - 35. Let s = 62 - 29. Let o = s + i. Is o a multiple of 5?
False
Let m = 92 + -61. Is 13 a factor of m?
False
Suppose 2*y - 3*y = 0. Let l(r) = -2*r**3 - 5*r**2 + 3*r - 33. Let g(h) = -3*h**3 - 8*h**2 + 5*h - 49. Let m(s) = 5*g(s) - 8*l(s). Is m(y) a multiple of 9?
False
Let l(w) = 4*w**3 - 5*w**2 + 8*w - 7. Let z(o) = -5*o**3 + 4*o**2 - 7*o + 8. Let x(p) = 4*l(p) + 3*z(p). Is x(7) a multiple of 12?
True
Let n(y) = -3*y - 3. Let h be n(4). Let m = 20 + h. Is m a multiple of 5?
True
Let a(k) = k + 4. Let w be a(-4). Is 5 - 1/(w - 1) a multiple of 5?
False
Suppose -2*v - 12 = -4*i - 0*v, 3*i + 5*v - 22 = 0. Suppose -a + 50 = i*a. Is a a multiple of 5?
True
Suppose -w + 5*w = 168. Is 14 a factor of w?
True
Let u(h) = -3*h**3 - 2*h**2 - 6*h - 5. Is u(-3) a multiple of 19?
True
Let q(v) = 2*v**2 - 4*v - 2. Let l be q(5). Let i = l - -5. Is i a multiple of 11?
True
Let x(d) = 115*d**2 + 1. Let c be x(-1). Suppose 2*g = -w + 4*w + 78, -3*g = -5*w - c. Does 21 divide g?
True
Suppose 27*m + 1456 = 34*m. Is 32 a factor of m?
False
Suppose z = 4*r + 1, 0*z - 2*z = 3*r + 31. Is 21 a factor of (-1 - 1) + 55 + z?
True
Suppose 0 = -0*t + 5*t + 15. Let b(l) = -2*l + 1. Let c be b(t). Suppose 0 = -2*j + 41 + c. Does 12 divide j?
True
Suppose 5*f - 791 = d, 4*f - d + 4*d = 648. Is 14 a factor of f?
False
Suppose 2*x + 3*z - 33 - 3 = 0, 0 = x - 4*z - 40. Does 12 divide x?
True
Let f(y) = 4*y**2 + 4*y. Does 16 divide f(-4)?
True
Let v(x) = 5*x + 21. Does 11 divide v(19)?
False
Suppose 4*u = 3*o + 78, 0 = -4*u + 2*o - 9 + 85. Does 9 divide u?
True
Let b(l) = l**3 - 9*l**2 + 13. Let j be b(9). Let x = j - 9. Is x a multiple of 4?
True
Suppose 279 = 13*b - 358. Is b a multiple of 7?
True
Suppose 4*g = -5*p - 1, -5 = -3*g + 5*p - 32. Let c be ((-2)/g)/((-4)/(-40)). Suppose -3*o = -8*o - c*h + 95, 2*o - 41 = h. Is o a multiple of 10?
True
Let b(f) = 2*f**2 - 6*f + 9. Let s be b(5). Let c = 15 + s. Is 16 a factor of c?
False
Is 6 a factor of (-5 - -2)*22/(-3)?
False
Suppose 0 = -2*t - t. Let f = 3 + -3. Suppose 3*x + 15 = f, -2*c + t*x = 2*x - 30. Does 19 divide c?
False
Suppose -l - 2 - 11 = 0. Does 8 divide 15*(-1 - l/5)?
True
Suppose -2*d - 90 = -2*r, -r = -2*d - 17 - 25. Is r a multiple of 8?
True
Does 15 divide -3*(-3)/(-6)*226/(-3)?
False
Suppose 0 = -24*s + 14*s + 170. Is 3 a factor of s?
False
Let n(l) = -9*l - 33 + 20 + 15. Is n(-4) a multiple of 19?
True
Let r = 36 + -4. Is 8 a factor of r?
True
Let m be 4/(-10) + (-160)/(-25). Let i be (6/9 + 0)*m. Suppose 2*w - 5*k = -0*k + 25, 0 = -4*k + i. Is 15 a factor of w?
True
Let s(l) be the first derivative of -2*l**2 + 7*l + 6. Is 12 a factor of s(-6)?
False
Suppose 2*l + l = 12. Suppose -l*p - 29 = -4*h - p, -h + 26 = 3*p. Does 11 divide h?
True
Suppose 5*q - 4 = -3*i, 4 = -3*q - 4*i + 13. Is 6 a factor of 2*q*30/(-4)?
False
Let a = 77 - 42. Is 15 a factor of a?
False
Let y = 18 + -12. Let q be (y + -3 - 4)*3. Let x(z) = z**3 + 4*z**2 - 4*z - 2. Is x(q) a multiple of 13?
False
Let r be (2/(-6))/((-1)/39). Suppose -54 = -2*c + 4*g, -5*g + 2*g - 93 = -3*c. Let d = c - r. Is d a multiple of 11?
True
Is 27 a factor of ((-94)/8)/((-3)/12*1)?
False
Suppose -3*k - 774 - 540 = -4*v, 3*v - 998 = -4*k. Does 13 divide v?
False
Let i = 5 - 0. Suppose -8*g = -3*g - i. Is 18 a factor of 2/(g*(-6)/(-75))?
False
Let r = -46 - -146. Is r a multiple of 5?
True
Suppose -2*c = -5*c - 5*d + 168, 4*d = 5*c - 280. Is c a multiple of 8?
True
Let c(r) = 4*r**3 - 2*r**2 + 2*r - 1. Suppose 4*h - 1 - 3 = 0. Let q be c(h). Suppose -13 = q*d - 109. Does 16 divide d?
True
Let w(k) = -3*k**2 - 11*k - 2. Let b = 8 + -11. Let p(d) = 2*d**2 + 10*d + 1. Let z(g) = b*w(g) - 4*p(g). Is z(8) a multiple of 5?
True
Let f(j) = -4 - 6*j + 39*j + 1 + 2. Is f(1) a multiple of 16?
True
Suppose 366 = 5*w - 544. Does 14 divide w?
True
Suppose y - 24 = 18. Suppose 0*p = 2*p - y. Is p a multiple of 7?
True
Let y = -33 + 20. Is -2 + (1 + -2 - y) a multiple of 10?
True
Let l(o) = -3*o + o - 5*o + 3 + o. Is l(-3) a multiple of 8?
False
Let b(w) = w + 104. Let h be b(0). Let s = 8 - 79. Let z = s + h. Is 11 a factor of z?
True
Let r be (4 + 480)*(-2)/(-4). Suppose 3*d + 4*y = r, -3*y - y = 5*d - 390. Suppose 0 = -2*t + 12 + d. Is 13 a factor of t?
False
Is (-6)/27 + 2301/27 a multiple of 19?
False
Let w(x) = 2*x**2 - 6*x + 4. Let i be w(5). Let y be (i/20)/(2/(-10)). Is 12 a factor of (-2)/y - (-95)/3?
False
Let r be (-2)/(94/(-31) + 3). Suppose -4*g - 6 = -r. Does 7 divide g?
True
Let s(c) = -29*c - 28. Is s(-7) a multiple of 35?
True
Let r be (-5 - 0/(-1)) + 2. Let q(f) = -f**3 + f - 2. Does 11 divide q(r)?
True
Suppose -122 = 4*k + 574. Let j be k/(-24) - (-6)/8. Let n = j - -43. Does 22 divide n?
False
Suppose -k + 8 = y - 4, 2*y + 4*k = 22. Let b = 22 - y. Does 9 divide b?
True
Let j(w) = -w - 3. Let s be j(-5). Suppose s*a - 6 = -a. Does 2 divide a?
True
Let c be (-2 + 0 - -1)*-1. Let o(