e
Let l(v) be the second derivative of 4*v**3/3 - 5*v**2/2 + v. Does 6 divide l(4)?
False
Let l(p) = p**2 - 7*p + 2. Let w be l(4). Let u be w/(-45) - 102/(-27). Suppose u*f = -3*b + 5*f + 316, -4*b - 4*f = -416. Does 15 divide b?
True
Let c(m) = -m**2 + m + 3. Let d(i) = -i. Let b(j) = c(j) + 6*d(j). Let k(p) = 2*p**3 - 21*p**2 - 13*p + 18. Let w be k(11). Is b(w) a multiple of 7?
True
Suppose -4*u + 2*j + 9 = -9, -2*j = -3*u + 16. Suppose -u*s - 650 = -0*v - 5*v, -4*s + 152 = v. Is v a multiple of 11?
True
Suppose 6*l = 7*l - 2. Is (-2 - (-2)/(-5))*(-28 - l) a multiple of 24?
True
Let j = -62 + 65. Suppose 3*p = 3*k - 282, -2*k = j*k + 5*p - 520. Does 7 divide k?
False
Suppose 3*v = -0*v + 420. Suppose -630 = -7*g - v. Is 14 a factor of g?
True
Suppose 4*u = u - 4*m + 30, 4*m = 3*u - 30. Suppose -5*h + u = -5. Suppose h*f - 4 = -2*n + 21, 3*f - 2*n - 5 = 0. Is f a multiple of 2?
False
Is 30 a factor of (-4)/18 - (-289768)/261?
True
Does 16 divide (-38)/133 - (-1227)/7?
False
Let b = -23 + 25. Suppose -b*n + 6 = 0, 4*d + 2*n = 13 + 5. Let x = d + 4. Is x a multiple of 7?
True
Let m(i) be the first derivative of 14*i**3/3 - 13*i**2/2 + 7*i + 3. Let t be m(9). Does 2 divide t/80 + (-1)/(-5)?
False
Suppose -17*m + 1943 = 107. Is 9 a factor of m?
True
Let h(u) = u**2 - 3*u + 4. Let k be h(3). Let m(p) = -7*p + p + p**3 + 2*p - p**2 - 4. Is 14 a factor of m(k)?
True
Let b be ((-8)/(-14))/(1/7). Suppose -b*l = 2*m - 24 + 2, 0 = 5*l + m - 20. Suppose 5*p = l*d - 6*d + 13, 3*p = -d - 1. Is d a multiple of 10?
False
Does 15 divide (1*-9)/((228/665)/(-12))?
True
Suppose 2*i + 12 = 26. Suppose -i*m + 253 = -202. Is 13 a factor of m?
True
Let i(y) = y**3 + 5*y**2 - 2*y - 5. Let p be i(-5). Suppose 2 = -r + p. Suppose -j + 1 = 0, -4*j + 0*j + 88 = r*n. Does 13 divide n?
False
Let r = 19 - 14. Suppose -34 = -6*d + r*d. Suppose 0 = -h + d + 14. Is h a multiple of 16?
True
Let h(o) = 5*o - 1. Let f be h(1). Suppose -3 = -f*q + 29. Is 17 a factor of (q - -1)*104/39?
False
Let a(b) = b**2 + 5*b - 7. Let m be a(-7). Suppose 4*y - m = 17. Suppose -2*x + 9 = j, -2*j - 48 = -y*j - 4*x. Is j a multiple of 10?
False
Let m = 1395 + -667. Is 13 a factor of m?
True
Suppose -15 - 1 = -f. Let s = f - 12. Suppose 0*i - y + 52 = 3*i, -s*y = -i. Is 8 a factor of i?
True
Let g = -42 + 63. Let p = g + -19. Suppose -4*a + 423 = z + 118, -a + p*z + 74 = 0. Is 38 a factor of a?
True
Let d(l) = -7*l**2 - 5*l. Let q(c) = 15*c**2 + 10*c - 1. Let r(h) = -5*d(h) - 2*q(h). Is r(-4) a multiple of 13?
False
Let r(f) = -11*f - 34. Let q(y) = 4*y + 12. Let t(s) = -8*q(s) - 3*r(s). Is t(1) even?
False
Let w be (10/(-25))/(1/85). Let r = -18 - w. Is r a multiple of 9?
False
Suppose 0 = -5*b - 0*b + 65. Suppose -13*y + b = -390. Is y a multiple of 14?
False
Let r = 42 + 66. Suppose -108 = -3*l - l - 4*s, 4*l = -2*s + r. Is 25 a factor of l?
False
Let t = 291 - -4. Is t a multiple of 26?
False
Let n(p) = -p + 20. Let v be n(19). Does 2 divide 1/(-3)*v*-90?
True
Suppose 0 = -3*b + 2*b + 6. Let p(q) = q**3 + q - 147. Let a be p(0). Is 4/b - a/9 a multiple of 13?
False
Let x(o) = 15*o**2 - 7*o - 10. Let c = 25 - 28. Is x(c) a multiple of 24?
False
Let q(l) = 29*l**2 - 1. Let w be q(-2). Suppose w = -0*c + c + 5*b, 4*c + b - 536 = 0. Is c/6*(3 + -1) a multiple of 19?
False
Suppose 0*p = -p. Suppose 4*r + 3*o = 17, 4*r - 4*o = 5*r - 1. Suppose -2*y + 122 = 5*w - p*y, 4*w + r*y - 101 = 0. Is w a multiple of 8?
True
Suppose -9*s - 2554 + 7738 = 0. Suppose -72 = 3*x - 3*h - s, -3*x + h = -504. Is x a multiple of 21?
True
Suppose -5*d + 2*d + 18 = 0. Let h be 2 + 2 + d + -7. Suppose 6*x - x = c - 15, 125 = h*c + 5*x. Is 15 a factor of c?
False
Let s be ((-3 - -4)/(-1))/1. Let d = 20 - s. Is 7 a factor of d?
True
Let w = 9 - 13. Suppose -3*p = 2*p - 30. Let t = p + w. Does 2 divide t?
True
Suppose -4*i - 5 = -25, -4*b = 2*i - 8046. Is 41 a factor of b?
True
Suppose -199*m = -200*m + 150. Is m a multiple of 15?
True
Let f(a) = -20*a + 7. Let m(i) = i**2 - 22*i + 18. Let u be m(21). Does 13 divide f(u)?
False
Suppose -33*z = -2637 - 23037. Does 31 divide z?
False
Let q(t) = 2*t**2 - 3*t - 7. Let l = 2 + 4. Suppose m + 3*m + 31 = -5*s, 2*s - 3*m - l = 0. Is q(s) a multiple of 8?
False
Let n(h) = 54*h + 2. Suppose m - 11 = 5*d, -d - 7 = -5*m - 0*m. Does 28 divide n(m)?
True
Let n(m) = 2*m**3 - 26*m**2 + 7*m - 117. Does 6 divide n(14)?
False
Let i = 31 - 39. Does 9 divide (-1 - -7)/(1*i/(-84))?
True
Let d = -221 - -423. Is d a multiple of 17?
False
Let t = -84 - 16. Let h = -59 - t. Does 8 divide h?
False
Suppose 12*c - c = 44. Suppose -c*l - 4*u = -l - 180, -4*l + 240 = -5*u. Does 5 divide l?
True
Let o(n) = -n + 6. Let f be o(4). Let z(r) = 3*r - 2 + 1 + f - 2*r. Is 5 a factor of z(4)?
True
Let o(b) = 229*b**2 - 5*b - 4. Let r be o(-3). Suppose -5*j = 2*y - r, 3*y + 116 + 295 = j. Does 15 divide (-26)/65 - j/(-10)?
False
Let b(d) = d**2 - 5*d - 10. Let l be b(7). Suppose l - 6 = -2*v. Does 12 divide 45 + 1 - (v - -1)?
False
Let x(p) = -175*p + 353. Is x(-5) a multiple of 22?
False
Suppose 3*i - j - 17 = 0, 5*j + 17 = 2*i - 4*i. Suppose 5*u = 20, 0 = -5*d - i*u + 348 + 328. Does 17 divide 60/18*d/10?
False
Suppose -5*k = 4*a - 105, -2*a - 5*k = -3*a - 5. Suppose 4*j - a = -0. Suppose -m - 42 = -4*y, 7 + 3 = -j*m. Is 3 a factor of y?
False
Let u(h) = -19*h + 73. Is u(-10) a multiple of 24?
False
Let z(f) = -f**3 - 2*f**2 + 5*f + 4. Let t be z(-4). Let s(h) = -3*h**2 + h - 1. Let v be s(-1). Let b = t - v. Is 7 a factor of b?
True
Let j = -453 + 683. Is j a multiple of 13?
False
Let n(o) = -18*o**3 - 6*o**2 - 9*o - 8. Is n(-3) a multiple of 11?
True
Suppose 51*k - 148614 = 4*k. Does 51 divide k?
True
Let h be (-894)/(-18) + 4/12. Let p = 140 - h. Is 9 a factor of p?
True
Suppose 0 = 415*v - 420*v + 25, 3*v = -5*j + 10635. Does 59 divide j?
True
Is 0/(-6 + 5) - -3455 a multiple of 26?
False
Let u(z) = z**3 + 10*z**2 - 2*z - 14. Let f = -20 - -10. Let q be u(f). Suppose -d = -15 - q. Is 7 a factor of d?
True
Let m(t) = 4*t**2 + 11*t + 11. Let j be ((-12)/10)/(1/(-5)). Is m(j) a multiple of 13?
True
Suppose 7*n - 140 = 994. Is n a multiple of 17?
False
Suppose -108 = -3*q + 51. Is q a multiple of 16?
False
Let d(c) = -c**3 - 7*c**2 - 11*c - 70. Does 34 divide d(-10)?
True
Let i(p) = p + 6. Let w be i(-4). Suppose 0 = -w*h + 4*h. Suppose -r = -5*f - 40, 2*r = -h*r + 5*f + 80. Does 20 divide r?
True
Suppose 52*h - 11*h = 11316. Is h a multiple of 23?
True
Let m be 4*((-3110)/100)/((-4)/(-10)). Let y = -149 - m. Is 9 a factor of y?
True
Suppose 3*u - 707 - 1417 = 0. Is u a multiple of 78?
False
Let t = -2116 - -3139. Is t a multiple of 10?
False
Suppose 0 = -4*b + 4, 2*g - 22 = 3*g - 4*b. Let h = g - -38. Is 5 a factor of h?
True
Suppose -5*n + 498 = 2*q - 165, 0 = 4*n - 12. Is q a multiple of 12?
True
Suppose 0 = -x - 2*x + 6. Suppose -220 = -x*n - 82. Is 23 a factor of n?
True
Is 1810 + (-7)/7 + 6 a multiple of 38?
False
Let d(x) = 34*x + 1. Let h be d(1). Let o be h/2*168/10. Suppose -2*j + 174 = 3*v, -3*j + o = 5*v - j. Does 30 divide v?
True
Let z(u) = 5*u**2 + 4*u - 2*u + 48*u**2 + u. Is 7 a factor of z(1)?
True
Let f(q) be the first derivative of -q**4/4 + 5*q**3/3 + q**2 + 19*q + 15. Does 8 divide f(5)?
False
Suppose -3*g - 3*r + 5*r - 19 = 0, 3*g + 5*r = 16. Let a be 1/4*-7*4. Is 2 a factor of g/(a/4 + 1)?
True
Let r = 25 - -48. Suppose -9 + r = 2*d. Is d a multiple of 21?
False
Let v(f) = -15*f**2 - 3*f + 2. Let p(b) = 30*b**2 + 5*b - 4. Let s(k) = 4*p(k) + 7*v(k). Let q be s(2). Suppose 3*d + q = 5*d. Is 14 a factor of d?
True
Let u = 56 + -26. Suppose -4*i = 5*m - u, -21 = -2*i + 5*m + 9. Suppose -4*c + 4*t + i = 2*t, c + 5 = 3*t. Is c a multiple of 4?
True
Let h(b) = 21*b**2 - 8*b - 28. Does 8 divide h(-4)?
False
Let f = 2 + 2. Let m(n) = 4*n - 31. Let h be m(36). Suppose 3*t - h = f. Does 17 divide t?
False
Let a(g) = -5*g - 8. Let m be a(-7). Suppose -4*f = -7 + 67. Let l = m + f. Is 8 a factor of l?
False
Let x be (-3)/((-24)/(-28))*24/(-21). Let h = -2 + 5. Suppose -5*s + s = 5*w - 113, x*s = h*w - 55. Is 7 a factor of w?
True
Let z = -202 + 110. Let l = 160 + z. Does 10 divide l?
False
Suppose -3*b = -b - f - 29, 2*f - 14 = -2*b. Let g be (-2)/5 + 214/10. Suppose -3*h + g = -b. Does 11 divid