 0. Let a = 19 + -3. Let m = k - a. Is m a multiple of 12?
True
Let w(y) = -y + 16. Let b(a) = 2*a - 33. Let o(s) = 2*b(s) + 5*w(s). Is 4 a factor of o(0)?
False
Suppose -3*l + 2*w - 104 = 0, 3*l - w + 105 = 2*w. Suppose 119 + 85 = 3*o. Let t = o + l. Is t a multiple of 17?
True
Let q(f) = -f - 6. Let h be q(0). Let o(y) = -y**2 - 8*y + 1. Does 8 divide o(h)?
False
Suppose 2*n + 2*y + 19 = -y, 4*n = 3*y + 7. Let x = 2 - n. Suppose 4*j - x*i - 44 = 0, -j - 5*i - 11 = 8. Is j a multiple of 2?
True
Let q = 13 + -12. Let o(a) = 8*a**3 + 1. Is o(q) a multiple of 3?
True
Let p(t) = -8*t + 10. Let z be ((-8)/24)/(1/9). Does 17 divide p(z)?
True
Let d(k) = k**3 - 7*k**2 - 7*k - 4. Let b be d(8). Suppose -m + b*p - p = -1, 4*m = -5*p + 21. Is m even?
True
Let o be (-18)/(-14) - (-16)/(-56). Let b = 43 - o. Is b a multiple of 14?
True
Suppose 0 = 2*v + 3*a + 9, 3*v + 2*a + 6 = v. Suppose v*h + 180 = 5*h. Does 12 divide h?
True
Suppose 5*d + 0*z + 5*z = -15, -d = -3*z - 5. Is -3 - (4/d - 35) a multiple of 12?
True
Let l(y) = 2*y**2 - 2*y - 1. Let r be l(-1). Suppose q - r*m + 3 = -5, 0 = q - m. Suppose 74 = q*s + 6. Is s a multiple of 10?
False
Let c = 21 + -19. Is 6 a factor of (21 - (c - -1)) + 3?
False
Let p(z) be the third derivative of z**4/12 - 5*z**3/3 + z**2. Suppose 3*a + 2*d - 27 = 5*d, 3*d - 29 = -4*a. Does 3 divide p(a)?
True
Let u(s) = -s - 2. Let h be u(-9). Let v = h + -5. Suppose 6 = v*q - 46. Is q a multiple of 13?
True
Let a(m) = -m**2 + 13*m - 9. Let w be a(9). Suppose -5 - w = -l. Does 16 divide l?
True
Suppose 0 = -0*m + m - 157. Suppose -4*q + 16 = 0, -3*q + m = -0*c + 5*c. Is c a multiple of 15?
False
Let p(x) = 11*x**3 + 26*x**2 + 11*x - 12. Let v(m) = -7*m**3 - 17*m**2 - 7*m + 8. Let f(b) = 5*p(b) + 8*v(b). Is f(-6) a multiple of 5?
True
Let c = 6 + -6. Suppose c = -2*j + 6, -267 = a - 5*a - j. Is a a multiple of 22?
True
Let y(n) = -n**3 - 6*n**2 + 5*n + 6. Let s be y(-7). Suppose -4*j + 5*j = s. Does 10 divide j?
True
Let q(s) = -s**3 + 14*s**2 + s - 12. Let d be q(14). Suppose 0 = d*l + i - 0*i - 77, -3*l = -2*i - 98. Is 12 a factor of l?
True
Let y be 4/(-6) - (-4)/6. Let m(i) = -i - 16. Let r be m(y). Is (0 - -2)/((-2)/r) a multiple of 14?
False
Suppose 5*c = -3*n - 5, -6*n + 12 = -2*n + 2*c. Suppose 3*p + n*w = -2*p + 100, -w + 38 = 2*p. Suppose -a = l - p, -a + 3*l + 30 = -0*l. Is a a multiple of 9?
False
Let m(s) = 3 - 2 + 5*s + 2*s - 3. Is 28 a factor of m(6)?
False
Let g(k) = -2*k + 12. Does 16 divide g(-6)?
False
Let g be (-3 - -3 - 3)*-47. Let w = g - 83. Is w a multiple of 29?
True
Suppose u - 5*u + 16 = 0. Suppose -z + 90 = u*z. Does 9 divide z?
True
Let o be (-10)/25 + 14/10. Let z = 7 + -1. Does 6 divide 9 - o - (z - 4)?
True
Let f be 2/6 + 3/(-9). Suppose -w + 10 = j, 5*j + f*w = -3*w + 48. Is j a multiple of 9?
True
Let l be (6/(-15))/((-1)/(-15)). Is 18 a factor of 4/l*(-297)/6?
False
Let k(g) = g**2 - 3*g + 9. Let x = 51 + -34. Let i = x + -11. Is 9 a factor of k(i)?
True
Let x = -66 - -32. Let l = x + 59. Is 14 a factor of l?
False
Let z be (6/9)/((-2)/3). Is 4 a factor of (-5 - -4) + 11 + z?
False
Let g(l) = l + 10. Does 2 divide g(5)?
False
Suppose -2*p - 5*y = -80, -5*p + 160 + 40 = 3*y. Is p a multiple of 8?
True
Suppose 3*w = 2*w. Suppose w = 4*o + 2 + 6. Is (-1 - -15) + (-2 - o) a multiple of 8?
False
Let v(c) = c**3 - c + 75. Let t be v(0). Is (t/(-4))/((-15)/40) a multiple of 28?
False
Let k(o) = -2*o - 10. Let a be k(-7). Let g be a + -2 + 0/2. Suppose -g*s = -8 - 4. Is s a multiple of 3?
True
Let z(o) = -o**3 + 9*o**2 + 10*o + 9. Is 2 a factor of z(10)?
False
Let l(n) = 12*n**3 + n**2 - n + 1. Let s be l(1). Suppose 2*g + g = -v + 8, -v = -4*g + s. Suppose 4*q + 21 = h, -3*h - 12 = -g*q - 57. Is 7 a factor of h?
False
Suppose 3*p - 3 = -v - 3*v, -v + 4 = 4*p. Suppose -5*t - 3*u = -u - 155, 3*u = v. Is 21 a factor of t?
False
Let y = -13 + 21. Let d = y - -6. Is d a multiple of 14?
True
Let n be -3*3/6*14. Let f = 16 - n. Does 16 divide f?
False
Let f = 64 - -4. Is f a multiple of 17?
True
Let r(c) = c**3 - 4*c**2 + 2*c - 6. Let f be r(4). Suppose 2*o = -2*o + i + 145, 4*i + 90 = f*o. Does 10 divide o?
False
Suppose 0 = -3*u + 2*u - 4, 23 = -3*b - 5*u. Let s = 8 - b. Is 9 a factor of s?
True
Let m = -63 + 243. Is 15 a factor of m?
True
Let b be (-18)/(-36) - (-11)/2. Is ((-39)/26)/(b/(-332)) a multiple of 28?
False
Let m = -322 + 453. Is m a multiple of 39?
False
Let n = 142 + -110. Is 4 a factor of n?
True
Let d = 1 + -1. Let s = d - 1. Let a(f) = -15*f + 1. Is a(s) a multiple of 16?
True
Let s(d) = -2*d**2 + 2*d**2 + 3*d - 3 + d**3. Is 18 a factor of s(3)?
False
Suppose -8 = 3*g + 1. Let h = -6 - g. Does 5 divide ((-13)/2)/(h/6)?
False
Suppose 5*d = 5*y - 320, -d - 48 - 19 = -2*y. Let v = 109 + d. Let r = v - 13. Is r a multiple of 13?
False
Let b = 521 + -302. Is 9 a factor of b?
False
Suppose -2*p = -3 + 5. Let f be (-2 - p - 1)*-80. Suppose 5*g = -5 + f. Is 27 a factor of g?
False
Let n be 3/9*3 + -6. Let f(z) = z**2 + 2*z + 3. Is 18 a factor of f(n)?
True
Let q(h) = -h**2 - 10*h + 7. Let d be q(-8). Let k = d - 19. Does 3 divide k?
False
Let d be (2 + -3)*2 + 5. Let j = 6 + d. Is j a multiple of 7?
False
Let b = 175 - -45. Is 22 a factor of b?
True
Let u(s) = 34*s**2 + 3*s - 10. Is u(2) a multiple of 12?
True
Suppose b = -4*b + 25, 5*m = 3*b + 200. Suppose 7*h = 22 + 6. Suppose h*f - 41 = m. Is f a multiple of 21?
True
Suppose -199 = -j - 3*j - 5*o, 2*o = -2. Is j a multiple of 17?
True
Let t be -5*4*6/(-4). Does 6 divide 12/t*(-30)/(-2)?
True
Let k be (12/8)/(5/(-20)). Is 9 a factor of 6/(-4)*128/k?
False
Let i(u) = -u**2 - 10*u - 9. Let s be i(-9). Suppose -3*k - 3*o = -0*k - 135, 3*k - 3*o - 117 = s. Is k a multiple of 14?
True
Suppose 3*c - 6*c = -9. Let t = 4 - 8. Is ((-27)/t)/(c/8) a multiple of 9?
True
Let k(g) = -g**2 + 10*g - 1. Does 4 divide k(5)?
True
Suppose -177 = -2*h - 3*t, -4*h = -0*t + 2*t - 342. Does 21 divide h?
True
Let h be 566/4 + (-2)/4. Let x = -95 + h. Does 10 divide x?
False
Suppose j - 3*o + 27 = 78, 5*j - 227 = o. Is j a multiple of 7?
False
Let u(h) be the first derivative of -2 + 2/3*h**3 + 4*h + 0*h**2. Does 11 divide u(3)?
True
Let c = -32 + 22. Let j = 17 + c. Is 2 a factor of j?
False
Suppose 8*d = -0*d + 160. Does 10 divide d?
True
Suppose -3 + 1 = -2*j. Suppose m - 2 = j. Suppose 3*h - 4*l - 21 = 0, m*h - 8*l + 3*l = 24. Is 3 a factor of h?
True
Suppose -31 = -k + 39. Does 15 divide k?
False
Suppose -3*h + s + 30 = 4*s, 0 = -4*h + s + 15. Suppose 32 - 112 = -h*t. Is t a multiple of 8?
True
Let q be 1 + 2/(-1) - -2. Is 5 a factor of 1 + q - (-3 - 13)?
False
Suppose 5*i = -3*o - 9, 5*i = -2*o + 3*i - 2. Suppose u = -2, 0*u = -o*f + u + 12. Does 4 divide f?
False
Let a(u) = u**3 - 7*u**2 + 5*u + 6. Let x be a(6). Suppose 4*w - 3*n + 234 = x, 3*w + 2*n = w - 124. Is (-1 + 2)/((-2)/w) a multiple of 15?
True
Does 8 divide (-1 + 6)*(-32)/(-20)?
True
Suppose -12 + 33 = 3*h. Let t(v) = -v**3 + 7*v**2 + v + 6. Is 13 a factor of t(h)?
True
Suppose -2 = -2*s + 4. Suppose -5*d - s*r = -9, -3*d + 4*d = 5*r - 15. Suppose d*q + 5*q = 70. Is q a multiple of 12?
False
Suppose -g - g = 0. Suppose g*r + 74 = 4*r + 5*y, 2*r - 26 = 3*y. Is r a multiple of 8?
True
Let z(o) be the third derivative of -o**6/120 + 4*o**5/15 - 11*o**4/24 - 9*o**2. Is z(15) a multiple of 20?
True
Let c = 20 - 4. Does 8 divide c?
True
Let v(y) = -7*y - 8. Let b(h) = 8*h + 8. Let t(g) = 3*b(g) + 4*v(g). Does 8 divide t(-6)?
True
Let u(p) = -p**3 - 6*p**2 - 7*p - 4. Let s be u(-5). Suppose s*q = q + 55. Does 10 divide q?
False
Let o(p) = -p**3 - p**2 + p + 38. Let h be o(0). Does 4 divide (h/10)/((-1)/(-5))?
False
Let g(z) = -z**3 - 5*z**2 - z - 5. Let u be g(-7). Suppose 5*k - 10*k + u = 0. Is 6 a factor of k?
False
Suppose 5*l + 3*v - 222 - 562 = 0, 0 = 3*v - 9. Is l a multiple of 27?
False
Suppose 0*j + 2*j = 0. Suppose j*l - 50 = -5*q + 3*l, l = -5. Does 3 divide q?
False
Suppose -94 = 5*g - 254. Does 11 divide g?
False
Suppose 4*h = -5*v + 35, -2 = -4*v + h + h. Suppose -14 - 6 = -d - v*s, d + 5*s = 12. Is d a multiple of 17?
False
Let p(f) = 2*f + 4*f**2 - 2*f**2 - 1 - 2. Suppose 4*k + 7 = -j, -2*j + 2*k - 9 = 5*k. Is 7 a factor of p(j)?
False
Suppose 575 = 12*s - 7*s. Is 6 a factor of s?
False
