 r a multiple of 16?
True
Let i(m) = 4*m - 5 - m**3 + 5*m - 3 + 7*m**2. Let s be i(8). Suppose s*f + 36 = 2*f. Is 7 a factor of f?
False
Suppose 0 = -4*k + 7*k - m - 465, m = 2*k - 309. Is 12 a factor of k?
True
Suppose -3*c - 11 = 5*b + 2, -c - 5*b - 21 = 0. Suppose -c*h + 35 = h. Is h a multiple of 4?
False
Suppose -8 + 0 = -4*u. Suppose -51 = -u*i + 3*v, -2*i - 2*v + 27 = -19. Is i a multiple of 6?
True
Let x(k) = 10*k - 8. Let z be x(7). Suppose f + 3*f - 111 = -5*n, -2*f + 4*n = -z. Let o = f - 11. Does 9 divide o?
True
Let f = -4 - -7. Suppose 0 = f*k + 3, -4*d = 2*k - 269 - 145. Suppose d = -0*x + 4*x. Is 13 a factor of x?
True
Let x = 4 + 0. Is 3 a factor of x?
False
Let j(p) = -1. Let r(f) = -f - 5. Let i(w) = -6*j(w) + r(w). Let n(t) = -3*t + 3. Let l(q) = 2*i(q) - 2*n(q). Is 9 a factor of l(5)?
False
Let n = -13 - -6. Let m = -2 - n. Suppose -3*b - 3*g = 50 - 149, -m = -g. Is b a multiple of 11?
False
Let h(w) = w**3 + 11*w**2 + w - 3. Is 25 a factor of h(-9)?
True
Let n be 36/10*(-10)/(-3). Suppose -3*j = n - 0. Does 21 divide (-13 - 1)*6/j?
True
Let w = -98 + 164. Does 18 divide w?
False
Let w = 20 - 14. Let h = 13 - 14. Does 5 divide 18/((-9)/w*h)?
False
Suppose 5*t = -3*q + 591, -2 = -2*q + q. Is t a multiple of 13?
True
Suppose 0 = -y - 4*y - 4*b - 105, -b = -4*y - 105. Let n = -12 - y. Does 13 divide n?
True
Suppose -3*i + 4 = -5. Let n(h) = -h + 2 + 5*h**2 - h**3 - 7*h + i*h**2. Is 15 a factor of n(6)?
False
Suppose -14 = -2*z - 2*p + 10, 0 = 4*z + 3*p - 45. Suppose 2*f + 0*f - 3*i - 107 = 0, 3*i = z. Does 29 divide f?
True
Let k = 42 - -5. Suppose -4*v + k = -125. Is v a multiple of 10?
False
Suppose -p = -42 - 48. Is 45 a factor of p?
True
Is 107 - (-10)/15*3 a multiple of 27?
False
Let b(y) = 2*y**2 - y - 42. Is b(-14) a multiple of 52?
True
Suppose -2*a = -a - 2*p - 19, 143 = 5*a + 2*p. Does 9 divide a?
True
Let b be -1 - 0 - (3 + -2). Let p be (2/b)/((-1)/106). Suppose 5*w - 120 = -5*j, 9*j - 2*w = 4*j + p. Is 11 a factor of j?
True
Let o = -5 - -11. Suppose -3*g + 2*x = o*x - 117, 2*x = 5*g - 169. Is g a multiple of 11?
False
Suppose 0 = -3*q + 5 + 1. Let s(v) = 3*v**3 - 4*v**2 + 2*v + 2. Is s(q) a multiple of 14?
True
Let p be 173 + -1 + 3 + -2. Suppose 7*l - 2*l - p = 4*t, -t - 145 = -4*l. Does 16 divide l?
False
Let l(m) = 6*m**2 - m - 1. Let f be 3 - 0 - 4/2. Does 2 divide l(f)?
True
Let r(k) = k - 3. Let y(b) = -3*b + 7. Let l(d) = -5*r(d) - 3*y(d). Let c be l(8). Suppose j = -2*f + c, -j = 2*j - 5*f - 89. Does 14 divide j?
True
Suppose -36 = -4*y + 2*l, -3 = -y - 2*l + l. Suppose 0*b + y = b. Suppose 4*q = s - 0*s - b, -4*s + 56 = -2*q. Is s a multiple of 5?
True
Let k(r) be the second derivative of -r**5/10 - r**4/8 + r**3/2 + r. Let q(x) be the second derivative of k(x). Does 7 divide q(-2)?
True
Let x = -10 + 21. Suppose x = 5*c + s - 56, 0 = -3*s + 6. Is 4 a factor of c?
False
Let r = -41 + 14. Is (r/18)/((-1)/8) a multiple of 5?
False
Let g(z) = -z**3 - 13*z**2 - 13*z + 24. Does 3 divide g(-12)?
True
Suppose 4*a = 2*a. Suppose -3*p + 28 + 20 = a. Is 16 a factor of p?
True
Suppose 5*o + 8 - 23 = 0. Suppose o*t = -0*t + 6. Is t even?
True
Suppose a = -a - 2*s + 12, -a = 2*s - 9. Suppose -4*p - u - a + 6 = 0, 4*u = -2*p - 16. Suppose 8 = -4*q + 3*f + 49, -p*q = -4*f - 18. Is q a multiple of 3?
False
Suppose 7 = 4*v + 55. Let w = 27 + v. Is w a multiple of 5?
True
Suppose 7 + 178 = 5*l. Is l a multiple of 15?
False
Let h = -9 + 13. Suppose w - 9 - 7 = -4*x, -2*w + h*x = -56. Is 6 a factor of w?
True
Is 7 a factor of (12/(-10))/((-8)/120)?
False
Let j(q) = 3*q + 8*q**2 + q - 6 - q**3 + 2*q - 2*q**2. Is j(6) a multiple of 25?
False
Let c(m) = -m - 7. Let d be c(-6). Does 10 divide (2 + -2)*d - -20?
True
Suppose 3*q + 9 = c, -c - 3*q - 7 = 2. Suppose 3*p - 52 - 86 = c. Is p a multiple of 23?
True
Suppose 8*a = 4*a. Suppose a = -z - 10 - 4. Is 6 a factor of (3/1)/((-3)/z)?
False
Suppose 0*b - 63 = -3*b. Does 12 divide (b + -3)*6/9?
True
Suppose -4*w + 4 = -3*w. Suppose -f = w*r - 40, 0*r = 3*f + r - 109. Does 13 divide f?
False
Suppose 141 = p - 7. Is p a multiple of 26?
False
Suppose -236 = -0*u - 4*u. Suppose -8*q = 5*d - 3*q - 75, 3*q - u = -4*d. Does 7 divide d?
True
Suppose 9 = 3*u + 3*c, -c = 2 - 0. Suppose u*f - f = 20. Is f a multiple of 3?
False
Suppose 5*z - 101 = -371. Does 18 divide (92/6)/((-12)/z)?
False
Let q = 66 - 43. Is q a multiple of 8?
False
Let p be (5 + -5)/(4/2). Suppose 2*a + p*a - 2 = 0. Is 7 a factor of 15 - (3 + -2*a)?
True
Does 18 divide (-3)/(-5) - (-5370)/50?
True
Let j be ((-2)/(-2))/(2/8). Suppose -2*c + 5*c = j*g + 7, 0 = -2*g - c - 11. Does 10 divide (g/((-4)/(-11)))/(-1)?
False
Let g(t) = -t**3 + 6*t**2 - t + 4. Let k be 24/20*(-5)/(-2). Is g(k) a multiple of 14?
True
Let a(h) = 2*h - 1. Let g = 12 - 6. Does 6 divide a(g)?
False
Suppose -v = -10 + 4. Let i = v + -2. Suppose 3*r - 109 = i*l, 4*r + 87 - 249 = -3*l. Is r a multiple of 18?
False
Let s(y) = -3*y**3 - y**2 - 2*y - 3. Let b = -5 - -3. Does 7 divide s(b)?
True
Let r(j) = j**2 - 3*j. Let y be r(3). Let l = y + 14. Is l a multiple of 7?
True
Let y be 5 + -1 - 1 - -49. Suppose -y = -5*j + j - 4*f, 2*j + 3*f = 24. Does 15 divide j?
True
Let k(h) = -2*h**3 - 2*h**2 - 2*h - 3. Let n be k(-2). Let u be (-2)/n - (-14)/(-18). Is 9 a factor of u/(-2)*(17 + 1)?
True
Let l(v) = v**2 - 6*v - 4. Let u be l(7). Suppose -u*k = 2*k - 20. Suppose 96 = 4*i - k*b - 0*b, -3*b = 0. Is i a multiple of 17?
False
Let s(u) = -4*u. Let d be s(7). Let l = d - -49. Suppose l = -5*q + 56. Is 2 a factor of q?
False
Let m be (828/48)/(6/16). Suppose -m = -w + 8. Is w a multiple of 27?
True
Let y = -219 + 151. Let q = 125 + y. Is q a multiple of 27?
False
Suppose -14*a - 79 = -205. Is a a multiple of 9?
True
Suppose -5*m + 68 = -m. Let n = 4 + m. Is (-6)/n + 508/14 a multiple of 18?
True
Let o(l) = l**2 + 14. Is o(-6) a multiple of 20?
False
Let k(m) = 115*m**2 + 2*m + 1. Does 26 divide k(-1)?
False
Let r(k) = -k - 2. Let x be r(-7). Suppose x = 4*b - 3. Suppose 6*t - 80 = b*t. Is 10 a factor of t?
True
Does 13 divide 1/(-4) + 791/28?
False
Let m = 16 - 11. Suppose m*u = 192 + 183. Let x = u - 44. Is x a multiple of 11?
False
Let n(r) = -r**2 + 0*r**2 + 0*r**2 + 7*r. Let i = 12 - 7. Does 9 divide n(i)?
False
Let m(v) = 4*v**2 + v - 5. Does 25 divide m(-5)?
False
Let t = 0 + 6. Let g(r) = -r**3 + 6*r**2 + 5*r - 2. Is g(t) a multiple of 7?
True
Let o(v) = v**2 + 11*v + 12. Let i be ((-28)/21)/((-4)/(-30)). Let l be o(i). Suppose l*k - h - 35 = 0, 0 = h + 4 - 5. Is k a multiple of 6?
True
Is (-210)/(-8) + 63/84 a multiple of 3?
True
Suppose 2*s + s + 2*j - 17 = 0, -2*j - 7 = -5*s. Suppose -124 + 16 = -s*o. Does 12 divide o?
True
Let l be 24/(0 - -2) + 1. Let k = -7 + l. Is k even?
True
Let r = 11 + -6. Suppose -3*s = 3*h - 15, 2*s - r*h = -0 - 18. Let w(o) = 19*o. Is 7 a factor of w(s)?
False
Suppose 0 = 6*q - 300 + 60. Does 16 divide q?
False
Let f = -5 - -8. Let k be 9 - (-6)/9*f. Let w = -8 + k. Is w a multiple of 3?
True
Suppose 0*d = 3*m - 5*d, 0 = 5*m - 5*d. Suppose -4*q + 5*g + 25 = m, -4*q + 8 = -g - 13. Suppose -3*w + 10 = -q. Is 5 a factor of w?
True
Suppose 5*r = 4*n + 82, -r + 3*n = -4 - 19. Does 14 divide r?
True
Suppose 4*o - 9 = -f, 14 = 4*f + 5*o - 11. Let c = f + 7. Does 12 divide c?
True
Let c = -85 - -153. Suppose -j = j - c. Is j a multiple of 17?
True
Let z(h) be the second derivative of 37*h**4/12 + h**3/3 - h**2/2 - 5*h. Is z(1) a multiple of 14?
False
Let x be (-2)/4 - (-51)/6. Let s(j) = 2*j + 1. Is 6 a factor of s(x)?
False
Suppose 6*p + 3*n = p - 123, -4*n + 44 = -2*p. Let g = p + 40. Let w = -10 + g. Is 5 a factor of w?
False
Let z = -31 + 96. Let l(p) = 4*p + 1. Let a be l(3). Suppose z = 2*q + a. Is 13 a factor of q?
True
Suppose 4*r = -26 - 18. Is 7 a factor of (r/(-3))/(6/36)?
False
Suppose 276 = -5*g + 9*g. Does 19 divide g?
False
Suppose 0*b = 2*b - 6. Let y(z) = 5*z**2 - z - 1. Let c be y(-1). Suppose 0 = c*v - 4*j - 170, 5*v - 165 = -0*v + b*j. Does 15 divide v?
True
Let a(o) = -o**2 + 3*o + 20 - 2*o - 5 + 21. Is 13 a factor of a(0)?
False
Let m be 1/((-158)/(-52) - 3). Let o = m + -8. Does 6 divide o?
True
Suppose -5*x - 7 = -22. Suppose 2*y + x*y - 2*m - 205 = 0, 5*m - 14 = -y. Is 14 a factor of y?
False
Is 7 a fact