2?
False
Let u(d) = 122*d**2 - 382*d - 1480. Is 200 a factor of u(-4)?
True
Suppose 184 = -4*x + f + 78, -4*f - 89 = 3*x. Let z(v) = -v + 309. Is 12 a factor of z(x)?
True
Does 9 divide (-98)/(-539) + 1679824/44?
True
Suppose 4*a - 7134 = 3*v, v = 2*a + 1857 - 5423. Does 11 divide a?
True
Let v(o) = 28*o**2 + 26*o + 39. Is 67 a factor of v(-20)?
False
Suppose 6980 = 4*q + 2*l, 2*q + 3*l + 1090 = 4576. Does 6 divide q?
True
Suppose 5*u - 3*f = 10*u - 41482, 0 = 2*u + f - 16594. Is 20 a factor of u?
True
Let z(y) = 0*y**3 - 2*y - 1 - 15*y**2 + 8*y**3 - 6*y**3. Let u be z(7). Let j = u - -133. Is j a multiple of 23?
True
Let p(k) = 4*k**2 + 3*k - 13. Is 34 a factor of p(7)?
True
Let f(o) = 2*o**3 - 8*o**2 + 33*o - 44. Let u(j) = -3*j**3 + 17*j**2 - 67*j + 89. Let n(w) = 5*f(w) + 3*u(w). Is n(-13) a multiple of 47?
False
Let w(u) = u**3 - 9*u**2 + 22*u - 15. Let x be w(8). Let o = x + 57. Is 14 a factor of o?
True
Let u = -10150 + 18396. Is 31 a factor of u?
True
Suppose 0 = -7*h - 179 + 424. Is 12 a factor of h - (-5 + 20 - 6)?
False
Suppose 4*d - 741 = -m, 5*d - d = 3*m + 737. Let n = 496 - d. Suppose -q - 46 = 5*f - n, q = f - 59. Is 13 a factor of f?
False
Suppose 4*d - 14 = 34. Suppose l - d - 22 = 0. Does 34 divide l?
True
Let z(n) = 11*n - 188. Let t be z(17). Is ((2 - 1)*-346)/t + -6 a multiple of 17?
True
Let p(n) be the third derivative of -8*n**4/3 + 161*n**3/6 - 50*n**2 + n. Is 38 a factor of p(-11)?
False
Let d(t) = -7812*t + 3029. Does 14 divide d(-3)?
False
Let z = -4409 + 5479. Does 5 divide z?
True
Let l(o) = 4*o**3 + o**2 + 2*o. Let i be l(-2). Let y = i + -83. Let v = y - -171. Does 11 divide v?
False
Let a be 1/((-5)/(-675)*-3). Let w(i) = i + 255. Does 30 divide w(a)?
True
Let q(s) be the first derivative of s**2/2 + 347*s + 170. Does 18 divide q(-23)?
True
Let q(n) = n**3 - 12*n**2 + 13*n - 22. Let x be q(11). Let d(z) = z**3 - 2*z + 5. Let u be d(x). Suppose -u*p + 907 = 87. Does 41 divide p?
True
Suppose 2*k + 5*d - 14521 = 0, -k - 155*d + 157*d = -7274. Is 158 a factor of k?
True
Let q(h) be the second derivative of 9*h**4/4 - 13*h**3/6 - 6*h**2 - 35*h. Is q(-5) a multiple of 26?
True
Suppose -130360 = -5*c - 5*q + 3990, 0 = -3*q + 24. Is 363 a factor of c?
True
Let w(t) be the first derivative of t**4/4 - 8*t**3 - 27*t**2/2 + 62*t + 10. Is w(25) a multiple of 4?
True
Suppose -6*w + 1021 = -2393. Let s = w - 404. Is 15 a factor of s?
True
Let a = 124 - 131. Let x(s) = 2*s**2 - 7*s - 4. Is 18 a factor of x(a)?
False
Suppose -4*n + 7*n - 21 = -3*h, 4*h = 4*n + 4. Let x(k) be the first derivative of 4*k**3 - 3*k - 780. Is 49 a factor of x(h)?
False
Let y(q) = 2506*q - 1641. Is 157 a factor of y(2)?
False
Let r be 27 + -2 + -1 + 1. Let l be (12/(-15))/((-2)/5). Does 10 divide -2*l*r/(-10)?
True
Let f(q) = 27*q**2 + 6*q - 378. Is f(13) a multiple of 5?
False
Suppose -2*u + 78286 = -2*r, 24*u - 21*u - 5*r - 117427 = 0. Does 24 divide u?
True
Let o = 639 - 684. Does 61 divide (2 - 1147)*9/o?
False
Suppose 0 = o + 4*n - 14, -11*n = -5*o - 12*n + 13. Let x(y) = y - 5. Let v be x(6). Is o - v/(-1) - -3 a multiple of 2?
True
Suppose 4*g - 7890 = -3*y, 2*y = -y + g + 7890. Suppose -6*j + y + 610 = 0. Is j a multiple of 45?
True
Suppose 5*j + 5 = 15. Let i(w) = -1 + 142*w**j - 3*w - 23*w**2 + w. Is i(-1) a multiple of 30?
True
Let n be 3*116*(-1)/3. Let m be ((-11)/(-4))/((-1)/n). Suppose 4*w - 4*f - 273 = m, 0 = 3*w - 4*f - 440. Is 38 a factor of w?
True
Let k = -282 + 274. Let x(d) = d - 5 - 2*d**2 - 5 + 3*d**2. Is x(k) a multiple of 8?
False
Suppose 0 = -15*b - 20044 + 1594. Is 7 a factor of (4/22 - b/(-110))*-2?
False
Let j(n) be the third derivative of n**5/20 - n**4/2 + 20*n**3 + 6*n**2 - 21. Is 9 a factor of j(-10)?
True
Let k be 18/5 + 6/(-10). Suppose 5*n - 260 = -z, -2*z - k*n = -605 + 113. Is 30 a factor of z?
True
Suppose 6*s = 18*s + 60, f = -5*s + 5829. Does 64 divide f?
False
Suppose -4*w + u = -9, 0 = -5*w + u + 2 + 8. Let j = 1 + w. Let r(t) = t**3 + t**2 + 5*t - 7. Is r(j) a multiple of 15?
True
Suppose 2*w + 4*u = 22, -6 = 3*w + u - 24. Suppose w*g - 814 = 851. Does 8 divide g?
False
Suppose -5*q + 8*q = 18. Suppose -5*v - q = -8*v. Suppose d + v*c - 53 = -2*c, -159 = -3*d - 2*c. Does 5 divide d?
False
Is 20 a factor of -12*59983/(-11) - 16?
True
Let u(m) = -1125*m - 1547. Is u(-6) a multiple of 121?
True
Let s = 4 - 19. Let x(c) = -c**2 - 15*c - 2. Let w be x(s). Does 9 divide (-131)/(-2) - w/4?
False
Let k(c) = -c + 7. Let o(v) = -2*v + 7. Let f(u) = 2*k(u) - 3*o(u). Does 6 divide f(5)?
False
Suppose 4*m - 3*o - 1264 - 321 = 0, -3*o + 1961 = 5*m. Let h = m + -79. Is h a multiple of 15?
True
Let m = -215 - -236. Suppose 0 = -4*u + a + 1356, -1696 = -5*u - m*a + 22*a. Is 20 a factor of u?
True
Suppose -12 + 16 = r. Suppose 5*u = d + 599, 4*u - r*d = -3*d + 479. Does 13 divide u?
False
Let k(g) be the second derivative of -g**5/20 + 5*g**4/6 + 2*g**3/3 - 17*g**2 - 7*g. Let b be k(10). Suppose b*h = h + 95. Is h a multiple of 19?
True
Let f(v) be the first derivative of v**4/4 + 2*v**3 + v**2/2 + 8*v - 45. Is f(-4) a multiple of 3?
True
Let v(p) = 94*p**2 + 186*p - 1092. Is v(6) a multiple of 17?
False
Suppose -11*d + 128 = -7*d. Let i be (-140)/12 + (-1)/3. Let f = d + i. Does 4 divide f?
True
Let n(c) = 29*c**2 + 8*c - 3. Let t(q) = 31*q**2 + 10*q - 4. Let d(k) = 5*n(k) - 4*t(k). Let m be 1/(-4 + 2)*-2. Does 8 divide d(m)?
False
Let j(v) = -v**3 + 2*v**2 + 9*v - 3. Let g be j(4). Suppose -n = g - 4. Suppose -5*x = n*s + s - 700, 5*x - 715 = -s. Is x a multiple of 24?
True
Suppose -5*i + i = 0. Suppose i = -2*u + 3*r + 12 + 13, 0 = u + r. Suppose -42 = -u*o + 33. Is 2 a factor of o?
False
Let c(n) = 316*n - 1357. Is 29 a factor of c(16)?
False
Suppose 0 = x + 9*x - 1640. Is (x/(-12))/(41/42 + -1) a multiple of 44?
False
Suppose -2386 = -4*s - 2*w + 3*w, 3*w = 5*s - 2986. Suppose 3872 = 2*t + s. Is t a multiple of 91?
True
Suppose 0*c = -c + 52. Suppose c*r - 1128 = 44*r. Is r a multiple of 33?
False
Suppose 0 = 43*k - 15028 - 15072. Let g(a) = 4*a**2 - 2*a - 1. Let b be g(-1). Suppose 3*d = -b*t + k, -3*d = -3*t - 2*d + 420. Is 17 a factor of t?
False
Suppose -3*m + 846 = 3*f + 2*m, -2*m = 4*f - 1114. Let y = -87 + f. Is y a multiple of 5?
True
Let y(w) = -3*w + 62. Suppose -2 = -x + 33. Suppose 48*i - 43*i = -x. Is 11 a factor of y(i)?
False
Let l(v) = 2174*v**2 - 42*v + 43. Is l(1) a multiple of 29?
True
Suppose 0 = 7*c - 4*c + 6. Let p be ((-2)/c)/((-5)/(-70)). Suppose -9*k - 235 = -p*k. Is k a multiple of 2?
False
Is (-3232128)/(-1026) + 4/(-18) a multiple of 35?
True
Let f(u) = 2*u**2 - 19*u + 126. Let j be f(6). Suppose 444 + j = 3*o. Is o a multiple of 4?
True
Suppose -5857 - 17363 = -10*w. Suppose -2*u - s + w = 0, -2*s + 1155 = u - 3*s. Is 61 a factor of u?
True
Let k(d) = 3*d - 7. Let y(b) = -4*b + 8. Let l(v) = 3*k(v) + 2*y(v). Let w be l(7). Suppose 4*x - 216 = -4*o, 3*o + 2*x + w*x - 158 = 0. Is 29 a factor of o?
True
Suppose -1890129 + 35224 = -145*a - 378370. Does 21 divide a?
False
Let a = 6768 + -5882. Does 68 divide a?
False
Let g = -333 - -99. Is (g/24)/(21/(-392)) a multiple of 7?
True
Let q = -211 - -349. Suppose -1456 - 319 = -145*z + 140*z. Let y = z - q. Is 34 a factor of y?
False
Is 19 a factor of (34/(-68) - 28)*12244/(-6)?
True
Let d(w) = -5*w**2 + 8*w - 9. Let a be d(3). Let u(y) = y**3 + 29*y**2 - 35*y - 11. Does 52 divide u(a)?
False
Suppose -496 = -8*x + 272. Suppose -19*j = -7*j + x. Let h(r) = r**2 - 5*r - 12. Is 16 a factor of h(j)?
False
Let g(l) = 87*l**2 - 178*l + 179. Is 22 a factor of g(1)?
True
Let f(s) = 441 - 13*s - 15*s + s**2 - 369. Does 12 divide f(29)?
False
Suppose 0*q = 4*o + q - 50, 2*o = -5*q + 34. Let n(d) be the second derivative of -d**4/12 + 7*d**3/3 + 7*d**2/2 + 26*d. Does 5 divide n(o)?
False
Let r be (-175)/(-70)*(6 + 0). Suppose 0 = -r*s + 1331 + 904. Is s a multiple of 4?
False
Is 17 a factor of (-32571)/(-4) + (-17)/(-68)?
True
Let q = 209 + -206. Suppose -3*p + 904 = q*s - 224, 0 = 5*s - p - 1886. Does 29 divide s?
True
Is 16 a factor of 1*-6*((-1)/(-4) - 258221/436)?
True
Let c(q) = -q**2 + 23*q + 10. Suppose 8*y - 9*y = -36. Suppose 2*s - y + 0 = 0. Is c(s) a multiple of 10?
True
Suppose 2*n + 65 = s, -n = -3*s + 267 - 72. Is s a multiple of 13?
True
