m?
True
Suppose -26 = 6*i - 7*i. Is i a multiple of 22?
False
Let s(r) = r + 3. Let l be s(0). Let d(m) = -3*m**2 - m - 4. Let q be d(l). Let t = 50 + q. Is 8 a factor of t?
True
Let v(h) = -h + 9. Let g be v(3). Suppose -g*t = t - 378. Is t a multiple of 18?
True
Let m be 3/5 + 54/10. Is m/8 + (-4455)/(-44) a multiple of 34?
True
Suppose 0 = 3*u - 5*b + 2, 3*u = 3*b - b + 10. Let y be 4*(-3 + 21/u). Suppose -y*n = -6*j + 2*j + 210, 2*j - 99 = -5*n. Is j a multiple of 14?
False
Is 9/(-36) - 586/(-8) a multiple of 4?
False
Let x(a) = 13*a**2 + 2*a - 2. Is x(-2) a multiple of 23?
True
Suppose 7*b + 114 = 4*b. Let y = b + 92. Is 18 a factor of y?
True
Let h(q) = 3*q**3 - q**2 - 7*q + 1. Let f(v) = -v**3 + v**2 + v + 1. Let u(x) = 2*f(x) + h(x). Does 8 divide u(3)?
True
Suppose -25 = -l - 5*a, -4*a - 1 = -l - 12. Let p be (4 - l)/((-1)/1). Does 17 divide 2 + p - (-15 + 1)?
True
Suppose 0 = 2*l - 3*l + 5*v - 50, 4*l = 2*v - 110. Let m = -16 - l. Is m a multiple of 4?
False
Let j = 13 - 9. Suppose 0 = y - 2*y + j. Is y a multiple of 2?
True
Suppose -5*c + 808 = 223. Does 9 divide c?
True
Let f(j) = j**2 + 1. Let h(z) = -z**3 - 5*z**2 + z - 21. Let q(v) = -6*f(v) - h(v). Does 4 divide q(0)?
False
Let a be 2*3/(-6) + -12. Let d = 84 + a. Does 12 divide d?
False
Let r = 49 - 7. Does 21 divide r?
True
Let t = 23 + 8. Let c = 48 - t. Does 15 divide c?
False
Let r(h) be the second derivative of 2*h**3/3 - h. Suppose -m + 12 - 10 = 0. Is r(m) a multiple of 5?
False
Suppose -3*i + i = 2*n, -3*n = i. Suppose i = 2*g + 3*g - 105. Is 7 a factor of g?
True
Suppose -4*i + 613 + 947 = 0. Does 65 divide i?
True
Let b = 33 + -9. Is 8 a factor of b?
True
Let g(p) = -4*p - 5*p + p. Let o be g(-6). Suppose -z - 3*z = -o. Is 12 a factor of z?
True
Let b(z) be the second derivative of z**5/20 + z**3/6 + z. Let v be b(1). Suppose v*l - 12 - 2 = 0. Does 2 divide l?
False
Suppose -2*y - 258 = -704. Suppose -5*x = -w + 17, 4*w - y + 92 = -x. Does 16 divide w?
True
Let g(u) = u**3 + 11*u**2 + 8*u - 7. Is 13 a factor of g(-10)?
True
Suppose -3*w + 60 = 5*i, 2*i - 21 = 4*w + 29. Does 5 divide i?
True
Let j(f) = -f**3 - 3*f**2 + 3*f - 1. Let a be j(-4). Suppose -5*v + 8 = -a*v. Suppose u + 85 = v*q - 2*u, -16 = -q - u. Is q a multiple of 11?
False
Let n = 5 - 3. Let r(o) = o + 2. Is r(n) a multiple of 4?
True
Let f = -15 - -9. Let j(m) be the second derivative of -m**5/20 - 7*m**4/12 - 3*m**3/2 - 4*m**2 + m. Is 4 a factor of j(f)?
False
Let n = -8 + 13. Let w(i) = 2*i**2 + n - 2 - 1 - i**3. Does 11 divide w(-2)?
False
Let b be 2991/12 + 3/(-12). Suppose -35 = -4*f + b. Suppose h - 6*h - 2*y + 117 = 0, 3*h + y = f. Does 9 divide h?
False
Let o(x) = -2 - 2*x + 0*x + x + 0 + 8*x**2. Suppose -3*y - 14 = 5*z, 0 = y + 3*z - z + 6. Does 8 divide o(y)?
False
Let a = 187 + -132. Is 11 a factor of a?
True
Suppose 3*m + 63 = 6. Let n be (-80 + -6)/(-2 + 0). Let w = m + n. Does 15 divide w?
False
Suppose -244 = -151*c + 147*c. Is c a multiple of 10?
False
Let d(u) = u**3 - 8*u**2 - 7*u. Is 13 a factor of d(9)?
False
Let y be (-3)/(-1) + -1*1. Suppose 15 = y*h - 29. Is 7 a factor of h?
False
Let n = 50 - 20. Suppose 2*s - n = -3*s. Is s a multiple of 2?
True
Let j(n) = 22*n**2 - 46*n**2 + 7*n + 23*n**2 - 3. Is 7 a factor of j(5)?
True
Let t(m) = -m**2 + 10*m - 3. Is t(6) a multiple of 3?
True
Let f = -16 + 43. Does 5 divide (-70)/(-9) + 6/f?
False
Suppose 0 = l + 3*l. Let r(b) = b**3 + b**2 + b + 5. Let a be r(l). Suppose -o - 3*m + 19 = 0, -5*m = a*o - m - 150. Is 10 a factor of o?
False
Suppose 4*x + 3*z = 2, 4*x - 2*x = 3*z + 10. Suppose -5*w = -d + 27, 0 = x*d - 3*w - 11 - 64. Is d a multiple of 21?
True
Let b(u) = -3*u - 7. Let q = 29 + -7. Suppose 2*s + q = 4*c, 4*s + 3*c + 5 = -2*c. Does 8 divide b(s)?
True
Suppose 190 = g + 4*g. Suppose 0 = -5*u - 0*u + 3*q - 102, -5*u + 2*q - 103 = 0. Let z = g + u. Is 17 a factor of z?
True
Let x = 267 - 27. Suppose -7*y + x = -3*y. Is y a multiple of 17?
False
Let f = 16 - 11. Suppose -22 = -f*w + 3*y, 0 = 3*w - 5*y - 3 - 7. Is w even?
False
Let g = 25 - 10. Suppose -m - 2*v = -g - 16, -197 = -5*m + 4*v. Let k = m - 7. Does 13 divide k?
False
Is (-7)/((-28)/48)*1 a multiple of 6?
True
Suppose 2*i - 5*m - 77 = 0, 0*i - 2*i = -4*m - 78. Does 11 divide i?
False
Let d be (4 + -1)*76/6. Let k be (1 - -2) + -6 - 3. Let y = d + k. Is 13 a factor of y?
False
Let f(m) = m**2 - 6*m - 4. Let s be f(6). Let w be (s/10)/((-2)/10). Suppose w*v - 6 = -j + 1, 4*v - j - 23 = 0. Is 3 a factor of v?
False
Let q(u) be the first derivative of -3*u**2 + 4*u**2 - u - 3*u**2 - 3. Is 23 a factor of q(-6)?
True
Let j be 2/6 + (-150)/18. Does 6 divide (j/(-10))/((-4)/(-110))?
False
Let b = -54 - -119. Suppose 0*k = 3*k - f - 160, 2*f - b = -k. Suppose 12 = 3*n + 2*l - k, 0 = -5*n - 5*l + 120. Is n a multiple of 7?
False
Let f(g) = -g**2 + 13*g + 2. Is 11 a factor of f(6)?
True
Let f = 106 - -2. Suppose 3*w + 0*w = f. Does 20 divide w?
False
Suppose 2 = -f + 3. Suppose -f - 8 = -s. Is 9 a factor of s?
True
Suppose 0 = v - 17 - 1. Does 6 divide v?
True
Let a(p) = -p**3 + 17*p**2 - 12*p + 5. Is a(16) a multiple of 16?
False
Let c = 0 - -8. Is 2 a factor of c?
True
Let x(g) = -2*g**2 - 2*g. Let k(f) = 2*f**2 + f. Let l(j) = 6*k(j) + 5*x(j). Is l(3) a multiple of 3?
True
Let q = 644 - 158. Is q a multiple of 27?
True
Suppose 4 = 5*g - 1. Suppose -10 + g = -3*d. Suppose 5*y - 62 = -d*p, y = 4*p + p - 122. Is p a multiple of 8?
True
Let n(j) = j**3 - 5*j**2 + 3*j - 3. Let m be n(5). Does 16 divide 1/2 + 486/m?
False
Suppose 528 = -14*m + 20*m. Is m a multiple of 11?
True
Let z = -6 + 10. Suppose z - 3 = p. Suppose 5 = w + p. Does 4 divide w?
True
Let f = 28 - 85. Let p = 34 + f. Let s = 40 + p. Does 14 divide s?
False
Let f = -7 - -7. Suppose 0*r + r - 5 = f. Suppose -5*b + 2*j = -15, -2*b + r*j - 30 = -3*b. Does 2 divide b?
False
Let g(f) = -4*f - 21. Is 5 a factor of g(-9)?
True
Suppose 4*j + 3*d - 19 = 0, -2*j = -3*d - 0 - 5. Suppose -52 = -j*c + 2*c. Does 14 divide c?
False
Let a(t) = 0*t - 2 + 4*t - 2. Is 12 a factor of a(9)?
False
Let h(g) = -g + 3. Let v be h(9). Let c(k) = k**3 + 6*k**2 - 2*k + 5. Is c(v) a multiple of 17?
True
Let l(x) be the third derivative of -x**7/5040 + x**6/120 + x**5/20 + 2*x**2. Let s(p) be the third derivative of l(p). Is s(0) a multiple of 2?
True
Suppose 3*g - 6*g - 2*r = -4, -2*r - 10 = -4*g. Suppose -3*y + 3*f - g*f + 89 = 0, -4*f = 5*y - 120. Does 14 divide y?
True
Let y(l) = l**3 + 6*l**2 - 3*l - 9. Is 12 a factor of y(-5)?
False
Let a be 80/14 - 8/(-28). Suppose -a*w + m = -w - 32, 4*w - 34 = -2*m. Does 2 divide w?
False
Let o(l) = -5*l - 2*l**3 + l**3 + 9*l**2 + 1 + 0. Is 10 a factor of o(6)?
False
Let k(z) = -z**3 + 10*z**2 - 5*z + 6. Is k(9) a multiple of 6?
True
Let t(o) = o + 11. Is t(-5) a multiple of 6?
True
Let t(d) = -d**3 - d**2 + d - 23. Let i be t(0). Let k = i - -32. Is 3 a factor of k?
True
Is (-3)/(((-12)/(-32))/(-1)) a multiple of 3?
False
Let t(v) = -2*v - 4 - 1 - 5. Does 3 divide t(-9)?
False
Let j be (-2)/(-6) - (-2)/(-6). Suppose -4*g + 4 + 8 = j. Suppose -i = s - 9, g*s + 14 = 5*s + i. Is s a multiple of 3?
False
Let h(o) = -468*o**2 + 42. Let m(q) = 55*q**2 - 5. Let c(t) = -5*h(t) - 42*m(t). Does 10 divide c(-1)?
True
Suppose s + 7 + 6 = 4*a, -a - 3*s = -13. Let h be ((a - 2) + -7)*-1. Suppose n + 112 = h*n. Does 14 divide n?
True
Suppose -7*i = -9*i - 30. Is 8 a factor of (-261)/(-15) + 6/i?
False
Let h = -7 + 9. Let p = h + 4. Is p even?
True
Suppose -4*z = 5*o + 15, -z - 4*o + 5*o - 6 = 0. Let k be (20 + 0)/(z + 4). Let c = -4 - k. Does 8 divide c?
True
Let m(y) = 9*y**2 - 2*y + 1. Is m(-2) a multiple of 24?
False
Let i(m) = -m**2 + 11*m + 27. Is 9 a factor of i(11)?
True
Let v(l) = 7*l**2. Let d(z) = -z**3 + 5*z**2 - z + 4. Let i be d(5). Does 7 divide v(i)?
True
Let b(w) = -2*w**2 + 3*w + 1. Let p be b(-3). Let x = p - -60. Is 10 a factor of x?
False
Let z(l) be the third derivative of l**5/30 + l**4/6 - l**3/6 + 5*l**2. Suppose -5*i - u - 21 = 0, 5*i - u - 5 = -34. Does 8 divide z(i)?
False
Let x = -6 + 62. Is x a multiple of 14?
True
Suppose 0*f - 2*f = -2. Let r be ((-4)/10)/(f/45). Let o = 54 + r. Does 14 divide o?
False
Suppose r = 2*t + 2*t + 75, -r - 2*t = -57. Is r a multiple of 20?
False
Suppose 5*