*b. Is 16 a factor of b?
False
Let z(g) = 32*g**2 - g. Let y(m) = m + 4. Let n be y(-3). Does 16 divide z(n)?
False
Suppose 3*h - h - 3*r = 143, -2*h + 142 = -2*r. Let t = h - 44. Is 19 a factor of t?
False
Let j(m) = 4*m - 2*m + m + 4 - 2*m. Let v(c) = 7*c**2 - 2*c - 1. Let d be v(-1). Is 6 a factor of j(d)?
True
Suppose 9*y - 13*y = -124. Is y a multiple of 31?
True
Let o = 16 + -14. Suppose 0 = -o*z + 7*z - 170. Does 17 divide z?
True
Let p be (-82)/12 - 3/18. Let l = p + 22. Does 15 divide l?
True
Let a = -12 - -15. Suppose -i + 5*b - 5 = 0, 6*i - 2*b - 24 = a*i. Is i a multiple of 3?
False
Let d(m) = m + 1. Let r be d(-1). Suppose r = 3*p + p. Suppose -c + 51 = -p*c. Is 17 a factor of c?
True
Let u(b) = b - 9. Let j be u(7). Let x = 4 + j. Suppose -x*v - v = -69. Is 8 a factor of v?
False
Suppose 3*o - o - 96 = 0. Let s = o - 32. Is 8 a factor of s?
True
Suppose -4*h + 540 = -4*p, 3*h - p = -0*h + 411. Does 39 divide h?
False
Let n(s) be the first derivative of -s**2/2 - 8*s - 2. Let x be n(8). Let w = 44 + x. Does 10 divide w?
False
Let j(s) be the second derivative of 11*s**3/6 + s**2 - 4*s. Is 13 a factor of j(4)?
False
Let u = 17 - 12. Suppose -6 = -4*o + 3*i, -5*i - 9 = -u*o - 2*i. Let x = o - -2. Does 3 divide x?
False
Suppose -5 = -z - 3*h + 44, 5*h - 203 = -4*z. Is z a multiple of 24?
False
Let t be 10/4*24/30. Suppose 4*j + 2*o - 20 = 0, -j - 19 + t = -5*o. Does 3 divide j?
True
Suppose -6*b + 20 = -b. Suppose b*s - 6*s = 5*n - 70, 63 = 4*n + 3*s. Is 6 a factor of n?
True
Does 22 divide (((-12)/4)/3 + -115)/(-1)?
False
Suppose -x + 8 = -4*k + 2, -4*x + 44 = 4*k. Is 5 a factor of x?
True
Let t = 79 + -43. Let l = t - 23. Suppose -5*s + 68 = l. Is s a multiple of 4?
False
Let i = 10 + -6. Suppose -m - 3*r + r + 23 = 0, -i*m + 3*r + 125 = 0. Does 10 divide m?
False
Suppose -4*u = -b + 11, 0 = -5*b - 2*u + 8 + 3. Let p be 3/b - (1 - 2). Suppose -1 + 7 = p*l. Is l even?
False
Suppose -10 = -2*q, -z + 44 = -5*q + 4*q. Suppose -3*d - z = -4*g + 3*g, 2 = -2*d. Is g a multiple of 25?
False
Let f(a) = a**2 + 7*a - 4. Let t be f(-8). Suppose 36 = 3*y - y - 5*u, -4*y = -u - 36. Let d = t + y. Does 10 divide d?
False
Let y(k) = -2*k - 4. Let p be y(-6). Suppose -p*b + 136 = -4*b. Does 17 divide b?
True
Let a(l) = l**3 + 11 + 12*l**2 + l + 12*l + 0*l - 2*l**3. Is a(13) a multiple of 6?
False
Suppose 3*c - 3 - 3 = 0. Suppose 50 = c*p + 3*p. Let j(y) = 4*y - 11. Does 20 divide j(p)?
False
Let n(m) = 3*m**3 + 2*m**2 - 2*m + 2. Does 6 divide n(2)?
True
Suppose 0*r + 36 = 4*r. Let s(z) = -z**2 + 11*z - 10. Is s(r) a multiple of 2?
True
Let g(k) = -k**3 + 8*k**2 + k - 8. Let n be g(8). Suppose n = -4*p - 0*p. Suppose -3*l - 2*l + 40 = p. Is l a multiple of 4?
True
Does 23 divide 2/(-8) - (-2471)/28?
False
Suppose -l - 518 = -8*l. Does 29 divide l?
False
Suppose z + 20 = 6*z. Suppose 5*y = -z*p - p - 325, -p = 3*y + 189. Let m = -42 - y. Does 10 divide m?
True
Suppose -16 = 2*j + 16. Let y be ((-4)/j)/((-1)/(-4)). Suppose m - y = -5, 0 = 4*a + m - 124. Is a a multiple of 11?
False
Suppose 2*s - 3*x - 116 = -2*x, -256 = -4*s - 4*x. Suppose -b - b = -s. Suppose -8*l + 3*n + b = -4*l, -5*n + 10 = 0. Does 6 divide l?
False
Suppose 2*i - 26 = 16. Let o = 9 + i. Is o a multiple of 15?
True
Is (-18)/(-3)*7/2 a multiple of 7?
True
Let q(j) = j**2 + 7*j + 9. Let r = -16 - -9. Is 9 a factor of q(r)?
True
Let l = -43 - -60. Suppose 0 = -i + 13 + l. Is i a multiple of 15?
True
Suppose -2*b - 120 = -4*s, 8 = 2*s - 5*b - 52. Suppose -s = -2*a - 2. Is a a multiple of 14?
True
Let d be 182/3 + 4/(-6). Let i = d + -29. Let n = i + 9. Is n a multiple of 14?
False
Let f(r) = -r**3 - 12*r**2 - 14*r - 11. Does 11 divide f(-11)?
True
Suppose -180 - 274 = -2*k + g, -1136 = -5*k + 3*g. Is k a multiple of 14?
False
Let r(p) = -p**2 + 10*p - 11. Let z be r(8). Suppose 0 = -z*g + 125 + 135. Is g a multiple of 26?
True
Let l(v) = v. Let z be l(2). Is 21 a factor of z/5 - 283/(-5)?
False
Suppose -3*c = -7 - 8. Suppose 0 = -c*z + 4*m + 345, 3*z + 4*m = -0*z + 207. Does 23 divide z?
True
Let q be ((-3)/9)/(1/9). Is (-3 + -1 - q) + 15 a multiple of 7?
True
Does 31 divide (4 + 8/(-4) + 1)*72?
False
Let l(q) = -4*q**2 - q**3 + 5*q - 2 + q**3 - q**3 - 2*q. Let d be l(-3). Let t = d - -29. Does 7 divide t?
False
Let q(n) = 19*n - 5. Does 26 divide q(3)?
True
Let s(c) = c**3 + 9*c**2 - 10*c + 7. Let y be s(-10). Suppose -6*v - y + 55 = 0. Is 7 a factor of v?
False
Suppose 3*b - 12 = -b. Suppose v + 0*v = -2*o + 42, b*v + 84 = 4*o. Is o a multiple of 9?
False
Let b(c) = -c + 12. Let w(a) = a**3 - 7*a**2 + 7*a + 2. Let x be w(6). Is 2 a factor of b(x)?
True
Let x = -6 - -13. Suppose 8 = -3*f + x*f. Is f/(-1) - (-15 + 2) a multiple of 7?
False
Suppose 4*p - 14 = -r, -p = 3*r - 10 + 1. Suppose -4*c + 19 = -p*c + 2*h, 0 = 2*h - 10. Suppose -b = -8 - c. Is 11 a factor of b?
False
Suppose -t + 4*t = -c + 63, 0 = -c - 5*t + 71. Suppose 5*s = -h + 902, 5*s + 4*h - 857 = c. Suppose 9*g - s = 4*g. Is 12 a factor of g?
True
Suppose -5*x = -0*s + s + 12, s = 3. Let y be -2 + (-60)/(x/1). Suppose j - n - y = 0, -4*j = -0*j + 3*n - 44. Does 11 divide j?
False
Suppose -22 = q + 5*n, 4*n + 11 = -3*q - 0*n. Let l(i) = -i**3 + 4*i**2 - 4*i + 3. Let x be l(3). Suppose x = -6*u + q*u + 33. Does 11 divide u?
True
Suppose -101 - 106 = -23*g. Is g a multiple of 4?
False
Let l = -1 + 51. Is l a multiple of 16?
False
Let q(c) = 28*c + 1. Let f be q(-2). Let g be (-4)/(-6) - f/3. Suppose 4*b = -0*p - p + 44, 0 = -p + b + g. Is p a multiple of 8?
True
Suppose 5*y = y + 72. Is 6 a factor of y?
True
Let t = 205 + -129. Suppose -h + 3*f = 2*h + 192, -h + 5*f - t = 0. Let u = -5 - h. Is 16 a factor of u?
False
Let r be (11 - 12)/(1/(-5)). Suppose -17 - r = -2*s. Does 11 divide s?
True
Suppose 0 = -h + t + 44, 4*t - 63 = -4*h + 81. Is h a multiple of 4?
True
Suppose -720 = 4*p - 8*p. Is p a multiple of 13?
False
Suppose 0 = 5*w - 3*r + 30, w - 2*r + 35 = -4*w. Let t = w - -16. Is t a multiple of 7?
True
Let p be 1/(2/4) - 14. Let b be (-344)/p + 1/3. Suppose -5*c + b = -2*k, -2*c = 2*c - 2*k - 22. Is 4 a factor of c?
False
Let t(b) = 10*b**2 + 2*b - 1. Let u be t(-2). Suppose 0*f - u = -f. Is f a multiple of 7?
True
Let d(t) = -6*t + 3*t - t - 4 + 0*t**2 - 5*t**2 + t**3. Is 4 a factor of d(6)?
True
Suppose 3*i - 6*i + 15 = 0. Does 3 divide i?
False
Let l(n) = -n**3 + 3*n**2 - n + 1. Let h be l(3). Let f = h - -49. Is 10 a factor of f?
False
Suppose 3*o - 25 = -7. Is o a multiple of 6?
True
Let n = -3 + 10. Suppose 2*f - n = -17. Let p = f - -8. Does 3 divide p?
True
Let o be 8/10*(-105)/(-6). Let q = o - 21. Let n = q + 25. Is 8 a factor of n?
False
Let r be 16 + 9/3*1. Let g = r - -2. Is g a multiple of 16?
False
Suppose 3*z + 4*p = z - 4, -2*p = 4*z + 38. Is 18 a factor of (-4)/(-6) - 640/z?
True
Suppose 0 = -2*x + r + 209, 5*x - 478 - 52 = r. Is 22 a factor of x?
False
Let x be ((-12)/9)/((-6)/(-63)). Suppose 2*m - 125 = -3*m. Let b = m + x. Does 8 divide b?
False
Let q(p) = 3*p + 5. Is 14 a factor of q(5)?
False
Let p(c) = -c**2 - 13*c - 1. Let t(s) = s**2 + 12*s + 1. Let i(x) = -3*p(x) - 4*t(x). Is i(-4) a multiple of 9?
False
Let l(a) = -3*a**2 + 14*a + 19. Let v(o) = -2*o**2 + 7*o + 10. Let z(q) = 4*l(q) - 7*v(q). Does 10 divide z(-5)?
False
Let h(c) be the first derivative of -c**4/4 - 2*c**3 + 3*c**2/2 - 9*c - 5. Is 12 a factor of h(-7)?
False
Let m = 2 - 5. Does 6 divide (-9)/(-6)*(-14)/m?
False
Suppose -z = 13 + 11. Let m = 25 - 27. Is ((-2)/(-6))/(m/z) even?
True
Let p be -12*(1 - 12/8). Suppose -2*l = -p - 46. Is l a multiple of 13?
True
Let u(l) = 5*l - 81. Is u(24) a multiple of 31?
False
Does 14 divide -2 - -53 - (-4 - -2)?
False
Suppose -f = 2*w + 5 + 7, 3*f + 46 = 4*w. Let n be 2 - 0 - f - 2. Suppose a - 49 = -n. Does 12 divide a?
False
Let y = -6 + 8. Let q(k) = -3*k**y + 3*k**2 + 11*k**2 - k. Is 3 a factor of q(1)?
False
Suppose 40 = k - 74. Suppose 2*i - 56 = 2*a, -2*i - a - 43 = -k. Is i a multiple of 11?
True
Suppose 3*r = 5*t + 8, -4*t + 1 = 2*r + 3*r. Let y be ((-24)/(-5))/(r/30). Suppose -5*s = 9 - y. Is s a multiple of 20?
False
Suppose -3*z + 20 = 2*z. Suppose 0*u + 2*u - 288 = -z*d, 2*d = 2*u - 318. Let g = -103 + u. Does 17 divide g?
True
Suppose -d + 4*z + 1 = 0, -z + 21 = 2*d + 2*d.