. Is 16 + (w - 3) + -2 a multiple of 5?
False
Let c be 186/4 - 3/(-2). Let r = c + -17. Let l = r + -13. Is l a multiple of 7?
False
Let z = -29 + 30. Let c(t) be the first derivative of 2*t**4 + t**3/3 - t**2/2 + 1. Does 5 divide c(z)?
False
Let s(o) = -o**2 + 3*o - 2. Let z be s(3). Let p be z*(1 + 130/(-4)). Suppose -12 - p = -5*u. Is 15 a factor of u?
True
Let h be -1 + -2 - (-15)/3. Let b be 6/(-4)*(-4)/3. Suppose 5*i = -h*k - b*k + 114, -4*k - 68 = -2*i. Is i a multiple of 14?
False
Let u(j) = 3*j**2 + 2*j - 2. Is u(-5) a multiple of 21?
True
Let n be (-6)/10 - (-1239)/(-35). Suppose 0*x = 2*x - 4*c - 122, 5*x - 323 = 4*c. Let d = x + n. Is d a multiple of 8?
False
Let k(c) = -24*c**3 + 3*c**2 + 3*c + 1. Is k(-1) a multiple of 11?
False
Let m(g) = 3*g + 0*g - 1 - 170*g**2 + 172*g**2. Let c be 20/(-6) + 2/(-3). Does 11 divide m(c)?
False
Let d(x) = 3*x + 3*x + 3 - 2 - x. Is d(7) a multiple of 12?
True
Let r(c) = 2*c**2 - 3*c + 1. Let v be r(2). Suppose -v*s + 6 = -6. Does 4 divide s?
True
Let k(q) = -q**3 + q**2 - 3. Let m be k(0). Is (-48)/(-15)*(2 - m) a multiple of 16?
True
Let p be (-1)/(-4) + (-7)/28. Let u(i) = i**3 + 3. Does 2 divide u(p)?
False
Suppose -6*l = -39 - 21. Is l even?
True
Let j = 27 + -17. Does 5 divide j?
True
Is 17/17 - 190/(-2) a multiple of 24?
True
Let m(c) = c**2 + 10*c - 11. Is 9 a factor of m(-16)?
False
Suppose -4*x + 8 = 2*k, -4*x = -k - k + 16. Suppose 2*t - 3*s = 7*t + 19, 0 = -4*t + 2*s - 2. Let v = k - t. Does 5 divide v?
False
Let g(x) = x**3 - 8*x**2 - 3*x - 4. Does 10 divide g(9)?
True
Suppose 6*t = 3*t. Suppose t = 4*o - 20, -3*c = c + 2*o - 46. Is 5 a factor of c?
False
Suppose -3*x = -w - 2*x, x = -5*w. Suppose -4*u = -g - 13, -5*g - 17 = 4*u - w*g. Is (16/4)/(-1 + u) a multiple of 2?
True
Let u be 2 + (2 - 4) + 2. Suppose 2*v + 29 = 5*w, -w + 24 = -u*v + 3*w. Is 11 a factor of (-1)/v + (-84)/(-8)?
True
Is 26 a factor of 664/22 + (-10)/55?
False
Let b be (-6)/30 + (-258)/10. Let a = -15 - b. Let p = -9 + a. Is p a multiple of 2?
True
Let q be (3 - 20)*(2 - -1). Let s be ((-1)/(-1))/(3/9). Is (-6)/27*s*q a multiple of 16?
False
Suppose 5*k - 15 = 0, -3*z = -0*z + 4*k - 36. Is 8 a factor of z?
True
Let a = 141 + -123. Is a a multiple of 3?
True
Let x = 87 + 4. Is x a multiple of 19?
False
Let y = -4 + 8. Let c be (2 - 0)/((-4)/(-10)). Suppose y*w + 124 = 3*l, -c*l - 3*w + 228 = w. Is 22 a factor of l?
True
Let b(v) = 5*v - 215*v**2 + 222*v**2 + 5 + 0*v. Is b(-2) a multiple of 11?
False
Let p = 23 - 1. Suppose 4*k - a - 2*a + 26 = 0, -6 = 2*k - 5*a. Let b = k + p. Is b a multiple of 5?
False
Suppose 0 = -p - 4*p + 395. Suppose 0 = -3*c + 4*c - p. Does 17 divide c?
False
Let r = 284 + -119. Suppose -5*y + i + r = 0, 6*y + 2*i = y + 150. Is 14 a factor of y?
False
Let z be 21/4 + 4/(-16). Is (-2)/z + 594/10 a multiple of 22?
False
Let x = 30 + 0. Does 15 divide x?
True
Let k(m) = 2*m - 3. Let h be k(4). Let n(t) = 12*t - 6. Is n(h) a multiple of 18?
True
Let o(c) = -27*c + 23. Is o(-4) a multiple of 20?
False
Let d be 2/(-6)*-3 - -2. Suppose -d*h - 280 = -856. Suppose -h = -6*b + b - 3*n, 82 = 2*b - 4*n. Is b a multiple of 11?
False
Suppose k - 6*k - 5 = 0. Does 20 divide (-1 + k)*(-2 - 18)?
True
Let y(l) = 4*l**2. Let v be y(2). Suppose -2*k + 4 = -v. Does 5 divide k?
True
Let o(m) = m**2 + 9. Let g be o(0). Suppose -j = 5*a - 25, 3*j - 4*a - g = -2*j. Suppose t + 5*i - 7 = 2*i, -j*t - 4*i = -90. Is t a multiple of 11?
True
Suppose -50 = -5*g - 5*y, g + 5*y - 10 = 4*g. Suppose -g*n = -3*i, 8*i - 4*i = -3*n. Suppose -4*w = 5*u - 9, 3*u - 31 = 4*w - n*w. Does 5 divide u?
True
Suppose -i = 3*b - 106 - 135, -4*b + 3*i + 304 = 0. Suppose 4*x - 3 - 69 = -v, 5*x = 2*v - b. Does 22 divide v?
False
Let b = -89 + 125. Does 18 divide (1 - 2)/((-2)/b)?
True
Let h = -7 - -4. Let k be (14/6)/(h/(-36)). Suppose b + 2*v - 12 = -1, -2*b - 2*v + k = 0. Is 6 a factor of b?
False
Suppose -74 = -3*w + 4. Suppose 4*r = -2*q + 14 + 14, -w = -q + r. Is q a multiple of 11?
True
Let v = -4 + 5. Let b = v + 1. Suppose -b*x = -28 - 2. Does 9 divide x?
False
Suppose 0*p - p = 8. Let x = -21 - p. Let u = x + 27. Does 9 divide u?
False
Suppose -b = 3*s - 1, 4*b + 3*s + s - 20 = 0. Suppose b*p - 2*h = 2*p + 188, -5*h - 185 = -5*p. Is p a multiple of 19?
True
Suppose 4*v - 2*h - 6 = 0, -2*h = -3*v + 1 + 3. Suppose 3*n - 4*y - 26 = 0, v*n - 3*y - 18 = -0*n. Is 3 a factor of n?
True
Let l be 3 + -3 + 1 + 1. Suppose 67 = l*t + 11. Is 12 a factor of t?
False
Let f(t) = 27*t**3 + t**2 - 3*t + 3. Does 19 divide f(1)?
False
Suppose q - 4*z = 59, -12*q + 10*q - 4*z = -154. Is 14 a factor of q?
False
Suppose 0 = 2*c - 6*c. Let m = c + 15. Suppose 0 = -o + 35 - m. Is o a multiple of 10?
True
Is 18 a factor of (-1 + 0)/((-8)/448)?
False
Suppose 7*j - 30 = 5*j. Is j a multiple of 15?
True
Let y = -3 + 11. Suppose h + 3*h - y = 0. Let z(n) = 3*n**2 - 3*n. Is z(h) a multiple of 3?
True
Let g = 66 - 45. Let s = g + 4. Is s a multiple of 8?
False
Suppose -15 = m + 4*p, 5*m + 223 = -p + 53. Let l = 1 - m. Is l a multiple of 16?
False
Suppose -x - 5*k = 3*x - 126, 5*x + 2*k = 149. Let c = -3 + x. Does 7 divide c?
False
Let j = -161 + 245. Suppose 4*u + j = 6*u. Is u a multiple of 14?
True
Suppose -3*o = 2*o. Suppose -v - 5 = 0, o*v - 60 = -3*z + 3*v. Does 7 divide 46/6 - 10/z?
True
Let u(n) = -5*n + 17. Is u(3) a multiple of 2?
True
Let o(i) = -2*i**3 + i**2 + 2*i - 3. Let v(d) = 2*d**3 - d**2 - d + 2. Let s(w) = 4*o(w) + 5*v(w). Is 26 a factor of s(3)?
True
Let o(v) = -v**2 - 8*v - 8. Suppose -5*h = -11 - 29. Let x = -14 + h. Is o(x) even?
True
Suppose 4*j - 313 = 51. Is j a multiple of 12?
False
Let i = 52 - 3. Let t = i - 29. Is 20 a factor of t?
True
Suppose 2*g = g + 105. Is 15 a factor of g?
True
Let r = 139 + -10. Does 22 divide r?
False
Suppose -3*u + 46 = -80. Let y be 774/u + 6/(-14). Suppose -2*h - h = -y. Is h a multiple of 4?
False
Let m(k) = -177*k**3 - 2*k**2. Is m(-1) a multiple of 35?
True
Let m(a) = 8*a**2 + a + 1. Does 15 divide m(2)?
False
Let p(m) = 9*m**2 + 2*m + 1. Let k = 0 - 0. Suppose k = 5*w + 2*b - 7*b + 10, 4*b = 4. Is 4 a factor of p(w)?
True
Suppose 4*c + 15 = 3*y, 2*c + 2*c - 4*y = -20. Suppose 3*j - 4*b - 121 = -3*b, c = 2*j - b - 79. Is j a multiple of 26?
False
Does 33 divide 2/(-2 + 12) - (-3390)/50?
False
Let t = -54 + 78. Is t a multiple of 4?
True
Let g(h) = -5*h + 7. Let w(o) = -2*o + 4. Let y(s) = -3*g(s) + 7*w(s). Let r be y(-5). Suppose u - 39 = -r*u. Does 13 divide u?
True
Let j(m) be the second derivative of -m**5/20 + 5*m**4/12 - m**3/6 - 2*m**2 + m. Let t be (-1 - -2)/(1/4). Is j(t) a multiple of 8?
True
Let q(d) = -12 + 18 + 2*d + d. Is q(5) a multiple of 16?
False
Suppose -2*f + 7*f - 50 = 0. Suppose 2*w - 46 = -2*n, 0 = n + 3*w - f - 5. Is n a multiple of 8?
False
Let z = -1 + 2. Let r be 2 + -2 + 0/z. Suppose r = -3*y - 3*s + 90, 3*s + 68 = 2*y + 8. Does 15 divide y?
True
Let f(y) = y**3 - 5*y**2 + 4*y + 5. Let u be f(4). Suppose 2*h - u*h = 0. Suppose h = -4*k + q + 52, 2*k + 3*q - 12 = -0. Is 6 a factor of k?
True
Suppose s - 4 = -0*s. Suppose 2*y + 8 = h + 7*y, s*h - y = 11. Suppose 0 = -t - h*t + 16. Does 3 divide t?
False
Let o(s) be the first derivative of s**3/3 - 3*s**2/2 + s - 5. Is o(5) a multiple of 3?
False
Suppose -6*n + 7*n - 45 = 0. Does 15 divide n?
True
Let h(k) = -k**3 - k**2 + 15*k + 5. Is 19 a factor of h(-6)?
True
Suppose -4*q + 0*x - x = -2, 6 = 5*q + 3*x. Suppose 3*p - 8*p + 150 = q. Is 10 a factor of p?
True
Let g(z) = -8*z + 7. Let b(n) = -16*n + 13. Let x be 1 + -1 + (-5 - -1). Let d(o) = x*b(o) + 7*g(o). Is d(2) a multiple of 13?
True
Suppose -w = -2*o + 261, 3*o + w = 452 - 58. Let k = o + -85. Does 16 divide k?
False
Suppose 4*k + 317 = 3*y, y + k = 17 + 84. Is 63 a factor of y?
False
Let k(o) = 5*o - 1. Is k(6) a multiple of 5?
False
Let i = 91 - 43. Is i a multiple of 12?
True
Is (-489)/3*(-1 + (-1 - -1)) a multiple of 50?
False
Suppose 3*i = -91 - 65. Does 13 divide (i/(-10))/((-1)/(-5))?
True
Let w(x) = -x**3 + 4*x**2 - x + 3. Let b be w(4). Let h be (0 - 8)*b/(-2). Let l = 7 + h. Is l a multiple of 3?
True
Is 16 a factor of 16/56 - (-220)/14?
True
Suppose 217 + 47 = 6*c. Is c a multiple of 11?
True
Let r = -18 - -26. Is r a multiple of 8?
True
Suppose -5 = -2*t - 