ose 2*b + 4 = i, 5*s - 4*b + 3*b - 77 = 0. Is 10 a factor of s?
False
Suppose u + 2 = 4. Let n(x) = 2*x**3 - x**2 + 3. Is 7 a factor of n(u)?
False
Suppose 3*w = 3*o - 39, w + 0*o + 4*o = 7. Let i(d) = d**2 + 11*d + 21. Is 3 a factor of i(w)?
True
Suppose x = 4*z + 39, x - 3*z = 2*z + 42. Does 3 divide x?
True
Let z(y) = 24*y**2 + 3 - 3*y - 23*y**3 + 5*y - 25*y**2 - 2. Is 4 a factor of z(-1)?
False
Suppose 0 = -4*y + 8, 3*p = 3*y + 698 - 80. Is 16 a factor of p?
True
Let l be ((-88)/10)/((-21)/(-20) + -1). Does 11 divide (l/10)/(12/(-30))?
True
Let p = -355 - -380. Does 5 divide p?
True
Suppose -5*w + 1817 = 5*c - 9*w, 0 = -5*c - 2*w + 1799. Is c a multiple of 19?
True
Let p(c) = c + 6. Let t be p(-4). Suppose l = t*g - 40, g = -g - 3*l + 48. Is 5 a factor of g?
False
Let t be -1*(9 - (-1 + 3/(-3))). Let c(i) = -6*i. Does 22 divide c(t)?
True
Suppose 0 = 2*q, 122 = b - 3*q + 21. Does 29 divide b?
False
Let r = 21 + -17. Suppose -r*k = -y + 81, 4*y + 0*k = 5*k + 291. Is 23 a factor of y?
True
Let z be (1 - 1)/(6 + -8). Suppose z = -4*n + 3 + 5. Suppose 0 = n*b - b - 13. Is b a multiple of 13?
True
Let f(b) = -b**3 - 8*b**2 - 8*b - 18. Let i(h) = -15*h + 6. Let p be i(1). Is 15 a factor of f(p)?
True
Let n(y) = -y**3 - y**2 - 4*y + 2. Let z(g) = 2*g**3 + 3*g**2 + 9*g - 5. Let o(w) = 9*n(w) + 4*z(w). Let p be -3*6/9 - 0. Is o(p) a multiple of 7?
False
Let o be (-3 + 5/2 + 0)*2. Does 14 divide (256 - 11)*(3/(-5) - o)?
True
Suppose 3*c = 26 - 2. Let y be ((-11)/3 - -3)*57. Is 22 a factor of 3 - 4/c*y?
True
Suppose -22 = -y - 4*o + 17, 0 = 4*y - 4*o - 76. Suppose 5*m + 65 = 5*v, y = -4*m + 3. Is 4 a factor of v?
True
Let b(d) = -d**2 + 3*d + 42. Let u(q) = -2*q**2 + 7*q + 84. Let a(z) = 9*b(z) - 4*u(z). Is a(0) a multiple of 14?
True
Suppose -d = -2*r + 26, 24 = r + r - 2*d. Suppose 2*i + 10 = -4*l, i + 7 - r = l. Let t = l - -11. Is 3 a factor of t?
False
Let x(o) = 36*o. Let u(n) = -n**3 + 17*n**2 - n + 19. Let p be u(17). Is x(p) a multiple of 18?
True
Let f = 356 + 130. Is 8 a factor of f?
False
Suppose -459 + 2443 = 16*x. Does 3 divide x?
False
Let n = -14 + 11. Let d be n + (-6)/((-3)/1). Does 6 divide -1*(d - -1 - 34)?
False
Let l = -34 + 43. Is 9 a factor of ((-24)/l*177/(-4))/2?
False
Let t = 449 + -636. Let v = -83 - t. Does 26 divide v?
True
Let i(w) = -w**3 - w**2 - 1. Let k(a) = -3*a**3 - 13*a**2 - 3*a + 3. Let o(r) = -2*i(r) + k(r). Is o(-11) a multiple of 9?
False
Let h(x) = 10 - 7*x**3 + 5*x**3 + 4*x + 3*x**3 + 3*x**2 + 3*x**2. Is 9 a factor of h(-4)?
False
Let d(o) = o**2 - 5*o - 2. Let n be d(5). Let b(s) = 25*s**2 + 4*s - 1. Does 38 divide b(n)?
False
Suppose 3*v - 21 = -2*a, -3*a - 2*v = -4*a. Suppose d - 22 = a. Is 4 a factor of d?
True
Let o = -75 + 69. Let b(c) = -7*c - 2*c + 0*c - c**2. Is b(o) a multiple of 16?
False
Is (-1144)/(-117) + -10 + 27074/9 a multiple of 32?
True
Let q(m) = -m**3 + 50*m**2 + 68*m - 327. Is q(51) a multiple of 6?
True
Suppose -r + 0*r = -2. Suppose 6 = -z - r*z. Is 6 a factor of z/4*-50 + -2?
False
Let v = 3082 + -170. Does 56 divide v?
True
Is -5*(462/(-10) + -6) a multiple of 85?
False
Let u = -979 - -1385. Suppose 0*s - u = -7*s. Is 4 a factor of s?
False
Let f(s) = -s**3 - 11*s**2 - 9*s + 10. Let l = -10 + 0. Let y be f(l). Suppose y = 2*n - 48. Is 22 a factor of n?
False
Let l(i) = 2*i**3 + 7*i**2 + 3*i - 1. Let v(a) = -3*a**3 - 8*a**2 - 4*a. Let d(x) = 4*l(x) + 3*v(x). Let p be d(3). Suppose 10 + 0 = p*y. Is y even?
True
Let t(p) = p**3 - 3*p**2 + 38*p - 77. Does 11 divide t(10)?
False
Let n(d) = -2*d**3 - 7*d**2 - 2*d + 7. Let t be n(-3). Suppose 0 = -3*q - x + 3*x + 295, -t*x = 4*q - 360. Is 19 a factor of q?
True
Suppose 5*r - 1654 + 239 = 0. Is r a multiple of 46?
False
Let z be (-7)/(7/(-16))*1. Let b = -14 + z. Is 29 a factor of -6*(b + (-82)/4)?
False
Let t(q) = 2*q + 12. Let j be t(-6). Suppose j = -0*o + 5*o - 275. Suppose -o - 59 = -3*i. Does 19 divide i?
True
Let n be (2 - 1)/((-1)/(-4)). Is 11 a factor of n/(-28) + 688/14?
False
Suppose 3*j = -1 + 4. Let g(m) = 4*m**2 - m. Let l be g(j). Suppose -3*s + 2*s + 60 = -4*y, -255 = -3*s - l*y. Does 24 divide s?
False
Suppose b - 4*b - 3231 = -3*k, 5*b = -4*k + 4335. Is k a multiple of 20?
True
Let i(h) = 2*h - 1. Let w be i(2). Let g be (-12)/4 + w - -27. Suppose -c + 28 = -g. Is c a multiple of 16?
False
Suppose 4*b - 3 = 17. Suppose -4*j + 38 = -b*j. Is j/8*(-4 + 0) a multiple of 7?
False
Suppose 0 = -3*x - 5*o + 482, 5*x = 6*x + o - 158. Does 11 divide x?
True
Let d(q) = -2*q**2 + q + q**2 - 5*q - 9. Let i be d(-4). Let g = 25 + i. Does 8 divide g?
True
Let y be (-15)/(-10)*(-174)/9. Let x = 35 + y. Is 3 a factor of x?
True
Suppose 4*o + o - 90 = 0. Let g = o - 17. Is 15 a factor of 91/3 + g/(-3)?
True
Let t(w) = -w**3 - 14*w**2 - 2*w - 22. Let k be t(-13). Let z = 194 + k. Is z a multiple of 29?
True
Let w(a) = a + 249. Let t be w(0). Is 25 a factor of (-1 - t)/(-12 + 10)?
True
Let o(w) = 7*w - 3. Suppose -2*q - 5*r = 16, 0*q - 2*q + 24 = -5*r. Let a be o(q). Let u = -4 + a. Does 4 divide u?
False
Suppose 16 = -94*q + 298. Does 3 divide q?
True
Is 46 a factor of -3 + 3/(-4 + 7)*463?
True
Suppose 0 = 5*x - 3*u + 5*u + 369, 2*x = -5*u - 156. Let t = -38 - x. Does 7 divide t?
True
Suppose 0 = 2*q - 6*q + 72. Let w = 6 + q. Suppose 3*y + w = 5*y. Does 3 divide y?
True
Let d = 53 + -55. Does 22 divide (1 - 3)/d*55?
False
Let p = 621 - 458. Is p a multiple of 8?
False
Suppose -10*j = -13*j + 21. Does 10 divide (-2 + j)/((-1)/(-4))?
True
Let l(v) = v**2 - 3*v + 28. Does 22 divide l(-13)?
False
Suppose 0 - 75 = -5*r. Let m = 20 - r. Suppose -h + m*v + 29 = h, -51 = -4*h + 3*v. Does 12 divide h?
True
Does 28 divide 432/1 + (-1 - -5)?
False
Suppose 4*s - 9 = -5. Suppose 4*r + x = -18 + 339, s = x. Suppose -k = -6*k + r. Is k a multiple of 10?
False
Suppose -303*y + 1590 = -293*y. Is 8 a factor of y?
False
Suppose 2*u - 6 = -4*l + 6*l, -3*u - 2*l = -4. Suppose 48 = 5*f - 2*m, 6*f - u*f = m + 39. Is 10 a factor of f?
True
Suppose 0 = -4*u + 3*y + 1773, 0 = -42*u + 44*u - y - 887. Is u a multiple of 5?
False
Let a = 18 - 10. Suppose h - a = -3*h. Is 22 a factor of ((-3)/h)/(3/(-88))?
True
Let t be 52/12 - (-1)/(-3). Suppose -5*n + 217 = -4*b, 84 + 43 = 3*n - t*b. Is n a multiple of 15?
True
Let t = -22 + 7. Is (-388)/t + 4/30 a multiple of 5?
False
Suppose -19*w - 2160 = -23*w. Is w a multiple of 12?
True
Let z(y) = -y - 1. Let m(u) = 5*u**2 + 18*u + 11. Let s(q) = m(q) + z(q). Does 14 divide s(-8)?
False
Let g(h) = 4*h**2 + h - 1. Suppose 0 = 4*o - 4. Let y be g(o). Suppose y*s - 73 = -m, 0 = 4*m + 4*s - 122 - 146. Is m a multiple of 13?
True
Suppose -5 = 2*r + 3*r, 4*s - 693 = -3*r. Suppose 3*x + 42 = -3*c + s, 0 = 2*x + 5*c - 82. Does 7 divide x?
False
Let p(j) = 60*j - 1. Let q be (-32)/(-40)*(1 + 4). Suppose -3*m = 4*x + 5 + 8, q*m = -3*x - 8. Does 21 divide p(m)?
False
Suppose q + 2*w - 18 = -2*q, 4*q - 13 = w. Suppose q*m = -r, 0 = -5*r + 4*r + 2*m. Let i(n) = -n + 21. Is i(r) a multiple of 21?
True
Suppose -3*s - w = -721, 3*s + 4*w = -s + 964. Is 20 a factor of s?
True
Is 17 a factor of 1515/36 + 37/(-12) + 3?
False
Let q = 294 + -145. Suppose -8*b + q + 371 = 0. Is b a multiple of 13?
True
Let n(i) = -i**3 - 2*i**2 + 6*i - 1. Let l be n(2). Does 4 divide (-1 + -1)*(l + (-147)/6)?
False
Let j be 2*(-1 - 3/(-6)). Let t(r) = -28*r + 2. Is t(j) a multiple of 11?
False
Let y(h) = h**3 - 15*h**2 + 13*h + 14. Let z be y(14). Suppose z = m + 2*m - 36. Does 6 divide m?
True
Let r(b) = 340*b - 8. Let d be r(2). Suppose 5*p = -h + 1266, 4*p + 5*h + d = 1689. Does 11 divide p?
True
Suppose -m + 5*j + 0*j = -924, -m + 924 = 5*j. Is m a multiple of 46?
False
Is 8 a factor of ((-2)/4)/((-7)/83580*5)?
False
Let f(d) = -d - d**3 - 2*d**2 + 2*d - 2*d - 3*d**2. Let l(w) = -w - 1. Let k(q) = -f(q) + 4*l(q). Does 6 divide k(-3)?
False
Suppose 12*l - 1659 - 41637 = 0. Is l a multiple of 17?
False
Let g = 410 - 185. Suppose 14*l - g = 405. Does 9 divide l?
True
Let r = 860 - -44. Does 4 divide ((-1)/(-4) - r/32)/(-2)?
False
Let u be ((-30)/(-8))/((-31)/1116). Let y = u - -189. Is y a multiple of 11?
False
Let q be (-1)/(-1) - (5 + (-8)/2). Suppose -83 = -5*j + u, j - 27 = -q*j - 5*u. Is j a multiple of 2?
False
Let i = 259 + 5. Is i a multiple of 12?
Tru