5*k - 4*w = -x, k - 4*w = -0*k + 41. Suppose -2*o + k = s, 2*s - 107 = -s + 4*o. Is 8 a factor of s?
False
Is 10 + (-62)/(-682) + (-139105)/(-11) a multiple of 25?
False
Let m(d) = 23*d - 22. Let s be m(5). Let t = -9 + s. Is 7 a factor of t?
True
Suppose 28*x + 8 = 32*x. Let o be x/(-5) - (714/(-35) + -1). Let i(j) = -j**3 + 20*j**2 + 28*j + 44. Does 28 divide i(o)?
False
Let h(x) = 179*x**2 - 8*x + 10. Let z = -35 - -37. Does 31 divide h(z)?
False
Suppose -72 = -3*g - 9*g. Is (-627 - 3)*g/(-9) a multiple of 28?
True
Suppose 0 = 91*p - 87*p + 4. Let b(l) = 4*l**2 + l + 1. Let g be b(p). Is 260*(g/(-6) - 42/(-36)) a multiple of 20?
False
Let s(p) = 1069*p - 349. Let w(o) = -1603*o + 523. Let q(d) = 7*s(d) + 5*w(d). Is q(-2) a multiple of 13?
False
Suppose 60 = j - 5*j. Let l be ((-40)/j*(-9)/(-4))/(-2). Let a(q) = -18*q - 6. Does 12 divide a(l)?
True
Let l be (-3 - -8 - -276) + 3*-1. Let c = l - -312. Suppose -215 = 5*a - c. Is a a multiple of 25?
True
Suppose -5*u + 95028 = -2*q, -5*u - 204*q + 203*q = -95046. Is 27 a factor of u?
True
Suppose -t = -4*t - 3*u - 39, -3*u = -2*t - 11. Let x be ((-2)/t - 81/30)*-2. Suppose j - 70 = -x*c, 0 = 2*j + c - 192 + 43. Is 25 a factor of j?
True
Let m(h) = -6*h + 48. Let t be m(11). Let g = 14 - t. Suppose -607 = -9*o + g. Does 7 divide o?
False
Suppose 0 = 6*k + 6, 2*k + 26267 = 4*c - 16815. Is c a multiple of 15?
True
Suppose 0*u - u = -3. Suppose -u*a + 68 = -a. Let z = a - 14. Is 5 a factor of z?
True
Let q be (-4)/(-10) + 31977/(-55). Let m = 851 + q. Is 15 a factor of m?
True
Suppose -30 = -5*b - 5. Suppose 5*y - 2*h - 38 = 0, 3 + 35 = 3*y - b*h. Is ((1130/(-15))/(2/y))/(-2) a multiple of 20?
False
Let x(u) = 9*u - 25. Let m(k) = 5*k - 13. Let t(g) = -11*m(g) + 6*x(g). Let l(o) = -2*o - 8. Let b(w) = -3*l(w) + 4*t(w). Does 3 divide b(10)?
False
Let h(y) = 36*y**2 - 10*y. Let r(w) = 7*w**2 - 2*w. Let m(x) = -3*h(x) + 16*r(x). Suppose -3*s - 17 = -o, 11*o - 6*o + 15 = -5*s. Does 7 divide m(o)?
False
Let y = -136 + 152. Suppose -24*g - 4*p = -19*g - 1136, 4*p - y = 0. Is g a multiple of 14?
True
Suppose 3*u = 4*u + 5*w - 53, -4*w = -12. Suppose -u = -r + 3*c, 0 = -2*r - 10*c + 15*c + 81. Suppose -p + r + 23 = 0. Is p a multiple of 19?
True
Let u(h) = 4*h**2 + 1. Suppose 6*t - 5*t = 8. Suppose 10*f = t*f + 4. Does 4 divide u(f)?
False
Suppose 5*w - a - 65997 = 0, 0 = 158*w - 157*w - 5*a - 13185. Is 75 a factor of w?
True
Let h = -71 + 71. Suppose -o - u = 2*u - 30, h = -o - u + 24. Is 21 a factor of o?
True
Suppose 24*u - 3157 = 13*u. Suppose -286*r - 363 = -u*r. Is r a multiple of 15?
False
Suppose -129 = a - 4*g, -438 = 3*a - 15*g + 20*g. Suppose 2*f + 472 = 4*f. Let c = a + f. Is c a multiple of 10?
False
Let v(n) = 804*n**2 - 4*n - 68. Does 18 divide v(4)?
True
Let i = -33 + 42. Is (-1 + -17)/(3 + (-30)/i) a multiple of 27?
True
Suppose -2*t = -t - 4. Suppose t*z + 28 = 6*j - 2*j, -6 = 3*z + 2*j. Let b(v) = v**3 + 6*v**2 + 3*v + 8. Is 15 a factor of b(z)?
False
Let c(u) = -u**2 - 7*u - 9. Let o be (((-275)/20)/(-11))/(2/(-8)). Let n be c(o). Let p(r) = 16*r**2 - 5*r + 5. Does 4 divide p(n)?
True
Let k be (18 - 19)/((-2)/872). Suppose -8*b + k = -308. Does 7 divide b?
False
Suppose j + 3*j - 20 = 0. Suppose -j*y = y - 2178. Suppose -48 = 9*s - y. Is 7 a factor of s?
True
Let f = 215 + -213. Is 4 a factor of -16 + 349 + (-10)/f?
True
Let k = 219 - 222. Is 32 a factor of 12/8*((-1792)/k)/7?
True
Let r(k) = 30*k + 50. Let t(x) = -2*x + 1. Let h(g) = r(g) + 12*t(g). Let c be h(-10). Suppose 3*o + 5*n - 370 = -c*o, -3*o = 5*n - 224. Is 6 a factor of o?
False
Suppose 110*w - 72380 = 27*w - 27*w. Is w a multiple of 14?
True
Let x = -2061 - -4594. Is 11 a factor of x?
False
Let r = 51 - 21. Suppose 5*c - 5*q + r = 0, 5 + 13 = -3*c - 4*q. Does 5 divide (-20)/6*3/3*c?
True
Suppose -50*p + 59 = -49*p. Let y = p - 55. Suppose y*c - 150 = -2*c. Is c a multiple of 5?
True
Let y = -7802 - -11460. Does 59 divide y?
True
Let h(q) = q**2 - 6*q + 8. Let m be h(4). Let r(c) = c**2 - 3*c + 244. Let d be r(m). Let k = d + -173. Is k a multiple of 11?
False
Let i be (9 + -9)/(-3 + (0 - -6)). Suppose -3*p - 22 - 60 = -2*y, i = 4*p - 8. Is y a multiple of 22?
True
Let c = 25025 + -13517. Is 21 a factor of c?
True
Let a(i) be the first derivative of 8*i - 18 + 11/3*i**3 + 5/2*i**2. Is a(-2) a multiple of 7?
True
Let c(o) = -801*o - 2661. Is 80 a factor of c(-21)?
True
Let s = 16 - -5654. Is 90 a factor of s?
True
Let g = 298 + -292. Does 33 divide g/42 + 16630/14?
True
Suppose -6*t - 13*t - 380 = 0. Is 108/(-180) + 2/(t/(-3906)) a multiple of 10?
True
Suppose -129*o - 196 = -136*o. Suppose 0 = -o*d + 5978 + 7630. Is d a multiple of 27?
True
Suppose -6*b + 4*b = h - 3352, 3*h = -4*b + 6698. Is b a multiple of 51?
False
Let d(w) = -10*w - 43. Let i be d(-5). Suppose -i*s + 2*s = -40. Is 8 a factor of (2/(1 - 2))/((-2)/s)?
True
Let g(l) = -183*l + 738. Is 97 a factor of g(-14)?
False
Suppose 0 = 3*o - 5*b - 46392, 176 = 5*b + 161. Is o a multiple of 31?
True
Let z be 0 - (-124)/28 - (-4)/7. Suppose 0 = -l - z*m + 25, -2*l + 5*m = -57 - 38. Suppose -o + l = -9. Is 7 a factor of o?
True
Let v be (-20)/(10/2)*-1. Let x be (10/8)/((-6)/(-24)). Suppose -t = r + v*r - x, r + 11 = t. Is t a multiple of 5?
True
Let z(t) = 344*t + 4. Let v be z(1). Suppose -9*p + 1125 = -567. Suppose -v = -4*k + p. Does 10 divide k?
False
Suppose -5*w = -a - a + 240, 2*w + 96 = 2*a. Let o be -21*((-15)/(-7) - 3). Is 19 a factor of (-1 - (-149)/(-4))*w/o?
False
Let r(s) = 2*s**3 + 15*s**2 - s - 22. Let g be r(-7). Let v = g - 32. Is 21 a factor of (v/4)/((2/(-2))/(-146))?
False
Let m(s) = 7*s**2 + 59*s - 214. Is m(21) a multiple of 32?
False
Let r be 5*((-6)/(-33) + (-6815)/275). Let q = -40 - r. Does 47 divide q?
False
Let t = 16 + -92. Let y be t/(-1 - 3) + -5. Suppose 0 = -y*h + 7*h + 812. Is 29 a factor of h?
True
Let u = 79 - -36. Suppose 2*d + o = -u + 359, 0 = 4*d + 4*o - 496. Does 12 divide (d/14)/(2/14)?
True
Let m(t) = 2*t**3 + 8*t**2 - 5*t - 15. Let g(l) = -23*l + 165. Let j be g(7). Is 32 a factor of m(j)?
False
Let l(m) = 122*m - 5. Let f(y) = y - 11. Let x be f(12). Let o be l(x). Suppose -2*w + 3*i + o = 0, 5*w = -0*w + 2*i + 298. Is w a multiple of 5?
True
Let l be (-1)/(-5) + (-28)/(-10). Let w(r) = -r**2 + 5*r - 2. Let s be w(l). Suppose s*u + 55 = 5*u. Is u a multiple of 14?
False
Let g be 9 + 7/(7/(-5)). Does 16 divide (956 + g)*(-4)/(-8)?
True
Let k = -19156 + 24046. Does 30 divide k?
True
Let o(g) = -g**2 + 3*g + 5. Let f be o(5). Let n be ((-16)/f - 3) + (-56)/(-20). Suppose -4*i = -3*h + 63 + 50, -n*h + 119 = 2*i. Is 3 a factor of h?
True
Let x = -110 - -110. Suppose -12 = -4*l + 4. Suppose x = -10*v + l*v + 780. Is 26 a factor of v?
True
Let x(s) = 31*s - 65. Let u = -22 + 17. Let m(w) = -32*w + 65. Let d(q) = u*m(q) - 6*x(q). Is d(-5) a multiple of 13?
True
Let f(x) = -20*x**3 - 10*x**2 - 32*x - 65. Is 61 a factor of f(-6)?
True
Let m(d) be the second derivative of d**6/60 - d**5/15 - d**3/6 + 3*d**2 - d. Let k(o) be the first derivative of m(o). Is k(4) a multiple of 21?
True
Let d = 10125 + 51. Is d a multiple of 53?
True
Let q(i) = 157*i**3 - 14*i**2 + 13*i - 12. Does 137 divide q(4)?
True
Let a(u) = 138*u**2 + 163*u + 62. Is 4 a factor of a(-7)?
False
Let a be 5/(((-12)/(-3810))/((-6)/(-15))). Suppose -3*u + 378 = r + r, -5*u - 5*r + a = 0. Is u a multiple of 2?
True
Is (-174980)/(-30) - 28/(-84) even?
False
Let o(p) = -p + 135. Suppose 4*b = -k + 68, 6*k = 2*k - 16. Let i = 18 - b. Does 5 divide o(i)?
True
Suppose x + k - 297 = 35, -x + 347 = -2*k. Let v be ((-2505)/45)/((-1)/6). Suppose -4*y + v = 2*q, -q = -3*y - y + x. Does 21 divide y?
True
Let a be (60/35)/(3/14). Suppose -a*d - 265 + 2081 = 0. Suppose 123 = 3*h + 5*r, 2*h + r - d = -3*h. Does 23 divide h?
True
Is (4*(-4)/(-4))/((-33495)/6700 + 5) a multiple of 80?
True
Suppose -59412 = -4*p - 4*o, 43*p - 42*p = -4*o + 14835. Is p a multiple of 13?
True
Suppose 5*w + 37 - 461 = -4*c, 0 = -5*c - 3*w + 517. Let r = c + 824. Is 37 a factor of r?
True
Suppose -21*q + 3401 = -2227. Suppose -q = 178*m - 179*m. Is m a multiple of 8?
False
Suppose 30374*p - 35925 = 30359*p. Is p a multiple of 5?
True
Is 49 a factor of -6*(-3)/(-15)*(-135)/(-36)*-1574?
False
Let f(x) = x**