**2 - 62*l + 95. Is a(-42) a multiple of 5?
True
Suppose -3*z - z = 2*o - 18, -2*z - 3*o + 19 = 0. Suppose z*u - 5*u = -24. Does 2 divide u?
True
Does 2 divide (-7130)/(-217) - 2/(-14)?
False
Let v(q) = 3*q**2 - 5*q - 1. Let u be v(4). Suppose 5*p = -2*a + u, -3 = -a - 0*p + p. Is 4 a factor of a/(-12) + 34/4?
True
Let u = 36 - 17. Let c(t) = t**2 - 14*t + 1. Is 24 a factor of c(u)?
True
Let p(f) = -f**3 + 19*f**2 + 18*f + 86. Does 5 divide p(19)?
False
Let f = 12 - 9. Suppose -f*k = k - 400. Let x = k + -26. Is x a multiple of 16?
False
Let v be 2 + (-4)/(4/(-3)). Suppose -v*d = -5*p + 3951 - 15136, 6721 = -3*p + 5*d. Is 12 a factor of p/(-60) - 1/5?
False
Let x(s) = s**3 + 3*s**2 - s + 1. Let p be x(-3). Suppose -p = 5*l - 14. Suppose 110 = l*a + 22. Is a a multiple of 11?
True
Let y(l) = -8*l**3 + l**2 + l - 1. Let w be y(-2). Let x be (8/(-10))/((-13)/w). Suppose x*u + 5*s = s + 64, 3*u = -5*s + 40. Is 10 a factor of u?
True
Let p be 16/6 - (-2)/(-3). Suppose -p*w - 3*u = u - 24, 4*w = -4*u + 60. Is w a multiple of 6?
True
Let b = -677 - -1439. Is b a multiple of 50?
False
Suppose 5*i = -2*x + 2*i + 538, -5*x - 3*i = -1354. Is 34 a factor of x?
True
Suppose 8*z + 618 - 7786 = 0. Does 58 divide z?
False
Let q(l) = l**3 - 3*l**2 + l + 27. Let t(i) = -i**3 + 7*i**2. Let m be t(7). Is q(m) a multiple of 9?
True
Suppose -4*g + 285 = -2*n + 87, -254 = -5*g - 4*n. Suppose z = -4*z - g. Is (288/20)/((-3)/z) a multiple of 30?
False
Suppose -3*h = 13 - 1, 2*h = 3*r - 11. Let y(p) = 2*p**2 - 7*p - 8. Let v(s) = s**2 + s - 1. Let b(c) = r*y(c) - 3*v(c). Is 7 a factor of b(-7)?
False
Let b = -370 + 708. Is 13 a factor of b?
True
Suppose 0 = -3*c + 242 - 92. Let s = -34 + c. Is s a multiple of 3?
False
Is (-5*1 - (-8697)/13) + -1 a multiple of 51?
True
Let p be 9 - (1 - 4) - -1. Suppose -4*y = -v - 10, 2*v = -2*y + p - 3. Suppose h - 96 = -v*h. Does 16 divide h?
True
Let y = -353 - -1690. Is 10 a factor of y?
False
Let d(u) = 594*u**2 - 71*u - 148. Is d(-2) a multiple of 13?
False
Let i(l) = -l**3 + 6*l**2 + 2. Let x be i(6). Suppose 0 = -12*q + x*q + 660. Does 6 divide q?
True
Suppose -z - 2*x = -9, -z + 4*x = 1 + 8. Suppose -z*p + 87 = -3*d, 4*d = -0*p - 2*p + 76. Is 8 a factor of p?
True
Suppose i = 3*x + 171, 3*i - 22 - 43 = x. Let c = 127 + x. Suppose -k + c = -38. Is 29 a factor of k?
False
Let w be ((-2)/3 - 0)/(12/(-270)). Suppose 9*h - w*h = -246. Is h a multiple of 8?
False
Let s be 14/(-21) - (-412)/6. Suppose -s = -3*j + 2*j. Is j a multiple of 23?
False
Suppose 0 = 10*q + 18*q - 48244. Is q a multiple of 13?
False
Let t = -17 + 15. Let o be (-39)/t*12/18. Let c = o - -15. Is c a multiple of 7?
True
Let l(p) = 2*p**2 + 6*p + 8. Suppose -11 = -w + r, -2*w - 27 = -4*w + 3*r. Let d be (0 - 1)/(1/w). Is 22 a factor of l(d)?
True
Suppose 0 = -7*z + 8*z + 126. Let j = z - -198. Does 18 divide j?
True
Suppose -7*p = -4*p + 84. Let v be p/49 + (-498)/(-14). Let u = v + -22. Is u a multiple of 8?
False
Suppose 0 = -4*s - 2*u + 1330, -10 + 665 = 2*s - u. Is s a multiple of 10?
True
Let w = 88 + -73. Suppose -4*o - w - 5 = 0, p - 3*o = 105. Is 9 a factor of p?
True
Let s = -31 - -42. Suppose -12*n + s*n + 114 = 0. Does 19 divide n?
True
Let n = 85 - -10. Does 5 divide n?
True
Let q(c) = -38*c**2 + 3*c + 2. Let i be q(-1). Let t = i - -43. Let x = 24 - t. Is x a multiple of 12?
False
Suppose 3*w + 0 = 24. Let k = 10 - w. Suppose -3*r + 75 = k*r. Is 5 a factor of r?
True
Suppose 4*g - 6 = g. Let c be (199 + 0)*(-42 + 43). Suppose -g*p + c - 27 = 0. Is p a multiple of 32?
False
Let x = 363 + -55. Is 77 a factor of x?
True
Let g be (-125 + 7 + 3)*2/(-2). Let j = g + -62. Does 12 divide j?
False
Let m(q) = -9*q**3 + 5*q**2 + q - 24. Let g be m(4). Let s = -219 - g. Does 19 divide s?
False
Let b be (24/(-20))/(2/(-5)). Suppose 8 = 5*h + b. Does 12 divide 13/1*h + -1?
True
Let r be (693/28)/(1/4). Suppose -f + 3*t - r = -3*f, 3*f - 146 = -5*t. Is f a multiple of 6?
False
Let t(b) = 2*b + 6. Let f = 53 + -41. Is 7 a factor of t(f)?
False
Let h(t) = -9*t + 6. Suppose 3*a + 2 = 2*n - 25, -5*n = -a - 22. Does 23 divide h(a)?
True
Suppose -15*n + 3015 = -1395. Does 2 divide n?
True
Does 21 divide 7/((-140)/8) - 1262/(-5)?
True
Let f(m) = -9*m**3 + 6*m**2 + 15*m - 1. Does 4 divide f(-3)?
False
Let l(t) = t + 9. Let v be l(-5). Suppose w + v*w = 0. Suppose w = 3*y - 2*y - 23. Is y a multiple of 20?
False
Suppose 8*j - 1470 = 3*j. Let i = j - 192. Is 34 a factor of i?
True
Suppose -365 = -4*o - 5*v, v = -3*o + 216 + 44. Is o a multiple of 8?
False
Suppose 10803 = 87*o - 74*o. Is 51 a factor of o?
False
Suppose p - 35 = u, 5*p + 18 = -u + 1. Let k(c) = 6*c**3 + 3*c**2 - 2*c + 1. Let o be k(2). Let f = u + o. Does 11 divide f?
False
Let g(f) = -f**2 + 10*f + 6. Let h(s) = -s - 2. Let y be h(-12). Let o be g(y). Is (15/o)/((-2)/(-60)) a multiple of 25?
True
Let k = -3 - -10. Let z be (-6)/(k/(28/(-8))). Suppose o + z*j - 24 = 0, -2*o + j + 28 = -20. Is 6 a factor of o?
True
Suppose 4*y - 21 = 11. Is 2 a factor of (-3 + 28/y)/((-1)/(-6))?
False
Suppose 2*a - 30 = -4*i, -2*a = a + 5*i - 50. Let o = -21 + a. Does 3 divide (8 - o) + 30/5?
False
Let y be (-1 + (-1)/(-3))*-3. Suppose 3*b = -10 - y. Is (4 - 6)*26/b a multiple of 3?
False
Does 13 divide (-2)/12 + 441870/468?
False
Let h(b) = b**2 - 21*b - 46. Let c be h(23). Suppose c = -2*z - 47 + 107. Is 6 a factor of z?
True
Suppose 5*n - n + 32 = 4*h, 0 = 3*n - 6. Let m(x) be the first derivative of x**3/3 - 4*x**2 + x - 2. Is m(h) a multiple of 7?
True
Let c(v) = -4*v**2 + 4*v - 7. Let p be c(-7). Let s = p - -430. Does 20 divide s?
False
Let r = 10 + 208. Is r a multiple of 23?
False
Let k = 40 + -76. Let f = -15 - k. Is f even?
False
Suppose -5*w + 4 = -11. Suppose -f - 3*k - 9 = 0, 2*k - 4 = -w*f - 3. Suppose -f*i - 2*i + 505 = 0. Is i a multiple of 28?
False
Let b(w) = 60*w - 45. Let y be b(16). Suppose 15*x - 3645 = y. Is x a multiple of 19?
True
Suppose 65 = 5*c + 2*r, -4*r + 5 + 35 = 4*c. Let x = c - -33. Does 16 divide x?
True
Let o(k) = 2*k + 4. Let f be o(0). Let d(n) = 8*n - 11. Let t(j) = -15*j + 22. Let p(m) = -7*d(m) - 4*t(m). Is p(f) a multiple of 3?
False
Suppose 20 = -0*d - 5*d, -4*t + 412 = -4*d. Is t a multiple of 16?
False
Let l(y) = -y**3 - 14*y**2 - 35*y + 30. Is 4 a factor of l(-13)?
True
Let z = -3 - 1. Does 4 divide (-102)/z*(-46)/(-69)?
False
Let h(s) = s - s**2 - 9*s - 6*s + 2*s - 16. Is h(-4) a multiple of 15?
False
Let n = 111 - 34. Is n a multiple of 5?
False
Let t(l) = 867*l - 24. Is 41 a factor of t(2)?
False
Suppose 144*s - 141*s - 6852 = 0. Is 47 a factor of s?
False
Let g = 716 + -338. Is 18 a factor of g?
True
Suppose b = -0*b + 14. Suppose -3*y - b = -2*p - y, -2*y = -4*p + 24. Suppose -p*i = 4*n - 44, -6*n = -2*n - 2*i - 44. Is n a multiple of 6?
False
Let i(c) = c - 2. Suppose 0*l - 2*l + 2*g + 20 = 0, 4*l - 25 = g. Let n be i(l). Suppose 2*b - n*v - 92 = -5*v, -4*b + v + 204 = 0. Is 27 a factor of b?
False
Suppose 4*w = -0*w - 148. Is (-3 - -1)/(2/w) a multiple of 27?
False
Let t(m) = 96*m**3 + 3*m**2 + 6*m - 16. Is 29 a factor of t(2)?
False
Let x = -104 - -152. Is x a multiple of 8?
True
Let a(r) = -7*r - 2. Let y(u) = -1. Let x(f) = a(f) + 2*y(f). Does 9 divide x(-7)?
True
Let l(x) = -129*x - 325. Is 40 a factor of l(-16)?
False
Let b = -13 - -31. Let p(n) = -n**3 + 17*n**2 + 18*n + 11. Is p(b) a multiple of 11?
True
Let n = 0 - -3. Suppose n*h - 9 = -5*r, 21 = -0*r + 5*r - 3*h. Does 8 divide 2 + -8 + r + 29?
False
Let m = 2 - -52. Suppose 6*n = 5*n + m. Is 18 a factor of n?
True
Suppose 65*h = 4*n + 67*h - 2960, -3*n + 2*h = -2234. Is 25 a factor of n?
False
Suppose w - 33*m - 387 = -35*m, 4*w = -2*m + 1542. Is 7 a factor of w?
True
Let p(x) = 6 + 3 - 12 - 8*x - 13. Let g be p(-11). Does 3 divide (6/9)/(16/g)?
True
Suppose 2*t - 582 = -2*c, -t = 3*t + 4. Is c a multiple of 24?
False
Let m(p) = -88*p**2 - 17*p + 9. Let q(k) = 22*k**2 + 4*k - 2. Let a(t) = -2*m(t) - 9*q(t). Let z be a(1). Let h = z - -26. Is h even?
True
Let r = 277 + -193. Is r a multiple of 14?
True
Let f = 33 + 2. Let x = -3 + f. Does 4 divide x?
True
Suppose -s + 28 = -2*k, -4 = -s - 0. Let n be (-18)/k - (-6)/4. Suppose -2*p + 340 = n*p. Is p a multiple of 15?
False
Suppose 3*k = 183 + 237. Is k a multipl