 t(b) = -b**2 - 12*b + 8. Let y be t(-13). Is g(y) a multiple of 8?
True
Let t(s) = 30*s + 2. Let w be t(3). Let o = w - 110. Is 34 a factor of (642/o - -3)*-6?
False
Suppose g - 6*g = -4*r - 2500, -4*g + 5*r = -1991. Suppose -2*o = -10*o + g. Is 2 + (o - 1) - -4 a multiple of 17?
True
Suppose 53*n + 8046 = 56*n. Suppose 173*o - 179*o = -n. Is o a multiple of 24?
False
Suppose 150*s + 77068 = 154*s. Is 98 a factor of s?
False
Let b(u) = -u**3 + 11*u**2 + 51*u - 12. Let n be b(13). Let x = n - 122. Does 6 divide x?
False
Suppose 1 + 3 = 2*x - 2*s, x = -2*s - 10. Let f be -1*(9/x + 4)*0. Suppose -5*p - 230 + 845 = f. Is p a multiple of 24?
False
Suppose -3*s = 4*l - 516, -l + 3*l = -2*s + 342. Does 7 divide s?
True
Suppose w = 2*j - 1, 2*w = 1 + 9. Suppose 15 = -j*z, -u + 5*z = -5*u + 395. Is 15 a factor of u?
True
Let d be 33*(-3)/(-2 - -11). Let w be (-4)/22 - (-2 + 134/d). Is ((-792)/w)/(((-33)/(-14))/(-11)) a multiple of 27?
False
Let d(g) = 13 + g**2 - 12*g + 3*g + 11*g + 2*g. Let o be d(8). Suppose -4*m - 2*c + 142 = 0, -3*m + c + o = -0*c. Does 14 divide m?
False
Let u be (-1)/2 - (-72)/16. Suppose 3273 = u*v + 393. Suppose -y = 7*y - v. Does 17 divide y?
False
Let s be 128/(-80)*(-10)/8. Suppose -16*u + 2*k = -17*u + 109, -s*u + 5*k = -173. Is 11 a factor of u?
True
Suppose h + 1417 = 2*s - 4*h, s - h = 707. Let b = s - 436. Is b a multiple of 54?
True
Let p(k) = 39*k**2 + 24*k**2 + 83 - 42*k**2 - 7 - 9*k - 7*k. Is p(6) a multiple of 46?
True
Let c(v) = -v**3 - 8*v**2 + 7*v - 12. Let j be c(-9). Let b(y) = -24*y + 190. Does 6 divide b(j)?
False
Let q(a) = 63*a**2 - 4*a. Let c(i) = -11591*i**2 + 737*i. Let s(k) = 4*c(k) + 737*q(k). Is 29 a factor of s(-2)?
False
Let r(z) = z + 37. Let t be r(-17). Let c(s) = -s**2 + 18*s + 39. Let k be c(t). Is (3 - k)/((-2)/(-4)) a multiple of 7?
False
Let z(b) = -11*b - 99. Let j be z(-10). Suppose -12*u + 25 = -j*u. Is 4 a factor of u?
False
Suppose 0 = g - 2*g + 4. Suppose g*v = 2*p - 144, 5*v + 84 + 204 = 4*p. Does 6 divide p?
True
Suppose 0 = -3*t + 2*u + 43667, -337*t - 29130 = -339*t - u. Does 44 divide t?
False
Suppose 4*z - 26652 - 10520 = -4*s, 3*z + 46489 = 5*s. Does 16 divide s?
True
Suppose -5*i - 13*w = -16*w - 5925, -w = 3*i - 3555. Let b = i + -811. Is b a multiple of 17?
True
Let j(x) = 597*x**3 - 2*x**2 + 3*x - 2. Let k be (7/21)/((-3)/(-9)). Let r be j(k). Let z = r - 177. Does 53 divide z?
False
Suppose 5*g + 27*b = 28*b + 30880, g = 3*b + 6176. Does 16 divide g?
True
Let f(q) = q**3 - 18*q**2 + 45*q + 5. Let j be f(15). Suppose -o - 2*l + 504 = -j*l, -5*o - 5*l + 2460 = 0. Does 9 divide o?
True
Suppose 0 = 4*b - 12, 4*u + 7 = 5*b - 20. Is (u - 4)*(3 - 2 - 46) a multiple of 43?
False
Suppose -n = 2*m - 4, 0*n + 2*m = 4*n - 26. Suppose -12 = x - 5*x. Suppose o + x*g - 52 = n*g, -2*o + g = -109. Is o a multiple of 17?
False
Suppose 0 = 2*u + 3*h + 1, u = -5*h - 11 - 0. Suppose 5*i + 1 = -2*q, -2*i - 2*i = u. Suppose -2*x + 4*v + 88 = -q, -3*x + 168 = 5*v. Is 8 a factor of x?
False
Let p(l) = 22*l**3 - 26*l**2 + 10*l - 1. Is p(7) a multiple of 8?
False
Let o(p) = -627*p - 1482. Is 6 a factor of o(-6)?
True
Let g(x) be the second derivative of x**4/12 - 19*x**3/6 + 49*x**2/2 - 3*x. Let c be g(20). Is (0 - (-1 - 176))/(c/46) a multiple of 25?
False
Let m(n) = 592*n**2 + 327*n - 2590. Is 142 a factor of m(8)?
True
Suppose 53*x = 46*x + 511. Suppose -980 = x*n - 80*n. Is n a multiple of 28?
True
Let r = 190 + -477. Let m = 324 + r. Does 9 divide m?
False
Let q be (3 + -4)/(-1) + 1. Suppose 0 = -a + 3*a + q*a. Suppose 2*k + y - 11 - 4 = a, -3*k + 3*y = -18. Is 7 a factor of k?
True
Let c(p) = 2*p - 10. Suppose -16 = -d + 2*g - 1, -12 = -3*g. Is 6 a factor of c(d)?
True
Suppose 4*u = -3*j + 354 - 22, 2*u - 544 = -5*j. Suppose 2*f = h + 508, -h - j = f - 359. Does 19 divide f?
False
Let m = 9 + 27. Suppose 0 = d - 14 - m. Let i = d + -40. Is 3 a factor of i?
False
Let k = -1737 + 1682. Let r(x) = -x**2 - x + 3. Let s be r(11). Let i = k - s. Is i a multiple of 7?
False
Suppose 72*w = 82*w - 250220. Is 17 a factor of w?
False
Suppose 468 = 5*q - 3*n, -q = 2*q - 3*n - 282. Suppose 0 = q*m - 87*m - 864. Is 18 a factor of m?
True
Is ((-15)/(5 - (2 + 4)))/(3/62) a multiple of 27?
False
Suppose 3*t = -848 - 223. Let k = t - -749. Does 8 divide k?
True
Let p = 121 + -116. Suppose 0 = 5*w - 10, -p*c + 2*w + 275 = -1001. Is 16 a factor of c?
True
Let x be ((-58)/(-145))/((-1)/15 - 0). Let f = 10 + x. Is 2 a factor of f/(-8) - 18/(-4)?
True
Let u = -23 + 28. Suppose 5*t - 3*a = 18, u*t - 9 - 1 = -5*a. Suppose 0 = -4*w + t*w + 105. Does 21 divide w?
True
Let d = 8052 - -14124. Suppose d = 9*i + 27*i. Does 11 divide i?
True
Let w be (-1)/2 + (-7)/(-2). Let o be (-420)/(-69) + 44/(-506). Is 214/o - w/(-9) a multiple of 6?
True
Let a be 36 - 0/(3/3). Let y be (-21)/27 + (-8)/a. Does 12 divide (-189)/y + (11 + -5 - 8)?
False
Let l = 22378 - 12203. Is l a multiple of 155?
False
Suppose -w - 8*z = -11*z - 33, -z = 5*w - 181. Suppose 0 = -5*x + w + 24. Is 10 a factor of 2132/x - (-2)/(-6)*2?
False
Suppose 0 = -7*u - 6*u - 195. Let z = 165 - u. Is z a multiple of 18?
True
Let q(p) be the first derivative of 3*p**4/4 + 2*p**3/3 + p**2/2 - 10*p + 19. Let s be q(5). Suppose 0 = 3*v - 0*v - s. Is v a multiple of 28?
True
Suppose -5*g - 3*p - 34 = 0, -g - 2*p + 4 = -3*g. Does 52 divide (-750)/(-2) + g/5?
False
Let l(o) = 23*o**3 - 18*o**2 + 8*o + 11. Let t(a) = 10*a**3 - 7*a**2 + 4*a + 5. Let k(n) = 2*l(n) - 5*t(n). Let d be 0/(-1) + (-24)/6. Is k(d) a multiple of 12?
False
Let d = -3282 - -3280. Let w be 1/(2/(-10)) - -1. Is (-137)/(-2) - d/w a multiple of 23?
False
Let v(o) = 32*o**3 + o**2 - o + 10. Let p be v(3). Is 24 a factor of (p/(-22))/((-7)/3 + 2)?
True
Suppose -1509 - 2980 = -5*a + 586. Is 3 a factor of a?
False
Suppose 0 = 15*h - 13*h - 14. Let s be -3 - ((-3)/h - (-195)/(-35)). Suppose -5*x = s*r - 196, 0*x = -3*x - 3. Is 20 a factor of r?
False
Let g be -61*(-1)/(-1)*2. Let l(a) = 318*a**3 - a**2 + a + 3. Let n be l(-1). Let u = g - n. Is u a multiple of 39?
True
Suppose -8*b - 1554 = -22*b. Let z = b + -57. Is z a multiple of 7?
False
Suppose -u + 154 = -139. Suppose -j = 5*w - 281, 3*j + 2*w - u = 2*j. Does 43 divide j?
True
Suppose 6*w + 0*w = w + 15730. Is 13 a factor of w?
True
Let i(g) = -g**3 + 58*g**2 - 345*g - 58. Is i(48) a multiple of 13?
True
Let l(v) = -108*v - 448. Does 4 divide l(-11)?
True
Suppose 0 = -d - 3*i + 3, 2*d + 5 = i + 4. Let r(l) = -l**3 + l**2 + 9*l + 846. Does 13 divide r(d)?
False
Suppose -d - 2*h - 9 = -32, h = 2. Let l(v) be the first derivative of -v**2/2 + 40*v - 2. Is 21 a factor of l(d)?
True
Let d = 10232 + -6618. Is 13 a factor of d?
True
Let j(l) = -39*l + 6*l + 120 - 23 + 38. Is 86 a factor of j(-28)?
False
Let l = 62 - 2. Suppose 5*c - 8*c = l. Let b = 285 - c. Does 34 divide b?
False
Suppose k + 2 = 4. Suppose 2*x = -6 + k. Is (-258)/(-18) + (-2)/(-12)*x a multiple of 2?
True
Let b be 2*(13 + 4)*2. Let s be (-129)/3*(-4)/((-28)/7). Let k = b + s. Is k a multiple of 5?
True
Let m = -47334 + 101430. Does 14 divide m?
True
Let l = 53039 + -34742. Is 9 a factor of l?
True
Let b = -837 + 1632. Is b even?
False
Suppose -3*l = 2*q - 4, -q - 12 + 1 = -5*l. Let y be (182/(-20) + (-4)/10)*l. Let x = y + 36. Is 17 a factor of x?
True
Suppose w + 18 = -2*w. Let c(n) = -1. Let q(k) = 12*k + 120. Let b(l) = -72*c(l) - q(l). Is b(w) a multiple of 8?
True
Suppose 78*v - 84*v + 438 = 0. Let l be (1*-11)/((-2)/10). Let n = v - l. Does 6 divide n?
True
Suppose 0 = -44*q + 40*q - 440. Let f be (5016/q)/((-3)/10). Let x = f - 113. Is 21 a factor of x?
False
Suppose 487459 - 53814 = 87*u - 229034. Is 15 a factor of u?
False
Suppose 4*v = 2*k - 1 - 15, -3*k + 18 = -4*v. Suppose -k*y = -266 - 848. Does 20 divide y?
False
Let h = 109 + -95. Let o(g) = -g**3 + 17*g**2 - 36*g + 17. Does 4 divide o(h)?
False
Let i(m) = -54*m**3 + 6*m**2 - 3*m + 27. Is 7 a factor of i(-4)?
True
Let o(l) = -l**3 - 24*l**2 - 16*l + 37. Let j be o(-23). Let c = j + 118. Let i(g) = g**2 + 10*g + 34. Is i(c) a multiple of 10?
True
Let w(t) = -300*t + 8. Let q be w(-2). Suppose -q = 32*y - 40*y. Is 19 a factor of y?
True
Suppose 0 = -74321*f + 74341*f - 1172000. Is f a multiple of 50?
True
Let y(s) = 3*s**2 -