2. Let m be r(-14). Let l = a + m. Does 17 divide l?
False
Let d = 2508 + 30651. Is 63 a factor of d?
False
Suppose 0 = -o + 98 - 20. Let r be 1/((-1)/o*3). Let t = r + 30. Does 3 divide t?
False
Suppose -2*p + 240 = 2*p - 52*p. Let d(z) = -2*z**2 - 5*z - 4. Let g(x) = 3*x**2 + 5*x + 3. Let b(n) = 6*d(n) + 5*g(n). Is 11 a factor of b(p)?
False
Suppose 4*a = 7*a - 24. Suppose 14*j = a*j + 1572. Suppose -22 = l - j. Is 16 a factor of l?
True
Let f(n) = 99*n + 190*n**2 - 34*n - 32*n - 47*n + 132*n**2 + 16. Is 10 a factor of f(2)?
False
Let f(v) = -v**3 - 13*v**2 - 25*v - 9. Let i be f(-15). Let x = i + -483. Is x a multiple of 5?
False
Let f(g) = -10*g + 114. Let t be f(11). Suppose t*d = 4*p + 5115 - 799, p + 4313 = 4*d. Is 59 a factor of d?
False
Suppose 0 = 2*w + 4, 2*l - 9136 = 4*w - 6*w. Is 116 a factor of l?
False
Let v = -119 - -77. Let q be (-6)/v + 26/14. Suppose 102 = 3*d + 2*y, y = 3*d + q*d - 170. Does 34 divide d?
True
Let k be 2/(-4) - ((-24)/(-16) - -3). Let w be 0 + (1 - -4) + k. Suppose 3*m - 5*h - 355 = w, -4*h + 5*h - 241 = -2*m. Does 40 divide m?
True
Is 21 a factor of -279*(456/(-54) + 10)*-3?
True
Suppose 267 = -4*k + 71. Let b be 4/7 + (-315)/k. Does 21 divide 1 + -5 - b/(7/(-46))?
True
Suppose -h - 50 = -54, -k + 1215 = -4*h. Let w = 2180 - k. Is w a multiple of 73?
True
Suppose -u + 4*v = -63825, -63865 = 2923*u - 2924*u - 4*v. Does 19 divide u?
False
Let f(q) = 2*q**3 + 3*q**2 + 8*q - 5. Let k(p) = -2*p**2 - 60*p + 5. Let u be k(-30). Is 36 a factor of f(u)?
True
Let i be (-4 - -4)*4/(-10 + 2). Does 11 divide i - (1 - 0) - -61?
False
Suppose -4*w = -3*w - 5. Suppose -w*s + 507 = -3213. Is s a multiple of 42?
False
Let r(o) = o**2 + 155*o**3 + 1 - 3*o + 234*o**3 + 2*o**2. Let l be r(1). Suppose -83*g + 78*g + l = 0. Is 13 a factor of g?
True
Suppose -1587 = 10*z - 6987. Is 9 a factor of z?
True
Let o be (1686/(-9))/(20/90). Let p = o + 1359. Does 51 divide p?
False
Let g = -357 - -255. Let h = g - -553. Is h a multiple of 11?
True
Let a = -9825 - -18041. Is 52 a factor of a?
True
Let y = -505 - -507. Suppose -49 = -6*j + 5*j + b, 0 = -y*j + 3*b + 95. Is j a multiple of 15?
False
Let k(x) = x**3 - 8*x**2 - 2*x + 22. Let u be k(8). Suppose -2*i + 1168 = -4*b, -19 = -5*b + u. Does 66 divide i?
True
Suppose -2*q + 649 + 219 = 0. Suppose -16*z + q = -15*z. Is 14 a factor of z?
True
Let z be (-1 - 1)/(8/(-16)). Suppose -2260 = -z*t - t. Suppose -585 = -4*m - 5*n + 56, -3*m + t = -2*n. Is m a multiple of 11?
True
Does 61 divide (-36)/15*1647150/(-316)?
False
Does 97 divide (-226)/(-452)*1244*10?
False
Suppose -4*b + c + 21 = 2*c, 4*c = 5*b. Suppose 3*j - f = 10, 0*f + f - b = -4*j. Is 19 a factor of 1/(j - 226/114)?
True
Let c = 138 + -106. Suppose -w = -2*o - 16, -3*o + c = -w + 52. Is 8 a factor of w?
True
Let y be (-5)/((-1)/1) + -1. Suppose -2*j = -y*u - 492, 0*u - 1160 = -5*j - 4*u. Is 43 a factor of j?
False
Suppose 0 = -0*q - 2*q + 18. Let x(n) = -75*n + 1772. Let z be x(20). Suppose q*f - 124 - z = 0. Does 22 divide f?
True
Suppose -14281 = -4*x - 5*w, -10*w + 5*w - 17885 = -5*x. Is x a multiple of 7?
False
Let o(s) = -s**3 + 56*s**2 - 95*s + 339. Is o(53) a multiple of 68?
False
Suppose -24*u = -27*u + 9. Suppose 0 = -u*o - 62 + 173. Suppose -o = -f + 53. Does 30 divide f?
True
Let l be (2/7)/(39/(-273)). Is 9 a factor of ((-4 - 2)/(-18))/(l/(-2058))?
False
Suppose 3*h - 3 = -0*h. Let y(d) = -32*d**3 + d**2 + 37*d**3 - 2*d**2. Is 2 a factor of y(h)?
True
Let u = -80 - -81. Suppose 0 = -3*h + n - 265, u = -n + 5. Let t = h + 106. Is 4 a factor of t?
False
Suppose 23*o - 2118 = 274. Suppose -w + o = -95. Is 32 a factor of w?
False
Suppose -27*d + 84 = -8*d - 5901. Does 9 divide d?
True
Is (-4351576)/(-88) + (16/176 - 2/(-11)) a multiple of 25?
True
Suppose 10 = -2*d + 3*t - 5*t, -2*d - t - 7 = 0. Let q be 0 + d - (-9)/9. Is 28 a factor of -2*q/(-5) - (-4147)/55?
False
Suppose -3*x + 21700 = 15*a - 10*a, 4*a = 2*x - 14430. Is x a multiple of 12?
False
Let d(m) be the second derivative of -m**5/20 - 2*m**4/3 + m**3 + 13*m**2/2 + 44*m. Does 3 divide d(-9)?
False
Let n(h) = 77*h**2 - 54*h + 652. Is n(10) a multiple of 36?
True
Let v = -1252 - -2238. Let r = v + -548. Does 9 divide r?
False
Let p(l) be the second derivative of l**4/12 - 8*l**3/3 + 67*l**2/2 - 3*l. Let a be p(9). Is 6 a factor of (a/(-7))/((10/427)/(-5))?
False
Let q = 757 + -742. Suppose 0 = 13*u - 16*u + q, 6420 = 5*d + 3*u. Does 87 divide d?
False
Let s(y) = -y**3 + 89*y**2 - 377*y - 224. Is 7 a factor of s(84)?
True
Let o be -1*0/(28/(-7)). Suppose -31*w + 30*w + 225 = o. Is w a multiple of 9?
True
Suppose -5*v - 175 = 3*w, 2*v - 4*w + 72 = -24. Let d = v + 38. Suppose 4*o + d*o = 5*q - 170, q + 3*o - 53 = 0. Is 19 a factor of q?
True
Let b be -67 - (1 - (-4 - -6)). Let w = -74 - b. Let a(g) = -g**3 - 8*g**2 - 3*g - 3. Is a(w) a multiple of 21?
True
Let x(z) = z**2 - 6*z + 14. Let o be x(10). Let c = o + -50. Suppose 0 = -3*q + 15, -5*y - c*q - 93 + 443 = 0. Is y a multiple of 18?
False
Let q = -3 - -35. Let s = -19 + q. Suppose s*u = 4*u + 216. Does 8 divide u?
True
Suppose 2*w - 878 = 2*x + 3*x, 4*x - 413 = -w. Let l = w - 202. Is 3 a factor of l?
False
Let c(g) = 3*g**2 + 83*g + 422. Let v be c(-5). Let z = 121 - 214. Let n = v - z. Is 35 a factor of n?
True
Suppose 0 = -249*g + 289*g - 12320. Is 15 a factor of g?
False
Let c(p) = -p**2 - 5*p + 1161. Let a be c(-35). Let x(u) = u - 7. Let d be x(0). Let j = d + a. Does 12 divide j?
False
Let n be 2280508/1577 - 2/19. Let a = n + -847. Is 88 a factor of a?
False
Suppose 306*v - 312*v + 7458 = 0. Does 116 divide v?
False
Suppose -2*j = -2*s - 62, -58 = 2*s + 2*j + 16. Let r = -29 - s. Suppose -4*n = -r*h + 369, -n + 216 = 3*h + 2*n. Is h a multiple of 18?
False
Let u(j) = 2*j**2 + 148*j + 141. Is 8 a factor of u(-74)?
False
Suppose 0 = -w - 264 + 7044. Does 4 divide w?
True
Suppose -152*q + 162*q - 15840 = 0. Is q a multiple of 48?
True
Let h(d) = -175*d**3 - d**2 - 5*d - 4. Suppose -12 = 3*a + 3*w, -10*a + 14*a = 4*w + 8. Is 35 a factor of h(a)?
True
Let o = 2148 - 601. Is o a multiple of 17?
True
Let a(m) be the third derivative of m**5/2 - m**4/24 + 3*m**3/2 - 2*m**2. Let i(j) = -j**3 - 26*j**2 + 3*j + 81. Let l be i(-26). Is a(l) a multiple of 49?
False
Let u = -65 + 65. Suppose 18*m - 8*m - 420 = u. Does 14 divide m?
True
Let i(v) = 15*v + 362. Let c be i(-27). Let g be (-1)/((4/868)/(-1)). Let t = g - c. Is t a multiple of 32?
False
Suppose -2807 = -39*m + 32*m. Is 2 a factor of m?
False
Let s be (6 - 2)*-1*(-9)/4. Let i(y) = -y**2 - 1. Let x(b) = 7*b**2 - 30*b - 1. Let h(t) = 2*i(t) + x(t). Is h(s) a multiple of 22?
True
Suppose 4102 = 91*k - 84*k. Let t = k - 124. Is t a multiple of 41?
False
Suppose 6639 = 3*b + 4*p, -56*b + 4*p = -61*b + 11089. Is 89 a factor of b?
True
Let l be 9/4 - 2 - 4110/(-8). Let d = l + 1218. Does 16 divide d?
False
Suppose -257258 = -72*m + 113511 + 267367. Does 29 divide m?
False
Suppose 0*s = 6*s - 1296. Suppose -16*z + 120 = -s. Is z a multiple of 7?
True
Suppose 10*r = -4*r + 98. Suppose 0 = 2*n + 50 - 154. Let f = r + n. Is f a multiple of 3?
False
Let m = 442 + -430. Suppose 0 = -m*d - 19*d + 38192. Does 56 divide d?
True
Let k(d) = 2*d**3 + 20*d**2 + 4*d - 10. Let s = -50 + 42. Does 8 divide k(s)?
False
Let s be (4 - 18)*((-15)/(-2))/(-3). Let m = -35 + s. Suppose 4*k + 3*c = 372 - 32, 4*k - 5*c - 308 = m. Is k a multiple of 36?
False
Let h(b) = 2*b. Let w be h(2). Suppose -6*z + w*z + 35 = -3*g, 0 = -g + 3. Is z a multiple of 2?
True
Suppose 612*r - 5975 = 617*r. Let q = 2188 + r. Does 30 divide q?
False
Let n be 5*1/1*1. Let b be 70/(-28)*(2 - -2). Is 2 a factor of ((-25)/b)/n - (-54)/4?
True
Let z(p) = -4*p + 24. Let y be z(10). Let k be (y - -18)/(4/6) + 1290. Suppose 5*t + 453 = k. Is 24 a factor of t?
True
Suppose -c + 29 = -4*w, -5*c + w + 166 = 21. Let i = -1 + 51. Let f = i - c. Does 7 divide f?
True
Suppose -148*t + 385730 = -63*t. Does 61 divide t?
False
Let w(h) = 78*h - 29. Let n be w(11). Suppose 8*r - n = 1331. Is 45 a factor of r?
True
Let z(m) = 19 - 4*m - 2*m + 0*m - m. Let c be z(-11). Suppose 3*y - c - 15 = 0. Is 25 a factor of y?
False
Let f(h) = 8*h - 36. Let x(r) be the first derivative of -5*r**4/2 - r**3/3 + r**2/2 + r + 4. Let a be x