 - i. Let a = 11 + c. Does 16 divide a?
False
Is 8/(-3)*738/(-24) a multiple of 24?
False
Is (12 - 6)/((-1)/(-22)) a multiple of 12?
True
Suppose 9*k + 3*k = 192. Is 4 a factor of k?
True
Suppose 8*v - 375 = 7*v - 4*a, -4*v = -4*a - 1580. Does 23 divide v?
True
Suppose 3*i = 4*h + 5*i - 22, 3*i = 5*h. Suppose 0 = h*k + 4*a, -5*k + 3*a = -0*a. Let m(j) = -j**3 + j**2 + j + 18. Does 10 divide m(k)?
False
Let z = 3 + -3. Suppose -2*n = -z*n - 48. Is n a multiple of 18?
False
Suppose 4*m - 135 = -3*k, -3*m - 5 = -4*m + 5*k. Is 5 a factor of m?
True
Let b(q) = -7*q - 2. Let z be b(-1). Suppose -180 = -0*l - z*l. Does 18 divide l?
True
Suppose -5*b - m + 105 = -4*m, 34 = 3*b + 4*m. Is 8 a factor of b?
False
Let j(a) = 21*a - 4. Does 18 divide j(3)?
False
Suppose -2*w - 3*w + 2*a = -21, -2*w - 4*a = 6. Let u(f) = f**2 + 4*f - 6. Let t be u(-5). Does 3 divide w/(t + 2 + 0)?
True
Let n be (-2)/((-6)/(-4) - 2). Let v be 9 - 7 - (1 - -1). Suppose 5*d - 21 = -2*c, v = -n*c - c + 4*d + 69. Does 5 divide c?
False
Suppose -6*p - 168 = -546. Does 10 divide p?
False
Let v = -112 + 58. Let t = 1 - v. Let n = t + -32. Is n a multiple of 12?
False
Let v = -68 + 128. Is 12 a factor of v?
True
Let x = -9 - -10. Let b be (0*(-1)/(-3))/x. Suppose b = -2*m - 0*m + 14. Is m a multiple of 7?
True
Let j = -7 - -17. Is 10 a factor of j?
True
Let z(t) be the first derivative of 2*t**3/3 + 5*t**2 + 10*t + 2. Let j = -12 - -5. Is z(j) a multiple of 19?
True
Let f = 113 + -10. Let i = -69 + f. Is i a multiple of 10?
False
Suppose u + 211 = 3*w, 0 = 5*w - 3*u - 407 + 58. Let l = w + -29. Is l a multiple of 14?
True
Let o(x) = 2*x**2 + 4*x - 6. Does 10 divide o(-4)?
True
Suppose 21 - 1 = 5*r. Let w be ((-2)/r - -1)*10. Suppose w*x - 8 = 3*x. Is x a multiple of 4?
True
Does 15 divide ((-3)/(-1))/(8/136)?
False
Let i(q) = q + 18. Let s be i(0). Let r = s + -13. Is r a multiple of 5?
True
Suppose -2*j - 2*j = -8. Suppose 4*a - j*a - 20 = 0. Is a a multiple of 10?
True
Let z = -197 + 317. Suppose -c + z = 4*c. Is c a multiple of 12?
True
Is -4 + 2/1 - -26 a multiple of 8?
True
Let l = -720 + 1042. Does 20 divide l?
False
Let h(x) = 16*x**2 - 1. Is h(-1) a multiple of 5?
True
Let c = -30 + 52. Suppose -2*q + 2*v - 30 = c, -5*q = -v + 110. Let k = q + 48. Does 14 divide k?
False
Let f(l) = -l + 8. Let q be f(10). Let p be q - -6 - (-4)/2. Let z = p - -4. Does 7 divide z?
False
Let v(a) = -a**2 + 6*a - 5. Let x be v(5). Suppose x = -2*r + 2*d + 12, -5*r + 40 = d + 4. Is r a multiple of 7?
True
Let y = -8 - -12. Suppose -w + 143 = 3*d, 0*w + 4*w = y*d - 212. Is 14 a factor of d?
False
Let n(w) = -w**2 - 13*w - 22. Let y be n(-10). Suppose -2*k - 108 = -4*k. Suppose y = -2*h + k. Does 18 divide h?
False
Let u = -45 + 74. Let w be (-875)/(-6) - (-1)/6. Suppose -w = -3*f - u. Does 20 divide f?
False
Suppose 14 = y + 2*j, -2*y = -4*y + j + 8. Let b = -6 + y. Let i(r) = r**2 + 27. Is i(b) a multiple of 13?
False
Let s = 0 - -2. Suppose s*f - f = 2. Suppose -w - f*w = -45. Is w a multiple of 9?
False
Let n(c) = -c**2 + 6*c - 3. Let z be n(3). Let j be 2/z - 251/(-3). Suppose 2*s = -s + j. Is s a multiple of 14?
True
Let v(b) = 2*b**3 - 6. Let o = -6 + 5. Let l(y) = -y**3 - y**2 + y. Let j(m) = o*l(m) - v(m). Is 3 a factor of j(0)?
True
Let s be ((-1)/(-3))/((-2)/(-6)). Suppose -r - s = -2. Is 13 a factor of 412/16 + r/4?
True
Let s(w) = -2*w**2 - 11*w - 1. Let p(o) = -o**2 - 10*o. Let k(b) = -3*p(b) + 2*s(b). Is 5 a factor of k(7)?
True
Let p(o) = 10*o - 3. Let s be p(3). Let l be (0 - 2 - -3)*s. Is -2 + (-1 - 2) + l a multiple of 21?
False
Let t(n) = 3*n + 9. Let x be t(-8). Is 14 a factor of (-755)/x - (-2)/3?
False
Let m(z) be the second derivative of 5*z**4/6 - z**3/6 - 2*z. Is 10 a factor of m(-2)?
False
Suppose -4*g + 398 = -114. Is 13 a factor of g?
False
Suppose -4 = -f - 4*l - 0*l, 0 = -4*l. Let b = 0 + f. Is 2 a factor of b?
True
Suppose -3*t - 54 = -c, -t + 54 = 2*c - c. Is 27 a factor of c?
True
Suppose -5*s + 0*s + 50 = 0. Let f = s - 10. Suppose -8*y + 4*y + 5*o + 40 = 0, f = -o. Is y a multiple of 5?
True
Suppose 2*f - 3*f = 4, 3*m - 3*f - 30 = 0. Does 9 divide (-22 - m/2)*-1?
False
Suppose -5*i + 99 = -471. Let x = i + -42. Suppose 0 = -2*k + 5*k - x. Does 12 divide k?
True
Let t be (-933)/(-9) - (-8)/6. Let q = t + -51. Is 11 a factor of q?
False
Suppose -4 = -8*i + 4*i. Let x = 3 + i. Suppose -w + 2*y + 41 = 0, w - 2*y = x*w - 91. Is w a multiple of 12?
False
Let t = 2 - -1. Let l(m) = 7 - m + t + 2*m. Does 17 divide l(7)?
True
Let z be (-8 - (1 - 1)) + 2. Let o = 6 + z. Suppose 36 = 5*f - 2*i, o*f + 18 = f + 5*i. Does 7 divide f?
False
Let m = 1 + -3. Let g be (m + 0 + -1)*-1. Let d(y) = 2*y**2 - 2. Does 13 divide d(g)?
False
Suppose 7 = -s + 5*y, 4*s - 14 = -y - 0*y. Suppose 0 = -s*k + k + 28. Is 8 a factor of k?
False
Let s be 1*3/(9/12). Suppose -3*m - 3*h + 9 = -h, -s*h + 8 = -4*m. Let j(u) = 23*u - 1. Is j(m) a multiple of 11?
True
Let j be (-16)/(-6) + (-4)/(-12). Let g(w) = 0 - 8*w - 3 + 6 + 7*w**2 + 1 - w**j. Is g(5) a multiple of 7?
True
Let c = 26 + -15. Does 11 divide c?
True
Let x = 6 + -1. Let k(b) = b**2 + 4*b + 4. Let c be k(-4). Suppose -j = 1, -x*j + 14 = c*w - 53. Is 9 a factor of w?
True
Let s = 10 - 5. Let l = 5 + s. Is 2 a factor of l?
True
Let s(k) = -k**2 - k + 18. Let r be s(0). Let g = r + -12. Is 2 a factor of g?
True
Let t = 8 + -3. Suppose -3*w - 37 = -t*j, -16 - 1 = -2*j - w. Does 3 divide j?
False
Let k = 3 + 0. Let m(f) = 11*f + 4. Does 7 divide m(k)?
False
Let n(x) be the third derivative of -x**5/60 + x**4/6 + 4*x**3/3 + x**2. Let k be n(7). Let b = 39 + k. Does 11 divide b?
False
Let u be (-2)/9 + 47/9. Suppose -u*d - 2*v = -v - 25, -5*d + 4*v = 0. Suppose d*h - 87 + 19 = 0. Is h a multiple of 17?
True
Let d be 1/(-2) + (-4)/8. Let g = d + 4. Is g a multiple of 3?
True
Let r be (3/1)/(3/75). Suppose -r = 5*g - 205. Does 15 divide g?
False
Suppose 0 = o + 9 - 95. Is 30 a factor of o?
False
Let s = 28 + -8. Suppose -5*d = -3*k + 2*k + s, 3*k + 20 = -5*d. Is (-34)/4*-4 + k a multiple of 17?
True
Let b(p) be the first derivative of 6*p + 2*p**3 + 9/2*p**2 - 2 - 1/4*p**4. Does 20 divide b(7)?
True
Suppose -8*h + 4 = -4*h. Let z = h + 4. Let q = z + 31. Does 18 divide q?
True
Suppose -4*w = -y + 50, -2*y - 5*w - 91 = -4*y. Is y a multiple of 10?
False
Let q(i) be the first derivative of -i**3/3 - i**2/2 + 18*i - 1. Is 10 a factor of q(0)?
False
Suppose 10 = -5*l, -3*m + 2*l - l + 5 = 0. Let j(i) = -1 + 27*i**3 - i**2 + i + i**2. Is j(m) a multiple of 12?
False
Does 32 divide (-4)/(-6)*(-498)/(-4)?
False
Let l = -70 - -193. Does 12 divide l?
False
Let x = -33 + 61. Suppose 3*r + x = 4*k, -9*k + r = -4*k - 24. Is k a multiple of 4?
True
Let j(y) = y**3 - 6*y**2 - y + 8. Let x be j(6). Let k(v) = -11*v - v**x + 2 - 2*v**2 + 2*v**2. Is k(-8) a multiple of 11?
False
Let x(f) = f**3 - f**2 + f + 1. Let o(v) = -72*v**3 - 6*v**2 + 5*v + 5. Let q(g) = o(g) - 6*x(g). Let u be q(-1). Let b = u - 46. Does 12 divide b?
False
Let v(x) = -26*x**2 - 22*x**2 - 22 + 47*x**2 + 17*x. Does 10 divide v(9)?
True
Let x be (-1 - (-4 - -2)) + -1. Let v = 6 - 2. Suppose 0*c - c + v = x. Is 2 a factor of c?
True
Let c be ((-42)/9)/(10/15). Let a = 10 - c. Is 5 a factor of a?
False
Let j(c) = 57*c**2 + 1. Let d be j(-1). Suppose 4*p - 26 = -g, -5*g - 5*p + d = 3. Is g a multiple of 3?
True
Let n = 0 + 2. Let z(b) = -n - b + 4 - 1. Does 5 divide z(-6)?
False
Suppose o + r = -2*r + 15, 2*r = 5*o + 10. Suppose o = -4*q - 3*l + 153, 3*q + 4*l - 108 + 2 = 0. Does 14 divide q?
True
Let m(g) = -g - 7. Let f be m(-8). Let p be (-6)/f - (7 - 4). Let w(d) = d**2 + 8*d - 4. Does 3 divide w(p)?
False
Let y = -2 + 3. Let z be ((-6)/(-8))/(y/(-44)). Does 11 divide z/(-6)*(0 + 2)?
True
Is 11 a factor of 55*-1*9/(-9)?
True
Suppose 5*f - 6 = 9. Let k(i) be the first derivative of i**3/3 + i**2 - 4*i + 2. Is 4 a factor of k(f)?
False
Suppose 4*b - 148 = -0*b. Let n = -21 + b. Does 8 divide n?
True
Suppose -2*j + 35 = 5. Is j a multiple of 10?
False
Let u = -9 - -14. Suppose -u*w + 31 = -54. Does 6 divide w?
False
Suppose 2*b + 24 = 5*l, -5*l + b = -13 - 9. Does 7 divide -70*(-3)/30*l?
True
Let d be (-4)/(-2) + (2 - 1). Suppose 4*g - 64 = -4*z, 5*g - 13 = -d*z + 35. Let v = z - 4. Does 5