 t?
False
Let p(s) = -2*s**3 - 3*s**2 + 4*s - 4. Let d be (-76)/20 + 2/(-10). Does 13 divide p(d)?
False
Let v = 68 - -30. Is 28 a factor of v?
False
Let s(p) = 5*p - 2*p - p. Let q be (-1*(-2)/(-4))/(21/(-210)). Is s(q) a multiple of 5?
True
Let s = -9 + 45. Is 9 a factor of s?
True
Suppose 7 = 4*z - 77. Does 12 divide z?
False
Suppose -5 = 4*m + 27. Let w = -17 - m. Let z = w - -17. Is 8 a factor of z?
True
Let m(b) = -b**3 + 3*b**2 + 2. Let d be m(3). Suppose 0*s = d*s - 164. Is s a multiple of 22?
False
Let w be -4*(1620/8)/5. Let u = w + 237. Is 15 a factor of u?
True
Suppose a - 3*a + 168 = 0. Is 21 a factor of a?
True
Is 32 a factor of 2/2 + 4/(12/231)?
False
Suppose -f - 2 = -7. Does 5 divide f?
True
Let v = 4 + 0. Suppose 4*a - v*w - 18 = 66, -5*a + 2*w + 117 = 0. Is (1 + a)*(0 + 1) a multiple of 13?
True
Let m(f) = 7*f - 1. Let n be m(1). Let z = 13 - n. Is z a multiple of 2?
False
Let c(k) = -3*k - 12. Let t be c(-5). Suppose 7 = -t*r + 49. Does 6 divide r?
False
Let v(a) = a - 19. Let m be v(0). Let i = 0 - m. Let f = 1 + i. Is 7 a factor of f?
False
Let o be (-3 + 4)/((-2)/(-22)). Let c = 22 + o. Is c a multiple of 11?
True
Does 30 divide 89 + (2 - -2) + -3?
True
Suppose 0 = -5*s + 4 + 11. Suppose 97 = 3*b - 2*p - 0*p, -b + s*p + 44 = 0. Does 21 divide b?
False
Suppose 0 = 5*k + 10, -k + 24 = 4*s + k. Let i = 7 - s. Suppose i = -3*c - o + 129 - 50, 88 = 4*c - 3*o. Is c a multiple of 16?
False
Let w be (-5 - -5)/(3 - 2). Suppose 3*s + 5*t - 109 = w, -s + 3*s = 3*t + 60. Is 12 a factor of s?
False
Suppose -11 = -n - 6. Is n even?
False
Suppose 2*k - 77 - 3 = 0. Is k a multiple of 22?
False
Let x(h) = h + 39. Does 6 divide x(-5)?
False
Let g(v) = v**2 + 7*v + 12. Does 12 divide g(-7)?
True
Let z(v) = -v**2 - v + v**2 + 1 + 2*v**2 + 8*v**2. Is 20 a factor of z(-2)?
False
Let u(x) = x**3 - 2*x**2 + 2. Let i be u(2). Let h = 14 + i. Is h a multiple of 8?
True
Suppose -f + 9 + 12 = 4*q, -5*q + 20 = 0. Suppose -3*u + f*a = -20, -28 = -3*u - a + 2*a. Is u a multiple of 10?
True
Suppose -160 = -0*k - 4*k. Does 20 divide k?
True
Let q(a) be the second derivative of a**4/12 + 2*a**3/3 - a**2 + 5*a. Is 3 a factor of q(-6)?
False
Let o(a) = 15*a**3 + 3*a**2 - a - 2. Let j be o(2). Let g = 1 - -1. Suppose -3*h + 89 = -r, -g*r + 4 = 4*h - j. Is h a multiple of 8?
False
Suppose 0 = -2*l - 6*l + 656. Is l a multiple of 29?
False
Suppose 0 = -2*k + 4*k + 8. Let s(l) be the second derivative of l**4/6 + l**3 + 5*l**2/2 + 2*l. Does 5 divide s(k)?
False
Is 14/35 - ((-4869)/15 - -2) a multiple of 17?
True
Let k(t) = -2*t**3 - 2*t**2 - t + 4. Let o be k(-3). Let f = o + -23. Is f a multiple of 10?
True
Let g = 7 - 14. Let z be g/(-35) - (-654)/5. Let q = z - 83. Does 17 divide q?
False
Let u(g) = -g**2 - 6. Let p(d) = -3*d**2 - d - 19. Let f(r) = 4*p(r) - 14*u(r). Is f(6) a multiple of 24?
False
Suppose 0*p + f + 5 = 5*p, -13 = -4*p - f. Suppose p*h = -h + 30. Is 10 a factor of h?
True
Let l(n) = -n**3 - 17*n**2 - 17*n - 13. Let r be l(-16). Let f(o) = -2 + 5*o - 1 - o**3 + 2*o**3. Is 13 a factor of f(r)?
True
Suppose -3 = -g + s, -2*g - 3*s = 3*g - 15. Suppose l - 10 = -g. Is l a multiple of 2?
False
Let k = 1 - -1. Suppose -4*j + 18 = -k*j. Is 4 a factor of j?
False
Let w(n) = -4 - 7 + 6 - n - n. Is w(-7) a multiple of 3?
True
Let k = 8 - 6. Suppose -4*r + k*j = r - 231, r + 5*j = 30. Does 11 divide r?
False
Let b(i) be the second derivative of -2*i**3/3 + i**2 - 2*i. Does 11 divide b(-5)?
True
Suppose 2*q + 4*q - 582 = 0. Does 9 divide q?
False
Let l = 4 - 1. Let d be (16/6)/(l/(-9)). Is 45/2*d/(-6) a multiple of 13?
False
Let f = 20 + -15. Let z(t) = -t**3 + 6*t**2 - 3*t - 4. Does 3 divide z(f)?
True
Let q = -10 - -8. Does 4 divide (1 + -6 + 1)*q?
True
Let u = -51 + 212. Is u a multiple of 7?
True
Is 270/35*2/((-4)/(-14)) a multiple of 4?
False
Let m(k) = -4*k - 1. Let i be m(-4). Let c = -6 + i. Is c - (-3 - -2) - 1 a multiple of 8?
False
Suppose 10 = 5*t - 2*z, -4*t + 5*z = z - 20. Suppose t = 4*j - 0*s - s - 188, -2*j = 2*s - 104. Does 15 divide j?
False
Suppose -3*m + m = -4. Let h(d) = 2*d**2 - 3*d + 1. Let g be h(m). Suppose -g*n - j = 4*j - 51, -2*n + 30 = 2*j. Is n a multiple of 12?
True
Does 6 divide 28/3*(-3)/(-2)?
False
Let a(z) be the second derivative of z**4/12 - 2*z**3/3 - 7*z**2/2 + 4*z. Does 5 divide a(8)?
True
Is 2522/7 + 80/(-280) a multiple of 36?
True
Is 11 a factor of (49 - 1)*2/4?
False
Let b = -35 + 63. Is b a multiple of 28?
True
Suppose s + 5 = 2*i, 5*i - 4*s - 1 - 10 = 0. Let h(r) = -2*r + 4. Let g be h(i). Does 15 divide g/2 + 24 + -1?
False
Let c(g) = g**2 + 10*g - 5. Let v be c(-11). Suppose v - 23 = -t. Does 3 divide t?
False
Let n be 2 + ((-30)/3 - 1). Let y be ((-24)/n)/4*-3. Let f(u) = -6*u**3 + u - 1. Does 17 divide f(y)?
False
Suppose -f + 7 = -5*c - 24, -2*f = -5*c - 32. Let w(t) = -10*t + 3. Let i be w(c). Let r = -45 + i. Does 18 divide r?
True
Let i = 2 - -8. Is 10 a factor of i?
True
Let s be 2/(-5) - 814/(-10). Let c = s - 47. Is 17 a factor of c?
True
Suppose d - 16 = -5*j + 1, -11 = -j - 4*d. Suppose j*m - 3 = 0, 3*q + 2*q + 4 = 4*m. Suppose 3 = -q*w + w, -4*w = h - 25. Is 13 a factor of h?
True
Let v = 49 - -44. Is (-2)/(1/(v/(-6))) a multiple of 9?
False
Let l(i) = 2*i - 4. Let d = -22 + 15. Let p be l(d). Is (-428)/p - (-4)/18 a multiple of 14?
False
Suppose o - 3 - 1 = 0. Let z(v) = 6*v**2 - o*v - v - 3*v + v**3 + 7. Is z(-7) a multiple of 12?
False
Suppose q = 6*q - 75. Is q a multiple of 4?
False
Let h(g) = g**2 - 6*g - 4. Let b be h(7). Suppose -5*l = -b*l - 74. Does 16 divide l?
False
Let a(g) = -2*g**2 - 2*g - 1 - 2*g**2 + 14*g**2. Does 3 divide a(-1)?
False
Suppose -5*b = 4*p + 20, -p + 2*p = 3*b + 12. Suppose 6*v - 5*v - 39 = p. Is 16 a factor of v?
False
Let s(h) = h - 2. Let o be s(3). Does 17 divide -2 + (60/3 - o)?
True
Let q(d) be the first derivative of -d**3 - 2*d**3 + 1 + 4*d**3. Does 12 divide q(2)?
True
Let z be -2*(-2 + 83/(-2)). Suppose 4*f - 27 = -x + 7, -3*x + z = -3*f. Is x a multiple of 19?
False
Let v be ((-4)/(-5))/(4/10). Suppose v*a = 5*a + 18. Does 5 divide (-2)/a + (-94)/(-6)?
False
Let t(z) = -z**2 - 19*z - 26. Is 31 a factor of t(-11)?
True
Suppose -14*r + 9*r = -260. Does 5 divide r?
False
Suppose h + 4*q - 49 = 0, -5*h + 5*q = -162 - 33. Does 26 divide h?
False
Let h(a) = -6*a**3 + 5*a**2 + 8*a + 6. Is 7 a factor of h(-2)?
False
Suppose 0 = -0*p - 4*p + 208. Does 8 divide (-813)/(-39) - (-8)/p?
False
Suppose -3*i - 5 = 43. Suppose 5*q = -2*u + 3*q, 3*u + 5*q + 2 = 0. Is 15 a factor of 60/i*u*-4?
True
Let s(v) = v**2 - 9*v + 2. Let i be s(8). Let t = 25 + i. Does 6 divide t?
False
Let w(p) = 5*p**2 - 2*p - 8. Does 20 divide w(-4)?
True
Let z = 6 + 2. Let y(s) = -s + 10. Let o be y(z). Suppose f = 20 + o. Does 11 divide f?
True
Let a(y) = 2*y**3 + 3*y**2 - 3*y - 1. Let o be a(-3). Let w = -6 - o. Is 4 a factor of w?
False
Suppose 0 = o - 4 - 1. Suppose 10 = -5*v - 0*v, 5*f + 17 = -v. Let t = f + o. Is t a multiple of 2?
True
Is 5/((-5)/(-3)) - -48 a multiple of 31?
False
Let q = 4 + -2. Suppose -q*d + 32 = 4*r, 2*r = 3*d + 6*r - 38. Does 2 divide d?
True
Let i be 10/3 + 4/(-12). Suppose 0 = 3*g + i - 21. Is 3 a factor of g?
True
Let g(f) = -f**2 - 5*f - 3. Let k be g(-3). Suppose k*r = 2*r + 48. Is r a multiple of 12?
True
Is (-7 + (-105)/(-9))*(-162)/(-7) a multiple of 18?
True
Suppose 0 = -5*j + b + 20, -5*b - 4 = -j - 0. Does 2 divide j?
True
Let g = 146 + -101. Is 15 a factor of g?
True
Let s(m) = 2*m + 63. Does 11 divide s(0)?
False
Suppose 5*t + 8 = -2. Let p be ((-32)/10)/(t/10). Suppose 4*g + v - 43 = 0, -g - 2*g - 4*v = -p. Is g a multiple of 11?
False
Let n(v) = -34*v**2 - 5*v + 21. Let g(y) = -7*y**2 - y + 4. Let p(j) = -11*g(j) + 2*n(j). Let c be p(-3). Let i = c + -27. Does 18 divide i?
False
Let c(f) = 2*f + 51. Is 13 a factor of c(20)?
True
Let a(j) = 3*j**2 + 9*j - 18. Is 32 a factor of a(7)?
True
Suppose -5*i + 2*i = 12. Let q = -3 - i. Is 4*q*21/6 a multiple of 7?
True
Let c = -77 - -118. Suppose h + 2*y - c = 0, -h - 2*y + y = -41. Is h a multiple of 13?
False
Suppose c + 6*m - 2*m - 42 = 0, 0 = -2*c + 3*m + 73. Does 22 divide c?
False
Suppose -7*o = -30 - 516. Is o a multiple of 13?
True
Let r(q) = -2*q - 5. Suppose 3*o - 8 = -35. Let b be r(o). Le