factor of (3/9)/(c/81)?
True
Is 4 a factor of 12/(-42) + (-116)/(-14)?
True
Suppose -4*z = -z - 18. Suppose 0 = -k - z + 1. Let t(d) = 2*d**2 + 6*d - 2. Is t(k) a multiple of 9?
True
Is 13 a factor of (0 - -1)*(-39)/(-1)?
True
Suppose 3*x - 6 = -3*d - 3, -4*x = -d + 1. Suppose -u + x*u = -4. Suppose 4*w + 52 = 2*f, u*w - 56 = -5*f + f. Does 18 divide f?
True
Let c(s) = -s**3 - 8*s**2 - 9*s - 3. Let n be (6 + -3)/(-1) + -3. Let a be c(n). Is 8 a factor of (-2)/(-5)*(-1 - a)?
True
Let c(m) = m**3 - 7*m**2 - 7*m + 16. Is c(9) a multiple of 23?
True
Let b be 2 + 0 + -10 + 2. Let s be (-2)/b - 443/(-3). Suppose 4*t + 5*g = 113, -4*g = 5*t - 0*t - s. Is t a multiple of 10?
False
Let t = -40 + 82. Does 3 divide t?
True
Let z(a) = 0 - 2*a + 15 + 3*a - 2*a. Is z(7) a multiple of 8?
True
Suppose 2*k = -2*u - 2*k + 268, 5*u - 658 = 2*k. Suppose 4*b = b + u. Is b a multiple of 22?
True
Let k(u) = -u**2 - 3*u + 2. Let z = -6 + 3. Let i be k(z). Suppose 0*t + 64 = 4*h + i*t, 0 = -h + 2*t + 6. Is h a multiple of 14?
True
Let h = 65 - -20. Does 17 divide h?
True
Let w(z) = 13*z**3 - 41*z**2 - 9*z - 49. Let f(d) = 3*d**3 - 10*d**2 - 2*d - 12. Let m(c) = -9*f(c) + 2*w(c). Is m(8) a multiple of 10?
True
Suppose 5*h + v - 700 = 5*v, -v - 141 = -h. Suppose k + 12 = -l + 41, -h = -5*l - 2*k. Suppose c + 92 = 3*a, a - l = -3*c + 8*c. Is 15 a factor of a?
False
Suppose 2*q + 2*q - 42 = -2*v, -3*v - 2*q = -59. Is 2 a factor of v?
False
Is 19 a factor of 1 - (-97 + -4 + 0)?
False
Let p(n) = -n**3 - 2*n + 1. Let f be p(1). Let q(j) = j + 2. Let z be q(f). Suppose 0 = 3*v - z*v - 48. Does 9 divide v?
False
Suppose -5*i + 0*i = 0. Is 11 a factor of 11*(2 - 1 - i)?
True
Suppose 438 = 5*n + 3*c + 173, -4*c - 180 = -4*n. Is 6 a factor of n?
False
Let u = 23 - 9. Let h be u*-34*2/(-8). Suppose -3*p + h = 17. Does 17 divide p?
True
Let r be 10/4*(-48)/(-30). Let h be 4/26 + r/(-26). Suppose h = 5*f - 19 + 4. Does 2 divide f?
False
Let i be 3 - (-2 - -4) - 3. Is i*(-2 - 0/(-3)) a multiple of 3?
False
Let r(s) = 12*s + 12. Does 27 divide r(8)?
True
Suppose 0 = -5*b + 8*b - 9. Let c be 3/9 + 17/b. Suppose 3*q + 24 = c*q. Is 3 a factor of q?
False
Suppose 27 = -k + 215. Is k a multiple of 47?
True
Let m = 57 - 41. Is 8 a factor of m?
True
Let h(p) = -p**2 + 5*p + 1. Let a be h(4). Suppose 0 = 3*b - 2*b - a*z - 19, 4*b = -4*z + 4. Suppose x - b*x + 60 = 0. Is x a multiple of 8?
False
Let p(t) = 12*t - 17. Is p(5) a multiple of 11?
False
Suppose -7 - 73 = -2*d. Is 4 a factor of d?
True
Suppose -4*q = -5*d + 17 - 149, d - 4 = 0. Is q a multiple of 8?
False
Let j(v) = -v**3 - 9*v**2 + 9*v - 8. Let h be j(-10). Suppose 3*k = a - h*k - 6, 3*a = -5*k + 98. Is 13 a factor of a?
True
Suppose 7 = -s - 5. Let o = s + 8. Is 6 a factor of (-47)/(-4) - 1/o?
True
Let x(l) be the second derivative of 3*l**5/40 - l**4/12 - 2*l**3/3 - l. Let w(n) be the second derivative of x(n). Is 11 a factor of w(4)?
False
Let u(d) = d**3 - 19*d**2 + 18*d + 15. Is u(18) a multiple of 3?
True
Suppose 6 = 5*x - 9. Let l be (-3 + x)/(-3 + 2). Let i = l - -24. Does 12 divide i?
True
Let m(o) = -o**3 + 8*o + 7*o**2 + 1 + 0 + 2*o + 0. Let i be m(8). Let t = 25 - i. Is t a multiple of 3?
False
Let d(x) be the second derivative of -x**4/12 - 5*x**3/3 - 9*x**2/2 - 3*x. Suppose 2 = -3*z + 5*z, -5*b + 4*z = 34. Does 15 divide d(b)?
True
Let m(r) be the third derivative of r**6/360 - 7*r**5/120 + r**4/3 - r**3/6 + r**2. Let t(p) be the first derivative of m(p). Is 2 a factor of t(6)?
True
Let w = 10 - 36. Let h = -12 - w. Is h a multiple of 10?
False
Suppose 2*q = 4*y - 16, 3*y = 2*y - q + 1. Let p = 7 - y. Suppose 21 = p*m - 15. Is m a multiple of 4?
False
Suppose -9*w + 1057 - 283 = 0. Is w a multiple of 20?
False
Suppose -3*s - 2*w = -172, -2*s + w - 221 = -6*s. Suppose -2*m = 5*l - 59, -5*m - s + 184 = -5*l. Does 9 divide m?
True
Let g be 1 + (3 - 5) + 3. Does 8 divide g/(2/11) - -1?
False
Suppose -150 = -5*o - 6*h + h, 3*h - 158 = -5*o. Is 7 a factor of o?
False
Let t(r) = -r + 32. Let z be t(-14). Suppose k + 4*x = -0*x - 2, -3*x = 5*k + 27. Let m = k + z. Is 15 a factor of m?
False
Let h = -529 - -901. Does 50 divide h?
False
Let u(c) be the first derivative of -c**2/2 - 7*c + 1. Let o be u(-12). Suppose -q + 3*g = -2*g + 15, 40 = o*q - 2*g. Is 3 a factor of q?
False
Let g(p) = -p**3 + 4*p**2 - p + 3. Let t be g(4). Suppose -4*q + 5*j = 29, 13 - 2 = -q + 2*j. Does 3 divide -2 - (-9 + (q - t))?
False
Let s = 44 - -16. Let n = s + -33. Is n a multiple of 9?
True
Let x(u) = u**3 + 2*u - 2*u + 10*u**2 + 6 - 9*u**2. Is x(0) a multiple of 3?
True
Let x(i) = 10 + i + 22 - i**2 + 2*i**2. Let u be x(0). Suppose 4*v = -u + 84. Is 13 a factor of v?
True
Let m(z) = 1 - 2*z**3 - 4 + 2*z + 4*z**2 + 2*z. Let w(h) = 4*h**3 - 9*h**2 - 9*h + 7. Let g(b) = -5*m(b) - 2*w(b). Is g(2) a multiple of 2?
False
Suppose 0 = 2*i + 8 - 120. Let y(u) = u**3 + 4*u**2 - 5*u + 4. Let p be y(-5). Suppose 0*o + i = p*o. Is o a multiple of 14?
True
Suppose 0 = 6*a - a + 10. Is -82*(a - (-9)/6) a multiple of 12?
False
Suppose 0 = -11*q + 10*q + 94. Does 21 divide q?
False
Suppose h - 5*a - 10 = 30, 0 = -2*h + 4*a + 50. Suppose 5*v - 3 = c - 13, -2*c + h = -5*v. Is 3 a factor of c?
False
Let b(l) = 4*l - 1. Is b(9) a multiple of 18?
False
Suppose 0 = -5*i + i. Suppose -3*b + 12 + 9 = i. Is b + 0/1 + 0 a multiple of 4?
False
Let c = -15 - -84. Does 23 divide c?
True
Let o = -8 + -13. Let p = -16 - o. Is 2 a factor of p?
False
Let s = -31 - -79. Is s a multiple of 24?
True
Suppose -106 - 22 = -2*d. Is 16 a factor of d?
True
Suppose j = -4*j. Suppose -3*l + 9*x = 6*x, -9 = -3*x. Suppose j = -3*w - 5*g + 20, -8*w - l*g = -3*w - 60. Is 5 a factor of w?
True
Let z = -126 + 186. Does 15 divide z?
True
Let u = 4 + 6. Suppose 4*d - 3*q = -3, 2*q - u = d - 3. Suppose 4*a + 70 = d*m - a, 0 = -2*m - 4*a + 76. Is 8 a factor of m?
False
Let l = 44 - 20. Is 12 a factor of l?
True
Suppose i - 39 = 18. Does 16 divide i?
False
Let p(f) = f**2 - 10*f - 11. Let y be p(11). Suppose 4*g + y = 336. Does 20 divide g?
False
Let i = -22 - -41. Is i a multiple of 2?
False
Suppose f - 4*f = -15. Suppose -20 = -f*p + 5, -5*m + 340 = -2*p. Suppose -m = -7*i + 2*i. Does 7 divide i?
True
Suppose 66*l - 61*l = 270. Is 11 a factor of l?
False
Let t = -3 + 2. Let y be 4 + -3 + (t - 33). Let j = -13 - y. Is 10 a factor of j?
True
Let v(l) = l**2 - 6*l + 4. Let t be v(6). Suppose -g = -3*g - x + 26, -40 = -4*g + t*x. Suppose -u + g = 3*u, -5*o = 2*u - 151. Does 15 divide o?
False
Let k(z) = -2*z + 27. Does 2 divide k(3)?
False
Let z = -28 + 52. Suppose -2*k - 8 = -z. Is k a multiple of 3?
False
Let u(i) = 68*i**3 + i**2 - 3*i + 2. Is u(1) a multiple of 17?
True
Let n(s) = s**3 - 7*s**2 + 3*s - 3. Does 13 divide n(7)?
False
Let f = 3 - 1. Is 12 a factor of (-17)/(f + (-10)/4)?
False
Let c be ((-3)/(-2))/(39/52). Suppose -113 = 5*t - 10*t + 2*j, -4*t = 3*j - 95. Let m = t - c. Is 9 a factor of m?
False
Suppose -5*m + 25 = 0, -r - 4*m = -7*m - 6. Is r a multiple of 5?
False
Suppose 5*i + 322 = 7*i. Let x be 45/6*2/3. Suppose -2*j + 4*a + 114 = j, x*j + 3*a - i = 0. Is 12 a factor of j?
False
Let m(y) be the second derivative of y**4/12 - 7*y**3/6 + 5*y**2 + 5*y. Is 18 a factor of m(8)?
True
Suppose -2*b = 4*x - 22, 0 = -3*b - 5*x + 35 - 2. Suppose 4*m = -b - 9. Let h = 5 - m. Does 5 divide h?
True
Suppose 0 = -3*b + 15. Suppose 3*z + b = 125. Suppose 3*y - 184 = -5*a, -y = -a - 0*y + z. Is 19 a factor of a?
True
Suppose -3*h + 226 - 64 = 0. Is 9 a factor of h?
True
Let j(k) be the third derivative of k**6/180 + k**5/12 + k**3/2 - 4*k**2. Let b(o) be the first derivative of j(o). Does 14 divide b(-7)?
True
Let a(b) = b**3 + 4*b**2. Let i be a(-4). Suppose i = -5*p - d + 334, 5*p + 5*d - 394 = -64. Suppose 5*o + 7 - p = 0. Does 6 divide o?
True
Let d(c) = c**3 - 3*c**2 - 3*c + 6. Is d(5) a multiple of 27?
False
Let t(r) be the first derivative of 28*r**3/3 + r**2/2 - r + 6. Is 10 a factor of t(1)?
False
Suppose 0 = -4*c - 0 + 44. Is c a multiple of 5?
False
Suppose 0 = -a - 0*a + 2. Let k(g) = 4*g**2 - 4. Is 12 a factor of k(a)?
True
Let m be (-1)/2 - (-3)/6. Suppose 0 = -3*a - m*a + 6. Does 2 divide a?
True
Suppose 6*n - 738 = -210. Does 11 divide n?
True
Let d(w) = -15*w - 16. Does 11 div