 - 4*p - 127. Let z = 35 - o. Does 6 divide z?
True
Let l(d) = 2*d + 2. Let b be l(1). Suppose 86 = b*o - 42. Is o a multiple of 16?
True
Let r(y) be the second derivative of y**4/3 - 2*y**3/3 - 3*y**2 - 2*y. Is r(-3) a multiple of 14?
True
Suppose 2*h + 428 = 3*r, 0 = -r + 3*r - 4*h - 280. Suppose 2*u + 40 = r. Does 13 divide u?
True
Does 40 divide 942/(19/9 + (-8)/72)?
False
Suppose 3*p + 2*p = -3*c + 7, 0 = 2*c - 2*p + 22. Does 17 divide (c + -18)*(-4)/2?
False
Let x be (-11)/(-44) + 134/8. Let p = x - 12. Suppose 0*s - 2*v - 17 = -s, -4*s + p*v + 80 = 0. Is 7 a factor of s?
False
Let a be 20/25*(1 - 1974/4). Is 24 a factor of a/(-6) - 8/(-24)?
False
Let o(i) = 15*i - 70. Is o(10) a multiple of 5?
True
Let m(k) = -8*k + 10. Does 23 divide m(-16)?
True
Let o = 1 - 0. Let w be 2 + -2 + (2 - o). Is 18 a factor of (4 + 38 + 1)*w?
False
Let p = -118 + 365. Is p a multiple of 13?
True
Let s = -13 - -22. Suppose s*x + 19 = 10*x. Is x a multiple of 11?
False
Let b(m) = -11*m**3 + m**2 - m - 10. Is 101 a factor of b(-4)?
False
Let f(p) be the third derivative of p**6/60 - p**5/12 + p**4/12 + 2*p**3/3 - 6*p**2. Is 4 a factor of f(2)?
True
Let a(k) = 179*k + 173. Is a(5) a multiple of 12?
True
Let b = 178 + -181. Let f(x) = -3*x**3 - 2*x**2 + 2*x**3 - 3*x + x + 3. Is f(b) a multiple of 14?
False
Let b = -16 - -21. Let a(h) = 7*h - 24. Is 8 a factor of a(b)?
False
Suppose 660 = 4*h + 2*h. Suppose 2*x = 8, -3*w + h = -2*x - 20. Suppose 4*l + 4*d - 168 = 0, l + d - w = -2*d. Is 6 a factor of l?
False
Let x = -18 + 30. Let f(w) = -w**3 + 11*w**2 + 15*w + 6. Does 21 divide f(x)?
True
Let w be (13/5 + -1)/((-2)/(-5)). Suppose 0 = -4*l + 5*f + 338, w*l - 2*f = f + 334. Does 35 divide l?
False
Suppose 0 = 25*w - 2761 - 3889. Is 19 a factor of w?
True
Suppose 5*z - 182 + 7 = 0. Suppose z*w = 37*w - 252. Is w a multiple of 8?
False
Let n = 69 + -64. Suppose w + n*x = 7, -1 = 3*w + 2*x - 48. Does 5 divide w?
False
Suppose 140 = 3*y + 4*t - 435, 0 = 5*y - 2*t - 915. Is y a multiple of 16?
False
Let m = -514 - -727. Is m a multiple of 9?
False
Let z(l) = 37*l - 18. Is 16 a factor of z(10)?
True
Suppose -3*h - 20 + 11 = 0. Let l(t) = -t - 4. Let o be l(h). Is 18*(o - 15/(-6)) a multiple of 14?
False
Suppose -v - 2*r = -14, -3*v + 4*r + 2 - 10 = 0. Let j be ((-180)/(-105))/(v/(-42)). Does 5 divide 2 - (1 + -1 + j)?
True
Is ((-7330)/(-6))/(-10 + (-124)/(-12)) a multiple of 14?
False
Let m(l) = l**3 + 9*l**2 + 8*l + 5. Let i be m(-8). Suppose i*k - 2 = 8. Suppose 5*b = k*b + 78. Is 9 a factor of b?
False
Suppose 15*v + 310 = 20*v. Is v a multiple of 7?
False
Let z(v) = 2*v**3 - 3*v**2 + v + 1. Let x(y) = 1 + 0*y**2 - y**2 + 0 - y**3 + 2*y**3 + y. Let m(l) = -5*x(l) + 2*z(l). Is 12 a factor of m(-3)?
True
Let b = -83 + 93. Suppose 7*i = b*i - 120. Is 5 a factor of i?
True
Let b = -29 - -31. Is 6 a factor of 0 + (b - -1) - 27/(-3)?
True
Suppose 140 + 154 = 3*m. Suppose 0 = -5*f + 112 + m. Does 21 divide f?
True
Suppose -37*a = 5*a - 60060. Is a a multiple of 24?
False
Suppose -2*h - 14 = -20. Suppose r - 242 = -5*a, -h*r + 40 = 3*a - 110. Is a a multiple of 8?
True
Let a = 5222 - 2349. Is 45 a factor of a?
False
Suppose 0 = -5*w + 376 + 959. Let h(c) = c**3 - 7*c**2 + 2*c - 12. Let x be h(7). Suppose -w = -x*i - i. Does 23 divide i?
False
Suppose 4*c - 15 = w, 0 = c - 2*c - 2*w + 15. Suppose s + c*u - 41 = 0, 3*s - u - 174 = u. Does 16 divide s?
False
Suppose 3*n - 46 = 1586. Is n a multiple of 61?
False
Let w(b) = -b**3 - 7*b**2 - 8*b - 8. Suppose -3*s - 12 = 6. Let z be w(s). Suppose -5*n + 5*i = -30, z*i + 0*i = -4*n + 24. Does 4 divide n?
False
Let l be 1 - -11 - (2 + (-2 - 5)). Let j be (6/4)/((-6)/(-8)). Suppose 0 = 2*r - j*h - 7 - 11, 5*h = -2*r - l. Is 3 a factor of r?
False
Suppose -5*a + 238 = 63. Let x be a/(-21) - (-1)/(-3). Is ((-66)/(-55))/(x/(-45)) a multiple of 5?
False
Suppose 0 = f + 2*f - 12. Suppose f*q - 15 = 37. Let n = q - 2. Does 4 divide n?
False
Suppose -5*v + v - 20 = 0. Let p(y) be the first derivative of y**4/4 + 5*y**3/3 - 5*y**2/2 - 11*y - 155. Does 14 divide p(v)?
True
Let k(v) = -v**2 - 7*v - 10. Let i be k(-4). Suppose c - 153 = 5*a, a = -i*c + 4*a + 278. Is c a multiple of 7?
True
Suppose 0 = 5*y + n - 5*n - 1179, 0 = 5*y + 4*n - 1171. Is y a multiple of 49?
False
Suppose -15*m = -473 - 2947. Is 38 a factor of m?
True
Is 46 a factor of (14/14)/((-3)/(-138))*43?
True
Suppose -4*n + 4*i - 9 + 341 = 0, -16 = 4*i. Suppose -2*u - 3*u = 3*o - 401, o - n = -u. Does 22 divide u?
False
Let v be 1268*(-2)/(-40) + 3/5. Suppose -685 = v*l - 69*l. Does 14 divide l?
False
Let d be (54/45)/(3/10). Suppose 3*t - 6*t - d*a + 382 = 0, 2*a + 134 = t. Does 10 divide t?
True
Let l(y) = 90*y**2 - 4*y + 16. Is l(3) a multiple of 50?
False
Let y(s) = s**3 - 5*s**2 - 6*s + 1. Let x be y(6). Let w(g) = -x - 2 - 2 + 0*g + 50*g. Does 23 divide w(2)?
False
Suppose 5*k - 1355 = -5*j, 348 = -3*k + j + 1169. Suppose 131 = v - 2*y, v - 2*y = 3*y + 134. Suppose -5*h + k = 4*d - 24, -2*h - 5*d = -v. Does 18 divide h?
False
Let c(y) = 3*y**2 + 0*y**2 - 3*y - 2*y**3 + 2 + 3*y**3 + 4*y**2. Is c(-6) a multiple of 8?
True
Does 25 divide (65/(-13))/(-20) + 1198/8?
True
Let x = 88 - -5. Is 4 a factor of x?
False
Let n(c) = -9*c - 63. Let v be n(-23). Suppose -3*b = b - v. Is 12 a factor of b?
True
Suppose 8 = 6*u - 22. Suppose u*s = 2*r - 40, r = 2*s + 23 - 1. Is 6 a factor of r?
True
Let i(w) = 3*w - 63. Let u(p) = 4*p - 95. Let t(h) = 7*i(h) - 5*u(h). Is 4 a factor of t(-14)?
True
Does 28 divide (1156/4 - 2) + (-5 - -2)?
False
Suppose 5*c + 5*x = 35, 3*c = -3*x - x + 21. Suppose -2*o - 10 = -c*o. Suppose n + o = 16. Is n a multiple of 14?
True
Let k(f) = -258*f - 17. Is 66 a factor of k(-2)?
False
Suppose -8 = f - 5*f. Let w(c) = 7*c**3 + 6*c**2 + 8*c + 3. Let n(o) = -6*o**3 - 5*o**2 - 7*o - 2. Let u(h) = -5*n(h) - 4*w(h). Is u(f) a multiple of 9?
False
Let h(y) = -10*y - 283. Does 7 divide h(-43)?
True
Suppose -3*t = 3*y - 27, 7*y - 3*t - 37 = 2*y. Suppose 0*j - 2*j + 8 = 0, -5*j = -3*f - y. Suppose -v = u - 49, -f*u + 86 = 2*v - 6*u. Is 23 a factor of v?
True
Suppose q - f - 2*f = -97, -5*f + 20 = 0. Let p = 253 + q. Is 28 a factor of p?
True
Let t be -1 + 5 - (35 - 30). Does 2 divide 36 + -36 - (-6 - t)?
False
Is 5 a factor of ((-24)/16)/((-1)/78)?
False
Let r be ((-1)/(-3))/((-2)/(-24)*-2). Let g(f) = -9*f**3 - f**2 + 2*f + 3. Does 7 divide g(r)?
False
Let k = 24 - 23. Is 6 a factor of k + -1 - 74/(2 + -3)?
False
Suppose -59*b = -60*b + 38. Does 7 divide b?
False
Let x = -60 - -98. Let d = x - 33. Suppose 4*k + 4*z = 36, 3*k - 2 = d*z + 1. Is k a multiple of 4?
False
Let m be (-442)/(-117) - (-2)/9. Suppose -1037 = -5*s - 7*n + m*n, -5*s - n + 1029 = 0. Is s a multiple of 51?
False
Let x be 4/(-6)*(-1 - -4). Let o be 1/(x + (-21)/(-9)). Suppose 3*b - 558 = -o*b. Does 25 divide b?
False
Does 47 divide ((-48)/(-20))/(-6)*12885/(-6)?
False
Suppose 0 = 2*q + 13 - 23. Does 24 divide (q - 7)*183/(-6)?
False
Let d(p) be the third derivative of p**5/60 + p**4/12 - p**3/2 - 2*p**2. Let c be d(0). Is 15 a factor of (-2)/c*102/4?
False
Let i = -13 + 46. Suppose 0 = 2*v - 5*c - i, -5*v + 2*v + 66 = -2*c. Is v a multiple of 6?
True
Suppose 1 = -4*v + 17. Suppose v*r - 48 = -4*i, r - 4*i = i. Is r a multiple of 5?
True
Suppose -6*t + 4*t + 94 = 0. Let w = -22 + t. Suppose -2*a + 4*j + w = -75, 2*j + 154 = 3*a. Is a a multiple of 26?
True
Let g be (76/6)/(17/153). Let d = g + -48. Does 18 divide d?
False
Let y be 0 + 2/(-2) + -5. Let r(d) = 5*d**2 + 12*d + 1. Let o be r(-5). Let u = o + y. Is u a multiple of 15?
True
Suppose -11 = -5*v - 1. Suppose -d + 5*p + 33 = 0, -8*p + 3*p + 21 = v*d. Is d a multiple of 6?
True
Suppose 5*z + 73 = -5*l + 833, 2*z + 164 = l. Is 26 a factor of l?
True
Let a = -9 - -22. Let j = 22 - 66. Let y = a - j. Is y a multiple of 19?
True
Suppose 8*i - 10 = 3*i, 0 = -4*f + 4*i + 8. Suppose 0 = -r + 3, -f*p + 48 = -4*r. Is 3 a factor of p?
True
Let h(c) = c - 21. Suppose -2*t = -t. Let f be h(t). Let z = 29 + f. Does 8 divide z?
True
Suppose 4*d - 14 = -2, 5*d - 384 = -q. Is 6 a factor of q?
False
Let k(o) = 107*o + 174. Is 17 a factor of k(6)?
True
Suppose 0 = -4*v + 7 + 13. Suppose 70 = 2*d - v*l - 104, 4*l - 174 = -2*d. Is 21 a factor of d?
False
Let w =