?
False
Let c = -16205 + 21197. Does 48 divide c?
True
Suppose 5*n + 4*p - 7638 = 0, 5*p = 27*n - 26*n - 1545. Is 6 a factor of n?
True
Let k(a) be the third derivative of -a**6/120 - 7*a**5/60 - 5*a**4/24 + 7*a**3/3 - 23*a**2. Let t be k(-6). Suppose -5*d + 192 = -t. Is d a multiple of 13?
False
Let q(w) be the third derivative of -7*w**4/12 + 34*w**3 + 138*w**2. Is q(-22) a multiple of 8?
True
Let u(x) = 14*x**2. Suppose 3*g + 26 + 154 = -2*j, -3*j = 5*g + 299. Let w = 61 + g. Does 47 divide u(w)?
False
Let q = 2272 - 2234. Is 11 a factor of q?
False
Suppose -394337 = -89*v + 1315798. Is 105 a factor of v?
True
Suppose 14*x = -148 - 48. Let r(j) = -70*j - 39. Is r(x) a multiple of 61?
False
Suppose 7*p - 100314 + 1327 = 0. Does 12 divide p?
False
Suppose -6*g + 108 = 4*q - 2*g, 0 = 2*q - 4*g - 24. Suppose o = 5*x + q, 4*o - 30 = -x + 163. Is 4 a factor of o?
False
Suppose 13*w + 2*w = 1185. Let r = w - 34. Is r a multiple of 11?
False
Suppose 2*s + 350 = 1010. Is 33 a factor of s?
True
Let d(p) = -17*p - 65. Let h be d(-4). Let s(q) = 13*q**3 + q**2 - 12*q + 12. Is s(h) a multiple of 12?
True
Suppose -7*i + 9*i = 0. Suppose -3*o + 5*o = 5*h - 511, -5*h = -o - 513. Suppose i = 3*g - h - 17. Is 5 a factor of g?
True
Suppose 271 - 28 = 9*v. Let x = v + 119. Does 7 divide x?
False
Let z(k) be the third derivative of 3*k**4/2 - 10*k**3 - 4*k**2 - 10*k. Does 19 divide z(8)?
True
Let d(x) = 4*x**2 + 26*x - 9. Let g be d(-7). Let v(o) = -3*o**2 + 12 + 3*o + 0 + 1 + g*o**2. Is 9 a factor of v(-7)?
True
Let l = -24 + 26. Let w be (-76)/(-171)*9/2. Does 8 divide 47/w + (-1)/l + 1?
True
Suppose -164 = 5*t + 286. Suppose 115 + 95 = 21*i. Let l = i - t. Does 7 divide l?
False
Let t = 15800 - 968. Is 144 a factor of t?
True
Suppose 358*h - 81676 = -2*r + 360*h, 163346 = 4*r - h. Does 246 divide r?
True
Let d(f) = 3*f**3 - 8*f + 40. Let k be d(8). Let o = k + -990. Is o a multiple of 58?
True
Suppose 757 = 2*s + 741. Does 20 divide 41 + s - (-1)/1*-1?
False
Suppose -2*k = 8, -2*q + 10*k + 8386 = 6*k. Does 113 divide q?
False
Let g(m) be the second derivative of -m**3/6 + 22*m**2 + 69*m. Is g(12) even?
True
Suppose -5*p - u + 185737 = 0, p = -295*u + 291*u + 37174. Is 15 a factor of p?
False
Let i(z) = -3*z**2 + 12*z + 7. Let x be i(6). Let a = x + 17. Is a/(-10)*15/6 a multiple of 3?
True
Suppose -2560 = 38*z - 28*z. Does 10 divide z/448 + 708/14?
True
Suppose -2*p = 3*v - 764, 2*v + 4*p - 3*p = 508. Let a = v - 112. Is 7 a factor of a?
True
Suppose -5*d = 2*h - 45005 + 1293, 26208 = 3*d - 2*h. Is d a multiple of 46?
True
Let v(w) = -12*w - 194. Let t be v(0). Let a = 360 + t. Is 9 a factor of a?
False
Let g = -860 + 1472. Is g a multiple of 6?
True
Let m = -475 - -483. Suppose 0 = 3*l + m*l - 1881. Does 9 divide l?
True
Suppose -25*c + 11221 = -16279. Is 26 a factor of c?
False
Let s = 52652 + -18934. Is 46 a factor of s?
True
Suppose 0 = -b + u + 547, 3*b = -0*b - u + 1621. Suppose -6*o + 10*o = -h + b, 0 = -2*o - 2*h + 268. Is 5 a factor of o?
False
Let f be (-1 - 1066/(-10)) + (-10)/(-25). Suppose 104*n - f*n - 4 = 0. Is 5 a factor of n + 0 + (5 - -119)?
False
Suppose -5*o - 17 = 2*z, 3*o = -4*z - 18 - 9. Let f be (10/(30/27))/(z/(-8)). Suppose -5 = -d + 5*s, -3*d - 2*s - f = -61. Does 3 divide d?
True
Suppose -12 - 23 = -3*c + 5*k, -2*c + 50 = 2*k. Let p = c + 134. Suppose s = -6*s + p. Is 11 a factor of s?
True
Let c be (-8)/4 - (1 - 19). Let r = -19 - c. Is 19 a factor of 4 - ((r - -1) + 2)?
False
Let f = 247 - 242. Suppose -10*a = -f*a + 2*o - 926, -5*a + 905 = -5*o. Does 21 divide a?
False
Does 112 divide (-7)/((-91)/268047) - (-40)/10?
False
Let j = -9693 + 13513. Is j a multiple of 2?
True
Let a be 6/33 - (-48)/(-264). Suppose -11*m = -9*m + 3*v - 39, -2*m + 5*v + 15 = a. Is m a multiple of 4?
False
Let r be (-5)/(15/6)*63/(-14). Suppose r = -t + m - 0, 4 = 2*m. Let v(x) = -5*x - 11. Is 12 a factor of v(t)?
True
Let y(j) = -8*j + 7. Suppose 20 = -5*f - 10. Let h be y(f). Is (-11)/h - (-82)/10 a multiple of 8?
True
Let q(y) = -2657*y + 499. Is q(-3) a multiple of 77?
True
Let l(g) = g**3 + 19*g**2 - 4*g + 21. Let s be l(-11). Suppose s + 1919 = 12*d. Is d a multiple of 8?
False
Let p(h) = -3*h**3 - 177*h**2 + h - 418. Is p(-62) a multiple of 11?
False
Let s = 17 - 50. Does 14 divide (s/6)/(8/(-1344))?
True
Suppose 3530450 = 94*s - 37*s - 2*s. Is s a multiple of 14?
True
Let h = -48 + 52. Does 10 divide h*(-2)/(-40) - (-374)/5?
False
Let s be (-18)/12*(-1 + -1). Suppose s*v = -2*v - 2*v. Suppose 2*d + 2*n = 55 + 9, v = -3*d + 3*n + 108. Is 32 a factor of d?
False
Let o(m) = 91*m**2 - 11*m - 12. Let h be o(4). Suppose -5*x = -x + 5*s - h, -2*s + 1400 = 4*x. Does 25 divide x?
True
Let r = 16544 - -4481. Is r a multiple of 214?
False
Suppose 6245 = -4*w + 9*w. Suppose w = 13*h - 1663. Is 16 a factor of h?
True
Let n = -5560 + 9278. Is n a multiple of 26?
True
Suppose -2187 = 59*u - 914327. Is 192 a factor of u?
False
Is (-42 - -130)/(1/36) a multiple of 66?
True
Suppose -4*x = 2*c - 9160, 4*x + 3*c + c - 9160 = 0. Does 5 divide x?
True
Suppose 2*y - k + 8 = 0, 0*y + 16 = -4*y + 5*k. Let z be 3 + (7/28 - 795/y). Let v = z - 42. Is v a multiple of 40?
True
Let n = 36090 + -10182. Is 102 a factor of n?
True
Suppose 0 = 22*c - 13*c - 2844. Suppose -x = 2*u - c, -3*u + 425 + 43 = 3*x. Is 32 a factor of u?
True
Let x be (-2)/(-5) + 664/40 + 3. Let g be 26 + 1 - (3 + x/(-5)). Suppose 3*m = m + g. Is 3 a factor of m?
False
Suppose 0 = -43*c + 25*c + 56880. Is 8 a factor of c?
True
Let k(x) = -34*x**2 + 64*x + 1. Let u(h) = -11*h**2 + 21*h. Let f(d) = -2*k(d) + 7*u(d). Let j(s) be the first derivative of f(s). Does 26 divide j(-6)?
False
Suppose -6*t = -10*t + a - 346, -2*a - 254 = 3*t. Let i be 2/3 - 4*1103/12. Let l = t - i. Is 21 a factor of l?
False
Let r = 5 - 3. Suppose 8*l = r*l + 42. Suppose -14*o + l*o + 1414 = 0. Does 8 divide o?
False
Let o = -1626 - -17023. Is o a multiple of 70?
False
Suppose 7*x + 8*x + 6435 = 0. Does 13 divide ((-74)/(-6))/((-4730)/x + -11)?
True
Let z(f) = -2*f**3 + f**2 - f - 2. Let b be z(-1). Let u(h) = 2*h**2 - 2*h - 1. Let a be u(b). Suppose 0*q = a*q - 186. Is 31 a factor of q?
True
Suppose 17*i - 9 = -4*a + 20*i, -3*a - 3*i = -12. Suppose -2*p + 115 = a*u, -33 = -2*p - 2*u + 87. Is p a multiple of 13?
True
Let d = 1504 - 1508. Let k(t) be the second derivative of t**4/2 - 7*t**3/3 - 18*t**2 - 3*t. Is k(d) a multiple of 29?
True
Let m(g) = 4*g**2 + 2*g - 7. Let u be m(-5). Let o be (-624)/(-338) - (-2)/13. Is 12 a factor of u + (5 - o) + -2?
True
Let r(h) = -10*h - 55. Suppose -5*k + 3*k + 162 = 0. Let c = k + -88. Is r(c) a multiple of 3?
True
Suppose -21*k - 17474 = -25*k - s, s - 13107 = -3*k. Is k a multiple of 51?
False
Let a(u) = -u**3 + 20*u**2 - 28*u + 125. Does 16 divide a(13)?
True
Suppose 0 = -n - 4*n + 35. Let u(b) be the first derivative of -b**3/3 + 19*b**2/2 - 34*b - 162. Does 4 divide u(n)?
False
Let f be (19/(-3))/((-5)/1350). Let t = f - 1192. Does 14 divide t?
True
Let d(b) = -10*b - 35. Let y be d(-4). Suppose -4*n + 192 = -y*x, 2*n + 5*x - 63 - 3 = 0. Is n a multiple of 29?
False
Let h(v) = -2*v**3 - 10*v**2 - 12*v**2 + 6 + 29*v**2 + 4*v - 11*v**2. Is 14 a factor of h(-5)?
False
Suppose 17*k = -6 + 23. Is 38 a factor of 185 + 2 + (-8)/(-4) + k?
True
Let w = -26 + 30. Let x be (-1725)/135 - (w/(-9))/(-2). Let h = x - -59. Is h a multiple of 23?
True
Does 45 divide -12 - (-12046 + (4 - 13))?
False
Let a(i) = 539*i + 2800. Is 26 a factor of a(10)?
True
Let n(z) = z**2 + 19*z - 1344. Is 32 a factor of n(48)?
False
Let l(w) = 41*w - 13. Suppose 4*o - 33 = -5*a, 2*o = 2*a + 4 - 10. Let g be o/6 - (32/(-6))/2. Is l(g) a multiple of 11?
True
Let h = -808 - -1046. Suppose 3*o - 15 = 0, -h = -g - o + 827. Does 10 divide g?
True
Suppose -n + 255 = 1044. Let s = 1341 + n. Is s a multiple of 25?
False
Let b = 188 + -183. Let j(n) = 4*n**3 - 7*n**2 + 12*n + 6. Is j(b) a multiple of 17?
True
Let i be 34/(-289) + 99048/51. Suppose -2*d + i = 3*l, 2*l = 4*l - 2*d - 1298. Does 14 divide l?
False
Let h be ((-14486)/(-18) - 0) + 6/27. Suppose -4*f + 4*s - h = -f, 3*s = -2*f - 565. Let j = f + 431. Is 52 a factor of j?
True
Let r(t) = -3*t**2 - 27*t + 21. Let j be r(8). Let g = 152 - j. Is 11 a factor of g?
True
Supp