18*z - 16. Is s(13) a multiple of 9?
False
Let x = -5 + 10. Does 11 divide 15*(3 + (3 - x))?
False
Suppose 3*z + 3*d = z, -4*z - d - 10 = 0. Let y = 3 - z. Does 6 divide y?
True
Let x be (-146)/8 - 1/(-4). Suppose 3*w - 5*a + 18 = 0, -2*w - 6 = -5*a + 1. Let t = w - x. Does 3 divide t?
False
Suppose 0 = -7*z + 4*z - 87. Let h = z - -51. Does 22 divide h?
True
Let b(h) = h**3 - 6*h**2 + 2*h - 8. Let j be b(6). Suppose -k = j*k - 480. Does 26 divide k?
False
Let k = 87 + -55. Let y = 63 - k. Does 16 divide y?
False
Let h = 13 + -3. Let i = 5 + h. Does 10 divide i?
False
Does 13 divide (-8)/(-6)*39/2?
True
Suppose 0 = -f - 2, -2*f = -5*n - f + 27. Suppose 2*u - 282 = -4*m, -n*m + 4*u - 109 = -481. Is 12 a factor of (m/10)/((-9)/(-30))?
True
Let q(v) = -v**2 - 5*v + 7. Let o be q(-5). Let m = 10 - o. Is 5 a factor of (-2 + (-4)/m)*-3?
True
Let n(o) = 4*o + o**3 - 5 - 3*o**2 + 3 + 2*o + 0*o**3. Is n(2) a multiple of 2?
True
Let v(x) be the first derivative of -1/3*x**3 + 0*x - 2 + 9/2*x**2. Does 4 divide v(8)?
True
Suppose -14 = 2*v - 4*v + 3*g, -2*v - 4*g = 14. Let h be (-2 - 210/(-2))*v. Suppose h + 41 = 4*y. Is 12 a factor of y?
True
Let i(d) = d**3 + d - 2. Let r be i(0). Let u be ((1 - r) + -3)*1. Suppose 3*w = 4*v - 0*v - 24, -5*v + 3*w + 27 = u. Is 3 a factor of v?
True
Suppose 3 = -2*o + 3*o. Suppose o*t = 71 - 29. Does 12 divide t?
False
Suppose 181 = m - 61. Suppose 0 = 3*i - 4*s - 169, 6*i - 2*i = 2*s + m. Is 21 a factor of i?
True
Let g = -54 + 193. Let t = g - 255. Let q = 169 + t. Is q a multiple of 21?
False
Let a(h) = -12*h + 7. Let g be a(6). Let i = g - -112. Is i a multiple of 13?
False
Let a be (6 - 4)/((-2)/(-4)). Suppose a*y - 80 = -0*y. Is 13 a factor of y?
False
Is 1/2*(202 + 10) a multiple of 18?
False
Let p(v) = v**3 - 6*v**2 - 6*v - 7. Let x be p(7). Suppose -2*u = -x*u - 20. Suppose u = -4*h + 30. Is 5 a factor of h?
True
Suppose -2*u + 7*u + 5 = 0. Let b = u + 40. Does 17 divide b?
False
Let x(l) = -l**2 - 5*l - 13. Let t(q) = q**2 + 1. Let r(n) = 2*t(n) + x(n). Is 12 a factor of r(10)?
False
Let x be 6 - ((-15)/(-3) + -2). Suppose a + 58 = 5*a + 2*s, -a + 3*s = x. Does 11 divide a?
False
Let n(a) = -a**2 - a + 4. Let l be n(-4). Is 9 a factor of (38/(-8))/(2/l)?
False
Let q be 56/24 - (-4)/6. Let g be 2 - (q + 9)/3. Is 12 a factor of -4*(g + -1)*3?
True
Let o(w) = 8*w**2 + w - 3. Suppose 10 = -5*u, -6*m + u = -m - 17. Is o(m) a multiple of 13?
False
Let t = 24 - -74. Is t a multiple of 15?
False
Let h be 20/(-6) + 1/3. Let k(t) be the second derivative of 5*t**4/12 + t**3/2 - t**2 + 5*t. Is k(h) a multiple of 17?
True
Suppose -n + 5*n = 168. Is n a multiple of 6?
True
Is -2*(-3)/(-9)*-279 a multiple of 13?
False
Let p = 18 + -63. Let x = p - -30. Let c = 5 - x. Is c a multiple of 10?
True
Let l = -55 + 68. Does 8 divide l?
False
Suppose 2 = 3*o - 55. Suppose -o = -2*r - 3. Is 2 a factor of r?
True
Let o(b) = -2*b - 7. Let w be o(-6). Suppose -w*d = -38 - 7. Suppose -4*s + d = 1. Does 2 divide s?
True
Suppose 0 = 6*p - 2081 + 725. Does 29 divide p?
False
Let h(j) = -j**3 + 7*j**2 + 5. Let s be h(7). Suppose 111 = s*z - 19. Is 12 a factor of z?
False
Let c = -2 + 4. Suppose 222 = 4*o + 2*p, -2*p - 106 = -c*o + 2*p. Is o a multiple of 19?
False
Let r(x) = x**3 - x + 2. Let p be r(0). Does 10 divide -5*p*(2 - 3)?
True
Let h = -7 - -4. Let c be 2/h + 96/9. Suppose -3*u + 37 - c = 0. Is u a multiple of 9?
True
Suppose 2*r + 14 = -p - 2*r, 3*p + 12 = -2*r. Let u = p - 2. Is 41/3 - u/(-6) a multiple of 13?
True
Let d(a) = -a + 23. Let x be d(0). Suppose -13 = -h - 4*c, 3*h - 2*c + x = 62. Does 9 divide h?
False
Suppose 2*o = -2*o - 12. Let l(k) = 2*k + 9. Let x(d) = d + 4. Let v(f) = 6*l(f) - 13*x(f). Is 3 a factor of v(o)?
False
Let n be 2 + 1/(1/2). Suppose -20 = n*u, 4*c + 2*u - 6 = -0*u. Does 4 divide c?
True
Suppose 2*v + c - 2 = 0, -v = -5*v + 3*c + 4. Let y be (98/3)/(v/3). Suppose -3*h = a + 32 - y, -4*a + 88 = 4*h. Is h a multiple of 11?
True
Suppose 3*j = k + 5, 0 = -9*k + 4*k + 5*j - 15. Let r be ((k - -2)/3)/3. Suppose 0 = 2*m - r*m - 58. Is m a multiple of 10?
False
Suppose -3*f + 40 = -7*f. Let u = f - -115. Is 31 a factor of u?
False
Let g = 7 - 7. Does 9 divide 2/1 + 15 + g?
False
Let a(h) = -h**2 - 5*h + 2. Let v be a(-5). Suppose 3*z = v*o + 53, -z - 5*o - 5 = -0*o. Suppose 0 = -5*g + z + 85. Is 10 a factor of g?
True
Suppose 4*c + c - 5*b - 655 = 0, 0 = -2*c - 2*b + 258. Is c a multiple of 15?
False
Let o(b) = -b**3 + 3*b**2 + 3. Let d be o(3). Suppose -z - 5*k - 19 = -2*z, -d*k = -3. Suppose -5*j + z = -0*j + 3*f, 4*j = 3*f + 3. Is 3 a factor of j?
True
Let a(b) = -2*b**2 + 3*b + 1. Let p be a(3). Does 13 divide (-26)/p*2*2?
True
Let v(n) = n**2 - 4*n + 6. Let w be (-6)/(-4)*(20 + 0). Suppose 2*x + x = -3*z + w, -10 = 2*x - 4*z. Is 9 a factor of v(x)?
False
Suppose -5*f + 13 = -2*x - 10*f, -4*x + 4*f - 12 = 0. Let h(y) = -y + 5. Let v be h(x). Let l(u) = -u**2 + 11*u + 5. Is 16 a factor of l(v)?
False
Suppose 4*f - 15 = 5. Suppose 0 = -n + f*s - 15, 4*n + 5*s - 36 = s. Let u(v) = -v**2 + 7*v + 1. Is u(n) a multiple of 10?
False
Let n = 14 + -7. Let t = 3 + -6. Let f = t + n. Does 3 divide f?
False
Let v be 8/4 + (-4 - -1). Let l = v - -16. Is 4 a factor of l?
False
Let l = 16 + -2. Suppose -5*h + 5*c + 61 = -l, 0 = h + 4*c. Is 4 a factor of h?
True
Let x(n) be the first derivative of -n**4/4 - n**3 - 3*n**2/2 - 4*n - 6. Is 7 a factor of x(-4)?
False
Let m(v) = v**2 - 1. Suppose 9 = -2*b - 1. Does 12 divide m(b)?
True
Does 2 divide (9/(-12))/((-1)/8)?
True
Suppose 4*s = -o + 394, 0 = -2*s + 4*s + 3*o - 192. Suppose -j + s = 5*q, q + 3*j - 37 = -q. Is 10 a factor of q?
True
Let s = -91 - -43. Let b = -27 - s. Is b a multiple of 9?
False
Suppose -3*s + 9 - 90 = 3*z, 2*z - 4*s = -30. Let l = z + 39. Let n = 6 + l. Is 11 a factor of n?
True
Let i(n) = n**3 - 9*n**2 + 7*n + 11. Let y be i(8). Suppose -4*m + y*m + k + 9 = 0, -3*m - 2*k = -52. Is 12 a factor of m?
False
Does 17 divide ((-2)/(-3))/(3/306)?
True
Suppose 0 = o - 19 - 2. Is 7 a factor of o?
True
Let b = -455 + 735. Is 40 a factor of b?
True
Suppose -y - 2*k + 39 + 41 = 0, -5*k + 161 = 2*y. Is 12 a factor of y?
False
Let z(j) = 1 + 0*j**2 - j**2 - 14*j**3 + 0*j**2. Let m be z(-1). Let a = 4 + m. Is 18 a factor of a?
True
Let b = 24 + 8. Is b a multiple of 6?
False
Let u = 0 - 0. Suppose -3*h + u*h = -24. Does 5 divide h?
False
Let c = -12 - -17. Let j(s) = s**3 + s**2 + s + 60. Let h be j(0). Suppose 2*x = c*x - 3*t - h, t = -x + 14. Does 9 divide x?
False
Let o be (-3 - (-4 - 3)) + 0. Suppose 0*a = -2*a + 90. Suppose -a = -o*b + 27. Is b a multiple of 18?
True
Let d(i) = i**2 + 7*i - 8. Let o be d(-8). Suppose -4*c + 5*v + 14 = o, c + 4*v - 2*v - 10 = 0. Is c a multiple of 3?
True
Let a = -168 + 414. Suppose 0 = -h - 5*h + a. Is h a multiple of 12?
False
Let n = 5 - 5. Suppose n = t + 2*t + 2*a - 43, 14 = t + a. Is 11 a factor of (-114)/(-10) + (-6)/t?
True
Let d be 30/8 - (-1)/4. Suppose -3*i = -5 - 1. Suppose -j + d*j - p = 178, 5*j - 297 = i*p. Is j a multiple of 20?
False
Suppose -2*l + 82 = -12. Does 18 divide l?
False
Let i be -12*7/(112/(-60)). Suppose 7*q = 2*q + i. Is 3 a factor of q?
True
Let a be ((2 - 3) + 2)*5. Suppose -6 = 4*d + 14, -2*k + 143 = -a*d. Is k a multiple of 15?
False
Suppose 0 = -5*j + 31 - 11, x = 2*j + 66. Let l = x + -53. Does 7 divide l?
True
Does 4 divide 3*-1*(-33)/9?
False
Is 14 a factor of 568/8 - 3/3?
True
Suppose 0 = -3*i + 5*o + 350, -4*i + 4*o + 120 + 344 = 0. Does 7 divide i?
False
Let r(n) = n**3 - 10*n**2 + 12*n + 5. Let j(m) = -2*m**3 - 4*m**2 - 3*m - 2. Let h be j(-2). Let w be (-4 - 2)/(h/(-6)). Is r(w) a multiple of 14?
False
Let z(y) = 2*y - 10. Let o(q) = q - 11. Let v(k) = -3*o(k) + 4*z(k). Let a be v(5). Let i = a - 1. Is i a multiple of 13?
False
Suppose 0 = 5*r - 83 - 107. Suppose -3*g = -70 - r. Is g a multiple of 23?
False
Let f(d) = -24*d + 3. Does 11 divide f(-4)?
True
Suppose 0*o = o - 77. Is o a multiple of 17?
False
Suppose -5*d + d + 136 = 0. Is d a multiple of 8?
False
Does 21 divide (-1321)/(-8) - 14/112?
False
Suppose 0*q + 8*q - 416 = 0. Is q a multiple of 11?
False
Let f(c) = 57*c + 9. Let o(w) = -14*w - 2. Let h(m) = 5*f(m) + 21*o(m). Is h(-3) a multiple of 5?
True
Let d be (-3 + 3 