 divide v?
False
Let w(p) = 28*p**2 - 25*p + 23. Is w(8) a multiple of 17?
True
Let o be (-2 + 0)*4/2. Let l(n) = -n**3 - 4*n**2 - 3*n + 2. Is l(o) a multiple of 10?
False
Suppose -2*m - 27 = -5*m. Let b(d) = 0*d**3 - d**3 + m*d**2 + 2*d**3 - 2*d - 2. Is 15 a factor of b(-9)?
False
Let q = -33 + 36. Suppose -2*f - 5 = q*f, a - 71 = 4*f. Is a a multiple of 18?
False
Let a be (6/9)/((-16)/6 + 2). Let s = a + 35. Does 8 divide s?
False
Is 49968/90 + 2/(-10) + -4 a multiple of 29?
True
Suppose 5*v = 5*r + 10, v = 4*r + 6*v + 44. Is (7329/r)/(-7) - (-3)/2 a multiple of 11?
True
Let m be ((-4)/6)/(5/(-15)). Suppose -3*w + m = -1. Suppose 193 - w = 4*b. Is b a multiple of 12?
True
Let k(p) = -p**2 - 19*p + 19. Let w be k(-20). Let z(v) = 90*v**2 + 3*v + 3. Does 15 divide z(w)?
True
Let y = 100 + -69. Does 31 divide y?
True
Let k(n) = 15*n**2 + 21*n - 84. Is 2 a factor of k(6)?
True
Let m(a) be the second derivative of -11*a**3/6 - 3*a**2 + 23*a. Is 12 a factor of m(-6)?
True
Let t = 8 - -114. Let s = 203 - t. Is 14 a factor of s?
False
Suppose 4*v - 3708 = -4*n, 117*n - 2785 = -3*v + 112*n. Does 37 divide v?
True
Let l(p) = -15*p**2 - 8*p + 4. Let c(r) = -r**2 + r + 1. Let j(o) = -3*c(o) - l(o). Is j(2) a multiple of 15?
True
Is (-6)/(-51) - (-5 - 708/51) a multiple of 19?
True
Let s(d) = -72*d - 147. Is s(-4) a multiple of 11?
False
Let y = 41 - -5. Let r = 190 - y. Is 27 a factor of r?
False
Let c be (1/(-1)*-4)/(-31 + 33). Let s be -35*(-5 - (-1 - -1)). Suppose -27 + s = c*o. Is o a multiple of 13?
False
Suppose 0 = 3*r, -4*r - 705 = -4*m + 1627. Does 10 divide m?
False
Let x(y) = y**3 + 9*y**2 + 7*y - 2. Let f(p) = p**3 - 3*p**2 - 6*p + 2. Let c be f(4). Is 32 a factor of x(c)?
True
Let x = -38 - -37. Does 11 divide (-185)/(-3 - 2)*(-2)/x?
False
Let p(a) = -2*a**3 + 19*a**2 - 6*a + 7. Let k be p(9). Let n = 56 - k. Is 11 a factor of n?
True
Suppose -3*h - 4*d - 7 = -2*h, -4*h = 2*d - 14. Suppose 8*x - 435 = 4*x - 5*w, 0 = h*w - 15. Is x a multiple of 21?
True
Does 40 divide (-3)/(-4) + 4571/28?
False
Is (-8*(-9 + 13))/(2/(-6)) a multiple of 12?
True
Let d = 1473 + -708. Is 20 a factor of d?
False
Suppose 0 = 5*p + 4*r + 33, 18 = -4*p - 4*r - 6. Let z(u) = -3*u + 29. Is z(p) a multiple of 12?
False
Does 30 divide (3/(-2))/(17/(-25976)*12)?
False
Let g(r) = -r**2 - 14*r + 552. Is 24 a factor of g(0)?
True
Suppose -10*z + 8*z + 1948 = 3*a, -3*a + 3*z = -1953. Is 25 a factor of a?
True
Let w(t) = 14*t + 36. Is 18 a factor of w(14)?
False
Let f = 32 + -32. Suppose -o + 5*y = -43, f*o + 5*o - 5*y = 195. Does 6 divide o?
False
Let q = 570 - 512. Does 37 divide q?
False
Let m(h) be the second derivative of -h**5/20 - h**4/12 + 5*h**3/6 + 11*h. Is 6 a factor of m(-4)?
False
Let q = 17 - -45. Let w = q + -19. Does 12 divide 30/15*w/2?
False
Let q(a) be the first derivative of -13/2*a**2 + 17*a + 1/3*a**3 + 3. Is 5 a factor of q(12)?
True
Let h be (-57)/(-2)*16/12. Let i be 1 - 4 - -4 - -62. Suppose 3*t - 5*m = i, -3*t - h = -4*t - 4*m. Is t a multiple of 13?
True
Let a = 1875 + -1759. Does 29 divide a?
True
Suppose 2*a + 2 = -d - d, 0 = 3*d + 2*a - 1. Let y(k) = -k**2 - 12. Let p(c) = -2*c**2 - c - 24. Let n(l) = d*p(l) - 7*y(l). Does 4 divide n(5)?
False
Let g = -10 + 11. Let b be g/(2 - (-10)/(-6)). Let m(i) = 2*i**2 + 3*i + 4. Does 19 divide m(b)?
False
Let f(p) = 5*p**2 - 19*p + 9. Does 27 divide f(9)?
True
Suppose -2*u + 5*u - 4*r = 15, r + 20 = 4*u. Suppose -h + 2*l + 32 = -0, 5*h - 170 = u*l. Is h a multiple of 17?
False
Is 81/(((-10)/4)/(-5)) a multiple of 41?
False
Is 3 a factor of -27 + 61 - (1 - 3)?
True
Suppose 3*b = -4*a + 180, -a = -b - b + 120. Is b a multiple of 2?
True
Suppose -24 + 376 = 16*q. Is q even?
True
Let x(i) be the first derivative of i**2/2 + 7*i + 36. Let m(w) = -w**2 - 8*w - 5. Let b be m(-8). Is x(b) a multiple of 2?
True
Suppose 4*s + 5 = h + 17, -5*h = 20. Let a be s/3 - (-2466)/27. Suppose -2 + 0 = 2*b, 3*n + 4*b - a = 0. Is n a multiple of 8?
True
Suppose 4 = n - 4. Let u(y) = -2*y - 8. Let t be u(n). Let a = -13 - t. Is a a multiple of 8?
False
Suppose 0 = 2*q + 5*q - 3010. Is 43 a factor of q?
True
Let r be (2 + -7)*(-3 - -2). Suppose -a + 0*c = -3*c - 33, r*c + 125 = 5*a. Suppose -x + 21 + a = 0. Does 25 divide x?
False
Suppose 0 = -w - 5*n + 349, -4*w + n + 1823 = w. Does 14 divide w?
True
Let o = 2540 - 1779. Is 15 a factor of o?
False
Let m be -6*((-3 - -4) + -2). Suppose m*x - 26 = -176. Let p = x - -36. Is p a multiple of 4?
False
Let g = 6 + 119. Let s(c) = 9*c - 30. Let z be s(13). Let m = g - z. Does 19 divide m?
True
Let o = -13 + 16. Suppose 2*r + 3*r - 3*q - 226 = 0, 136 = o*r - 2*q. Suppose f = -f + r. Is 3 a factor of f?
False
Let y(u) = -u**2 + 7*u + 32. Let r be y(10). Suppose 3*p - r*o - 254 = 0, -p - 3*o + 68 = -7*o. Does 11 divide p?
True
Let h = 1138 - -92. Is h a multiple of 18?
False
Suppose 0 = 4*g - 2*h - 56, 51 = 3*g + 2*h + h. Is 64/(-60)*-33 + (-3)/g a multiple of 7?
True
Suppose 0 = -8*l - 11 + 35. Suppose -16 = -l*o + 8. Is o a multiple of 2?
True
Let g(w) = -3*w - 12. Let l be g(-5). Suppose 3 = 3*a - l. Suppose 2*q + 68 = 4*d, -4*d + 2*d = -a*q - 36. Is d a multiple of 4?
True
Let u(y) = 4*y**3 - 35*y**2 + 19*y + 26. Is u(15) a multiple of 53?
True
Let v(k) = -k**2 + 9*k - 8. Let j = 9 + 1. Let x be v(j). Let r = x - -29. Does 6 divide r?
False
Let j = 216 + -128. Let y = 140 - j. Suppose 0 = -3*s + y + 86. Is 23 a factor of s?
True
Suppose 0*i - i + 11 = 3*j, j + 2*i - 2 = 0. Let q(c) = 5*c + 20. Does 8 divide q(j)?
True
Let q = -853 + 1906. Is q a multiple of 20?
False
Let d(m) = -2*m**3 - 13*m**2 - 20*m - 7. Does 2 divide d(-6)?
False
Let p(m) = 17*m + 3. Let i(h) = -33*h - 5. Let t(x) = 4*i(x) + 7*p(x). Let g(f) = f**3 - 14*f**2 - 31*f - 17. Let n be g(16). Is 4 a factor of t(n)?
False
Does 20 divide ((1 - 2) + 351)*(-4)/(-10)?
True
Let b(p) = p**3 + 9*p**2 - 9*p + 13. Let x be b(-10). Suppose 5*t - 4 = 4*n + 348, -127 = -2*t - x*n. Is 15 a factor of t?
False
Suppose 0 = -39*m + 4*m + 77595. Does 9 divide m?
False
Suppose 5*x = x - 4*v - 4, -v = -2*x + 4. Suppose -y + x = -1. Suppose -33 - 41 = -y*t. Is 12 a factor of t?
False
Suppose 3*f + 2*q + 22 = 0, 3*f + 4*q + 12 = -2. Let d(p) = 2*p + 0*p - 5*p. Is d(f) a multiple of 10?
True
Suppose 6 = 3*h - 27. Suppose m - h - 17 = 0. Is 28 a factor of m?
True
Suppose j + 4*j = 3*g - 39, 52 = 4*g - j. Let u(k) = k**2 - 13*k - 10. Let q be u(g). Let s(y) = y + 15. Is s(q) a multiple of 5?
True
Let f(h) = 17*h**3 + 2*h**2 - 4*h. Does 11 divide f(1)?
False
Suppose -2*i = -5*r - 1806, 925 = 2*i - i + 3*r. Does 11 divide i?
True
Suppose 37*a = -13*a + 12800. Is a a multiple of 13?
False
Let x(i) = 269*i**2 + 2*i - 7. Is 20 a factor of x(3)?
True
Let x = -687 - -684. Let v(w) = -23*w + 9. Let u(n) = n. Let i(a) = -2*u(a) + v(a). Is i(x) a multiple of 21?
True
Let m = 1909 + 769. Is 26 a factor of m?
True
Let m = 34 + -22. Let y be 16/m*27/12. Is y/(-18) - (-290)/12 a multiple of 8?
True
Suppose -g + 160 + 1139 = -5*u, -4*u - 2568 = -2*g. Let t = g - 824. Is t a multiple of 15?
True
Suppose 2252 + 2305 = 31*r. Is r a multiple of 11?
False
Let y(s) = 2*s**2 - 9*s - 9. Let x be y(7). Suppose 2*j - 3*j + x = 0. Does 2 divide j/3 - (-2)/(-3)?
True
Let h be (2 + (-5)/2)*-2. Suppose 2*n - 3 = -1. Let b = n + h. Is b a multiple of 2?
True
Let t = -102 - -396. Is t a multiple of 7?
True
Let d = 708 + -621. Let i be -2 - -21 - (-2 + 2). Let c = d - i. Is c a multiple of 17?
True
Let o(j) = -j. Let x be o(-5). Let u(r) = r - 8. Let k be u(x). Is (44/k)/(2/(-3)) a multiple of 10?
False
Let u(t) = -4*t - 16. Let i be u(-7). Suppose i*c - 1 = 179. Is 2 a factor of c?
False
Suppose 32 = 3*o - 31. Is 21 a factor of o?
True
Let i(q) = 17*q + 13. Let w(o) = -17*o - 12. Let f(p) = 4*i(p) + 3*w(p). Is f(6) a multiple of 8?
False
Suppose 0 = 2*b - 7*b - 4*w + 393, -2*w = -2*b + 150. Is b a multiple of 5?
False
Let o(i) = -30*i**3 - 5*i**2 - 3*i + 2. Let f be o(-2). Does 17 divide (4 - 7 - -2)/((-2)/f)?
False
Suppose -8*h - 1152 = -11*h. Suppose -3*w + 249 = 5*j, w - 2*j - h = -4*w. Is 13 a factor of w?
True
Let s(f) = 17*f**3 + 4*f**2 - f - 6. Does 13 divide s(2)?
False
Suppose 0 = -15*h + 4*h + 3454. Suppose 2*k = -4*x + h, 3*x + x = 3*k + 329. Is 16 a factor of