s b(-3) a multiple of 8?
False
Is 11 a factor of -4*5/(20/(-41))?
False
Suppose 4*x - 2*p = 30, 37 + 11 = 4*x + 4*p. Does 10 divide 27 - x - (2 - 1)?
False
Is 55*((-6)/4)/((-10)/4) a multiple of 3?
True
Let g = 133 - 95. Suppose 92 - g = a. Is 18 a factor of a?
True
Suppose 0 = 3*o + o + 16. Is 2/(-8) + (-57)/o a multiple of 14?
True
Suppose 0 = 5*t - 2*l - 345, -t - 2*l - l = -86. Let j be 0 + 0 + 123/3. Let g = t - j. Does 12 divide g?
False
Is 2/(-5) - 87/(-5) a multiple of 17?
True
Let z(u) = u**3 - 11*u**2 - 13. Let p be z(11). Let m = 88 + p. Is -1 - (m/(-3) + 2) a multiple of 22?
True
Suppose 3*r + 24 = 3. Let h(u) = 1. Let g(w) = -4*w + 4. Let y(x) = g(x) + 5*h(x). Is 18 a factor of y(r)?
False
Let h be (-2)/5 + (-4)/(-10). Suppose h*c = 2*d + 4*c - 20, c - 5 = 0. Suppose d*s - 2*s + 20 = 0. Is 10 a factor of s?
True
Suppose 318 = 8*z - 5*z. Is 10 a factor of z?
False
Let i(p) = 3*p + 12. Is 6 a factor of i(5)?
False
Is 3*(2240/(-12))/(-7) a multiple of 20?
True
Suppose -2072 = 19*w - 5587. Is w a multiple of 12?
False
Let k(l) = 2*l - 1. Let r(z) = z - 5. Let x be r(7). Let c be k(x). Is -92*(c - (-14)/(-4)) a multiple of 15?
False
Does 15 divide (22/(-3))/(14/(-63))?
False
Let l(p) be the third derivative of 73*p**5/60 + p**4/24 + p**2. Is l(-1) a multiple of 24?
True
Let l = -6 + 27. Let y = -1 + l. Is y a multiple of 11?
False
Let p(z) = z**3 + 2*z**2 + z - 2. Let g be p(-2). Is 9 a factor of (-20)/(4/g) - 2?
True
Suppose 5*f + 46 = s + s, 3*s - 5*f = 64. Is 14 a factor of s?
False
Suppose 2*n = -0*u - 4*u + 38, -34 = -2*u + 4*n. Suppose -4*h = u - 31. Is h a multiple of 2?
False
Let y(j) = j**3 - 10*j**2 + 5*j + 11. Let z be y(10). Let a = -29 + z. Is 16 a factor of a?
True
Let j(t) = -16*t**3 - 2*t. Let r be j(-2). Suppose r = -z + 5*z. Is 19 a factor of z?
False
Suppose 3*y + 2 - 23 = 0. Suppose -2*p - 179 = 4*b - y*b, 4*p + 122 = 2*b. Is b a multiple of 12?
False
Suppose 0*w = -4*w + 3*y + 27, w = y + 8. Is 2 a factor of w?
False
Let b = -65 - -236. Is b a multiple of 57?
True
Let o(v) = v**2 + 2*v + 4. Let b = 10 + -13. Let p be b/(-2*(-2)/8). Is o(p) a multiple of 14?
True
Let t(s) = -5*s**3 + 12*s**2 - 3*s - 5. Let p(f) = 4*f**3 - 11*f**2 + 2*f + 5. Let u(z) = -6*p(z) - 5*t(z). Is u(-5) a multiple of 5?
True
Let v(n) be the second derivative of n**4/4 + 5*n**3/6 + 3*n**2/2 + 3*n. Is v(5) a multiple of 29?
False
Let q(m) = m**2 + 10*m + 2. Let n be q(-10). Suppose -v - 5*d + 4 = 0, 2*v - 106 = -2*v - n*d. Is 8 a factor of v?
False
Suppose -286 = -4*i + 94. Let a = -58 + i. Suppose -u = -a + 11. Is u a multiple of 13?
True
Let s = -36 + 48. Does 2 divide s?
True
Let c = -5 - -39. Does 4 divide c?
False
Suppose -225 = 4*b - 5*o, 5*b + 3*o = -o - 312. Is 13 a factor of (-2)/5*(b + -5)?
True
Let j(g) = g**2 - 4*g - 2. Let q be j(6). Let h = 18 + q. Is h a multiple of 7?
True
Let a(d) = d + 12. Does 5 divide a(7)?
False
Let f = 8 + -6. Suppose w = f, 3*l - l + 3*w = -32. Let k = l + 28. Is k a multiple of 6?
False
Suppose 2*v + v = 0. Suppose 5*a = 2*l + 94, a + v*a - 8 = 4*l. Does 7 divide a?
False
Suppose -5*m - 21 = -3*d, 3*d = d - 5*m + 14. Is d a multiple of 3?
False
Let y(a) = 3*a**2 + 13*a + 9. Is y(-8) a multiple of 14?
False
Suppose -2*y = -3*b + 159, 3*b - b - 99 = -y. Is b a multiple of 4?
False
Let j(m) = -m**3 + 9*m**2 - 11*m + 10. Suppose v = 4*v - 21. Suppose 0 = 2*o - o - v. Is 8 a factor of j(o)?
False
Suppose 4*h - 14 = -v + 4*v, 3*h = -4*v - 2. Let z(c) = 3*c + 1 - 1 - 2*c**h + 2*c**3 + 3 - 7. Does 13 divide z(3)?
False
Let c(t) = -2*t**3 - 4*t**2 - 4*t - 2. Let h be c(-3). Let u = h - 9. Is u a multiple of 5?
False
Suppose -2 + 60 = 3*r + t, -4*t = -5*r + 91. Is r a multiple of 4?
False
Suppose 4*c - 1 - 11 = 0. Suppose -2*k + 30 = c*k. Is (-22)/k*(-18)/6 a multiple of 4?
False
Let n(f) = 6*f**2 + 4*f - 16. Is n(3) a multiple of 5?
True
Suppose -4*y = -b - 932, 0 = 2*y - 7*b + 2*b - 448. Is y a multiple of 18?
True
Suppose -2*j - 672 = -8*j. Does 16 divide j?
True
Let y(d) = -d**2 + 5*d + 3. Let j be y(5). Let t be (2 + -1)*j - 1. Suppose -g = t*i + 7 - 17, 2*i = -4*g + 22. Is 4 a factor of g?
True
Let p(h) = -h**3 - 11*h**2 + 10*h + 4. Let x = -31 - -19. Does 14 divide p(x)?
True
Suppose 53*y - 54*y + 23 = 0. Does 4 divide y?
False
Let y = -8 + 10. Suppose u - 2*b - 31 = 0, 96 = 5*u - y*u - 3*b. Is u a multiple of 6?
False
Is 24 a factor of (-6)/(-33) + 526/11?
True
Let a(t) = -15*t + 9. Let s be -11 + 1/1*3. Let d(r) = -10*r + 6. Let y(p) = s*d(p) + 5*a(p). Does 14 divide y(4)?
False
Let q = 40 - -15. Is q a multiple of 11?
True
Suppose 0 = -0*i - 3*i + 3. Let l = -4 - -3. Is l/(3/(-30))*i a multiple of 4?
False
Suppose m - 83 = -3*l, -4*l - 5*m + 100 = -7. Suppose 0 = -4*w - 0*w + l. Does 4 divide w?
False
Suppose 5*s - 48 = 3*h - 216, 2*s + 261 = 5*h. Is 17 a factor of h?
True
Suppose -4*l = 20, -3*m = -5*m + l + 71. Is -2*3/((-9)/m) a multiple of 6?
False
Let v = -19 + 11. Let k(l) = l**3 + 10*l**2 + 4*l - 9. Is k(v) a multiple of 29?
True
Suppose 5*o - r - 834 = -3*r, -r = -2*o + 330. Does 32 divide o?
False
Let b be -1 + (3 - 1 - -1). Suppose -54 = 2*r - 2*d - 150, 0 = -b*d - 4. Is r a multiple of 12?
False
Suppose i + 45 = 3*m + 2*i, m + 3*i - 23 = 0. Does 12 divide m?
False
Let z be (-2 - -4)*(-25)/2. Suppose -10*x + 6*x = -48. Let c = x - z. Does 14 divide c?
False
Let v be -4*((-2)/4 + 0). Suppose -3*a - 4*o + 237 = -o, -v*a + o = -152. Suppose -4*y + a = 13. Does 9 divide y?
False
Suppose -3*a + 42 = 4*g, -2*a = -g - a + 14. Does 6 divide g?
True
Suppose 0*j = 5*c + 3*j - 184, -4*j - 160 = -4*c. Is 38 a factor of c?
True
Let x be (-38)/9 + (-4)/(-18). Suppose 0 = 5*b + 4*k + 118, 0 = -b + 3*k - 2 - 14. Let q = x - b. Is q a multiple of 15?
False
Suppose 0 = 3*x + 3, -66 = -2*v + v + 2*x. Let w = -45 + v. Is w a multiple of 19?
True
Let h(d) = -d**2 + 5*d + 8. Let s be h(6). Suppose 0 = -5*o + s*o - 18. Does 11 divide 3/9 - 160/o?
False
Let f be 0*((-10)/(-4) + -2). Suppose f = -c, -3*x + 115 = -4*c + 25. Let j = x + -16. Is j a multiple of 5?
False
Let m(x) = -17*x - 34. Does 4 divide m(-10)?
True
Let p = 2 - -1. Suppose -p*h + 5*r - 8 = 0, -4*h + h + 2*r = -4. Is 548/20 + h/(-10) a multiple of 10?
False
Let p(b) = b**3 + 7*b**2 + 3*b + 9. Let m be p(-7). Let r = m - -28. Is r a multiple of 6?
False
Suppose 96 = 2*d - 30. Let n = -45 + d. Is n a multiple of 15?
False
Let q = 30 + -9. Does 4 divide q?
False
Suppose o = -2*o + 6. Does 14 divide o - -50*(2 + -1)?
False
Let b(o) = -o**3 + 3*o**2 + 4*o + 3. Let p be b(4). Suppose -2*s = 5 + p. Does 5 divide (-6)/s*60/9?
True
Suppose -3*l - 44 = -5*s - 19, -5*s + 4*l = -25. Let q(m) = -s*m + 0*m - 3*m - 4. Is q(-3) a multiple of 16?
False
Let c(m) = -m**2 - m - 1. Let r(d) = 2*d**2 - 4*d + 5. Let n(w) = 2*c(w) + 2*r(w). Is n(6) a multiple of 7?
False
Let j(m) = m**3 + 4*m**2 - 2*m - 3. Let w be j(-4). Suppose 0 = w*b + 3*t + 29, -3*t + 13 = -4*b - 2*t. Let x(d) = -8*d. Does 12 divide x(b)?
False
Let k = -49 + 93. Is k a multiple of 22?
True
Let l = 7 + -4. Let i(k) = 2*k**3 - k**2 + k. Let s be i(l). Suppose 5*n = s + 47. Does 10 divide n?
False
Let s(b) = b**2 - 7. Suppose 0 = -4*r - 30 + 14. Does 2 divide s(r)?
False
Is 6 a factor of -1*(-4 + 1) - -3?
True
Let u = -90 + 135. Suppose 7*p - 4*p - u = 0. Is p a multiple of 5?
True
Let m = -11 - -13. Let o(f) be the third derivative of -f**6/120 + f**5/10 - f**4/6 + f**3/2 - f**2. Is 4 a factor of o(m)?
False
Suppose -4*l + 76 = 2*f, -10*f + 46 = 2*l - 7*f. Is l even?
False
Let y(p) be the second derivative of -p**6/360 + p**4 - p**3/2 - 3*p. Let l(g) be the second derivative of y(g). Is l(0) a multiple of 12?
True
Suppose -50*t + 48*t = -26. Does 3 divide t?
False
Suppose 0 = -0*i - 2*i. Let r = -1 + 7. Suppose i = 2*n - r*n + 56. Is n a multiple of 10?
False
Let d(o) = -o**3 + 11*o**2 - 7*o + 10. Is d(4) a multiple of 33?
False
Suppose 0 = 4*k + 4*n + 56, 0*k = -k + 2*n - 14. Let g = k + 42. Does 14 divide g?
True
Suppose -c + 7 = 2*f, 0 = f - 3*c - 2 - 5. Suppose -f*g + 378 = -18. Is g a multiple of 28?
False
Suppose -432 = -3*q - 54. Is 26 a factor of q?
False
Suppose -3 + 5 = 2*v. Let w = v + -12. Let u = -3 - w. Is 3 a factor of u?
False
Suppose -r = -2*c + 28, c - 3*r + r = 17. Is 3 a factor of 