lse
Let r(z) = -z**2 + z - 16. Let u be r(0). Let d be (u/2)/(-2) - -2. Let k = d + 0. Does 6 divide k?
True
Let b = 55 - -105. Suppose 17*t = 15*t - b. Is (-5)/2*288/t a multiple of 4?
False
Let s(y) be the third derivative of -1/4*y**4 + 0*y + 2/3*y**3 + 3*y**2 + 1/120*y**6 + 0 + 3/20*y**5. Does 16 divide s(-9)?
False
Let v(h) be the first derivative of -h**4/24 + 5*h**3/6 + h**2/2 - 8. Let b(k) be the second derivative of v(k). Is b(0) even?
False
Suppose 18*v = 14*v + 8, -2230 = -2*z + 5*v. Does 28 divide z?
True
Let u(l) = -l**3 - 11*l**2 + 10*l + 12. Suppose 0 = -14*n + 4*n - 120. Is u(n) a multiple of 9?
True
Suppose -9 = 3*w + 18. Let u(t) = -10*t. Is 37 a factor of u(w)?
False
Let h(g) = g**3 + 6*g**2 - 7*g + 10. Suppose u - 2 = 2*u. Let j(o) = -o**2 - 3. Let x be j(u). Is h(x) a multiple of 3?
False
Let t(x) = x**2 - 18*x - 17. Let v be t(19). Suppose -3*z = u - 369, 3*u + v*u + 473 = 4*z. Is z a multiple of 16?
False
Let z be -2 + 299/(-2) - (-3)/2. Let t = -103 - z. Is 10 a factor of t?
False
Is 34 a factor of (10/(-5) - -1)*1 + 562?
False
Suppose -4*s + 5*p - 420 = 0, -s + 3*p = 2*p + 104. Let g = s + 139. Is g a multiple of 13?
True
Let g = -174 - -242. Does 18 divide g?
False
Let k(f) = 19*f**2 + 1 + 0 + 1 + 18*f - 17*f. Let z be k(-1). Suppose 0 = u - 23 - z. Is 14 a factor of u?
False
Suppose 52*c - 2828 = 45*c. Is c a multiple of 69?
False
Let v(r) = r**2 + 7*r - 7. Let p be v(-8). Is 56 a factor of -224*p*2/(-4)?
True
Suppose -5*w - 304 = -1459. Is w a multiple of 7?
True
Suppose 2*u - 302 - 512 = 0. Is 63 a factor of u?
False
Let r(k) = -4*k**3 - 29*k**2 - k + 4. Does 28 divide r(-8)?
False
Let l(w) = -388*w - 2. Is 24 a factor of l(-1)?
False
Suppose 0 = 3*n - 4*m - 153, -102 = 4*n - 6*n + m. Is n a multiple of 3?
True
Let h be (5/(15/(-9)))/(-1). Suppose -y + 28 = -4*v, 3*y + 4*v - 20 = 2*y. Is 8 a factor of ((-8)/h)/((-2)/y)?
True
Let y = -1153 - -1981. Suppose 341*j + y = 343*j. Does 39 divide j?
False
Suppose -5*u = -12*u + 3115. Is u a multiple of 5?
True
Suppose -4*q + 12 = 0, -5*q + 0*q + 5 = -5*r. Let v(t) = -1 + 0 + 31*t**r - 28*t**2 + 5*t. Does 28 divide v(4)?
False
Let u be (3 + (-14)/6)*-30. Let l = -49 - u. Let g = 57 + l. Is 6 a factor of g?
False
Let l(j) = -j**3 + 12*j**2 + 6*j - 11. Is l(11) a multiple of 44?
True
Suppose 5*v = -0*v + 75. Suppose -a - 4*q - 6 + v = 0, -5*a = -2*q - 23. Suppose 4*h + 63 + 65 = a*z, 16 = z - 4*h. Is 16 a factor of z?
False
Suppose -4*s = -766 - 1382. Is s a multiple of 36?
False
Let m(s) = 790*s + 76. Is 12 a factor of m(2)?
True
Let a(o) = o**3 + 8*o**2 + 4*o + 18. Let f be a(-8). Let g be f/(-10) + 48/80. Suppose -v = -g*v + 56. Is v a multiple of 14?
True
Let p(l) = 360*l**2 + 2*l + 2. Is p(-1) a multiple of 30?
True
Is 32 a factor of 767/4 + 57/228?
True
Let g(a) = -a**3 + 8*a**2 - 3*a + 15. Let z be g(8). Let o = z - -159. Is o a multiple of 25?
True
Let q(t) be the third derivative of -t**6/120 + 2*t**5/15 - 5*t**4/12 - 7*t**3/6 + 3*t**2. Suppose -13*c + 64 = -1. Is q(c) a multiple of 9?
True
Suppose -16*b - 4 = -36. Suppose b*c - 45 = 9. Does 2 divide c?
False
Let y(q) = -697*q + 247. Is 156 a factor of y(-6)?
False
Let y(z) be the first derivative of 2*z**4/3 - z**3/3 - z**2/2 + 11*z + 2. Let o(w) be the first derivative of y(w). Does 17 divide o(2)?
False
Suppose 0 = 4*x - 2213 - 603. Is 11 a factor of x?
True
Let f(p) = -p**2 - 7*p - 5. Let i be f(-9). Let c = i + 57. Let o = c - 11. Is 10 a factor of o?
False
Suppose -23*y + 4482 = 618. Is 37 a factor of y?
False
Suppose 4*w + 4 = -4. Let t be w/(-6) + 371/21. Suppose -3*u + t = 4*i - 44, 0 = 3*u + 2*i - 58. Is u a multiple of 18?
True
Suppose 0*q - 6 = 3*q. Let l be (80 + 4/2)/q. Let v = l + 67. Is 13 a factor of v?
True
Let d = -4 + 9. Suppose 0 = -d*c - 3*j + 1 + 22, c - 5 = -j. Suppose -3*x = 4*p - 53 - 6, 3*p + 62 = c*x. Is 17 a factor of x?
True
Let m be 0/(-3*(-3)/9). Suppose -4*q + 5*i + 45 = -m*i, -2*q + 35 = -5*i. Let h(y) = y + 7. Does 4 divide h(q)?
True
Let d be (-2)/7 - (-116)/14. Let y be 4/(-1*d)*8. Does 8 divide (-9)/6 - 122/y?
False
Let u = -1113 - -2352. Is 87 a factor of u?
False
Let c = 703 + -492. Let o = c - 115. Is o a multiple of 17?
False
Suppose 4*y + 5*i - 5 = 0, -3*y = -y - 4*i - 22. Suppose -5*u + y = 0, -2*z + 4*u - 264 = 2*z. Let s = -39 - z. Is 13 a factor of s?
True
Let y = 18 - 21. Let h be ((-26)/y)/((-8)/(-60)). Suppose 5*z - h = -0*z. Is 13 a factor of z?
True
Suppose 5*a + 29 = -0*r - 2*r, -5*r - 3*a = 44. Let w(o) = 2*o**2 + 12*o + 5. Is 10 a factor of w(r)?
False
Suppose 4*x - 42 = 2*x. Let j = x - 57. Let r = j + 53. Is 17 a factor of r?
True
Suppose 0 = 24*c - 943 + 319. Does 3 divide c?
False
Does 67 divide 4*6/(-60) - (-18774)/35?
True
Let h be (10/25)/(2/140). Suppose 5*p = 3*p - h. Let v(s) = -s**2 - 14*s + 18. Is v(p) a multiple of 8?
False
Let r = -618 + 2228. Is r a multiple of 10?
True
Let a(g) = g**3 + 10*g**2 - 18*g - 41. Does 9 divide a(-11)?
True
Suppose 13*w - 14*w + 8 = 0. Let k(x) = 5*x - 17. Let i(f) = -6*f + 18. Let n(p) = -6*i(p) - 7*k(p). Does 10 divide n(w)?
False
Let b(u) = -4 + 3*u - 6 + 2. Let p be b(4). Suppose p*m - 576 = -0*m. Is 36 a factor of m?
True
Suppose 0*i + 3*i = -3. Let v = 3 - i. Suppose -2*r + 52 = -v. Does 7 divide r?
True
Suppose -2*x - 1133 = -3*l, 0 = -2*l + 6*x - 11*x + 787. Does 13 divide l?
False
Suppose 4*r + r = 40. Suppose -y = y - 2. Is (y + 36/r)*8 a multiple of 12?
False
Let f = -11 - -8. Let w = f - -7. Suppose w*p - 129 = v, 6*v - v - 27 = -p. Does 15 divide p?
False
Let v be ((-33)/(-6))/((-5)/(-50)). Let h(d) = -d**3 + 7*d**2 + 7*d - 18. Let m be h(6). Does 4 divide ((-48)/m)/((-2)/v)?
False
Suppose -6*c = 4*c - 8840. Is 68 a factor of c?
True
Let d(j) = j**2 - 3*j - 10. Let z = 28 + -39. Is 44 a factor of d(z)?
False
Let m(a) = -16*a**3 - 2*a**2 + a + 4. Is m(-2) a multiple of 7?
False
Suppose 0 = 2*f + 2*m + 2*m - 2, -5*f - 3*m = 16. Is f - ((-85)/5 - 5) a multiple of 5?
False
Let c be (-79)/(-4) - (4 - 34/8). Suppose -15*t + c*t - 775 = 0. Does 13 divide t?
False
Suppose -5*d - 5*o = -145, 0 = 2*d + o + 2*o - 57. Let j = d - 20. Does 2 divide j?
True
Does 13 divide -181*(-1)/2 + 187/374?
True
Suppose -2*x + 173 = -5*z, 4*z - 271 = x - 4*x. Suppose 5*w - 2*l - x = 0, 2*w + 21 = 3*w - 2*l. Does 16 divide w?
False
Suppose 5*q = -3*z + 635, z - 221 = -0*q + 3*q. Is 31 a factor of z?
False
Suppose -2*j = -s - 37, 4*s + 91 = 5*j + s. Suppose -2*k = -5*b, 0 = -5*b + 2*k - k. Suppose b + j = 4*i. Is i even?
False
Is 2 a factor of ((-36)/63)/(2/(-623))?
True
Let r be 137/(1/(-4 + 3)). Let u = -341 - r. Is 20 a factor of (-8)/(-6)*u/(-8)?
False
Let i = 95 + -128. Let v = i - -68. Does 6 divide v?
False
Suppose -197*t + 186*t + 7392 = 0. Is t a multiple of 4?
True
Let q = -42 - -113. Let m = -43 + q. Is m a multiple of 7?
True
Let a = -29 - 4. Suppose -13*x = 12*x - 100. Is (a/x)/(2/(-8)) a multiple of 10?
False
Let s(k) = k**3 + k**2 + k + 252. Let d be s(0). Suppose 2*v + 3*v = 20, v - 24 = -5*w. Suppose d = -n + w*n. Does 17 divide n?
False
Let p be (-34)/(-5) + (28/(-35))/(-4). Suppose -2*x + 91 = 3*t - p*x, 20 = 5*x. Is 19 a factor of t?
False
Suppose 0 = 3*d - 4*f - f + 9, -1 = 4*d - 3*f. Let h(g) = 4*g**2 + g + 1. Let m be h(-1). Does 12 divide m - -22 - 4/d?
True
Suppose -5*c - r = -14, 3*c + 10 = 7*r - 3*r. Suppose 3*k + 483 = 5*h, 5*h - 3*k + c*k = 481. Is 13 a factor of h?
False
Suppose -15*t + 3625 = -1280. Suppose -4*k + t = -69. Is k a multiple of 11?
True
Let q(w) = 1597*w**2 - 3*w - 5. Does 52 divide q(-1)?
False
Let u = -81 + 86. Let n(h) = -3*h - 4. Let v be n(-3). Suppose 35 = u*w - v. Does 2 divide w?
True
Suppose -q - t = -6*t - 34, -2*q + 48 = -5*t. Suppose -52 - q = -2*p. Does 3 divide p?
True
Let k(h) = h**2 - 4*h + 6. Suppose -15*u + 11*u = -24. Is k(u) a multiple of 11?
False
Suppose z + 4*z - 15 = 0. Suppose 4*k - 7*k + 50 = 5*g, -22 = -g - z*k. Does 7 divide g?
True
Suppose -5*a + 393 = -3*n, -4*n + 79 = a - 5*n. Is 6 a factor of a?
True
Let w(d) = -2*d**3 - 42*d**2 - 29*d - 66. Does 28 divide w(-22)?
True
Let s(t) = -10*t + 15. Suppose -3*v = -8*v - 60. Is 15 a factor of s(v)?
True
Let o(k) = -8*k - 50. Let s be o(-10). Is 16 a factor of (s/4)/5 + (-501)/(-6)?
False
Suppose -4*k + 3 = -3*k, -