 2*m - 12, -5*d + 24 = -2*m. Suppose -y + d*u + 15 = -22, -y + 5*u = -40. Suppose -y*v - 57 = -28*v. Is v a multiple of 9?
False
Let g(j) = -j**3 - 23*j**2 - 22*j + 80. Is g(-24) a multiple of 37?
True
Is (-84)/63*1749/(-2) a multiple of 17?
False
Suppose 2088 = -27*h + 30*h. Suppose -3*w - h = -7*w. Is w a multiple of 29?
True
Let j(z) = z**3 + 11*z**2 - 4*z - 4. Let o be j(-11). Let p = o + -12. Is 8 a factor of (4 - 32/4) + p?
True
Suppose -5*t + 197 - 51 = -2*m, -m + 137 = 5*t. Let w = t + -25. Suppose -14 = -w*z - 2. Is z a multiple of 4?
True
Let m(f) = 63*f - 174. Is 51 a factor of m(40)?
True
Let m(o) = 2*o**3 - 23*o**2 - 27*o - 23. Let y(z) = -z**3 + z**2 - z - 1. Let t(l) = -m(l) - y(l). Is 40 a factor of t(23)?
False
Let n(y) = -4*y**2 + 11*y - 19. Let f be n(5). Is 15*4/(-8)*f/10 a multiple of 4?
True
Suppose -315*l + 1878 = -312*l. Is l a multiple of 23?
False
Is 24 a factor of ((-180)/14)/(-5*(-21)/(-6860))?
True
Suppose 2*t + 0 = 10. Suppose 2*x = -t*u + 68 + 41, -2*x + 3*u = -149. Is x a multiple of 15?
False
Let d(n) = -3*n + 30. Let q(c) = -8*c - 19. Let a be q(0). Is d(a) a multiple of 21?
False
Let i(g) = 4*g**2 + g. Let r be i(-1). Suppose -r*d + 4*d = -18. Is (-6)/d - (-40)/6 a multiple of 4?
False
Let f(d) = d**2 + 2*d - 12. Let l be f(10). Let u = -65 + 10. Let m = l + u. Is m a multiple of 12?
False
Suppose 2*l + 5*z - 1115 = 0, -5*l - 3*z = -8*l + 1641. Is l a multiple of 55?
True
Suppose -6*y = -18*y + 3312. Is y a multiple of 46?
True
Let v = -175 - -203. Is 28 a factor of v?
True
Suppose -2*g - 37 = -g. Let m = -62 - g. Let t = -15 - m. Is 3 a factor of t?
False
Let c = -132 - -201. Let l = c + -42. Is 19 a factor of l?
False
Let l be 4*(-2 - (0 + -1)). Let s = 31 + l. Suppose z + 107 = 5*d, -s = -3*d + 3*z + 42. Does 7 divide d?
True
Let q = 988 + -728. Is q a multiple of 20?
True
Let t(i) = -4*i - 20. Let w be t(-5). Suppose w = p + 9 - 23. Is 7 a factor of p?
True
Is 518 - (-7)/(77/44) a multiple of 29?
True
Let m = 118 - 100. Let n(c) = -c**3 - 10*c**2 - 10*c - 6. Let p be n(-9). Suppose p*z = -m + 72. Is z a multiple of 14?
False
Let d(n) = n**3 - 4*n**2 - 2*n - 9. Let u be d(4). Suppose -3*b = -2 + 8, 3*b = 3*c - 84. Let v = c + u. Is v a multiple of 3?
True
Let i(r) = r**3 + 21*r**2 + 10*r - 28. Let a be i(-19). Suppose -o + 8*o = a. Does 12 divide o?
True
Let o be 176*1/14 + 9/21. Suppose -450 = o*r - 18*r. Is r a multiple of 10?
True
Let f be 4/2*(6/(-4))/(-1). Suppose 0 = 3*n - f*l + 7 - 82, -2*l = -10. Does 3 divide n?
True
Let b be 12/(-3 - 1) + 1. Let o = b + 14. Is (o/12)/((-1)/(-83)) a multiple of 31?
False
Let l be -6*(1418/(-18) - (-2)/(-9)). Suppose 102 + l = 4*f. Does 18 divide f?
True
Let l(x) = 25*x - 127. Is l(24) a multiple of 21?
False
Let b be -14 + (-1 - (0 - 3)). Let q = 23 - b. Does 6 divide q?
False
Let g(o) = -4*o**2 + 7*o + 4. Let n(s) = 3*s**2 - 8*s - 4. Let i(h) = -2*g(h) - 3*n(h). Let c be i(10). Suppose 2*f + c*f = 216. Is f a multiple of 12?
True
Let p(i) = -4*i**2 + 10*i - 3. Let d be p(2). Is (28/(-35))/(d/(-60)) a multiple of 24?
True
Suppose 60*q - 640 = 56*q. Suppose -8*c + q = -4*c. Does 5 divide c?
True
Let j = 40 - 43. Let w be 1*j - (6 - 3). Let h = 114 - w. Does 40 divide h?
True
Let l = -228 - -226. Suppose -228 = -2*m - 4*z, -3*m + 5*m = 2*z + 210. Is (1/(-2))/(l/m) a multiple of 9?
True
Suppose 10*r + 1 = 5*r - 4*l, -5*l = 4*r + 8. Let p(m) = 17*m**2 - m**r + 15*m**2 - 29*m**2 - 4. Does 6 divide p(-2)?
False
Let l be 30 + 3/(-3) + -1. Let r be -6 + 5/15*-3. Let p = r + l. Is 11 a factor of p?
False
Suppose 0 = 28*g - 29*g - 5*b + 590, -2*g = 3*b - 1194. Does 8 divide g?
True
Suppose 2*t + 4*v = 10, -3*t - 2*t + 3*v = 14. Let i be -1 + t*(-2 + -3). Suppose 0 = 3*p - i*p + 52. Is p a multiple of 13?
True
Let p(l) = l**3 + 7*l**2 + 5*l - 3. Let a = 4 + -10. Let q be p(a). Suppose 0 = -3*h - q*o + 65 + 40, -3*h + o + 109 = 0. Is h a multiple of 12?
True
Suppose -k = -20*k + 5434. Does 33 divide k?
False
Suppose -2*r = 5*i + 23, 5*i = -2*r + 7*r + 5. Is 24 + i + 2 + 5 + -8 a multiple of 20?
True
Suppose 3902 = 4*c - 5*w + 761, -3*w + 3954 = 5*c. Does 4 divide c?
False
Let l be 0 + (-1 + 2 - -1). Let h(w) be the second derivative of 2*w**4/3 - w**3/3 + w**2 - 71*w. Is h(l) a multiple of 7?
False
Suppose 5*u - 15 = 2*u. Suppose 0 = -u*a + 408 - 43. Is a a multiple of 16?
False
Let c = 0 - -16. Let a = 10 + c. Let f = 40 - a. Is 4 a factor of f?
False
Let w = -28 + 57. Let g = 8 + w. Suppose 2*x - 66 = -j + 3*j, -x + g = -5*j. Is 10 a factor of x?
False
Let v = 815 - 639. Is 44 a factor of v?
True
Let h = -56 + 50. Let l(i) = -8*i - 3. Is l(h) a multiple of 12?
False
Suppose -8*r + 7*r = -102. Suppose -r = -a - 13. Does 18 divide a?
False
Suppose -1050 = -c + 120. Does 26 divide c?
True
Let t(c) = -c**3 + 2*c**2 + 4*c + 4. Let i be (12/8)/((-9)/12). Does 3 divide t(i)?
True
Let x(b) = b**3 + 3*b**2 - b - 3. Let y be x(-3). Let o = y + 60. Is o a multiple of 6?
True
Suppose -3*f = -7 + 1. Suppose f*w - 95 = 13. Is 6 a factor of w?
True
Let f(a) = 2*a + 1. Let t be f(2). Suppose t*u = -2*l + 410, 4*u - 247 = u - l. Is u a multiple of 21?
True
Let q be (-2)/(-5) - 104/(-40). Suppose 6*m - q*m + 3*t = -18, -2*t = -4*m. Let v(a) = -3*a**3 + a**2 - 4*a - 4. Does 8 divide v(m)?
True
Let f(l) = 16*l**2 - 78*l - 44. Let i(o) = 5*o**2 - 26*o - 15. Let u(y) = 3*f(y) - 10*i(y). Does 5 divide u(13)?
False
Let i = -527 - -741. Does 24 divide i?
False
Let z be (-13)/(156/40)*6/(-4). Suppose -3*t + 177 = 3*h, z*h + t - 6*t - 305 = 0. Is 15 a factor of h?
True
Let v = -899 + 1336. Does 23 divide v?
True
Does 25 divide 35/(-14)*(-22484)/55?
False
Let v(f) = 6*f + 20. Suppose -2*o - 5 = -13. Is 13 a factor of v(o)?
False
Let l(k) = k**2 + 6*k + 3. Let w(s) = -3*s + 8. Let o be w(5). Let m be l(o). Does 13 divide (-11)/(m/(-4) - -2)?
False
Does 31 divide (15/(-3))/(2/(-202))?
False
Let n(y) = -y**2 - 8*y + 14. Let v be n(-9). Suppose -87 = 4*f - v*f. Is 18 a factor of f?
False
Suppose 0*q - 156 = -3*q. Suppose 6*h = 10*h - q. Let l(c) = c**2 - 9*c + 6. Does 13 divide l(h)?
False
Let n(v) = 3*v - 8. Let q be n(7). Let u(l) = -l**3 - 5 + q + 3 + 2. Does 13 divide u(0)?
True
Let d(x) = 2*x**3 + x**2 + x - 2. Let l be d(1). Suppose -l*w + 5*w = 240. Is 10 a factor of w?
True
Let a be 6/(-5)*(-20)/1. Let k be (-1015)/4 - 6/a. Let s = -181 - k. Does 15 divide s?
False
Let v(x) = -x + 128. Let a be (0/2 + 1/(-2))*0. Is v(a) a multiple of 26?
False
Let i(k) = -k**2 + 44. Let q be i(0). Let c = -16 - -8. Let g = c + q. Is 18 a factor of g?
True
Suppose -29*w = -25*w. Suppose -5*l - 4*j + 1616 = 0, w = l + 4*j - 437 + 101. Suppose 5*n - 230 = l. Is 30 a factor of n?
False
Does 26 divide (-1)/8 + 146466/144?
False
Suppose 2*g - 4*h = 294, 3*g + 2*h = -h + 486. Is g a multiple of 24?
False
Let g = 150 + -66. Suppose 26*c - 24*c = g. Is c a multiple of 21?
True
Let v(g) = 549*g**3 + 2*g**2 - 5*g + 1. Is v(1) a multiple of 28?
False
Let k(j) = 5*j + 9 - 5*j + j - 2*j. Let y be k(3). Let s = 15 + y. Is s a multiple of 21?
True
Suppose 0 = 9*p - 0*p - 3060. Is 34 a factor of p?
True
Suppose 5*t - 1053 = -4*z, -1291 + 465 = -4*t + 5*z. Is 11 a factor of t?
True
Suppose -3*q - v - 17 = 0, 5*q = 2*v - 7*v - 25. Let r = 25 - q. Suppose -2*f - 6*p = -4*p - 50, f + 3*p = r. Does 11 divide f?
True
Let h(v) = v**2 + v - 6. Let p be h(5). Suppose 80 = 3*d - 40. Let o = d - p. Is 14 a factor of o?
False
Let o(j) = -6*j**3 + j**2 + j. Let x be o(-1). Suppose -a - 3*m = 26, 3*m = -x*a + 4*a - 58. Is 8 a factor of (-6)/4*a/3?
True
Let w(p) = -9*p**3 + 2*p**2 - 1. Let r be w(-1). Suppose r*d - 562 = -132. Is d a multiple of 7?
False
Suppose 0*h - 2*h + 6 = 0, l - 800 = 5*h. Is l a multiple of 21?
False
Let u = 4 + 1. Suppose -4*g + 493 = -u*h, -3*g + 453 = g + 3*h. Is 15 a factor of g?
False
Does 16 divide (-2)/5*(-370 + 50/5)?
True
Let l(i) = -1 + 21 - 11 - i. Let b = -2 - -2. Is 9 a factor of l(b)?
True
Let m(j) = 4*j + 16. Let o be m(16). Let l = o + -114. Let p = 43 + l. Does 5 divide p?
False
Let s(v) = 5*v**3 - 8*v**2 + 7*v. Let k be s(5). Suppose -k = 4*z + z. Let t = z + 157. Is 13 a factor of t?
True
Let o(h) = -9*h**3 + 3*h**2 + 13*h - 1. Suppose 0 = 29*k - 27*k + 6. Does 46 divide o(k)?
True
Let r be 8/14*(-