3 - c**2 - 3*c + 3. Let l(d) = 12*d**3 + d**2 - 1. Let h(w) = -l(w) - q(w). Is 11 a factor of h(t)?
True
Let n(l) = 14*l - 3. Let s(t) = -266*t + 56. Suppose -21 = -0*r + 7*r. Let z(d) = r*s(d) - 56*n(d). Does 16 divide z(4)?
False
Let z(s) = -2*s + 4 + 12*s - 2*s**2 + 0*s**3 - 12*s + 6*s**3. Does 20 divide z(2)?
True
Suppose 9*o = 2 + 16. Let h be (3 - o)*(-2 - 4). Let x(i) = -22*i - 33. Is x(h) a multiple of 29?
False
Let u = -251 + 243. Does 12 divide (9 + 52/u)*(-306)/(-5)?
False
Suppose -2*p - 2459 = 2*p - 3*a, -p - 2*a = 623. Let v = -432 - p. Is 5 a factor of v?
True
Let f = 176 - 175. Is 13 a factor of 26*(-3)/(-3)*f?
True
Suppose -6*s = -181 - 23. Suppose -28 = -b - 4*k, -b - 4 = 5*k - s. Is 9 a factor of b?
False
Let j = -177 - -1163. Suppose -24*b - j = -26*b. Is b a multiple of 17?
True
Suppose 0 = 5*k - 15, -119*k = -2*m - 116*k + 1631. Is 20 a factor of m?
True
Let u(y) = -137*y**3 - y**2 - 2*y - 1. Suppose 2*z = 4*f - 5*f + 5, -5*f + 25 = -z. Suppose 3*t + z*t + 3 = 0. Is 24 a factor of u(t)?
False
Let z = 6452 - 4853. Is z a multiple of 13?
True
Suppose 912 = 6*t + 6*t. Let o = t + -71. Suppose -5*f = -4*v + 503, -4*v - o*f + 420 = -133. Does 12 divide v?
True
Let a(k) = 13*k - 46 + 19*k + k**3 + 15*k**2 + 40 - 25*k. Suppose w = 9 - 23. Is 13 a factor of a(w)?
False
Suppose -4*j - 24 = -2*w - 2*w, -8 = 4*w + 4*j. Suppose 8 = w*g, 6 = -u + 4*g - 3*g. Does 30 divide (-239)/u + 11/22?
True
Let q(i) = 98*i**2 - 5*i + 6. Is 37 a factor of q(7)?
True
Let j(h) = h**2 - 21*h + 155. Let t(p) = p**2 - 20*p + 150. Let a(m) = -3*j(m) + 4*t(m). Does 68 divide a(31)?
False
Let s be 1951/6 + (-9)/54 - -3. Suppose 0 = 5*z + 3*z - s. Is z + 4/(0 + -2) a multiple of 18?
False
Suppose 54 = -9*n + 243. Suppose t - 4 - 2 = -4*u, -4*u - 6 = -t. Suppose 0 = v + t*l - 7*l - n, -5*v + 4*l = -101. Is v a multiple of 17?
True
Suppose -y = -c - 2122, 15*y - 2122 = 14*y + 4*c. Suppose 4*s + 0*s + 3*r = y, 5*s = 5*r + 2670. Is 38 a factor of s?
True
Suppose -3*n = t - 5363, -4*t = 3*n - t - 5361. Does 36 divide n?
False
Let y(c) = -4*c**3 - 13*c**2 + 27*c + 111. Is y(-13) a multiple of 38?
False
Does 74 divide ((-8)/(-92) - (-45111)/(-92))/((-2)/64)?
True
Let y(d) = 64*d**3 - 29*d**2 - 129*d**3 + 66*d**3 - 86 - 17*d. Is 19 a factor of y(30)?
True
Suppose l = -2*p - 0*p + 127, 0 = -3*l + 2*p + 341. Let y be l/52*(-8)/(-6). Let j(f) = 31*f + 3. Is j(y) a multiple of 28?
False
Let s(y) = -2*y**2 - 18*y + 8. Let a = -112 + 113. Let k = a - 6. Is s(k) a multiple of 8?
True
Let f be (90/(-14) + 3)/(4/140). Let d = f + 125. Suppose 2*g - d*j - 47 = g, 2*g - 82 = -2*j. Is g a multiple of 21?
True
Suppose 3*k - 34*h = -29*h + 12475, 5*h - 35 = 0. Is k a multiple of 133?
False
Suppose 98227 = 122*w - 46*w - 59169. Is 30 a factor of w?
False
Let w(d) = 6*d - 21. Suppose -5 = 2*o + 5*c + 5, 5*c = 4*o + 20. Let r(g) = -7*g + 22. Let m(b) = o*w(b) - 4*r(b). Does 7 divide m(-7)?
False
Suppose 695 = 12*b + 191. Suppose b*m = 7*m + 840. Is 9 a factor of m?
False
Let j be (-1)/3 - 9730/(-21). Let a = -162 + j. Does 5 divide a?
False
Is (-1)/(10/(-73084)) + ((-234)/65)/9 a multiple of 29?
True
Suppose -23 = -3*c + 2272. Suppose 207 = -9*k + c. Is k a multiple of 21?
False
Let m = -2660 - -2662. Let q = 824 + -493. Is (q + (3/(-1))/(-1))/m a multiple of 16?
False
Suppose 0*k = -4*a - k + 374, -4*a + 376 = 2*k. Suppose 4*z - 3*p = a, 27 = 2*z - z - 2*p. Does 3 divide z?
True
Suppose -16*l + 37 = -107. Does 21 divide l*(-7)/(-21) + 690?
True
Is 247 a factor of -1 + -1 - -53169 - (-7 + (23 - 9))?
False
Let u = 497 - 451. Is u a multiple of 3?
False
Let c = -6816 + 9132. Is 81 a factor of c?
False
Let f(g) = 4 + 70*g - 37 - g - 4*g. Does 24 divide f(9)?
True
Let n(x) = -15*x - 133. Let m be n(-9). Suppose -m*t = 7*u - 12*u - 535, -4*t = u - 1125. Is t a multiple of 20?
True
Let z = 4205 + -1710. Is 5 a factor of z?
True
Let o = 40 - 37. Suppose 4*z = o*z - 11. Let l = z - -36. Does 22 divide l?
False
Suppose 0*h = 3*h + 990. Let t = 993 + h. Is t a multiple of 13?
True
Let x(i) = -i**3 - 15*i**2 - 305*i - 4134. Is x(-15) a multiple of 3?
True
Suppose -225389 - 623064 = -74*s + 130419. Is s a multiple of 37?
False
Let p(x) be the third derivative of 11*x**5/60 - 4*x**4/3 + 23*x**3/3 - 275*x**2. Does 22 divide p(8)?
False
Let j(f) = 2*f**2 + 14*f + 15. Let l be j(-6). Suppose 5*t - g - 193 = 0, -3*g = -0*t - l*t + 111. Suppose -14 + t = x. Does 25 divide x?
True
Let l = 73 + -74. Let s(j) = -3*j**3 + 2*j**2 - 1. Let h be s(l). Is 9 a factor of 2/1 + 68/h?
False
Let u(s) = 1463*s**2 - 2*s + 2. Is u(2) a multiple of 50?
True
Let g(c) = -1787 + 860 - 12*c + 898. Does 16 divide g(-8)?
False
Let t = 2130 + 4030. Is t a multiple of 112?
True
Suppose -l - 77 = 2*d, 185 = -5*d - 4*l - l. Let x = d + 43. Let o(n) = 7*n**2 + 14*n - 2. Is o(x) a multiple of 14?
False
Let v(k) = 5*k**2 - 15*k + 35. Let r(b) = b**2 + 2*b - 2. Let s be r(-4). Let c(o) = -11*o**2 + 30*o - 70. Let n(m) = s*c(m) + 13*v(m). Does 19 divide n(-13)?
False
Is (0 - 2)/(-11 - 1218312/(-110760)) a multiple of 16?
False
Let d be (-6)/(((-132)/(-8))/(-11)). Suppose 654 = d*l + w - 3157, 967 = l + 5*w. Is 21 a factor of l?
False
Let h(l) = -2*l - 40. Let d be h(-20). Let u(f) = -f + 292. Let b be u(d). Suppose 0 = -3*m + 4*i + b, 137 + 161 = 3*m - i. Is m a multiple of 20?
True
Let t(d) = 4*d**3 - 30*d**2 - 16*d - 48. Is 2 a factor of t(10)?
True
Suppose r - 5 = 0, -147 = 3*v - 4*v + 5*r. Suppose -2*o - v = -c, -1220 + 316 = -5*c - o. Is 10 a factor of c?
True
Does 63 divide 5 + (-265)/20*-1388?
True
Suppose -1678*i + 1696*i - 2556 = 0. Is i a multiple of 11?
False
Let i(h) = h**3 - 10*h**2 - 8*h - 9. Let y be i(11). Does 21 divide (33/y*-2)/((-1)/84)?
True
Let d(j) = -5*j**3 - 4*j**2 + 2*j + 7. Let b be d(-3). Suppose -n + 4*v + 422 = 0, -4*n + 1752 - b = 2*v. Does 12 divide n?
False
Let b(w) = w**3 + w**2 + 8*w + 17. Let k be b(0). Is 12816/k - ((-600)/(-102) + -6) a multiple of 42?
False
Suppose 82097 = 80*q - 71903. Is q a multiple of 7?
True
Let m(y) = -35*y - 911. Is m(-32) a multiple of 3?
False
Let u = 2682 + -2721. Let l = 34 - -18. Let q = l + u. Does 3 divide q?
False
Suppose -30*w - 162 = -12*w. Is 22 a factor of 8472/18 - 3/w?
False
Let l(d) = -19*d**2 - 323*d - 59. Is 73 a factor of l(-15)?
True
Let z = -1647 - -2703. Suppose z + 2112 = 11*r. Is 18 a factor of r?
True
Let w = -6 + 12. Let c(m) = -15*m - 1. Let g(v) = -14*v + 3. Let z(s) = 2*c(s) - 3*g(s). Is 13 a factor of z(w)?
False
Suppose -13*i + 58752 = 3*i. Suppose 9*z - i = -0*z. Does 80 divide z?
False
Suppose 251781 = 43*b + 19*b - 92629. Does 44 divide b?
False
Let f(p) = -10*p**3 - p**2 - 1 + p - 3*p**3 + 8*p**3 - p**2. Let x be f(2). Let b = -36 - x. Does 7 divide b?
False
Let h(g) = -g**2 + 12*g - 19. Let f be h(7). Suppose -4*a = -f, 2*q + 3*a = 7*q - 1928. Does 31 divide q?
False
Does 29 divide 1/((-195)/806) + (-2)/(-15) - -7092?
False
Suppose -2*h = -9*h. Suppose h = 13*c + 533 - 1586. Does 7 divide c?
False
Suppose -f + 322 = -5*o - 0*o, 3*f - 5*o = 916. Is (-4)/(-22)*1297 - (-54)/f a multiple of 19?
False
Suppose 0 = 3*h - 5*l - 92944, 0 = 17*h - 22*h - 3*l + 154952. Is h a multiple of 127?
True
Let l(o) = o**3 - 18*o**2 - 29. Let a be ((-184)/69)/((-1)/6). Let s be l(a). Let r = -277 - s. Does 24 divide r?
True
Suppose -5*h + d = -16, 3*h - 5*d = 3 - 11. Suppose -6 = -j - 2, -h*u = -3*j + 28. Does 34 divide (4*4)/(u + 165/40)?
False
Let x(d) = -7*d**2 + 7*d - 3. Let o be x(-8). Let y = -115 + o. Does 12 divide y/(-10) - (-11)/(-55)?
False
Let t = -243 + 61. Let j = t + 266. Does 25 divide j?
False
Suppose 0 = -9*f + 56 - 2945. Let y = -130 - f. Does 13 divide y?
False
Suppose 25*z + 4 = 27*z. Let y(r) = r**3 + 7*r**2 - 9*r + 3. Let t be y(6). Suppose 5*f - 4*n - t = -0*n, -z*n = 4*f - 318. Does 14 divide f?
False
Let c be -2*6/8*(-3258)/27. Let t = 59 + c. Is t a multiple of 10?
True
Suppose -b + 154 = 10*b. Does 17 divide ((-72)/b)/((-62)/10633)?
False
Let n = 259 + 2219. Does 7 divide n?
True
Does 10 divide (360/(-210))/(3/(-8001))?
False
Let g be 6/(-12)*-6 - 9*43. Let a = 100 - g. Is a a multiple of 27?
False
Let f be (10/(-15))/(2/(-9)). Suppose -f*k + 1061 = 3*p - 847, -5*k - 1307 = -2*p. Is 10 a factor of p?
False
Is 37840/3 + (779