t n = g + -3. Suppose 4*v - 4*a - a = 80, v + n*a - 20 = 0. Does 20 divide v?
True
Let u = 413 + -178. Suppose -3*s = -8*s + u. Is 26 a factor of s?
False
Let s(x) = 11*x**2 + 3*x + 8. Is s(-3) a multiple of 7?
True
Let d(s) be the first derivative of -s**3/3 + 3*s**2 + 5*s + 1. Suppose 4*v = 8*v - 20. Is 5 a factor of d(v)?
True
Let i be (-2)/2 + 2 - 1. Suppose 112 = 4*c - 6*x + 2*x, -2*x + 4 = i. Is 15 a factor of c?
True
Is 23 a factor of (2/4)/1*(-12 - -182)?
False
Let d be (8/6)/(3/(-9)). Let z = 11 - d. Is z a multiple of 15?
True
Let o = -2 + -1. Let a = -20 - -10. Let d = o - a. Does 5 divide d?
False
Let z(m) = m**2 - 2*m + 1. Let r be z(1). Suppose d + 2*d - 48 = r. Let p = d + -3. Does 11 divide p?
False
Let p(m) = 6*m - 6. Let t(i) = i. Let j(s) = -p(s) + 5*t(s). Let l be j(0). Suppose -l = 2*x, 2*g - 5*x - 175 = -3*g. Is 11 a factor of g?
False
Suppose -f + 1474 + 313 = 0. Suppose -5*q = -f + 307. Does 15 divide ((-1)/(-2))/(4/q)?
False
Let a(q) = -q**3 - 6*q**2 - 8*q - 12. Let c be a(-5). Suppose 109 = -c*h + 280. Does 17 divide h?
False
Let k(w) be the second derivative of -w**3 + w**2 - 5*w. Is 10 a factor of k(-3)?
True
Let z = 0 + 3. Suppose z*y - 109 = 4*q, 26 = -4*y + 4*q + 170. Is 15 a factor of y?
False
Let f be (-8)/(1*(-1 + -1)). Suppose -2*u + f = -4*q - 0, -q - 6 = -3*u. Does 14 divide (48 + 2/u)/1?
False
Suppose 4 - 2 = m - 5*u, 3*m + u = 6. Suppose -m*b - 2*l = -2, 4*l = 3*b - 1 - 37. Is 6 a factor of b?
True
Let m(t) = t**3 + 6*t**2 - 8*t. Is m(-7) a multiple of 7?
True
Suppose 0 = 3*k + 2*k + 160. Let b = 56 + k. Is b a multiple of 24?
True
Is 10 a factor of -2*3*(-180)/27?
True
Let u(r) = r**2 - 4*r + 2. Let g be u(4). Suppose -2*k = q - 56, 35 = 2*q - 3*k - 49. Suppose -q = -2*c - 3*t, -g*t - 11 = -c + 3*t. Does 21 divide c?
True
Suppose -3*j - 2*j = -10. Is 21 a factor of j - (-3 - -63)/(-1)?
False
Let v(z) = 25*z**2 + z. Let f be v(-2). Let a = f - 58. Is 8 a factor of a?
True
Let c(o) = o + 6. Is c(0) a multiple of 6?
True
Let y be 7 + -4 + 2 - -2. Let j = 13 - 8. Let c = y + j. Is c a multiple of 12?
True
Let c(q) = 8*q + 1. Suppose 5*h + s - 2*s = 11, -5*s = 2*h - 26. Does 9 divide c(h)?
False
Let z = 5 + -2. Suppose -z*l + 28 = -65. Suppose 4*a - l = 21. Is a a multiple of 10?
False
Let d be 0 + 2 - (1 - 2). Suppose -108 - 9 = -d*g. Suppose q + 2*q - g = 0. Is 13 a factor of q?
True
Let k be (-5889)/(-65) - (-3)/(-5). Suppose 2*q + 4*q - k = 0. Does 15 divide q?
True
Let g = -1 + -8. Let i = -3 + 11. Let r = i - g. Is r a multiple of 11?
False
Let y(k) = -2*k - 3. Let o be y(-4). Suppose 0*j + 26 = o*t + 3*j, 5*j + 2 = 3*t. Is t a multiple of 2?
True
Let p(q) = -26*q**2 - q + 6. Let u(r) = -r**2 - 1. Let i(t) = -p(t) - 5*u(t). Let k be -3 - (-8)/(-6)*-3. Is i(k) a multiple of 9?
False
Let h be (-2 - -4) + (2 - -38). Suppose -h = -5*y + 78. Is 14 a factor of y?
False
Suppose d - 182 = 2*c - 7*c, c = -3*d + 28. Suppose m = -3*m - 2*s + 26, 5*m - c = 2*s. Does 4 divide m?
False
Let p be ((-376)/20)/((-1)/10). Suppose 10 = 5*v - 0*v, g = 2*v - 1. Suppose p = g*r + r. Is r a multiple of 17?
False
Let f = 2 + -2. Suppose f = 2*m + 7 - 31. Is 12 a factor of m?
True
Let m(d) = -4*d**3 - 2*d**2. Does 6 divide m(-2)?
True
Suppose 54 = 3*m + q, -4*m + 2*q - 3*q = -71. Is 8 a factor of m?
False
Let y be 1/((-3)/(-9)*1). Suppose -k - y*h = -39, -68 - 39 = -3*k + h. Is 18 a factor of k?
True
Let r = -9 - -17. Suppose 4*p = -r*h + 3*h + 155, 4*h + 20 = 0. Is p a multiple of 15?
True
Let t(u) = 5*u**2 + 3*u. Let q be 5 + -5 + (-1 - 1). Is 7 a factor of t(q)?
True
Suppose 0 = 6*i - 8*i + 54. Does 27 divide i?
True
Suppose 5*b - 18 = 2. Suppose 2*y + t = b, 0 = -y + 2*t - 5 + 12. Is y even?
False
Let n(y) = -4*y - 2. Let g be n(-6). Let w = g + -13. Does 9 divide w?
True
Let w = -24 - -68. Suppose 0 = -h + w - 12. Is 10 a factor of h?
False
Let b(g) = -g**3 - 12*g**2 + 26*g - 12. Does 2 divide b(-14)?
True
Suppose 5*u - 3*b - 90 = b, 0 = -b + 5. Does 3 divide u?
False
Suppose 5*b = 3*v + 19, b + b = 10. Let u(z) = 6*z**3 + z**2 + 10*z + 4. Let l(k) = -2*k**3 - 3*k - 1. Let x(h) = -7*l(h) - 2*u(h). Is 8 a factor of x(v)?
False
Let x(i) = i - 14. Let z = 18 + -10. Let j be x(z). Let s = -2 - j. Is 2 a factor of s?
True
Is 30 a factor of (-254)/3*9/(-6)?
False
Suppose -i + 2*i = 56. Let a = -25 + i. Let y = -17 + a. Is y a multiple of 7?
True
Let l = -138 + 186. Is 24 a factor of l?
True
Suppose 2*l - 24 = l + d, -4*l + 3*d + 93 = 0. Is 19 a factor of l?
False
Suppose -5*v = 5*k - 95, 5*k - 2*v - 3*v = 85. Is k a multiple of 9?
True
Suppose -2*k + 20 = -4*k. Is 3/(6/k)*-1 a multiple of 2?
False
Let z be (-1 - -2)*0/2. Let c(q) = z*q**2 - 8*q + q - q**2 - 4. Is c(-5) a multiple of 5?
False
Suppose -j + 2 + 21 = 0. Let u = j + -4. Is u a multiple of 5?
False
Let f(q) = -3*q**3 - 65*q**2 + 9*q - 30. Is f(-22) a multiple of 10?
False
Suppose 0 = i + i. Let c(z) be the third derivative of z**5/60 + z**4/24 + 3*z**3 + 2*z**2. Is c(i) a multiple of 18?
True
Let n be (0/2)/(-4 - -2). Suppose n = 2*k - 13 - 59. Suppose -3*l + k + 72 = 0. Does 13 divide l?
False
Let b(j) = 11*j**3 + 4*j**2 + 5. Let l(g) = -10*g**3 - 5*g**2 - 6. Let m(z) = 5*b(z) + 4*l(z). Let q be 2 - (1 + 1 - 1). Is 16 a factor of m(q)?
True
Does 17 divide ((-2)/(-4))/(((-13)/(-204))/13)?
True
Let l = 224 + 132. Is l a multiple of 13?
False
Suppose 7*y + 7 = 4*y - 4*v, 0 = 4*y - 4*v - 28. Suppose -69 = -6*c + y*c. Does 20 divide c?
False
Suppose 6*v + 33 = 9*v. Is 4 a factor of v?
False
Suppose -2070 = -12*z - 11*z. Does 17 divide z?
False
Let b = 128 + 0. Is 11 a factor of b?
False
Let t be 4/5*825/30. Let m be 76/18 + 4/(-18). Let l = t + m. Is 13 a factor of l?
True
Suppose 5*w - 12 - 4 = -y, 4 = -4*y - 3*w. Let o be (y/(-2))/(-6)*-3. Is (-1)/(20/22 - o) a multiple of 5?
False
Let i(o) = -2*o**3. Let s be i(-1). Let p(b) = 5*b**3 + 2*b**2 - b - 1. Is 15 a factor of p(s)?
True
Suppose 6*t = 2*t + 8. Suppose -6 = -t*v + v. Does 3 divide v?
True
Suppose 5*h - 12 = 4*w, 0 = -2*w - 4*h + 13 + 7. Suppose -w*l = -3*v - 191, 2*v = -5*l + 6*v + 460. Is 28 a factor of l?
False
Suppose 0 = 4*m - 4*n - 876, 5*n - 843 = -5*m + 222. Is 12 a factor of m?
True
Suppose 0 = 4*u - 23 + 11. Is 2 a factor of u?
False
Let v(d) = d + 12. Does 16 divide v(4)?
True
Let d(h) = 4*h**3 - 3*h**2 + h + 2. Let m be d(2). Let k = 12 - 10. Suppose -k*b + 0*b = -m. Is b a multiple of 6?
True
Suppose 4*w + 2 = 26. Is 20 a factor of (-1880)/(-24) - 2/w?
False
Let s be 10/4*(-184)/(-10). Suppose 2*n = -g + s, -g - 105 = -4*g + 5*n. Is g a multiple of 10?
True
Suppose 2*a - 401 = -5*z - 117, -3*z + a + 166 = 0. Suppose 5*x - z = 39. Does 9 divide x?
False
Let q(a) = a**3 + a**2 - 2*a + 7. Is q(0) a multiple of 7?
True
Suppose -o = -2*o - 4. Let l = 6 - o. Is 5 a factor of l?
True
Let m = -159 - -234. Is m a multiple of 15?
True
Let j(d) = -3*d - 17. Is j(-15) a multiple of 14?
True
Let r(a) = a**3 + 12*a**2 + 4*a - 16. Is 10 a factor of r(-11)?
False
Let u = 106 + -43. Suppose 0 = -5*r + 5*c + 100, 3*r - 4*c = -0*r + u. Is 16 a factor of r?
False
Let z(r) = -5*r**3 - 2*r - 2. Let x be z(-1). Suppose -x*w + 285 = 105. Is 12 a factor of w?
True
Let a(p) be the second derivative of -p**4/2 - 3*p**3/2 - 17*p**2/2 + p. Let s(d) = -3*d**2 - 4*d - 8. Let u(y) = 6*a(y) - 13*s(y). Is 8 a factor of u(2)?
False
Suppose 3*y - 5 - 13 = 0. Suppose 0 = -0*u + 3*u + y. Does 6 divide (-56)/(-10) - u/5?
True
Let g = -203 + 343. Is g a multiple of 10?
True
Suppose 53 + 13 = 6*y. Does 11 divide y?
True
Is 8 a factor of 1/(-4) - 363/(-44)?
True
Let v = 37 - 7. Is 14 a factor of v?
False
Let p(j) = -2*j**3 - 10*j**2 + 11*j - 4. Let k(d) = -3*d**3 - 19*d**2 + 21*d - 8. Let y(l) = 3*k(l) - 5*p(l). Is y(6) a multiple of 3?
False
Let a = 130 - 91. Is a a multiple of 8?
False
Is -3 + 86 - -2 - (-2)/2 a multiple of 12?
False
Suppose -s + 2*r + 63 = 7*r, -60 = -s - 2*r. Suppose -12 = 2*v - s. Is 9 a factor of v?
False
Does 7 divide 310/4 + (-6)/12?
True
Let z be (12/(-9))/((-2)/36). Suppose -78 = -3*a + z. Is a a multiple of 17?
True
Let b = -6 + 31. Suppose d - 2*d = -b. Does 10 divide d?
False
Suppose 3*t - 9 = 3*a, -21 = -3*t + 2*a - 3*a. Is t a multiple of 2?
True
Let h be (-3)/2*124/(-6). Let t = 43 - h. Is 12 a factor of