5*n = -q + 6670, 2*q = 6*n + 2237 + 11111. Is q a multiple of 8?
True
Let r = -644 + 354. Suppose -6*n = 11*n - 8*n - 4716. Let x = r + n. Is 18 a factor of x?
True
Let d = -8675 - -13446. Is 57 a factor of d?
False
Suppose -4*x + 2*s + 24406 = 0, 211*x - 6119 = 210*x + 4*s. Does 7 divide x?
False
Let k(j) = -j**2 - 39*j - 125. Let x be k(-28). Let w = 365 - x. Does 13 divide w?
True
Let d = 125 - 125. Suppose 7*n + d*n = 1589. Is n a multiple of 11?
False
Let q = 1 - 0. Let f be (-1 + q)/((6 - 2) + -6). Suppose -s + 2*b - 2 = f, 0*s + 3*s - b - 14 = 0. Is s even?
True
Is 240 + (-1 + -35)/(-3) a multiple of 21?
True
Let u(b) = 16*b**2 - 2*b - 7. Let w be u(5). Let o = w + -230. Suppose 14*r - 99 - o = 0. Does 6 divide r?
True
Let p = 16146 + -7221. Does 17 divide p?
True
Is (-2521)/(-5 - 8/(-2)) + 8/(-2) a multiple of 22?
False
Let h(f) = -19*f - 895. Is 3 a factor of h(-103)?
True
Suppose 46*m = -87*m + 410305. Is 15 a factor of m?
False
Let h(s) = -s**2 + 39*s + 13. Let j(y) = -2*y**2 + 76*y + 27. Let f(r) = -11*h(r) + 6*j(r). Does 4 divide f(20)?
False
Suppose 227*n = 1741292 + 874429. Does 31 divide n?
False
Let g be (-84)/(-70)*10/6. Suppose 5*a + g = -5*s + a, s - 2 = -2*a. Is 11 a factor of (118/s)/(2/(-2))?
False
Suppose 3*n - 8*f + 3*f - 8950 = 0, n - 2980 = f. Is 2 a factor of n?
False
Suppose 0 = 4*c - 17 - 3. Suppose 14 = -3*q + c. Is 12 a factor of q - (-18)/8 - (-609)/12?
False
Let b(d) = 14*d - 28. Let k be b(8). Suppose 3*y + 4*m - 8 = k, -28 = -2*y + 4*m. Does 8 divide y?
True
Let d be (2/2 + 0)*-3. Let f be (0 + 12)/d + 48. Let n = 105 - f. Is 10 a factor of n?
False
Suppose 3*r + 116 = t, t - 443 = -3*t + 5*r. Suppose -13*k + 73 = -5. Suppose k*c - t = -35. Does 4 divide c?
True
Suppose -2*m - 5 = -3*j, 2*j + 3 = 9. Let y be m/(-12) + (-2443)/(-6). Suppose -4*a + 68 + y = -5*r, -4*r = -2*a + 242. Does 57 divide a?
False
Does 33 divide -363*(12/(-2) + 120/25)*5?
True
Let r(i) = -i**3 - 2*i**2 + 5*i - 1. Let o be r(-4). Suppose -o*b = -4*b - 308. Does 2 divide b?
True
Let d(b) = 11*b**2 - 11*b - b**3 + 3*b**3 - 3*b**2 - b**3 - 6. Let r be d(-8). Let j = r + 7. Does 25 divide j?
False
Let j(m) = m**2 - 15. Let h be (-3)/(-2)*20/(-6). Let s be j(h). Let t(g) = g**2 - 7*g - 9. Does 21 divide t(s)?
True
Suppose 2*b = -20 - 32. Let p = 32 + b. Let z = p + 34. Does 8 divide z?
True
Let s(t) = -26*t - 19. Let l be s(-2). Let z = -31 + l. Let k(m) = 33*m**2 - 2*m + 4. Is k(z) a multiple of 12?
True
Suppose 4*n = -5*a - 5, 4*n - 6*n = 5*a + 5. Let f be 32 + (-1)/5*-5. Suppose -h = -3*l - 4*h + 33, 3*l - h - f = n. Is l a multiple of 2?
False
Suppose 4*a = i + 14 + 2, 5*i = 3*a - 12. Suppose 4*y + i*y = -4*o, 2*o = -4*y + 8. Suppose -j = y*c - 113, -3*c + 24 = j - 85. Is j a multiple of 13?
False
Let k = -44 - -47. Suppose s + 0 = -k*l - 1, -5*l + 3 = 4*s. Does 18 divide ((-2)/(-6)*l)/(5/(-270))?
True
Let c(b) = -b**2 - 21*b - 13. Let d be c(-22). Let j = d - -37. Does 28 divide (-32)/18 + j - 5232/(-27)?
False
Suppose -5*p + 2659 = 3*x, p + 3530 = -19*x + 23*x. Suppose 3*v - 220 = 2*o - x, 0 = 3*o - 4*v - 996. Is o a multiple of 27?
False
Suppose -r - 4*o + 29 = 0, -4*o + 51 = 4*r - o. Suppose d - 5*f = 414, -r*f - 1292 = -3*d - 4*f. Suppose 6*g - d = 275. Is 29 a factor of g?
False
Let j = -1812 + 1080. Let q = j - -1476. Does 62 divide q?
True
Let n be (-1 + 297/15)*20. Let c = -88 + n. Is c a multiple of 32?
True
Suppose 645 = -5*m + 2*m. Let o = -85 - m. Let n = o + -120. Is 5 a factor of n?
True
Let v = -70 + 66. Is ((-16)/12)/(v/846) a multiple of 15?
False
Let l(v) = 21 + 2*v + 0*v + 22. Let f(b) = 30*b**2 + 360*b - 7. Let d be f(-12). Does 29 divide l(d)?
True
Suppose 20*g - 23*g + 3*p + 10836 = 0, -2*p = 5*g - 18025. Is 15 a factor of g?
False
Suppose 3*m - 2*d = 596, -3*d + 4*d = -3*m + 602. Let y be 960/m + 8/(-10). Suppose -361 = -3*j - y*p, -4*j + p = -2*j - 237. Is 8 a factor of j?
False
Suppose 4*a + 5*h - 98040 = 0, -142*a + 49020 = -140*a - h. Is a a multiple of 258?
True
Let f = -82 + 189. Let t = 778 - f. Is t a multiple of 13?
False
Let a = -853 - -1430. Suppose a*l - 576*l = 141. Does 14 divide l?
False
Suppose -4*p = 9*p - 32704 - 9351. Is 11 a factor of p?
False
Suppose 2*z - 3638 = 6*n - 4*n, 5*z - 4*n - 9092 = 0. Is 7 a factor of z?
False
Let u = -1208 - -3338. Let r = 3487 - u. Does 59 divide r?
True
Let s(o) = o**3 - 8*o**2 + 4*o + 3. Let f be s(6). Let c = f - -57. Suppose -3*g - 156 = -3*k, 5*k + c = -2*g + 237. Does 24 divide k?
False
Suppose -1160 = 5*d - 6*m + m, 4*d + 910 = -5*m. Let t be 12/(-114) - d/19. Let x(z) = z - 4. Is 6 a factor of x(t)?
False
Let n = -768 - -1089. Let z = n - 261. Is 10 a factor of z?
True
Let z(a) = -a**2 - 18*a - 51. Let f be z(-4). Suppose 2*o - o + f*w - 890 = 0, 2*o - 1738 = 4*w. Is 7 a factor of o?
True
Let u(g) = 18 + 3*g - 2*g + 34. Is u(14) a multiple of 9?
False
Let k(a) = -3*a**3 - 1. Let v(w) = 175*w**3 - 13*w**2 + 13*w + 3. Let z(l) = 4*k(l) + v(l). Is 18 a factor of z(1)?
True
Let v be ((-18)/(-18))/((-1)/(-4)). Suppose -49 = -4*b - 3*p, -p - v*p = 25. Suppose b*t - 30 = 15*t. Is 30 a factor of t?
True
Is 1782 + ((-68)/(-20) - 1*10/25) a multiple of 51?
True
Let d be (161*-39)/(-7)*(2 + 1). Let r = d - 974. Is 12 a factor of r?
False
Let u = -10275 + 33736. Is u a multiple of 12?
False
Let p(q) = q**3 + 24*q**2 - 57*q - 133. Let m be p(-26). Let v(z) = z + 0*z + 22 - 3*z. Is v(m) a multiple of 28?
True
Suppose 3*q - 13712 = -o + 7309, 0 = 5*o + 4*q - 105072. Is 159 a factor of o?
False
Let n(u) = 9 + 10*u - 12 - 13. Let g be n(7). Suppose t + 4*v - g = 0, v = -7*t + 3*t + 291. Is 13 a factor of t?
False
Let o be (-209)/(-77) + (-2)/(-7). Suppose 3*t + 5*i - 285 + 36 = 0, -3*i = 0. Suppose 0 = 2*j - 3*p - 43, -2*j - 2*j + t = -o*p. Is j a multiple of 3?
False
Let l(p) = 1 - 13*p - 339*p - 14 - 15. Is 10 a factor of l(-4)?
True
Let o(q) = -4*q + 5. Let j be o(1). Let x(w) = 30*w - 1. Let n be x(j). Suppose 51 = 8*c - n. Is c a multiple of 4?
False
Let r be 1 + (-5 - -4) - -9. Let h be (-3)/(r/(-3))*13. Suppose -2*z + 27 = h. Is 2 a factor of z?
False
Let y = -12 + 14. Suppose 0*g = y*r - g - 44, 3*g = r - 17. Let l = 93 - r. Is 14 a factor of l?
True
Let u = 640 - 202. Let h = u + -298. Is h a multiple of 21?
False
Let a = 4331 + -3855. Is 28 a factor of a?
True
Let w(y) = -3*y + 130. Let m be w(36). Suppose -324 = m*h - 25*h. Does 12 divide h?
True
Suppose -2*r + 561 = -2*k - k, -2*k = -3*r + 829. Let x be 24/(-6)*-7*20/70. Suppose r = x*u - u. Is 13 a factor of u?
True
Let y(u) = -13*u**3 - 9*u**2 + u - 2214. Let a(n) = 3*n**3 + 2*n**2 + 554. Let q(r) = 9*a(r) + 2*y(r). Does 31 divide q(0)?
True
Let m(h) = 2*h**3 - 42*h**2 - 2*h + 47. Let b be m(21). Suppose 3*x + l + 0*l - 704 = 0, b*l = -2*x + 465. Is 92 a factor of x?
False
Suppose -x = 2*q - 4, 2*x + 7 + 6 = 3*q. Suppose 4*f = z - 60, 3*f - 2*f + 2 = -q*z. Is 6*f/(-4)*1 a multiple of 3?
True
Let x = -231 - -191. Let w be (-20)/(-1 + (-7)/(-5)). Let z = x - w. Is 10 a factor of z?
True
Let o(n) be the second derivative of n**4/12 + n**3/2 - 4*n**2 - 9*n. Let h be o(-8). Suppose h = 9*q - 7*q. Does 3 divide q?
False
Suppose -4*x - 14679 = -y, -3*y - x + 61470 - 17394 = 0. Is 17 a factor of y?
False
Let k = -545 + 640. Suppose 0 = 23*w + k - 348. Does 2 divide w?
False
Suppose 591*n - 3056217 = 15631203. Is n a multiple of 186?
True
Let z be (-230)/(-92) - (0 + 2/(-4)). Let t be 4/(-12)*(-2 + 2). Suppose -f + 47 = 5*k, t = 2*f + 2*f + z*k - 205. Is f a multiple of 8?
False
Let c = 178 + -241. Is 22 a factor of (-8295)/c - (-2)/6?
True
Let s(a) = a**3 + 10*a**2 + 8*a - 4. Let q be s(-8). Suppose -4*f + q = -f. Suppose 0 = 4*r + f - 76. Is r a multiple of 4?
False
Let h = -878 - -24986. Is 123 a factor of h?
True
Let h be (-1)/(33/(-27) + 2/9). Suppose -2*n + 45 = -5*p, 0 = p + p - 3*n + 7. Is 20 a factor of (p*1)/(h + 35/(-30))?
False
Let i(l) = -l**2 + 10*l - 14. Let u(d) = d**3 - 4*d**2 + 3*d - 4. Let g be u(4). Let f be i(g). Suppose 2*j = -3*j + 20, -f*c = -4*j - 54. Is 4 a factor of c?
False
Suppose 4*c = -4*c + 1848. Suppose 3*w - 69 = c. Is w a multiple of 25?
True
Let z = -2382 + 3763. Let v = z - 317. Is 11 a factor of v?
False
Let r(b) = 119*b**2 + 207*b + 611. Does 2 divide r(-3)?
False
Suppose -1