 231, -4*z + 5*w - 6*w + 867 = 0. Does 12 divide z?
True
Let b(c) = -2*c**3 - 6*c**2 - 8*c + 1. Let f be b(-6). Suppose -207*w + 198*w - 1341 = 0. Let a = w + f. Is 21 a factor of a?
False
Let n(z) = -29*z + 5 - 13 + 27*z. Let s be (-9)/((-189)/(-132)) - 4/(-14). Is n(s) a multiple of 4?
True
Let l(q) be the third derivative of -q**6/120 - 2*q**5/15 + q**2. Let r be l(-8). Suppose 0 = -4*i - r*i + 204. Is i a multiple of 13?
False
Suppose 4*n + 7 = z - 5, 5*z - 4*n - 12 = 0. Suppose -88 = -y - 5*k, -4*y + z*k + 4*k + 256 = 0. Is y a multiple of 4?
True
Let r(f) = -2*f - 1. Let z be r(-3). Suppose 0 = -z*h + y, 3*h + 2*y - 7*y = 0. Suppose 2*v - 5 = -3*t - 1, 3*v + 3*t - 6 = h. Is v a multiple of 2?
True
Let v = 4 + -9. Let o = 54 + v. Is 8 a factor of o?
False
Suppose -5*t - a = 172 + 246, -2*t - 181 = 5*a. Suppose j + 4*m = -147, 2*j + 3*m + 319 = -0*j. Let s = t - j. Does 33 divide s?
False
Let z be ((-6)/12)/(3/(-936)). Let i = z - 108. Does 8 divide i?
True
Let d be (-3 + 0)/(3/(-10)). Suppose 22 + d = 4*q. Suppose n = -r + 13, -4*n - 48 = -q*n - 3*r. Is n a multiple of 3?
True
Let h(v) = v**3 + 14*v**2 - 3*v + 1. Let c be h(-14). Let l be (-68)/3 - 1/3. Let k = c + l. Is 10 a factor of k?
True
Suppose -2*a - 5*r - 45 = 9, 2*a + 4*r = -56. Let i = a - -47. Is i a multiple of 5?
True
Let j(w) = -3*w**3 - 7*w**2 - 9*w - 2. Let u be j(-4). Let b be u - (-4 + 2 - -4). Let s = -76 + b. Is 12 a factor of s?
True
Let l = 42 + -38. Suppose -14*f = -l*f - 880. Is 17 a factor of f?
False
Is 6 a factor of 54/(-4)*(-198)/27?
False
Does 17 divide 19 + -15 - (-636)/(-3 + 6)?
False
Is (2 - 0/(-6)) + 1601 a multiple of 8?
False
Suppose -546 = -4*d - 150. Does 16 divide d?
False
Suppose 0 = 2*w + 2*c - 6 - 0, 2 = 2*c. Suppose t + 12 = 5*k, 0*t = -k + w*t - 3. Suppose -m + 2*m = 4*g - 6, k*m - 21 = -g. Does 6 divide m?
True
Let u be ((-28)/16)/7 - (-1515)/12. Does 10 divide u/4 + 33/(-22)?
True
Let s = 63 - 107. Let g = 3 + -4. Is (2 - (-2 - s))/g a multiple of 10?
True
Let o(p) be the third derivative of p**6/40 + p**5/15 + p**4/8 + p**3/3 + 6*p**2. Let d be o(-3). Let h = d - -100. Does 12 divide h?
True
Let u(d) = -d**3 + 3*d**2 - d + 7. Let o be u(4). Let y(l) = -2*l + 18. Is 16 a factor of y(o)?
False
Suppose -7*a = -4*a - 162. Let z = -35 + a. Does 4 divide z?
False
Suppose -7*n = -5*n - 6. Suppose -n*s - 5*q + 502 = 0, -2*q - 30 = s - 196. Does 20 divide s?
False
Let i = -3 - -3. Suppose 4*f = -i + 16. Is (27 - f) + 0 + 4 a multiple of 13?
False
Let r = 14 + -26. Let q be 14/(-4)*r/21. Suppose -q*y + 29 = 7. Does 11 divide y?
True
Suppose 7*l = 20*l - 104. Let a = 31 - l. Does 3 divide a?
False
Let o(u) = -3*u + 17. Let a be o(6). Let f(x) = 18*x**2. Is f(a) a multiple of 13?
False
Let l = -89 - -94. Suppose 2*j - l*w - 255 = -10*w, -2*w = 10. Does 28 divide j?
True
Let h = 76 - 44. Does 14 divide (h/40)/(4/770)?
True
Let u be (1/(-2))/(7/(-70)). Let q be 1/u - 952/(-40). Suppose -5*z = -j + 76, q - 4 = -5*z. Is 29 a factor of j?
False
Suppose -9*d - 160 = 4*u - 11*d, 226 = -5*u - 4*d. Let c = u + 90. Does 16 divide c?
True
Suppose -6461 + 1005 = -22*m. Does 31 divide m?
True
Suppose -12*y + 273 = -5*y. Let a be 0 - (0 + -2*1). Suppose -a*b + b = -y. Is b a multiple of 28?
False
Let x = -1870 - -2630. Suppose 3*z + x = 13*z. Is 31 a factor of z?
False
Let z(v) = -v**3 - 6*v**2 - 7*v - 3. Let x be z(-5). Let t = x - 4. Is t even?
False
Suppose p + 3*u - u - 1279 = 0, p = -3*u + 1280. Is p a multiple of 22?
False
Let a = 15 + -1. Let x(p) = -p**3 + 0 - a*p + 16*p + 4 + 7*p**2. Is x(7) a multiple of 18?
True
Suppose 53 = 5*g + 33. Suppose -g*n + 5*k = -476, -3*n + 4*k - 119 = -4*n. Is n a multiple of 33?
False
Let d = -95 - -25. Let h = d - -79. Is 9 a factor of h?
True
Let m(a) = 11*a**2 - a. Suppose -4*d - 131 = -5*r - 7*d, -3*r + 75 = 3*d. Let z be (-14)/r*(3 - 1). Does 4 divide m(z)?
True
Let n = 329 - 158. Does 19 divide n?
True
Suppose -3*y - 5*l = -4*y - 25, -3*y = -l + 5. Is 2 + y - 0 - -72 a multiple of 8?
False
Suppose 0 = 4*t + 3*t - 3283. Suppose y = 8*y - t. Does 8 divide y?
False
Let x(o) be the second derivative of o**4/12 + o**3/6 + o**2/2 + 4*o. Let z(m) = 4*m - 6. Let g(c) = 2*x(c) + z(c). Does 8 divide g(-5)?
True
Suppose 0 = 2*r - 7*r - 30. Let p(v) = -6*v**2 - 2*v - 3 - 2*v + v - v**3 + v. Is p(r) a multiple of 2?
False
Suppose y = 3*m - 4*y - 26, 3*y = -4*m - 4. Suppose m*b = 4*b. Is 106 + (-3)/(-12)*b a multiple of 11?
False
Let s = -32 - -57. Is 13 a factor of 39/((-60)/s - -3)?
True
Suppose -16*r = 2*r - 24426. Does 88 divide r?
False
Let z(x) = -217*x + 45. Is 37 a factor of z(-4)?
False
Suppose 0*u + 3*u - 675 = 0. Suppose -2*v + u = v. Let q = v + -44. Does 9 divide q?
False
Let f(a) = a**3 + 5*a**2 - 5*a - 9. Is f(6) a multiple of 21?
True
Let j = 3 + 55. Let n = j + -44. Is n a multiple of 7?
True
Let s = 27 + -24. Let m(u) = 25*u + 6. Is m(s) a multiple of 9?
True
Suppose -2*r - 231 = -353. Is 3 a factor of r?
False
Let a = -120 - -166. Let y(v) = -v - 10. Let b be y(-5). Let s = a - b. Is 22 a factor of s?
False
Suppose 0 = 14*q + 29 - 15. Does 13 divide (-19)/q*(12 - -1)?
True
Let l(u) = 3*u**2 + 52. Is 9 a factor of l(0)?
False
Let b = 44 + -73. Suppose -g + 2 = 11. Let o = g - b. Is 10 a factor of o?
True
Let u(l) = -11*l + 54. Let m be u(4). Suppose -m*f + 267 = -123. Is f a multiple of 5?
False
Suppose -5*x + 25*x - 21840 = 0. Is x a multiple of 7?
True
Suppose -4*v + p - 5 = -0*p, 4*p + 18 = -3*v. Let j be (24/28)/(v/(-28)). Suppose 4*k = j, 0*d + d = 3*k + 42. Does 16 divide d?
False
Suppose 0 = 436*j - 439*j + 87. Is j a multiple of 5?
False
Is 2 a factor of 6/(-4) - (-1573)/22?
True
Suppose -24 = 3*f - 7*f. Suppose 0 = -f*j + 1085 + 115. Is 40 a factor of j?
True
Let j = 89 + -73. Is 16 a factor of (-4)/j + 2/(-16)*-386?
True
Suppose 2*m = 4*i - 1074, -i - m + 818 = 2*i. Is 34 a factor of i?
False
Let k(b) = 48*b**2. Let g be k(2). Let r be 34/7 + -3 - 3/(-21). Suppose 0 = -r*n - 2*n + g. Is n a multiple of 24?
True
Suppose 0 = -4*p + 3*f - 6 - 9, -10 = 2*p - 2*f. Suppose 2*a + p*a + 140 = 0. Is (8/(-10))/(2/a) a multiple of 18?
False
Suppose 2*g - 1092 = -2*j + 452, -5*g + 5*j = -3840. Does 13 divide g?
False
Let y(o) = -298*o - 236. Is 50 a factor of y(-7)?
True
Suppose -j + 2*o = -5*j + 20, 3*o - 25 = -5*j. Let i(b) = b**3 - 5*b**2 - b + 5. Let m be i(j). Is 19 a factor of 2 + m + (-105)/(-5)?
False
Suppose -4*p = -3*y - 12, 5*y + 3*p = p + 6. Let d be 1 - y - (1 - -2). Is 11 a factor of (1/d)/((-6)/408)?
False
Let u be (0 - -2)*(0 + 1). Is 14 a factor of u/3*(-1674)/(-36)?
False
Let k(v) = 3*v**3 + 3*v**2 + v - 7. Let i(q) = -4*q**3 - 2*q**2 - 2*q + 8. Let y(w) = 4*i(w) + 5*k(w). Is y(6) even?
False
Suppose c - 298 = -p, -32*p = -5*c - 35*p + 1490. Is 24 a factor of c?
False
Let f(b) = -b**2 + 7*b + 5. Let v be f(7). Suppose -d = 16 - v. Does 23 divide 11/(d/(-5) + -2)?
False
Let s(u) = -38*u + 4. Let j(r) = -19*r + 2. Let f(y) = -9*j(y) + 4*s(y). Let a be f(-1). Let k = a - -23. Does 2 divide k?
True
Suppose -3*k + 8*k - 45 = 0. Let f(r) = 3 - 12*r - 16*r + 24*r + r**2. Is f(k) a multiple of 16?
True
Let d(s) = -s**3 + 6*s**2 + 8*s + 8. Let h be d(7). Suppose -9*l - 960 = -h*l. Is 20 a factor of l?
True
Suppose 3*y + 10 = 8*y. Suppose 0 = -y*h + 147 - 33. Is h a multiple of 19?
True
Let i = 1087 + -484. Is i a multiple of 67?
True
Let w(r) = 5*r**3 - 6*r**2 - 7 + 8*r - 4*r**3 + 1. Is w(5) a multiple of 9?
True
Suppose -u - 300 = -5*u. Does 4 divide u?
False
Suppose l - 10 = 2*p, 2*p - 10 = -4*l - 0*p. Let i be 1*((-12)/l - -18). Is ((-10)/i)/((-4)/222) a multiple of 13?
False
Let d(z) be the first derivative of -z**3/3 - z**2/2 + 4*z + 5. Let r be d(4). Let o = -7 - r. Is o a multiple of 2?
False
Let m = 4 + -4. Suppose m = -5*b - 0*b + 240. Does 3 divide b?
True
Does 8 divide 1862/42 - (-1)/(2 - 5)?
False
Suppose h - 26 = -h. Let b(u) = u**3 - 12*u**2 + 12*u - 13. Let d be b(h). Is d/54 + (-2)/(-9) a multiple of 3?
True
Let a(k) = k**2 + k. Let t be a(0). Let d(h) = h**3 - h**2 + 2. Let i be d(t). Is 12 a factor of (-150)/(-4) + 1/i?
False
Suppose 4*r - 5*s = 813 + 6129, -2*s = 4*r - 6956. Is r a multiple of 55?
False
Suppose 0 = -4*l + 6*l - 8. Suppose 10 - 6 = o + 2*a, -l*o + 2*a + 46 = 0. Is o a mul