le of 5?
True
Suppose -3*x + p + 368 = 0, -5*x - 4*p + 735 = 99. Let y = -108 + x. Does 4 divide y?
True
Let q(s) = 394*s - 362. Is q(25) a multiple of 28?
False
Suppose -3*h - 921 = -j - 7*h, 3*j + h - 2807 = 0. Let n = -222 + j. Is n a multiple of 95?
False
Suppose 433*o + 49 = 440*o. Suppose -3*m + 5*x = -1446, 0*m - 2*m - 2*x = -964. Suppose -o*q + m = 20. Does 11 divide q?
True
Let l = -319 - -583. Let a = 785 - l. Does 56 divide a?
False
Suppose -11*v = -0*v - 3058. Suppose m = 5*m + 8, 2*i = m + v. Suppose -w + 4*w - i = 0. Does 2 divide w?
True
Suppose 2*i = 4*l - 24, 4*l = l - i + 18. Suppose -l*x + 3*x + 1710 = 0. Is 3 a factor of (-4)/(-14) - x/(-14)?
False
Suppose -682 = -3*l + 2*j, -10 = 3*j - j. Let u(p) = 20*p + 11. Let z be u(5). Let v = l + z. Is v a multiple of 15?
False
Let b(q) be the third derivative of 31*q**5/30 - q**4/12 + 3*q**3/2 - 41*q**2 + q. Is b(2) a multiple of 14?
False
Let i(a) = a**2 - 10*a - 10. Let c(x) = x. Let z(w) = 5*c(w) + i(w). Let d be z(7). Suppose -4*h + 56 = 5*g, 21 + 49 = 5*h - d*g. Is 7 a factor of h?
True
Let d(m) = -16*m - 77 + 171 - 91. Suppose 6*w + 15 = 3*w. Is d(w) a multiple of 25?
False
Let b = -10977 - -48709. Is b a multiple of 21?
False
Suppose 5*x + 16 = -3*b, 0*b + b - 8 = x. Suppose -w - y = -929, -b = -15*y + 12*y. Does 43 divide w?
False
Let a(f) = 10*f**3 - 10*f**2 + 9*f + 14. Let s be a(6). Let k = -878 + s. Is k a multiple of 33?
True
Let y be 0 + 1 + 1/1. Suppose 42*k + 9934 - 106 = 0. Is 20 a factor of 8/y + -2 - k/3?
True
Let f(s) = 22*s**3 + 4*s**2 - 8*s - 1. Let y be f(2). Let d = 319 + y. Does 38 divide d?
True
Suppose -4*n + 4*g = 4, 2*n + 3*g + 3 = 3*n. Let m(p) = -p**2 - 9*p - 4. Let h be m(-8). Does 4 divide (-39)/n + -1 - h?
True
Let g = -68794 - -100314. Does 160 divide g?
True
Suppose -r + 3*i + 265 = 0, r + 5*i - 255 = 6*i. Let t be (-4)/4*-3 + -3. Suppose 5*d = 5*n + r, t*d + 51 = d - 2*n. Is d a multiple of 7?
True
Suppose -54*u = -20*u - 68. Let p = 1 - 1. Suppose p = -u*r, 4*h + 0*h + 5*r = 340. Is h a multiple of 11?
False
Does 23 divide 0/(-9) + (519 - 12)?
False
Let q = -430 - -178. Let k = q + 144. Let i = -61 - k. Is 11 a factor of i?
False
Let y = 1 + 1. Let r(u) = 21*u**2 + 23. Let b(m) = m**2 - 4. Let g(i) = 6*b(i) + r(i). Does 28 divide g(y)?
False
Let d = 3835 + -2330. Is 43 a factor of d?
True
Let x(z) = -z**3 - 4*z**2 - 56*z + 10. Let n = 20 - 26. Does 38 divide x(n)?
True
Let t = 759 - 741. Suppose t*p + 1088 = 19*p. Is p a multiple of 64?
True
Suppose -12*b - 10546 = -4*c - 11*b, -8 = -4*b. Is 20 a factor of c?
False
Suppose 24*y - 23*y - 1305 = a, -3913 = -3*y + 4*a. Let z = y - 11. Does 36 divide z?
True
Suppose -z + 2*h = 18, 5*z - 76 = 9*z - 4*h. Is (-6608)/(-98) - z/35 a multiple of 4?
True
Suppose 7*p - 5 = 23. Suppose -p*s = -3*s - 10. Suppose 79 = s*g - 311. Does 13 divide g?
True
Let l = 784 - 784. Suppose -4*t + 1250 + 1062 = l. Does 34 divide t?
True
Let t = 4086 + -1716. Is t a multiple of 3?
True
Suppose -3*f = -4*f. Suppose 4*i = 5*c - 5, -i = 4*c - f*c + 17. Let h(z) = 3*z**2 - 7*z - 5. Is h(i) a multiple of 24?
False
Suppose -112*o + 482411 = 139915. Is 17 a factor of o?
False
Let d be 35/(-14)*(0 + (-12)/15). Let q(b) = 9*b**2 - 2*b + 1. Let n be q(d). Suppose -3*j + 87 = n. Is j a multiple of 2?
True
Let d(f) = -2*f**2 + 11*f + 3. Let l be d(8). Let g = l + 54. Suppose -3*m + 185 = g. Is m a multiple of 15?
False
Let o(f) = -189*f**2 + 2957*f + 5. Is 2 a factor of o(15)?
False
Let x = 107 + -87. Let v = -15 + x. Suppose -6*q + 4*q = 6, -v*f + 169 = -3*q. Is f a multiple of 16?
True
Let r = 51 - 50. Let o be r*8*((-20)/(-8))/(-5). Does 14 divide o/(-3*10/1785)?
True
Is 8 a factor of 42525128/3066 + 6/(-63)*-1?
False
Let v(c) = -c**2 - 30*c - 16. Let i = 22 - 35. Is v(i) a multiple of 13?
False
Let i be 2/(-2 + 3) + 463. Let d be ((-15)/30)/(1/2) + 6. Suppose 5*u - 4*f = 466, -d*u + f = -4*f - i. Is 12 a factor of u?
False
Let w(t) = 307*t - 7. Let r be (6 - (-22)/(-4))*2. Is 15 a factor of w(r)?
True
Let n(o) = -11*o**3 + 53*o**2 + 29*o + 41. Let s(u) = 3*u**3 - 17*u**2 - 10*u - 14. Let l(w) = -2*n(w) - 7*s(w). Does 30 divide l(-8)?
True
Let z(l) = 16*l + 340. Let u be 6/((-10)/5) + 3. Is z(u) a multiple of 36?
False
Let k = -2087 + 2159. Is k a multiple of 6?
True
Is (-6888)/4*(207/(-161) - 3/(-7)) a multiple of 12?
True
Let o(c) = 1113*c - 1891. Is o(7) a multiple of 118?
True
Let o(i) = -35*i**3 - 4*i**2 - 5*i + 1. Let m(v) = -52*v**3 - 6*v**2 - 7*v + 2. Let k(s) = -5*m(s) + 7*o(s). Does 35 divide k(3)?
True
Let n(k) = -214*k + 912. Does 18 divide n(3)?
True
Is (-19277760)/(-903) + (-12)/21 a multiple of 6?
True
Suppose 46*y + 122*y - 845695 = 26897. Is 12 a factor of y?
False
Let p(v) be the third derivative of -v**5/60 - 17*v**4/24 + 13*v**3/2 - v**2. Let o be p(-16). Is 4/(-6)*(1 - o) a multiple of 6?
True
Suppose -2*r = -6*r - 3*j + 8, 4*r + j = 8. Suppose r*x + 3*x = 1405. Suppose 0*q + x = 2*q + 3*h, -q = -h - 153. Is 14 a factor of q?
False
Let t be (-816)/(-27) + 3/((-81)/6). Let s be t/4*(-15 + 51). Is 29 a factor of 15/(-8 + 3) + s/3?
True
Let x(l) = -3*l**2 + 6*l**2 - 10 + 79*l - 84*l. Is 37 a factor of x(-8)?
True
Let r be ((-12)/20 + -2)*-5. Suppose 16*i + 240 = r*i. Let l = 107 + i. Does 20 divide l?
False
Let w = 9618 + -6678. Is w a multiple of 14?
True
Let h(o) = o**3 + 5*o**2 - 4*o - 8. Let q be h(-5). Suppose -9*s + q*s = 72. Is s a multiple of 12?
True
Let j = 7487 + -5399. Is 29 a factor of j?
True
Let z(c) = 5*c**2 - 14*c + 7035. Does 229 divide z(69)?
False
Let h(g) = -177*g + 987. Does 9 divide h(-8)?
True
Let i(z) = z**3 - 12*z**2 - 31*z + 6. Let n be i(15). Let k = 334 - n. Is 59 a factor of k?
True
Let i(g) = -187*g - 35. Suppose -4*p + 3*n - 29 = 0, p - n - 7 = -5*n. Is 20 a factor of i(p)?
True
Let l(s) = 69*s - 43. Let b be l(-3). Let j = b + 290. Does 4 divide j?
True
Let q(t) = 12*t**3 - 254*t + 494*t - 246*t + 2*t**2. Let i be ((-6)/(-15))/(2/10). Does 33 divide q(i)?
False
Let g = 20 + -25. Let c be (g/(-2))/(1/2). Suppose c*f - 35 = 430. Is 22 a factor of f?
False
Let m(r) = r**2 + 6*r - 22. Let g be m(-9). Suppose 5*p = -25, 0*n - g*p = -5*n + 40. Suppose 0 = 2*w + n*t - 115, 3*t = 4*w - t - 220. Is w a multiple of 28?
True
Let v = -102 + 68. Let a = -26 - v. Suppose -2*u - 66 = -a*u. Does 2 divide u?
False
Suppose -43*r + 5*y = -42*r - 379, -2*r - 3*y + 719 = 0. Let u(o) = -o + 4. Let t be u(-3). Does 4 divide (6/t)/(26/r)?
True
Suppose -3*x - 131334 = -5*h, 3*x + 78792 = -7*h + 10*h. Does 86 divide h?
False
Let v(q) = -q**2 + 10*q + 31. Let c be v(11). Let s(x) = x + 9. Does 29 divide s(c)?
True
Let q be (1824/64)/(((-2)/4)/(-1)). Let g be (q - -2) + (8/(-4) - -1). Let i = -37 + g. Is i a multiple of 17?
False
Suppose y - 3*y = -89871 + 12319. Is 253 a factor of y?
False
Suppose 0 = 5*s + 4*a - 64991, -s - 103*a + 107*a = -12979. Is 115 a factor of s?
True
Is (-7)/14 + 294552/48 a multiple of 59?
True
Let r(t) = t**2 - 11*t + 8. Let d(v) = -v - 1. Let f(z) = 6*d(z) + r(z). Let a be f(16). Let w(y) = -y - 6. Does 5 divide w(a)?
False
Let s(v) = 59*v**2 - 182*v + 942. Is 19 a factor of s(39)?
False
Suppose 1234 = 7*s - 1083. Suppose 5*r = a - 317, -2*r = 3*a - 2*a - s. Let l = a - 205. Is 29 a factor of l?
False
Does 6 divide (-727)/((106/371)/((-4)/7))?
False
Suppose -9*g - 55 = -280. Let v = 6 - g. Let n = v + 106. Is n a multiple of 22?
False
Suppose 0 = -2*t - 2*c + 2, 3*t + 5 = -5*c. Let q be (230 - 2 - t) + 4. Suppose -g + q = -0*g. Is g a multiple of 23?
False
Let r(g) = -4*g**2 + 15*g + 10. Let l be r(5). Let b(o) = -19 + 1 - 2*o - 7. Is b(l) a multiple of 3?
False
Let a = -4 + -52. Suppose 2*y - s = 96 + 191, y = -2*s + 146. Let w = a + y. Does 23 divide w?
False
Suppose 0 = -0*p - 13*p + 182. Does 42 divide (-220)/10*7/(p/(-40))?
False
Let w(x) = 14*x**2 + 67*x + 956. Is 68 a factor of w(-36)?
False
Suppose -5*o = -2*o - 828. Let a = -1621 + 1429. Let i = o + a. Is i a multiple of 12?
True
Suppose 1727 - 76 = x - g, 4*g - 4925 = -3*x. Is 9 a factor of x?
True
Suppose 70434 = 3*p + 41*p + 47*p. Does 6 divide p?
True
Let a = 258 - 81. Let c = 196 - 293. Let k = c + a. Does 16 divide k?
True
Suppose 9*i - 142 = 3*r + 110, -i + 3*r = -12. Does 10 divide i?
True
Is 110 a factor of 