de h?
True
Does 13 divide (-47752)/(-141) + 6/(-9) + 0?
True
Let v(l) = 14*l**3 - 71*l**2 - 48*l + 17. Let m(u) = -5*u**3 + 24*u**2 + 16*u - 6. Let y(f) = -17*m(f) - 6*v(f). Is y(-17) even?
False
Let y(h) = h + 3. Let x be y(-3). Suppose x = -3*m + 100 - 4. Suppose -p + m = p. Is p a multiple of 5?
False
Suppose 3*x = o - 79, 2*x = 4*o + 5*x - 271. Is o a multiple of 10?
True
Is (11/(-4))/(((-36)/6)/648) a multiple of 27?
True
Suppose -q - 5*r = -2142, 4*r - 3713 = -5*q + 7102. Is q a multiple of 11?
True
Let i = -30 - -31. Is 17 a factor of (2454/(-9))/(-2) + i/(-3)?
True
Does 4 divide 214 + (-30)/(-6) + 4?
False
Let g = -12 - -16. Suppose t = 2*s + 2*t - 46, 0 = -g*s - 3*t + 96. Is 5 a factor of s?
False
Suppose -2*d = 5*r + 190, 4*d = -3*r - r - 164. Let q = 31 + r. Let l(i) = -i**3 - 4*i**2 - 7*i - 4. Does 14 divide l(q)?
True
Let r = -15 - -16. Is (-72)/((10/(-25))/r) a multiple of 12?
True
Let i be 1 + -9 + (-7)/(35/10). Let k(y) = -y**3 - 8*y**2 - 4*y - 2. Let w be k(-8). Let b = w + i. Is b a multiple of 20?
True
Let n(j) = 4*j**2 + 5*j + 4. Let d be (-2 + 3)/(5/(-20)). Is n(d) a multiple of 8?
True
Let z(x) = 5*x + 17. Let w be z(-4). Let q(n) = -6 - 3*n**2 - 3*n**2 + 5*n**2 - 9*n. Is 4 a factor of q(w)?
True
Let k(c) = 1 - 2*c**2 + 3*c**2 + c + 24 + 5*c. Is k(-9) a multiple of 16?
False
Suppose m - 32*i = -33*i + 203, 2*m = -4*i + 414. Is 18 a factor of m?
False
Let a(p) = -p**2 - 26*p - 10. Suppose 5*i = -5*s - 50, 2*s + 6 = 3*i + 31. Is a(i) a multiple of 13?
True
Let x = 18 + -25. Let k be 147/24 - x/(-56). Suppose k*j = 10*j - 40. Is j a multiple of 10?
True
Let i = 198 - 181. Is 3 a factor of i?
False
Suppose -2*r = 5 - 9. Does 8 divide (-9)/((5/20)/(r/(-3)))?
True
Suppose -21*b = -31*b + 2270. Is 3 a factor of b?
False
Suppose -12*g + 75 = -7*g. Suppose 0*s - g = 3*s. Let u = 0 - s. Does 4 divide u?
False
Suppose w - 333 = -4*y - y, -y + 353 = w. Does 30 divide w?
False
Suppose 4*s - 9 + 1 = 0. Suppose 2*v = 4*g + 224, 4*g - s*g - 8 = 0. Is v a multiple of 20?
True
Suppose -5*v + d - 2*d + 22 = 0, v + 1 = -2*d. Let o(l) = -15 + 4 + v - 6 + 4*l. Is 8 a factor of o(9)?
True
Let h be 3/(-1)*1 - -2. Let y = h + 3. Does 7 divide 22 + (-3*y - -4)?
False
Let q(f) = -53*f**3 + 5*f**2 - 3*f - 6. Is 37 a factor of q(-2)?
True
Suppose -2*m + 5*z + 1268 = 0, 12*z - 10*z = -4*m + 2584. Does 28 divide m?
True
Is 17 a factor of 2/(-10) - -186*(-32)/(-10)?
True
Let j(c) = 9*c - 5. Let v be j(2). Suppose -11*h + v*h - 10 = 0. Does 8 divide (3 + 1)*(3 + h)?
True
Let j = 2407 - 1417. Is 10 a factor of j?
True
Suppose 4*j - 56 = 284. Let o = j + -49. Is 18 a factor of o?
True
Suppose -c - 861 = -f, 3*c + 4311 = -6*f + 11*f. Is 32 a factor of f?
True
Is 5 a factor of (17/51)/(2/954)?
False
Let u be (-238)/8 - 1/4. Let g be -16*7/((-308)/(-55)). Let w = g - u. Does 10 divide w?
True
Let q = 0 - 0. Let b(t) be the second derivative of -t**3/6 + 16*t**2 - 24*t. Does 16 divide b(q)?
True
Suppose 2*o - 3 = q, -15 = 4*o - 9*o + 4*q. Let z be o + 2 + 207 - -2. Suppose z = -2*d + 5*d. Is 14 a factor of d?
True
Let y(a) = -a. Let b(o) = o**3 + 2*o**2 - 5*o - 7. Let p(s) = -b(s) + 5*y(s). Does 3 divide p(-3)?
False
Let s be (-4)/(8/2) + 583. Suppose 65 = 2*m - 4*c - 163, 5*m - s = -2*c. Suppose 0 = 5*y - m - 4. Is y a multiple of 9?
False
Is (-969)/(-6)*(13 - 1)/6 a multiple of 17?
True
Suppose 189*m = 188*m + 47. Is 4 a factor of m?
False
Let r = 305 - 122. Suppose 2*b + 73 = r. Suppose 2*c + 82 = 4*s + 3*c, -b = -3*s - 4*c. Does 12 divide s?
False
Let p = 86 + -36. Suppose -v + x = -x - p, 5*v - 238 = 4*x. Is 23 a factor of v?
True
Let y(k) = -20*k - 292. Does 35 divide y(-29)?
False
Let g(p) be the second derivative of 5*p**3/2 + 4*p**2 - 3*p. Does 10 divide g(6)?
False
Let d be (-1084)/(-8) - (-15)/10. Suppose 2*j - d = -5*x, 0 = -0*x + 4*x - 4*j - 104. Does 9 divide x?
True
Suppose -3*w = -0 - 21. Suppose -w*p + 3*p + 20 = 0. Suppose p*j - 21 - 49 = 0. Is j a multiple of 5?
False
Let u = 7 - 9. Let y = u - -23. Let d = y + 13. Does 11 divide d?
False
Let t = 2 + 19. Let d(j) = -j**3 + 11*j**2 - j + 9. Let r be d(11). Let w = t + r. Does 19 divide w?
True
Suppose 14*g - 22*g = -912. Suppose 4*b = -2*b + g. Is b even?
False
Let a(m) = -m**3 - m**2 + m. Suppose -3*d - 2*b + 178 = 0, 2*b = 2*d - 3*d + 58. Let r be d/(-21) - 3/21. Does 14 divide a(r)?
False
Is ((-516)/14)/((-300)/1400) a multiple of 5?
False
Let n be (15/(-5 + 4))/(-1). Suppose 0 = 13*p - n*p + 20. Is (-10)/(-2)*48/p a multiple of 6?
True
Let n(p) = p**2 - 2*p - 1. Let z be n(5). Let q(u) = u**2 - 6*u - 18. Is 37 a factor of q(z)?
False
Suppose -4*c - 1998 = -5*a, 4*a + 5*c = 1161 + 421. Does 22 divide a?
False
Let a = 9 - 11. Let q = -16 - -10. Does 28 divide (-1048)/(-12) - a/q?
False
Let w(k) = -k**2 + 7*k - 8. Let d be w(6). Let v be (0/(9/(-3)))/d. Suppose 3*b - 7*b + 184 = v. Does 11 divide b?
False
Let w be 2/26*-2 - (-38)/247. Let i(u) = 4*u + 222. Is i(w) a multiple of 13?
False
Let u(f) = -f**2 + 6*f - 2. Let w be u(5). Let k be (-128)/6*w/2. Let o = k - -71. Does 13 divide o?
True
Let d be (-614)/10 - (-8)/20. Let l = d - -105. Let x = l - 21. Is x a multiple of 4?
False
Suppose 4*k = -3*k - 84. Let q(t) = t**2 - t + 4. Does 40 divide q(k)?
True
Let v(t) = -t**2 - t. Let c be v(0). Suppose c = -6*x + 7*x. Suppose -3*m - 2*u - u + 195 = x, 2*m + 3*u = 134. Is 16 a factor of m?
False
Suppose -12*j + 5311 = -20153. Is j a multiple of 77?
False
Suppose -13 = -5*n + 2. Suppose n*k + 13 + 11 = 0. Is 7 a factor of (-6)/9*252/k?
True
Suppose -4*u - 3*i + 13 = 0, 3*u + i = 12 - 1. Suppose -u*r = -3*j + 240, 3*j - 190 = -3*r + 50. Does 10 divide j?
True
Suppose 0 = 5*n + 3*g - 6863, -6859 = -5*n + 6*g - 5*g. Does 14 divide n?
True
Let n(c) = -c**3 - 13*c**2 - 7*c + 9. Let o be n(-8). Let m be (8/(-12))/(2/o). Suppose -3*a + 3*i = -51, -3*i + i + m = 5*a. Is a a multiple of 17?
True
Suppose 0 = 5*l - 4*l - 3. Suppose v = 3*v - 74. Suppose -l*b - 64 = -2*p, -p - b + 0*b = -v. Is p a multiple of 11?
False
Let l(u) = 4*u**3 + 15*u**2 + 8*u + 23. Let a(g) = g**3 + g**2. Let h(k) = -3*a(k) + l(k). Does 8 divide h(-11)?
True
Let u be ((-4)/5)/(3/(-2670)). Is u/7 - (0 - 6/21) a multiple of 17?
True
Let p be (4 - 150/36) + (-1150)/12. Let r = p + 150. Is r a multiple of 9?
True
Let n(p) = -23*p - 22. Is n(-4) a multiple of 18?
False
Suppose -16*n + 13*n = 0. Suppose 3*h - 202 = -u - n*h, -5*u = 2*h - 1036. Suppose 5*v + 4*l - u = 0, 0 = 5*v - l - l - 226. Does 26 divide v?
False
Suppose 18*b = 11*b + 4060. Does 73 divide b?
False
Let u = 897 - 597. Is 15 a factor of u?
True
Let s be 8/1*2/8. Let u be 2/(8/10)*6. Suppose -5*y + 12 + u = -2*q, -s*y = -2*q - 6. Is y even?
False
Suppose -1290 = -18*a + 15*a. Does 21 divide a?
False
Suppose j = -x + 4*j + 19, -5*x + 10 = 2*j. Let b = 8 - x. Does 6 divide (b - 2)/((-8)/(-124))?
False
Let k(y) = y**3 + 12*y**2 - 6*y - 1. Suppose 2*c + 5*j = 3*c - 13, -3*c = -5*j + 11. Is 12 a factor of k(c)?
False
Let r(j) = -19*j**3 - j - 1. Let s be r(-1). Let m = s + -14. Is m a multiple of 2?
False
Suppose 31 = -2*h + 307. Suppose u = 4*j + h - 2, -3*u - 2*j + 380 = 0. Does 29 divide u?
False
Let n = -1689 - -1979. Is n a multiple of 8?
False
Suppose 0 = -57*q + 58*q - 110. Does 11 divide q?
True
Suppose 3*q + 3 = -5*c, -3*q + 0*c - 24 = -2*c. Is 66 + (4 + 0)/(-12)*q a multiple of 17?
True
Let j(k) = -k**2 - 10*k + 7. Let s be j(-5). Suppose -2*h - s = -h. Let l = h + 59. Is 9 a factor of l?
True
Let i(g) = 77*g + 7. Let m(a) = -39*a - 3. Let x(u) = 2*i(u) + 5*m(u). Does 14 divide x(-2)?
False
Let i(w) = 3*w**3 - 3*w**2 - 6*w + 6. Is 21 a factor of i(3)?
True
Let w(i) = 2*i + 16. Let f be w(-8). Does 26 divide 127/(0 - (2 + -3 + f))?
False
Suppose 840 = 4*g + g. Is 3 a factor of g?
True
Suppose -5*h = h - 24. Suppose -14 - 22 = -h*r. Does 2 divide r?
False
Suppose 0 = -0*l - 4*l - 8. Let g be l/(-1 - (-69)/75). Let i = g - 14. Is i a multiple of 5?
False
Let v(m) = -m**2 + 39*m + 6. Does 11 divide v(27)?
True
Let c(f) = -f**2 - 16*f - 7. Let j(o) = -5. Let a(t) = 1. Let z(h) = -4*a(h) - j(h). Let r(k) = c(k) + 2*z(k). Is 4 a factor of r(-14)?
False
Suppose -13*l - 8 = -15*l. Suppose -4*k = t - 613, 0 = 2*k + l*t + 59 - 383. Is 19 a factor of k?
True
Let t(q) = 2*q