 12 a factor of g?
True
Let g(x) = 2*x**2 + 8*x - 11. Let q be g(-5). Let i(s) = -25*s**3 - s**2 - s + 1. Let f be i(q). Let o = 35 - f. Does 4 divide o?
False
Let f = -325 + 461. Suppose -4*r + f = 4*h, -h + 3*r + 37 = -13. Is 3 a factor of h?
False
Let m(z) = -z**3 - z**2 - z - 4. Let h be m(0). Let a be (-10 - -2)*3/h. Is a*5/2*1 a multiple of 5?
True
Let y(b) = b**2 + 4*b + 9. Let w be y(-5). Suppose 0 = w*a - 10*a - 260. Is 13 a factor of a?
True
Suppose 3*c + 2*a - 1698 = 307, 0 = -2*c + 3*a + 1354. Is 43 a factor of c?
False
Let j = -464 + 708. Is 25 a factor of j?
False
Let o(r) = -9*r + 10. Let t be o(-4). Let f = t + -41. Is f a multiple of 5?
True
Let z = 4 + 6. Let p be z*(-12)/(-20)*2. Let y(f) = f**3 - 12*f**2 + 2*f - 17. Is y(p) even?
False
Suppose 0 = -y + r - 4*r + 14, 5*y + r = 14. Suppose 0 = -u + y*x, 0 = -4*x + 9 + 3. Does 9 divide 50/(-4)*u/(-5)?
False
Suppose 3*t - 3 = t - j, 3*j = -3. Let g(s) = 2*s + 18. Let w be g(15). Is ((-14)/(-8))/(t/w) a multiple of 14?
True
Suppose -9*z + 4*z - b + 1324 = 0, 536 = 2*z + 2*b. Is 66 a factor of z?
True
Suppose -3*a + 7*a - 400 = 0. Let m be -2*a/8 + 2. Let d = -3 - m. Does 20 divide d?
True
Suppose -8 - 13 = -3*l. Let s(x) = x**2 - 8*x + 10. Does 3 divide s(l)?
True
Is 20 a factor of (98/(-21) + 3)/((-1)/1671)?
False
Suppose 0 = 37*l - 19682 - 37816. Does 21 divide l?
True
Suppose 3*v + 3*s = 156, 155 = 3*v + 14*s - 10*s. Is v a multiple of 53?
True
Let f(r) = 4*r**2 - 15*r + 12. Let i(g) = -3*g**2 + 14*g - 10. Let b(m) = -4*f(m) - 5*i(m). Let t(s) = -9*s**2 + 2*s - 1. Let y be t(1). Does 7 divide b(y)?
False
Let r(p) = 10*p**2. Let s be r(2). Let x = -16 - -21. Suppose x*i = 5*l - 0*l + s, -3*i - l + 12 = 0. Is i a multiple of 2?
False
Let i = 8 + -58. Let c = i - -89. Is 9 a factor of c?
False
Let h be (3 - 3)*((-28)/8)/7. Suppose y - 36 = 3*b + 2*b, -4*y + 5*b + 69 = h. Is 10 a factor of y?
False
Let i(d) = -d + 71. Let y = 1 - 1. Let c be i(y). Suppose -c = 5*u - 336. Is 14 a factor of u?
False
Let o(f) = 33*f + 17. Let g be o(4). Let d = 239 - g. Is 10 a factor of d?
True
Suppose 7*b + 35 = 0, 0 = 5*t - 2*b + 7*b - 5605. Is 18 a factor of t?
False
Suppose 0 = 5*d + 4*x - 3423, 5*d - 3*x - 1124 - 2285 = 0. Suppose -81 = 14*v - d. Is v a multiple of 4?
False
Let q(k) be the first derivative of -10*k**2 + 16*k - 7. Let u(c) = -7*c + 5. Let r(w) = 3*q(w) - 8*u(w). Does 13 divide r(-13)?
False
Suppose -2*n + 428 - 29 = h, 4*h = 3*n - 593. Does 5 divide n?
False
Let f(r) = -r**2 - 41*r - 45. Does 14 divide f(-28)?
False
Let q(f) = 105*f**2 + 3*f + 2. Suppose -2*k + 6 = -5*k. Let c be q(k). Suppose -c + 101 = -5*j. Is j a multiple of 21?
True
Let r(d) = -4*d - d**3 + 3*d - 3*d + 7 + 2*d**2 - 4*d**2. Is 11 a factor of r(-4)?
True
Let z = 51 - 46. Suppose 2*k + 0*k - 40 = -j, -5*k = z. Is j a multiple of 3?
True
Let h = 318 - 257. Does 3 divide h?
False
Suppose d - 8 = -3. Let q be -1 + 3 - (-3)/((-3)/(-64)). Suppose 0 = -3*u + d*u - q. Does 22 divide u?
False
Let j = 58 + -47. Let p(w) = -w**3 + 11*w**2 + 3*w - 15. Is 2 a factor of p(j)?
True
Does 11 divide 212/(-6)*26/(364/(-231))?
True
Let l(z) = z**2 + z + 1. Let a be l(-2). Suppose -a*n = -34 + 4. Does 2 divide n?
True
Let n(g) = -2*g - 43. Let k be n(-22). Suppose -4*s + 49 = k. Is s a multiple of 4?
True
Let m(k) = 438*k**2 + 9*k + 2. Is 4 a factor of m(-1)?
False
Suppose -6*o + 10*o = -52. Let y(k) = k**2 + 14*k - 16. Let h be y(o). Let z = 23 - h. Is z a multiple of 10?
False
Let d = -18 + 6. Let j be 2 + 7/((-28)/d). Suppose 34 = g - u, 4 - 24 = -j*u. Is g a multiple of 29?
False
Suppose 3*c = 2*a - 497, -2*c - 9 = -5*c. Let l = -47 + a. Is l a multiple of 16?
False
Let s(f) = -15*f**2 - 6*f - 15. Let u(c) = 3*c**2 + c + 3. Let m(b) = 4*s(b) + 21*u(b). Let r be m(2). Suppose 0 = -5*v + 144 - r. Does 11 divide v?
False
Suppose -w - 861 + 3666 = 0. Suppose 3*d - 4*z = -z - w, -2*z - 4640 = 5*d. Does 11 divide (1/(-3))/(10/d)?
False
Let h = 17 - 32. Let w = h + 15. Suppose w*y - 48 = -y. Does 12 divide y?
True
Suppose -2*w - 3*a = -w - 2383, 4*w = -2*a + 9562. Is w a multiple of 8?
True
Let i = 94 + -90. Suppose 0*f + 2*k = -5*f + 223, -3*k = i*f - 177. Does 4 divide f?
False
Let p be (144/(-120))/((-2)/10). Suppose 4*r + p = 390. Is 8 a factor of r?
True
Let d(a) be the first derivative of -3*a**4/2 - 2*a**3/3 + a**2 - 4*a - 33. Does 19 divide d(-3)?
False
Is 39 a factor of -65*33*8/(-40)?
True
Suppose 7215 = 26*b - 17537. Is 14 a factor of b?
True
Let i(y) = -y**2 - 6*y. Suppose -u - 8 = 5*v + 20, -2 = -2*v + 4*u. Let a be i(v). Suppose n = -0*n + 3*g + 13, a*g + 75 = 5*n. Does 10 divide n?
False
Suppose -63*h + 4837 = -56*h. Is 3 a factor of h?
False
Let h = -322 - -464. Suppose -5*t + 3*t + h = 0. Is 9 a factor of t?
False
Let h(a) = -8*a**2 - a - 1. Let l be h(-1). Suppose 20*r - 16*r - 64 = 0. Let m = r + l. Does 6 divide m?
False
Let x = 71 - 67. Suppose -x*v + 3*k + 672 = -v, 4*k + 236 = v. Is 22 a factor of v?
True
Suppose -5*q + 2*f = -17 - 3, 0 = -q - 2*f - 8. Let b be q + -7 + 3 + 15. Is (-16 + b)*(0 + -1) a multiple of 3?
True
Let j(d) = -2*d**2 - 8*d + 6. Let b be j(-6). Suppose 3*t - 4*t + 25 = 0. Let m = t + b. Is 5 a factor of m?
False
Let n = -319 - -549. Let b = -145 + n. Is 17 a factor of b?
True
Suppose 3*j + 4*f = 1305, -j + 3*j - f - 870 = 0. Suppose 5*m = 5*l - j, 5*l = -7*m + 3*m + 417. Is l a multiple of 9?
False
Suppose -4*l - t - 3*t + 8 = 0, -4*t = 12. Suppose -2*g = r - 0*g - 105, l*r - g = 525. Suppose 2*c + r = 5*c. Is 7 a factor of c?
True
Let i = 44 + -37. Suppose 3*m - i*m + 5*q + 223 = 0, 5*q + 280 = 5*m. Is m a multiple of 19?
True
Let u = -1210 + 2002. Is u a multiple of 8?
True
Let d(f) = f**3 - 7*f**2 + 2*f + 16. Is 35 a factor of d(8)?
False
Suppose z - 185 - 24 = 0. Does 19 divide z?
True
Suppose -5*d + 73 + 32 = 0. Let i be 14/d*9/2. Suppose -2*r = -2*b - 78, -5*r + 48 = i*b - 147. Does 6 divide r?
False
Let y be (-2128)/(-18) - (-10)/(-45). Suppose -5*o + y + 2 = 0. Let z = 44 - o. Is 16 a factor of z?
False
Suppose -6*j = -5*j - 1. Is j/(-2) - 133/(-2) a multiple of 11?
True
Is (232/12*6)/((-1)/(-2)) a multiple of 10?
False
Suppose 0 = f - 0*f - 43. Let p(c) = -7*c - 4. Let r be p(-4). Let i = f - r. Does 6 divide i?
False
Let s(b) = 5*b - 4. Let d be s(4). Suppose -d + 0 = 4*c. Is 1 + c/(4/(-71)) a multiple of 36?
True
Let m be 304/4*9/(-12). Let n = m - -221. Suppose -2*k + n = -4*o, 2*k + 3*o = -72 + 257. Does 22 divide k?
True
Let g = 62 - 16. Suppose -26 + 188 = 2*p. Let y = p - g. Is y a multiple of 6?
False
Let s(l) = l**3 + 12*l**2 + l + 12. Suppose -7 = -2*a - 31. Let r be s(a). Is (35 - r) + 4 + -3 a multiple of 12?
True
Let q(g) be the third derivative of g**6/120 - 13*g**5/60 - 3*g**4/8 - 5*g**3/3 + 14*g**2. Is q(14) a multiple of 15?
True
Does 52 divide (-5)/(50/52)*(18 + -78)?
True
Suppose 10*x - 20*x = -6700. Is x a multiple of 78?
False
Suppose -4*j + 7 = 3. Suppose 3*k - 7 = 2*q, -7*q + 11*q - 36 = -4*k. Is 11 a factor of (j + -3)/(q/(-22))?
True
Let t(w) = 2*w**3 - 15*w**2 + 7*w - 3. Let i be t(7). Is (-213)/(-5) + i/(15/(-2)) a multiple of 4?
False
Does 13 divide ((-689)/4)/(147/(-12) + 12)?
True
Let h = 4594 + -2489. Is 74 a factor of h?
False
Suppose -2*q = -0*q - 14. Let u = -7 + q. Suppose u = -15*j + 14*j + 55. Does 14 divide j?
False
Let l(k) = -36*k + 304. Is l(0) a multiple of 8?
True
Suppose 3*k - 6 = -0*k. Let q be -51*(k - 6/(-9)). Let t = -89 - q. Does 13 divide t?
False
Let r(t) = -4*t + 4. Let f be r(4). Let h = f + 12. Suppose 3*c + c - 128 = h. Is c a multiple of 8?
True
Is 446/8 - (-27)/(-36) a multiple of 9?
False
Let c = -80 + 72. Let n(h) = 3*h**2 + 9*h - 12. Is n(c) a multiple of 24?
False
Suppose 2*o + 10 = 62. Let f = o - 24. Suppose -3*a - 4*s = -124, -5*a = f*s + 2*s - 196. Is a a multiple of 9?
True
Is 9 a factor of 3*-542*((-3)/(-9) - 1)?
False
Is 15 a factor of 867 + (-36)/6 + 9?
True
Let l be (1022/21)/(2/6). Let u = l + -93. Let n = 79 - u. Is n a multiple of 3?
False
Let c(d) = 2*d**2 - 7*d - 5. Let n(j) = -j**2 - 14*j + 22. Let a be ((-9)/(-6))/((-1)/10). Let y be n(a). Is 22 a factor of c(y)?
True
Suppose -c - 2*o + 93 = -249, 5*o + 1070 = 3*c. Is 18 a factor of c?
False
Let g = 587 - 588. Let k(v) = -9*v + 2. Let z be k(2). Is