x + 5*b = -11, -3*x + 7 - 2 = 4*b. Suppose -282 - 34 = -x*t - h, 3*h - 528 = -5*t. Is t a multiple of 35?
True
Suppose 5*n = 2*o + 272, 4*n - 186 = -4*o + 54. Suppose -2*u - 4*k = -182 - n, -2*k = -8. Is 37 a factor of u?
True
Suppose -19*t - 576 = -25*t. Is 8 a factor of t?
True
Suppose 0 = -17*m + 4681 - 1196. Is m even?
False
Let q(p) = 26*p**2 + 32*p - 26. Is q(-9) a multiple of 10?
False
Let w = 159 + -111. Is 25 a factor of w?
False
Let s(h) = h**3 - 5*h**2 - 13*h + 4. Is s(-2) a multiple of 2?
True
Let g(z) = 10*z + 290. Is g(0) a multiple of 29?
True
Suppose 0 = 7*f - 20*f + 1170. Does 9 divide f?
True
Let f = -67 + 104. Suppose 6*m = -666 + 840. Let v = f - m. Is v a multiple of 8?
True
Let q(f) = -2*f + 11. Let v be q(6). Does 13 divide -2 + v + 5 - -50?
True
Let o(k) = k - 9. Let u be o(9). Suppose u = l + 1, 2 = i - 5*l - 6. Suppose i*m + 0*m = 30. Is m a multiple of 3?
False
Let t(d) = d**3 - 2*d**2 - 3*d + 5. Let k be 0/((-4)/(-5 - -1)). Let o(r) = r + 4. Let j be o(k). Is t(j) a multiple of 9?
False
Suppose -z + 5*w - 12 = 0, 3*z + 2*w = -3*w + 64. Suppose -11*j = -z*j + 40. Is 4 a factor of j?
True
Let b(s) = 10*s**2 - 5*s + 7. Is 14 a factor of b(7)?
True
Suppose -3*n - 4132 = -194*r + 190*r, 5*n - 20 = 0. Is 28 a factor of r?
True
Suppose 5949 = 32*f - 18147. Is 8 a factor of f?
False
Suppose 2218 + 632 = 5*j. Does 10 divide j?
True
Let p(g) = -3*g**2 - g + 4. Let v(i) = -i**2 + 1. Let s(t) = -p(t) + 2*v(t). Let z be s(2). Let u = z + 9. Is u a multiple of 9?
False
Suppose 3*t = -2*t + 3*d + 207, -4*t + 4*d = -164. Is 6 a factor of (-1)/(3/t*-2)?
False
Suppose -98 = -3*r - l, -2*l = -2*r + 48 + 20. Does 38 divide (3/2)/(r/3124)?
False
Let p = 42 - 34. Let v = 4 - 2. Suppose 3*s + 13 = v*c, 2*c + 5*s = 3*s + p. Is c even?
False
Suppose 2*p = -3*k + p - 166, 0 = 4*k + p + 222. Let y = k - -133. Is y a multiple of 11?
True
Let f(y) = y**3 - 4*y**2 + 3*y - 9. Let l be f(4). Suppose 11*p - 2940 = -l*p. Does 42 divide p?
True
Let y = -408 + 666. Let u = 424 - y. Let m = u + -118. Is m a multiple of 12?
True
Suppose 4*h - 4 = -0*h + 2*n, -4*n = 16. Let i be h/(-1*(-3)/(-792)). Suppose x + i = 7*x. Is 11 a factor of x?
True
Let z(x) = 26*x**2 - 110. Is z(-8) a multiple of 54?
False
Let t = 6 - 1. Let o = 27 - t. Is 22 a factor of o?
True
Is 60 a factor of (-5*70/(-125))/(4/2330)?
False
Let w be (-24)/10 - (-2)/5. Let c = 3 - w. Suppose 0 = 5*n + c, -2*n + 24 = 2*x - 6*n. Is x a multiple of 5?
True
Let m(g) = -10*g + 22. Let c be m(-7). Let s = -104 - -62. Let i = c + s. Is i a multiple of 12?
False
Suppose 4*h + b + 3333 = 6*h, 4*b + 1663 = h. Is h a multiple of 31?
False
Is 20 a factor of ((-70)/(-19 - -12))/((-1)/(-20))?
True
Let a = -218 + 366. Is a a multiple of 37?
True
Let y = -9 + 11. Suppose -2*z = 4*o - 322, 674 = 6*z - y*z + 2*o. Is 21 a factor of z?
False
Let k(x) = 46*x + 12*x**2 + x**3 + 7*x**2 + 32 + x**2 - 17*x. Is k(-18) a multiple of 23?
False
Suppose 5 = -3*n + 8. Does 16 divide 2/(-1 - n) + 10 + 30?
False
Suppose -4*h + 36 = -3*l, 6 = 5*l + 2*h + 92. Let c = l + -26. Let w = -23 - c. Is 11 a factor of w?
False
Let y(z) = 13*z**3 + 5*z**2 - 6*z + 2. Suppose -1 = -3*i + 5. Is y(i) a multiple of 14?
False
Suppose -4*n + 3*w = -164, 6*w - 2*w + 16 = 0. Let a = -49 + 34. Let p = n + a. Does 23 divide p?
True
Is (-4)/6*(-1 - -13)*-44 a multiple of 16?
True
Let c(q) be the first derivative of -3 + 4 - 16*q**2 - 8*q + 1 + 24*q**2. Is 18 a factor of c(5)?
True
Let a = -18 + -18. Let z be (-6)/a - 250/(-12). Is z*((-4)/6 + 1) even?
False
Let d(m) = 2*m**2 - 11*m - 598. Is 61 a factor of d(32)?
True
Suppose -2*o + 0*o = -246. Let u = o + -68. Is 15 a factor of u?
False
Let y(u) = u**2 - u - 1. Let k(r) = 6*r**2 - 3*r - 4. Let f(m) = -k(m) + 5*y(m). Let q be f(-1). Suppose -a + q*a = -24. Is a a multiple of 24?
True
Let l = -1 - 30. Let q(h) = -9*h + 7. Let d be q(-6). Let i = l + d. Does 15 divide i?
True
Let k = 1584 + -407. Is k a multiple of 14?
False
Let u(z) = -z**3 - 2*z**2 - 2*z - 1 - 4*z**2 - 6. Let d be u(-6). Suppose 35 = d*q - 5*l, 5*q + 4*l - 70 = 2*l. Is 3 a factor of q?
True
Suppose 586 = -11*x - 173. Let m = x + 93. Does 8 divide m?
True
Let l be 4/(-2) - (-1 - 4). Let a = l - 39. Let h = a - -59. Is 9 a factor of h?
False
Suppose -26*j + 47*j = 29022. Is 36 a factor of j?
False
Let f = -1243 + 5123. Is 97 a factor of f?
True
Suppose -7*s = -3*s - 4060. Suppose s = 6*d + 205. Is d a multiple of 15?
True
Let l be 0 + 2 + -1 - (-1)/1. Suppose l*q = 3*f + 96, 2*q = -3*f + 4*f + 100. Is 8 a factor of q?
False
Let s = 88 - 84. Suppose -s*w + 333 = -3*i, 2*i = -5*w + i + 421. Does 28 divide w?
True
Suppose 255*x = 217*x + 27702. Is x a multiple of 9?
True
Let x be (-433)/(-3) - 4/12. Suppose 5*l = l + x. Does 10 divide (-8)/l + 202/18?
False
Suppose 5*c = 3*d - 88, 4*c - 2 = -2*d + 20. Does 7 divide d?
True
Let q(d) be the third derivative of -d**4/24 + 16*d**3/3 - 9*d**2. Is 3 a factor of q(21)?
False
Let h = -854 + 1732. Is h a multiple of 7?
False
Is 4/(0 + (-10)/(-235)) a multiple of 9?
False
Let l(c) = -2*c - 14. Let r be l(7). Does 18 divide (-14)/r - 35/(-2)?
True
Let g = -255 - -255. Let h(p) = -p**3 - 3*p**2 - 3*p - 2. Let l be h(-2). Suppose -4*k + 40 + l = g. Does 3 divide k?
False
Suppose 4*m = 5*i - 1, -5*m + 17 + 3 = -2*i. Suppose 5*v + m*v - 704 = 0. Is 5 a factor of v?
False
Suppose 2*x - q = 766, -2*x - 6*q = -10*q - 772. Is 29 a factor of x?
False
Let w = 169 + 171. Does 25 divide w?
False
Suppose 0 = 8*x - 4*x - 220. Suppose -49*h + x*h - 726 = 0. Is 11 a factor of h?
True
Let x(q) = 48*q + 24. Let b(t) = -25*t - 12. Let f(g) = 5*b(g) + 3*x(g). Is f(2) a multiple of 25?
True
Suppose 4*s + 4*v = -104, 4*s - 3*v + 144 = v. Let a = 243 - s. Does 11 divide a?
False
Let r(o) = -3*o**3 + 88*o**2 + 6*o + 14. Is r(29) a multiple of 20?
False
Let r(z) = -z**3 - 3*z**2 - 9. Let n be r(-4). Suppose -122 - 214 = -n*i. Does 8 divide i?
True
Suppose 0 = 2*v + 7*b - 9*b - 1118, 2*b - 1657 = -3*v. Is v a multiple of 15?
True
Let m = -858 + 1216. Let l = m - 194. Is l a multiple of 41?
True
Let b = -16 - -80. Let q = b - -4. Is q a multiple of 8?
False
Let k = 279 + -179. Is k a multiple of 20?
True
Suppose -4*r + 300 = -2*l, -2*l - 3*l - 20 = 0. Let q = r - 28. Does 7 divide q?
False
Let r(l) = 87*l**2 + 6*l + 21. Is r(-3) a multiple of 6?
True
Suppose 703 = 2*t - 1977. Suppose -41*r - t = -46*r. Is 38 a factor of r?
False
Suppose 2*i - 4*f - 812 = 0, -4*i - 2*f + 1594 = -0*f. Does 16 divide i?
True
Let j = -86 - -166. Is 4 a factor of j?
True
Suppose -57*t = -52*t - 1320. Suppose -8 = 4*a - 20. Is 4/a*t/16 a multiple of 11?
True
Suppose 5 = -7*a + 19. Is 14 + a - (-2 - 25/(-5)) a multiple of 13?
True
Let z(w) = w**3 - 26*w**2 - 47*w - 5. Is z(28) a multiple of 9?
False
Let c(v) = -v**2 - v + 1. Let g(q) = q**3 + 4*q**2 - 16*q + 1. Let b(a) = 5*c(a) - g(a). Is b(-11) a multiple of 21?
False
Let x(h) be the second derivative of 5*h**3/2 - 21*h**2/2 + 4*h. Let f(u) = u + 1. Let v(y) = 18*f(y) + x(y). Is 13 a factor of v(2)?
False
Suppose -3*t - 61 = -1276. Is 27 a factor of t?
True
Let n(b) = -28*b**3 + 3*b**2 - 4*b - 13. Is 34 a factor of n(-3)?
True
Let h(n) = 231*n - 63. Is h(3) a multiple of 28?
False
Let c(q) = q**3 + 6*q**2. Let x be c(-6). Suppose x = 3*l - 7 - 23. Is l a multiple of 5?
True
Suppose -6*x + 5 = -7. Suppose -3*j - x*j = -180. Is j a multiple of 17?
False
Let z(o) = -o**3 - 22*o**2 + 11*o + 56. Is z(-25) a multiple of 69?
True
Let h be (-8)/(-24)*-3*(1 - -1). Let w(g) = 11*g**2 + 2*g + 8. Is w(h) a multiple of 4?
True
Let r(z) = -72*z - 257. Is 11 a factor of r(-8)?
True
Suppose -84 = -3*o + 12. Let k = o - -25. Is k a multiple of 31?
False
Let o(l) = l**3 - 3*l**2 + 3*l - 4. Let t be o(3). Suppose -8*y + 3*i = -13*y + 251, -i = 3. Suppose t*h - 217 = -y. Is 20 a factor of h?
False
Suppose 47 = h - 2*h. Suppose -17*u + 1030 = -7*u. Let q = u + h. Is 28 a factor of q?
True
Let n(y) = y. Let u be n(7). Suppose 5*x + 8 = u*x. Suppose 0*m - m + x = 0, m - 40 = -2*c. Does 6 divide c?
True
Let r(w) = -2*w**3 - 34*w**2 - 77*w + 30. Is r(-18) a multiple of 27?
False
Let g(u) = -1068*u - 65. Does 43 divide g(-3)?
True
Suppose 0 = 4*i - 0*i + 108. Let d = 35 + i. Is d a multiple of 8?
True
Let y be (