*o + 8 - g, 5*o = -2*j + 480. Is j a multiple of 26?
False
Let f = 2809 - 1999. Is 10 a factor of f?
True
Suppose m + 695 = 3*h, -m - 131 = -h + 100. Let n = -64 + h. Is n a multiple of 8?
True
Let p(n) = 20*n**3 + 4*n**2 - 4*n + 3. Let j(y) = y**3 + 2. Let u be j(0). Is 19 a factor of p(u)?
True
Let g(d) be the first derivative of -3*d**2 + 11*d - 413. Let h(m) = 2*m + 2. Let s be h(-3). Does 7 divide g(s)?
True
Let m = 1148 + 6790. Is m a multiple of 98?
True
Suppose 1622*c - 1652*c = -299700. Is 90 a factor of c?
True
Suppose 13*b = 47779 + 16298. Is b a multiple of 53?
True
Suppose 4*f = -2*f + 18. Suppose -8*t + 7*t + 14 = 4*q, 0 = 2*t - f*q - 6. Suppose 618 = 12*a - t*a. Is 5 a factor of a?
False
Let m be 1 + 4 + 2 + 1 + 18. Suppose 0 = 9*q + m*q - 4025. Is q a multiple of 2?
False
Let z be 285/(-75) + 2/(-10). Let i(x) = 34*x**2 - x - 4. Does 8 divide i(z)?
True
Suppose 14*h - 9653 = 8477. Is 17 a factor of (h/111)/(2/6)?
False
Let w = -76 - -71. Let v be (-1)/(((-5)/(-122))/w). Let r = 337 - v. Is 23 a factor of r?
False
Let l be ((-18)/(-16))/(-3) - 182809/(-88). Suppose 0 = -4*x - 3*g + l, 2*x = 5*x - 5*g - 1565. Is x a multiple of 13?
True
Let h(o) = 11*o**3 - 13*o**2 - 3*o + 6. Suppose 79 = 5*w + 59. Does 49 divide h(w)?
True
Let g = 6 + -176. Is 1*-5*2414/g a multiple of 17?
False
Let v(o) = -o**2 - 35*o - 130. Is v(-18) a multiple of 8?
True
Suppose 4*w = 3*u + 40, 112 = -3*u - 5*w + 27. Let c(z) = z + 4. Let o be c(u). Let h = o + 19. Does 3 divide h?
True
Let m = 47857 - 30608. Is m a multiple of 93?
False
Let k = 143 + -69. Let u = 37 - k. Let l = 68 + u. Is l a multiple of 4?
False
Let h(y) = 31*y**2 + 24*y - 9*y**3 - 21 + 8*y**3 - 21*y**2. Let p = -24 + 33. Does 46 divide h(p)?
True
Suppose -12*d = -47*d + 280. Suppose -3*m - 2042 = -2*y, 7*m - 4 = d*m. Is 45 a factor of y?
False
Suppose -36*t + 38*t + 196 = 0. Let n be (-3)/(-7) + 82558/t. Is 21 a factor of (-8)/48 + n/(-12)?
False
Does 94 divide (-36)/48*-4636 + (-1 - -2)*-6?
False
Suppose -7*v - 91105 = -19*v + 7*v. Does 12 divide v?
False
Suppose 5*t = -2*i + 25, -3*t + 5*i - 2*i + 15 = 0. Let u(l) = 11*l - 30. Let z be u(4). Suppose 0*p + 4*p - 32 = 2*o, -z = p + t*o. Does 6 divide p?
True
Suppose 8 = -3*q - 280. Let m = 155 + q. Does 28 divide m?
False
Suppose -1762 = -2*z - 5*m, -1994 = 4*z + 5*m - 5508. Let f = -426 + z. Does 18 divide f?
True
Let f = 60 - 76. Let i be ((f/(-6))/2)/(3/(-36)). Let o(m) = -m**2 - 19*m - 19. Is o(i) a multiple of 7?
False
Suppose -2*o + 2 = 0, -78*o = 3*h - 79*o - 22214. Is 5 a factor of h?
True
Let o = -30 - -55. Suppose -u + 6*z - 2*z + 22 = 0, 0 = -5*z + o. Is u a multiple of 3?
True
Let j = 4 - 1. Suppose -j*i + 3*k = -k, -i + k = 0. Suppose x - 3*x + 84 = i. Is x a multiple of 14?
True
Let z be (-36)/(-10)*(15/6 - 5). Let o(d) = -6*d + 0*d - 11 + 22*d + 3*d**2. Is o(z) a multiple of 22?
True
Let f be 1/((-8)/5 - 9/(-15)). Is 4 a factor of 1932/42 - (3/f + 0)?
False
Is (-212147)/(-91) - 8/42*18/12 a multiple of 9?
True
Let a(w) = 19 + 11 + 10*w**2 - 39 + 39. Does 10 divide a(-7)?
True
Let c(j) = 2*j**3 + 34*j**2 - 16*j + 4. Let h be c(-15). Suppose 0 = m - 2*y - 2*y - h, 0 = -m + y + 1138. Is m a multiple of 71?
True
Suppose 0 = -7*m + 331 + 502. Let w = m - 75. Does 22 divide w?
True
Let j(b) = 395*b**3 + 88*b**2 - 370*b + 20. Is 14 a factor of j(4)?
True
Suppose 0 = -3*l - 2*l - 225. Suppose w = 3*w - 10, 3*m - 2*w + 13 = 0. Let z = m - l. Is 11 a factor of z?
True
Suppose -5*g - 732 + 102 = 0. Let d(o) = -2*o**2 - 30*o - 40. Let f be d(-16). Let r = f - g. Is r a multiple of 18?
True
Let j(a) = -560*a - 447. Does 113 divide j(-15)?
False
Let y = -818 - -3023. Suppose 33*j = 12435 - y. Does 12 divide j?
False
Is 66 a factor of 4114 + (-3 - (-18 + 1))?
False
Suppose 233 = 4*n + 33. Let c = 55 - n. Suppose -400 = -c*w - 0*w. Is 12 a factor of w?
False
Does 57 divide (-156165)/(-9)*(-945)/(-525)?
False
Suppose 15 = 13*d - 10*d. Suppose y + 2*l + d = 19, -27 = -3*y - 3*l. Suppose 3*r - y*o - 241 = -2*r, 0 = 5*r + 4*o - 249. Does 16 divide r?
False
Let l(f) = f**2 + f + 7. Let c be (-1 - -1) + 3 + -3. Let u be l(c). Suppose -u*k + 43 = -412. Does 13 divide k?
True
Let n(p) = -p**2 - 12*p - 41. Let k be n(-8). Let r be (1/(-2) - k/(-18)) + 1. Suppose -5*o = -r*o - 600. Does 8 divide o?
True
Let u(s) = 3*s**3 + 2*s**2 + 3*s - 5. Let q be u(1). Suppose -p + q*d = 3*p - 2105, 0 = 2*d - 10. Is 14 a factor of p?
False
Let s be (-4 - (-3 - 2))*4. Let n be s/20 + (-356)/(-20). Suppose -13*l = -n*l + 160. Is l a multiple of 9?
False
Suppose 66 = 5*z + 41. Suppose 5*n - 15 = f, 3*n - z*f + 10*f = 37. Suppose 0 = -n*a + 2*u + 280, 3*a - 33 - 177 = -u. Is 10 a factor of a?
True
Let i(a) = 17*a + 73. Let t be i(-4). Suppose -t*s = 5*c - 7*c + 500, 4*c = -2*s + 1024. Is c a multiple of 51?
True
Let b = 42 + 521. Let r = b + -303. Is (1/2)/(5/r) a multiple of 4?
False
Let b be ((-96)/30)/(-1) + (-2)/10. Suppose -b*t + 0*u - 5*u = -1887, 2*u = -t + 630. Is 39 a factor of t?
True
Suppose 576*p - 579*p = -10710. Does 7 divide p?
True
Suppose 28*s - 17461 = -5141. Suppose -284*g + 279*g = -s. Is g a multiple of 18?
False
Suppose 16 = -2*y + 5*a, 4*a = -2*y + 26 - 6. Suppose 221 = y*m + x, -8*m + 9*m - 4*x = 88. Is 27 a factor of m?
True
Suppose 26 = f + 23. Suppose 3*q + f*h + 24 = 0, 3*q - 2*h = -0*h - 14. Let v(z) = 2*z**2 + 4*z + 2. Is 9 a factor of v(q)?
False
Suppose 0 = -5*o - 15*r + 10*r + 125, 4*o = -r + 109. Suppose 5*y + 25*x - 394 = o*x, -3*x = y - 68. Is y a multiple of 4?
False
Suppose 0 = 4*z + 3*h - 303, -31*z + 30*z + 82 = 2*h. Suppose z*b + 7616 = 79*b. Is b a multiple of 64?
True
Let f(n) = n**3 + 6*n**2 + 4*n + 6. Let m be f(-7). Let i = -31 + m. Is (-40)/(-8) - i/2 a multiple of 8?
True
Let z = 2990 + -1558. Does 8 divide z?
True
Let q be (-8)/3*204/(-8). Suppose -4*c - 247 = 3*w, 469 = -5*w - 4*c + q. Let m = w - -129. Is 13 a factor of m?
True
Suppose 0 = 14*u - 10 - 60. Suppose w + 5*z - 880 = 0, -4*z + 4312 = u*w - z. Is w a multiple of 86?
True
Let d(a) = 158*a**2 - 88*a - 900. Is d(-8) a multiple of 74?
True
Let c(s) = -141*s - 699. Does 35 divide c(-11)?
False
Let l be -5 + (-2 - (-5 + 4)). Let u(d) = -2*d + 22. Let c(v) = -3*v + 45. Let k(t) = l*c(t) + 11*u(t). Is k(-12) a multiple of 5?
True
Let w(a) = -a**3 - 19*a**2 + 36*a + 69. Is w(-28) a multiple of 117?
False
Let c(l) = 21*l**2 + 527*l - 4. Does 40 divide c(9)?
True
Let l be (-4)/10*-11 - 2/5. Is 30 a factor of (-1)/l - (-313)/4?
False
Suppose 169*y = -168*y + 355*y - 162504. Does 106 divide y?
False
Suppose -3*f - 2*f = l - 170, -3*l = 5*f - 560. Suppose -h + 1119 = l. Is h a multiple of 8?
False
Suppose 4*n + 133238 = 5*o, 42*o - 5*n + 53315 = 44*o. Is o a multiple of 26?
True
Suppose 4216 = 20*d - 12*d. Suppose s + d = o, 976 + 78 = 2*o + 2*s. Is o a multiple of 19?
False
Let f(d) = 2018*d**2 - 84*d - 214. Is f(-3) a multiple of 7?
True
Let p = -5068 - -13158. Is p a multiple of 7?
False
Let i(x) = 1789*x - 5276. Does 22 divide i(13)?
False
Let k(y) = -y**3 + 10*y**2 - 2*y. Let d be (78/8)/3 + 7/(-28). Is 8 a factor of k(d)?
False
Let h(z) = -3173*z**3 + z**2 - 3*z - 4. Is 155 a factor of h(-1)?
False
Let a = 135 - 170. Suppose 8 - 13 = 5*k. Does 7 divide -4 - (a + 4) - k/1?
True
Let c(y) = y**3 + y**2 + 3*y + 100. Let k be 9 - (-15)/(-3) - 4. Suppose k*d - 2*d = 0. Is 27 a factor of c(d)?
False
Let q = 365 + -362. Suppose q*a = -15*a + 2628. Is a a multiple of 3?
False
Suppose 2*f - f - 235 = 5*s, 5*f - 235 = 5*s. Let z = -140 - -83. Let t = s - z. Does 5 divide t?
True
Let t(f) be the third derivative of 0*f**3 - 71/8*f**4 + f**2 + 0 + 0*f. Does 54 divide t(-1)?
False
Suppose -3*v - 13*t + 14*t = -93180, -5*v + 2*t + 155301 = 0. Does 17 divide v?
True
Does 10 divide (-16)/(-248) - (-781630)/62?
False
Suppose 0 = 21*t - 166 - 86. Is 40 a factor of 7029/t - 3/(-12)?
False
Suppose -352878 = -88*i + 246930. Is i a multiple of 142?
True
Let v be ((-2)/(-6))/(-6 + 59230/9870). Suppose -v = 15*b - 989. Is 7 a factor of b?
False
Suppose -330 = 4*d - 1122. Suppose -3*k + d = 54. Suppose i = -3*x + 45, 0 = 3*x - i - k + 9. Is x even?
True
Let s(m) = 69*m - 126. Let g(a) = -10*a + 18. Let x(f) = 15*g(f) + 2*s(f). Is 6 a factor of x(-11)?
True
Let p = 3 - 12. Let s(q) be 