. Is c(k) a multiple of 3?
True
Let z = -14 + 29. Does 10 divide z?
False
Let b(r) = -r**2 + 5*r + 1. Let d be b(4). Suppose d*t = 2*t + 30. Is t a multiple of 10?
True
Let v(r) = -r**3 - 3*r**2 - 4*r - 2. Let k be v(-5). Suppose 0 = -0*z - 2*z + k. Is 17 a factor of z?
True
Suppose -5*o = -6*x + 2*x - 16, o - 9 = -5*x. Suppose 5*w = o*p + 68, 0 = -w + 3*p - 2*p + 13. Is w a multiple of 16?
True
Suppose 0 = -2*w + 7*w - 280. Suppose 2*a = 6*a - w. Is a a multiple of 4?
False
Suppose -a - 3*n + 59 = -25, -4*a + 3*n = -411. Is 11 a factor of a?
True
Let i be 6*52/4 - 2. Let v = i - 43. Is 13 a factor of v?
False
Let n(t) = -t**3 - 13*t**2 - 16*t + 19. Is n(-13) a multiple of 36?
False
Let i(p) = p. Let w be i(1). Does 16 divide 1 + w - (-17 - -1)?
False
Suppose -3*g = -f + 9, 11 = 3*f - 2*g - 16. Is 2 a factor of f?
False
Let q(w) = w**2 + w + 11. Suppose -u - 3*a + 7*a = 12, 5*u - 6 = -2*a. Let i be q(u). Suppose 49 = 4*p - i. Is p a multiple of 7?
False
Let v(p) = 10*p**2 + 88*p - 2. Is 2 a factor of v(-9)?
True
Let j be 6/4*(-4)/(-3). Let n(h) = 5*h**3 + 2*h. Let w(b) = 19*b**3 + 7*b. Let v(x) = -22*n(x) + 6*w(x). Does 14 divide v(j)?
True
Let c(z) = 41*z - 12. Is c(2) a multiple of 10?
True
Suppose 0*x + 2*x = -10. Let c(f) = 6*f + 4*f**2 - 5*f**3 + 3*f**2 + 6*f**3 + 1 - 4. Does 9 divide c(x)?
False
Let n = -14 - -5. Let l be 0 + (n/3 - -3). Suppose d = -5*w + 26, -w + 2*d + 2*d + 1 = l. Is w a multiple of 3?
False
Is 2 a factor of (-45)/3*(-10)/25?
True
Suppose 0 = 2*k - 4*k, 0 = 3*y - 3*k - 42. Suppose q - 67 = -y. Is q a multiple of 19?
False
Suppose -4*x - r - 5 = 0, -x - x = -2*r + 10. Let m be (-3)/x*(-350)/(-15). Is 12 a factor of 5/m - (-321)/7?
False
Let y = 8 - 3. Suppose -y*d = -2*d - 45. Is 5 a factor of d?
True
Let p(c) = 17*c. Let q be p(2). Let o = 58 - q. Does 12 divide o?
True
Let a = 3 + 3. Let y = -5 + a. Suppose 0 = -2*c - 5*n + 30, -2*n = -4*c - y + 37. Is 5 a factor of c?
True
Suppose n - 4*n + 12 = 0. Suppose -60 = -3*o - 2*o. Suppose -d + 8 = -0*d - r, -o = n*r. Is d even?
False
Let m(h) = h**3 - 9*h**2 + h - 6. Let s be m(9). Suppose -s*l - 2*l = -15. Let t(i) = 2*i**2 + i - 4. Does 6 divide t(l)?
False
Suppose c = -4*c + 50. Suppose 4*i - 4*b = 40, 0*i = i + 3*b + c. Suppose u - o = 3*u - 5, u = i*o + 8. Does 2 divide u?
False
Let s(o) = 6*o + 24. Is s(10) a multiple of 12?
True
Suppose -8*b - 3*y + 503 = -3*b, 0 = -3*b - 2*y + 302. Does 28 divide b?
False
Let f = -170 - -254. Is f a multiple of 21?
True
Is 17 a factor of -7*(-8 + 4/(-1 - 3))?
False
Let l = -11 - -34. Is l a multiple of 5?
False
Suppose -4*u + 12 = -0*u. Let o be u*(150/9)/5. Let d = 33 - o. Is d a multiple of 23?
True
Suppose 0*t + 3*t = 36. Let j = t - -17. Does 14 divide j?
False
Let p = 36 - 38. Let i = 7 + -15. Does 5 divide 8*(2 - p/i)?
False
Let a = 24 + 68. Is 7 a factor of a?
False
Let k(u) = -u + 7. Let q be k(0). Let c(z) = z**3 - 8*z**2 + 9*z + 10. Does 8 divide c(q)?
True
Let x be 0/(4/(-2) - 0). Suppose 3*c = 3*r + 3, x = c + c - 8. Suppose -24 = -r*i + 5*p, -2*p - 9 = -5*i + 12. Does 3 divide i?
True
Let v(s) = s**2 + 4*s - 5. Let c be v(-5). Suppose c = 4*m - 3 - 5. Does 5 divide (1/m)/((-2)/(-56))?
False
Let s(c) = -4*c**2 + 2*c + 2. Let u be s(-3). Let i be 40/(-3)*(-33)/(-22). Let p = i - u. Is p a multiple of 15?
False
Let c = -66 - -122. Is c a multiple of 14?
True
Let r(h) = h**3 - 12*h**2 + 3*h + 17. Does 45 divide r(13)?
True
Let l(d) = d**3 - d**2 + 2*d + 198. Does 9 divide l(0)?
True
Let h(y) = -43*y - 26. Is h(-3) a multiple of 9?
False
Let y(k) = k**2 - 5*k - 9. Let h be y(7). Suppose -2*q = 4*g - 182, -h*q = 4*g - q - 172. Suppose j = -j + g. Does 14 divide j?
False
Suppose 3*d + 11*d - 308 = 0. Is d a multiple of 9?
False
Is -2 - 0 - -148 - -5 a multiple of 6?
False
Suppose -x + 1 = -4, 2*x = -f + 26. Does 4 divide f?
True
Let l = -22 + 49. Is l a multiple of 9?
True
Let l(m) = -m**3 - 9*m**2 - 4*m + 9. Let j be (2 - 1)*(8 + -17). Is 15 a factor of l(j)?
True
Is (-105)/10*12/(-7) a multiple of 11?
False
Let s(z) = -z**2 + 4*z - 4. Let v be s(3). Does 5 divide (-25)/20*(-9 - v)?
True
Let z = -99 + 177. Is 36 a factor of z?
False
Let q(v) = 72*v. Suppose -20*u + 1 = -19*u. Is q(u) a multiple of 16?
False
Let g be 44/(-6)*(-9)/6. Let u = -3 + g. Does 3 divide u?
False
Suppose -z = t - 4*z + 9, -2*t - 4*z + 12 = 0. Suppose t = 4*r - 74 - 6. Does 10 divide r?
True
Does 16 divide 1/(-4) - 130/(-8)?
True
Let o(j) = j**3 + 3*j**2 + 3*j + 2. Let u be o(-2). Suppose i + 14 = -u. Let f = 39 + i. Is 11 a factor of f?
False
Let t(f) be the third derivative of f**4/24 + f**3/6 + 5*f**2. Is 4 a factor of t(3)?
True
Let c(l) = -17*l - 12. Let m be c(-3). Let z = 3 - 6. Let q = m + z. Is 18 a factor of q?
True
Let k(r) = 34*r**3 - 3*r + 5. Let x(c) = 17*c**3 - c + 2. Let q(f) = 2*k(f) - 5*x(f). Let g(i) = -i**3 + 2*i**2 + 8. Let w be g(3). Is q(w) a multiple of 15?
False
Suppose -2*u + 187 = 3*q, -4*q + 3*u + 252 = 5*u. Let f = q + -42. Is 23 a factor of f?
True
Suppose -4*s + 2*s = 0. Suppose -3*f + 2 + 10 = s. Is 10/f*-2*-1 a multiple of 5?
True
Suppose 0 = -5*i + 65 - 10. Let k = i - -25. Suppose 4*b = -4*x + 54 + 50, b - k = x. Is b a multiple of 18?
False
Let a(t) be the first derivative of t**4/4 - 5*t**3/3 - t**2 + 9*t + 1. Does 12 divide a(6)?
False
Let i be 7 + -2 - (-2 + -1). Suppose 9 + i = o. Is o a multiple of 5?
False
Let u(p) = p**3 - 7*p**2 + 6*p - 1. Let h be u(4). Let n = 37 + h. Is n a multiple of 6?
True
Let l be (-2)/5 + (-12)/(-5). Let w be 1 + -2 - 213*-1. Suppose -w = -2*a - l*a. Is a a multiple of 18?
False
Let d(x) = x**2 + 3*x - 6. Let t be d(-5). Suppose 5*q = 25, 2*c + 0*q - 8 = 2*q. Suppose c = t*y - 35. Is 11 a factor of y?
True
Suppose -t - 5 = -22. Is t a multiple of 10?
False
Suppose 0 = -c - 4*c - 4*z + 28, 22 = 5*c + z. Suppose -j - 4*y - 12 = -5*j, -c*j + 11 = -5*y. Let h = 10 - j. Is 5 a factor of h?
False
Does 15 divide -15*9/(36/(-16))?
True
Suppose w - 6*w = 2*n + 7, 4*n + 4*w + 20 = 0. Let b = 10 + n. Suppose 3*f - 35 = b*m - 163, 160 = 5*m - f. Does 16 divide m?
True
Suppose 3*y - 162 = -12. Let i = -32 + y. Does 9 divide i?
True
Let f(r) = r**3 - 6*r**2 + 10*r - 4. Is 12 a factor of f(6)?
False
Let w = -8 + 17. Is 3 a factor of w?
True
Suppose -2*g + 2 = 2*g + 5*x, -19 = -5*g + 2*x. Suppose -g*l + 34 = -l. Suppose 3*k = l + 64. Is 9 a factor of k?
True
Suppose -3*j - 2 = z - 0*z, -4*z - 1 = 5*j. Suppose -z + 77 = 4*p. Is 16 a factor of p?
False
Suppose 5*x - 4*h + 15 = -h, 4*x + 3*h + 12 = 0. Does 9 divide (x/2)/(7/(-42))?
True
Let b(z) be the first derivative of -z**4/4 - 108*z - 3. Let y be b(0). Does 9 divide (y/(-8))/((-6)/(-8))?
True
Is 0/1 + (25 - 0) a multiple of 25?
True
Let x = 11 - 5. Let c(z) = 3*z + 1. Is c(x) a multiple of 4?
False
Let v be (4 - -1)/(-1 + 2). Suppose 3*o - g - 69 = 0, 65 = 2*o + 4*g + v. Is o a multiple of 24?
True
Let x(w) = -w**3 + 8*w**2 - 2*w + 9. Let l be x(8). Let s(y) = y**3 + 7*y**2 - 3*y + 6. Is 10 a factor of s(l)?
False
Let i be 4/14 - (-57)/21. Suppose 3 - 14 = -3*a + f, 19 = 4*a + i*f. Does 4 divide a?
True
Suppose -5*d + 3*v = -30, v = -2*v. Let b be (-11 - 1)*(-3)/d. Suppose 56 = -2*j + b*j. Does 14 divide j?
True
Let l be (-2)/5 - 2044/(-10). Suppose -5*c + l = -76. Does 20 divide c?
False
Let b be (-1 + 3)/(4/(-14)). Let z = -5 - b. Suppose p - 18 + z = 0. Is 8 a factor of p?
True
Let p = -47 - -82. Suppose -p = -3*o + 19. Let g = o - -1. Is 19 a factor of g?
True
Suppose -3*f + q - 2 = -q, 4*f - q - 4 = 0. Let b be 1/(1/3*-1). Does 16 divide 33 - b/(-6)*f?
True
Let t(l) = -2*l. Let m be t(-11). Let n = 46 - m. Suppose 0*y - n = -2*y. Does 6 divide y?
True
Let m(v) = v**2 - 7*v + 2. Let h be m(7). Let n(u) = -2 + 3*u + h + 5*u + 4. Does 14 divide n(3)?
True
Let j = -3 + 5. Let s be (0 + 0)*(j - 1). Suppose -3*x + s*l + 13 = l, 5*l = -2*x. Does 3 divide x?
False
Let o = 514 - 352. Is o a multiple of 9?
True
Suppose 5*i = -2*g + 588 + 420, 3*i + g = 604. Is i a multiple of 25?
True
Let h = -32 + 53. Does 9 divide h?
False
Let p = -17 + 101. Let l be (2/4)/(2/p). Let o = l + -7. Is o a multiple of 7?
True
Let n be (-27)/21 - (-4)/14. Let c = 11 + n. Is c a multiple of 10?
True
Suppose -2*g + 5 + 3 = 0, -c = -4*g - 106. Does 18 divide c?
False
Le