Is w a multiple of 5?
True
Suppose 5*t - 2*q = 55, 0 = -t - t + 4*q + 6. Suppose 0 = 5*o + 10, 0 = -2*s - o + t + 3. Is 10 a factor of 150*(26/(-10) + -6 + s)?
True
Suppose 3*s - 7121 = r, -3*s + 5*s = 3*r + 4752. Suppose 0 = -5*k - 16*k + s. Is 11 a factor of k?
False
Suppose -1625*f = -1614*f - 12287. Is 5 a factor of f?
False
Suppose 3*y = 2*y + 3*b + 195, -4*y = -3*b - 825. Suppose p + 135 = y. Does 11 divide p?
False
Let k(z) = -z**2 + 12*z. Let d be k(12). Suppose -5*t + 2*t - n + 126 = d, 3*n - 126 = -3*t. Let y = 61 - t. Is 7 a factor of y?
False
Let v(c) = 20*c + 225. Let g be v(-11). Suppose 4*f = l - f - 55, -g*l - 5*f + 365 = 0. Is l a multiple of 57?
False
Let q = 56 - 38. Let j = -16 + q. Let w(v) = 5*v**2 - v + 2. Is 7 a factor of w(j)?
False
Let c(g) = -g**3 + 5*g**2 - 2*g + 10. Let f be c(5). Suppose -2*m + f = 6, -2*j - 4*m + 28 = 0. Suppose r = 5 + j. Does 14 divide r?
False
Let o = 3258 + -2942. Is o a multiple of 6?
False
Is 2 - ((-2)/6)/((-23)/(-300702)) a multiple of 52?
False
Let g(p) = 42*p**2 + 84*p + 8. Is g(-15) a multiple of 8?
False
Let i(p) = p**3 + 27*p**2 + 23*p - 9. Let m be (-24)/1 + -2 + 0. Does 4 divide i(m)?
False
Let p(u) = 304*u**2 - 322*u - 1609. Is p(-5) a multiple of 77?
False
Let p(c) = -c**3 - 14*c**2 - 19*c - 28. Let h be (26/(-4))/((-595)/(-100) - 6). Suppose 4*k = 14*k + h. Does 8 divide p(k)?
False
Suppose 4*s + 2*m - 670 = 0, -3*s + 3*m + 428 = -61. Suppose -344 = -4*b + 2*x, -2*b + 4*x + s = 6*x. Is 21 a factor of b?
False
Suppose 0 = -5*z, -4*b + 42324 = -0*b + 20*z - 16*z. Is b a multiple of 32?
False
Let g(i) = -i**3 + 13*i**2 + 2*i + 17. Let r be g(13). Let v = r + -43. Suppose -4*p + 111 = 5*a - v*p, 5*a = 2*p + 117. Is 8 a factor of a?
False
Let h be -4 - (4 + (-2 - -4)). Let l be 185/(-25) - (-6)/h. Is (2/(-3))/(l/1068) a multiple of 39?
False
Let f = -5186 - -9559. Is f a multiple of 14?
False
Let m = 82 + -79. Let l be (-1813)/(-42) + m/(-18). Suppose 1470 = -l*v + 48*v. Is 17 a factor of v?
False
Let d = -541 - -545. Suppose 11*n - 10*n + 4*f - 1728 = 0, 0 = -d*n - 3*f + 6912. Is 48 a factor of n?
True
Suppose -15*x + 17*x + 4*f = 1824, 0 = 4*x - 2*f - 3678. Suppose -3*r + x = -1365. Is r a multiple of 18?
False
Let f(z) be the second derivative of -z**5/20 + 2*z**4/3 + z**3/2 - 5*z**2 - 2*z. Suppose 4*x = -j + 30, 5*x + 3*j + 5 = 46. Is f(x) a multiple of 10?
True
Suppose 81*w - 15 = 80*w. Is w/10*(-3)/((-18)/1192) a multiple of 35?
False
Suppose 0 = -2*a - u + 5*u + 220, u - 125 = -a. Suppose -4*v + 2*b + 928 = 0, 232 = 3*v - 2*v + 4*b. Let i = v - a. Does 13 divide i?
False
Suppose 56*w + 57*w = -49*w + 51840. Does 16 divide w?
True
Is (-4687386)/(-1392) + 6/(-16) a multiple of 6?
False
Is (6 - -92)*((-20)/(-32))/((-2)/(-72)) a multiple of 15?
True
Suppose 2*h - 3*r = 3976, 0 = -3*h - 11*r + 15*r + 5966. Is 13 a factor of h?
False
Let c = -233 + 2072. Let j = c - 819. Is j a multiple of 51?
True
Let o = 55 - -72. Let k = o + 59. Does 8 divide k?
False
Suppose 16*j - 369 - 767 = 0. Suppose 4*y = 5*g + 67, -2*y - g = -6*y + j. Is 18 a factor of y?
True
Suppose 49*d - 53*d + 12 = 0. Suppose d*r = i + 812 + 581, r + i = 459. Let a = -283 + r. Is 18 a factor of a?
True
Suppose 0 = 21*w - 12 - 72. Suppose -9*f - 850 = -m - 10*f, -w*f = -3*m + 2550. Is 63 a factor of m?
False
Let b(z) = -4*z + 4095. Does 13 divide b(52)?
True
Let j = 20430 + -12877. Suppose 7*c - j = -6*c. Let v = c - 307. Is v a multiple of 42?
False
Suppose 0 = 4*d - 22 - 10. Let l be ((-2)/(-4) + -1)/(87/(-3132)). Suppose -d*u - 130 = -l*u. Is 2 a factor of u?
False
Let v(k) be the second derivative of k**3/3 + k**2/2 + 26*k. Let g(d) = -d**2 + 3*d - 5. Let x(r) = -g(r) + 4*v(r). Is x(-5) a multiple of 6?
False
Let c(x) = -164*x - 73. Let s(d) = -55*d - 24. Let k(b) = 4*c(b) - 11*s(b). Let t = -5467 + 5464. Does 25 divide k(t)?
True
Let s(j) = j**3 + 12*j**2 + 9*j - 19. Let x be s(-11). Suppose -2*y + x*m + 15 = -4, 4*y = -2*m - 2. Is y*(-2 - (-84)/8) even?
False
Let r(i) = -i - 1. Let n(y) = 14*y + 56. Let p(b) = 1. Let g(h) = -n(h) + 3*p(h). Let m(k) = g(k) - 6*r(k). Is 25 a factor of m(-23)?
False
Let v be ((-16)/4 - 0) + -470 + 5. Let o = -304 - v. Is 5 a factor of o?
True
Let p = -349 - -354. Suppose 0 = -p*i + 10, 0*i = -5*y - i + 307. Is 4 a factor of y?
False
Suppose 10*s + 20*s - 33540 = 0. Suppose -3893 = -3*r - s. Is r a multiple of 37?
True
Suppose -3*w - 17 + 1 = -5*f, 3*w + 2*f = 19. Suppose -w*u = -35 - 19. Let h(l) = 9*l + 23. Does 9 divide h(u)?
False
Let n be 773*(-7)/7*2. Let x = n - -2464. Is x a multiple of 27?
True
Suppose -4*h - 4*o - 4 = -7*h, 12 = 4*h - 2*o. Let r(l) = -14*l**2 + 20*l**2 + h*l + 14*l**2 + 5. Does 21 divide r(-1)?
True
Suppose -39*j + 48 = -108. Suppose 0 = v + j, -4*o - 4*v + 7588 = 2940. Is 11 a factor of o?
True
Let q = 1155 + -835. Does 32 divide q?
True
Let i(x) = -x - 43. Let n(t) = 3*t + 174. Let h(k) = 9*i(k) + 2*n(k). Let w be h(-7). Is 26 a factor of 236/(-2)*18/w?
False
Let b = 1612 - 1070. Suppose -11*i - b + 1499 = 0. Does 3 divide i?
True
Let k(s) = -146*s**3 + 7*s**2 + 23*s + 40. Is 8 a factor of k(-3)?
True
Suppose -6*s - 10*s = -960. Let x = 30 + s. Does 9 divide x?
True
Let p(c) = c**3 - 6*c**2 + 2*c - 14. Let a be p(6). Let w(r) = -2*r**3 + r**2 + r + 2. Let q be w(a). Is (-91)/(-13)*q/7 a multiple of 7?
False
Let c = -1531 + 2851. Is 4 a factor of c?
True
Suppose w - 40 = -28. Let r(y) = 4*y + 12. Does 30 divide r(w)?
True
Suppose 5*y - 35 = r, y - 3*r = 14 + 7. Suppose -y*b = -9*b + 15. Suppose 0 = 3*q - 3*i + 10 - 121, 4*i = b*q - 185. Is q a multiple of 9?
False
Let u(x) = -x**3 - 5*x**2 - 5*x + 2. Let g be u(-4). Suppose y - 4 = 0, 0 = -5*o + 2*y - g*y + 46. Suppose 3*t = o*t - 84. Is t a multiple of 14?
True
Let q = -37 + 360. Suppose -3*m = 3*v + v + 542, -4*m - 2*v - 736 = 0. Let y = m + q. Is 42 a factor of y?
False
Let a = 908 + -1302. Let i = 790 + a. Is 10 a factor of i?
False
Suppose 30*p = 29739 + 49360 - 22759. Is 52 a factor of p?
False
Suppose -118550 = -54*f + 38266. Does 24 divide f?
True
Let u(v) = -v**3 - 26*v**2 - 112*v + 24. Is u(-21) a multiple of 10?
False
Let u(p) = p**2 - 11*p + 13. Let j be u(10). Suppose -j*m = -38 - 169. Let r = -38 + m. Is r a multiple of 13?
False
Let u(a) = -32*a - 30. Suppose -76*j = -61*j + 150. Is u(j) a multiple of 29?
True
Suppose -30096 = -k + 5*b, 2*k - 24729 = -3*b + 35463. Is 18 a factor of k?
True
Suppose -o - 37736 = -5*x, 3*x + 2*x - 4*o = 37724. Is x a multiple of 148?
True
Suppose -5*l - 24 = 5*j - 9, 2*l = 0. Let h be -1 - (-136)/6 - j/9. Suppose -u = -h - 186. Is u a multiple of 13?
True
Suppose -79994 = -86*q + 43674. Does 4 divide q?
False
Let n(c) = 105*c + 1409. Is 192 a factor of n(5)?
False
Let g(c) be the second derivative of c**3/6 + 34*c**2 - 33*c. Is 34 a factor of g(0)?
True
Suppose -5*y = -4*v + 70211, 141 - 138 = -y. Is 109 a factor of v?
True
Let a = 595 + -1028. Let g = 678 + a. Does 9 divide g?
False
Let w(m) = m**2 + 67*m + 7. Let c be w(-29). Let i = c - -1599. Does 9 divide i?
True
Let b(v) = -182*v + 4757. Let z(q) = 121*q - 3170. Let w(j) = 5*b(j) + 7*z(j). Is 46 a factor of w(0)?
False
Let n(t) be the second derivative of t**5/5 + t**4/3 - 11*t**3/6 + 5*t**2/2 + 62*t. Does 37 divide n(4)?
False
Suppose 101*a - 99*a - 2*r - 68662 = 0, 0 = -5*a + 3*r + 171649. Is a a multiple of 25?
False
Let i be (-2 + 0)/((-8)/20). Suppose -4*x + 3*x + 20 = 2*s, -4*x + 28 = -i*s. Is 366/(7/(42/x)) a multiple of 56?
False
Let n be (220/(-40))/(1/(-6)). Let x = 127 - n. Is x a multiple of 49?
False
Suppose 0 = -6*f + 2*f + 1328. Suppose -418 = -5*a + f. Is a a multiple of 25?
True
Let o = -25578 - -43762. Is 4 a factor of o?
True
Let b be 74/10 + (-2)/5. Suppose -b*s + 4*s + 303 = 0. Suppose 0 = -3*o - 4*r + s, -2*o + 0*r + 3*r + 39 = 0. Does 11 divide o?
False
Suppose -f - 32673 = -4*i - 0*f, -3*i - 4*f = -24538. Does 86 divide i?
True
Suppose -2*j - 32 = -g + 6*g, -4*g - 4*j - 28 = 0. Let i(w) = 17*w - 3. Let m(c) = -34*c + 6. Let f(n) = -9*i(n) - 4*m(n). Does 40 divide f(g)?
False
Let p = 1860 + 1553. Does 73 divide p?
False
Suppose 3*a + 9 = 3*x - 5*x, 2 = x - 5*a. Let m(t) = -77*t + 38. Is 13 a factor of m(x)?
False
Let j = -21 - -21. Suppose 4*l - 5*s - 36 = j, -s = -4*l + 2*l + 1