e i(-11). Let m = g + 66. Does 8 divide m?
False
Suppose 25 = 15*w - 5. Suppose -w*i + 227 = -i + 5*x, -245 = -i + x. Is i a multiple of 35?
False
Does 5 divide 5828/12 + (-26)/39?
True
Let x = 110 + -100. Does 10 divide x?
True
Let k = -124 - -284. Does 12 divide k?
False
Suppose -3*r + 606 = 3*d - 7*r, 9 = -3*r. Does 9 divide d?
True
Let a = -8 + 8. Let l be 4 - (-12)/(3 + a). Is 8 a factor of (l - -4)/((-2)/(-8))?
True
Suppose -3*z - 13 = -172. Suppose -5*o = n + 6 - 94, 0 = n - 2*o - z. Does 9 divide n?
True
Let q(p) = p**3 - 6*p**2 - 16*p + 6. Let y be q(8). Suppose 3*f - 2*w = 191, -y*f + 8*f - 109 = 5*w. Is f a multiple of 7?
False
Let b be 1 + (-9 - -1)/(-4). Suppose 2*p = b*p - 2. Suppose p*a + 20 = 3*a. Does 7 divide a?
False
Suppose 3*n = 8*n. Suppose -2*s = -3*d + 8, d + n*d = 3*s + 12. Suppose u - 65 = -d*u. Does 14 divide u?
False
Suppose 0 = -5*a - 5*y + 245, -4*a + 197 = -y + 4*y. Is 10 a factor of ((-5)/((-50)/36))/(3/a)?
True
Let i(m) be the first derivative of m**4/12 + 11*m**3/6 + 5*m**2 - 9*m - 2. Let y(x) be the first derivative of i(x). Is 26 a factor of y(-14)?
True
Let u = 576 - -107. Is u a multiple of 8?
False
Let i be (201/4)/(3/12). Suppose 4*o - i = o. Suppose 4*y - o = 77. Is 9 a factor of y?
True
Let p be 813/9 - 1/3. Suppose 0 = 4*y - 9*y + p. Is 7 a factor of y?
False
Let v(b) = b**2 - 13*b + 14. Let z be v(12). Suppose -4*t - 5*d = -8*t - 5, -2*d + z = -5*t. Let a(m) = -m + 22. Is a(t) a multiple of 11?
True
Let v(u) = -20*u + 4 - 7*u - 7*u. Let t = 35 + -37. Does 23 divide v(t)?
False
Suppose 3*m + 1303 = -t, -4*m - 3*t - 1136 = 593. Is 23 a factor of 1/(-1 - 440/m)?
False
Suppose -g - 125 = -357. Is 14 a factor of g?
False
Suppose -2*c = -0*c - 4. Suppose 6*s = 2*s + c*d + 228, 4*s + 3*d = 248. Suppose -73 = -4*i + s. Is i a multiple of 11?
True
Let z(j) = 173*j + 6. Is 8 a factor of z(2)?
True
Let b = 236 - 4. Is b a multiple of 29?
True
Suppose 4*q = 5*h + 29, -2*q = 2*q - 2*h - 38. Let x = q + -8. Suppose 3*v = -i + 8*v - x, 2*i - 6 = 4*v. Is i a multiple of 5?
False
Let v(z) = -9*z - 2. Let a be v(-1). Suppose 0 = -3*t - a + 43. Let d = t + 2. Is 7 a factor of d?
True
Let r = 41 + -692. Let p be 2/16 - r/168. Suppose -m + 3*x + 119 = 16, p*m - 402 = 2*x. Is m a multiple of 21?
False
Let k = 14 + -9. Suppose g - 5 = -g - 5*v, k*g - 22 = -3*v. Suppose -173 = -g*i - 13. Is 16 a factor of i?
True
Let a(p) = 2*p**3 + 9*p**2 + p - 10. Let v be a(-4). Suppose 3*i - v*i - 5 = 0, 2*w - 2*i - 80 = 0. Does 6 divide w?
False
Suppose -7*c + 3*c - i + 135 = 0, -i = -2*c + 63. Suppose -3*p + p + 18 = b, p = 3*b - c. Suppose 3*u = -4*k + 31, -k + 0*k + b = u. Is u a multiple of 4?
False
Suppose 4*q = y + 201 + 22, -5*q - 4*y = -305. Is q a multiple of 19?
True
Let r(x) = -x - 2. Let g be r(1). Let q(b) = b**3 + 7*b**2 + 4*b - 7. Let d be q(-6). Is 5 a factor of g/6*-2*d?
True
Let a be -3 - ((-22)/(-88) + 306/(-8)). Is 18 a factor of -5 - (-7)/(a/510)?
False
Let o = 11 + -36. Let b be -6 + 4 + o/1. Let k = 87 + b. Does 20 divide k?
True
Suppose -4*q - 16 = -p, 5*p - p + 3*q = 26. Suppose 0 = 2*x - 3*y + p, 2*x + 12 = -5*y + 36. Suppose -x*t - 2*t + 180 = 0. Is t a multiple of 20?
False
Let a = -13 - -17. Let l(h) = -28*h + 16. Let p be l(-8). Suppose 0 = q + a*q - p. Is q a multiple of 12?
True
Let x be (2/(-6))/(1/(-870)*2). Suppose -5*c = -4*g + 62 + 54, -5*g + x = -2*c. Is 3 a factor of g?
False
Does 31 divide 23563/10 - (-174)/(-580)?
True
Suppose 19*k = 16568 - 779. Is k a multiple of 25?
False
Let x be 11/((-4 + 3)/1). Let d = 16 + x. Is 2 a factor of d?
False
Suppose 2*r + s - 1315 = 0, -3*r - 18*s + 23*s = -2005. Is r a multiple of 33?
True
Let s(r) = r**3 + 7*r**2 - r - 4. Let c be s(5). Let q = 135 - c. Does 26 divide (q/9)/(4/(-18))?
True
Suppose -4*g - j = -5184, -2*g + 4*j - 3901 = -5*g. Is 35 a factor of g?
True
Is 4034*10/20 + 8 a multiple of 56?
False
Suppose -12*w + 2256 = -9*w - 5*x, 3*w + 5*x - 2256 = 0. Is 16 a factor of w?
True
Let s(a) = a**2 - 27*a - 137. Is s(35) a multiple of 31?
False
Suppose -2*z + 3*w + 186 = 0, -4*z - w = -200 - 172. Suppose 57 = -3*f + 15. Is 27 a factor of (z/6)/((-7)/f)?
False
Let h = 159 - -309. Does 13 divide h?
True
Let d(l) = l**3 - 8*l**2 + 7*l + 4. Let u be d(7). Is (-152)/(u - 6) - -3 a multiple of 11?
False
Let p(b) = b**3 - 2*b**2 - 2*b - 1. Let c = -4 - -7. Let o be p(c). Suppose -n + 81 = o*n. Does 11 divide n?
False
Let k(v) = 4*v**2 + 13. Let g(x) = -3*x**2 - x - 13. Let z(d) = 5*g(d) + 4*k(d). Does 2 divide z(10)?
False
Let s(m) = -3*m - 6. Let j be 11 - (2 - 1)/1. Let f be s(j). Is ((-54)/4)/(27/f) a multiple of 9?
True
Suppose -5*z = -0*z + 3*a - 369, -5*z = -a - 357. Let t be ((-3)/3 - -1)/(-1). Is 25 a factor of 0 + t + (z - -3)?
True
Suppose 175*x - 164*x = 594. Is x a multiple of 3?
True
Let i = 5 + -8. Let w(p) = p**2 + 3*p + 3. Let b be w(i). Suppose 4*m + 73 + 69 = b*z, 0 = 2*z - 5*m - 104. Does 21 divide z?
True
Let q be (0 - -125)*(26 + -24). Let y = 93 + q. Is y a multiple of 49?
True
Is 7 + (5 - -1189)/3 a multiple of 9?
True
Let m = 1265 + -966. Does 6 divide m?
False
Suppose 11*v - 3304 = 2526. Is 53 a factor of v?
True
Let o = 89 - -693. Is o a multiple of 17?
True
Let l(a) = a**3 + a**2 + a + 593. Let o be l(0). Suppose -4*h - o = -5*j, -5*j + 4*h + 590 = -h. Let f = j + -71. Is 13 a factor of f?
False
Suppose 0 = -4*l - 8, -3*l - 24 = 2*z - 0*z. Let i be -8 - z - 4/2. Is 16 a factor of 15 + (-3 - -2)*i?
True
Let t = -429 - -774. Is 15 a factor of t?
True
Let g = 1487 - 1322. Is 12 a factor of g?
False
Let y(s) = -s + 6. Let i be y(8). Suppose -2*p + 122 = 5*r, r - 6 - 36 = 4*p. Is (-1 + i)/((-2)/r) a multiple of 10?
False
Suppose 4*y - 5*s - 2015 = 2*y, 0 = 2*s + 6. Suppose 0*a = 10*a - y. Is a a multiple of 50?
True
Suppose 4*o + n = 12, 4*o = -0*n - 2*n + 8. Let m(f) = -f**3 + 5*f**2 - 5*f + 6. Let q be m(4). Suppose -p + 45 = 3*g + q*p, o*g - 60 = 4*p. Does 4 divide g?
False
Suppose 28*q = 33*q - 6200. Is 40 a factor of q?
True
Is 3566/10 + (-40)/(-100) a multiple of 20?
False
Let u(v) = v**2 - 13*v - 20. Let m(d) = d + 1. Let l(y) = 2*m(y) - u(y). Does 2 divide l(14)?
True
Let j = -101 + 131. Suppose -8*n + 6*n + j = 0. Is 15 a factor of n?
True
Let c be 14/3*(-24)/(-28). Suppose 4*t + 14 = 5*u, 0 = -c*t - 4*u + 1 + 3. Let g(s) = 52*s**2 + 2*s + 1. Is g(t) a multiple of 14?
False
Let r be 292*(-3 + 7 - 3). Let d = -156 + r. Is 17 a factor of d?
True
Let r(w) = 6*w**2 + 5*w + 2. Let i be r(-3). Suppose 5*n + u - 106 + i = 0, 2*u = -2*n + 18. Does 9 divide n?
False
Let a be 164*(2 + (-14)/8). Let z = a - 1. Let j = z - 20. Is 10 a factor of j?
True
Suppose -3217*b + 2824 = -3215*b. Is 14 a factor of b?
False
Is (-99)/(-12)*(-6 - 4186/(-21)) a multiple of 11?
True
Does 2 divide (-52)/91 + 3508/14?
True
Does 18 divide 2/10*2 + (-99678)/(-555)?
True
Is 290*6*(-12)/(-16) a multiple of 61?
False
Suppose -7*s + 208 + 3341 = 0. Is s a multiple of 21?
False
Suppose -q = -2*p - 6*q + 191, 4*p - q = 349. Suppose -33 = w - 81. Let c = p - w. Is 7 a factor of c?
False
Let j be 56/21*(-3 + 0). Is 42 a factor of (j/12)/(4/(-252))?
True
Let o(v) be the first derivative of v**4/6 + 2*v**3/3 - v**2/2 - 2. Let x(y) be the second derivative of o(y). Is x(6) a multiple of 7?
True
Let m = 169 - 117. Let y = 75 + -70. Suppose -2*d + 0*d = -2*v - m, d - 14 = -y*v. Is 12 a factor of d?
True
Let h be -214 + (-1 + 2 - -3). Is 6 a factor of (h/28)/(6/(-28))?
False
Suppose 2*z - 2 = z. Let o(m) = 37*m - 4. Does 10 divide o(z)?
True
Let k = 310 - -430. Suppose k = 4*h + 68. Does 28 divide h?
True
Let o(z) = 29*z + 1. Suppose 6 = p + 2*p. Suppose -p*n - 4 = -6*n. Is o(n) a multiple of 10?
True
Let w = 38 + -36. Suppose 4*i = w*u - 488, 0*u - 5*u - i + 1187 = 0. Does 22 divide u?
False
Suppose 6*g - 7*g = -3*n + 3671, 5*g = n - 1219. Is n a multiple of 18?
True
Let x = 420 + -268. Is 19 a factor of x?
True
Is 13 a factor of 195/(-10)*(-24)/36?
True
Let m = -2791 - -5131. Is m a multiple of 13?
True
Suppose -4*l = -16, j + 4*l = 2*j + 11. Suppose -j*y + 3*i - 6 = -57, -3*i - 6 = 0. Suppose 0 = -5*w + 26 + y. Is w a multiple of 5?
False
Let j(s) = -s**3 + 6*s**2 + 10*s - 5. Let g be (-3)/(-1) + -9*(-5)/15. Does 19 divide j(g)?
False
Let r(z) = -2*z + 6. Let j be r(2