 v(r) = r + 42. Let f be v(0). Suppose -2*i - 2*b + f - 10 = 0, 0 = -3*i - 2*b + 53. Suppose -i = -3*t + 18. Does 13 divide t?
True
Is 3 a factor of (4 + 1)/(1/2)?
False
Let b(r) = -11*r**2 + 3*r + 5. Let s(n) = -6*n**2 + 2*n + 3. Let a(h) = -3*b(h) + 5*s(h). Let y be a(-1). Suppose -u + y*u = 18. Is 10 a factor of u?
False
Let x(b) be the third derivative of b**5/30 + b**4/24 + b**3/3 + 6*b**2. Is 2 a factor of x(-2)?
True
Let o(w) = -w**3 - 5*w**2 - 8*w + 2. Is o(-6) a multiple of 28?
False
Suppose 2*o - 10 = -3*o. Let m be -54*o/(-12)*-3. Does 6 divide (10/3)/((-6)/m)?
False
Let l(q) = -q - 11. Is l(-16) a multiple of 2?
False
Suppose 0 = 4*a - 21 + 53. Suppose -2*q - 2*q + 48 = 0. Let c = q + a. Is c a multiple of 4?
True
Let x(z) = 2*z**3 - 3*z - 4. Let r be x(3). Let i(g) = -g**2 - 8*g + 3. Let w be i(-4). Suppose r + w = 4*k. Is k a multiple of 15?
True
Let i(m) = 2*m**3 - m**2 + 3. Suppose 0 = -5*g + 4*b + 3, -4*g + 18 = 3*b - 3. Does 10 divide i(g)?
False
Let b be (-1 - 3)/((-8)/20). Is 14 a factor of 145/b*(2 - 0)?
False
Let y(a) be the first derivative of -a**3/3 - 5*a**2/2 + 6*a + 3. Let i be y(-5). Suppose 2*c - 4 = i. Does 5 divide c?
True
Suppose -2*t + 4*u = -54, -2*t + 4*t - 2*u = 58. Does 14 divide t?
False
Suppose -w + 4*z - 499 = -4*w, 0 = -3*w - 3*z + 501. Is 21 a factor of w?
False
Let o(v) = v**3 - 12*v**2 + 6*v - 11. Let r be o(12). Suppose 3*l - 220 = -r. Suppose l - 1 = 4*m. Is m a multiple of 13?
True
Suppose 0 = 2*c - 16 - 34. Let f = c + -16. Does 3 divide f?
True
Let o(p) = -p. Let t(h) = -17*h + 9. Let v(q) = 6*o(q) - t(q). Does 19 divide v(6)?
True
Let m be (-20)/8 + (-2)/4. Let y be (4/m + 1)*-6. Is 5/(-10) + 41/y a multiple of 10?
True
Suppose 2*b = -3 - 5. Let r(q) = q**3 + 7*q**2 + 4*q - 3. Is r(b) a multiple of 11?
False
Let x be 4/5*20/8. Let y be (-9)/(-6) + x/4. Suppose 0*j = y*j - 36. Is 9 a factor of j?
True
Let k = -11 - -13. Is (-9)/(-18) - (-17)/k a multiple of 3?
True
Let k = 4 + 0. Suppose -5 = k*t - 17. Suppose 5*l - 130 = x - t*x, 3*l + 2*x - 82 = 0. Is 12 a factor of l?
True
Let j(c) = c**3 - 3*c**2 - 4*c + 2. Let g be j(4). Suppose -11 = 2*x - 19. Does 8 divide (x/(-2))/g - -23?
False
Let u = -5 - -7. Suppose u*z + 68 = 3*z. Does 17 divide z?
True
Let k(q) = q**3 - 5*q**2 + 2*q - 7. Let d be k(5). Suppose -d*b + 58 = -11. Is 16 a factor of b?
False
Suppose 0 = -l - 2*l + 207. Suppose 5*z = 151 + l. Is z a multiple of 20?
False
Suppose 0 = j - 2*j + 24. Suppose b - j = -2*u, 0*u = -5*b + 3*u + 133. Is 13 a factor of b?
True
Let c = -33 + 55. Let m = c - 11. Is m a multiple of 9?
False
Let i(g) = -2*g**2 + 7*g - g**2 + 2 - 9 + 2*g**2. Let w be i(5). Is (-1 - (6 + w))/(-2) a multiple of 4?
False
Is 0/7 + 379 - (5 - 2) a multiple of 47?
True
Let w(h) = h**3 - 6*h**2 + h - 3. Let m be w(6). Suppose 3*p = v + 22, -3*p - 4*v = -m*v - 20. Is 3 a factor of p?
False
Suppose -k + 3 = 0, k - 6*k + 85 = 5*c. Suppose 1 = -p - 13. Is 5 a factor of (-4)/c + (-214)/p?
True
Let b(k) = -5*k + 0 - 1 + 0. Let f be b(-1). Does 7 divide 57/f - (-6)/(-24)?
True
Let d be (-8 - -1)*(-4 - -1). Let f = -7 + d. Let i = 39 - f. Is 15 a factor of i?
False
Let i = 18 + -8. Is i a multiple of 10?
True
Suppose 5*w = h + 35 + 58, 2*w - 3*h = 32. Suppose 17 = j - 22. Let y = j - w. Does 6 divide y?
False
Let h = -174 - -259. Is h a multiple of 24?
False
Let y(s) = 6*s - 9. Let k(z) = 5*z - 8. Let n(b) = 3*k(b) - 2*y(b). Let j be n(6). Is 10/(-25) - j/(-5) even?
True
Suppose 0*h + 2*h + 5*n - 22 = 0, -5*h + 2*n = -26. Does 2 divide h?
True
Suppose n - 56 = 4*a, a + 179 = 4*n - n. Suppose 2*l = -3*l + n. Does 6 divide l?
True
Let z(u) = 11*u**2 + 2*u + 1. Does 10 divide z(-1)?
True
Is (-22)/(-5) + 6/(-15) a multiple of 2?
True
Let z(v) = -12*v + 49. Does 6 divide z(-6)?
False
Suppose 0 = 6*k - 5*k - 190. Is k a multiple of 13?
False
Suppose 2*d + 22 - 2 = 0. Let u(p) = p**3 + 10*p**2 - 2*p - 5. Does 3 divide u(d)?
True
Suppose -2*b = -4*i - 34, i + 3*b = 2*i + 16. Let k = 13 - 8. Let g = k - i. Is 6 a factor of g?
True
Let x(h) = -h - 6. Let b be x(-8). Let p be 2/6 - 2/6. Does 9 divide b + p - (3 + -24)?
False
Suppose -d - t + 8 = -13, -t - 64 = -4*d. Suppose 4*z - d = 3*z. Is 5 a factor of z?
False
Let r(c) = -c**3 - c**2 + c - 28. Let s be r(0). Let y = -18 - s. Let u = 0 + y. Is u a multiple of 5?
True
Suppose -4*x = -4*a - x + 110, 4*x = 3*a - 86. Does 13 divide a?
True
Suppose 4*a - 500 = -5*v, -5*v + a + 515 = 2*a. Is v a multiple of 26?
True
Suppose -4*y = -915 + 147. Does 12 divide y?
True
Let w be (-27)/3 + 3/(-3). Does 20 divide (24/14)/(w/(-420))?
False
Let g = 11 - 6. Suppose 0 = g*b - 3*b + 2. Does 7 divide 6 - (3 + b - 4)?
False
Let w = 21 + 0. Does 5 divide w?
False
Let h = 20 + -32. Is h/66 - (-290)/22 a multiple of 6?
False
Let h(z) = 7*z + 3. Let k be -6 - 1*(1 - 4). Let s be h(k). Is ((-132)/s)/(1/3) a multiple of 11?
True
Let v(s) be the first derivative of -2*s**3 - 4*s + 5/2*s**2 - 3 - 1/4*s**4. Is v(-7) a multiple of 4?
False
Let t(h) = 9*h - 7. Let d be t(5). Suppose 4*b - 90 - d = 0. Is b a multiple of 19?
False
Let n(u) = -6*u - 9. Let m be n(-6). Suppose -2*q + 5*k + 78 = -q, -3*q + 144 = 3*k. Let s = q - m. Does 13 divide s?
True
Let h be 1/(-2) - 13/(-2). Suppose 0 = h*t - 3*t - 12. Does 12 divide ((-6)/t)/((-1)/16)?
True
Let u be (-8)/(-6)*(-3)/(-2). Suppose -5*w + 15 = -d, 0 = -3*d - u*d - 2*w + 60. Suppose 5*m - 25 = -d. Does 3 divide m?
True
Let c(t) = t + 12. Does 2 divide c(-10)?
True
Let c = -1 + 11. Does 2 divide (15/c)/(6/8)?
True
Let p = 42 + -30. Is p a multiple of 4?
True
Suppose -13 = -2*v - 5. Suppose r - v*t + 11 = 0, r + t + 7 = 4*t. Is 5 a factor of r?
True
Let m(n) = -n + 12. Let u be m(10). Suppose 0 = u*v + v - 6. Suppose -4*c + v*c + 18 = 0. Is c a multiple of 3?
True
Let p = 208 - 125. Is 13 a factor of p?
False
Is 29 a factor of -2*2/32 - (-562)/16?
False
Is 6/15*10 - -300 a multiple of 43?
False
Let i = 164 + -155. Is i a multiple of 3?
True
Let y(l) = 4*l**2 + l. Let c(f) = f**2 + 6*f + 6. Suppose -3*p = -4*p - 5. Let n be c(p). Is 5 a factor of y(n)?
True
Let i be (-3 + 3)*2/4. Suppose 2*r - 15 = 3*b + 3, 0 = 3*r - 5*b - 28. Suppose i = w - 25 + r. Is 5 a factor of w?
False
Suppose y + 3*y + 8 = 0. Let c = 14 + y. Is 7 a factor of c?
False
Suppose 8*f = 6*f + 128. Does 11 divide f?
False
Suppose -3*v + v - 222 = 0. Let j = -24 - v. Suppose j = 3*m - 5*d, 4*m - m - 69 = -d. Does 9 divide m?
False
Let f(v) be the first derivative of v**7/60 - v**6/360 + v**4/24 - v**3/3 + 1. Let y(z) be the third derivative of f(z). Is y(1) a multiple of 14?
True
Suppose 3*f = -2*f + 10. Suppose -3*a = -f*k + 136, -5*k + 285 = -a - 29. Does 23 divide k?
False
Suppose -3*o + c = -18, -2*c - c - 30 = -5*o. Let m = o + -2. Suppose -m*a = a - 75. Does 15 divide a?
True
Let n(q) = -1 + 0 + 6*q + 6*q - 5. Is n(4) a multiple of 14?
True
Suppose o - 145 = -5*g, 0 = -5*o - 2*g + 80 + 530. Suppose -4*x = -o - 4. Is x a multiple of 12?
False
Suppose 17 = 3*m - 5*k, -m + k + 9 = -4*k. Suppose 28 = v + w, m*w = 3*v + v - 128. Does 10 divide v?
True
Let s(i) = 2 + 2 - 6*i**2 + 2*i**2 + 5*i**2. Is s(-3) a multiple of 13?
True
Suppose 3*r - 82 = -7. Is r a multiple of 12?
False
Let i(c) = 2*c + 1 + 0*c + 5*c**2 + c**2. Suppose -4*v - 5*p = -1 + 4, -2*v + 3*p = 7. Does 11 divide i(v)?
False
Is 21 a factor of -8 + 5 - (3 - 111)?
True
Suppose 5*y - 33 = 32. Does 13 divide y?
True
Suppose 0 = 5*s + 3 - 18. Suppose 3*l - w = 149, -3*w + 114 = -l + s*l. Does 12 divide l?
False
Let n = -155 - -218. Does 9 divide n?
True
Let w = -17 + 33. Suppose 5*p = p + w. Suppose -5*l + 37 = 3*s, s + 27 = 3*l + p*s. Is l a multiple of 3?
False
Let q = 10 - 12. Let a(n) = -12*n**3 + 2*n**2 + 2*n + 2. Let d be a(q). Let c = d - 72. Is c a multiple of 17?
False
Let w be (-3)/(-6) - (-118)/(-4). Let g = -18 - w. Is 5 a factor of g?
False
Suppose u - 3 = -4*m, -3*u - 2*m - 4 - 17 = 0. Let k = 17 - u. Let z = k - 18. Does 4 divide z?
True
Let m(w) = -27*w - 2. Let d be m(-6). Suppose -5*y - 45 = -d. Is y a multiple of 7?
False
Let p = -6 - -16. Is p a multiple of 5?
True
Let g(i) = i - 18. Let c be g(8). Is 13 a factor of (-195)/c*(-2)/(-3)?
True
Let p = -27 - -52. Is p a multiple of 3?
False
Suppose -x = 4*o - 100 - 55, 0 = -3*o +