e of 4?
True
Suppose 28*l - 22*l = 240. Does 31 divide 3690/l + 3/4?
True
Suppose -9*f - 3*f - 1044 = 0. Let a(b) = -b**3 - 12*b**2 + 22*b - 10. Let i be a(-13). Let q = f - i. Is q a multiple of 5?
True
Let w(b) = -b**3 - 18*b**2 - 3*b - 19. Let x be w(-18). Let m be 7 + 4110/x + (-6)/14. Suppose 27 = -j + m. Is 27 a factor of j?
False
Is ((-186684)/(-26) - (800/130 + -6))/2 a multiple of 72?
False
Suppose -12*a - 3 = -15. Is (192/(-36))/(a/48*-1) a multiple of 32?
True
Suppose 0 = -2*v - 0 + 10. Suppose -n + 486 + v = -l, -3*n = -l - 1465. Is 14 a factor of n?
False
Suppose -3*s - 4*z - 1178 = 0, 3*s - 5*z + 1184 = -3*z. Let p = 972 + s. Is 27 a factor of p?
False
Suppose 65*s - 64*s + 35 = 0. Is 8 a factor of (-6)/10*(s - 260)?
False
Suppose w + 3*w + 12 = 2*q, 4*w - 6 = -q. Suppose 7*b - q*b = -141. Is (b*2/4)/(129/(-172)) a multiple of 9?
False
Let n(b) = 33*b**2 + 5*b + 22. Let u be n(-4). Let d = -296 + u. Suppose 3*o + 3*c + d = 5*o, 4*o = -5*c + 512. Is o a multiple of 10?
False
Let q(b) = 20*b**2 + b - 7. Let p be (6/(-27) + 80/36)/1. Is q(p) a multiple of 15?
True
Let r = 7658 - 3901. Is 73 a factor of r?
False
Does 4 divide ((-1)/4*-1)/((3604/16592)/53)?
False
Let o(p) = 3*p - 31. Let a be o(7). Let q be 1 + 1/1 - (-7 - a). Is 13 a factor of (-1178)/(-8) + q - 132/(-176)?
False
Let o(v) = 274*v + 38. Does 22 divide o(0)?
False
Is 64 a factor of -20 + 3 + 11 - -8582?
True
Let b(m) = -m**3 - 12*m**2 - m - 8. Let s be (-4)/6 + 120/(-9) + 2. Let c be b(s). Suppose -6*u = -c*u - 190. Does 19 divide u?
True
Let o be (-4)/(-14) - ((-13142)/14 + 0). Let b = o - 620. Suppose b = -11*h + 979. Is h a multiple of 12?
True
Let f be (-11)/(-9) + (-4)/18. Suppose -1 = -2*h - 4*n + f, -4 = -2*h - 3*n. Is 15 a factor of 44*h/40*(1 - -13)?
False
Suppose 0 = 5*r - 4*r - 5*o - 22, 5*r = -4*o - 35. Let m = -5 - r. Does 13 divide (m/5)/((-4)/1780)?
False
Suppose b + 3*p + 361 - 14 = 0, 5*b + 3*p = -1711. Let o = -239 - b. Suppose 0*m - 2*x = -2*m + 130, 2*m - o = -5*x. Does 6 divide m?
False
Let r(t) be the third derivative of -20*t**2 - 1/6*t**4 + 0 + 1/10*t**5 - 5/3*t**3 + 0*t. Is r(-6) a multiple of 51?
False
Let k(a) = -a + 1. Let t(l) = 12*l - 3 - 4 + 4. Let o(m) = 4*k(m) + t(m). Is 9 a factor of o(10)?
True
Suppose 7*n + 75 = 2*n - 5*t, -t = -1. Let r(h) = h**3 + 15*h**2 - 16*h + 15. Let f be r(n). Let w(u) = u**2 - 5*u - 13. Is 25 a factor of w(f)?
False
Let f(a) = -5*a + 93. Let i be f(18). Suppose -i*w - 6*w = -639. Is 8 a factor of w?
False
Let h(m) = 2*m**2 - 8*m + 5. Let u(b) = -b + 26. Let f be u(18). Suppose 0 = f*x - 5*x - 15. Is 6 a factor of h(x)?
False
Let j(v) = -57*v + 1505. Does 78 divide j(-63)?
False
Suppose 0 = -5*c - 2*g + 1031, -c - 2*g = -3*g - 202. Suppose -210*d + c*d = -145. Does 13 divide d?
False
Let l(f) = 34*f**2 + 2*f. Let x be l(-4). Suppose -x = -2*v + 900. Is 18 a factor of v/10 - (-7)/35?
True
Let q(p) = 4*p**2 + 2*p + 263 - 2*p**2 - 12*p + 5*p - 30*p. Does 4 divide q(15)?
True
Suppose -97*h + 105*h = 0. Suppose h = -27*y - 555 + 3039. Is y a multiple of 4?
True
Suppose 244*s = 247*s - 3*i - 13284, 0 = 3*s + 2*i - 13254. Does 33 divide s?
True
Let k(q) = -195*q - 44. Let d be k(-12). Let j = 3241 - d. Suppose 17*b + j = 22*b. Does 12 divide b?
False
Let k(x) = -17*x - 65. Let t be k(-4). Is 17 a factor of t - 6 - ((-36 - -3) + -4)?
True
Let t = 1604 + -1590. Let z = -9 + 3. Let x = t - z. Does 3 divide x?
False
Is 9/(-6) - (1076244/(-72) + 4/12) a multiple of 121?
False
Let u(d) = -414*d - 11 + 407*d + 0 - 7 + 2. Let t(a) = a - 8. Let g be t(0). Is 8 a factor of u(g)?
True
Suppose -239 + 194 = -5*c. Is 2148/c*9/6 a multiple of 22?
False
Suppose 0 = 5*d - 1474 + 124. Suppose -3*w + 264 = 4*k, 4*w + 2*k - d = w. Suppose -3*f + 418 = -w. Is 17 a factor of f?
True
Let s = 615 + -1379. Let j = s + 1127. Is j a multiple of 33?
True
Let o = 21 + -21. Suppose 2*s + o*s - 4*i + 90 = 0, -5*i = 4*s + 206. Let y = s - -61. Is y a multiple of 6?
True
Let o(m) = 2*m**2 + 57*m - 16. Let w be o(-29). Suppose 3*v - f = 8, -f - 4 = -2*v - 0*v. Suppose w = v*l - 347. Is l a multiple of 26?
False
Let p(k) = k**3 + 16*k**2 + 15*k - 8. Let n be p(-14). Let b = 301 - n. Let c = b - 67. Is c a multiple of 10?
True
Suppose -756 = 5*u + 544. Let a = u - -1105. Suppose 10*q = -115 + a. Is 19 a factor of q?
False
Suppose 270 = 15*k - 42*k. Let y(i) = i**3 + 16*i**2 + 12*i + 1. Is y(k) a multiple of 50?
False
Let h = -3957 - -5497. Is h a multiple of 7?
True
Suppose 283 + 432 = 3*w + 4*b, 3*w + 5*b = 716. Let y = w + 357. Is y a multiple of 16?
False
Let j(m) = -m**3 - 51*m**2 + 27*m - 3. Let y be j(-25). Is y/40*(-15)/6 a multiple of 46?
True
Let a(j) = -3*j + 35. Let f(t) = -4*t + 34. Let l(i) = 6*a(i) - 5*f(i). Is l(14) even?
True
Suppose -h + 5*n - 56 = 0, -3*n = 2*h - h + 24. Let t = h + 38. Does 6 divide (t/(-3))/((-5)/90)?
True
Let y = 127 + -73. Let m = 146 + -150. Is 45/(-12) - m - y/(-8) even?
False
Let u = 130 - 199. Suppose 0 = 3*w + 12, 0*s + 5*w = -2*s - 118. Let g = s - u. Is 4 a factor of g?
True
Let n(b) = 9*b**2 - 109*b + 1367. Is n(46) a multiple of 89?
True
Suppose -639 = -5*q - f + 680, -q + 255 = -2*f. Let o = q - 417. Let r = o - -261. Is r a multiple of 13?
False
Let d(a) = -a**3 + 4*a**2 - 13*a + 11856. Is d(0) a multiple of 26?
True
Suppose -216*u + 1868585 - 690452 = -933483. Does 8 divide u?
True
Let c(b) be the first derivative of -2*b**3/3 + 51*b**2/2 - 52*b + 143. Is c(23) a multiple of 21?
True
Let o = -6301 - -11034. Is 114 a factor of o?
False
Let b(a) = 714*a + 1. Let g be b(2). Let i = 41 + g. Is 42 a factor of i?
True
Let v = 38 - 38. Suppose -4*x + 0*x = v. Suppose -3*h + 4 + 5 = x. Does 3 divide h?
True
Let d = -6383 + 25132. Does 62 divide d?
False
Let h(b) = 5*b**2 - 18*b - 486. Is h(-50) a multiple of 11?
True
Suppose -113*o - 103883 + 318190 = -472168. Is 6 a factor of o?
False
Let f = -42 + 47. Suppose 0 = 3*x - 24 + 9, 4*x = f*u. Suppose y + 231 = u*q, 2*q = 2*y + 52 + 56. Does 35 divide q?
False
Let s(j) = -2*j**2 + 33*j - 4. Let a be -2*(-4 - 1 - -4) + 3. Suppose 0 = -a*n - 4*b + 58, 0 = 4*n + 3*b - b - 44. Does 18 divide s(n)?
True
Let p(d) = -9*d**2 + 106*d + 29. Let y be p(12). Suppose 5*g = y*s - 9*s + 1731, -4*g + 1392 = 5*s. Is 7 a factor of g?
True
Let g = 1293 + -581. Suppose 3092 + g = 12*s. Is 39 a factor of s?
False
Let n(c) be the third derivative of -c**4/8 - 43*c**3/6 + 49*c**2. Is 11 a factor of n(-40)?
True
Suppose 0 = -5*a + 3*n + 8663, 69*n - 1733 = -a + 70*n. Is 6 a factor of a?
False
Let q = 922 - 930. Let k(v) = 3 + v**3 - 12*v - 15 - 2*v**3 - 9*v**2. Is k(q) a multiple of 5?
True
Let w(o) = 70*o**3 + 2*o**2 - 3*o + 16. Let k(l) = -69*l**3 - l**2 + l - 16. Let f(j) = 4*k(j) + 3*w(j). Is 44 a factor of f(-2)?
False
Let v(d) = 209 - 2*d - 13*d**3 + 228 - 436 - d**2. Suppose -4*t - 2 - 6 = 0. Does 21 divide v(t)?
True
Let i(j) = j**3 + 5*j**2 - 35*j + 7. Suppose -214*k = -210*k + 28. Is 29 a factor of i(k)?
False
Suppose 295*k - 14 = 288*k. Suppose -1755 = -5*y + 5*u, 0 = -2*u - 0*u - k. Is 25 a factor of y?
True
Suppose 5*n - 5*x + 10 = 0, 2*x - 12 = 5*n + 4. Let t(l) = -151*l + 16. Let h be t(n). Does 24 divide h/2*((-7)/14 - -1)?
False
Let v = -21308 + 28058. Is v a multiple of 3?
True
Suppose 0 = 36*p - 144. Let c(u) = 9*u**3 + 8*u**2 - 4*u + 5. Is c(p) a multiple of 21?
True
Let m(z) = z**3 - z**2 - 142. Let f be m(0). Let u be (1 - 2) + f/2. Let a = u + 127. Does 15 divide a?
False
Let w(v) = 1216*v**2 + 27*v - 112. Does 10 divide w(4)?
False
Suppose -28*v + 31*v + 2*d - 24030 = 0, 32047 = 4*v + 5*d. Is v a multiple of 26?
True
Suppose 0 = 5*v + y - 13720, -6*v = -8*v - 2*y + 5480. Is v a multiple of 75?
False
Suppose 2*c + 4 = -2*h + 4*c, 0 = -2*h + 4*c - 10. Let a = h - -10. Let x(s) = -s**2 + 13*s + 5. Is x(a) a multiple of 7?
False
Let l = 10378 + -3904. Is 13 a factor of l?
True
Let c(f) = -67*f - 110. Let n(k) = -1. Let q(t) = -c(t) + 6*n(t). Let h(m) = 22*m + 35. Let o(p) = 8*h(p) - 3*q(p). Is o(-7) a multiple of 13?
True
Suppose 6*l = -0*l + 6. Suppose 5 = -3*x - 3*q - l, 2*x - 3*q - 11 = 0. Does 4 divide 54/8 - ((-9)/(-12) - x)?
False
Let a(k) be the third derivative of -55*k**4/12 + 37*k**3/3 - 151*k**2. Is 12 a factor of a(-5)?
True
Suppose 17*w + 204 - 5831