*b - 12 = -7*b + 2*v. Let k(f) = 3*f**3 - 2*f**2 + 7*f + 4. Is k(b) a multiple of 14?
False
Let l = 155 - 151. Suppose o = -4*d + 66, -d = -l*d. Does 11 divide o?
True
Let s be 7/21*3/(-1)*-3. Suppose -s*j + 82 = -182. Is j a multiple of 22?
True
Let v = -331 - -334. Suppose 15 = -v*f, -3*u + 5*u - 3*f - 1203 = 0. Does 10 divide u?
False
Suppose 0 = -2*s - 71 - 87. Let r = 77 - s. Is 24 a factor of r?
False
Let r = 22198 - 11569. Is 9 a factor of r?
True
Is -2545*((5 - -2) + -11) a multiple of 10?
True
Let i = 13 - 13. Let l be ((-2)/2 - i)*-1. Is 39 a factor of 43*2 - (1 - 3)*l?
False
Let j = 3874 + 48. Suppose 826 = -8*x + j. Is x a multiple of 8?
False
Let d(n) = -n**2 - 9*n - 12. Suppose -9*w + 105 = -14*w. Let q = -27 - w. Is d(q) a multiple of 2?
True
Suppose 16 = -2*n - 3*p + 6*p, 0 = -n + 2*p - 6. Let h be n/21 - -2*(-1)/6. Is h/(-5) + ((-7176)/20)/(-6) a multiple of 30?
True
Let g be (777/5 + -1)/(12/(-60)). Let c be (g/(-28) - 1)*7. Suppose -y - c = -7*y. Is 31 a factor of y?
True
Let k = -34287 + 54543. Is 6 a factor of k?
True
Let f = 1603 - -266. Is 45 a factor of f?
False
Let j(c) = 157*c**2 + 2*c - 2. Let y be j(-1). Let l = -63 + y. Is 5 a factor of l?
True
Let l(n) = -17*n**3 + 4*n**2 - 3*n + 11. Let g(t) = -17*t**3 + 5*t**2 - 6*t + 10. Let c(s) = -6*g(s) + 5*l(s). Is c(2) a multiple of 19?
True
Let o = -337 + 853. Let p = o - -524. Is p a multiple of 52?
True
Let k(c) = -185*c + 74. Does 7 divide k(-12)?
False
Is (-4 + 1)/(-15) - (-55)/((-1650)/(-11964)) a multiple of 19?
True
Is 392/980 + 6698/5 a multiple of 56?
False
Let x(q) be the second derivative of -q**4/6 + 5*q**3/3 + 3*q**2/2 + q. Let b be x(5). Suppose n + 8 = -3*w, 0*w - 2*w = -b*n + 20. Is 4 a factor of n?
True
Let y be (-2 - 1 - -2) + 19. Let b = 14 - y. Is 10 a factor of ((-2)/b)/(6/636)?
False
Let q be 3/21 - (2 + (-620)/(-28)). Is 5 - 16/(q/(-6)) - -240 a multiple of 43?
False
Let j = 98 + -84. Suppose 12*p = j*p - 10. Suppose -c + 35 - p = 0. Is 15 a factor of c?
True
Suppose 0 = -5*m - 4*o + 740, m + 25*o = 28*o + 167. Suppose m*w = 162*w - 4380. Is w a multiple of 73?
True
Suppose -130*x + 21*x + 153254 = 0. Is 28 a factor of x?
False
Suppose k + 291 = 2*i, 2*i - 127 - 160 = 5*k. Suppose -3*t = 47 - i. Is 8 a factor of t?
False
Let f(j) = -j**2 + 3*j - 14. Let a(i) = 2*i - 14. Let d(g) = -g**3 + 4*g**2 + 13*g - 9. Let w be d(6). Let q(h) = w*f(h) + 4*a(h). Is q(6) a multiple of 12?
False
Suppose 0 = 2*m - 3*m. Let d(w) = 2*w**2 - w - 35. Let k be d(m). Let u = k + 53. Is u a multiple of 9?
True
Let w(l) = -l**3 - 8*l**2 + 8*l + 15. Let x be w(-8). Let r = 49 - x. Does 56 divide r?
False
Let q = -2013 - -7339. Is 94 a factor of q?
False
Let v(q) = 6*q - 1. Let g be v(1). Suppose 0 = -b - 2*r + 258, g*b - 1311 = -0*b - 3*r. Suppose 62*p - b = 58*p. Is 22 a factor of p?
True
Suppose -b = -5*v + 3*v - 39, 2*v - 231 = -5*b. Suppose 2*h - 51 = -w - h, 0 = -w + 3*h + b. Is w a multiple of 8?
True
Let t(y) = 2*y**3 + y**2 - 7*y + 7. Let j be t(1). Does 11 divide (-90)/(-135) - (-163)/j?
True
Let z(o) = -38*o. Let m be z(-1). Suppose m = b - 59. Let q = b + -59. Is q a multiple of 20?
False
Does 49 divide (567 + 2)*178/178?
False
Suppose 28 = 3*v - v. Let r be (v - (-2 + 5)) + -1. Does 3 divide (-230)/(-25) - (-8)/r?
False
Suppose 38*l = 32*l + 1902. Suppose 3*b - 224 = 5*r, r = -4*b + 4*r + l. Is b a multiple of 36?
False
Does 56 divide (-672)/(-9)*63/84?
True
Let t be (4 - 13/2)*2/(-5). Suppose 2*x = -s + 1, -3*x = s - 0 + t. Suppose 0 = 2*c + s*b - 25, -b = 3*c - 5 - 13. Is c a multiple of 2?
False
Let f be ((-30)/24)/(1/(-4)). Suppose 209 = f*c - 106. Suppose 0 = -3*d + 21 + c. Does 6 divide d?
False
Suppose 20207*z - 20193*z - 307692 = 0. Does 54 divide z?
True
Let d = 62 + -62. Suppose -2*x + 2*q + 10 = -d*q, 28 = 4*x + 4*q. Suppose 0 = x*s - 486 - 804. Is s a multiple of 18?
False
Let k be (-6)/(-15) + (-8)/(-5) + -44. Is (-1 - (-10)/4)*-2 - k a multiple of 5?
False
Suppose 4*y - 39936 = -4*m, -4344*m = -2*y - 4348*m + 19966. Is 3 a factor of y?
False
Suppose 199272 = -30*m + 87*m. Does 32 divide m?
False
Let y = 69 - 57. Let h(r) = -4*r + 47. Let n be h(y). Is (3 - (3 - -26))/n a multiple of 14?
False
Let u(t) = 162*t**2 - 319*t + 4152. Is u(12) a multiple of 27?
True
Let g be (16/(-5))/(10/725). Is 29 a factor of 60/24*g/(-5)?
True
Suppose 3*q - 5345 = 12*u + 1381, 2*u = 4*q - 9052. Does 22 divide q?
True
Is (-1785)/105 + -5 + 16214 a multiple of 92?
True
Let p(m) = 78*m - 51. Let s be (-7 + 5)/2 + 3. Does 3 divide p(s)?
True
Let a be 5/(10/(-628)) + 5 + -1. Let j = a - -544. Does 6 divide j?
True
Let i(h) = -h**3 + 10*h**2 - 11*h + 15. Let s be (-4)/32*-74 + (-2)/8. Let z be i(s). Let k = z - -46. Is k a multiple of 3?
False
Let k = -257 - -381. Suppose -k*i + 808 = -120*i. Is i a multiple of 25?
False
Let r(j) = -2*j**3 - 5*j - 33. Let w be r(-8). Suppose -13*m = -11*m + 5*l - w, 2*m = 5*l + 1041. Is 5 a factor of m?
False
Let y = 21860 + -19727. Is y a multiple of 27?
True
Suppose 188 = 8*m + 708. Is 6 a factor of ((-222)/5)/(13/m)?
True
Let x = 249 - 134. Let y = x + -15. Suppose 6*b - 25 = -2*z + b, 3*z - y = 5*b. Does 7 divide z?
False
Suppose -6*m + 4*m + 3*d + 14168 = 0, -4*d = 16. Does 141 divide m?
False
Let r(a) = 4*a**2 - 4*a + 4. Let p be r(1). Suppose p = -0*u + u. Suppose 0 = -7*h + u*h + 234. Does 13 divide h?
True
Let n = -330 + 366. Let u(l) = l**3 - 35*l**2 - 35*l + 64. Is 25 a factor of u(n)?
True
Suppose 5320 = 5*g - k, 3*k + 2128 = 140*g - 138*g. Is 28 a factor of g?
True
Suppose 200200 = 13*h + 27*h. Is 66 a factor of h?
False
Let t(v) = 938*v - 8829. Is t(20) a multiple of 28?
False
Let o(k) = k - 1. Let n(j) = 7*j - 25. Let m(l) = -n(l) + 6*o(l). Let b be m(17). Suppose -5*d - 433 = -4*s, b*d + 92 = 2*s - 124. Does 6 divide s?
False
Let d(w) = -5*w**2 + 25*w. Let f(z) = -z**2 + 4*z. Let x(l) = 6*d(l) - 34*f(l). Is x(4) a multiple of 12?
True
Does 48 divide 36/(-126) - (-96)/140 - 92206/(-10)?
False
Let y(b) = -b**3 + 41*b**2 + 44*b - 82. Let t be y(42). Suppose -794 = -z + 5*h, -4*h + 6*h = t*z - 1556. Is z a multiple of 53?
False
Let l(h) = 13*h**3 + 25*h**2 - 2*h - 7. Is l(6) a multiple of 73?
False
Let r be (-19)/95 - 31/(-5). Let m(j) = 22*j**2 - j. Let w be m(r). Suppose 5*h = -h + w. Is 24 a factor of h?
False
Suppose 4*o + 94 + 342 = 0. Let t = 649 + o. Is 45 a factor of t?
True
Let s = 1360 - -370. Suppose -4*m - 218 = -s. Does 34 divide m?
False
Let g(m) = -4*m**3 - 12*m**2 - 35*m - 35. Is g(-7) a multiple of 17?
False
Suppose 61*g - 52*g = 18. Let f(s) = 20*s + 10. Is 6 a factor of f(g)?
False
Let h be (20/2 - (-8 - -12)) + 4. Suppose 15*c = h*c + 40. Suppose 6*f + c*f = 1470. Is f a multiple of 21?
True
Suppose -253*o = -321*o + 782000. Does 5 divide o?
True
Let k = 6606 + -4116. Is k a multiple of 5?
True
Suppose -4*g + v = -39092, -g + 3*v = -12195 + 2422. Is 102 a factor of g?
False
Suppose 17*d - 30009 = 65463. Is d a multiple of 72?
True
Let z = -553 + 572. Suppose -j = 3*l - 95, 2*j = -j - 4*l + 295. Let s = j + z. Is s a multiple of 30?
True
Let p be (97 - -28)*(-2)/2. Does 23 divide 2/5 - 10700/p?
False
Let k(b) = 2*b**3 + 19*b**2 + 38*b + 29. Let l(x) = x**3 + 9*x**2 + 19*x + 15. Suppose -j + 3 + 0 = 0. Let d(g) = j*k(g) - 5*l(g). Is d(-8) a multiple of 29?
True
Does 16 divide -19 + (-166306)/(-42) - (-16)/(-6)?
False
Let o(l) = -l**2 + 17*l + 33. Let w be o(16). Let q = 48 - w. Is 12 a factor of 2/(q*2/(-65))?
False
Suppose 0*g = 4*g - 20. Suppose g*v - 6*v = 2. Is (v + 14/6)*(-564)/(-4) a multiple of 8?
False
Let m be -1*(216 - 2 - -1*(-24)/(-8)). Suppose w + r = 327, -4*w + 486 + 822 = 5*r. Let i = m + w. Is 35 a factor of i?
False
Let b(n) = 5*n**2 + 18*n + 6. Let z(r) = 7*r**2 + 18*r + 5. Let h(y) = 3*b(y) - 2*z(y). Is 25 a factor of h(18)?
False
Is -19 - (-4490 - (5 - 12)) a multiple of 24?
True
Let y = -64 + 150. Suppose -2*o - 2*d + y = 2*d, -2*d + 84 = 2*o. Suppose 3*q - h - o = 0, -q = 5*h + 7 + 6. Is q a multiple of 12?
True
Suppose 10*u - 15*u + 1335 = -4*z, -2*z = 0. Is 85 a factor of u?
False
Let z(q) be the second derivative of -q**5/20 + 2*q**4/3 + 5*q**3/6 - 19*q. Is 15 a factor of z(4)?
False
Let s(k) = -k**2 - 4*k + 19. Let m be s(-7). Let p be (-8)/(-10)*(-5)/m. Suppose -b + 54 = p*b. Do