
False
Let w = -160 - -160. Suppose 2012 = 4*v - 4*c, -5*v + 6*c - 5*c + 2535 = w. Does 37 divide v?
False
Let v(g) = 3*g**2 - 2*g. Suppose 4*i = -2*q + 16, 0*i - 2*i = 3*q - 20. Suppose 18 = -4*t + q. Does 11 divide v(t)?
True
Let y = -12877 + 43783. Is y a multiple of 34?
True
Let m(d) = 3*d**2 - 23*d + 19. Let n(r) be the first derivative of -r**3/3 + r**2/2 + 39. Let p(b) = -m(b) - 2*n(b). Is p(15) a multiple of 14?
False
Let b(r) = 5*r**2 + 109*r + 1383. Is 3 a factor of b(-12)?
True
Let p(v) be the first derivative of 9*v**3 - v + 511. Let d = -6 - -7. Does 26 divide p(d)?
True
Suppose 15*a - 335027 = -10*a + 14*a. Is a a multiple of 230?
False
Let w(o) = 4*o**2 - 13*o - 9. Let j be w(-4). Suppose 2 + j = -h. Let s = 211 + h. Does 33 divide s?
False
Let z(s) = 371*s - 2702. Does 14 divide z(30)?
True
Let m = -9062 - -18918. Is m a multiple of 16?
True
Let r = -6706 + 12034. Is 3 a factor of r?
True
Suppose 6*m = 2 + 10. Suppose z + 31 = -3*g - 3*z, -m*z + 4 = 0. Let v = 32 + g. Is 4 a factor of v?
False
Suppose o + 2*j = -j + 149, 3*o + 5*j = 447. Suppose 259 + o = 3*i. Is 5 a factor of i?
False
Let l(u) = -u**3 + 29*u**2 + 13*u - 17. Does 36 divide l(23)?
True
Suppose 0 = -5*i + 4*d + 958, 4 + 2 = 2*d. Suppose -i*x + 200*x - 1980 = 0. Is x a multiple of 10?
True
Is 1/(15*(-14)/(-1050) - (-18068)/(-90390)) a multiple of 23?
True
Suppose -19712 = -7*f - 9971 + 15312. Is f a multiple of 4?
False
Let a be 14 + (4 + -2)/(-2). Suppose -2*u + 5*s = a, -2*s = 2*u - 5*s + 11. Is 3/(-12) + (-161)/u + 1 a multiple of 15?
False
Suppose -3*a - 21 = 0, -2*o - 11*a + 16*a + 18091 = 0. Is o a multiple of 3?
False
Let y(i) = i - 44. Let d be y(-5). Let l(v) = v**2 - 7*v + 4. Let f be l(2). Does 3 divide f/14 - 266/d?
False
Let c(m) = -44*m + 616. Does 16 divide c(11)?
False
Let x(u) be the third derivative of 149*u**4/12 + 44*u**3/3 + 14*u**2 + 2*u. Does 8 divide x(2)?
False
Let p(r) = 10*r**3 + 10*r**2 - 45*r + 54. Let n(o) = 3*o**3 + 4*o**2 - 15*o + 18. Let v(m) = -7*n(m) + 2*p(m). Is v(-10) a multiple of 16?
True
Let h = 113 - 113. Suppose h = 3*m + 6*m - 6372. Does 11 divide m?
False
Let i = -18434 + 40213. Is 47 a factor of i?
False
Let y(v) = 4*v. Let t be y(1). Let u(q) = 2*q**2 - 5*q. Let s be u(6). Suppose t*o = 7*o - s. Is o a multiple of 2?
True
Let c(d) = -2*d**3 + 6*d**2 + 4*d - 7. Suppose 32*s - 37*s - 15 = 0. Does 39 divide c(s)?
False
Suppose s + 121 = q + 4*s, 0 = -2*q - 3*s + 254. Suppose 27 + q = 4*v. Suppose -x + 17 = -k - 2*k, -4*x = -5*k - v. Is 3 a factor of x?
False
Suppose -20*x + 21*x - 2*d = -786, 0 = -4*x - 5*d - 3196. Let u = x + 1411. Is 30 a factor of u?
False
Let p = -315 - -411. Is 48 a factor of p?
True
Let y(a) = -40*a - 1557. Is 7 a factor of y(-64)?
False
Let v be (-762)/(-3) + (9 - 9). Let u = 287 - v. Does 3 divide u?
True
Suppose -227 = -3*a - 32. Let o = a + 17. Let b = o - 42. Is 5 a factor of b?
True
Suppose 50*h + 5*c = 51*h - 16852, -5*h + 3*c = -84326. Is 36 a factor of h?
False
Let p = -33 - -43. Suppose -4*f + 5*k - 25 = 0, 3*k = -5*f - 12 - p. Let w(x) = 6*x**2 + 6*x. Is 15 a factor of w(f)?
True
Suppose 163 = g + 4*m, -290 = -2*g - 2*m + 3*m. Suppose 69 + g = -3*o. Let v = o - -124. Is v a multiple of 5?
False
Let n = -410 - -414. Suppose -n*u - 226 = -3*t, -t + 4 + 72 = -u. Is t a multiple of 8?
False
Suppose 1 + 75 = 4*w. Suppose -23*j = -w*j - 40. Let y = -5 + j. Is 4 a factor of y?
False
Let a = -12 + 28. Does 5 divide (-1)/(-4) + 2/a*478?
True
Suppose -5*a = 2*a + 1106. Let u = 17 - a. Is u a multiple of 12?
False
Let i(z) = 2*z - 5. Let u be i(-1). Is 28 a factor of (-4894)/u + 408/476?
True
Suppose -p + 5*v = p - 31, 5*p + 4*v + 5 = 0. Is 10 a factor of (-1)/p*-1447 + (-58)/(-87)?
False
Suppose -26*c - 116870 = -32*c + 2*q, q = 2. Does 129 divide c?
True
Let d(z) = 7*z**2 + 3*z - 6. Let s be d(-9). Does 89 divide (s/2)/(14 - 324/24)?
True
Let r(g) be the second derivative of g**6/120 - g**5/6 - g**4/6 - 7*g**3/6 + 9*g**2/2 + 2*g. Let d(b) be the first derivative of r(b). Is 14 a factor of d(11)?
True
Let m = 19 - 16. Suppose 243 = 4*f - 3*c, -c + m*c - 47 = -f. Is 19 a factor of f?
True
Suppose 44*p = 3*p + 60270. Is p a multiple of 7?
True
Suppose 0 = -3*s + 4*k + 8824 + 7166, 2*k = -5*s + 26598. Is 45 a factor of s?
False
Suppose 20*s - 11*s - 244944 = -153*s. Is s a multiple of 54?
True
Let z(y) = y**3 - 4*y**2 + 8*y. Let v be z(-8). Let k(q) = 11*q - 197. Let d be k(18). Is (v/39)/(d/(3/(-2))) a multiple of 32?
True
Let n = -5327 + 7715. Suppose 2*z - 4*w = n, 3*w + 192 = z - 1005. Suppose 0 = 7*t + 2*t - z. Does 18 divide t?
False
Let j = -10846 + 15742. Does 51 divide j?
True
Let y = 61574 + -48246. Is 28 a factor of y?
True
Let o(d) = 818*d**3 + 8*d**2 - 18*d + 37. Is o(4) a multiple of 30?
False
Does 13 divide (-2)/5 + 1044330/75*2/7?
True
Let y(i) = 2884*i**2 + 51*i - 11. Does 16 divide y(-3)?
True
Suppose 0 = -2*y + 9*d - 6*d + 29927, 0 = 3*y - 5*d - 44890. Is 18 a factor of y?
False
Suppose -3*n = g + 130, -n - 30 = 6*g - 3*g. Is 41 a factor of 285 + n/(-18)*8/10?
True
Is 110/((-10)/(-125)*(-9)/(-18)) a multiple of 2?
True
Let g = -1144 - -371. Let w = g + 1485. Is 20 a factor of w?
False
Let m(i) = 6*i + 8. Let g(n) = n. Let j(h) = -8*g(h) + m(h). Let q be j(-3). Suppose 9*t - q*t = -40. Does 8 divide t?
True
Let x = -180 + 184. Does 22 divide x - 636/8*(-20)/15?
True
Let t(w) = 26*w**2 - 16*w. Let q(y) = 7*y - 106. Let k be q(15). Is t(k) a multiple of 2?
True
Let j = 146 + -86. Suppose -2*l + j = -6*l. Is 17 a factor of 280/l*9/(-6)?
False
Let h(z) = z**3 - 26*z**2 + 42*z + 137. Does 15 divide h(28)?
False
Suppose -3*v - 11*t = -6*t - 44, -11 = -v + 2*t. Is 23 a factor of (v/(52/132))/((-1)/(-23))?
True
Let l(o) = -15*o - 12. Let u be l(-2). Suppose -u*k + 745 = -191. Suppose -3*y + 164 = -k. Is 6 a factor of y?
True
Suppose -16*f + 617633 = -4*f - 442111. Is 14 a factor of f?
True
Suppose -6*o = 5*o - o. Suppose o = 53*a - 49*a - 332. Is a a multiple of 10?
False
Suppose -4*l + b - 145 = 0, -2*l - 114 = l + b. Let t = l - -41. Suppose -2*i + t*a + 140 + 104 = 0, -4*i = 3*a - 433. Does 14 divide i?
True
Let s(t) = -t**3 + 15*t**2 - 13*t - 24. Let b be (-122)/(-10) + 29/5 + -6. Is 14 a factor of s(b)?
True
Suppose 3*d = 6, -5*h - 2*d - 933 = -6*d. Let i(g) = 10*g**2 + 2*g + 12. Let l be i(5). Let j = l + h. Is j a multiple of 21?
False
Let t = 23 - 25. Let x be 3/(-3 - t) - -9. Suppose 5*s + 135 = x*v - 2*v, 185 = 5*v - 3*s. Is v a multiple of 10?
True
Let o be (-148)/(-3)*(-10 + (-6 - -13)). Is 14 a factor of (-37)/o + 110/8?
True
Suppose 0 = -o + 2*s - 204, -5*o - 240 - 790 = -5*s. Is (-27 + -3)/(-6) - o a multiple of 73?
False
Let f = -265 + 290. Does 59 divide (20/f)/(4/1770)?
True
Let a(h) = -10*h**2 + h + 16. Let b(w) = -7*w**2 + 21. Let i(p) = -3*a(p) + 2*b(p). Suppose -5*d - 5*s - 40 = 0, -3*d - 4*s = -d + 24. Does 15 divide i(d)?
False
Suppose -3*l = -4*g + 29776 + 14723, 11144 = g + 2*l. Does 44 divide g?
False
Let d = 867 - 248. Does 8 divide d?
False
Let k(n) = 33*n**2 - 2*n - 56. Let f be k(-6). Suppose -5*s - 5*c + 1930 = 0, -3*s + f = -3*c - c. Is 24 a factor of s?
True
Let z(u) = u**3 - 42*u**2 + 81*u + 75. Let w(q) = -q**2 + 2*q - 1. Let t(b) = -4*w(b) - z(b). Is t(43) a multiple of 20?
False
Suppose -5*i - 64 = p - 0*p, 0 = 5*p - 4*i + 349. Let j = p + -28. Let d = 136 + j. Does 6 divide d?
False
Let m(v) = 2*v**3 - 61*v**2 + 33*v + 6. Let x be m(30). Suppose -g - x = -5*u + 16, 4*u - g - 90 = 0. Is 5 a factor of u?
False
Suppose 2*i - 2*g + 560 = 0, 0 = 5*i + 8*g - 3*g + 1410. Let y = i + 575. Suppose -16*j + 23*j - y = 0. Is j a multiple of 2?
True
Let n = 5184 + -5048. Is n a multiple of 25?
False
Suppose 0 = 56*f - 57*f + 8*q + 14462, -4*q - 72238 = -5*f. Is 161 a factor of f?
False
Suppose b - 18 = -14, 0 = 3*v + 6*b - 23880. Does 33 divide v?
False
Let b(r) be the third derivative of -r**6/120 - 7*r**5/60 - r**4/4 + 5*r**3/6 + r**2. Let w be (-15)/(-18) - (-1 + 53/6). Is 22 a factor of b(w)?
False
Suppose 0 = -2*i + 5*n + 2 - 3, -6 = -i - 4*n. Suppose 3*t + i*d - d - 539 = 0, t - 3*d - 183 = 0. Is 17 a factor of t?
False
Let u(g) = -g**3 + 3*g**2 + 2*g - 1. Let q be u(3). Let t(w) = -w**2 - 337*w + 1717. Let c be t(5). Is 34 a factor of -71*(c/(-1) + q)?
F