11, c - g = -4*f. Is 39 a factor of c?
False
Let o(x) = -2*x**3 + 23*x**2 + 8*x + 39. Let g(d) = 3*d**3 - 35*d**2 - 12*d - 59. Let z(c) = -5*g(c) - 7*o(c). Does 27 divide z(13)?
True
Is 4 a factor of -4*(-27)/(-18) + 170*(-145)/(-10)?
False
Suppose -g = 3*h - 12, 0*g = -4*g - h + 4. Let u be 22 - (-1 - (g - 3)). Suppose 0 = -4*r + u, 8*o + 4*r = 4*o + 40. Is o a multiple of 3?
False
Let x(q) = 187*q - 56*q + 51 - 102*q. Is 43 a factor of x(16)?
False
Let r be (2/(-6))/(1/(-6)*2). Is (150/35)/(r*4/588) a multiple of 14?
True
Suppose -3*q + 750 = 2*x, 3*q = 5*q + 3*x - 500. Let z be (-15)/(-8) - (-27)/216. Does 22 divide q/z - (-3 + 3)?
False
Is 1934 - (891/11)/9 a multiple of 25?
True
Suppose 5 = m, -i + 53*m + 23689 = 55*m. Is i a multiple of 47?
False
Let z(t) = 67*t**2 + 13*t + 90. Let y be z(-9). Suppose 0 = -20*a + 15*a + y. Is a a multiple of 15?
True
Suppose -4 = -3*s + d, -s - s - 3*d = 1. Let i be s - (-4 + (4 - 464)). Suppose -7*o + 4*o = -i. Is 14 a factor of o?
False
Suppose -74*x = -75*x. Suppose -4*u + 4*s + 1968 = 0, x = -0*s - 3*s. Does 41 divide u?
True
Let r = 63 - 59. Suppose -r*h + 17 = 3*z, 7*h = 2*h - z + 24. Suppose 0*g - 210 = -5*g + 5*j, -h*j - 132 = -3*g. Is g a multiple of 13?
True
Let c be 0/(2 - (-20)/(-5)). Suppose c = h - 6*h - 920. Let f = h - -274. Is 15 a factor of f?
True
Let w be 5 + 2 + -2 + -14 + 14. Suppose -654 = -4*f - 2*p, -f - 84 + 234 = w*p. Is 29 a factor of f?
False
Let v = -455 - -472. Suppose 15*z - 3264 = -v*z. Does 17 divide z?
True
Let d(w) = -w**3 + 15*w**2 - 6*w + 29. Let p be d(15). Let u = p - -116. Let a = -50 + u. Does 4 divide a?
False
Suppose -2*b - 64 = 32. Let h = 50 + b. Suppose 0 = -2*v - 5*i + 103, 2*v + h*i - 114 = -20. Does 7 divide v?
False
Suppose 10 = 5*z - 10. Let f(a) = -10 + 24*a + 5 - 7. Is 12 a factor of f(z)?
True
Let i be (-7136)/(-14) + (-4)/(-14). Suppose 1113*x = 1124*x - 242. Suppose -x*r = -24*r + i. Is r a multiple of 15?
True
Does 26 divide (-2042816)/(-590) - (-13)/5?
False
Let y = 62 + -48. Suppose 2*w + y = -u + 4*w, 0 = -3*u - 4*w - 2. Let z(g) = 3*g + 20. Is z(u) a multiple of 2?
True
Let n = 200 - 199. Does 67 divide 0 + (609 - 7) + n?
True
Is 20 a factor of 3/15*-116*(-660)/24?
False
Let g = -2017 - -3732. Is g a multiple of 35?
True
Suppose 4*m - 93 = 31. Let o = m + -29. Suppose -o*l + 4*t = -280, -5*l - 3*t + t = -724. Does 20 divide l?
False
Suppose 3*y - 434 = 26*o + 2837, -5*o = y - 1104. Is y a multiple of 141?
False
Suppose b + 3*n - 5 = -6, 4*b + 4*n - 12 = 0. Suppose 2*q - 991 = -3*u, -33 = b*q - 13. Is u a multiple of 7?
False
Let b = 11 - -8. Let m be b/4 + 18/(-24). Suppose m*q - 153 - 15 = 0. Is 9 a factor of q?
False
Let n(d) = d**3 + 21*d**2 + 19*d - 18. Let c be n(-20). Let k(q) = -q**3 + q**2 + 5*q - 6. Let w be k(c). Suppose -v = -w*v - 54. Is v a multiple of 9?
True
Let z(n) = -5*n - 5. Let j(y) = -10*y - 11. Let o(p) = 4*j(p) - 9*z(p). Does 12 divide o(19)?
True
Suppose 4*g + 3785 = 569. Let k = -533 - g. Is k a multiple of 20?
False
Let d be 20/8 - 7/(-14). Suppose 2*w + d*v = 7, 0*v = -3*w + 5*v + 20. Suppose 5*g + 427 = 3*r, 0 = 5*r - 6*r - w*g + 149. Does 9 divide r?
True
Suppose 58*w - 59*w - 12 = 0. Is 6 + w - (0 - 83) a multiple of 4?
False
Let q = 5 - -141. Let d = q - 42. Suppose 3*w + 3*m - 78 = 5*m, m + d = 4*w. Does 13 divide w?
True
Is (15*-1)/((-2)/(-14)*468/(-2964)) a multiple of 7?
True
Let r = -163 + 691. Let z = -281 + r. Suppose -2*n + z = -x, -2*n = x - 307 + 70. Is n a multiple of 11?
True
Suppose 2959 = 5*r + q, 5*r - 7*r = 4*q - 1180. Let t = 1040 - r. Is t a multiple of 28?
True
Let v(b) be the third derivative of 0 + 0*b - 7/24*b**4 - 26*b**2 - 25/3*b**3. Is v(-13) a multiple of 4?
False
Let t = 245 - 448. Let o = t - -242. Does 8 divide o?
False
Let g(h) = h + 1. Let i(r) = 1. Let l(v) = -g(v) + 2*i(v). Let f be l(-2). Suppose -y = f - 63. Is 16 a factor of y?
False
Let l be (-1216)/56 + 27/(-21) + 1. Let r = l + 55. Is 9 a factor of r?
False
Let y(r) = r**3 + 8*r**2 + 4*r - 16. Let n be y(-7). Suppose -12*a = -n*a - 2730. Is 31 a factor of a?
False
Let o be (48 + 0)*14/(-4). Let z = o + 279. Does 18 divide z?
False
Let y = 9980 - 6108. Does 16 divide y?
True
Suppose 0 = -4*f - 2*t + 67494, 0 = 4*f + 56*t - 58*t - 67506. Does 135 divide f?
True
Suppose 24373 = 16*n - 17643. Does 13 divide n?
True
Let i = -1178 - -760. Let w = i + 610. Does 23 divide w?
False
Let z be (0 + -177)/(2*(-13)/78). Suppose b - 366 = 2*r - 88, -r + z = 2*b. Is 16 a factor of b?
False
Is 7 a factor of -9*(-9 + (-5445)/81)?
True
Let f be (-673 + -17)/((-3)/2*1). Suppose 3*p = 200 + f. Is 32 a factor of p?
False
Let w(v) = -129*v - 49. Let g be w(-6). Suppose -4*r = -2*z + r + g, -5*z + 3*r = -1803. Is z a multiple of 24?
True
Let b(r) = -r**3 - 103*r**2 + 182*r - 220. Is 10 a factor of b(-105)?
True
Suppose m - 1 = -4*u + 38, u + 5*m - 5 = 0. Does 29 divide 10/u*(-26 - 3)*-3?
True
Let s(r) = -7*r**3 + 15*r**2 + 4*r - 42. Let u(q) = 12*q**3 - 30*q**2 - 7*q + 83. Let i(v) = -5*s(v) - 3*u(v). Is i(10) a multiple of 32?
False
Suppose -7791 = -78*r + 36669. Is 57 a factor of r?
True
Suppose 118*f + 28 = 116*f. Does 47 divide 7/(f/(-736)) - (-4 - -5)?
False
Let o = 476 - 125. Let j = -99 + o. Is 14 a factor of j?
True
Let s(f) = -2*f - 9. Suppose 4*v = -8, 4*d - v = -6*v - 34. Let y be s(d). Suppose 6*g - 288 = y*g. Does 32 divide g?
True
Let b(v) = -15*v**3 - 5*v**2 - 10*v - 18. Let u(p) = p**3 + 29*p**2 - 63*p - 35. Let y be u(-31). Does 22 divide b(y)?
True
Let m(d) = 12*d**2 - 5*d - 10. Let x be m(-2). Let c = 1 - -7. Let f = x + c. Is 4 a factor of f?
True
Let m be 30/144*6 - (-444)/16 - 5. Let j(h) = h**3 + 5*h**2 + 2. Let q be j(-5). Suppose 26 + 2 = y - 2*c, -m = -y - q*c. Is 6 a factor of y?
False
Let i be -4 + ((-7)/(-14) - 998/4). Is 16 a factor of (-63)/(-84) + i/(-4)?
True
Suppose 0*v + 269 = -2*b + 5*v, 4*b - 4*v + 520 = 0. Let m = -1658 + b. Is 16 a factor of (-6 - -1) + m/(-21)?
True
Let h(r) = -464*r - 3*r**2 + 3 + 966*r - 473*r + 6*r**3. Is h(5) a multiple of 54?
False
Let l be (2/(-6))/((-3)/(-45)). Let f(c) = 28*c**2 + c - 11. Let d be f(l). Suppose -13*q = -7*q - d. Does 24 divide q?
False
Suppose 4 = -3*j - 2*x, -2*j + 4*x = -0*x + 8. Let b be 3 - (j + (-4)/(-2)). Let q(l) = 15*l + 7. Is 13 a factor of q(b)?
True
Suppose -4*o - 11 = -p + 14, 5*p - 5*o = 50. Let c(y) = 145*y - 357. Is 16 a factor of c(p)?
True
Suppose -2220 = -4*m - 402*p + 398*p, 0 = 3*m - p - 1645. Is 3 a factor of m?
False
Let z(q) = -6 + q**3 - 34*q**2 - 11 - 2 + 0 - 2 + 180*q. Does 35 divide z(28)?
True
Let k(y) = 2*y**3 + 60*y**2 + 2*y + 56. Is 112 a factor of k(-28)?
True
Let y = 12227 + -6252. Is y a multiple of 5?
True
Let l be (-683)/(-6) - 42/(-252). Suppose 120*u - 3204 = l*u. Does 24 divide u?
False
Suppose -3*l - 6*i = -3*i + 1296, -3*i + 1296 = -3*l. Let x be 1/(2/l*2). Let g = x - -183. Is 19 a factor of g?
False
Let y(h) = 417*h**2 + 51*h + 87. Is y(-7) a multiple of 33?
True
Suppose -3*a + a - 78 = 5*f, 2*f = -a - 32. Let g be 4/f - 2247/(-147). Suppose g*w = 13*w + 64. Does 7 divide w?
False
Let o(u) = 35*u**3 - 6*u**2 + 5*u - 5. Let f be o(2). Suppose -4*q - w = -657, 3*q - 3*w = 765 - f. Is q a multiple of 5?
True
Let j = 8 - -2. Suppose -3*x - 6 = -3*b, -2*b + j = -0*b. Is 11 a factor of 18/1 + x/2*-2?
False
Let v(l) = 8*l - 64. Let c be v(9). Let m(y) = -405*y**3 - c*y - 8 + 404*y**3 - 16*y - 4 - 15*y**2. Is m(-14) a multiple of 15?
False
Suppose -5*z = 2*c - 7*c + 10, 5*c - 20 = 0. Suppose z*l - 5126 = -5*r, l - 2050 = 6*r - 8*r. Does 38 divide r?
True
Let l be (-5 - 6222)/((-5)/10). Suppose 34*n - l = 704. Is 22 a factor of n?
False
Let w be (2 - 8)*(-1)/2. Suppose -3*g = w*z - 28 + 10, 21 = 2*z + 5*g. Does 7 divide -12*z/(-18)*26?
False
Let j = -13 + 21. Suppose g + 2*q = 4*q + 4, 4*g - 4*q = 0. Is 8 a factor of j/(1*(g - -5))?
True
Suppose -90 = -6*v + 414. Let y = v - 26. Suppose -3*m = -2*p + 125 + 11, -m = p - y. Does 33 divide p?
False
Suppose 1 = 2*d + 20*p - 23*p, -4*d + 3 = -5*p. Suppose -s + 2*b = -559, 5*s = d*s + b + 1672. Is 40 a factor of s?
False
Suppose 2*h - 2*r - 10396 = 0, -r + 5282 = 3*h - 10296. Does 3 divide h?
False
Does 106 divide 1060/6*(-3648)/(-190)?
True
Let s(p) = 2*p**3 + 44*p**2 - 23*p - 18. Let