de v/((-8)/6) - (1 + -25)?
True
Let a = 536 - -146. Is 31 a factor of a?
True
Suppose -3*q + 4*q + 4 = 0. Let i(k) be the second derivative of -2*k**3/3 + k**2 + 157*k. Is i(q) a multiple of 6?
True
Suppose 4*b - 1190 - 390 = 0. Is 2 a factor of b?
False
Let r(k) = -k**2 - 31*k - 9. Is 7 a factor of r(-12)?
False
Suppose -4*q = -9*q + 10. Let b be 6/2 + 578/17. Suppose 0 = t + 5*o - q, 4*o = 3*t - b - 64. Is t a multiple of 13?
False
Suppose 49*b - 50*b = -686. Is 14 a factor of b?
True
Suppose -25 = 5*v, 4*i + 18 + 15 = -5*v. Let m be (-3)/i - 180/40. Let q(a) = -2*a**3 + 4*a**2 + 4*a + 3. Is 27 a factor of q(m)?
True
Is 3 a factor of 3*5*(-42 + 73)?
True
Let c be (-3)/2*3/(24/(-352)). Let u = c + 60. Does 18 divide u?
True
Suppose -224 = -4*q - 0*q. Suppose 460 = 4*l + q. Suppose 2*t - l = -5*m, -5*m = -4*t - 39 - 44. Is m a multiple of 6?
False
Let y be (-2)/9 + 20/9. Suppose 5*m = -y + 22. Let l(g) = g**3 - 4*g**2 + 5*g. Is 20 a factor of l(m)?
True
Let i be 5/(-5) + (2/(-2))/(-1). Suppose -5*x + 32 + 48 = i. Is x a multiple of 5?
False
Let p be -5*(-15)/25 - 0. Is p*35/20*12 a multiple of 33?
False
Suppose -c + 51 = -5*v, v - 72 = -2*c + 5*v. Let t = -17 + c. Suppose -2*o = -t*o + 357. Does 20 divide o?
False
Let b(v) = -8*v**3 - 2*v**2 - 3*v + 10. Is b(-3) a multiple of 7?
True
Let j = 85 + -101. Let m(x) = -x**2 - 33*x - 8. Is m(j) a multiple of 24?
True
Let t(f) = -149*f - 26. Is 57 a factor of t(-4)?
True
Let c(z) = 180*z + 98. Let d(w) = -72*w - 39. Let k(u) = 5*c(u) + 12*d(u). Is k(3) a multiple of 21?
False
Suppose -2*i + 4*k + 460 = -0*k, -5*i = -k - 1195. Does 8 divide i?
True
Let g(j) = -4*j - 41. Let w be g(-12). Suppose 0 = 9*n - w*n - 336. Is n a multiple of 10?
False
Suppose 3*u + 2*a = 215, 5*a - 81 = -u + 2*a. Is 11 a factor of u?
False
Let q(l) = -l**3 - l**2 + l + 11. Let d be q(0). Let s(h) = 20*h - 6*h**2 + 5*h**2 - d*h + 1. Is 18 a factor of s(5)?
False
Let g = 1341 - 693. Is g a multiple of 6?
True
Suppose -5*a + 8*a = 246. Is a a multiple of 27?
False
Let n(z) = -z**2 - 2*z + 376. Let y be n(0). Let o = y + 7. Is 43 a factor of o?
False
Suppose 0 = 6*x - 10*x - 16. Let n(d) = 12*d**2 + d + 4. Let b be n(x). Suppose 2*y = 6*y - b. Is 12 a factor of y?
True
Let k be ((-288)/40)/((-2)/35 + 0). Is 2 + k/3 + 2 a multiple of 8?
False
Let g be 22*(0 - -2) - 0. Let i(y) = 46*y**2 - 7*y - 6. Let m be i(-1). Suppose g = 5*c + 3*q - 14, -4*c - 3*q + m = 0. Does 4 divide c?
False
Suppose 4*o - l - 52 = 0, -o + 4*l - 44 = -6*o. Suppose -1236 = -6*x + o. Does 57 divide x?
False
Let p = 3884 - 1868. Is p a multiple of 42?
True
Let x(c) = c**3 + 21*c**2 + c - 4. Is x(-7) a multiple of 15?
True
Let f = 40 - 38. Suppose 0 = 2*z - f*p - 50, -82 = -4*z + 2*p - 7*p. Is z a multiple of 4?
False
Suppose 267 - 1462 = -5*v. Suppose 0 = -4*a - j + v - 34, -95 = -2*a + j. Does 23 divide a?
False
Let u be 105/(-25)*5/(-1). Let s = u + 6. Is 27 a factor of s?
True
Let u = -134 + 154. Is 548/3 - u/30 a multiple of 14?
True
Does 24 divide (50/30)/5*5679/3?
False
Suppose -3*z + 2*z + 4 = 0. Is 30 a factor of 273 + -1*(z + -1)?
True
Let z = 34 - 25. Is 11 a factor of 2/z + (-932)/(-18)?
False
Let i(g) = -77*g + 689. Is i(-21) a multiple of 16?
False
Suppose -4*o - 96 = -3*c, 4*c + c - 5*o - 160 = 0. Let x = c + -10. Is 22 a factor of x?
True
Suppose -2*k + 5 = 13. Let v = k + 19. Suppose 300 = v*q - 10*q. Is q a multiple of 12?
True
Suppose 0 = 10*a - 12*a. Suppose a = -5*b - 4*q + 706, -b + q + 13 = -121. Suppose -141 = -3*x + b. Does 31 divide x?
True
Suppose -8983 = -59*r + 73912. Is r a multiple of 50?
False
Let i = -11 - -15. Suppose v = i*v, -18 = -3*h + v. Suppose -4*m + h = -18. Is m a multiple of 3?
True
Let c(o) = 63*o**3 + 8*o**2 + 5*o - 9. Let v be c(5). Is (-16)/88 - v/(-33) a multiple of 15?
False
Let p = -133 + 997. Is p a multiple of 14?
False
Let y be 2/(-3) + 42/9. Does 5 divide (2/(-3))/(y/(-114))?
False
Does 91 divide (-1638)/15*(-3440)/258?
True
Let y(s) = s**3 - 5*s**2 + 8*s - 3. Does 11 divide y(5)?
False
Let l be (-1)/((-5)/10) - 1*3. Is 20 a factor of ((-4)/26)/l - 4674/(-39)?
True
Suppose -738 = 4*b - 7*b. Suppose 54 = 5*l - b. Does 12 divide l?
True
Let d(a) = -a**2 - 19*a - 13. Let f be d(-18). Suppose 108 = f*g - g. Does 15 divide g?
False
Suppose -11480 = 4*m - 45*m. Is m a multiple of 28?
True
Suppose 239 = -2*r + 1071. Suppose -2*s + r = -4*c, 1050 = 3*s + 2*s - 5*c. Does 22 divide s/(-8)*(-4 + 2)?
False
Let q(g) = -32*g - 78. Is q(-6) a multiple of 57?
True
Suppose 2*n + 25 = 5*h, 5*n + 10 = 2*h + n. Suppose 1 - 16 = -h*d. Suppose -d*s = 2*s - 495. Does 25 divide s?
False
Suppose -15 = -5*u + 5. Suppose -5*h = -2*l - 79, u*h + 61 = -l - 2*l. Let i = 39 + l. Does 2 divide i?
True
Let v = 31 + 47. Does 13 divide v?
True
Suppose -12 = l - 4*d, 4*l = -l + 2*d - 6. Let r(f) = 0*f - 5*f + 18 + 7*f. Is r(l) a multiple of 6?
True
Suppose 0*o + 5*o + 20 = 0. Let z(v) = -v. Let j(y) = 5*y + 3. Let b(x) = -3*j(x) - 6*z(x). Is 7 a factor of b(o)?
False
Suppose -5*q = 2*k - 101, -q + 72 - 219 = -4*k. Let n = k + 30. Let i = -21 + n. Is 11 a factor of i?
False
Let x(p) = 36*p**2 - 1. Let c be x(1). Let y = c - 21. Let b = 29 - y. Is 12 a factor of b?
False
Let z be (-1)/((5/153)/(-5)). Let w be 1/(-5) + z/15. Suppose -4*m = n - w, 0*n - 16 = -2*n - 4*m. Is n a multiple of 3?
True
Let i(d) = 8*d**2 - d - 4. Let t be 1/(15/(-5))*6. Is 10 a factor of i(t)?
True
Suppose -5 = z + u, 4*u - 44 = z + 3*z. Let o(w) = 4 - 14 + 10 - 4*w. Is 32 a factor of o(z)?
True
Suppose 0 = -2*p - 9 - 15. Let w = 16 + p. Suppose 0 = 5*h - 2*l - 169, 3*l - 124 = -w*h - l. Is h a multiple of 7?
False
Let o(b) = -b + 1. Suppose 2*p = x - 9, 3 = -p - 2*x + 11. Let y(z) = 5*z - 2. Let g(k) = p*o(k) - 2*y(k). Is 8 a factor of g(-1)?
False
Let s = 826 + 290. Is s a multiple of 12?
True
Is (-32)/(-40) - 3064/(-20) a multiple of 22?
True
Let l = 3 - -3. Suppose 0 = j - 3*i + l*i - 44, 3*j + 4*i - 142 = 0. Is j a multiple of 9?
False
Let r = 17 - 17. Suppose r*z = -z + 39. Is 13 a factor of z?
True
Let w = 1580 + -831. Does 14 divide w?
False
Let u be (-66)/8 - (-18 - (-213)/12). Let d(r) = 11*r - 2. Let a(v) = -23*v + 5. Let q(w) = -6*a(w) - 13*d(w). Does 17 divide q(u)?
False
Let j(l) = l - 1. Let q = -19 + 22. Let h be j(q). Suppose -2*c + 15 = -h*r + 107, -4*c + 257 = 5*r. Does 7 divide r?
True
Let n(q) = -q**2 + q + 9. Let r be n(3). Suppose 710 = 7*a - r*a - 2*s, -5*s + 925 = 5*a. Suppose 0 = t - k + 3*k - 50, -4*t = 4*k - a. Is t a multiple of 10?
True
Let c = -633 + 1276. Is 33 a factor of c?
False
Let x = 678 + 1842. Is x a multiple of 63?
True
Let d(z) be the first derivative of z**3/3 + 3*z**2 - 7*z - 6. Let b be d(-5). Is 8 a factor of 24/b*42/(-4)?
False
Let o = -90 + 90. Suppose o = -6*x - 5*x + 154. Is 14 a factor of x?
True
Let v = 277 - 149. Does 8 divide v/1*9/12?
True
Suppose -5*t = -120 - 3025. Is t a multiple of 37?
True
Let u be 2*(-2 + 7/2). Suppose 0 = -4*t + u*t + 2. Suppose -3*m + 50 = t*m. Is 10 a factor of m?
True
Let t be (56 - -1)*(-9)/(-27). Let p = t - 6. Suppose 31 = s + p. Is s a multiple of 14?
False
Let v = -25 - -35. Suppose 1 - v = -3*k. Suppose -3*s = k*g - 243, 0*g + 3 = -g. Is s a multiple of 28?
True
Suppose -5*o - y = -3*y - 45, -4*o = -4*y - 48. Let u(d) = 9*d + 5. Is 17 a factor of u(o)?
True
Is 8 a factor of 8/(-14) + (-221040)/(-504)?
False
Let s(l) = 47*l + 86. Does 32 divide s(5)?
False
Suppose 58 = 4*o - 6. Let k = 11 - o. Does 8 divide ((-13)/k + -3)*-25?
False
Let v be ((-51)/(-2))/((-7)/(-14)). Let k be 34/v - (-10)/(-6). Does 5 divide (-56)/(-4) + (0 - k)?
True
Let u(h) = h. Let b be u(2). Let r be (0 - -10)/(b + 0). Suppose -54 = 3*l - r*l. Does 9 divide l?
True
Let x = 20 - 26. Is (-4 - x)*(-30)/(-4) a multiple of 5?
True
Suppose 119 = -5*z - 4*h, z + 9 = -3*h - 6. Is 9 a factor of 14/(-21) + (-2)/(-3) - z?
True
Suppose -v + 85 + 65 = -5*b, -5*b = v - 100. Suppose 120 = 5*m - v. Is m a multiple of 32?
False
Let d(m) = 3*m**3 + 25*m**2 - 46*m - 26. Let h(z) = z**3 + 8*z**2 - 15*z - 9. Let t(g) = 3*d(g) - 8*h(g). Is t(-11) a multiple of 23?
False
Let t = 342 + -340. Let o(x) = -x**2 + 4*x. Let f be o(4). Suppose f = -t*l + 6*l - 484. Does 23 divide l?
False
Let y(p) = -p**3 + 4*p**2 + 16*p - 13. Let b be 