10)*(-45)/2?
False
Let g(u) be the third derivative of 53*u**5/30 + u**4/24 + 5*u**3/3 - 191*u**2. Does 74 divide g(-4)?
True
Suppose -5*u = -r - 7667, 72*u - 70*u - 3060 = -3*r. Does 4 divide u?
False
Let c(r) = 4*r - 64. Let y be c(16). Suppose -2*t + 15 + 29 = y. Is 2 a factor of t?
True
Is 58 a factor of (12470/129)/(3/171)?
True
Let o be (2 - 13 - -3)/(10/(-5)). Suppose 5*y = j - 0*j + 15, -3*j = -y + 3. Suppose -49 = -5*q - y*f, 0*q + o*f = -q + 20. Does 6 divide q?
False
Suppose 170*o - 504 = 182*o. Let k = 12 - 40. Let v = k - o. Is v a multiple of 3?
False
Let m(i) = 39*i**2 + 54*i + 295. Is 10 a factor of m(-7)?
False
Suppose l + 28 - 224 = 0. Let v = 6 + -4. Suppose -2*s - v*j = -194, -j + l = 4*s - 207. Is 28 a factor of s?
False
Is ((-8)/(-24)*87)/(-3)*-468 a multiple of 58?
True
Let f(c) = -c**3 - 21*c**2 + 20*c + 41. Let s be f(-22). Let v be (s/(-15))/((-2)/(-42)). Let x = v - -166. Is x a multiple of 10?
False
Suppose s = 4*s. Suppose -3*v + s*v = 0. Suppose v = 2*w - 3 - 7. Is 2 a factor of w?
False
Let v(b) = 34*b - 94. Let l = -163 + 174. Is v(l) a multiple of 14?
True
Let r(i) = 24*i**3 - 34*i**2 + 325*i - 3. Is 71 a factor of r(8)?
True
Let m be 615/20 - (-1)/4. Let r = 33 - m. Suppose -40 = -a - q + 185, -3*q = -r*a + 425. Is 14 a factor of a?
False
Let t be (24/20)/(18/(-30)). Is 6 a factor of ((-10)/(-6) + t)/((-3)/801)?
False
Let f(y) = 11*y**2 + 4*y - 6. Let p be f(-8). Let j = p - -1240. Suppose 17*w - j - 134 = 0. Is 8 a factor of w?
True
Suppose 5*d + 4*a = 3760, 5*d + a - 1504 = 3*d. Does 16 divide d?
True
Let c = -238 - -622. Suppose 3*o - 5*o + c = 0. Is o a multiple of 24?
True
Suppose -128 = -16*t - 16*t. Suppose r - 4*l = 296, -t*r + 3*l + 746 = -386. Is r a multiple of 4?
True
Let s(x) = -33*x + 32. Suppose -c - 5 = a, a + 7 = -3*c + c. Is 40 a factor of s(c)?
False
Let k(s) = 259*s - 784. Is k(4) a multiple of 12?
True
Let x be 60 - 8*5/10. Let f = -52 + x. Is f/5 + (-1192)/(-10) a multiple of 20?
True
Suppose 0 = 41*c - 1693 - 2161. Suppose -290 = -x + c. Is x a multiple of 24?
True
Let w = -44 + 61. Suppose 2650 = w*f + 8*f. Does 24 divide f?
False
Let j = -151 - 360. Let w = j + 979. Does 52 divide w?
True
Let n(o) = o**3 + 40*o**2 + 44*o + 231. Is 61 a factor of n(-32)?
True
Let n(o) = -68*o - 7. Let a = 124 - 119. Suppose -2*h - 4*y + 7*y = -4, 2*y + a = -h. Does 3 divide n(h)?
False
Let o = 157 + -773. Let f = 984 + o. Does 23 divide f?
True
Let n be (-20)/(((-2)/5)/(36/45)). Suppose -5*i = 10 - n. Suppose -i*l = l - 343. Does 3 divide l?
False
Suppose 52*w = -26*w + 285246. Is 18 a factor of w?
False
Does 75 divide 806 + (2 - 36/22)/(5/55)?
False
Let q = 846 - 549. Suppose 9*v - 12*v = -q. Is 21 a factor of v?
False
Let h(n) = -n**3 - 4*n**2 - 4*n - 5. Suppose 2*u - 4*w - w - 18 = 0, 39 = u + 5*w. Suppose 0 = 18*g - u*g - 7. Does 56 divide h(g)?
False
Let h(l) = -l - 3. Let o be h(-8). Let x be (3 + -2 - o) + -58. Let t = x + 93. Is 4 a factor of t?
False
Let p(b) = -3*b**3 - 17*b**2 - 14*b + 59. Let q(n) = n**3 - 2*n**2 - n - 1. Let v(f) = -p(f) - 2*q(f). Is v(-20) a multiple of 11?
False
Suppose -g + 3*x = 7 + 1, -2*x = -4. Let w(y) = -y**3 + y**2 - y + 1. Let f(t) = -4*t**2 + 5*t - 8. Let l(k) = f(k) + 6*w(k). Is l(g) a multiple of 8?
True
Let j(l) = 93*l**2 + 7*l - 194. Does 35 divide j(7)?
False
Let q be (200/12)/(-10)*36/(-20). Let l be ((-5)/(-4))/((-2)/(-8)). Suppose -5*x = 4*w + w - 225, q*x - 227 = -l*w. Does 5 divide w?
False
Let k(h) = h**2 + h + 1. Let w(c) = -25*c**2 + 19. Let j(y) = -4*k(y) - w(y). Let u be j(8). Suppose -6*a + u = 119. Is 14 a factor of a?
False
Suppose 3*s - 2*a = -22, -3*a = -0*s - s - 12. Let t(i) = -i - 2. Let d be t(s). Suppose 3*o + 5*m + 78 = d*o, 0 = 3*o - 5*m - 274. Is 7 a factor of o?
True
Let c(y) = 2*y - 52*y**2 + 4 + 53*y**2 - 6*y. Let d be c(4). Suppose -2*u = d*q - 38, 0*q + 4 = u - 3*q. Is 12 a factor of u?
False
Suppose 330*x + 28 = 344*x. Suppose -x*l + 7*a + 10 = 2*a, -4*a + 8 = 0. Is 5 a factor of l?
True
Suppose -x + 2*r + 74 = 0, -r + 0*r - 70 = -x. Let n = -82 + x. Is 4/n - (306/(-8) - 2) a multiple of 5?
True
Let b = -87539 - -152823. Does 387 divide b?
False
Let g be 90 - (1 + -1)*-1. Let u(k) = 3*k**2 + 5*k - 6. Let w be u(-3). Suppose w*h - h = g. Is h a multiple of 14?
False
Is (-2)/24 + (-1262534)/(-168) a multiple of 15?
True
Let b = 145 - 139. Is 2 + (8 - -740) + b a multiple of 7?
True
Suppose -b - 40 = 3*b. Let c be 11/(495/b) + (-400)/(-18). Suppose -2*h = -2 - c. Does 10 divide h?
False
Let d(b) = -1693*b + 1266. Is 18 a factor of d(-12)?
True
Suppose -4*l + 2*t + 978 = 0, 0 = -l - 5*t - 0*t + 228. Suppose l*n = 239*n + 1460. Is n a multiple of 17?
False
Let a(p) be the third derivative of 7/6*p**3 + 1/12*p**5 + 0 - 25*p**2 + 0*p - 1/6*p**4. Does 8 divide a(3)?
True
Suppose r + 0*f - 3*f - 57 = 0, -r = f - 77. Let q = r - 73. Is 11 a factor of (10 - 58)*2*q?
False
Let t(z) = -3*z**2 - 45*z - 3. Let y be t(-8). Suppose y + 98 = b. Does 46 divide b?
False
Let b(s) be the first derivative of 14*s**3/3 - 4*s**2 - 7*s - 40. Is 33 a factor of b(5)?
False
Suppose -4*f = -20, -5*s + 5*f + 8663 = -9887. Is s a multiple of 115?
False
Let h = 26 - -38. Let r = 72 - h. Is 4 a factor of 3 - r/(-12)*51?
False
Let h = 7406 + -4186. Is 13 a factor of h?
False
Let c = 970 + -583. Let d = -64 + c. Suppose 5*l - 2*y = d, -5*y + 0*y + 5 = 0. Does 6 divide l?
False
Let u = -23 - -31. Suppose 5*f - 12*w + u*w - 850 = 0, -5*f + w + 835 = 0. Does 11 divide f?
False
Suppose -3*m + 1014 = 2*l, -333 = -37*m + 36*m + l. Is 14 a factor of m?
True
Suppose 6*m + 16 = -290. Let v = -18 - m. Let s = v - -67. Is 9 a factor of s?
False
Let d be 1323/15 + 8/(-40). Suppose -i - 34 = -2*c + 4, 0 = 4*c - 5*i - d. Let x = c - -31. Is x a multiple of 16?
True
Suppose 7*j - 922152 = -109*j + 32*j. Is j a multiple of 22?
True
Let u = 2108 + 25916. Does 113 divide u?
True
Let h = -2541 - -6083. Is 4 a factor of h?
False
Let z be (-2 - -2)/(1 - (0 + 2)). Let w = z + 5. Suppose -307 = -w*t + 1138. Does 12 divide t?
False
Let m(w) = 13*w**2 + 9*w - 43. Let j be m(11). Suppose -5*q + 2*g + j = 0, 0*g + 3*g + 318 = q. Is q a multiple of 7?
False
Let l = 1 - -1. Suppose 63 = -l*k - 5*s, -2*s = -3*k - 2*k - 114. Let z(v) = v**3 + 25*v**2 + 23*v + 52. Is z(k) a multiple of 19?
True
Let j be 1120/(-5 + -5) - -7. Let p = -311 - -548. Let b = j + p. Is 33 a factor of b?
True
Let z(o) = o**3 - 7*o**2 + 8*o + 7. Let j be z(5). Let y be (-59)/(-4 - j) - 3. Suppose r + r = y. Is r a multiple of 27?
False
Let u = -390 - -384. Is 26 a factor of (-113)/((u/9)/((-12)/(-18)))?
False
Is (-51)/136*-8 + 23930 a multiple of 7?
True
Let r(m) = -112*m - 19. Suppose 4*q = 5*p + 13, -q = -p + 43 - 46. Is 23 a factor of r(p)?
False
Let a(h) = -84*h - 3. Let d be a(3). Let r be (d/(-2))/(-3)*-4. Suppose 2*k = 3*c - r + 52, -4*c = 4*k - 144. Does 16 divide c?
False
Let a = 25 + -20. Suppose 3*f + a - 17 = 0, -q - 4*f = -217. Let z = q - 70. Is z a multiple of 50?
False
Suppose -18020 = -1103*z + 1093*z. Does 34 divide z?
True
Suppose -5*z + 5*l = -z - 23, 2*z - 2*l = 14. Let j be 4/z - 665/(-3). Suppose -4*n + j = 78. Is n a multiple of 12?
True
Let w(c) = -c**3 + 10*c**2 - 9*c + 11. Let k(a) = 5*a - 5. Let h be k(2). Let u be 36/8*(h + -3). Does 3 divide w(u)?
False
Suppose 44*v - 209844 = -10*v. Is 29 a factor of v?
True
Suppose 3*f = -m + 12035 + 161, 3*m + 3*f = 36624. Does 101 divide m?
False
Let r(j) be the third derivative of 0 + j**2 - 1/24*j**4 + 0*j + 1/6*j**3 + 29/12*j**5. Does 26 divide r(-1)?
False
Suppose 0 = 5*v + 2*y - 0*y - 25, 4*v + 4*y - 32 = 0. Suppose 0 = 4*b + 3*s - 584 - 574, 0 = v*b - s - 862. Does 3 divide b?
True
Suppose -58*c = -47*c - 1023. Let l = 157 - c. Does 4 divide l?
True
Suppose -2*i - w = -5, -w + 2*w = -5*i + 8. Let l(k) be the second derivative of 29*k**3/3 + k**2 - 6*k. Does 12 divide l(i)?
True
Let x be (5 - (3 + -430)) + -1. Suppose -2*g - x = 5*k - 4265, -3*k + 4*g = -2316. Does 12 divide k?
True
Let n be (((-216)/(-5))/(-1))/(27/90). Let x = 148 + n. Does 2 divide x?
True
Suppose -3*b + 18725 = 4*o + 1686, -21255 = -5*o + 5*b. Does 16 divide o?
True
Suppose -8*y - 4*y = -684. Is 4*(y/12 - -4) a multiple of 35?
True
Let k be (-10)/(-15)*(-96 + 3). Let r = k +