= d + -49. Is p a multiple of 16?
False
Let r(a) = -5*a**3 + a**2 - a + 1. Let w be r(1). Let q be 6/4 + (-2)/w. Suppose 0 = 5*c - q*c - 45. Is c a multiple of 10?
False
Suppose 5*w - 40 = -4*q, q - 5*w + 2*w + 7 = 0. Let s(y) = 4*y**2 - 4*y + 2. Let d be s(4). Suppose d = q*c - 3*c. Is 10 a factor of c?
False
Suppose -j = -0*j - 3*r - 30, 0 = 3*j - 4*r - 100. Is j a multiple of 12?
True
Is 2 a factor of ((-21)/14)/((-3)/4)?
True
Let u(n) = -n**2 + 4*n + 4. Let v be u(4). Suppose -v*x = x - 105. Does 10 divide x?
False
Suppose 2*j = -w - 0*j + 31, -179 = -4*w + 3*j. Suppose 4*q - w = 79. Does 15 divide q?
True
Is 15 a factor of -2*((-57)/2 - 40/(-10))?
False
Let r(s) = -s**2 + 5*s + 6. Let c be r(6). Suppose 5*b = x + 69, c = -b - 3*x + 8 + 9. Is b a multiple of 13?
False
Suppose 0*p - 4*p = -112. Is p a multiple of 28?
True
Let g(z) be the second derivative of -z**6/144 - z**5/40 + z**4/12 + z. Let d(v) be the third derivative of g(v). Is d(-3) a multiple of 6?
True
Let f(c) = c**3 - 21*c**2 + 28*c + 25. Is f(20) a multiple of 27?
False
Let v = -174 - -250. Is 19 a factor of v?
True
Suppose 8*r = 15*r - 1127. Is r a multiple of 23?
True
Suppose 0*o + 10 = o. Let w = -6 + 9. Is 5 a factor of o/w*(-6)/(-4)?
True
Suppose -48 + 11 = -r. Let z = 52 - r. Is z a multiple of 15?
True
Let i(b) = -b**3 + 5 + 4*b**3 - 5. Is i(1) a multiple of 3?
True
Let f be 1140/(-8)*(-8)/10. Is 28 a factor of -2 + 3 - (4 - f)?
False
Suppose -5*r + 6 = -4. Let z = -42 - -42. Let i = z + r. Is i a multiple of 2?
True
Suppose -3*h - 3 = 3. Let f(n) = 9*n**3 + 2*n**2 + n + 7. Let y(u) = 4*u**3 + u**2 + u + 3. Let t(o) = 2*f(o) - 5*y(o). Is 15 a factor of t(h)?
False
Suppose -5*j + 64 = -3*j. Let f = j + 6. Is f a multiple of 9?
False
Suppose 27 = -4*a - 49. Let u(w) = -3*w + 1. Let k be u(3). Let n = k - a. Is 11 a factor of n?
True
Suppose 3*o = 31 - 13. Let g = -4 + o. Suppose 0 = g*k - 53 - 41. Does 18 divide k?
False
Suppose 0 = -z + x - 12, -4*z - 53 + 8 = -3*x. Let d(k) = k**2 + k - 6. Let w(u) = -u**2 - 2*u + 7. Let p(g) = -5*d(g) - 6*w(g). Does 3 divide p(z)?
True
Is 8 a factor of ((-4)/(-8)*0)/3 - -56?
True
Let j be (102/10)/((-2)/(-10)). Let k be 4/(3*2/j). Let i = k + -17. Is 17 a factor of i?
True
Suppose 2*y = 7*y - 25. Suppose -y*j + 198 = -122. Is j a multiple of 16?
True
Suppose 53 + 10 = 3*l. Does 7 divide l?
True
Let o(l) = l**3 + 6*l**2 - 2*l - 7. Let i be o(-6). Suppose -3*f + i*f - 42 = 0. Suppose -3*w + 12 + f = 0. Is 11 a factor of w?
True
Suppose -o - 6 = -2*o - 5*g, -4*o + 7 = 3*g. Let f be -1 + 8/2 - o. Suppose -b = 4*j - 73, 16 + 13 = f*j - b. Is j a multiple of 17?
True
Suppose 515 + 79 = 11*c. Is c a multiple of 3?
True
Suppose 3*d + 32 - 1 = 4*k, 2*k + 4*d = 10. Let z(t) = t**2 - 9*t + 8. Let f be z(k). Let g(n) = -n + 4. Is 9 a factor of g(f)?
False
Suppose -v - 2*v = -90. Does 10 divide v?
True
Suppose -3*c + 191 = 5*r, 3*r + c - 135 = 6*c. Suppose -3*t - 1 = -p + 5, 4*p - 2*t - 4 = 0. Suppose -5*f + 50 + r = p. Is f a multiple of 9?
True
Suppose 6 = -2*t + 2, -5*y + 41 = -3*t. Suppose -2*s - 3*b = 11, -2*s - 4*b - 7 = -y*s. Does 5 divide 31/4 - s/4?
False
Let d(b) be the first derivative of -b**4/4 - 8*b**3/3 - 4*b**2 - 4*b + 1. Let j be d(-7). Suppose -j*u = -2*u - 22. Is 17 a factor of u?
False
Suppose 0*i - 395 = 5*i. Suppose 463 + 73 = 4*z. Let u = i + z. Does 23 divide u?
False
Let h = -728 + 1067. Suppose -3*b + h = 33. Suppose -4*y = 18 - b. Is y a multiple of 14?
False
Suppose -20*q + 115 = -19*q. Is q a multiple of 33?
False
Suppose z = 2*b + 10, 4*b + 3 = 3*z - 21. Suppose z*a - 2*a = 42. Does 21 divide a?
True
Let t(x) = -3*x + 16. Is 9 a factor of t(-12)?
False
Let q(c) = 4*c - 11. Let w be q(7). Suppose 2*x + w = 223. Is x a multiple of 18?
False
Let a = -18 - -73. Is 11 a factor of a?
True
Let q be (-9)/(-3)*(-4)/(-6). Suppose -m - q = -5. Suppose -2*v = 0, 4*v - 2*v + 66 = m*i. Is 11 a factor of i?
True
Suppose -8*f = -194 - 166. Does 7 divide f?
False
Let p(m) = -2*m + 7. Does 10 divide p(-4)?
False
Let a(n) = -8*n - 5 + 0 + 0 - 2. Is 14 a factor of a(-7)?
False
Let x(w) = w**2 - 2*w + 1. Let t be x(7). Suppose -g - 2*g = t. Let b = -8 - g. Is 4 a factor of b?
True
Let c(t) = -43*t - 1. Is c(-2) a multiple of 19?
False
Let k be (1 + 0)*1*2. Suppose -5*t - 3*n = -52, t = 5*n - k*n - 4. Does 3 divide t?
False
Let g(w) = 8*w**3 + 2*w - 4. Is g(2) a multiple of 20?
False
Let l be 6/(-9)*-3*-2. Let q(z) = -3*z**2 - 5*z - 1. Let y be q(l). Let s = y - -41. Is s a multiple of 6?
True
Let a be 58 - -6*1/(-2). Let s = a + 1. Is 14 a factor of s?
True
Let y(q) = -2*q - 7. Let n be y(-5). Suppose f - 94 = -5*b - n*f, 0 = f - 1. Does 6 divide b?
True
Suppose 4*n = 2*n. Suppose -56 = -d - n*d. Does 13 divide d?
False
Suppose -4*p = -3*x - 6 + 2, 4*p - 20 = -x. Is x/(-3*1/(-24)) a multiple of 10?
False
Suppose -a - 5*a = -960. Does 29 divide a?
False
Suppose -278 = -4*r - 2*b, -2*r - 2*r + 263 = 5*b. Is 12 a factor of r?
True
Let p(h) = 2*h**2 - 5*h - 8. Let v be p(-5). Let m = v + -37. Does 12 divide m?
False
Suppose z - 96 = -0*p + p, 2*z = p + 190. Does 22 divide z?
False
Let v be (0 + (-1 - 2))/(-1). Let b = 0 - 0. Suppose 4*q + v*p - 12 = 7*p, 5*q - 4*p - 18 = b. Does 3 divide q?
True
Let m = 41 - 21. Does 15 divide m?
False
Suppose -b + 3*b = 0. Suppose b*o - 5 = -o. Suppose -o = -3*l + 4. Is 3 a factor of l?
True
Suppose 4*x - 5*u - 38 = 0, 5*x = -4*u - u + 70. Let o = -3 + x. Is o a multiple of 9?
True
Suppose 1008 = 7*v + 5*v. Is 21 a factor of v?
True
Is 3 - -80 - (6 + -4) a multiple of 27?
True
Suppose -20 = 5*d - 5*o, 5 = -5*d + o + 1. Suppose d = 5*x - 3*n - 157, 2*x - 5*n - 4 = 55. Does 10 divide x?
False
Let y(z) = -z**3 + 9*z**2 + 5*z - 3. Is y(9) a multiple of 16?
False
Let u be 18/(-12)*8/(-6). Suppose 3*s = u*s + 26. Is 13 a factor of s?
True
Let y(x) = -5*x - 1. Let v be y(-2). Suppose -3*m - 15 = 0, w + 4*m = -v - 0. Is 11 a factor of w?
True
Let g(f) = -26*f + 11. Let k be g(10). Is k*(-2)/(-18)*-3 a multiple of 13?
False
Let o(f) = 5*f**3 - f**2 + 3*f - 2. Let k be o(3). Suppose k = 4*v + 29. Is v a multiple of 13?
True
Let g = -98 + 158. Does 19 divide g?
False
Suppose 0 = 2*s - s + 2. Let c be 0/(-1 + 4 + s). Suppose u - 5*n + 1 = c, -u + 2 = n - 3. Is u even?
True
Let w = -5 + 59. Suppose -4*h + w = 2*o, -4*h + 84 = -3*o - o. Is h a multiple of 8?
True
Suppose -6*l = -l + 4*n - 199, 2*n - 41 = -l. Does 12 divide l?
False
Suppose 0*p + 624 = 4*p. Suppose -4*a = -3*y - p, 59 = 2*a - y - 19. Is a a multiple of 12?
False
Suppose 5*g - q = 319, 5*g - 327 = 2*q + q. Is g a multiple of 9?
True
Let u = 1 + 4. Suppose 5*w = u, 0 = -2*m - w + 22 - 3. Does 9 divide m?
True
Let n(b) = -b**2 - 10*b - 11. Let r be n(-8). Suppose 4*c - 12 = 0, 4*c - 8*c + 292 = r*t. Is t a multiple of 14?
True
Let f = -38 + 64. Suppose 2*c + f = -128. Let w = 109 + c. Is 11 a factor of w?
False
Let m(s) = s**2 - 8*s + 6. Let o be m(5). Let l = 31 + o. Is 11 a factor of l?
True
Let m = -8 + 18. Let v = -1 + m. Let d = v + 27. Is d a multiple of 14?
False
Suppose 0*k = 2*k - 322. Does 43 divide k?
False
Let c(a) = a**3 - 9*a**2 + 6*a + 11. Let m be c(8). Let l = m + 10. Is l even?
False
Let p(r) = 4*r**2 - 15*r - 5. Is 8 a factor of p(8)?
False
Suppose -3 = -q - 0*q. Suppose -k = -q*k + 10. Does 2 divide k?
False
Let c be (1 - -20)*(-5)/5. Suppose 58 = -4*y + 6*y. Let x = c + y. Is 4 a factor of x?
True
Is 20 a factor of (5 - 6)*(-122)/2?
False
Suppose -3*k - k + 4 = 0. Let j = k + 1. Suppose -2*o + 3*o - 6 = -c, 10 = j*c + o. Is 3 a factor of c?
False
Let m be 7 - ((-2 - -1) + 3). Let s(n) = -2*n**2 - 7*n + 6. Let z be s(m). Let u = z + 121. Does 16 divide u?
False
Suppose d - 3*d = 4. Let q be 3*(2/d - -10). Suppose 0 = -3*w + 5*m + 81, -w = -3*m + 4 - q. Does 12 divide w?
False
Let r be (-40)/(-6) + 2/(-3). Suppose -r = -2*k - 0. Does 2 divide k?
False
Suppose 2*f + 3*f = 5*w - 75, -f - 55 = -5*w. Is w a multiple of 4?
False
Let t(v) = 2*v**2 - 4*v - 1. Let o be t(3). Let n = 78 - 42. Suppose -o*c + c = -n. Does 9 divide c?
True
Is 7 a factor of (-42 + 2 - 2)/(15/(-40))?
True
Suppose 4*j = q + j - 12, -2*j = -4*q + 48. Does 4 divide q?
True
Suppose -11 = -5*t + 4. Suppose 0 = -2*p - t*k + 134, 0*k - 77 = -p - 4*k. Let b = -28 + p. Does 