 x**4/24 + x**3/3 - 2*x**2 + 6*x. Is 5 a factor of k(2)?
False
Let u(p) = 25*p + 3. Let l(a) = -24*a - 2. Let h(b) = 4*l(b) + 3*u(b). Let g be h(-2). Suppose -2*x = 10, v = 4*v + x - g. Is v a multiple of 10?
False
Let c = -7 + 15. Let q = c + -5. Suppose 66 = 2*u + q*k, 3*k + 8 = -k. Is 14 a factor of u?
False
Suppose -271 - 256 = -5*j - 3*z, 0 = 3*j + z - 317. Is j a multiple of 53?
True
Suppose 6*g = 7*g + 3*m - 1343, -g + 2*m + 1333 = 0. Is g a multiple of 37?
False
Let x(y) = y**3 + 20*y**2 - 82*y + 47. Is x(-21) a multiple of 83?
True
Let x = -1408 + 2276. Does 53 divide x?
False
Suppose -24*x + 866 = -22*x. Let y be x/8 + (-2)/16. Let i = y - 31. Is i a multiple of 8?
False
Suppose 0 = 3*i - 6*i + 6. Let n(w) = 38*w - 8. Does 34 divide n(i)?
True
Suppose 0 = 7*h - 8*h + 39. Does 3 divide h?
True
Let c(k) = 43*k - 101. Is 14 a factor of c(17)?
True
Let g(v) = v**3 - 223 + 214 + 3*v**2 - 28*v + 0*v**3. Is g(-6) a multiple of 51?
True
Suppose -25*s - 60*s + 227120 = 0. Does 136 divide s?
False
Suppose -4*d + 2 = -2. Let b be d*1/((-2)/92). Let g = -19 - b. Does 14 divide g?
False
Let x(u) = -133*u + 66*u + 4 + u**2 + 72*u. Suppose 5*a = n - 26, a - 2*a = -4*n + 9. Is 4 a factor of x(a)?
True
Let r(p) = 2*p**2 + 7*p - 12. Let a be r(-5). Does 3 divide a + -6 - 0 - (-104)/8?
False
Let y = 221 + -147. Let p = -23 + y. Does 15 divide p?
False
Let x(f) = -f - 6. Suppose 5*h + 46 + 4 = -3*m, 3*h - 3*m = -30. Let y be x(h). Suppose 238 = -y*z + 11*z. Is 16 a factor of z?
False
Suppose -8*v + 581 = -3. Does 35 divide v?
False
Suppose -3*r = -r + 5*o - 8, -r = -2*o + 14. Does 17 divide 149 - (-2 + r + 4)?
True
Suppose -3 + 12 = 3*v. Suppose 0 = -v*b - 2*b + 180. Suppose -g - b = -5*g. Is g even?
False
Suppose -216 = 5*f - 8*f. Suppose -5*c + f = -c. Is 3 a factor of c?
True
Let u be ((-3)/(-4))/(((-10)/104)/5). Let l = u + 50. Is 9 a factor of l?
False
Suppose -56 + 654 = k + 2*m, -2*m = -3*k + 1802. Is 6 a factor of k?
True
Suppose -28 + 278 = 5*l. Suppose l - 488 = -6*x. Is x a multiple of 22?
False
Let q be (-3620)/(-40) - 2/(-4). Let f be (1/2)/(2/16). Suppose -f*y + q + 5 = 0. Is 12 a factor of y?
True
Let c be -3 + (-15)/(-6) - 45/(-10). Suppose 0 = -c*w + 75 + 141. Does 9 divide w?
True
Let g(l) = -l**3 - 12*l**2 + 5. Let q be g(-12). Suppose -3*k = -q*s + 35 - 8, 3*s - 2*k - 17 = 0. Suppose -2 = s*v - 65. Does 21 divide v?
True
Let n(l) = 2*l**2 - 4*l. Let z be n(3). Let f = z - -44. Is f a multiple of 10?
True
Suppose 3*f + 2034 = 2*s, 0 = 2*s - 297*f + 299*f - 2014. Is 25 a factor of s?
False
Suppose -7*q = -q - 60. Let o = 1 + q. Is 11 a factor of o?
True
Suppose -3*x - 144 = -5*n, n - 22 = -2*x + 6*x. Suppose -5*i - 3*f = -86, -f - n + 8 = -i. Does 4 divide i?
False
Let f(p) = 20*p + 13. Suppose -5*q + 35 = 5*r - 10*q, r = -2*q + 1. Is f(r) a multiple of 25?
False
Let x(n) = 34*n + 9. Let b(a) = -103*a - 26. Let s(y) = -4*b(y) - 11*x(y). Let d be s(-2). Let p = d + 122. Does 14 divide p?
False
Suppose -74*f + 11285 = -37*f. Is f a multiple of 5?
True
Let c = 942 - 555. Suppose c = 7*n - 523. Is 26 a factor of n?
True
Let r be 30/3*10/25. Suppose 5*l + r*s - 895 = -s, 2*l + s = 356. Does 26 divide l?
False
Let r(n) = n**3 + 11*n**2 + 8*n - 15. Let j be r(-10). Suppose j*m - 34 + 4 = 0. Is m + (-3)/(-9)*0 a multiple of 2?
True
Let b be (4 + -2)/(-2)*-1. Does 25 divide 21 - -78 - b*2/(-2)?
True
Let l(t) = -3*t**2 - 8*t - 12. Let v be l(-6). Let i = 38 + v. Let n = -8 - i. Is n a multiple of 13?
True
Let u(y) = -y**3 + 10*y**2 - 10*y + 6. Let n be u(9). Let o be n/4 + (-1256)/32. Is 13 a factor of o/16*(-208)/10?
True
Let t(n) = -n**3 + 3*n**2 + 3*n + 2. Let x be (-39)/(-65) + 26/(-10). Is t(x) a multiple of 4?
True
Let l = 457 + -343. Is l a multiple of 2?
True
Let m(o) be the second derivative of -1/12*o**4 + 1/20*o**5 + 6*o - 2*o**2 + 1/2*o**3 + 0. Is 13 a factor of m(4)?
False
Let i(a) = a**2 - 8*a - 8. Let v be i(-7). Let n be 2/(0 + (-2)/(-41)). Suppose -s = h - n, -3*s + v = 5*h - 98. Does 6 divide h?
True
Let p(x) = -2*x - 37. Let z be p(-21). Suppose z*g = 5*n - 435 - 35, 4*g + 281 = 3*n. Is n a multiple of 7?
False
Let f = -40 - -27. Does 27 divide 28/(-182) - 1653/f?
False
Let g(y) = -y**2 + 6*y + 7. Let q be g(7). Suppose 2*b + b + 4*n - 178 = q, 2*n - 8 = 0. Is b a multiple of 18?
True
Suppose 113 + 193 = 6*u. Is 17 a factor of u?
True
Suppose 2*c = c + 4*p + 3, -2*p + 9 = 3*c. Suppose -5*z + 735 = m, -234 = -4*z + c*m + 335. Does 12 divide z?
False
Let t(f) = -5*f**2 + 211*f - 13. Is t(42) a multiple of 11?
False
Let s = -19 + 26. Let g be 2/s + 534/42. Suppose -g = -3*q - 4*j, -7 = -5*j - 2. Is q a multiple of 3?
True
Let h(x) = 687*x**2 + 2*x + 4. Does 12 divide h(-1)?
False
Suppose 10779 - 67154 = -41*m. Is m a multiple of 69?
False
Is (-3)/15*-1*10 - -989 a multiple of 19?
False
Let o(u) = 65*u**2 - 6*u + 3. Let c = 23 - 14. Let g be o(c). Does 17 divide g/77 + 2/7?
True
Suppose k - 2*p = 1 + 11, 0 = -3*k - 5*p + 3. Does 4 divide k?
False
Suppose -2*p + 2 = -2*z, 0*p - 3*p - 1 = -4*z. Suppose 3*l = -2*l + 5*j + 100, 4*l + p*j - 125 = 0. Does 25 divide l?
True
Suppose 2*q + 766 = 4*p, -1 = 2*p - 5*q - 364. Is p a multiple of 9?
False
Suppose -17*u = -22*u - 170. Let l = 68 - u. Does 17 divide l?
True
Let f(d) = d**3 + 8*d**2 - 6*d + 19. Does 7 divide f(-8)?
False
Suppose 0 = 3*i - 18 - 21. Suppose -i*f + 32 = -9*f. Is f a multiple of 8?
True
Let r = 68 - 29. Is r even?
False
Let x be (-28)/5 - 16/40. Let i be (-18)/5*15/x. Let f = 69 - i. Is 20 a factor of f?
True
Suppose -4*x - 420 = -2*i + 6*i, 12 = -3*x. Let y = i + 46. Is 4/(-10) + (-2497)/y a multiple of 13?
False
Suppose 880*d - 885*d = -3640. Is 56 a factor of d?
True
Suppose -4*p = -2*c - 2278, 0 = -p - 4*c + 434 + 149. Is 13 a factor of p?
False
Is 75 a factor of -114*(32/(-80) - (-121)/(-10))?
True
Suppose 5*h + 420 = 5*i, -11*i + h + 244 = -8*i. Does 7 divide i?
False
Suppose 208 + 164 = 2*m. Is 3 a factor of m?
True
Suppose 0 = -23*a + 9*a + 32816. Does 46 divide a?
False
Suppose 2*v - 4*v = -5*s + 3, -2*s + 10 = 0. Let d be 1/((-6)/(-5) - 1). Suppose 4*f + 5*c - 47 + v = 0, -5*f = -d*c - 90. Does 14 divide f?
True
Let v = -59 + 61. Is 7 a factor of (-206)/(-4) - (2 + v/(-4))?
False
Suppose 2*q - 1 = 49. Does 12 divide q?
False
Suppose -2*w + 5*q - 2*q - 10 = 0, 5 = -w - 5*q. Does 3 divide ((-2)/w)/(6/180)?
True
Suppose 4*z = -12, q - 7*z = -10*z + 657. Does 18 divide q?
True
Let g(o) = -o**2 + 9*o + 12. Let v be g(10). Is ((-1)/v)/((-6)/276) a multiple of 6?
False
Suppose -4*f = v - f + 16, 3*v + 28 = -4*f. Let r(s) = -s**2 + s - 12. Let y(x) = x**2 + 13. Let a(g) = v*y(g) - 5*r(g). Is 7 a factor of a(6)?
True
Suppose 4*m = -0*m - 3*v + 495, 0 = 3*m - 4*v - 390. Is 18 a factor of m?
True
Let t(u) = u**3 + 21*u**2 + 72. Is t(-21) a multiple of 24?
True
Does 17 divide ((-1071)/35)/(0 - (-3)/(-90))?
True
Let j(g) = g**3 - 14*g**2 + g - 17. Suppose 2*w - 20 = 8. Let z be j(w). Let v = z - -8. Does 2 divide v?
False
Suppose -2*g = -g + 18. Let b be ((-12)/g)/(2/6). Suppose 2*i - b*q - 12 = -2*i, -3*q = i - 10. Does 3 divide i?
False
Suppose -8 = -i - 2. Let u(y) = -5 - 10*y - i + 5. Is u(-4) a multiple of 17?
True
Let k = -56 + 702. Is 38 a factor of k?
True
Is 10 a factor of 1/(-5)*-1123 + (-6)/(-15)?
False
Let q = -150 + 1683. Is q a multiple of 7?
True
Let d(a) = -a + a + a - 3*a + 3. Let p be d(-1). Suppose -104 = -p*y + 41. Does 9 divide y?
False
Suppose 45*m = 46278 + 31752. Does 102 divide m?
True
Suppose 0 = -s + 1 + 1. Let y be s/((-1)/(6/(-4))). Is 2 - 24/(1 - y) a multiple of 7?
True
Suppose 0 = -2*o + 34 - 6. Suppose -o = -4*a + 30. Let m = -4 + a. Is m a multiple of 2?
False
Let m = 4 - 2. Suppose -m*y + 4 - 2 = 0. Does 18 divide (-6*y)/(9/(-84))?
False
Suppose 2*q + 5 - 11 = 0. Let d be 1770/48 - q/(-24). Suppose 15 = 2*l - d. Is l a multiple of 13?
True
Suppose 7*m - 9720 = -23*m. Does 26 divide m?
False
Let s(p) = p**3 + 2*p**2 - 4*p - 3. Let t be s(-3). Suppose 18*j - 54*j + 9432 = 0. Suppose -2*h + 105 = x, -2*x + t*x = 5*h - j. Is 13 a factor of h?
True
Let w be (-10)/(-3)*(-54)/45. Let p be 3 + (6 + w - -8). Let y = p - 5. Is y a multiple of 3?
False
Suppose -15712 = -20*c + 9208. Is c a multiple of 7?
True
Suppose -3*f + 376 = 4*u + 2*f, 4*