g*u + 118. Is u a multiple of 9?
True
Suppose -5*i = 5*k - 555, 0 = -4*i + k - 6*k + 449. Suppose 3*x = -12, 2*l + 3*x = -i + 320. Is 28 a factor of l?
False
Suppose -53211 = -0*k - 4*k + t, -t = -5*k + 66512. Does 11 divide k?
False
Suppose 11*h + 2112 = 13*h. Suppose 7*n + h = 13*n. Let m = n - -22. Does 9 divide m?
True
Suppose -o + 35 + 166 = 0. Let h be (56/20 - 10)/(2/(-25)). Let x = o - h. Does 37 divide x?
True
Let t = 262 - 164. Let j = t - 37. Is 13 a factor of j?
False
Let c = -20519 + 22855. Is 16 a factor of c?
True
Let x = -168 - -704. Suppose -3*f = -2*k + x, 0 = -4*k + 3*f + 498 + 562. Is k a multiple of 3?
False
Let l(z) = 17*z**2 + 78*z + 2100. Is 141 a factor of l(-19)?
False
Suppose -34*y + 2069 = -3541. Does 27 divide y?
False
Suppose 2*t + 5*i - 11 = 0, 4*i - 16 = -5*t + 3*i. Let l(s) = -6*s**2 + 3*s - 2*s + 8 + s**t - 10*s + s**2. Does 25 divide l(7)?
False
Suppose -2*h - 6*h = -60416. Suppose 13*n - h = -3*n. Does 8 divide n?
True
Suppose 20*z + 12*z - 5*z = 219321. Is 20 a factor of z?
False
Let g(m) = 29*m - 3. Suppose -8 = -14*x + 16*x. Let v be g(x). Let n = v + 209. Does 10 divide n?
True
Suppose 2*i + 13324 = 4*g, 119*g + 2*i = 115*g + 13332. Does 20 divide g?
False
Let c(h) = 23*h - 4. Suppose 2*j + 0*j + 23 = q, -4*q + 5*j = -98. Let m = q - 24. Does 28 divide c(m)?
False
Suppose 3*d = -2*x + 4887, 2*x + 6*d = 10*d + 4852. Suppose 4*b - 4*c - x = 0, -b = -4*c - 154 - 452. Is b a multiple of 90?
False
Let q(g) = -3192*g + 4887. Does 77 divide q(-9)?
False
Suppose -3*p + 955 - 86 = k, 0 = -p - 2*k + 293. Suppose 0 = 4*c - 9*c + l + p, 4*l + 16 = 0. Does 10 divide c?
False
Suppose 3*w - 55 - 30 = -4*o, w + o = 27. Let d(k) = 2*k**2 - 27*k - 63. Let s be d(16). Suppose s*u - w*u = -1218. Does 21 divide u?
False
Let r(n) = 36*n - 68. Let a be r(2). Let l(m) = -m**2 + 9*m + 13. Let p be l(9). Suppose -p*k + 144 = -a*k. Does 8 divide k?
True
Let l be 792/(-120) + (-12)/20*-1. Let x(v) = 13*v + 3*v**2 + 3 - 6 - 7. Does 2 divide x(l)?
True
Suppose 48*h - 47*h - 10 = 0. Is (-2 - 24/(-18))/(h/(-6555)) a multiple of 23?
True
Suppose 26*u - 37*u = -22. Let y = 19 + u. Is y even?
False
Suppose 102*h + 1170 = 111*h. Let x = -1097 + 1932. Suppose -4*g = 3*r - x, 3*g - 760 = -3*r - h. Is 41 a factor of g?
True
Suppose -4*v = 2*t + 84, t = 5*t + 5*v + 165. Let j(b) = -4*b + 30. Is j(t) a multiple of 38?
True
Let s(q) = -4*q + 13. Let g be s(4). Suppose 5*w - 5 = -5*j, w + 18 = 3*j + 7. Is (90 + g)/j - (-3 - 0) a multiple of 7?
False
Let n(y) = 1241*y + 1203. Does 33 divide n(3)?
False
Suppose 38*b - 40*b - 2*r = -23052, 0 = 3*b + 2*r - 34573. Does 119 divide b?
False
Suppose 0 = -4*x - 3*v + 23, -3*v + 4 + 3 = -4*x. Let d = 21 - 11. Suppose i + 4*u = 28, -x*u - 3*u + d = 0. Does 9 divide i?
False
Let z be (-90)/(-54) - (-244)/3. Let f = 232 - z. Does 26 divide f?
False
Suppose 0 = c - 10 + 7. Suppose 3*u - c*s = 540, 2*u = -10*s + 5*s + 325. Does 35 divide u?
True
Suppose 63929 = 4*m + 5*r + 370, 4*r = m - 15853. Is m a multiple of 41?
False
Let c(x) = -5*x**3 - 6*x**2 - 6*x - 12. Let n be c(-5). Let r = n + -389. Is 8 a factor of r?
True
Let s(w) = -6078*w - 885. Does 9 divide s(-2)?
False
Is ((-12282504)/26)/(-12) - (4 - 1) a multiple of 288?
False
Suppose 14*s + 1239 = 17*s. Suppose 2*p - 3*t + 6*t = 258, -2*t = -3*p + s. Is p a multiple of 9?
True
Let s(v) be the first derivative of 17*v**3/3 + 9*v**2 + 3*v - 43. Is 17 a factor of s(-3)?
True
Is 51 a factor of 14/(-119)*-1 + 86680/170?
True
Let j(p) = 187*p - 2032. Is 2 a factor of j(15)?
False
Let k(g) = -g**3 + 10*g**2 - 18*g - 5. Let w be k(6). Suppose 0 = 2*r + i - 85, 246 - w = 5*r + 3*i. Suppose 2*x - r = 30. Is x a multiple of 21?
False
Let t(i) = i**3 - 7*i**2 - i + 49. Let c be t(6). Suppose c*p + 34 = 391. Does 6 divide p?
False
Suppose 2*k - 10 = -2. Suppose 0 = 2*c - 3*j + k*j, -4*c = 5*j - 12. Does 8 divide 3*c/4 + (-70)/(-4)?
True
Suppose 2*q = p + 25, -5*q + 3*p + 71 = 7. Let s = -4 + q. Suppose -26 = s*a - 383. Does 9 divide a?
False
Let d(v) = -v**3 + 3*v**2 + 17*v - 27. Let l be d(5). Does 7 divide (74/l)/((-3)/(-86 - -2))?
True
Let o = 9940 - -6045. Is 61 a factor of o?
False
Suppose r - 7006 = -3285. Is r a multiple of 44?
False
Suppose 5*z = -4*t - 25, 2*z + 7 + 3 = 4*t. Let u(f) = -8*f - 30. Let m be u(z). Suppose 63 = -7*s + m*s. Is 2 a factor of s?
False
Let b be 2/(-6) - (-122)/(-3). Suppose -19*o + 282 = -25*o. Let v = b - o. Does 3 divide v?
True
Let u be (7 + -18)*6/(-22). Suppose -4*a = 3*c - 2940, -2*a + u*c = -1254 - 198. Does 74 divide a?
False
Let j = -31 - -40. Suppose 4*w = j*w - 70. Suppose w = -5*y + 6*y. Is y a multiple of 3?
False
Let q = 36 + -32. Let a = q - -20. Suppose -9 = 3*h, -3*h - a = -3*j + 2*j. Does 12 divide j?
False
Let d be (-4 - (-1001)/(-2))/((-2)/16). Let y = d + -2296. Does 20 divide y?
True
Suppose 2*x + 50*x - 576620 - 258760 = 0. Is 153 a factor of x?
True
Suppose -w - 591 + 723 = 0. Let i = -79 + w. Is 2 a factor of i?
False
Suppose 0 = -5*j - 5, 5*q - 32 = 3*q - 4*j. Suppose 2*p + q = 5*s - 0*s, -2*p - 4 = 2*s. Suppose 0 = 5*k + 2*w - 891, -s*w = 3*k - w - 534. Does 11 divide k?
False
Suppose -101*w = -222090 - 876386. Is 19 a factor of w?
False
Let n(r) = 46*r**2 + 13*r - 64. Let d(g) = 47*g**2 + 13*g - 62. Let b(i) = -3*d(i) + 4*n(i). Does 18 divide b(4)?
False
Suppose 60 = 28*u - 8*u. Suppose u*z - 1088 = -5*p + 3*p, -z + p = -356. Is 17 a factor of z?
False
Suppose 2*t - 4*t + 58 = 3*q, -2*t + 50 = -q. Let r(v) = -76*v + 25*v**2 + 58 + 238*v - 67*v - v**3 - 62*v. Is r(t) a multiple of 19?
False
Suppose 8*h = -33 + 185. Suppose 576 = h*g - 3*g. Is 4 a factor of g?
True
Suppose 3*p + 996 = -30*h + 33*h, 1620 = 5*h + 5*p. Suppose k - h - 107 = x, x = 5*k - 2191. Is 39 a factor of k?
False
Suppose -206*q - 57302 - 37676 = -232*q. Is q a multiple of 21?
False
Let c(v) = -2*v**3 + 29*v**2 - 26*v - 25. Let j be c(14). Let o = 380 + j. Is 4 a factor of o?
False
Suppose m - 50 = 3*z, -3*m - 2*z = -7*z - 170. Let a = 368 - m. Suppose 5*k = -4*y + a, k - 258 = -3*k + 2*y. Is k a multiple of 22?
False
Suppose 7*g = 730 - 58. Suppose 0 = u - 0*u + g. Let l = u - -137. Is l a multiple of 3?
False
Suppose -s = -2*s - 4*d - 11, 2*s = 2*d - 2. Suppose 5*r = 4*i + 51, 1 = -2*r + 5*i + 35. Does 27 divide (3/s + r/(-2))*-6?
True
Is 12 a factor of -6*266/(-24)*76?
False
Let q(v) = -v + 37. Let u = 48 + -44. Suppose -32 = -4*d + 3*y, 3*d - u*d = -5*y - 25. Does 21 divide q(d)?
False
Let i(f) = 84*f**2 - 97*f + 19. Is 32 a factor of i(-11)?
False
Let l(r) = -2*r**3 + 261*r**2 - 279*r - 415. Is 253 a factor of l(128)?
True
Let n(g) be the third derivative of g**5/60 - 5*g**4/12 + 11*g**3 - 78*g**2. Does 71 divide n(-27)?
True
Let a = 361 - 188. Suppose -4*q = -75 - a. Let t = q + 48. Is 22 a factor of t?
True
Suppose -2*g = -93*c + 97*c - 14376, -5*g - 4*c + 35940 = 0. Is g a multiple of 22?
False
Let s(v) = 2*v**2 + v + 3. Let y be s(-7). Suppose 32 = y*g - 92*g. Is g a multiple of 4?
True
Let k = 3140 - 1414. Does 17 divide k?
False
Suppose -r - 63*p = -62*p - 6476, -r = -p - 6484. Is r a multiple of 16?
True
Let a be (-286)/(-14) - 36/(-63). Suppose 19*o - a*o = -390. Suppose -6*k + c + 267 = -3*k, 5*c = -2*k + o. Is 10 a factor of k?
True
Suppose q + 7*q - 7872 = 0. Suppose 3*j = -f + 742, f + q = 4*j - 3*f. Suppose -6*x = -j + 31. Is x a multiple of 12?
True
Let s be (248 + -1)*7/7. Suppose -61 + s = 3*j. Let k = j + -3. Is k a multiple of 34?
False
Let n = -180 + 73. Let x = 27 + n. Let v = x - -178. Is 7 a factor of v?
True
Let v(y) = 7*y**2 - 6*y - 4. Let w = -64 - -60. Let i be v(w). Suppose j = 3*j - i. Does 6 divide j?
True
Let t(k) = 4*k**2 - 2*k + 7. Let s be t(0). Let m(v) = v**3 - 7*v**2 + 2*v - 7. Is m(s) even?
False
Let t(d) = 8*d**3 - 9*d**2 - 75*d + 28. Is t(9) a multiple of 8?
True
Suppose 4*i - 5*v = 46, -3*i - 2*v + 27 = 4. Suppose -i*p = -10*p + 606. Does 33 divide p?
False
Let d(c) = -264*c - 757. Does 127 divide d(-63)?
True
Suppose 0 = -5*w - o + 204368 - 19781, 0 = 3*w - o - 110757. Is w a multiple of 63?
True
Let k be (0 - -2)*(-152)/(-16). Suppose 10*x = k*x - 2043. Is 14 a factor of x?
False
Suppose 94*m = 69*m + 41600. Let n = 3056 - m. Is n a multiple of 87?
True
Let l be (-9)/(-2) - 2 - 2/4. Suppo