e
Let r = -72 + 302. Is r a multiple of 115?
True
Let p(o) = -o**3 - 9*o**2 - 3*o - 7. Let v be p(-9). Let g be (-36)/10 - 8/v. Does 9 divide 6/4 - 66/g?
True
Let l = 104 - 58. Suppose 2*c = l - 20. Is c a multiple of 5?
False
Suppose 20 = -2*m - 4. Let g = m - -32. Is 4 a factor of g?
True
Suppose -3*q - 5 = -8*q. Let s(o) be the first derivative of 11*o**2/2 - 6. Is 5 a factor of s(q)?
False
Suppose -3*i + 2*l = 6, -3*l = -2*i + 2*l - 4. Let v be (2 - 3 - i)*-21. Let g = v - -38. Is 17 a factor of g?
True
Suppose 22*l - 2403 = 46965. Does 22 divide l?
True
Suppose 2*m = -2*z + 672, 0 = z - 2*m - 341 + 5. Is 8 a factor of z?
True
Let d(h) = h**3 - h**2 - 3*h + 3. Let u = 63 + -58. Is d(u) a multiple of 11?
True
Suppose 0 = -49*h + 46*h + 972. Is h a multiple of 13?
False
Let c(n) = -517*n**3 - 2*n**2 + n + 2. Let f be c(-1). Let v = f - 273. Does 27 divide v?
True
Let f(q) = -16*q - 57. Let s(d) = -18*d - 56. Let p(a) = 6*f(a) - 5*s(a). Is p(-19) a multiple of 9?
False
Let m(z) = z**3 + 10*z**2 + 4*z - 9. Suppose 0*q - 12 = -4*q. Suppose t = -2, -q*t = -5*k - 0*t - 39. Is 9 a factor of m(k)?
True
Let z(x) = 2*x**3 - 7*x**2 - 2*x + 7. Let u be z(-3). Let g = u + 239. Is 20 a factor of g?
False
Let f(j) = 3*j**2 + 2*j. Let a(w) = 4*w**2 + 2*w. Let q(x) = 6*a(x) - 5*f(x). Let m be q(-2). Suppose -3*c - m = -4*c. Does 8 divide c?
True
Let l(f) = 24*f**3 - 1. Let c be l(-1). Let y = 53 + c. Is y a multiple of 28?
True
Suppose 2*v - 392 = 4*u, -u + 20 = -v + 116. Let s = -42 - u. Suppose w = 3*r - 11 + 58, 2*w + 3*r = s. Does 13 divide w?
False
Let r be (-2)/(-8) - (-30)/8. Does 8 divide (-1)/(r/6)*2688/(-126)?
True
Suppose 4*z + 2*p + 6 = 202, -5*z - p + 242 = 0. Does 11 divide z*1 - (-2 + 3 + 2)?
False
Suppose 3*c = 5*c. Let k(j) = 20 + c*j**2 + j**2 + 1 - j. Does 14 divide k(0)?
False
Let a = -2024 + 3384. Is 80 a factor of a?
True
Let c = 60 - 22. Let b be 3/((-27)/(-110) - 6/30). Suppose u = -3*k + c, u + 0*u = -5*k + b. Does 14 divide k?
True
Suppose 810 + 2250 = 5*k. Is 12 a factor of k?
True
Suppose 0*x - x = 2. Let g be (207/(-12))/(x/8). Suppose -g - 36 = -5*r. Does 6 divide r?
False
Suppose 0 = -y + 2*o + 365 + 251, -5*y + 5*o + 3060 = 0. Is y a multiple of 6?
False
Let m = -135 - -172. Does 2 divide m?
False
Let c(w) = w**2 + 2*w - 12. Let z be c(-14). Suppose 3*r = 5*h + 164, 5*r + 3*h - z = 2*r. Is r a multiple of 13?
False
Suppose -244*s + 234*s + 13640 = 0. Is 20 a factor of s?
False
Suppose 0 = -4*u + 762 + 206. Does 26 divide u?
False
Suppose -k + 444 = 4*x - 293, 4 = -4*x. Is k a multiple of 13?
True
Let p(c) = -29*c**2 + c - 2. Let k(d) = 14*d**2 - d + 1. Let t(n) = -5*k(n) - 3*p(n). Does 12 divide t(-1)?
False
Suppose -2*v + 7408 = 5*d, 5943 = 5*d + v - 1461. Does 47 divide d?
False
Let w = -2 + 4. Let p(k) = 2*k**2 - 3*k - 3. Let n be p(3). Does 4 divide (0 + n)/w*9?
False
Suppose -7*h - 497 = -2954. Does 39 divide h?
True
Let t = -16 + 22. Let k(j) = -2*j**3 + 6*j - 4 + 0 + 5*j**2 - 3*j**3 + 4*j**3 + 2*j. Is k(t) a multiple of 8?
True
Let s(j) = j**2 + 18*j - 13. Let z be s(-19). Does 19 divide 1420/15 + 2/z?
True
Suppose 3*l - 12 = 0, -3*z + 2*l - 221 = -1746. Does 36 divide z?
False
Suppose 247 = 352*y - 351*y. Is 19 a factor of y?
True
Let k(o) = 2*o**2 - 7*o + 11. Let t be k(-8). Let x be ((-226)/4)/(1/2). Let z = t + x. Does 28 divide z?
False
Let f = -888 + 972. Is 42 a factor of f?
True
Let z = 8 + 2. Let k(j) be the first derivative of 5*j**2/2 - 6*j + 1. Is k(z) a multiple of 13?
False
Let u = 38 + -47. Is -13*1*(4 - (-2 - u)) a multiple of 8?
False
Let m = -273 + 521. Does 31 divide m?
True
Let z(a) = -a**3 + 18*a**2 - 18. Let g be z(18). Is 36 a factor of (g/(-45))/(1/180)?
True
Suppose -r - 3 = -3*f, -4*f + 9*f + 15 = -5*r. Let y(z) be the first derivative of z**4/4 - z**3/3 + z**2/2 + 15*z + 3. Is y(f) a multiple of 5?
True
Let h(m) = 3*m**2 + 5*m + 4 + 9 - 1. Is h(-4) a multiple of 4?
True
Is 2 + (422 - -7) - 1 a multiple of 10?
True
Let d(i) = -i**2 + 11*i. Let v be d(11). Suppose -3*j - j - w = -321, v = -2*j + 4*w + 138. Is 22 a factor of j?
False
Suppose -3*w = 3*w - 210. Suppose -302 + w = -3*q. Is 7 a factor of q?
False
Let x be (2 + 9)/((-1)/(-4)). Suppose -5*t - 8 = -2*v, -120 = -4*v - 5*t - x. Is v a multiple of 5?
False
Suppose 25*h - 24173 - 11452 = 0. Does 25 divide h?
True
Let t(c) be the third derivative of -c**6/360 + 3*c**5/40 + c**4/4 - 2*c**3 + 11*c**2. Let d(z) be the first derivative of t(z). Is 8 a factor of d(6)?
True
Suppose 0 = 15*n - 17*n + 88. Does 4 divide n?
True
Is (71934/342)/(1/3) a multiple of 78?
False
Let j(m) = 23*m**2 + 7*m + 24. Does 12 divide j(-5)?
True
Let x be 2 + (-2)/4*-274. Suppose 61 = 4*d - x. Let i = 79 - d. Is i a multiple of 6?
False
Suppose 4*d + z = 12, -5*d - 2*z + 12 = -0*d. Suppose 0 = d*c, -a + 2*c = -21 - 108. Is a a multiple of 6?
False
Let h(o) = 11*o**2 - 4. Let p be h(5). Let g = -158 + p. Is g a multiple of 23?
False
Suppose 238 + 50 = 9*h. Is h a multiple of 32?
True
Suppose 5*o = 8*o + 6. Let y(k) = -33*k**3 - 2*k**2 - 3*k - 3. Is 37 a factor of y(o)?
True
Let u be (4 + 4 + -9)*1. Let f(j) = -77*j**3 + j**2 + j + 1. Let c be f(u). Suppose d + c = 2*d. Is d a multiple of 8?
False
Let u(l) = 12*l**2 + 3*l + 5. Is u(-11) a multiple of 16?
True
Let l = 43 + -41. Suppose 3*c + 33 = 5*f - 0*f, 4*c - 34 = -l*f. Is 6 a factor of f?
False
Let t(w) = 98*w - 167. Is 2 a factor of t(6)?
False
Let h(g) = 15*g - 177. Is 20 a factor of h(18)?
False
Let v = 18 + -3. Is ((-30)/(-8))/(v/400) a multiple of 20?
True
Let n be (-1)/((2 + -3)/(-1)). Let m = n + -3. Let r(o) = -o**3 - 3*o**2 - 1. Is 8 a factor of r(m)?
False
Let d(h) be the second derivative of 103*h**4/12 - h**2 + 27*h. Is d(1) a multiple of 17?
False
Suppose -2237 = -3*y - 2*y - 3*n, 0 = n + 1. Is y a multiple of 16?
True
Let i = 294 - -416. Does 28 divide i?
False
Let j(c) = -8*c**3 - 19*c**2 - 63*c + 12. Does 40 divide j(-5)?
False
Let w(p) = -13*p + 31. Let o(x) = -6*x + 15. Let z(s) = 7*o(s) - 3*w(s). Suppose -20 - 10 = 6*r. Is z(r) a multiple of 9?
True
Let v(g) = -g**3 - 3*g**2 - g + 4. Suppose -t = -5*x - 7, 5*t = -x + 14 - 5. Let o be v(t). Is 0 - -3 - -1 - o a multiple of 11?
True
Suppose 18*p = 13*p + 85. Let o(j) = -j**3 + 18*j**2 - 6*j + 6. Does 21 divide o(p)?
False
Is 10 a factor of -4 - (-84 - 0/6)?
True
Suppose 3*g = -3*q + 1554, 3*g = q + 8*g - 534. Is 48 a factor of q?
False
Suppose -5 + 11 = -2*n. Is (-233)/n + 2*2/(-6) a multiple of 15?
False
Let y = -24 - 21. Let k = y - -22. Let p = -16 - k. Is 2 a factor of p?
False
Let n = 134 + -73. Let s = 10 + 14. Let z = n - s. Does 12 divide z?
False
Suppose -q + 674 = 4*p + q, -832 = -5*p + q. Is 17 a factor of p/2 - 54/(-36)?
True
Suppose 0 = 3*z - 21 + 6, 5*l + z + 350 = 0. Let n = -36 - l. Does 10 divide n?
False
Suppose 0 = -2*p - 4, p + 84 = -2*i + 4*p. Let x = -36 - i. Does 4 divide x?
False
Let t = 2766 - 1191. Is t a multiple of 15?
True
Does 25 divide -55 - -56 - (-214)/2?
False
Let w(h) = -4*h**3 - 2*h + 5*h**2 - 12*h**2 + 2*h**3 - 2*h + 4. Is 33 a factor of w(-5)?
True
Is 11/2 + 15/(-10) even?
True
Suppose -2*r = 12 - 20. Suppose r*m - 4*b - 1064 = 0, -3*m + 3*b - 517 = -5*m. Does 30 divide m?
False
Let z be (1562 - 0)*((-6)/4 + 1). Is -9*(-4)/84 - z/7 a multiple of 14?
True
Let v be 18/(-72) + (-210)/(-8). Suppose 2*s - v = s. Does 3 divide s?
False
Let b = -360 + 659. Is 10 a factor of b?
False
Let j(l) = -l**2 + 9 + l + 5 + 7*l + 0. Let w be j(12). Let b = w + 62. Does 14 divide b?
True
Suppose -i + 2 = 0, 2*o + 2*i = 5*i. Is 3 a factor of -3*(4 - (6 - o)) - -11?
False
Let g be (-3)/(3 + 15/(-4)). Let p be (-1598)/8 - (-3)/g. Let k = p + 284. Is 30 a factor of k?
False
Let f be (-180)/(-7) + 1/21*6. Is 13 a factor of (f/(-5))/((-5)/(130 - 5))?
True
Let s = -9 + 273. Let u = 42 + -26. Suppose 12*r + s = u*r. Is r a multiple of 22?
True
Suppose 0 = 2*h + 2*o - 580, 20 - 22 = -o. Is 84 a factor of h?
False
Is 19 a factor of -4 + 552 - (-7 - -4)?
True
Let j = 4 - -11. Suppose 3*p = 6*p - j. Suppose -2*h + 48 = u + u, -u + 42 = -p*h. Is 9 a factor of u?
True
Suppose 0 = 14*u - 0*u - 70. Suppose u*b - 116 = 289. Is b a multiple of 27?
True
Let h = 334 - 130. Is 8 a factor of h?
False
Let y(t) = -8*t + 7. Let d be y(6). Let p = 53