*5/20 + u**2 + 6*u. Is c(s) a multiple of 7?
False
Let q = 8 + -4. Let j be (-6)/(-7)*(2 - -5). Suppose 50 = q*f + j. Is 4 a factor of f?
False
Let f be (-201)/(-9) - 4/(-6). Let h = f - 12. Suppose 2*w + h = 3*w + y, -5*y = -4*w + 53. Is 12 a factor of w?
True
Suppose 6*n = 136 + 320. Is n a multiple of 10?
False
Let s(w) = -w**3 + 13*w**2 - 12*w - 8. Let p be s(9). Suppose -p = 2*c - 6*c. Let v = -25 + c. Is v a multiple of 16?
False
Let p(i) = 8*i**2 + 6*i + 1. Let d be p(-5). Suppose -7*k + d = -4*k. Is 20 a factor of k?
False
Is (2272/(-12))/8*-3 a multiple of 8?
False
Suppose 5*o - 77 = h, -5*o + 19 + 48 = 4*h. Is o a multiple of 3?
True
Let v(b) = -2*b**2 - 4*b + 5. Let k be v(-4). Let q = k + -6. Let g = q + 26. Is g a multiple of 4?
False
Suppose 432 = 4*h + 4*c, h - 83 = 4*c + 5. Does 26 divide h?
True
Let x(c) = -c**2 + 3*c + 5. Let z be x(-4). Let j(t) = -3*t**3 + 5*t**2 - 4*t + 1. Let q be j(3). Let p = z - q. Does 12 divide p?
True
Let n be 1/(-2)*(-2 - -2). Suppose -3*i + 7*i - 300 = n. Is 19 a factor of i?
False
Let i be 5/(2 + 7/(-3)). Is i/(-1) - (-3 - -1) a multiple of 7?
False
Let d(q) = q**2 + q. Let a be d(-2). Suppose -5*f - a = 2*t - 0*t, -5*f + t = 14. Is (-11)/f + 2/4 a multiple of 5?
False
Let c(s) = s**3 - 6*s**2 + 3*s + 1. Let j be c(5). Let u = 4 - -2. Is 13 a factor of (u/4)/(j/(-228))?
False
Let h(m) = m**3 + 4*m - 6. Is h(4) a multiple of 26?
False
Suppose -5*h + 6*h = 54. Suppose 2*m - h = 24. Is m a multiple of 13?
True
Suppose 5*p - 3*a - a = 17, p = 2*a + 1. Let j be (p - 2) + (-21 - -2). Let h = 31 + j. Is 5 a factor of h?
True
Let g(f) = 7*f**2 + 2*f + 4. Let v be g(4). Suppose -s - v = -5*s. Is 27 a factor of s?
False
Suppose -2*d + 2 = -4*x, -2*x + 0*x + 19 = 3*d. Suppose x*h = 5*h - 72. Does 8 divide h?
True
Suppose -b = -5*z - 60, -z = -0*z + 4*b + 12. Does 3 divide z/(0 + (-6)/4)?
False
Let z(t) = -t**3 - 10*t**2 + 6*t + 8. Does 21 divide z(-11)?
True
Let g(p) = 31*p - 1. Let j be (-1 - 15/(-18))*-6. Is 10 a factor of g(j)?
True
Let d(r) = 8*r - 171. Let w(q) = 3*q - 57. Let n(c) = -4*d(c) + 11*w(c). Does 15 divide n(0)?
False
Suppose -240 = -10*v + 6*v. Let o = -130 + v. Does 11 divide o/(-6) - 8/12?
True
Let t be 1252/20 - (-4)/10. Suppose 2*j + 92 = -3*x, 3*x = -2*x + 4*j - 190. Let r = x + t. Is r a multiple of 16?
False
Suppose -6 = 2*a + 4*o, -2*o = -a - 0*a + 13. Suppose a*i - 4 = i, -4*n + 5*i = -7. Is 4 a factor of 7*1 - (n + 0)?
True
Let w(z) = 58*z**2 - 6*z + 8. Does 38 divide w(2)?
True
Let v = 5 + -3. Let q(z) = z**3 - 3*z**2 + 2. Let w be q(v). Does 24 divide 1/w - (-207)/6?
False
Let r = -10 - -17. Let n(s) = 3*s - 11. Let u(h) = 13*h - 44. Let l(i) = -9*n(i) + 2*u(i). Does 4 divide l(r)?
True
Suppose 2*l + 2*l = 0. Suppose 0 = -5*s - l*s + 30. Let h = -4 + s. Is 2 a factor of h?
True
Suppose 10 = -k - 4*k. Let d be (-4)/5*55/k. Let w = -6 + d. Is w a multiple of 11?
False
Suppose 3*o - 10 = 242. Suppose -z + q = -29, -o = -0*z - 3*z + 2*q. Is 17 a factor of z?
False
Suppose 3*k - 5*w = 70, 7*k - 72 = 4*k + 3*w. Is 5 a factor of k?
True
Let d = -103 - -124. Is d a multiple of 3?
True
Suppose 6*y - y - 2*i - 65 = 0, -y + i = -10. Is y a multiple of 15?
True
Does 31 divide (132/(-10))/(8/(-60))?
False
Suppose -5*b = -25, 4*q - q = -b + 215. Suppose 3*a = 4*y - 5 + 21, 2*y - q = -5*a. Let v = a - 2. Is 5 a factor of v?
True
Let q(s) = 2*s**2 + 2*s + 1. Let b(m) = -3*m + 2. Let c be b(2). Does 19 divide q(c)?
False
Let n = 192 - 97. Suppose -4*h = 3*b - n, -2*b + 5 = -h + 3*b. Is h a multiple of 10?
True
Let j(x) = -x + 3. Let i(v) = v**2 + 7*v - 4. Let c be i(-7). Is j(c) a multiple of 3?
False
Suppose -3 = -5*b - v, -4*b + v = -3*v - 12. Is 6 a factor of (25 + -2)*b + -2?
False
Suppose -2*v + 76 = -2*n, 3*n + 182 - 64 = 5*v. Let c = n - -50. Does 14 divide c?
True
Is ((-6)/5)/(24/(-1840)) a multiple of 23?
True
Let j = 119 + -93. Does 13 divide j?
True
Suppose -10*u = -5*u - 370. Is 19 a factor of u?
False
Let t = 2 - 2. Suppose t*x + 5*x + 195 = 0. Let v = -3 - x. Does 12 divide v?
True
Let y(n) = 5*n - 12 - 4*n - 3. Let a be y(11). Is (-1 - -2)/((-1)/a) a multiple of 4?
True
Let q be (6/(-9))/((-3)/18). Let s(i) = i**3 - 4*i**2 + 4*i - 6. Does 2 divide s(q)?
True
Suppose -a - 16 = -n - 90, 0 = -3*a + 4*n + 218. Is 13 a factor of a?
True
Suppose 0 = 3*m - m - 2. Let a = m - 1. Suppose -p + 4*x + a = -13, 5 = 3*p + 5*x. Is 2 a factor of p?
False
Let a = -10 + 7. Suppose -7*c - 105 = -2*c + 2*h, -3*h = c + 8. Does 12 divide (a - c) + (-4)/(-2)?
False
Let x(j) = j**2 - 15*j + 13. Let y be x(14). Is 27 a factor of (-2170)/(-42) - y/3?
False
Suppose 5*j - 63 + 3 = 0. Does 12 divide j?
True
Let a(h) = -43*h**3 - h**2 - 3*h - 3. Is 8 a factor of a(-1)?
False
Is (-6)/4 + -11*34/(-4) a multiple of 14?
False
Suppose -a - 4*d = -59 + 5, 2*a = -d + 101. Let k = 2 + -2. Suppose a = 4*o - k*o + 3*p, -4*p + 30 = 2*o. Does 9 divide o?
False
Suppose -j + 106 - 8 = -a, -2*a + 92 = j. Does 16 divide j?
True
Suppose 4*r - 53 = -l, 5*l = 2*r - 9 - 34. Does 7 divide r?
True
Suppose 3*n + 4*d - 37 = 0, 4*d = 3*d - 5. Suppose 0 = p - n - 11. Is p a multiple of 15?
True
Let x be 2 - 0 - -5 - 2. Let u = 15 - 15. Suppose u*a = -x*a + 80. Does 11 divide a?
False
Let c(x) = -18*x + 26. Is 41 a factor of c(-7)?
False
Let g be (-4)/(-12) - (-14)/3. Suppose -23 = -g*c + 57. Is 8 a factor of c?
True
Let q(p) = -2*p**3 - 3*p**2 + 4*p + 3. Let b(w) = w**3 + 16*w**2 + w + 13. Let l be b(-16). Does 6 divide q(l)?
True
Suppose 0 = 5*t + 40 - 405. Suppose -f = n - 49, 4*f - 54 = -n + 7. Let m = t - n. Is 11 a factor of m?
False
Let j be 6/4*10/3. Is 13 a factor of 368/j + (-3)/5?
False
Let w(r) = r**3 + 3*r**2 - 3*r - 6. Is w(-3) a multiple of 2?
False
Suppose 10 = 4*b + 2. Suppose -b*i - 2*i = 84. Is 2 a factor of 6/i + 23/7?
False
Suppose -83 = -5*b + 322. Is 4 a factor of b?
False
Suppose 100 = v - b, 0*v = -4*v - 2*b + 430. Is v a multiple of 25?
False
Suppose 0 = g - 5*o, 8*g - 7*g - o = 8. Is g a multiple of 10?
True
Let f(c) = -c**3 - 4*c**2 + 1. Let a be f(-4). Let z(w) = 29*w**3 + w**2. Does 15 divide z(a)?
True
Let d be 2/(-5) + 24/(-15). Let a(k) = 17*k**2 - 2*k - 2. Let w be a(d). Suppose 4*n - 2*q - w = -3*q, 46 = 3*n + 4*q. Is 18 a factor of n?
True
Suppose 0 = 4*j - 4 - 12. Suppose j = 2*s - 2. Does 2 divide s?
False
Suppose 0*h - 5*d = 3*h - 100, 2*h + 3*d = 65. Is h a multiple of 25?
True
Let b = -30 + 42. Suppose 5*h + 0*h + 2*f = b, 2*h - 28 = 5*f. Suppose -1 + 0 = w, h*w = -m + 40. Is 22 a factor of m?
True
Suppose -5*t + 43 = 5*r - 17, 4*r - 3*t - 55 = 0. Is 2 a factor of r?
False
Let j(h) = -9*h**3 - h**2 - 3*h + 5. Let a(z) = 18*z**3 + 2*z**2 + 5*z - 9. Let v(m) = -4*a(m) - 7*j(m). Is 3 a factor of v(-1)?
False
Let i = -15 + 28. Suppose -k + 2*o - 7 = 2*k, -4*k = o + i. Is 14 a factor of (-2)/6*k*48?
False
Suppose c + 2 = -0*m + 2*m, 0 = 4*c + 16. Let j be m + (6 - 0) - 1. Suppose 0 = -r - j + 14. Does 3 divide r?
False
Let h(f) = -7*f - 1. Let v(m) = -10*m - 1. Let o(a) = -7*h(a) + 5*v(a). Let j be o(0). Suppose 0*u - j*u = -18. Is u a multiple of 9?
True
Let b = 43 + -19. Does 6 divide b?
True
Let n(c) = -4*c - 28. Is 4 a factor of n(-9)?
True
Suppose -2*c + 2*x + 8 = 0, x = -c + 2 - 4. Let g(d) = 132*d**3 - d**2 + d. Let r be g(c). Suppose -5*y + 18 + r = 0. Is 15 a factor of y?
True
Let o be (3 - 4) + -1 - -28. Suppose -d = -2*d + o. Does 9 divide d?
False
Let v(x) be the third derivative of x**4/2 - x**3/6 + 3*x**2. Does 10 divide v(1)?
False
Suppose 4*j = -4 - 28. Let o = 29 - j. Does 14 divide o?
False
Let w be 2/10 - 413/(-35). Suppose j + 4*b + w = -0*b, -17 = -4*j - 3*b. Does 4 divide j?
True
Let d be 69/21 + ((-12)/(-14))/(-3). Let q = 3 + -2. Suppose s - 46 = -7*j + d*j, -q = -s + 5*j. Is 13 a factor of s?
True
Suppose 0 = 6*r - 6 - 18. Is r a multiple of 2?
True
Let n(s) = s**3 - s**2 - 5*s - 2. Is 13 a factor of n(4)?
True
Let m(x) be the second derivative of 0 + 1/20*x**5 - 3*x + 1/2*x**4 + 2/3*x**3 - 1/2*x**2. Does 4 divide m(-5)?
True
Suppose -2*b + 8 = 3*i - 2, -2*i = 3*b - 15. Is 5 a factor of b?
True
Let b(q) = -q**3 - 7*q**2 + 7*q - 6. Let h be b(-8). Suppose -5*g = 2*i + h*i - 98, -36 = -2*i + 4*g. Is 2 a factor of i/5 - (-2)/(-5)?
True
Let z(i) = -10*i**3 + i**2 - i + 1. Let