a multiple of 19?
True
Let d(y) be the third derivative of y**5/40 + 5*y**4/12 + 7*y**3/6 + 7*y**2. Let v(l) be the first derivative of d(l). Does 8 divide v(3)?
False
Suppose 5*a + 12 = -8. Let c(h) = -4*h**2 + 2*h + 1. Let y(z) = -z + 1. Let v(p) = -c(p) - 3*y(p). Does 14 divide v(a)?
True
Let o(q) = q. Let p be o(-3). Let g = p - -94. Does 30 divide g?
False
Suppose 2*y + 0*y - 16 = 4*s, -s = -1. Let r be (-12)/y*(-60)/18. Suppose 0 = r*g - 22 - 82. Is 13 a factor of g?
True
Suppose 3*b - 15 + 9 = 0. Suppose -a - b*a = 54. Let z = 24 + a. Does 3 divide z?
True
Let o = 2907 + -2837. Is 7 a factor of o?
True
Suppose 2*m - 923 = -139. Does 57 divide m?
False
Let i(f) = -4*f - 11. Let w be i(-5). Is 9 a factor of (w/4)/((-1)/(-28))?
True
Is 2 + 15100/32 + (-1)/(-8) a multiple of 27?
False
Let p(v) be the third derivative of v**4/24 + 5*v**3/3 - v**2. Suppose 4*a = -1 - 15. Does 3 divide p(a)?
True
Suppose -629 - 571 = -5*k. Is k a multiple of 8?
True
Let c(s) = 28*s - 9. Let y(w) = w**3 + 17*w**2 + 15*w - 14. Let n be y(-16). Does 12 divide c(n)?
False
Let m(c) = c**2 + 18*c + 29. Suppose 4*s + 82 = 2*x, -2*x - 7 = s + 1. Does 29 divide m(s)?
True
Let a(b) = -5*b + 15. Let z be a(12). Let p = z - -63. Does 11 divide p?
False
Suppose 0 = t - 5*t + 4. Is 17 a factor of t*(-1)/1*-85?
True
Let r(g) = 6*g**2 - 7*g + 14. Suppose -5*t - 44 = -14. Let b(y) = 7*y**2 - 6*y + 14. Let u(o) = t*r(o) + 5*b(o). Is 6 a factor of u(10)?
True
Let l be 2*(-3 - -2)*-1. Let q(y) = 2*y**2 + 7. Let x(t) = 3*t**2 + 10. Let a(f) = -7*q(f) + 5*x(f). Is 5 a factor of a(l)?
True
Let j(x) = -6*x - 6*x**3 + 11 + 0*x + 9*x**2 + x**3 + 4*x**3. Is j(8) a multiple of 3?
True
Suppose -11385 = -5*n - 2*y, 6831 = -n + 4*n + 5*y. Does 11 divide n?
True
Suppose 0 = -0*i + 4*i - 3*g - 284, 3*i = -2*g + 196. Let w = 164 - i. Let f = -58 + w. Does 12 divide f?
False
Suppose 0 = -2*r - 4*v + 46, r - 4*v - 36 = 17. Suppose -2*l + 39 - 3 = 0. Let h = l + r. Is h a multiple of 17?
True
Suppose -5*a - 6 + 96 = 0. Is 29 a factor of (-8)/12*-5*a?
False
Suppose 3*d = 3*h - 2*h + 31, -5*h = 4*d - 16. Suppose d*n - 124 + 34 = 0. Is 9 a factor of n?
False
Let w(x) = x. Let k(g) = -12*g + 1. Let c(y) = -k(y) - 6*w(y). Let j be c(-1). Is (-2)/(-7) + (-138)/j a multiple of 8?
False
Suppose 4*y - q = 33, -3 = 3*q - 0. Let l = 18 + y. Suppose 12 = b - l. Is b a multiple of 11?
False
Suppose -1786 = -5*i - y, -3*y + 1426 = 4*i - 5*y. Suppose 4*w - 354 = 2*f, 4*w - 4*f - f = i. Is w a multiple of 22?
True
Suppose 4*x - 5*u = 348, -3*x - 10*u + 292 = -6*u. Is x a multiple of 10?
False
Does 6 divide (-148)/(-1*2) + -26 + 24?
True
Let l be (-370)/(-4) + (-2)/4. Let a be 1/(1 + (-6)/9). Suppose 5 = -a*i + l. Does 9 divide i?
False
Let o(l) = 13*l**2 - 7*l - 42. Does 46 divide o(-8)?
False
Let p(b) = -8*b**3 - 4*b**2 - 5*b + 2. Let s(v) = v**3 - 2*v**2 - 4*v + 1. Let t be s(3). Does 5 divide p(t)?
True
Suppose 10*t = 11*t + 243. Let p = -10 - t. Is p a multiple of 33?
False
Suppose -21*t = -2*t - 3439. Does 71 divide t?
False
Let t(y) = 5*y**2 - 14*y + 40. Is 8 a factor of t(4)?
True
Let f = 87 + -84. Let k = 51 - 24. Suppose -k = -f*r + 33. Is 20 a factor of r?
True
Let u = 25 + -43. Let c be -1*(-21)/(-4)*12. Is 14 a factor of u/c + 292/7?
True
Suppose 268 = 2*z + 47*p - 42*p, -3*z = -3*p - 444. Is 19 a factor of z?
False
Suppose 2*m - m - 23 = -3*s, -3*s = 5*m - 55. Suppose y - m = -3*y. Suppose 2*t - 572 = -y*t. Is t a multiple of 40?
False
Suppose 2*d = d - 4. Let a = d + 8. Suppose a*f - 97 = -3*j, -5*j - 16 - 13 = -2*f. Is f a multiple of 11?
True
Suppose -5*z = 3*l + 578 - 2827, -451 = -z - l. Is 5 a factor of z?
False
Let z be 13 + (4 - (-6)/(-3)). Suppose -5*u - 1 = -r - r, -3*u = -z. Does 9 divide r?
False
Let n(u) = -u**2 + u. Let b(l) = -l**3 - 19*l**2 - l - 3. Let s(c) = b(c) - 3*n(c). Is s(-16) a multiple of 24?
False
Let k(v) = -v**2 + 49*v + 8. Is 6 a factor of k(20)?
True
Let y(n) = 5*n**3 - 4*n**2 + 5*n + 124. Let u(p) = 11*p**3 - 9*p**2 + 11*p + 247. Let a(j) = -6*u(j) + 13*y(j). Is a(0) a multiple of 13?
True
Let z be 42*3/(18/4). Suppose 11*b - 5*b - 798 = 0. Suppose 0 = -f - z + b. Is f a multiple of 27?
False
Is 20 a factor of (81 + (4 - 10))/(2/14)?
False
Let m(j) = 2*j**3 - 27*j**2 - 13*j + 112. Is 23 a factor of m(15)?
False
Let z(y) = -y**3 + 14*y**2 - 13*y + 15. Let k = 69 + -56. Does 13 divide z(k)?
False
Let f = 5 + -1. Suppose -f*j + 11 = -a, -5*a - 23 = -2*j - 2*j. Suppose -3*k - 3*r + 227 = j*r, -r = -k + 73. Is k a multiple of 26?
False
Suppose 5*d + 5*z = 290, 101 + 131 = 4*d + 5*z. Suppose -3*w + 14 = 5*k, -5 = -2*w + k - 0. Suppose w*i - 4*q = 170, i - 2*q = -0*i + d. Does 27 divide i?
True
Suppose -d = 2*m - 0*d + 70, -4*d = -4*m - 164. Let a = 67 + m. Is a a multiple of 5?
True
Suppose -5*n + 158 = 28. Suppose 2*s - n = -2*a, 6 = 4*a - 2. Is s even?
False
Suppose n - 3*n = -4*v + 2, 4*n = -v + 14. Suppose n*d - 36 = 2*w - 5*w, -d + 4*w + 12 = 0. Let q(y) = 5*y - 17. Is 6 a factor of q(d)?
False
Let u(o) = -6*o - 17. Does 2 divide u(-4)?
False
Suppose c = -4*f + 2*c + 84, -5*f = -c - 104. Is 4 a factor of f?
True
Let t(w) = -w**3 + 7*w**2 + w - 2. Let f be t(7). Suppose -2*g + f*q + 103 = g, 2*g - 27 = -5*q. Does 13 divide g?
True
Let d(n) = -n**2 - 5*n. Let m be d(-4). Suppose -5*o + 77 + 258 = 0. Suppose -m*c + 243 = o. Does 13 divide c?
False
Is 257 + (9 - (-104)/(-8)) a multiple of 11?
True
Suppose -14*d + 11596 = 38*d. Does 5 divide d?
False
Suppose -4*z - 21 = -193. Suppose -z = 3*m - 223. Suppose -3*c + m = -c. Is 11 a factor of c?
False
Let s(j) = -15*j**3 - 3*j**2 - 18*j + 7. Let k(q) = -7*q**3 - 2*q**2 - 9*q + 3. Let r(b) = -13*k(b) + 6*s(b). Let y = 14 - 20. Is r(y) a multiple of 3?
True
Let z(u) be the third derivative of 0 - 2*u**2 + 0*u - 1/3*u**3 - 1/60*u**5 - 13/24*u**4. Is z(-10) a multiple of 18?
False
Let t(d) = -6*d**2 - 14*d - 11. Let i(h) = 7*h**2 + 15*h + 12. Let s(w) = 5*i(w) + 6*t(w). Let q be s(7). Let r = q + 217. Does 33 divide r?
True
Let y(b) = -2*b**3 - 4*b**2 + 12*b + 6. Does 6 divide y(-6)?
True
Suppose 4*d - g = 29, 0 = -5*d - 5*g + 9 + 21. Suppose -d*r + 6*r = 4. Let s = r - -7. Is 3 a factor of s?
True
Let p(l) = 12*l + 17. Let f(x) = x. Let y(c) = 3*f(c) - p(c). Is y(-6) a multiple of 8?
False
Suppose 3*m + 3*y = 1608, 4*y - 835 = -2*m + 243. Does 13 divide m?
True
Is 27*20*-3*3/(-9) a multiple of 20?
True
Let f = 40 - 24. Does 7 divide (-3 - f/(-4))*29?
False
Suppose 838*s - 15309 = 829*s. Is 54 a factor of s?
False
Let w = -288 + 336. Does 3 divide w?
True
Suppose -4*l + 1851 = -705. Is l a multiple of 68?
False
Suppose -47 - 49 = -3*n. Suppose -5*a - f + 6 = -3*a, 4*a - 3*f - n = 0. Suppose -2*r + 5*j - 160 = -4*r, a*j - 430 = -5*r. Is r a multiple of 18?
True
Let h be -622*((-6)/(-21) + 156/(-56)). Suppose h = 5*r - m, 3*m + 10 = 25. Is r a multiple of 24?
True
Suppose 1857 = 2*h + 132*t - 127*t, 0 = h - 2*t - 951. Does 32 divide h?
False
Suppose 4*g + 5*y - 177 = 0, 9*g + 3*y = 156 + 234. Does 6 divide g?
False
Suppose 0 = z + 4*z - 25. Suppose z*g = 629 + 11. Suppose g = 2*s + 38. Does 15 divide s?
True
Is (-3968)/(-64) - 7*-1 a multiple of 69?
True
Let f = -104 - -192. Suppose 4*n + 3*b = 295, f + 76 = 2*n - 4*b. Is n a multiple of 22?
False
Let g(u) = -u**2 + 2*u + 3. Let q be 9/3 - 0/1. Let s be g(q). Suppose s = n - 0*n - 65. Is n a multiple of 13?
True
Suppose -5*s + 4*u + 215 = 0, 6*s = s - u + 215. Suppose 4*y - 2*a - s - 341 = 0, -3*a = 0. Is 9 a factor of y?
False
Suppose -2*t + 5*l + 668 + 136 = 0, 0 = 2*t + 2*l - 776. Is 28 a factor of t?
True
Let f = -7 - -11. Suppose -5*x = f*m - 38 + 7, 2*m - 17 = -3*x. Suppose 4*t - 34 = -z - 2, -x*t = 3*z - 15. Is t a multiple of 9?
True
Suppose 1 - 4 = v. Let r(k) = -9*k + 6. Let f be r(v). Suppose -5*s + 17 + f = 0. Is 10 a factor of s?
True
Suppose 572*t + 2744 = 2*b + 569*t, 5*t - 4116 = -3*b. Does 14 divide b?
True
Suppose -31*z + 923 = -18*z. Is 6 a factor of z?
False
Suppose 2*r + t = 169, -r + 3*t + 92 = 11. Is 34 a factor of 18830/r - (-2)/(-12)?
False
Suppose 2*m - 2*o - 2750 = 0, -9*m - 2753 = -11*m + 3*o. Does 9 divide m?
False
Let a(l) = 0*l**2 + 31 + 4*l**2 - 4*l**2 + 2*l - l**2. Is 10 a factor of a(0)?
False
Suppose -m - 2*g + 803 + 192 = 0, -6 = 2*g. Is m a 