et w = z - -37. Is 8 a factor of w?
False
Suppose 0 = k - 5*r - 13 + 5, -4*k - 5*r = -32. Let d(t) = 6*t + 2*t**2 - 2*t**2 + 6*t**2 - 3*t**2 - k. Does 12 divide d(2)?
False
Let j(g) = g**2 + g**2 + 17*g - 6*g + 21. Suppose 10 = -5*m, -3*m + 7*m = -2*a - 22. Is 3 a factor of j(a)?
True
Let j be ((-20)/(-6))/(2/6). Let y be (-22)/4*j - -4. Let d = y - -81. Is 15 a factor of d?
True
Let w(r) = -r**3 - 13*r**2 + 12*r - 8. Suppose 2*m = -2*h - 26, 0*m = -5*h - 2*m - 68. Let b be w(h). Suppose 184 = 4*s - b. Is s a multiple of 3?
True
Let g(h) = 699*h - 1574. Is 90 a factor of g(10)?
False
Suppose -22*c + 129*c = 55640. Is c a multiple of 13?
True
Let u = 52 + -47. Suppose 4*q = -t + 8, 5*t + 0 = -u*q - 5. Suppose -6*m = -117 + q. Is 19 a factor of m?
True
Let y(h) = 1752*h + 4170. Is y(11) a multiple of 10?
False
Suppose 2*l - 107 = 1459. Suppose 3*t - 5*x = l, -3*x + x = -6. Is t a multiple of 13?
False
Let a = 110 - 102. Suppose 4*m = 2*u + 350, 433 = a*m - 3*m + 2*u. Is m a multiple of 19?
False
Suppose -23*j - 63*j = 65*j - 1776062. Is j a multiple of 205?
False
Let h be 15/(-2)*10/(-75)*-24. Is 87 a factor of (-32 + 3)/(4/h*2)?
True
Let k = -910 + 1635. Suppose -10*d + 1075 = -k. Suppose 5*q - 4*u + 107 = 373, 5*u = -4*q + d. Is q a multiple of 23?
False
Let t(g) = 7*g**3 + 2*g**2 - 2*g - 1. Let u be t(-2). Let f = 57 + u. Suppose f*v = 588 + 672. Is 15 a factor of v?
True
Suppose -2*m + 632 = 2*m. Let t = -5637 + 5731. Suppose -t - m = -4*r. Is 12 a factor of r?
False
Let z = 10 + 0. Suppose 4*l + 0*o = -o - 77, -z = 2*o. Let u = l + 26. Does 5 divide u?
False
Suppose 5*x + 34215 = -5*m + 7*m, -4*m = -5*x - 68435. Is 58 a factor of m?
True
Suppose 53*x - 54*x = -2*n - 2, 0 = n + 1. Suppose x = 4*q - 2*o - 1170, 0*o - 579 = -2*q - 5*o. Is 5 a factor of q?
False
Suppose -6*l - 35 = -13*l. Suppose -5*o = -5*p - 125, 2*o + 80 = -l*p - 17. Does 12 divide (-683)/(-7) - p/49?
False
Suppose -489 = -7*c - 16365. Does 12 divide c/(-20) - (52/(-20) - -3)?
False
Let h(x) = -x**3 + 3*x**2 + 5*x + 1. Let a(y) = y - 1. Let l(i) = -i**3 - 11*i**2 + 6*i + 2. Let w(c) = -6*a(c) - l(c). Let t be w(-12). Is h(t) even?
False
Let o be (1 - 4) + (-4 - 0) + 170. Suppose o = p - 4*i, -2*p + 4*i + 220 = -118. Does 16 divide (48/(-15))/((-5)/p)?
True
Let f be (-89)/(-3 - -4 - 156/154). Suppose 109*q + f = 116*q. Is q a multiple of 10?
False
Let c = 226 + -533. Let z = c - -1262. Is 7 a factor of z?
False
Let g be (-1790)/(-12) - 35/210. Suppose -16*w = -8613 + g. Does 20 divide w?
False
Let m(s) = -162*s + 180. Is m(-30) a multiple of 18?
True
Let p = -28 - -29. Suppose f + 4*u + 32 - 106 = 0, -2*f + 3*u = -126. Is f/(1/(0 + p)) a multiple of 14?
False
Let m(d) = -d**2 - 10*d + 6. Let p(s) = -2*s**2 - 20*s + 11. Let r(k) = -13*m(k) + 6*p(k). Let x be r(-12). Suppose 5 = j - x. Is j a multiple of 17?
True
Let o = -156 - 399. Let f = o - -1031. Does 17 divide f?
True
Suppose b + 3*j = 361 + 1374, b + 2*j = 1734. Is b a multiple of 18?
False
Does 15 divide (9 + (-287)/35)*4*(-13030)/(-4)?
False
Suppose -21*c - 2*n + 122870 = -19*c, -c - 4*n + 61450 = 0. Does 15 divide c?
False
Let v(z) = -220*z + 806. Does 47 divide v(-13)?
True
Suppose -3*b - 2947 = -v, -12*b + 16*b + 2950 = v. Is 6 a factor of v?
False
Let d = -4272 + 5767. Is 13 a factor of d?
True
Let t be (-2)/16 - (-28)/224. Suppose -45 - 11 = -2*m. Suppose 4*y - 4*b + t*b = 36, -2*b = -3*y + m. Is y a multiple of 7?
False
Suppose 6593*w - 6522*w = 1467144. Is w a multiple of 21?
True
Let a(p) be the third derivative of p**4/12 + 5*p**3/2 - 55*p**2. Is a(5) a multiple of 5?
True
Let v = 40345 - 23265. Is 70 a factor of v?
True
Let u(q) = q**3 + 11*q**2 + 11*q - 39. Is 8 a factor of u(15)?
True
Is ((-57562)/68*-12)/((-2)/(-12)) a multiple of 350?
False
Let j(m) = -6*m + 0 - 8*m**2 + 8 - 2*m + 9*m**2. Let b(u) = u**2 - 8*u + 8. Let a(c) = 4*b(c) - 5*j(c). Is 4 a factor of a(5)?
False
Suppose -d - 42*z = -39*z + 3, 5*d = -3*z + 21. Is d even?
True
Is 8 a factor of (10/(-45) - 8/45) + 97840/100?
False
Let h = 49 - 45. Suppose 0 = -h*i + 23 + 1. Suppose -i*o + 5*o = -206. Is o a multiple of 9?
False
Let k(g) = 19*g + 104. Suppose -l - 3*d + 5 = 0, 2*l + 0*d - 19 = 3*d. Is k(l) a multiple of 29?
False
Let q = 20996 + 949. Does 55 divide q?
True
Let z(h) = 1189*h**3 - 3*h + 2. Let r be z(1). Suppose 9*t = 6*t + r. Does 39 divide t?
False
Suppose 0*h = 4*z + 5*h + 55, 0 = 5*z - 4*h + 38. Let x(a) be the second derivative of -23*a**3/6 - 23*a**2/2 + 14*a - 4. Is 23 a factor of x(z)?
True
Let p = 843 - 1218. Let k = p - -935. Does 35 divide k?
True
Suppose -4*x = i + 20, 4*i + 17 = -5*x - 8. Let j be 2/(-6)*516/(-2). Suppose -6*g + 8*g - j = i. Does 8 divide g?
False
Suppose q = t, 5*q - 10*q + 18 = t. Suppose -6*m + 5*c - 45 = -7*m, -249 = -4*m + t*c. Is m a multiple of 5?
True
Suppose 110*d - 111*d - p + 825 = 0, 2*d - 1680 = 3*p. Does 3 divide d?
True
Let h = -401 - -380. Let d(g) = -g**2 - 35*g - 10. Is 35 a factor of d(h)?
False
Let d be 1/6 + (-3)/((-36)/(-554)). Let c = d + 48. Suppose 5*z - c*b - 409 = 0, 5*z - 5*b - 400 = -0*b. Is z a multiple of 10?
False
Let r(m) = m**3 + 16*m**2 + 3*m - 2. Let c be r(-14). Suppose -d = d - c. Let b = d + -35. Does 30 divide b?
False
Let i = 20307 - 6243. Does 16 divide i?
True
Suppose -2*r - 210728 = -5*s, -s = -141*r + 140*r - 42145. Does 13 divide s?
True
Suppose 19*q = -201*q + 244860. Is q a multiple of 35?
False
Suppose 2*z - 3 = -7. Let b(y) = 3*y**3 + 2*y**2 + 44. Let j(d) = 7*d**3 + 5*d**2 + 89. Let p(v) = z*j(v) + 5*b(v). Is p(0) a multiple of 6?
True
Suppose 2*b - 3465 = -5*b. Suppose 19*w + b = 22*w. Suppose 13*q + w = 16*q. Is 11 a factor of q?
True
Suppose 3*i - 3848*c = -3849*c + 21545, -3*c + 14375 = 2*i. Is 75 a factor of i?
False
Suppose -5*j - 46 = 4*n, -j = 18*n - 17*n + 12. Let d(q) = -58*q - 31. Does 12 divide d(n)?
False
Let k(d) = d**3 + 11*d**2 - 272*d - 12. Does 93 divide k(23)?
True
Let d = 37 + 57. Let j = 89 - d. Is 12 a factor of (-10)/j + -1 + 83?
True
Let q(z) = -29*z + 134. Let y be q(5). Let o = y + 407. Does 18 divide o?
True
Let z(d) = -d**3 + 7*d**2 + 12*d - 30. Let i be z(8). Suppose i*a = 5*a + q - 2165, 3*q = -12. Does 67 divide a?
False
Suppose -31*y - 1392 = -5360. Let o be -2*(-8)/2*10. Let k = y - o. Does 8 divide k?
True
Let a = -63 + 74. Suppose 0 = 2*g - a + 5. Suppose -g*q + 227 = 5*p - 268, 0 = -3*q. Is 33 a factor of p?
True
Let k = 1400 + -10100. Does 44 divide 2/3 - k/18?
True
Is 14 a factor of (10 + -58)/4 - -4228?
False
Let d be 3 - (1 + 7 - 5). Suppose d = 5*n - 2*c - 3*c + 25, 0 = 3*n - 5*c + 13. Is (14/n)/((-13)/39) a multiple of 2?
False
Let o = -17606 + 17807. Suppose 0 = -w + 6*w + 3*h + 17, 5*w + 21 = h. Is 10 a factor of 8/w*o/(-6)?
False
Suppose 1 = o - 5. Let h(k) = -14*k**3 - 20*k**2 - 32*k + 41. Let z(s) = 3*s**3 + 5*s**2 + 8*s - 10. Let p(y) = 2*h(y) + 9*z(y). Is p(o) a multiple of 3?
False
Let c(v) = -314*v**3 + 3*v**2 + 3*v + 2. Let i be (-5 + (-65)/(-15))*(-18)/(-12). Is 7 a factor of c(i)?
False
Let r(o) = o**2 - 71*o + 84. Does 112 divide r(-69)?
True
Let c = -233 - -233. Suppose -10*j + 1163 + 1377 = c. Does 17 divide j?
False
Suppose -3163 - 272 + 753 = -2*w + 4*o, 0 = -3*o. Does 30 divide w?
False
Suppose -5*x + 15 = 4*c - 2*c, -4*c + 4*x = 12. Suppose c = -2*u + 6, 2*h - 246 = -3*u - 43. Is 21 a factor of h?
False
Does 11 divide (1617/(-35))/(159/(-51145))?
True
Let x = -68 - -213. Is 6 a factor of x + 1/(-3)*3?
True
Suppose 25560 = 106*d - 86*d. Is 9 a factor of d?
True
Suppose -4*w + 4 = -3*w. Suppose -3*u - 2*l = 3*l - 11, -3*u + w*l = -2. Suppose -4*r - 2*a + 404 = 0, r + u*a + 34 - 135 = 0. Is 34 a factor of r?
False
Suppose -4*m + 12932 = 4*u, 31*u - 30*u = -3*m + 3221. Is 34 a factor of u?
False
Suppose -157*c = 8*c - 1534500. Does 12 divide c?
True
Suppose -40 = 3*t + 2*a, a + 69 = -7*t + 2*t. Let q be (-18)/(-63) - (-4)/t. Suppose 0 = j + 3*n - 31, q*j + 28 = j + 2*n. Is 12 a factor of j?
False
Let i(l) = 11*l - 300. Let c be i(38). Let t = c + -19. Is 4 a factor of t?
False
Let a(i) = 33*i + 79 - 54 - 113 + 2*i**2. Does 29 divide a(-26)?
True
Let l be -8 + (-4 - 9*-217). Let a = l + -722. Is a a multiple of 23?
True
Let y = 2995 - 1785. Does 36 divide y?
False
Let b(f) = -163*f - 25. Let s be