. Let j = m - -122. Let z = 153 + j. Is z a multiple of 22?
False
Suppose 9*o - 1556 = -170. Is o a multiple of 14?
True
Let c(f) = -1. Let o(s) = 2*s - 10. Let u(h) = -4*c(h) - o(h). Does 7 divide u(-7)?
True
Let r(y) = 2*y**3 - 12*y**2 + 25*y + 48. Is r(8) a multiple of 9?
True
Suppose 15*r + 7251 = -2874. Does 27 divide ((-24)/20)/(5/r)?
True
Let o(y) = -4*y + 1. Let k be o(-3). Suppose -37 + k = 4*q. Does 7 divide 110/4 + q/12?
False
Let k = 26 - 24. Suppose -k*t + 26 + 8 = 0. Does 17 divide t?
True
Does 3 divide (-8)/64*6*-68?
True
Let l = 14 + -9. Is 3 a factor of l*(-26)/10*-3?
True
Let n = -1396 + 1775. Does 2 divide n?
False
Suppose n = -4*n + 10. Suppose n*w - 8 - 4 = 0. Let b(r) = 10*r - 15. Is 26 a factor of b(w)?
False
Let v(k) = -9 - 8*k**2 - 23*k + 8*k**2 - 45 + 2*k**2. Does 33 divide v(19)?
True
Let l(d) = 5*d + 32. Suppose 2*v + v = 5*s - 9, 0 = 5*s + 5*v + 15. Is l(s) a multiple of 17?
False
Let l = 12 - -56. Suppose 4*z - 1048 = l. Does 31 divide z?
True
Let x(l) be the first derivative of -l**7/168 - l**6/120 - l**5/60 + l**3/3 + 1. Let a(z) be the third derivative of x(z). Is 15 a factor of a(-2)?
False
Suppose 5*x - 12 = -2*j + 6*j, -j = 5*x + 3. Let u = -1 - x. Does 7 divide 14 - u/((-1)/2)?
False
Let o = 23 + 0. Suppose 4*a = f + o, 0 = -5*a + 2*f + 12 + 13. Let c(u) = 3*u + 3. Is 12 a factor of c(a)?
True
Does 16 divide -6 + 1 + (-84)/6 + 2819?
True
Suppose -11*o + 9*o = -334. Let j = -118 + o. Is 20 a factor of j?
False
Suppose 3*n - 1020 = 12*a - 9*a, -328 = -n - 2*a. Does 11 divide n?
False
Suppose -4*j + 4*y + 68 = 0, -34 = -3*j + j - y. Suppose 2*z = z + j. Is z a multiple of 10?
False
Suppose -25 = -5*k, 2*w - 5*k = w - 31. Let b be (-3)/w + (-27)/(-6). Suppose 3*t - b*t + 30 = 0. Does 15 divide t?
True
Let m(p) = -3*p + 143. Is 58 a factor of m(9)?
True
Suppose -8*l = -76*l + 107508. Does 31 divide l?
True
Is 35 a factor of -4 - (0 + -565 + 34/34)?
True
Let w(t) = 14*t**3 + 35*t**2 - 25*t - 53. Let l(c) = 5*c**3 + 12*c**2 - 8*c - 18. Let b(x) = 11*l(x) - 4*w(x). Is 13 a factor of b(-10)?
False
Suppose 0 = -3*a + 199 + 1712. Is 10 a factor of a?
False
Let x = 359 + -163. Is 28 a factor of x?
True
Let i(v) = 1169*v - 35. Does 14 divide i(1)?
True
Let t = -96 + 135. Let p = -29 + t. Does 5 divide p?
True
Let y be (138/24)/((-2)/(-8)). Let z = y + 16. Is 8 a factor of z?
False
Let k = -3102 - -3494. Is 4 a factor of k?
True
Is 3405/10*(80/6)/4 a multiple of 35?
False
Let z = -119 - -118. Is 12 a factor of 138 + z + (-1 - 4)?
True
Is (-9 - -1 - (-40)/10) + 1252 a multiple of 16?
True
Let s = -1585 + 2405. Is 4 a factor of s?
True
Let r(h) = -2*h**3 - 6*h**2 + 55*h + 7. Is 23 a factor of r(-8)?
True
Let u(r) = -9*r + 60. Let z be u(6). Let a = 2 - 2. Suppose -z*n + a*n = -96. Is 5 a factor of n?
False
Let g(b) = b**3 - 3*b**2. Let l be g(3). Suppose -5*y - 2*p - 10 = l, -5*p - 23 = -4*y + 2. Suppose 11*q - 8*q - 36 = y. Is 12 a factor of q?
True
Let o(b) = 9*b**2 - 32*b - 145. Does 30 divide o(-5)?
True
Let v(z) = 2*z**2 - 20*z - 44. Is 44 a factor of v(-12)?
True
Suppose 1479 = -3*p + 4*l, 3*p = -4*l - 834 - 669. Let n = -239 - p. Does 13 divide n?
False
Suppose 5*b + 628 = -3*w, -4*b + 567 = -4*w - 313. Let s be (-2)/(-3) - (-43)/3. Is w/(-10) - 9/s a multiple of 16?
False
Let k be (-117)/6*(-2 + -4). Let r = 82 - k. Is 21 a factor of 4/10 - 1071/r?
False
Does 4 divide 406/2 + -7 - 4?
True
Let m(t) = -15 + 19*t + 2 + 1. Is m(4) a multiple of 16?
True
Suppose 0 = -107*l + 105*l - 10, 3*a + l - 2011 = 0. Does 48 divide a?
True
Let o(n) = -386*n + 12. Is o(-2) a multiple of 28?
True
Let y = 290 + 124. Is 6 a factor of y?
True
Let v(n) = 13*n**2 + 165*n - 28. Is 26 a factor of v(-20)?
True
Let h = -648 + 797. Is 26 a factor of h?
False
Suppose 0 = 8*a - 13795 - 405. Does 25 divide a?
True
Suppose 940 = 3*t + 4*c, 0 = -3*t + t - c + 625. Does 13 divide t?
True
Suppose -6231 = -20*h - 231. Is h a multiple of 25?
True
Suppose 2*f - 11834 = -4*k, -3*k + 4*f + 4067 = -4803. Does 26 divide k?
False
Let f(r) = -r**3 + 14*r**2 + 16*r - 10. Let b be f(15). Suppose 512 = 2*z + 4*u, 0 = -3*z + b*u - 4*u + 747. Is z a multiple of 26?
False
Let f(p) = -4*p**2 - 4*p - 10. Let v(c) = -21*c**2 - 21*c - 50. Let u(n) = -11*f(n) + 2*v(n). Does 7 divide u(-6)?
True
Suppose 0 = -5*p + 8 + 2. Suppose 6*s - p*s = -80. Let w = -5 - s. Does 5 divide w?
True
Suppose -4 = 2*x, -16*z + x = -14*z - 2682. Is 7 a factor of z?
False
Let u(t) be the first derivative of -t**2 + 7*t - 3. Is u(0) a multiple of 5?
False
Suppose 42*b + 1044 = 46*b. Is 9 a factor of b?
True
Suppose 3*m = 3*s + 6, 3*m - 2*s - 5 = -3. Suppose 3*h - 15 = 8*h. Does 4 divide (-8 + 3 + h)*m?
True
Let c(a) = 4*a - 17*a**2 - 4 - 15*a**2 + 33*a**2. Is 4 a factor of c(2)?
True
Suppose -3*f + 90 = 2*x, -2*x + 7*x + 175 = 5*f. Does 17 divide f/(-16) + (1 - -52)?
True
Let w = 28 + -19. Suppose w = 2*t - 197. Does 10 divide t?
False
Let a(f) = -113*f + 36. Is a(-5) a multiple of 70?
False
Let f(p) be the third derivative of -p**6/120 - 7*p**5/60 + 5*p**4/12 - p**3/2 + 6*p**2. Let o be f(-8). Let i = o + 32. Is 13 a factor of i?
True
Let s = 9 - -16. Suppose -4*v + v + 198 = -z, -139 = -2*v + 3*z. Let q = s + v. Is 30 a factor of q?
True
Is (12 + 0)/(7/((-56896)/(-24))) a multiple of 63?
False
Suppose -19 = -2*l + 3*g, 0 = -l - 2*l - g + 1. Let k(v) = -v**2 - v**2 - 20 + 0*v**2 - 12*v + 3*v**l. Is k(15) a multiple of 16?
False
Suppose -303 = -23*n + 1215. Is n a multiple of 11?
True
Let d(h) = 1. Let t(u) = -25*u**2 - u - 3. Let k(g) = -5*d(g) - t(g). Is k(1) a multiple of 4?
True
Let h = 6 - 3. Suppose 3*q - 429 + 9 = 2*s, h*q - s = 417. Suppose t - 2*t = 5*w - 206, -3*w + 3*t + q = 0. Is 21 a factor of w?
True
Suppose -2 = -n, -2*q - 3*n = -2*n + 162. Suppose 2*y + 4*x - 194 = 126, 2*x + 4 = 0. Let v = y + q. Does 26 divide v?
False
Let q(g) = -g**3 - 7*g**2 - 13*g - 8. Let z(w) = 3*w - 11. Let r be z(1). Is q(r) a multiple of 32?
True
Let p(i) = -50*i + 700. Is p(6) a multiple of 25?
True
Let k(l) = -4*l**3 - 25*l**2 - 13*l + 14. Does 12 divide k(-7)?
True
Let t(o) = -2*o**3 - 4*o**2 + o - 23. Suppose 5*w = i - 18 - 6, 0 = 5*w + i + 26. Is 36 a factor of t(w)?
False
Let z be (6/3 - 1)/((-9)/(-36)). Suppose -28 = z*u - 496. Does 20 divide u?
False
Suppose 1213 = q - 87. Suppose 12*f - 7*f - q = 0. Suppose -353 = -5*v - 0*d + 2*d, -4*d + f = 4*v. Is v a multiple of 27?
False
Let d = 1 + 2. Suppose -221 = -d*q + 3*z - 4*z, 4*q + 2*z = 298. Is 8 a factor of q?
True
Let j(t) = 258*t**2 - 17*t + 32. Is j(4) a multiple of 12?
True
Let c(q) = -q**2 + 57*q + 58. Does 41 divide c(40)?
True
Let u = 162 - 78. Let j = u - 36. Is 16 a factor of j?
True
Let k be 96/20 - 8/10. Suppose -k*b + 4*v + 272 = 0, 5*b + 4*v = 8*v + 336. Suppose 19 - b = -3*q. Is 15 a factor of q?
True
Suppose -37*c = -3*c - 54978. Is c a multiple of 21?
True
Let t = 29 - 21. Let r = t + 19. Is 11 a factor of -5*5/((-25)/r)?
False
Let j(i) = 5*i + 572. Does 2 divide j(-44)?
True
Suppose -4*m = 3*r, -3*r + 3*m = 4*m. Suppose 6*f - 5*f + 3 = r. Does 6 divide (f - -2) + 45/3?
False
Suppose 114*c = 52*c + 78120. Is 90 a factor of c?
True
Suppose -6*r - 4516 = -10*r. Suppose -5*j = -y - 780, 0 = 5*j + 3*y - r + 349. Is 26 a factor of j?
True
Let t = -265 + 673. Does 17 divide t?
True
Let r(s) = 6*s**2 - 9*s + 150. Is r(9) a multiple of 37?
True
Suppose -2*y - 116 = 4*x, 3*x + 34 + 51 = -y. Does 18 divide (x + 0)/(17/(-102))?
True
Suppose 3*z = 2*k - 1442, 4*k - 983 = z + 1881. Is 11 a factor of k?
True
Let f be (3/(-6))/((-3)/6). Suppose 5*k + 220 = -5*q, -4*k - q - 176 = 2*q. Is 5 a factor of k/(-2) - (f + 1)?
True
Suppose 3*h - 20 = -h. Suppose 5*i - 240 = -h*x, x - 5*x = -4*i - 168. Does 15 divide x?
True
Let v(d) = -2*d**3 + 5*d**2 - d + 4. Let w be v(4). Let x = 2 + w. Let k = x - -73. Is 5 a factor of k?
False
Suppose 4536 = -18*w + 24*w. Does 15 divide w?
False
Suppose -807 = 7*f - 6575. Is f a multiple of 15?
False
Suppose 91*d + 143513 = 422519. Is 21 a factor of d?
True
Does 19 divide (16/4 + -14)/(1/(-171))?
True
Let b = 127 + 53. Suppose 0 = 8*w - 5*w - b. Let z = w + -41. Is z a multiple of 19?
True
Let y be 4*3/36*-6. Let g be (-5)/10*(-60)/y. Does 17 divide (-702)/g - 3/(-15)?
False
Let h be (10 - (-9)/3) + -1. S