 of g?
True
Let b be ((-5)/10)/(1/(-8)). Suppose -19 = -b*f - 3*g, 0*f - 2*f + 3 = -5*g. Is f even?
True
Does 17 divide 3/(-12) + 1285/20?
False
Suppose 2*b = -b - 141. Let j = 26 + b. Let u = 34 + j. Is 5 a factor of u?
False
Suppose 2*u - 4*u - 2 = 0. Let d be u + -1 + 396/2. Suppose 0 = 4*b + 2*y - d, 4*b - 5*y = 2*b + 74. Is b a multiple of 17?
False
Suppose 0 = -4*a - 9 - 7. Let q be (-2 - 10/a)*4. Suppose -b - q*b + 57 = 0. Does 15 divide b?
False
Is 3 a factor of -2 + 4 - (0 + -5)?
False
Is 10 a factor of (80/(-25))/(2/(-25))?
True
Let l(i) = -11*i**2 - 19*i + 4. Let u(y) = 7*y**2 + 13*y - 3. Let t(c) = -5*l(c) - 8*u(c). Let v be t(-9). Let a = v + -2. Is a even?
True
Suppose -4*k + 29 = 5*v, v - 19 = -3*v + k. Let g(p) = -1 + 2 + 43*p**2 - v + 5. Is g(1) a multiple of 13?
False
Suppose 0 = 4*n - 277 - 83. Does 30 divide n?
True
Suppose -4*f - 14 + 2 = -3*p, 0 = -2*p + 8. Suppose f*q = 3*i - 2*q + 7, 4*q + 41 = -5*i. Let x = i + 15. Does 5 divide x?
True
Suppose 4*z + 720 = 9*z. Does 12 divide z?
True
Suppose -9 = -6*x + 45. Does 3 divide x?
True
Let v = -8 - -13. Suppose -v = -f - 2. Suppose -5*t - f*z = -165, -2*z - 35 = -2*t + 3*z. Is 15 a factor of t?
True
Let n(y) = -y**3 - 6*y**2 - 6*y - 5. Let w be n(-5). Suppose 4*s + w*s - 348 = 0. Does 15 divide s?
False
Let m = 5 - 3. Suppose -m*y = -5*y + 6. Suppose 4*j + 28 = 2*o, y*o = 3*o - 5*j - 29. Is 2 a factor of o?
True
Suppose 2*f + 24 = 5*f. Suppose -7 = -5*h + f. Is h even?
False
Let n = 12 + -8. Suppose 157 + 19 = n*z. Does 16 divide z?
False
Is (315/25)/((-6)/(-40)) a multiple of 14?
True
Suppose -2*d - 10 + 30 = 5*f, 0 = 2*f - 3*d - 8. Suppose -12 = -2*z + o, -12 = -z - 2*o + f*o. Let v(i) = 3*i - 2. Is 5 a factor of v(z)?
True
Suppose 0 = 2*v - 3*z - 2, v - 5*z + 6 = 0. Suppose -v*m + 32 = 2*x, 10 = -0*m + 3*m + 5*x. Let w = 32 - m. Does 13 divide w?
False
Let h = 33 - 54. Let z = 1 - h. Is 11 a factor of z?
True
Suppose 5*a = 5*g + 110, -2*a + 12 + 20 = 4*g. Is 5 a factor of a?
True
Suppose n + 3*d + 2 = 2*d, -2*d - 10 = 0. Suppose 2*t - 20 = 7*t + 4*j, 5*j + 25 = n*t. Suppose t = -5*r + 214 + 21. Does 15 divide r?
False
Let d(r) = -r + 37. Is 6 a factor of d(12)?
False
Let b(i) = i**2 - 2*i - 5. Let w(j) = j + 3. Let y be w(-8). Is b(y) a multiple of 10?
True
Is 5 a factor of ((-594)/44)/(2/(-20))?
True
Suppose 0*n = n - 33. Suppose g - n = -2*u, 1 + 32 = 3*u - 4*g. Does 11 divide u?
False
Let f = 136 + -129. Is 7 a factor of f?
True
Let t(j) = 7*j + 6. Let s be t(5). Let c = 61 - s. Does 10 divide c?
True
Let z be (4/3 + -3)*-3. Suppose 134 = 3*g + z. Is g a multiple of 12?
False
Let d = 46 + -9. Is d a multiple of 11?
False
Suppose i + 4 = 3*i. Is (4 + -3)/(i/46) a multiple of 13?
False
Let b be -3*4/6 - -7. Suppose -2*h + 120 = -3*j, -b*h - 3*j + 338 = -j. Is h a multiple of 22?
True
Let n(i) = -i**2 + 4*i + 3. Let d be n(4). Let v be (-83)/d - (-1)/(-3). Does 15 divide 2*(-3)/(6/v)?
False
Let u = 664 + -317. Is u a multiple of 10?
False
Let z = 7 - 7. Suppose z = 4*g - 2*g - 38. Is g a multiple of 5?
False
Suppose -6*m + 3*m = 2*h, -h = 0. Suppose 0 = -3*a - m*a + 279. Is a a multiple of 31?
True
Let f be 4 + ((-6)/(-1))/3. Let j be (-134)/11 + f/33. Let z = j - -35. Is z a multiple of 10?
False
Let m(g) be the second derivative of g**4/12 - 7*g**3/6 - 13*g**2/2 - g. Let u be ((-6)/(-1))/(-2)*-3. Is m(u) a multiple of 5?
True
Let g(d) be the second derivative of 9*d**3/2 + d**2 + 6*d. Does 14 divide g(2)?
True
Let k be 72/33 + 4/(-22). Suppose -k*u = -4, -2*h - u = 2*h - 46. Does 11 divide h?
True
Suppose 2*a - 127 = -2*k - 3*a, -5*k = -5*a - 300. Let r(f) = f**3 + 7*f**2 - 5*f - 12. Let j be r(-8). Let z = j + k. Does 12 divide z?
False
Let s(y) = y**2 - 12*y + 16. Is s(19) a multiple of 10?
False
Let j(z) = 47*z - 4. Does 13 divide j(3)?
False
Let a(x) = x**2 + 7*x + 16. Let y be a(-8). Is (y/9)/(-1)*-6 a multiple of 8?
True
Is 13 a factor of 13/4*(4 + -2 - -34)?
True
Let x(l) = -l**3 - 10*l**2 + l + 14. Let f be x(-10). Suppose -20 = 4*c, -7 = -3*u + 4*u + f*c. Does 3 divide u?
False
Suppose o - 4 = -3. Let f = o + 7. Is f a multiple of 8?
True
Suppose d - 27 = 4*f, 0*d - 5*d - 4*f + 15 = 0. Is 2 a factor of d?
False
Suppose 3*c - 13 + 1 = 0. Suppose 0 = 4*s + 20, -8 + 3 = -2*d + s. Suppose 4*i - 5*i - 4 = 0, d = -c*f + 4*i + 140. Is f a multiple of 11?
False
Let v be 2/5 - 4/10. Let y = 20 + v. Is 7 a factor of y?
False
Suppose k - 2*k - 32 = c, -2*k - 94 = -4*c. Let g = k - -70. Is 13 a factor of g?
False
Let i = 2 - 0. Suppose -5*p + i*k + 125 = -k, -p + 4*k + 25 = 0. Let w = p + -16. Does 9 divide w?
True
Let w(h) = -h**2 - 7*h + 7. Let c be w(-8). Let i be c - 1 - (-1 + -3). Suppose 3 + 1 = i*n. Is 2 a factor of n?
True
Let g(v) = 2*v. Let y = -28 - -39. Is 12 a factor of g(y)?
False
Let a(n) = n**3 + 20*n**2 + 11*n - 20. Does 21 divide a(-19)?
False
Let r(t) = 25*t**3 - 2*t**2 + 2*t - 1. Let y = -6 - -7. Is 12 a factor of r(y)?
True
Suppose -9*q + 6*q + 162 = 0. Is q a multiple of 18?
True
Let c = -8 - -15. Let v = 9 - c. Suppose 0 = -3*f - v*i + 40, -f = -0*f - i - 5. Is f a multiple of 10?
True
Let p be (6/(-4))/((-7)/(-210)). Suppose -144 = -0*z - 2*z. Let x = p + z. Is x a multiple of 14?
False
Suppose -4*w - 104 = -4*j, 4*j + 2*w = 11 + 117. Does 6 divide j?
True
Let b = 58 + -37. Let t = b - 11. Is 2 a factor of t?
True
Suppose -27*h = -23*h - 792. Is h a multiple of 9?
True
Let i(y) = y**2 + 2*y - 20. Does 4 divide i(-7)?
False
Let i(r) = 3*r**2 - 4*r + 6. Does 7 divide i(3)?
True
Let v(w) = w**3 - 4*w**2 + 1. Let t be v(4). Is 33 a factor of (-2)/(-1 - t)*33?
True
Let d = -8 + 33. Does 10 divide (-10)/d + (-304)/(-10)?
True
Let b = -6 - -36. Does 5 divide b?
True
Let q(z) = -2 - z**3 + 3*z - z + z**2 + 3*z**2. Let o be q(4). Suppose 4*j = 2*r + 10, 10 = 4*j - o. Does 3 divide r?
True
Let z be 22 - (-6 + 3 + 5). Let n = z - 14. Suppose -u - 190 = -n*u. Does 20 divide u?
False
Let d(n) = 0 - 4 + 10*n + 0 + 6. Does 14 divide d(4)?
True
Let n(p) be the third derivative of 1/24*p**4 - 2*p**2 + 1/60*p**5 + 5/6*p**3 + 0*p + 0. Is n(-6) a multiple of 16?
False
Is 3 a factor of ((-27)/(-15) + -3)*160/(-3)?
False
Let g(x) = x**3 - 7*x**2 + 4*x + 1. Let c be g(6). Let i be 4/(-22) + (-508)/c. Suppose -y + i - 11 = 0. Is 14 a factor of y?
False
Suppose -2 - 2 = -4*p. Let l be p - -5 - (0 + 1). Suppose 0 = l*u - 0*u - 15. Is u a multiple of 2?
False
Let j(r) = 6*r - 2. Suppose 0*l - 5 = 3*l + 2*z, 3*l = 3*z + 15. Let f be (3 - 4)/(l/(-7)). Is 16 a factor of j(f)?
False
Suppose -2*c = c - 2*b - 5, -2*c = -b - 3. Let j(i) = 22*i**2 + i - 1. Let r be j(c). Suppose u = 3*u - r. Is 11 a factor of u?
True
Suppose -2*b = -3*b + 50. Let c(k) = 24*k - 3. Let t be c(4). Let v = t - b. Is v a multiple of 13?
False
Let k be -4 + (-1)/(-2)*-2. Is 22 a factor of 330/4*(-4)/k?
True
Let v(g) = g + 33. Let o be v(0). Let l = 46 - o. Suppose -a + l = 4. Is 9 a factor of a?
True
Let g = 2 + -1. Suppose -p = 5*t - 17, -2 = -2*p + t - g. Does 15 divide 2/p + (-1 - -37)?
False
Let a(b) = b**3 - 6*b**2 - 4*b. Let u be a(6). Let v = -16 - u. Does 8 divide v?
True
Suppose w = -5*p + 4*w + 165, -2*p + 67 = -w. Is p a multiple of 16?
False
Let j(f) = 22*f + 1. Let o(a) = a**2 - 2. Let x be o(2). Does 12 divide j(x)?
False
Let m(v) = -v**3 - 3*v**2 - 2*v + 4. Is 16 a factor of m(-5)?
True
Suppose -3*g + 7*g - 112 = 0. Suppose 3*c - g = 47. Let m = c - 13. Does 12 divide m?
True
Suppose 0 = -4*w + 3*w + 33. Is w a multiple of 11?
True
Does 36 divide (-48)/10*(-660)/22?
True
Suppose 3 - 8 = -f. Is f/2*464/20 a multiple of 16?
False
Let i(h) = -4*h + 2. Let n be i(-2). Suppose n + 14 = 3*t. Is 3 a factor of t?
False
Let v = 126 + -59. Does 29 divide v?
False
Suppose -3*m = -8 - 7. Suppose 0 = s + m*t + 7, s + 3*t = 3*s - 51. Does 13 divide s?
False
Let d(p) = -p**3 + p**2 + 4. Suppose 0*l + 3*l = 0. Is d(l) even?
True
Suppose 2*r + 12 = -18. Suppose y + 0*y + 4*b = 17, 2*y + 2*b = 46. Let k = r + y. Is k a multiple of 10?
True
Suppose 3*h + 5*b = 177, -h - 4*b + 0*b = -66. Let y = h - 25. Is y a multiple of 7?
False
Let o(s) = -2*s**3 - s + 2. Is o(-2) a multiple of 7?
False
Let x(u) = -u**3 + 17*u**2 - 5*u - 26. Is x(16) a multiple of 15?
True
Let g(k) = 4*k - 1 - 5*k + 0. Let j be g(-3). Is