 l a multiple of 10?
False
Let c(b) = b**3 + 4*b**2 - b + 1. Let p be c(-4). Let h be (-2)/p - (-54)/10. Suppose -3*r - m + 49 = 0, -2*r = -7*r + h*m + 95. Is r a multiple of 6?
False
Let n(w) = -2*w + 22. Let m be n(10). Suppose -43 = -m*t + 39. Is t a multiple of 10?
False
Suppose 5*i - 205 = -5*y, 2*y - i - 61 = 4*i. Is y a multiple of 19?
True
Suppose 2698 = 9*k + 10*k. Is 14 a factor of k?
False
Let m = -80 - -112. Does 24 divide m?
False
Suppose -2*k + 7*k - 445 = 0. Is 14 a factor of k?
False
Let o(y) = y**2 - 5*y + 8. Does 11 divide o(-4)?
True
Let s(z) be the first derivative of -z**2 + 4*z - 1. Does 4 divide s(-4)?
True
Let a = 125 + -64. Is a a multiple of 32?
False
Suppose 15 = 3*y - 0*y. Suppose 4*t + 27 - 217 = -y*s, 0 = 3*s - t - 114. Let o = s + -21. Is o a multiple of 8?
False
Let n(s) = -s**2 - 7*s + 10. Let i be n(-8). Does 2 divide i - 0 - (-1 - -1)?
True
Let y(c) = 2*c**3 - 4*c**2 - 5*c + 3. Let a be y(4). Suppose -2*x + a = -25. Does 18 divide x?
True
Suppose 149 = -2*x + 5*j, -5*j - 129 = 2*x + 30. Let c = x + 113. Is 18 a factor of c?
True
Let c = -87 - -194. Is c a multiple of 20?
False
Suppose -2*c + 99 = c. Suppose 116 = 4*k - 2*x, -4*k - 4*x = -107 - c. Does 11 divide k?
False
Suppose 0 = 5*b - 472 + 82. Is b a multiple of 26?
True
Suppose 0 = -3*v + 57 + 111. Let j = -10 + v. Suppose 92 = 4*t - 3*b, 4*t - b = j + 54. Is t a multiple of 13?
True
Let m(l) = l**2 + 18*l - 17. Let u be m(-17). Let g = 68 + u. Does 17 divide g?
True
Suppose -105 = 2*l + 3*l - 4*v, 0 = 4*l + 5*v + 43. Suppose -241 = -5*o - 41. Let n = l + o. Is 16 a factor of n?
False
Suppose 39 = u - 2*u. Let l(x) = 4*x. Let r be l(-18). Let i = u - r. Does 11 divide i?
True
Is (-1 - -10) + 0 - (-76)/(-38) a multiple of 2?
False
Suppose -2*d - 275 = -y, -d + 268 = y + 4*d. Is y a multiple of 39?
True
Let n = 60 + -4. Is n a multiple of 28?
True
Let u(j) = -6*j + 3. Let l(q) = 7*q - 3. Let i(m) = -6*l(m) - 5*u(m). Let g be i(-3). Let v = g + -10. Is 15 a factor of v?
False
Let a = 16 - -30. Does 17 divide a?
False
Is 5/((-20)/(-16)) - 1*-29 a multiple of 23?
False
Let w = -39 - -28. Let k be ((-12)/15)/(2/(-40)). Let i = k + w. Does 3 divide i?
False
Let l(c) = 28*c + 1. Let r be l(2). Let m = r - 16. Is 16 a factor of m?
False
Suppose d + 4*d - 190 = 3*u, -5*d - 3*u = -220. Is 26 a factor of d?
False
Let q be (-32)/6*42/(-4). Let n = q - 20. Is n a multiple of 23?
False
Suppose 3*b = 4*g + 195 - 690, -g + 126 = -3*b. Let w = g + -79. Is 11 a factor of w?
True
Suppose 3*m - 15 = -5*l + 4, 3*l + 6 = 4*m. Does 9 divide (-3)/4*l*-6?
True
Let u(y) = -18*y + 1. Let r be u(-2). Let d be (40/10)/(8/6). Suppose r = d*m + 5*c, m + c + 2*c = 19. Is m a multiple of 4?
True
Let o(b) = 6*b**2 - b - 2. Let u be o(2). Let d be (2 - (-2)/2) + (0 - -1). Suppose -d*r + 36 = -u. Does 14 divide r?
True
Let p be 16/(-2) - (1 + -3). Let q(z) = z**3 + 5*z**2 - 7*z - 2. Let t be q(p). Let y = 10 - t. Does 5 divide y?
False
Suppose 0 = -2*l - 0*l + 6. Suppose -3*g - 67 = -3*r + r, 0 = l*g - 3. Is r a multiple of 35?
True
Let w = 31 + -3. Is 94*(-3 + w/8) a multiple of 11?
False
Let x(w) = -5*w - 4. Let n be x(-9). Let j = -1 + n. Suppose j = 4*f + f. Is 4 a factor of f?
True
Let a(l) = -l**3 + 5*l**2 - 5*l + 1. Suppose 2*s + 5 = 3*o + 25, -s + 5*o = -24. Let k be a(s). Does 14 divide (-6)/(-9) - 82/k?
True
Let x be (1 - 4)/((-4)/8). Let o(j) = 2*j**2 - 2*j - 5. Is o(x) a multiple of 14?
False
Suppose -3*i + 60 = i. Is 5 a factor of 4/3*i/2?
True
Let f(r) = -4*r - 4. Suppose 3*n = 2*i - 9, -3*n = -4*i - 2 + 11. Suppose -2*z + 4 = i, -5*p + 2*z - 27 = -8. Is f(p) a multiple of 6?
False
Suppose 5*q = 2*q + 63. Is 4 a factor of q?
False
Let b be ((-6)/(-6))/((-1)/65). Let w = -22 - b. Is 11 a factor of w?
False
Let k(j) = -j**2 + 4*j - 1. Let s be k(3). Suppose -6 = -s*g - 2*z + 3*z, 4*z + 4 = 4*g. Suppose 3*x = -2*w - 15 + 54, 0 = -g*x - w + 65. Is x a multiple of 8?
False
Let v be -1 + -1 + 1 + -15. Suppose -3*d + 0*d = -126. Let f = v + d. Is 13 a factor of f?
True
Let b be (-2)/6 - 122/(-6). Let p be ((-6)/(-5))/(6/b). Let m = 3 + p. Is 7 a factor of m?
True
Let l = 3 - 0. Let c(o) = 2*o + l*o - 4*o + 10 - o**2. Does 8 divide c(0)?
False
Suppose -3*p = 3*p - 192. Does 15 divide p?
False
Suppose 4*t - 134 - 46 = i, -2*i + 146 = 3*t. Does 23 divide t?
True
Let r be 2/(-10) - 2/(-10). Is 16 a factor of -16*(-3 + r)/3?
True
Let v(w) be the second derivative of 7*w**4/12 - 2*w**3/3 + w**2 + w. Is v(3) a multiple of 21?
False
Let y be (18/4)/((-3)/16). Let k = 51 + y. Is k a multiple of 10?
False
Let d(q) = q**3 - 5*q**2 + 3*q. Let t be d(2). Let v(b) = -b**2 + 6 - 2 - 48*b + 4 + 37*b. Is v(t) a multiple of 19?
True
Suppose -4*y + 138 = -98. Is 18 a factor of y?
False
Let l be 24/9 - (-2)/6. Suppose 2*t = l + 3. Suppose t*r = -2*r + 30. Does 6 divide r?
True
Let w(d) = d**3 + 9*d**2 - 5*d + 3. Is w(-6) a multiple of 47?
True
Let k(c) = -7*c + 7*c - 6*c + 10 - c**2 - 7*c. Is 12 a factor of k(-11)?
False
Let j be (-1 + 2)/((-3)/18). Let h be (j/2 - -2)*-26. Let o = 18 + h. Is o a multiple of 22?
True
Let x(g) = g - 49. Let m(a) = a - 48. Let q(s) = -7*m(s) + 6*x(s). Is 11 a factor of q(17)?
False
Let g = 40 + -8. Is 16 a factor of g?
True
Suppose 5*a - 865 = -2*z - 180, 2*a - 303 = 5*z. Let v = a - 93. Suppose -4*n - b + 31 = -4, -v = -5*n - 2*b. Is 8 a factor of n?
True
Let b = -33 + 26. Let g(v) = -v**3 - 6*v**2 + 4*v - 7. Does 10 divide g(b)?
False
Let h = 58 - -87. Does 43 divide h?
False
Let r = -7 - -9. Suppose 2*d = 2*v + 16 + 2, -4*v = r*d - 42. Does 12 divide d?
False
Let g(d) = -3*d**3 - 17*d**2 + 3*d + 6. Let w(y) = 5*y**3 + 26*y**2 - 5*y - 9. Let i(p) = -8*g(p) - 5*w(p). Is i(6) a multiple of 3?
True
Let l(r) = r**3 - r**2 - r + 4. Suppose 3*c + 2*c - 15 = 0. Is l(c) a multiple of 16?
False
Let r(b) = b**3 + 3*b**2 - 2*b - 1. Let g be 12/(-8)*8/(-6). Suppose -2*h - 18 = -3*k - g*k, 4 = -2*k - 2*h. Is r(k) a multiple of 9?
False
Let z(o) = 141*o**2 - 2*o + 2. Is 25 a factor of z(1)?
False
Let i be (4/12)/(2/258). Suppose 5*f + i = 3*b, -3*f - 5 = -2*f. Is 6 a factor of b?
True
Let d be 5 - 4 - (-8 + -1). Let y = 28 - d. Is y a multiple of 6?
True
Suppose -2 = 4*d + 18, d = j - 12. Is j a multiple of 4?
False
Suppose -67 - 5 = 4*z. Let i = 26 + z. Does 8 divide i?
True
Suppose 4*g = 3*z + 26, 0 = 2*z - 3*g - 2*g + 15. Does 4 divide (-10)/(-50) + (-98)/z?
False
Is 20 a factor of (-24 + -3 + 1)/((-6)/21)?
False
Let i(k) = k**2 - 16*k - 14. Is i(19) a multiple of 22?
False
Suppose -2 = -4*u + 2. Is ((-57)/(-6))/(u/6) a multiple of 24?
False
Suppose 2*g - 3 + 9 = u, -u + 3*g + 10 = 0. Let w(l) = l + 4. Let k be w(u). Suppose -2*s - 14 = -k*t, -6*t + 3*s = -5*t + 1. Does 4 divide t?
False
Suppose -3*m - 3*f + f = -154, 160 = 3*m + 5*f. Suppose 5*y - 15 = 0, 3*d - m = -d + 2*y. Does 3 divide d?
False
Let x(r) = r**3 + 7*r**2 - 3*r + 4. Is 25 a factor of x(-7)?
True
Let k be 3/(18/(-69))*-2. Suppose 3*c - 16 = y - 3, -2*y = -5*c + k. Suppose -96 = c*w - 7*w. Is w a multiple of 9?
False
Let j = -33 - -63. Is 15 a factor of j?
True
Let u(l) = -6*l**3 + l**2 + l + 1. Let g be u(-1). Let n be (-191)/g + 6/21. Is (n/(-6))/((-6)/(-8)) a multiple of 3?
True
Let q be (-46)/6 + 4/6. Let r = 37 - q. Does 15 divide r?
False
Let x = -11 - -20. Suppose -2*o + x = -23. Suppose -4*a - 4*d - o + 136 = 0, -5*d - 74 = -2*a. Is a a multiple of 17?
False
Suppose 6*b = 751 - 181. Does 19 divide b?
True
Let g = 9 - 7. Suppose i + 42 = g*i. Is 13 a factor of i?
False
Suppose -3*q - 3*t + 42 = 0, 0*t + 4*t = 4*q - 24. Let a = q - 6. Let p = a - -12. Is p a multiple of 6?
False
Let a(s) = s**3 + 10*s**2 - s + 2. Let r be a(-8). Suppose 3*c - 38 = 2*c - 2*p, 5*c - r = 3*p. Is 24 a factor of c?
False
Let a = -2 - -3. Let l be a/(-5) + 130/25. Suppose 5*o = -2*s + 29, -s + o = l - 30. Does 11 divide s?
True
Suppose -5*f - 7 = -3*h, 3 - 27 = -5*h - 4*f. Suppose 0 = 4*w, 2*w + h = -x - 0*w. Is 4 a factor of (-4)/2*(x - 0)?
True
Let m = -1 + 3. Suppose -130 = -7*u + 2*u - 4*o, -m*u - 2*o + 50 = 0. Is u a multiple of 15?
True
Let f(j) = j**3 + 7*j**2 + 3. Let n be f(-7). Suppose 0 = n*k - 7*k + 8. Is 15 a factor of -2 - 4/k*-19?
False
Suppose 3*b = 5*c - 5, 5*b - 1 = 4*c - 5. Suppose -2*x = f - 5*x + c, -5*f +