ose 0 = -152*s + 159*s - 1113. Is s a multiple of 2?
False
Let j = -33 - -1666. Does 71 divide j?
True
Suppose 3*j - f - 8694 = 0, 99*f = 100*f. Is j a multiple of 109?
False
Suppose 4*b - 11144 = 3*k + 1506, 5*k = -5*b + 15795. Is b a multiple of 21?
False
Suppose -2*f - 25 = 3*f, 5*b - 35 = f. Suppose b*i = 132 + 204. Does 14 divide i?
True
Let j(d) = -d**2 - 9*d. Let v be j(-5). Does 25 divide ((-9072)/v)/(-9) + (-2)/5?
True
Let n(d) = -2*d**3 + 2*d**3 + 17 - 6*d**2 + d**3 - 5*d - 1. Does 15 divide n(7)?
True
Let k = -606 + 942. Is 21 a factor of k?
True
Suppose y + 2*d + 6 = 0, -12 = 4*y - 4*d + 9*d. Suppose 2*j = -5*f + 180, -y*j + 5*j = 0. Is f a multiple of 6?
True
Let i = 584 - -1680. Does 8 divide i?
True
Let i = -37 + 49. Let g(h) = h**2 + 3*h - 5. Let x be g(-5). Suppose -3*p + 4*u + i + 22 = 0, 0 = u - x. Is p a multiple of 18?
True
Let o(r) = -1. Let m be 3 + (3 + 3)/(-3). Let d(g) = 2*g + 4. Let v(w) = m*d(w) - 4*o(w). Does 8 divide v(8)?
True
Suppose -w + 8*w = 21. Suppose -23 = -5*s - w. Suppose -4*l - 35 = -z, -s*l = 2*z - 10 - 24. Does 5 divide z?
False
Let a(k) = 11*k + 12. Suppose 2*z - 54 = -4*z. Does 25 divide a(z)?
False
Let s be 33/27 - 2/9. Let p(i) = 42*i**2 - 2*i + 2. Does 7 divide p(s)?
True
Let z = -41 - -137. Suppose -2*i + 6*i - z = 0. Let f = 5 + i. Does 19 divide f?
False
Let u be 0/1 + 10 + -7. Let j(k) = -2*k + k**2 + k + 5*k**u + 27*k**3. Is 16 a factor of j(1)?
True
Let d(v) = 5 - 18*v + 13*v - 17. Let u be (-4)/(-6) + (-52)/6. Is d(u) a multiple of 12?
False
Is 12 a factor of (-3066)/(-4) - 17/34?
False
Let f(z) = 24*z - 10. Let g(r) = -8*r + 3. Let s(l) = -2*f(l) - 7*g(l). Let j(q) = q**3 + 7*q**2 + 6*q + 2. Let m be j(-6). Is s(m) a multiple of 5?
True
Suppose 0 = -6*d - 3*d - 54. Is 19 a factor of (d/4)/(1/(-38))?
True
Does 148 divide 11528/10*(-150)/(-60)?
False
Suppose 7*i - 13050 = 2*i. Is i a multiple of 90?
True
Let p = 124 + -121. Suppose -3*h + 2*h = -3, p*j = -4*h + 363. Does 17 divide j?
False
Let h(m) be the first derivative of 1/4*m**4 + 3 + 5/3*m**3 + 0*m**2 - 2*m. Does 16 divide h(-3)?
True
Does 9 divide (119/(-21) - 7)/((-6)/81)?
True
Suppose 357 = 3*o + f - 20, -f = 4*o - 503. Is o a multiple of 30?
False
Suppose 6*d - 5*d = 5. Suppose 4*s - 380 = -p - 3*p, 0 = d*s - 5*p - 485. Does 8 divide s?
True
Let j(l) = -85*l + 235. Does 44 divide j(-5)?
True
Suppose m + 11 = -4*o, o - 5*m + 8*m + 11 = 0. Let l(h) = -7*h - 7. Is l(o) a multiple of 4?
False
Is (-119 - 4)*(-232)/12 a multiple of 82?
True
Let h(a) = 22*a**2 - 8*a - 71. Is 22 a factor of h(-7)?
False
Let c(y) = y**3 + y**2 - 10*y - 6. Let x be c(-4). Let u = x + 47. Does 4 divide u?
False
Let u(j) = -j**2 + 13*j - 22. Let n be u(11). Let s(p) = -5*p + 14. Is 2 a factor of s(n)?
True
Suppose 0*r - 45 = 5*f - 4*r, 2*r - 15 = f. Is (8 - 7) + f + (1 - -95) a multiple of 33?
False
Let m be (-162)/(-3) + 2 + 2. Let a = m - 39. Is a + -3 - (4 - 4) a multiple of 3?
False
Suppose 0 = 2*m - 3*j - 888, 0 = 4*j - j + 12. Is m a multiple of 18?
False
Let s(r) = -8*r - 32. Let x be s(-5). Suppose -m + 92 = -x. Is 10 a factor of m?
True
Let o = 25 - 21. Suppose -o*y + 112 = 400. Let v = y - -146. Is 11 a factor of v?
False
Let t(n) = 15*n + 12. Suppose 0 = -v + 5 - 9. Let g be t(v). Is (-54)/(-12)*g/(-9) a multiple of 24?
True
Suppose -56*v = -13*v - 86903. Is 29 a factor of v?
False
Is -4*(-8)/64 + 354/4 a multiple of 10?
False
Does 31 divide (-1 + 0)/(3 + 1865/(-620))?
True
Let w(g) = -377*g - 112. Is 6 a factor of w(-2)?
True
Suppose k - 5*k - 104 = 0. Suppose 10*l = -130 - 470. Let t = k - l. Is t a multiple of 18?
False
Suppose -9*m - 280 = -9658. Is 16 a factor of m?
False
Let q(r) = 5*r**2 + r - 6*r**3 - 7 - 12*r + 7*r**3 + 4*r**2. Let x be q(-10). Suppose 95 = b - 3*k, k = 2*b - x*k - 196. Is b a multiple of 30?
False
Let i(k) = 39*k**2 - 25*k - 1. Is 10 a factor of i(-5)?
False
Let a = 366 - -1004. Is 12 a factor of a?
False
Does 4 divide (-12)/(-1) + (5 - 1)?
True
Is ((-4080)/(-168))/(1 - (-18)/(-21)) a multiple of 22?
False
Let s(a) = a**2 - 2*a + 12. Let m(d) = -d**3 + 10*d**2 + 11*d + 5. Let r be m(11). Does 10 divide s(r)?
False
Let r be (-435)/30*4/2. Let u = -14 - r. Is 9 a factor of u?
False
Let r(n) = n**3 + 6*n**2 - 5*n - 9. Let f be r(-6). Suppose k = -2*z + f, -z - k - 5 = -14. Is 18 a factor of (z/14)/(3/63)?
True
Suppose -2*g + 1674 = 626. Is g a multiple of 10?
False
Suppose 0*x + 46 = 5*o + 3*x, -o - 2 = -5*x. Suppose -7*w = -o*w + 77. Is 16 a factor of w?
False
Suppose -26*u = -17157 + 2415. Is u a multiple of 63?
True
Let n(s) be the second derivative of -2*s**3/3 - 17*s**2 + 15*s. Does 10 divide n(-15)?
False
Let r(z) = -z**3 - 2*z**2 - z - 2. Suppose 3*l = 2*q - 1, 5*l - 3*q = 3*l + 6. Is 5 a factor of r(l)?
True
Let m(l) be the third derivative of -1/2*l**3 - l**2 + 1/8*l**4 + 0 + 0*l. Is m(7) a multiple of 9?
True
Suppose 2*c = -6 + 40. Does 17 divide c?
True
Suppose -2*q - 352 = 2*q. Let x = 140 + q. Does 5 divide x?
False
Is 2 a factor of -51*(504/108 - 1*5)?
False
Let q(v) = -v + 8. Let f be q(7). Let u be -3 + f + -2 + -2. Let g = u + 55. Is g a multiple of 7?
True
Let n be (4 - 7 - -4) + 13. Is 21 a factor of n/(-56) + 493/4?
False
Is 150 - 1/(44/(-8) + 5) a multiple of 38?
True
Let w(q) = 3*q + 7. Let v be w(9). Suppose -j = -v - 30. Is j a multiple of 32?
True
Suppose 5*r + 146 = 1596. Does 65 divide r?
False
Suppose j - 5*x = 16, -j - 2*x + 4 = -3*x. Does 3 divide 3*(j - (-32)/6)?
False
Suppose 3*r = -4*i + 6991, 5*r = -12*i + 10*i + 3485. Does 9 divide i?
False
Let a = -31 + 25. Let c be (-233)/7 - a/21. Does 8 divide (-1067)/c - 2/6?
True
Let f = -21 + 23. Suppose -4*j = 3*k - 21, 0 = -f*k + 2*j + 21 + 7. Is 3 a factor of k?
False
Let n(m) = -m + 12. Let i be n(10). Suppose i + 8 = 2*k. Suppose 5*y - 11 = -3*f, -33 = -5*f + k*y + 12. Is 3 a factor of f?
False
Let d be 2 + (2 - 1) + 25. Let z = d - 18. Does 5 divide z?
True
Let f(y) = y**2 - 13*y + 10. Let z be f(12). Does 15 divide (4 + -22)/(z/5)?
True
Let n = 7 - -5. Suppose n + 6 = -z. Let h = 12 - z. Does 18 divide h?
False
Let d = 283 + -125. Suppose d = -2*z + 728. Suppose z = 15*u - 10*u. Does 19 divide u?
True
Suppose 0 = 5*f + 25, 0*q = -4*q - 2*f + 122. Let o = -16 + q. Is 6 a factor of o?
False
Suppose 0 = -2*f - 4*x + 788, 4*f - 1169 = 2*x + 367. Does 18 divide f?
False
Suppose -62*b - 1530 = -67*b. Is b a multiple of 6?
True
Suppose -4*w = -5*o + 131, -2*o - 86 = -5*o - 5*w. Suppose -o = -2*z + g, 0*z - z = -g - 13. Let a(y) = -y**3 + 13*y**2 + 15*y + 16. Does 10 divide a(z)?
True
Let l(n) = n**3 - 4*n**2 + n - 1. Let i be l(3). Is ((-1)/((-3)/(-30)))/(1/i) a multiple of 14?
True
Let s(q) be the third derivative of q**6/120 - q**5/60 - q**4/4 - 2*q**3/3 - 2*q**2. Suppose -3*f + 4*z = -27, -5*f + 7 + 12 = 2*z. Does 28 divide s(f)?
False
Let a(d) = d**3 + 9*d**2 - 18*d + 14. Let z be a(-9). Suppose 4*j = -h + 1, 2*h + 7 = 3*h - 2*j. Suppose h*m - z = m. Is 10 a factor of m?
False
Let m = 541 + -446. Does 8 divide m?
False
Let a(o) = 2*o**2 + 3. Let h be a(-3). Let f = 31 - h. Is 33*(f/6 + -1) a multiple of 11?
True
Suppose -3*r = 3*y + 5 + 1, -3*r = 2*y + 3. Let a = r - -4. Let x(p) = -p**3 + 6*p**2 - 4*p - 1. Does 3 divide x(a)?
False
Let n(j) = 21 + 8*j - 9*j + 10 - 14*j. Is n(-6) a multiple of 11?
True
Suppose 3*g - 5 = -11. Let a = 69 + -62. Does 3 divide 4 + g + a + 0?
True
Let p = 96 - -142. Is 34 a factor of p?
True
Suppose -4*d + 762 = -534. Suppose -6*x + 2*x + d = 0. Is x a multiple of 14?
False
Suppose -t = -691 + 119. Does 13 divide t?
True
Let l(h) = -2*h**2 - h + 2. Let q be l(-2). Let v(a) = 5*a**2 + 6*a + 6. Is 25 a factor of v(q)?
False
Suppose -648 = -5*n + r, 2*n = -r + 6*r + 250. Let f = n + -64. Is f a multiple of 22?
True
Let m(h) = 16*h. Let z(j) = 3*j. Let a(b) = 2*m(b) - 11*z(b). Let c(q) = 2*q**2 + 6. Let v(d) = -4*a(d) + c(d). Is v(-7) a multiple of 19?
True
Let d(w) = w**3 - 5*w**2 + 4*w + 6. Suppose -5 = h - 2*h. Suppose m = -0 + h. Is 7 a factor of d(m)?
False
Suppose -5*g + 3128 = c - 1088, -5*c + 848 = g. Suppose 10*m + 83 = g. Does 19 divide m?
True
Let y = 10 - 5. Suppose 0 = -f + 2, 3*u - 4*f + y*f - 137 = 0. Does 6 divide u?
False
Suppose -20*p + 2936 = -12*p. Let t = p - 175. Is t a multiple of 38?
False
Is 