21?
True
Suppose -364 - 20 = -6*y. Does 16 divide y?
True
Let x(t) = t**3 - t**2 + 8*t - 3. Let p be x(-4). Let r = -81 - p. Does 34 divide r?
True
Let f(l) = -l**3 + 8*l**2 - 14*l - 1. Let q be f(5). Suppose -2*p - 140 = -7*p + q*u, 28 = p + 4*u. Is p a multiple of 3?
False
Let d(y) = y**3 - 9*y**2 - 10*y - 4. Let b be d(10). Let z be (7 + 1)*b/(-8). Suppose -5*t + 158 = -4*s, 37 = z*t - 3*t + s. Is 12 a factor of t?
False
Let z be -8 - 9/3 - -2. Let f be -29 + -7 + 4 + 4. Is 7 a factor of f*z/(-24)*-2?
True
Let u(x) = -x**2 + 16*x - 18. Let p be (1 + 1)/(3/18). Let t be u(p). Let r = t - -27. Is 19 a factor of r?
True
Let r = -34 - -6. Let m = r + 35. Does 7 divide m?
True
Does 11 divide (484/176)/((-2)/(-8))?
True
Let w(r) = -r**3 - 11*r**2 - 28*r - 6. Let c be w(-12). Suppose -12*o - 162 + c = 0. Does 8 divide o?
False
Let t = 68 + 142. Does 5 divide t?
True
Suppose -5*w - 18 = -g, -4*g = 3*w - 5*w - 18. Let n(q) = 6*q**2 - 2*q + 9. Let a(r) = 6*r**2 - 3*r + 10. Let y(u) = -5*a(u) + 6*n(u). Is y(w) a multiple of 17?
False
Suppose 5*w - 3*w - 8 = 0. Suppose -w*s + 8*s + 72 = 0. Does 24 divide (-1 + 2/(-6))*s?
True
Let f = 221 - 32. Is 7 a factor of f?
True
Let x(z) = 9*z - 25. Let c be (4/(-8))/(2/(-36)). Is 6 a factor of x(c)?
False
Is 5 a factor of ((-40)/36*-6)/((-2)/(-21))?
True
Let k = -92 - -156. Suppose -14 = -5*d - k. Does 7 divide (-4)/d - (-53)/5?
False
Suppose -3*d + 3*u + 13 = -14, 3*u + 7 = d. Let b be 5/d*254 + 1. Suppose 7*y - 3*y - b = 0. Is y a multiple of 8?
True
Let x = -28 + 26. Does 31 divide (248/(-1 + 0))/x?
True
Suppose -2*a + 18 = -4*k, -5*k = -6 - 9. Suppose -8*d + a = -3*d. Is 3 a factor of d?
True
Suppose -2*l = -l + 6. Let h(w) = w**2 + w - 9. Is h(l) a multiple of 6?
False
Let m(q) = -3*q**2 + 5*q - 2. Let v(w) = w + 10. Let o be v(-8). Let j(b) = -4*b**2 + 6*b - 1. Let f(n) = o*j(n) - 3*m(n). Is 9 a factor of f(-3)?
False
Suppose 0*g - 2*g = -348. Suppose 5*h - g = 56. Suppose 134 = 5*m - h. Does 8 divide m?
False
Let r(f) = f**2 - f. Let w be r(1). Suppose -24 = -w*k - 3*k. Suppose 0 = y - 3*y + k. Is y a multiple of 4?
True
Let w(j) = j**2 + 7*j + 2. Let n = 11 - 5. Let r be w(n). Suppose -6*u + r = 14. Does 5 divide u?
False
Suppose -4*t = t - 5*n - 450, 272 = 3*t - 2*n. Is t even?
True
Let i = 12 + -8. Let h be ((-2)/2)/(11/66). Is (h/i)/((-12)/112) a multiple of 3?
False
Let j(w) be the third derivative of 1/8*w**4 + 0*w + 2/15*w**5 - 1/2*w**3 - 8*w**2 + 0. Does 11 divide j(2)?
False
Let x be (-671)/77 - 2/7. Let d be (3/x + -1)*-3. Suppose d*m - 4*c + 7*c - 99 = 0, -3*m = 2*c - 74. Is 8 a factor of m?
True
Suppose 3*g + 2*g + 20 = -m, 0 = -3*m + 5*g + 40. Let z = -3 + m. Suppose -z*q = -9 - 7. Is 4 a factor of q?
True
Suppose -m - 105 = -4*m. Is (-1816)/(-28) + 5/m a multiple of 13?
True
Let p(l) = -13*l**2 - l + 1. Let q(a) = -38*a**2 - 4*a + 3. Let m(g) = 11*p(g) - 4*q(g). Is 5 a factor of m(-2)?
True
Does 2 divide 2/(-7) + (-205)/(-7)?
False
Let h = -8 - -13. Is (-1017)/(-12) + (-3)/(-12)*h a multiple of 43?
True
Suppose 16*m + m - 18258 = 0. Is 51 a factor of m?
False
Is 37 a factor of (-198)/55*(-460)/8?
False
Let z(k) = 59*k**2 - 26*k + 19. Is z(5) a multiple of 42?
False
Let w be 189/45*(7 + -2). Does 21 divide w*(5 - (-2 + 6))?
True
Let q = 112 + -52. Is q a multiple of 11?
False
Let r(a) = 15*a - 127. Is r(45) a multiple of 4?
True
Suppose 21*o - 6692 - 9373 = 0. Is 45 a factor of o?
True
Let y = 62 + -371. Let d = -221 - y. Is d a multiple of 44?
True
Suppose 2*i - 3*u - 1868 = 913, -i + 5*u = -1380. Is i a multiple of 9?
True
Suppose -k + 17 = -5*t, -k + 0*k - 4*t - 10 = 0. Suppose 5*m - 304 - 487 = 3*r, -12 = -4*r. Suppose -5*w + m = -x, -5*w - x + 96 = -k*w. Is 16 a factor of w?
True
Let h = 42 + -12. Let l be (h/4)/(-5)*6. Let x(t) = -2*t - 1. Is x(l) a multiple of 17?
True
Let c(d) = 0*d**2 + 0*d**2 - d**2 + 3*d**2 + 1 - 3*d. Suppose -18 = -2*u - 4. Is 26 a factor of c(u)?
True
Suppose 2*k - 54 = -k. Suppose 0 = -3*y - h + 16, 2*y + 3*h - 17 = -4. Suppose y*v + k = -4*d + 80, -24 = -2*v - 2*d. Does 5 divide v?
False
Let m be (2/((-12)/22))/((-2)/(-6)). Suppose 5*s = 6*s + 29. Let f = m - s. Does 7 divide f?
False
Suppose -4*b + 3 = 3*a, 4*b - 5*a - 27 = -0*a. Suppose b*v + 27 = 2*m + m, 2*m - 5*v = 30. Is 5 a factor of m?
True
Suppose -6*z + 1300 = -2*z + 4*k, -4*k - 1292 = -4*z. Is z a multiple of 27?
True
Suppose 0 = -2*d - 2*k + k - 240, 2 = -k. Let t = d - -44. Let y = -21 - t. Is y a multiple of 18?
True
Let y be (-2)/(-3) + 1/3*-5. Does 3 divide 6/(-2)*y - (-11 - -2)?
True
Let c = 129 + -91. Suppose -3*g + 4 = -4*t, t - 11 + c = 4*g. Does 3 divide g?
False
Let z(v) = -v**2 - 9*v + 12. Let i be ((-40)/(-32))/((-1)/8). Let g be z(i). Is 5 a factor of 152/20 + g/5?
False
Suppose 2*d + 3*s = 594, -s = -3*d - 5*s + 891. Is 16 a factor of (-1 - 2) + d/3?
True
Suppose 276 + 0 = 6*f. Let o = 196 - f. Is o a multiple of 25?
True
Let t(c) = 5*c + 14. Suppose -9 = 2*h - 23. Let k(f) = -5*f - 13. Let b(o) = h*k(o) + 6*t(o). Does 4 divide b(-4)?
False
Let a(n) = 28*n + 41. Let k(b) = -29*b - 42. Let d(w) = -7*a(w) - 6*k(w). Is d(-6) a multiple of 23?
False
Let c = 536 - 360. Is 16 a factor of c?
True
Suppose -97*c = -88*c - 12312. Does 12 divide c?
True
Suppose -5*q + 12 = -158. Suppose -3*l + q + 14 = 0. Does 12 divide l?
False
Let u(n) = -n**3 - 7*n**2 - 8*n + 4. Let h(x) = x**2 + 6*x - 2. Let y be h(-5). Let k be u(y). Does 16 divide 3 + k/(-9)*-3?
False
Let u(i) be the second derivative of -i**5/20 + i**4 - 3*i**3/2 + 7*i**2/2 + 21*i. Is u(6) a multiple of 13?
True
Let b(p) = p**2 + 4*p + 75. Is b(-18) a multiple of 7?
False
Suppose 2*i + 492 = w - 174, 0 = -5*i - 5. Is w a multiple of 36?
False
Suppose -2*x + 18 = x. Suppose x = 7*u - 4*u. Does 42 divide (63/12)/(u/48)?
True
Let n = 0 - -150. Is 4 a factor of n?
False
Let h(b) = b**3 + 7*b**2 + 7*b + 7. Let a be h(-6). Let g = -8 + a. Does 10 divide 2 - -62 - (g - -11)?
True
Suppose -26*o = -2*k - 28*o + 3782, -4*o - 5666 = -3*k. Is k a multiple of 126?
True
Let z = 2392 + -2128. Does 44 divide z?
True
Let r = 739 - 519. Suppose -4*q = -8*q + r. Is q a multiple of 23?
False
Let k = -3 + 6. Suppose -q = -h - 3*h - 119, 5*h + k*q + 153 = 0. Let u = h + 68. Does 19 divide u?
True
Let o = -497 + 737. Is o a multiple of 8?
True
Is (2*(-9)/12)/(9/(-3294)) a multiple of 45?
False
Let c = -8 - -12. Does 8 divide (-6630)/(-165) - c/22?
True
Suppose 9 - 53 = -4*y + 5*g, 0 = -y + g + 10. Suppose -4*w + 8 = -2*h, -y*h + h + 3*w - 41 = 0. Does 7 divide (-238)/h + 1/5?
False
Suppose -24563 = -118*t + 107*t. Does 60 divide t?
False
Suppose p = 3*x - 6, -2*x + 6 - 2 = 5*p. Suppose 296 + 116 = x*k. Suppose -g = -0*g - 2*o - 64, -3*g - o + k = 0. Is 17 a factor of g?
True
Let p(j) = 36*j - 148. Let k(l) = -12*l + 50. Let c(b) = -17*k(b) - 6*p(b). Does 20 divide c(-21)?
False
Suppose 0*u = -4*u - 4, 56 = 4*s - 4*u. Let t be s/5 - 6/10. Suppose -3 = -0*d + t*d + 3*w, -1 = -d - w. Is 3 a factor of d?
True
Let b(f) = -2*f**3 + f**2 - 2*f + 1. Let v be b(1). Let i be (3 - 2)*0/v. Suppose 0 = -i*g + 5*g - 25. Is g a multiple of 5?
True
Let y = -1111 + 1232. Is 15 a factor of y?
False
Suppose -q + 3*q = 2730. Does 35 divide q?
True
Let q(r) = r - 9. Let z be q(10). Let j = -11 + z. Is 11 a factor of 2/5 - 436/j?
True
Let z = -2270 + 4285. Does 67 divide z?
False
Let q(b) = 5*b**3 - b**2 + b. Let f be q(2). Suppose -8*i + f = -130. Is 3 a factor of i?
True
Let l(u) = 16*u**2 + 1. Let o be l(-1). Let r = o - 15. Suppose -451 = -5*z + r*c - 141, 0 = 3*z + 5*c - 155. Does 12 divide z?
True
Suppose -2*i - 3*t + 14 = 0, 5*i - 3*i + t - 10 = 0. Let b be (-466)/(-5) + 3/(-15). Is 31 a factor of i*b/6*1?
True
Let z = -532 + 1059. Is z a multiple of 27?
False
Let a(r) be the third derivative of r**4/12 + 3*r**3/2 - 37*r**2. Is 7 a factor of a(18)?
False
Let f(g) = -158*g + 213. Is 45 a factor of f(-9)?
False
Suppose 8*q = -16*q + 13728. Does 15 divide q?
False
Let i(j) = 6*j**2 - 1. Let t be i(1). Let w(q) = 5*q + 3. Let o be w(t). Let h = o + -16. Is h a multiple of 4?
True
Suppose 0 = f - 5 + 3. Suppose 16 = -4*l + f*l. Let j = 10 - l. Is j a multiple of 5?
False
Suppose f + 4*f = 20. Suppose -3*b + k + 94 = -0*b, 4*k + 120 = f*b. Suppose b = -5*o + 6*o. Does 16 divide