 -t**3 + 2*t**2 - 2*t - 90. Let k(x) = 6*x**3 - 11*x**2 + 11*x + 451. Let z(i) = -11*b(i) - 2*k(i). Is 8 a factor of z(0)?
True
Suppose -6*s - 4*u + 2 = -8*s, 0 = -5*s + u + 22. Let i(v) = 147*v + 1. Let z be i(s). Suppose -11*c - 5*c + z = 0. Is 5 a factor of c?
False
Let t(s) = 7*s**3 + 64*s**2 + 5*s - 5. Is t(8) a multiple of 42?
False
Suppose 392897 + 541851 = 75*w - 382852. Is w a multiple of 36?
True
Is -9 - ((-8)/(-12) - (-63256)/(-6)) a multiple of 60?
False
Suppose 0 = -26*p + 1488 + 3140. Let s = -80 + p. Is 4 a factor of s?
False
Suppose 316 = -g - 2*q + 5070, -5*q = 5*g - 23795. Does 34 divide g?
False
Suppose 35*t - 60*t = -102075. Is t a multiple of 40?
False
Suppose -48 = -n - 150. Let c = n + 114. Suppose 2*j - 132 = c. Is 6 a factor of j?
True
Suppose 4*k = 73 - 21. Suppose k*z - 2*z - 2904 = 0. Is z a multiple of 8?
True
Suppose 614*j - 597*j - 421617 = 0. Is 18 a factor of j?
False
Let l = 10701 - 6698. Does 25 divide l?
False
Let h(l) = l**2 - 3*l - 6. Let b be h(-2). Suppose -117 = b*z - 401. Suppose -2*u = -z - 65. Is 17 a factor of u?
True
Suppose -7*d + 2*d + 10492 = 3*h, 3 = -3*h. Is d a multiple of 3?
False
Let z(s) = 4*s**3 + 10*s**2 + 4*s - 10. Let a be z(-8). Let m = a + 448. Is m/(-10) - (0 + (-2)/(-10)) a multiple of 10?
True
Let p(r) = r**3 - 25*r**2 + 4*r - 98. Let z be p(25). Suppose z*d + 0*v = -5*v + 1390, -2*d + 1376 = -2*v. Is d a multiple of 96?
False
Suppose -5*a = 5*w - 43385, 4*a - 3*w - 2*w = 34735. Does 124 divide a?
True
Suppose 0 = 48*j + 115*j - 2709875. Is 35 a factor of j?
True
Let t(f) = -f + 17. Let p be t(2). Suppose -p*b + 384 = -12*b. Does 4 divide b?
True
Suppose 4*f = 2*u + 144, 5*u - u = 3*f - 303. Is u*(7/(-2) + -1) a multiple of 27?
True
Let r(c) = 623*c - 444. Is r(6) a multiple of 54?
True
Suppose -3*f - 3*c + 537 + 537 = 0, -c = -5*f + 1784. Let m = f + 1008. Is m a multiple of 39?
True
Suppose 184*j - 78*j - 95*j = 30624. Is 58 a factor of j?
True
Does 21 divide (-5)/(45/1512)*(-285)/6?
True
Suppose -13*i = 6*i - 133. Suppose -i*q = -8*q + 177. Is q a multiple of 30?
False
Suppose -184306 + 699814 = -14*s. Is 17 a factor of (s/(-285))/(4/10)?
True
Let h(k) = -k**2 - k + 6. Let x be h(3). Let n(w) = -4*w - 20. Let l be n(x). Suppose -l*v + 7*v - d - 153 = 0, 4*v - 5*d - 193 = 0. Is v a multiple of 13?
True
Let l(h) = -4*h**2 + 8*h + 6. Let o be l(-1). Is 10 a factor of 79 - (-6)/(o/2) - -4?
False
Let i(d) = -768*d - 5945. Is 11 a factor of i(-10)?
False
Suppose 21988 - 8473 = 29*i - 13281. Is i a multiple of 28?
True
Let h be 63 - 3/((-5)/(-5)). Is 31/10 - 3 - (-30834)/h a multiple of 16?
False
Let k(t) = t**3 - t**2 - 2*t - 3. Let q be k(-2). Let l(o) = -6*o - 3. Is l(q) a multiple of 40?
False
Let t be (1 - 1) + (8 - 6). Suppose x + t = 0, 5*u = -x - x + 26. Suppose -u*a + 128 = 38. Is a a multiple of 2?
False
Let u(o) = 4*o - 46. Let y(v) be the second derivative of v**3/6 - 15*v**2/2 - 11*v. Let s(c) = 4*u(c) - 14*y(c). Does 6 divide s(-10)?
True
Let k = 58564 + -41660. Is 141 a factor of k?
False
Suppose 2*c - 6*c + 3*u = -14, 2*c - 4*u = 12. Suppose -12 = -g - 3*g, 3*m = c*g - 9. Let n(t) = -12*t**3 + t**2 - 2. Is 4 a factor of n(m)?
False
Let k be 27/(-36)*(-70 - (-6 - -4)). Suppose k*o = 65*o - 20902. Does 30 divide o?
False
Suppose 4*m + 292 = -2*r, 5*r = 5*m - m - 744. Let d = r - -89. Is 34 a factor of d/(-2*1/8)?
False
Is (-24)/(1200/(-175)) + 17351/2 a multiple of 3?
True
Suppose -7*m = 2*d - 3*m - 2, 0 = 2*d + 3*m - 4. Suppose -252 = -d*h + 88. Is 17 a factor of h?
True
Suppose 902 = 4*q + b, 2*b - 235 = -q - 3*b. Let i = q + -193. Is 6 a factor of i?
False
Suppose 3*q - 20 = 8*q. Let w(p) = p**2 + 4*p + 5. Let d be w(q). Suppose 280 + 145 = d*z. Is z a multiple of 34?
False
Suppose 27*j + 1185 = 22*j. Is 13 a factor of (6/5)/(j/(-124820))?
False
Let o(u) = u**3 + 4*u**2 - 14*u - 9. Let a be o(-6). Let l(w) = -a*w - w**3 - 4 - 6 - 12*w**2 + 3*w**2. Is l(-9) a multiple of 5?
False
Suppose -15*m = -3502 - 5693. Suppose 0 = b + h - 123, 5*b + 4*h = -0*b + m. Does 9 divide b?
False
Let d(w) = -w**3 - 5*w**2 + 14*w + 2. Let l be ((-36)/(-48))/((-2)/(-16)). Let b be d(l). Is b/(-3) + (-6)/18 a multiple of 34?
False
Let k = 1294 + -1319. Let y be 2/(-6) + 885/9. Let x = y + k. Does 22 divide x?
False
Let g be 258*1 + (-4)/8*2. Suppose -6*m + g = 11. Is 2 a factor of m?
False
Suppose 5*g = 3*z + 48672, -3*g + 22635 + 6569 = -z. Is g a multiple of 11?
True
Let s = 133 + -121. Suppose -s*d + 1330 = -62. Is d a multiple of 19?
False
Let d(n) be the third derivative of n**6/120 + 11*n**5/60 - 13*n**4/24 + n**3/3 - 7*n**2. Let h be d(-12). Suppose -11*b + h*b - 270 = 0. Is 8 a factor of b?
False
Let m(x) = 23*x + 5056. Is m(48) a multiple of 35?
True
Suppose i - t - 3977 = 0, -3*i + 6702 = -2*t - 5230. Suppose p - 14*p = -i. Is 34 a factor of p?
True
Does 20 divide 16269036/252 - 4/(-12)?
True
Suppose -19*x + 7610 = -1415. Is x a multiple of 25?
True
Suppose 3*x + 4*k = 3*k - 359, 0 = -4*x + 5*k - 504. Let m = 125 + x. Suppose -4*c = -2*p - 1284, 4*c = -3*p + m*p + 1286. Is c a multiple of 14?
True
Let y = -176 + 185. Does 11 divide ((-2023)/(-35) + y)*20?
False
Let d(x) = -13*x**2 - 24*x - 7. Let l(u) = -28*u**2 - 47*u - 12. Let j(m) = 13*d(m) - 6*l(m). Is 17 a factor of j(-9)?
True
Let h = -224 - -281. Suppose -h = 8*f - 201. Does 4 divide f?
False
Suppose -23 = 4*i - 55. Suppose 4*j + i = 28. Suppose t + 3*l - 8 = -0*t, 0 = j*t + 5*l - 60. Is t a multiple of 6?
False
Let l be -1*(-14 + 1 - 0). Suppose -28 = -5*a - l. Suppose a*m = r + 761, 1006 = 4*m + 5*r - 2*r. Is m a multiple of 23?
True
Suppose -5*u + 1244 = -1631. Suppose -3*o + u - 377 = 0. Is o a multiple of 6?
True
Suppose 3664 = -6*c + 11272. Suppose 0*g - 3*u = 5*g - 2112, 0 = 3*g + 2*u - c. Is g a multiple of 14?
True
Let w = -2541 + 4429. Does 16 divide w?
True
Let k = 185 - 127. Let a = k + -50. Does 41 divide 1/((6 + (4 - a))/328)?
True
Suppose 4*g = -6*g + 7*g. Let n(r) = 3*r**2 - 2*r**2 + 0*r + 2*r + 128. Is 16 a factor of n(g)?
True
Let o = -16 + -16. Suppose 0 = n - m + 2, -m - 23 = 3*n + n. Let k = n - o. Does 27 divide k?
True
Suppose -89*c + 1334700 = -122*c + 108*c. Is 12 a factor of c?
True
Let y be (-1 + 1/1)/1. Let v(a) = -2*a**3 + 5*a**2 + 9*a - 335. Let r(p) = -p**3 + 2*p**2 + 4*p - 168. Let u(c) = -5*r(c) + 2*v(c). Is u(y) a multiple of 34?
True
Suppose 7*t - 141 = -22. Suppose t*a - 171 = 101. Is a a multiple of 4?
True
Let n(t) be the first derivative of 173*t**4/4 + 2*t**3/3 - 26. Let a be n(1). Let d = -79 + a. Is d a multiple of 48?
True
Let r(o) = 37*o**2 + 5*o - 5. Let k be r(5). Suppose -2450 + k = -7*p. Does 13 divide p?
False
Suppose 3*a = 5*a + 42. Let y = 101 - 66. Let u = a + y. Is 14 a factor of u?
True
Let g = 4 + -286. Let d = -34 - g. Does 12 divide d?
False
Let k = -88 + 85. Is 5/(-45)*-6 + (-346)/k a multiple of 58?
True
Let t(m) = m**2 - 3*m - 6. Suppose 3*n - 3*d - 3 + 0 = 0, -2*n = 2*d - 18. Let f be t(n). Suppose -f*u + 146 = -2*u - 4*w, -3*w = 3*u - 255. Is 6 a factor of u?
False
Suppose -6*o + 104 = -316. Let r = o - 64. Suppose 4*s = 0, -4*i = -5*s - r - 258. Does 22 divide i?
True
Let a(y) = 78*y**2 - 7*y + 164. Is a(-5) a multiple of 92?
False
Let u = 13 + 2155. Does 6 divide u?
False
Suppose 25*z + 33*z - 3886 = 0. Is (-1)/(-4) - z/(-4) a multiple of 11?
False
Let f(p) = -p**3 - 5*p**2 + 7*p - 1. Let g be f(-6). Let c(t) = -t**2 + 3*t + 2. Let l be c(g). Let i = l + 124. Is i a multiple of 7?
True
Is 13 a factor of ((-120)/35)/(-6) - 221184/(-224)?
True
Let m(f) = f**2 - 13*f - 42. Let p = -10 - -13. Suppose -4*h = -r + p, 3*r + 3*h - 107 = -2*r. Is 8 a factor of m(r)?
True
Suppose -157*l + 78*l = -94*l + 217695. Is 23 a factor of l?
True
Let o(l) = -5*l + 80. Let g be o(20). Does 10 divide (792/g)/((-4)/10)?
False
Suppose 148595 = 11*h - 46985. Does 63 divide h?
False
Does 7 divide (16 + 19918 - -24)/(0 - (-4)/2)?
False
Suppose -2*n = h - 13 + 14, 0 = 2*h - 2*n - 10. Suppose -58 = -h*k - 7. Is 12 a factor of k?
False
Let w = -11 - -31. Let k(p) = w*p + 16*p - 45*p - 12 + p**2. Is 25 a factor of k(16)?
True
Suppose 51 - 239 = -2*j. Let g(m) = -m**3 + 14*m**2 - 11*m + 8. Let a be g(8). Suppose -5*i - j = -a. Is i a multiple of 21?
True
Let i be ((-4)/(-10) + (-42)/5)/(