(f) = f**3 + 6*f**2 + 5*f + 3. Is s(-5) a multiple of 3?
True
Let l = 4 + 7. Let d = 35 - l. Is d a multiple of 12?
True
Let z = -55 + 74. Is z a multiple of 7?
False
Suppose 2*y + 284 = 3*g, 5*g + 65 = 5*y + 545. Is 18 a factor of g?
False
Let d = -34 + 52. Let w(b) = 0 - 5 + d*b**2 + 2*b + 4. Is 8 a factor of w(1)?
False
Suppose -21 = 4*m - g, 0 = -m - 3*m + 5*g - 25. Let j = 10 + m. Does 2 divide j?
False
Let d(o) = 3 - 5 - 2*o + 0. Is d(-6) a multiple of 10?
True
Let n = -11 - -15. Suppose n*i + 4*h = 5*i - 28, i = h + 40. Does 13 divide i?
False
Is 5 a factor of 6/8 - 1455/(-60)?
True
Let i be (6/(-5))/(2/5). Is 12 a factor of i/(-2)*-2 - -27?
True
Let c(r) = r**2 - 7*r + 7. Let j be c(6). Let a = j + 12. Does 5 divide a?
False
Let m(k) = k**3 + 6*k**2 + k - 2. Let u be m(-4). Suppose 5*q + u = 3*q. Let v = -8 - q. Is v a multiple of 2?
False
Let z(d) = 35*d - 33*d + d**2 - 2 - 14. Does 23 divide z(-11)?
False
Let h(q) = 4*q - 5. Let v be h(5). Suppose -6 - 4 = 2*x, 5*p = -4*x + 5. Is 61/p - 3/v a multiple of 10?
False
Let p(i) be the third derivative of i**5/60 + 14*i**3/3 - 2*i**2. Is p(0) a multiple of 14?
True
Let x(z) = 3*z - 2. Suppose 3*i + 5*y - 8 = 12, -4*y = 2*i - 14. Let k be x(i). Does 18 divide (0 - -3)*(k - 1)?
True
Let r = -36 + 97. Let h = r + -33. Suppose 140 = 5*f + 3*i, i + 3*i - h = -f. Does 10 divide f?
False
Suppose -5*z + 181 = 3*o, -4*z - 72 = 3*o - 248. Suppose 0*h = 2*h - o. Is h a multiple of 11?
False
Let j(l) = l**2 + 8. Suppose 12 + 6 = -3*h. Is j(h) a multiple of 13?
False
Is 23 a factor of 1/3 + -2 + (-2838)/(-18)?
False
Let p(q) = 2*q**2 - 3*q + 8. Let f be p(8). Let r = 60 - f. Let m = r + 86. Does 9 divide m?
False
Suppose 13*q = 4*q + 504. Does 14 divide q?
True
Suppose 4*w = 4*b - 20, b - 3*w + 0 = 7. Let v = 6 + -1. Suppose -5*o = -b*x + 88, 4*x + v*o + 0*o - 128 = 0. Is 9 a factor of x?
True
Suppose 2*o - 80 = -5*g + 55, -4*g - 3*o = -108. Is g a multiple of 27?
True
Suppose -3*g + 453 = 4*p - 232, 350 = 2*p + 4*g. Suppose -3*n - 31 = -p. Is 23 a factor of n?
True
Suppose -3*w + 12 = -21. Is 11 a factor of w?
True
Suppose -45 = -2*u + 4*l - 5*l, 5*u + l = 120. Suppose 3*m - 4*r = u, -3*r = 3*m - 0*r + 3. Suppose -m*o + 97 + 11 = 0. Does 13 divide o?
False
Suppose 2*k = 8, 5*r - 17 - 17 = -k. Let s(m) = -3*m**2 - 5*m - 4. Let g(p) = 5*p**2 + 9*p + 7. Let o(a) = -4*g(a) - 7*s(a). Does 15 divide o(r)?
True
Let i(u) = 6*u**2 + u. Let x be i(1). Suppose f - x = -1. Is f a multiple of 6?
True
Suppose 0 = -m + 66 + 94. Suppose i - 86 = -5*q, -m + 50 = -5*q + 5*i. Does 9 divide q?
True
Let v(l) = l**3 + l - 2. Is v(4) a multiple of 11?
True
Suppose -3*a = -0*a. Let m be 18/8 - (-1)/(-4). Suppose m*x - x - 18 = a. Is 9 a factor of x?
True
Let i(y) = -y - 1. Let j be i(-4). Suppose 2*h = f - 63, 3*f + j*h = -0*h + 216. Does 23 divide f?
True
Suppose -5*i = h - 125 - 50, 2*h = -i + 44. Does 10 divide i?
False
Let a(n) be the first derivative of -n**4/4 + 8*n**3/3 + 3*n**2/2 + 9*n - 3. Is a(8) a multiple of 20?
False
Let j(y) be the third derivative of -11*y**4/24 + y**3 + 3*y**2. Let s be j(-10). Suppose -96 = -2*l - 4*c, l - 4*l + c = -s. Is l a multiple of 14?
False
Let g(f) = -f + 4. Let r = -3 + 6. Suppose 0 = -r*x - 9 - 3. Is g(x) a multiple of 4?
True
Let c = -909 - -1371. Is 12 a factor of c?
False
Let z be -2 + 3 + (-3 - 1). Is 16 a factor of (-47)/z - (-2)/6?
True
Suppose 18 = q + 3*t, 2*q - 50 = 3*t - 2*t. Is 11 a factor of q/(-108) + (-200)/(-9)?
True
Suppose 0 = -t + 5, 2*q - 125 = 5*t + 82. Is q a multiple of 29?
True
Is (-5 - 20/8)*-2 a multiple of 5?
True
Let a(l) = 5*l - l + 24 - 3*l. Let t be a(0). Suppose -t - 16 = -5*w. Does 6 divide w?
False
Let o = -8 - -10. Suppose -s - 10 = 2*s + o*p, 36 = -4*s + 3*p. Does 22 divide (-1)/2 + (-297)/s?
False
Let l be ((-2)/(8/(-284)))/1. Suppose -22 = -j + l. Is j a multiple of 31?
True
Is 24 a factor of -43*3*(-14)/42?
False
Let j = 9 - 2. Let o(x) = -x**3 + 9*x**2 - 5*x - 2. Does 19 divide o(j)?
False
Suppose 0*q = -5*q + 2180. Is 13 a factor of 2/(q/(-148) + 3)?
False
Let s(c) = -3*c**3 + 2*c**2 + 4*c - 5. Let u be s(4). Let f = 209 + u. Suppose -p - 19 = -f. Is p a multiple of 17?
False
Let r = 5 - 3. Let j(d) = -13*d - 1. Let t be j(r). Is -15*-3*(-6)/t a multiple of 8?
False
Let x(u) = u**3 - 9*u**2 + 4*u + 4. Suppose 0 = -3*w + 27. Does 16 divide x(w)?
False
Let l(q) be the second derivative of q**4/6 - q**3/2 - 3*q**2/2 - 5*q. Is 24 a factor of l(6)?
False
Suppose z - 13 = -4*w, -w + 1 = -0*w - 2*z. Is w even?
False
Let f = 60 - 41. Does 9 divide f?
False
Is (-16)/72 + 364/18 a multiple of 20?
True
Let n(j) = j**3 - j**2 + 4. Let o be n(0). Suppose 1 = -5*z - o. Is 9 a factor of 2 + 7/(z/(-1))?
True
Let n be 1/(-4*(-2)/240). Let i = n - 0. Is 15 a factor of i?
True
Is 2 a factor of (-9)/(76/(-16) + 4)?
True
Let j be 4 - (-2)/(-2) - 90. Does 20 divide (j/12)/(2/(-8))?
False
Let k be (-2 + 5)/6*4. Let x(f) = 29*f**2 - 3*f. Let w be x(k). Suppose 0 = 5*l + q - 82, 16 = -5*l + 3*q + w. Is l a multiple of 6?
False
Let a = -23 + 47. Let r be 2/(-18) - (-192)/27. Let m = a + r. Is m a multiple of 8?
False
Suppose -5*k + 837 = o, 4*o + 180 = k - 0*k. Does 42 divide k?
True
Suppose -3*v + 5 = -1. Suppose 4*u + v*j - 78 = -0*j, -2*u = -4*j - 54. Does 16 divide u?
False
Suppose -5*u = -z - 13, -5*z = -4*u + 48 - 4. Let y(n) be the first derivative of -n**4/4 - 7*n**3/3 + 2*n**2 - 10*n + 4. Is y(z) a multiple of 11?
True
Let u(j) = 2*j**2 + 11*j - 13. Is u(-9) a multiple of 10?
True
Suppose 4*s - 4*w = 20, -11 = -s + 4*w + 6. Let g = -27 + 48. Is (g - s)*(-36)/(-30) a multiple of 12?
True
Suppose 2*o + 61 = 3*o. Is 12 a factor of o?
False
Let a(j) = j**2 - j + 1. Let z be a(2). Suppose -z*f = -2*g - 1, 2*g + 4*f + 18 = -18. Let o = 15 + g. Is 7 a factor of o?
True
Suppose -4*u + 14 = 3*g, -3*g + 2*g - 5*u = -12. Suppose -n + 6*n = -3*z + 59, g*z = n + 35. Is z a multiple of 6?
True
Suppose -4*t + 0*t + 3*n + 151 = 0, -4*n = -4*t + 156. Suppose -4*l = 4*d - t - 70, -2*l + 66 = -5*d. Is 14 a factor of l?
True
Let s be ((-3)/(-6))/((-2)/(-16)). Suppose 0 = 3*t - 13 + s. Is (-8)/t*(-45)/12 a multiple of 10?
True
Let n(k) = k**2 + 8*k - 19. Is n(-16) a multiple of 13?
False
Let r = 239 + -95. Is 31 a factor of r?
False
Let z(t) = -23*t - 4. Let y = 4 - 9. Let u be z(y). Let w = -66 + u. Is w a multiple of 22?
False
Suppose 3*m - 89 = f, -4*m - 5*f - 109 = -7*m. Does 11 divide m?
False
Let d = 26 + 17. Is d a multiple of 21?
False
Suppose 206 = 3*n + 2*d, 260 = 4*n - 2*d + d. Is n a multiple of 33?
True
Let i(k) be the third derivative of -k**6/40 - k**5/30 + k**3/6 - k**2. Let l be i(-1). Suppose 4*r - 2*y - 22 = 0, l*r = -2*y - 3 - 1. Is r a multiple of 2?
False
Suppose 6*w - w = 0. Suppose -2*x - x + 12 = w. Is x even?
True
Suppose -356 = -6*r + 706. Is r a multiple of 18?
False
Suppose -6 = -4*z + 2*z. Does 3 divide z?
True
Suppose 2*x + 2*u + 2 = 0, -5*x + 4*u + 8 = -32. Suppose x*n - 3*n = 48. Suppose 0 = -b + 3*b - n. Is b a multiple of 12?
True
Let v(k) = 5*k**3 + 2*k**2 - 2*k + 1. Is v(1) a multiple of 2?
True
Let t(s) = s + 8. Let b be t(-4). Suppose -4*y - b*r = -84, -4*y - 7 + 91 = 3*r. Does 7 divide y?
True
Let l(p) = 21*p**2 - 1. Let f be l(1). Suppose y + 10 = 3*z - 7, 0 = 5*y - f. Is 3 a factor of z?
False
Suppose -2*x + 4*k = -12, -k - 4 = -x - 0*k. Suppose x*s - 190 = -4*y, y = -3*y + 2*s + 178. Is 20 a factor of y?
False
Suppose -5*c + 6*c = -4*w + 8, 2*c + 5*w = 16. Is 6 a factor of c?
False
Let b = -205 - -465. Is b a multiple of 13?
True
Does 34 divide (-185)/20*(0 + -8)?
False
Let d(p) = p - 6. Let o be d(7). Let z(c) = 2 - 5 + 15*c + 2. Is z(o) a multiple of 14?
True
Let b = 28 + -21. Is b even?
False
Is 2/((-1)/(183/(-6))) a multiple of 19?
False
Let y(o) = -o**3 + 12*o**2 - 11*o + 9. Let f be y(11). Suppose s + f = 14. Does 2 divide s?
False
Suppose 0 = -8*f + 4 - 36. Let k = -25 + 17. Does 10 divide (26/k)/(f/16)?
False
Let u(g) = -2*g + 15. Does 14 divide u(-12)?
False
Let y be ((-10)/6)/(3/(-63)). Suppose 25 = c - y. Suppose 0 = 2*z + 4*x - c, 4*z + 2*x + 36 = 126. Does 10 divide z?
True
Suppose -2*m - 726 = -4*f, -4*f + 731 = m + 2*m. Does 26 divide f?
True
Let j = -39 + 67. Does 8 divide j?
False
Suppose 0 = -2*m + 4*c + 30, -m + 