1 - -1)?
True
Let b(y) = -57*y + 12. Is 16 a factor of b(-2)?
False
Is 20 a factor of ((-48)/(-9) + -2)*408/10?
False
Suppose -3*u + 58 = -2*t, u + 32 = 3*u + 2*t. Let w = 28 - u. Is (24/w)/((-12)/(-40)) a multiple of 3?
False
Let m be (-80)/(-36) + 4/(-18). Let v(z) = 2*z**3 - 4*z**2 + 2*z + 1. Does 2 divide v(m)?
False
Suppose -x + 3*q = -2, -4*q = -0*q - 4. Let f(r) = r + 7. Does 6 divide f(x)?
True
Suppose -s = 5*r - 205, 2*r + s = 75 + 4. Is r a multiple of 21?
True
Let a be 0/((-5 - -2) + 2). Suppose -3*s = 5*v - 21, 4*v + 2*s - 3*s - 27 = a. Suppose w = v*w - 135. Does 18 divide w?
False
Let x(b) be the second derivative of -1/2*b**3 - 3*b + 1/12*b**4 - b**2 + 0. Is x(5) a multiple of 8?
True
Suppose -3*x + 75 = -d - 3*d, -x = -5*d - 80. Let v be (d/(-5))/(6/4). Suppose -v*u + 38 = -5*r, 5*r + 108 = 5*u + 13. Is 8 a factor of u?
False
Suppose -5*g + 373 - 23 = 0. Does 8 divide g/9 - (-14)/63?
True
Let d = -532 + 829. Is 33 a factor of d?
True
Suppose 0 = 3*u - 2*u. Suppose -2*o = l - 4*o - 13, u = -o. Is 13 a factor of l?
True
Suppose 4*w = -w - 745. Let t = -2 + -101. Let h = t - w. Does 16 divide h?
False
Let i(b) = -b**3 - 3*b**2 + 10*b + 10. Let g be i(-7). Let y = -74 + g. Is y a multiple of 17?
False
Does 8 divide (3 - 8) + 45 - 0/2?
True
Let n = -98 + 164. Suppose -3*h - o = -n, 5*h - h - 88 = -3*o. Does 11 divide h?
True
Suppose -6*x + 3*x = 309. Let p = x + -35. Let m = p + 197. Is 15 a factor of m?
False
Suppose 3*t - 215 - 59 = -r, -3*t - 5*r = -290. Does 22 divide t?
False
Let d(p) = p**2 - 8*p + 1. Is d(9) a multiple of 7?
False
Suppose -4*f = 3*b - 21 - 6, -b + 8 = f. Suppose f*w = 2*w + 48. Suppose 0 = -3*q + 3*c + w, 3*c = 2*q - 2*c - 26. Does 18 divide q?
True
Suppose 3*n - 9 = -0*n + 3*w, -5*n + 3*w + 15 = 0. Suppose 33 = 4*f + 2*j + n*j, -5*j = 3*f - 31. Is 11 + (f - 0) + 0 a multiple of 13?
True
Let h(q) = -6 - 2 + 14*q - q + 4. Does 29 divide h(3)?
False
Suppose -43 = 21*w - 22*w. Does 10 divide w?
False
Let k = -5 - -7. Is 30*(k/6 - 0) a multiple of 9?
False
Let o be 27/4 - (-9)/(-12). Is (15/o)/(-5)*-58 a multiple of 19?
False
Let r be ((-1)/(-2))/(5/60). Let p = 20 - r. Is p a multiple of 8?
False
Let q(g) = g**2 + 27*g + 34. Is 2 a factor of q(-26)?
True
Is 4 a factor of (-575)/(-45) - (-2)/9?
False
Let f(u) = u - 16. Let j be f(11). Let c = -13 + 23. Let m = j + c. Is 5 a factor of m?
True
Let a = -17 + 19. Suppose 116 = 4*w - g - 207, -5*w = a*g - 407. Is 13 a factor of w?
False
Let i(k) = k**3 - k**2 + k + 2. Let j be i(0). Suppose 6*l - 5*o - 32 = j*l, 4*l - 40 = 3*o. Suppose 2*g - 1 = l. Is g a multiple of 7?
True
Let h = 1 + -3. Let z(x) = 1 + 3*x**2 - 1. Does 12 divide z(h)?
True
Let s(u) = 2*u**2 + 2*u + 2. Does 13 divide s(-10)?
True
Suppose -v + 2*u + 1 = -10, 2*v + 2*u = -2. Suppose -y - 24 = -v*y. Is y a multiple of 7?
False
Let p(u) be the third derivative of -u**4/4 + u**3/6 - 3*u**2. Is 14 a factor of p(-3)?
False
Suppose f + 4*f = 80. Let q be (f/(-6))/((-4)/12). Let i = q + 10. Does 9 divide i?
True
Let k(z) = -z**3 + 10*z**2 - 4*z + 6. Let i be k(8). Suppose 3*x - 115 = -2*x. Suppose -i = -5*v + x. Is 9 a factor of v?
False
Does 34 divide 360/54*102/4?
True
Suppose 3*d - 19 - 134 = 0. Suppose -m + 2 = -d. Is m a multiple of 23?
False
Let k(p) = -p + 3. Suppose 2*j - 4*l = -6, 3*l - 1 = 2*j - j. Is 5 a factor of k(j)?
True
Let a = 329 + -202. Is 47 a factor of a?
False
Suppose 2*n = -0*n + 32. Let s = 1 - -4. Suppose s*h = n + 29. Is h a multiple of 4?
False
Suppose 6*x + 100 = 2*x. Is 31 a factor of 6/(-12)*8*x?
False
Suppose -5*m + 9*m + 40 = 0. Is 9 a factor of (252/(-30))/(4/m)?
False
Let t = -2 - -62. Is 8 a factor of t?
False
Let s(m) = m**2 - 8*m - 3 + 2 + 2*m - 2. Is 13 a factor of s(8)?
True
Suppose -3*o - 207 = -5*u, 8 + 11 = u + 5*o. Let x(b) = b**3 - 6*b**2 - b + 8. Let v be x(6). Suppose -3*z + u = 3*r, -5*z = -v*z - 3. Does 6 divide r?
True
Suppose -2*o + 90 = -f + 2, -5*o - 2*f = -220. Let h = o - 29. Is h a multiple of 12?
False
Suppose -3*f = -5*c - 54, 2*c - c = 5*f - 2. Let d = -3 + c. Does 17 divide ((-51)/15)/(3/d)?
True
Let h(d) be the third derivative of -d**5/60 - d**4/3 + 5*d**3/6 + 3*d**2. Is 6 a factor of h(-6)?
False
Let p = 187 - 117. Does 5 divide p?
True
Is 13 a factor of 446/6 - (-2)/3?
False
Let z = 111 + -26. Is z a multiple of 17?
True
Let o = 10 - 9. Is 27 + -1 + 1 + o a multiple of 28?
True
Suppose -3*c - 17 + 80 = 0. Is 8 a factor of c?
False
Suppose h - 7 + 4 = 0. Suppose -68 = -h*r - r. Does 17 divide r?
True
Let m = 205 - 43. Is m a multiple of 27?
True
Suppose 2*v = j, v + 0 = -3*j + 7. Let w = v + 10. Is 11 a factor of w?
True
Let j(u) = u**3 + 7*u**2 + u + 3. Let v be j(-5). Suppose k = 3*k + 2*z - v, -16 = -k + z. Is 10 a factor of k?
True
Suppose -4*p = p - 1255. Suppose -4*f - 89 = -4*i + p, 3*i = 5*f + 261. Is i a multiple of 17?
False
Suppose 3*k + 21 - 213 = 0. Is k a multiple of 16?
True
Let b = -42 - -64. Is 15 a factor of b?
False
Suppose -x + 2*x - 3 = 0. Suppose -4*o + 2*t + 60 = 0, 0 = 2*o - 5*t + x - 17. Is o a multiple of 8?
False
Let i(p) be the third derivative of p**5/60 - 7*p**4/24 + 3*p**3/2 + 3*p**2. Let c be i(6). Is 4 a factor of (c/(-6))/((-1)/24)?
True
Let u(s) = -s**3 - 3*s**2 - 2*s - 3. Let x be u(-3). Is x - (2 + (-8 - -3)) a multiple of 5?
False
Suppose -2*w + 80 = -3*s + 19, 0 = w - 2*s - 29. Does 9 divide w?
False
Suppose 2*s = 2, 0 = -2*m + 6*m - 2*s + 2. Suppose m = 5*r - 17 - 33. Does 10 divide r?
True
Let i(c) = c**2 - 9*c + 11. Let a be i(8). Suppose 0 = -5*f - w + 3*w - a, -f - 3*w + 13 = 0. Does 5 divide (2 - f) + 0 + 6?
False
Suppose -23 = i - 9. Let x = -8 - i. Does 5 divide x?
False
Let y = 62 - 14. Does 28 divide y?
False
Suppose -5*g - 34 = -139. Does 21 divide g?
True
Let c = -8 + 9. Let y(x) = 30*x**2. Is y(c) a multiple of 10?
True
Suppose -5*o = 9 - 159. Let h be (o/9)/((-4)/(-6)). Suppose 0 = h*t - 19 - 31. Is t a multiple of 10?
True
Suppose -7 = -2*y - r, 5 - 13 = -3*y + r. Suppose -y*m + 0*g = -4*g - 64, 0 = m - 5*g - 25. Is 9 a factor of m?
False
Suppose -42 = g - 6*g - 2*d, 5*g = 5*d + 35. Suppose p - g = -3*p. Suppose -3*t + 118 + p = 0. Does 11 divide t?
False
Suppose -2*r = -o - 0*r - 8, -3*r = -5*o - 33. Let h be o/4*(-32)/12. Suppose i = 4*v + 17, 5*i = -h*v + 5*v + 66. Does 9 divide i?
False
Let r be (-1 - 0)*(0 + -4). Let d = 2 + r. Suppose 0 = -5*l + 76 - d. Is 7 a factor of l?
True
Let g(i) = 45*i**3 - i. Is g(1) a multiple of 11?
True
Let v = -17 + -1. Let c = 12 + -57. Let z = v - c. Is z a multiple of 11?
False
Let i = 6 - 4. Suppose -2*s + 2 - 4 = -i*t, s - 2*t + 5 = 0. Is 3 a factor of s?
True
Let o(d) = -d**3 + 4*d**2 - 3*d + 5. Let s be o(4). Let a be (-36)/(-21) + (-2)/s. Let f = a - -24. Is f a multiple of 13?
True
Let c(y) = -2*y + 5 + 10*y + y**2 + 0*y**2 + 1. Let o be c(-6). Let s = o - -18. Is s a multiple of 10?
False
Let w(b) = 20*b**2 - 1. Let q be w(1). Suppose 0 = -2*o - 3*l, 3*o - l = 4*l + q. Suppose -o*k - k = 4, -5*k = 3*n - 40. Is n a multiple of 13?
False
Suppose 0 = s + c - 26, -5*c + 2*c - 10 = -s. Suppose p = 19 + s. Is p a multiple of 21?
False
Let p be -3 + -4 + -2 - -1. Is (4 - 12)/(p/12) a multiple of 4?
True
Let p(c) = 0*c - 3*c**3 + 3*c**2 + 0*c**2 + 2*c**3 + 5*c. Let l be p(4). Is (-1)/(-2)*l*8 a multiple of 16?
True
Let r(t) = 45*t**2. Let a be r(-1). Let w = -17 + a. Is w a multiple of 14?
True
Does 8 divide -17*4/2*-1?
False
Let y = 33 - -70. Is y a multiple of 27?
False
Let c(b) = -b**2 + 9*b - 2. Let w be c(7). Let l be 94/4 - 3/6. Suppose 5*s - l - w = 0. Is 7 a factor of s?
True
Let l(z) = 4*z**3 - 2*z**2 + 3*z + 3. Is 13 a factor of l(3)?
False
Is 7 a factor of (-9)/12*(-140)/15?
True
Let j(x) = -8*x - 3. Suppose 3*q + 3*c = -6, -3*c - 10 = 5*q - 7*c. Is 7 a factor of j(q)?
False
Let y(v) = 8*v**3 + 13*v**3 - 1 + 2*v + 23*v**3 - 6*v**3. Is 9 a factor of y(1)?
False
Does 10 divide (-1 - -4)*5 - 3?
False
Let d = -54 - -59. Is d a multiple of 5?
True
Let d(a) = 34*a - 14. Does 24 divide d(6)?
False
Let d(p) = p + 3*p + 5*p. Let z be d(-1). Let m(x) = -2*x - 13. Is m(z) a multiple of 2?
False
Suppose 4*r = -4*p + 136, p + 2*p = r + 122. Suppose -5*z - 3*h = -111, -h - 2*h = 2*z - p. Does 8 divide z?
True
Suppose 3*k = k + 76. Does 19 divide k?
True
S