se 0 = 2*g - 2*c - 26, -g + c = -k*g + 62. Is 15 a factor of g?
True
Let z = 282 - -163. Is z a multiple of 3?
False
Let i(u) = u**2 + 12*u - 3. Let f be i(-12). Does 9 divide 52/f*(-9)/6?
False
Suppose 3*y - 177 = 3*j, 2*j - 37 = 3*y - 212. Suppose -2*w = -0*w - 210. Suppose -3*a - w = -2*g, -5*g + 5*a + 218 + y = 0. Is g a multiple of 15?
True
Let t = -28 - -28. Suppose 32 = l - 3*b, t = 2*l + 2*l + 2*b - 100. Does 13 divide l?
True
Let p(z) = z**3 + 9*z**2 + 4*z - 5. Let u(v) = v + 3. Let h be u(-2). Let i be ((6 - h) + 2)/(-1). Does 13 divide p(i)?
True
Is 98 a factor of (-50)/600 + (-16465)/(-12)?
True
Let q(c) = -274*c - 645. Is 12 a factor of q(-11)?
False
Suppose 12*q - 17*q = 4*o - 12227, 3*o = 9. Is 7 a factor of q?
True
Let i be (-5 + 3 + 1)/(1/(-214)). Suppose -250 = -8*o + i. Does 19 divide o?
False
Let p(g) = -2*g + 3. Let f be p(-4). Let y = f - -25. Is y a multiple of 10?
False
Let c = -1085 + 1460. Is c even?
False
Let m = 108 - 107. Suppose 0 = t - m, 4*r - 3*t - 198 = 99. Is 18 a factor of r?
False
Suppose -16*o + 3 = -15*o. Suppose -y = 3*n - 13, o*n - 88 = 2*y - 6*y. Is y a multiple of 5?
True
Suppose -2*l + 2069 = s, 3*l = s - 4*s + 3105. Suppose -l = -5*z - 359. Does 12 divide (24/15)/(6/z)?
True
Let h(p) = p**2 + 9*p - 8. Let t be h(-10). Suppose 7*u = t*u + 135. Is 9 a factor of u?
True
Let x(i) = -i**3 + 6*i**2 + 2*i - 7. Let r be x(6). Suppose -2*m - 3*m = -20. Suppose 0*w = -r*t - 2*w + 417, -m*w = 16. Does 26 divide t?
False
Is 37 a factor of (-1248728)/(-572) - (-1)/(-11)?
True
Let m = 852 + -196. Is 41 a factor of m?
True
Suppose 330 = 3*i + w, 0 = -3*w + 4*w. Suppose -5*g + i = 5*z - 20, -3*g + 68 = -2*z. Is 5 a factor of g?
False
Let b(z) = 4*z + 16. Let k be b(8). Let i = -29 + k. Is 19 a factor of i?
True
Let h = -517 + 1074. Does 25 divide h?
False
Let x(n) be the second derivative of n**7/630 - n**6/144 - n**5/120 + n**4/6 + 5*n. Let t(p) be the third derivative of x(p). Is 23 a factor of t(-4)?
False
Let k = 24 + -21. Suppose 0 = 4*g - 5*h - 489, -k*g + 444 = g + 4*h. Is 13 a factor of g?
False
Suppose 0*a = 5*l + 3*a - 7, -4*l = 5*a - 3. Suppose -q + 3*q - 15 = j, 0 = -5*q - l*j + 60. Suppose 0 = -3*d + 8*d - q. Is 2 a factor of d?
True
Does 3 divide 20*4/50*(-165)/(-6)?
False
Suppose -g + 506 = 5*n, 0*n + 2*n + 3*g - 205 = 0. Is n a multiple of 2?
False
Let r = -23 - -28. Suppose -2*w = -r*w + 183. Does 13 divide w?
False
Let b = -10 - -12. Suppose 0 = -5*a - 4*c - 6, 2*a + b*a + 8 = -4*c. Let n(w) = 8*w**3 - 2*w**2 - w + 1. Is 13 a factor of n(a)?
False
Suppose 0 = 4*a - 3*a - 2. Suppose -4 = a*u + 4*s, 0*s + 1 = 4*u - s. Is u + 13 + 6/(-3) a multiple of 11?
True
Let n = 963 + -575. Does 27 divide n?
False
Let l = -5 - -6. Suppose b - l - 3 = 0. Suppose 81 = 5*j + 2*x, -b*j + 2*j + 15 = -5*x. Is 4 a factor of j?
False
Suppose -9*v = -14314 + 4486. Is v a multiple of 21?
True
Let o(b) = -b**3 + 5*b**2 - 2*b - 4. Let y(f) = -f**3 - f**2 - f. Let i(u) = o(u) - 2*y(u). Let w be i(-7). Is 15 a factor of 338/4 + 6/w?
False
Let a(l) = 5*l**2 + 13*l - 5. Suppose -10 = -5*v + i, 4*v - 5 = -2*i + 17. Suppose 5*g - 45 = 4*c, -14 = v*c - 5*g + 26. Is 11 a factor of a(c)?
True
Is 40 a factor of -2 - 14*309/(-6)?
False
Suppose 3*n + 0 = -24. Let x = n - 6. Let u = 26 + x. Is 12 a factor of u?
True
Let a(n) = 4*n - 6*n**3 + 11*n**3 - 4*n**3 + 0*n**3 - 6*n**2 + 7. Let t be a(5). Suppose -t*d - g = 2*d - 153, g = -2*d + 75. Is 13 a factor of d?
True
Is 8/40*25*1179/15 a multiple of 17?
False
Suppose -4*q + 0*g + 2*g = -360, 0 = 5*q - g - 447. Let c = q - 56. Does 12 divide c?
False
Let z be (-2)/5 + 1593/45. Is 33 a factor of ((-231)/(-2))/(3 + z/(-14))?
True
Suppose -42*o = -5591 - 65809. Is o a multiple of 50?
True
Suppose 24 = -3*p - 5*b - 6, 0 = -5*p + 4*b - 50. Let u = p + 18. Is 8 a factor of u?
True
Suppose 5*d - 22117 = -4*t, -5*t + 3*d + 27635 = 7*d. Is t a multiple of 13?
False
Let r be (-1*(-30)/(-3))/((-5)/220). Suppose -t + 5*t = r. Does 12 divide t?
False
Let k = 35 - 33. Let c be 17/k - (-11)/(-22). Let n = c + 55. Is 9 a factor of n?
True
Suppose 2*m + 399 = 5*l, 2*l + l - 246 = -m. Suppose -27*o = -29*o - 50. Let v = l + o. Does 25 divide v?
False
Suppose 2*t + 3*x = 7, 0 = 3*t + 3*x - 0 - 9. Suppose -7 = -c + t. Let w(i) = -i**2 + 11*i + 7. Is w(c) a multiple of 25?
True
Let y(g) = -15*g - 33. Suppose 0 = 5*f + 10 + 40. Does 39 divide y(f)?
True
Suppose -4*b + 2*n = -4186, b + 3*b + 3*n = 4211. Suppose 281 = -6*w + b. Is w a multiple of 8?
True
Suppose 78 = -5*v - c + 6, 0 = -2*v - 4*c - 18. Let d be v/20 - 57/4. Let j = d - -28. Is 6 a factor of j?
False
Let h = 75 - 54. Let j be 1 - h/(-9)*-3. Is 9/((-1)/j + 0) a multiple of 11?
False
Let v(c) = 46*c + 1. Let j be v(1). Suppose 3*m = 5*m + 3*r - j, 4*m - r - 59 = 0. Is m a multiple of 16?
True
Let r(b) = -b**3 + b. Let t(v) be the first derivative of 3*v**4/4 - 5*v**3/3 - v**2 + 4*v + 1. Let l(o) = -2*r(o) - t(o). Is 14 a factor of l(3)?
True
Is 3 + -7 - -9 - -71 a multiple of 2?
True
Suppose 0 = 3*l + f + 103, 2*f = -0*l + 4*l + 134. Let w = 137 + l. Is 6 a factor of w?
False
Suppose 310 = 5*m - 30. Suppose k - 5*k - m = 0. Let f = k + 57. Is 9 a factor of f?
False
Let s = 900 - 596. Suppose -76 + s = 2*d. Suppose 5*m + 4*l - d = 0, 2*l = 5*m - 0*l - 138. Is m a multiple of 23?
False
Let l = 7 + -4. Let r be (36/(-30))/(l/10). Is 4 a factor of 1*10/r*-4?
False
Let z(n) = -83*n**3 + n**2 + 8*n - 1. Is z(-2) a multiple of 31?
True
Let x(c) = c + 9. Let v(h) = -8*h - 7. Let a(p) = -4*v(p) - 3*x(p). Let z = 0 - -1. Is 30 a factor of a(z)?
True
Let w(j) = -j**3 - 27*j**2 + 37*j + 30. Is w(-30) a multiple of 10?
True
Let r(a) = -38*a - 1. Let d be r(-4). Suppose -5*l + d = -3*h, 3*l + 5*h = 78 - 1. Does 14 divide l?
False
Is 91 a factor of 364/(-6)*(-3795)/115?
True
Let r = -355 + 696. Does 31 divide r?
True
Let a = -72 + 138. Suppose 23*h - 164 = 19*h + 4*f, h = -4*f + 66. Suppose -m - h = -y, -5*m - a = 3*y - 4*y. Is 9 a factor of y?
False
Let y(d) = 2*d**3 - 3*d**2 + d - 2. Suppose 0 = -2*h - 0*z - 4*z + 22, -4*h + 28 = 4*z. Let j be y(h). Let a = j - 2. Is a a multiple of 13?
True
Let c(m) = m**3 - 7*m**2 + 4*m - 2. Let o(v) = -v. Let r(d) = -c(d) + 2*o(d). Let w be r(6). Suppose -w*i - 18 = -72. Is i a multiple of 7?
False
Let c(y) = -2*y**3 - 5*y**2 - 5*y + 4. Let x be (-16)/10*(-10)/(-4). Does 8 divide c(x)?
True
Let s = -1234 - -3730. Is s a multiple of 12?
True
Suppose -2*b = 8*b + 80. Let m(n) = -7*n - 11. Does 7 divide m(b)?
False
Suppose 5*m + 10 = 25. Let k = 155 - 151. Let y = m + k. Is y a multiple of 7?
True
Suppose 0 = 5*x + o - 12597, 0 = -5*x - 14*o + 10*o + 12588. Is x a multiple of 45?
True
Let b(l) = 12*l**2 - 5*l - 2. Suppose 6*x = -x - 14. Is b(x) a multiple of 20?
False
Suppose -2*i + 0*i + 2*z + 26 = 0, -3*i + z + 45 = 0. Let o(s) = -s**2 + i - 2*s + 3*s + 8. Is 12 a factor of o(0)?
True
Let i(h) = 2*h**2 + 1. Let c be i(-1). Let w(t) = 6*t + 5. Let q be w(c). Let n = q + -14. Does 4 divide n?
False
Let j be ((-12)/8)/(9/(-24)). Suppose -j*o = 5*c - 157, -c = -3*c + 5*o + 76. Is 11 a factor of c?
True
Let n = -2 + 31. Let s = 162 + -160. Does 16 divide (3 - s)*(-3 + n)?
False
Let w be (-505)/(-55) - (-4)/(-22). Suppose 2*p - w = -3*p - r, 4*r = 2*p + 14. Let z = p + 17. Is z a multiple of 9?
True
Suppose -23*f = -1487 - 15142. Is 28 a factor of f?
False
Suppose -5*g + 24 = 2*w, 3*w = 5*g + 7*w - 18. Let h(a) = 4*a**2 - 17*a - 14. Is 12 a factor of h(g)?
False
Let a = -37 - -207. Is 8 a factor of a?
False
Let s = 122 + -121. Does 37 divide 4 + s + 142 + 1?
True
Let i(c) = 19*c + 24. Is 10 a factor of i(9)?
False
Let f(s) = 8*s + 5. Let p = -34 + 40. Is 11 a factor of f(p)?
False
Let r be 6*(-6)/9 + 15. Suppose 0 = -r*k - 109 + 857. Does 20 divide k?
False
Let n(o) = 2*o**3 - 7*o**2 - 10*o - 8. Let k(j) = -j**3 - j**2 + j. Let b(x) = -k(x) - n(x). Does 16 divide b(8)?
True
Let o = -6 + 7. Suppose m + 0 = o. Is (-35)/(-20)*(m + 19) a multiple of 9?
False
Does 6 divide 4/1*((-197)/(-2) - 10)?
True
Let f(t) = 5*t**3 - t**2 - t + 2. Let q be f(1). Is (-42)/(q - (-22)/(-4)) a multiple of 27?
False
Let a be ((5 - 2) + 2)*14. Let f = -1 + 115. Let n = f - a. Does 22 divide n?
True
Let i(o) = 3*o**2 - 5*o - 6. Let v be i(6). Suppose -