lse
Let o(k) = k**3 - 4*k**2 - 4*k + 7. Does 6 divide o(5)?
True
Let u(r) = -22*r**3 + r**2 - 4. Does 36 divide u(-2)?
False
Let t = 25 + 4. Is t a multiple of 29?
True
Let x = -108 - -53. Let k = -37 - x. Does 9 divide k?
True
Let v be (-9)/3 - -1 - -2. Suppose v = 5*i - 95 - 50. Does 12 divide i?
False
Suppose 3*q = 3*r + 24, 0*q + 3*q - 4*r = 27. Suppose 4*a + 2 = -3*o, a + 9 + 3 = q*o. Suppose 6*w - 72 = o*w. Does 6 divide w?
True
Let i(k) = -k - 1. Let q be i(-4). Let c be (2/(-1) - -3)*3. Suppose w - q*b + c = 0, 5*w - b + 2*b - 65 = 0. Does 6 divide w?
True
Let p(w) = -112*w - 1. Let v be p(-1). Suppose 0 = -3*c + 4*m + v, -4*c - 2*m + 135 = -3*m. Is c a multiple of 12?
False
Suppose -3*b + 6 = -z, 2*z = b + b. Suppose 5*v - 17 = b*y - 0, 0 = -3*v - 4*y + 16. Suppose -5*w + 140 = v*q, -q = 4*w - 5*q - 112. Does 14 divide w?
True
Let s(t) = -t**2 - 12*t - 9. Is 3 a factor of s(-7)?
False
Let g be 6*((-9)/(-3) + -2). Does 3 divide g*-2*(-2)/8?
True
Suppose -d = -71 - 45. Does 29 divide d?
True
Suppose -3*t + 0*t + 10 = 4*o, t = 2*o + 20. Does 5 divide t?
True
Let a = -107 + 195. Does 12 divide a?
False
Is 23 a factor of -674*(-5)/20 + 9/6?
False
Suppose -3*u + 15 = x + 2*x, 0 = -5*x + 4*u - 11. Let w be 1 - 0 - (x - 2). Does 3 divide -2*3/(-2) + w?
False
Suppose 0 = 4*c - 3*c - 82. Is 19 a factor of c?
False
Let b(f) = f**3 + 9*f**2 + 7*f + 12. Does 4 divide b(-8)?
True
Let r(q) = 40*q - 5. Let u(y) = 41*y - 4. Let z(d) = -2*r(d) + 3*u(d). Let f be z(2). Suppose 6*h = 3*h + f. Does 14 divide h?
True
Let f be (1/(-2))/((-1)/4). Let x(w) = 3*w**2 - 4*w - 2. Let v(b) = -b. Let o(k) = -5*v(k) + x(k). Is o(f) a multiple of 7?
False
Let d(z) = z**2 - 4*z + 7. Is 5 a factor of d(7)?
False
Let j(q) = q**3 - 5*q**2 - 6*q + 4. Let k be j(6). Let f(v) = v**3 + 2*v**2 + v. Let z be f(-1). Let l = k - z. Is 2 a factor of l?
True
Let d(c) = c**3 + 9*c**2 + 5*c - 11. Suppose 22 = -2*m + 3*w, 4*m + 5*w = 5*m + 18. Is 9 a factor of d(m)?
False
Let d(t) = -t**2 + 5*t + 3. Does 2 divide d(5)?
False
Suppose -5*r = 3*a - 77 - 17, 0 = r + 3*a - 26. Suppose -2*b + r = -15. Is b a multiple of 9?
False
Suppose -2*k + 15 = k. Suppose k*l - 16 = l. Is l a multiple of 3?
False
Let t(c) = c**3 - 3*c**2 + 3. Is t(4) a multiple of 4?
False
Let j(y) = y**2 - 4*y + 2. Let w = -3 - -11. Let c be (10/(-8))/(2/w). Is j(c) a multiple of 21?
False
Let a(x) = 3*x**3 - 2*x + 1. Let h be a(1). Suppose -t = h*t - 18. Let y = -1 + t. Is y a multiple of 3?
False
Suppose -5*l + 8 = -l. Let x be l/(-5)*(-2 - 3). Is 10 a factor of 43/2 + x/(-4)?
False
Suppose -l + 60 = 4*a, 2*a - 3*l = 6*a - 52. Is a a multiple of 4?
True
Suppose 5*m + 9 + 1 = 0, i = 3*m + 19. Suppose -2*o + 0*o + 82 = 0. Let b = o - i. Is b a multiple of 14?
True
Let p = 148 + -68. Is p a multiple of 20?
True
Let s(n) = -3*n. Let r be s(1). Is 19 a factor of -1 + r/((-3)/68)?
False
Let v(u) be the third derivative of -5*u**6/24 + u**5/60 - u**4/12 - u**2. Let w(t) = -t**2 + t - 1. Let j(k) = v(k) + w(k). Does 9 divide j(-1)?
False
Let k = 94 + 14. Suppose -q = -3*q + k. Suppose -4*r = -16, -5*r + r + q = 2*c. Does 19 divide c?
True
Let s(a) = -a**3 + 7*a**2 - 4*a + 6. Is s(6) a multiple of 3?
True
Let s(o) = 4*o**3 + 2*o**2 - o. Let h be s(1). Suppose 0*f = h*f. Suppose f = 4*u + 1 - 49. Is 10 a factor of u?
False
Let u(k) = k**2 - 12*k + 20. Does 14 divide u(16)?
True
Let q(o) = 12*o - 8. Does 18 divide q(5)?
False
Suppose 0 = -2*u - 5*y + 36, -20 = -2*u - 4*y + 12. Does 4 divide u?
True
Suppose -2*s = -5*q - 75, -40 = 3*q + 5*s + 36. Suppose -2*w + 145 = -7*w. Let r = q - w. Does 6 divide r?
True
Suppose -y + 1468 = 4*f, -f + 2*f - 358 = 2*y. Is 15 a factor of f?
False
Suppose 8*g = 262 + 138. Is g a multiple of 10?
True
Let q(u) = -u**3 - 7*u**2 + 7*u - 5. Let j be q(-6). Let n = -44 - j. Does 13 divide n?
True
Suppose m = 5*m. Suppose 2*h + 4*q - 48 = -2*h, m = -h + 3*q + 16. Is 13 a factor of h?
True
Suppose -3*t + 140 = -t. Does 14 divide t?
True
Suppose 0 = 5*s - 2*s + 297. Let t = s - -141. Is 14 a factor of t?
True
Does 26 divide (-1841)/(-35) - 6/10?
True
Let t(y) = -y**2 - y + 12. Let i be t(0). Let w be (-1)/(29/(-14) + 2). Suppose -j + w = -i. Is 13 a factor of j?
True
Suppose 35 = -4*x - 85. Let p = x - -76. Is p a multiple of 23?
True
Let z(d) = -2*d**2 - 2*d + 1. Let r be 2 + (2 - 2) + -6. Let x(c) = -5*c**2 - 5*c + 2. Let t(n) = r*x(n) + 9*z(n). Does 5 divide t(-2)?
True
Suppose y + 2*y - 3*r = 21, 3*y = -4*r + 21. Is 3 - y/(14/(-102)) a multiple of 18?
True
Suppose -h - 2*q + 88 = 0, 3*q + 2*q = 5*h - 410. Is h a multiple of 21?
True
Let x = -11 + 20. Is x a multiple of 7?
False
Suppose 2*b - 23 = -3*h, b - 2 = h - 3. Suppose -c + 31 = -3*s + 6*s, 0 = h*s - 5*c - 45. Is 5 a factor of s?
True
Let y = -11 - -15. Does 9 divide 2*y/(8/25)?
False
Suppose 4*s - 2*i - 132 = 0, -3*s - 4*i + 56 = -s. Suppose -3*l + 4*l - s = 0. Is l a multiple of 14?
False
Suppose 4*p - 80 = 8. Is 22 a factor of p?
True
Suppose -p + 1 = -h, -5*p - h = -5*h - 6. Suppose 124 = -0*d + p*d. Is d a multiple of 23?
False
Suppose 368 = o + 169. Is o a multiple of 24?
False
Suppose 5 = -4*y + 13. Let q(b) = -b**3 - b**2 + b + 1. Let k(p) = 9*p**3 + 6*p**2 - 7*p - 4. Let j(a) = k(a) + 6*q(a). Is j(y) a multiple of 12?
True
Suppose -4*a - x + 0*x + 37 = 0, 3*x - 39 = -4*a. Suppose 4*p - k + 1 = a, 3*k = -p + 2. Suppose 6*m - 136 = p*m. Does 17 divide m?
True
Let f be 32/(-4 - -8) - 3. Suppose -a - 320 = -5*v, -4*a + a = f*v - 340. Is 11 a factor of v?
False
Let j = 130 - 92. Suppose h = 3*h - j. Is h a multiple of 7?
False
Suppose 0 = -f + 5*f. Suppose -w + 14 = -f*w. Is 5 a factor of w?
False
Let n(i) be the second derivative of -i**4/12 + i**3/6 + 23*i**2/2 + i. Suppose -a = -2*a. Is n(a) a multiple of 13?
False
Is 8 a factor of (-4)/(-10) + 456/60?
True
Suppose 3*p = -3*o - 2*o + 185, -3*o + 5*p + 145 = 0. Is 20 a factor of o?
True
Suppose 2*i + 2*j = 26, 2*j - 71 = -5*i - j. Suppose -i = p - 2*p. Is p a multiple of 4?
True
Let y be (-4)/(-3) + 6/9. Suppose 10 = 2*b - y. Is 6 a factor of b?
True
Suppose 6 = -j - 0. Let v = -5 - j. Is 7 a factor of v + -2 - (-64)/4?
False
Let b = 10 - 7. Let n(k) = -k**3 + 8*k**2 - 4*k + 1. Does 17 divide n(b)?
True
Suppose 4*s = 6*s - 4. Suppose 0 = -s*o + 5*o - 108. Does 20 divide o?
False
Let v(z) = 2*z**2 + 3*z + 1. Let s be v(-2). Suppose -51 = -y - s*o - 2*o, y + 4*o - 47 = 0. Is 12 a factor of y?
False
Suppose -121 = -b - 5*r + 4*r, -596 = -5*b - 2*r. Does 27 divide b?
False
Let x = 22 + -11. Is x a multiple of 3?
False
Let z = 91 - 17. Is z a multiple of 37?
True
Suppose f = -0*f + o + 53, 41 = f - 5*o. Does 14 divide f?
True
Suppose 2 = f - 2*f - 4*t, 0 = -4*f - 4*t + 52. Suppose -4*z - f = -6*z. Is z a multiple of 4?
False
Suppose 0 = i - 0*i - 1. Let p(f) = i + 2*f**2 + 1 - f**2 - 4*f. Is 3 a factor of p(5)?
False
Let m(s) = s + 8. Let p be m(-6). Suppose -p*y - 52 = -4*y. Does 8 divide y?
False
Let y be 192/14 + 4/14. Let x = -10 + 5. Let n = y + x. Is n a multiple of 9?
True
Is 100/3*9/6 a multiple of 10?
True
Let b be 39/(-9) - 4/6. Let l = b + 18. Is 5 a factor of l?
False
Let f(r) = 3*r - 11. Let d be f(11). Let b = d - 7. Is 11 a factor of b?
False
Suppose 5*h = -a - a + 2, 0 = 5*a - 5. Suppose h = -4*d + 44 + 20. Does 8 divide d?
True
Let g be 24/1*(-22)/(-3). Suppose 6*w - g = 2*w. Suppose -z + 3*z - w = 0. Is 11 a factor of z?
True
Suppose -4*q + p - 73 = 31, -4*p = -4*q - 104. Let k(j) = 2*j + 1. Let u(b) = 8*b + 4. Let g(a) = q*k(a) + 6*u(a). Is 12 a factor of g(-9)?
False
Let z(p) = 2*p**2 + 8*p + 6. Is z(-5) a multiple of 16?
True
Let i(s) = s**3 + 6*s**2 + 5*s + 1. Suppose 27 + 0 = -3*b. Let c = b + 5. Is 13 a factor of i(c)?
True
Let m = 9 + -9. Suppose 116 = 5*u + 2*c - m*c, -u = 5*c - 14. Is 8 a factor of u?
True
Let q(t) = t**3 - 4*t**2 - 3*t + 1. Suppose -4*g = l - 18, 4*g = l + 6 + 16. Let p be q(g). Let r = p - -3. Does 4 divide r?
False
Suppose -b - 2*s = b - 10, 3*b = s - 5. Suppose b = 3*z - 1 - 11. Is z/18 + (-304)/(-9) a multiple of 14?
False
Suppose 10 = 2*g + 3*w, -12 = -5*g - 4*w + 6. Suppose 2 = g*v - v. Suppose -7*i + 210 = -v*i. Is 21 a factor of i?
True
Suppose c - 21 = -0*c. Does 7 divide c?
True
Let q = 83 - 69. Is q a multiple of 3?
False
Let w(q) 