t c be s(6). Suppose -2*o - c - 164 = 0. Is (-4)/14 - o/14 a multiple of 8?
True
Let r(g) = -g**2 + 17*g - 10. Let m(s) = 2*s**2 - 35*s + 21. Let w(b) = 6*m(b) + 13*r(b). Is w(7) a multiple of 12?
True
Let j be (-2)/5 - 228/(-20). Suppose 8*o = j*o - 39. Is 13 a factor of o?
True
Suppose i - 3*z + z = 5, -4*i + 32 = -5*z. Let j = 31 - i. Is j a multiple of 6?
True
Suppose 4*c = 12, 7 = w + 2*c - 6. Does 6 divide w?
False
Suppose -3*s + 9 = 3. Suppose -s*p + 8 = -6. Does 4 divide p?
False
Let h be (-27)/(-12) + (-1)/4. Let p(d) = 3 - h - 7*d + 5*d - 27*d. Is 15 a factor of p(-1)?
True
Suppose -3*b - 1302 = -10*b. Is b a multiple of 62?
True
Suppose 5*a - 200 = a. Let h = a + 2. Does 13 divide h?
True
Suppose 4*x + 5 = 2*p + p, -4 = -4*x. Let j(f) = 8*f - 4. Let d be j(p). Suppose 2*q = 2*r - d, 4*q + 19 = r - 0*q. Is r a multiple of 3?
False
Suppose 55 = i - 35. Is 9 a factor of i?
True
Suppose 1240 = 5*c - 3*a, -4*c + 3*a = -793 - 199. Suppose 2*o - c = -6*o. Is 14 a factor of o?
False
Suppose -q + 5*i = -125, 0*q - 4*i = 2*q - 222. Is 15 a factor of q?
False
Let q(z) = -z**3 + 5*z**2 - 4*z + 2. Let n(p) = -4*p. Let t be n(-1). Let y be q(t). Suppose 2*w = 4*b + 20, 37 = y*w + 2*b + 11. Is 12 a factor of w?
True
Suppose 8 = 5*w - 7. Suppose -v = -w*v + 26. Is 7 a factor of v?
False
Let s(a) = -27*a**3 - a. Let h be s(-1). Let n be 1066/7 - 8/h. Suppose 0 = -0*d + 4*d + 4*i - n, 5*d + 3*i = 184. Is 10 a factor of d?
False
Let p(r) = -r**2 + r + 64. Does 16 divide p(0)?
True
Let k = 40 + -28. Suppose -3*f + k = 3. Suppose 3*b = -4*i + i + 12, -f*i = 4*b - 12. Is 4 a factor of i?
True
Suppose 10*y - 3*q - 153 = 5*y, 5*y - 169 = -q. Suppose 4*r = 2*v - 6 - 84, -2*r + y = v. Is v a multiple of 18?
False
Let j(u) = u + 6. Is j(-3) even?
False
Let m be 4/(-6) + 125/3. Suppose -2*k = q - m - 147, q + 5*k = 185. Is 19 a factor of (8/10)/(4/q)?
True
Let o(g) be the third derivative of g**5/15 - g**4/12 + g**3/6 + g**2. Suppose l - 3*x = 5, x + 8 = 3*l - x. Does 9 divide o(l)?
False
Let c(u) = -2*u + 57. Suppose -4*d = -3*d. Is c(d) a multiple of 19?
True
Let t be 1 + 0 + -4 + -2. Let p(x) = 19*x**2 - 5 - 20*x**2 + 6 - x - 5*x. Is 3 a factor of p(t)?
True
Let x = -68 - -188. Does 15 divide x?
True
Let u(d) = d**2 + 5*d + 3. Let o be u(-4). Let r = -7 - -6. Does 4 divide (-8)/((-2 - r) + o)?
True
Suppose 4*c = -g, -3*c + 15 = 2*g - 0*c. Is g a multiple of 6?
True
Let b = -5 - -6. Let r(d) = 48*d + 1. Let a be r(b). Let f = 79 - a. Is 15 a factor of f?
True
Suppose x + 40 = -3*x. Let v be 15/x - 1/2. Is ((-46)/(-3))/(v/(-6)) a multiple of 23?
True
Suppose -8*i + 5049 = 9*i. Is 11 a factor of i?
True
Let w(x) = 8*x + 4. Does 14 divide w(3)?
True
Let i(k) = 2*k**2 - 10*k + 3. Does 5 divide i(6)?
True
Suppose 0 = -2*v + 5*z - 29, -4*v - 42 = z + 5. Is 6 a factor of v/(-1)*(1 - 0)?
True
Suppose 2*k - 2 = 2. Suppose -104 + 36 = -k*p. Is p a multiple of 17?
True
Suppose -2*t + 9 - 59 = 0. Let s = t - -36. Is s a multiple of 11?
True
Let x(v) = v**3 + 10*v**2 - 11*v + 4. Let l(c) = -c**2 + 5*c - 5. Let f be l(6). Is 2 a factor of x(f)?
True
Suppose 2*i + 3*i - z - 42 = 0, -5*i = 5*z - 30. Suppose 4*m - 5*m - 3*u = -i, 4*u = 0. Is (m/6)/(2/21) a multiple of 7?
True
Suppose -4*w = 3*o + 14, 5*o - 17 = 2*w + 3. Let f(h) = h**3 + o*h + 2*h**3 - 8*h**3. Is 18 a factor of f(-2)?
True
Suppose -20 = -4*u - u. Suppose 2*a - a - 4 = 0, u*n - 4*a = 336. Does 22 divide n?
True
Let b(q) = -q**2 - 10*q - 6. Let z = -1 + -6. Let h be b(z). Suppose 0 = 4*r + 2*l + 2*l - 44, -5*l = -2*r + h. Does 7 divide r?
False
Suppose -138 = -5*m - q, -3*m = -2*q - 19 - 56. Does 11 divide m?
False
Let q be 1/((-50)/(-26) - 2). Suppose -3*x - 2*r - 71 = -3*r, -2*x + 3*r = 52. Let i = q - x. Does 10 divide i?
True
Let r(c) = -c**3 - 3*c**2 - 2*c + 1. Does 7 divide r(-3)?
True
Is ((-9)/2)/(19/(-190)) a multiple of 9?
True
Let o = -135 + 193. Is o a multiple of 29?
True
Suppose 3*o + 33 = -3*w, 44 = -4*w + 5*o - 9. Let s(l) = -l**3 + 4*l**2 + 8*l + 5. Let y be s(6). Let f = w - y. Is f a multiple of 5?
False
Let y(g) = -13*g**3 + g**2. Does 7 divide y(-1)?
True
Let b(t) = -t + 21. Is b(-21) a multiple of 10?
False
Suppose 0 = -6*s + 2*s + 372. Suppose -5*l + 2*m = -12, 3*m - 2 = 5*l - 10. Suppose l*u - 19 = s. Is 14 a factor of u?
True
Suppose 0 = -0*p + 4*p - 3*f - 115, -5*f + 51 = 2*p. Is 14 a factor of p?
True
Let b = 81 - 26. Is b a multiple of 25?
False
Let m(a) = a**2 + 7. Let q be m(-5). Suppose 4*x = q + 44. Is 8 a factor of x?
False
Let b(c) = -c**2 - 3*c + 3. Let x be b(-3). Does 6 divide 35/x - 2/(-6)?
True
Let j = 86 - 29. Is j a multiple of 33?
False
Let l(a) = a**3 - 4*a**2 - 3*a - 7. Suppose 0 = o + o - 10. Let j be l(o). Suppose 3*u - j = 0, 5*u = -5*c + 3*u + 142. Does 14 divide c?
True
Let t = 7 - -57. Let l(n) = -n**2 - 7*n - 15. Let o be l(-10). Let m = t + o. Is 9 a factor of m?
False
Let q = 211 + -106. Is 15 a factor of q?
True
Suppose 3*m - 3 - 3 = 0. Suppose -3*v - 75 = -4*t + 31, -m*t = 4*v - 42. Is 20 a factor of t?
False
Suppose 4*d + 2*c - 591 = -127, 4*c - 130 = -d. Let n = 4 + -2. Suppose d = w + n*w. Is w a multiple of 16?
False
Suppose -8 = -4*z - 2*u, 0 = -0*u - u. Let m be (z/4)/(3/24). Suppose 5 + m = 3*y. Does 3 divide y?
True
Is 2 + (14/(-49) - 870/(-7)) a multiple of 14?
True
Let p be (10 + -11)*1*-3. Suppose 0 = p*w + 2*w - 270. Is w a multiple of 18?
True
Let y be 4608/66 - (-2)/11. Suppose 3*a = y - 16. Is (a/(-4))/(3/(-4)) a multiple of 3?
True
Suppose 15 = 2*i + w, 3*i - 5*i + w + 5 = 0. Let j(z) = 7*z - 1. Is 15 a factor of j(i)?
False
Let a(r) = 3*r**2 + 5*r + 4. Is 31 a factor of a(-5)?
False
Let q(m) = -4*m - 12. Let o = -19 - -11. Does 10 divide q(o)?
True
Let y be (-2)/(-4)*(10 - 0). Suppose 0 = y*z - z - 24. Is 5 a factor of 6*(-2 + 21/z)?
False
Suppose -3*k = -2*k. Suppose -s + 4*s - 42 = k. Does 7 divide s?
True
Suppose -117 = 2*l - 3*v, -4*l - 260 = 5*v - 81. Let p = l + 118. Is p a multiple of 14?
False
Let a(z) = -19*z**3 + z**2 + 2*z - 2. Does 25 divide a(-2)?
True
Let p(d) be the third derivative of d**5/120 + d**4/3 - d**3/6 - d**2. Let l(k) be the first derivative of p(k). Is 4 a factor of l(0)?
True
Let o = -99 - -141. Is o a multiple of 21?
True
Suppose 0*a - 25 = -5*a, 5*a - 50 = 5*t. Let o be 31/5 + 1/t. Suppose -3*h - o = 0, 2*y + 5*h + 166 = 6*y. Does 16 divide y?
False
Let c(j) = j**2 + 2*j + 3. Let a be c(-3). Suppose -a*x = -2*x - 84. Is 6 a factor of x?
False
Let n be (2/(-1))/(3 + -5). Does 8 divide 9*n/(3/5)?
False
Suppose -4*q - 94 = -g, 0*q + 5*g + 13 = -q. Let s = q + 41. Is 8 a factor of s?
False
Suppose -3*z - d = -126, -2*z = -3*z - 3*d + 34. Let v = z - 27. Does 8 divide v?
True
Suppose -3*c + 6 = 3*i, 2*c - 16 = i - 6*i. Let w = 167 + -37. Suppose -w = -i*a - a. Does 19 divide a?
False
Let c(k) = 2*k**2 + 4*k - 2. Does 28 divide c(3)?
True
Let b = 148 - 23. Is b a multiple of 12?
False
Let w be (-400)/(-28) - 2/7. Let h = 0 + w. Is h a multiple of 10?
False
Let x(z) = z**2 - 2*z - 4. Let q be x(4). Suppose q*g = -g + 45. Does 9 divide g?
True
Let h(g) = g**2 - 4*g - 5. Let t be h(5). Suppose -2*a + a + 29 = t. Is 8 a factor of a?
False
Let b be (16/3)/1*3. Suppose -3*u = -u - b. Does 3 divide u?
False
Let m(o) be the third derivative of o**5/60 + o**4/12 - o**3/6 - 2*o**2. Is m(-5) a multiple of 14?
True
Let i(t) = t**2 - 7*t + 9. Let q = 3 - 3. Let z(c) = c**3 + c + 8. Let x be z(q). Is i(x) a multiple of 6?
False
Let c = -6 + 8. Suppose -17 = -4*h + q, -3*q - 33 = -c*h - 12. Suppose -i = h - 16. Does 9 divide i?
False
Let s(g) = g**3 + 5*g**2 - 7*g - 6. Let p be s(-6). Let c(f) = -f**2 + 45. Is 15 a factor of c(p)?
True
Is -1 - 1*(3 + -76) a multiple of 24?
True
Let g(d) = 3*d**3 - 3*d**2 + 2*d + 2. Is g(3) a multiple of 27?
False
Let w(g) = g**2 + 6*g + 1. Let m be w(-5). Is 11 - ((-12)/m - 4) a multiple of 4?
True
Suppose 2*x - 4 = -8. Let l be (x/6)/(3/9). Is 10 a factor of l*(-8 + 3)*2?
True
Does 13 divide 0 - (23/(-1) + 0)?
False
Let s(h) = -h**2 - 16*h - 4. Suppose -4 = -l + 1, 13 = -4*c - 3*l. Does 9 divide s(c)?
False
Is (-3906)/(-81) + (-4)/18 a multiple of 24?
True
Suppose 0 = 3*n + 3*p + 8 - 20, -5*p + 25 = 0. Is 16 a factor of (-24)/(n - 0)*2?
True
Suppose 4*w - 135 + 19 = 0. Is w a multiple of 29?
