iple of 5?
False
Suppose 6*o + 3504 = -960. Let w = -189 - o. Does 15 divide w?
True
Let d(q) = q - 22. Let b(p) = 6*p - 131. Let i(h) = -6*b(h) + 34*d(h). Let j be i(12). Suppose -10*c = -j*c + 112. Is c a multiple of 4?
True
Suppose -t - 2*f = 14154, -12*t - 42435 = -9*t - 3*f. Is 35 a factor of t/(-45) + 3/5?
True
Let t = 2478 + -1602. Suppose i - t + 17 = 0. Is i a multiple of 28?
False
Suppose 16*h + 20172 + 17092 = 0. Let l = -1517 - h. Is l a multiple of 58?
True
Let n = -382 + 382. Suppose 1572 = 3*w + 3*f - 5*f, 5*f = n. Does 23 divide w?
False
Let l(t) = -t**3 - t**2 + 3*t + 4. Let g be l(-2). Suppose -5*s + 379 = g*j, 3*s + j - 377 = -2*s. Let r = 114 - s. Is 13 a factor of r?
True
Let g be -29 - (-9 + -3)/(-2). Let p(u) = u**3 + 35*u**2 - 3*u - 89. Is p(g) a multiple of 2?
True
Suppose -4*r = v + 7, -2*v - 8*r + 11*r - 3 = 0. Is (-2)/v - 0 - 4592/(-24) a multiple of 12?
True
Suppose 0 = -979*c + 986*c + 14. Let b(u) = -20*u**3 + 5*u**2 - 6*u - 18. Does 3 divide b(c)?
True
Is (-2 + 24 - 25)/((-2)/12636) a multiple of 39?
True
Let a = 162 - 163. Does 3 divide ((-192)/20)/((-2)/(-10)*a)?
True
Is 27 a factor of 315/(-135) + 2774/6 + -3?
False
Let h = 36771 - 25368. Is 160 a factor of h?
False
Suppose 2*l = 4*x + 84714, -2*l + 27518 = 5*x - 57151. Is l a multiple of 23?
False
Let x = -21 - -59. Let q be -5*(-8)/140 - x/(-14). Suppose 8*t = -4*r + 3*t + 220, q*t = r - 38. Is 25 a factor of r?
True
Let h = 7999 + -4219. Is h a multiple of 12?
True
Suppose 920*a + 60746 = 951*a - 101291. Does 26 divide a?
False
Let x(w) = -39*w + 3*w - 4*w - 162 + 12*w. Is x(-18) a multiple of 55?
False
Suppose -4*g = 3*h - 583, 401 = 4*g + 2*h - 177. Let s = -69 + g. Does 7 divide s?
False
Let i(j) = 37*j**2 - 55*j + 2073. Is i(24) a multiple of 35?
False
Let d(c) = 2*c - 2. Let s be d(6). Let t(o) = 21*o - 9. Let l be t(s). Suppose -5*w + 144 + l = 0. Is 21 a factor of w?
False
Let x = -3267 - -15908. Is 29 a factor of x?
False
Suppose 22 = 21*x - 32*x. Let l(s) = -492*s + 2. Does 35 divide l(x)?
False
Let y be 5/5 + -1 + (-2)/2. Let a be (1/4)/(y/(-12)). Suppose 0 = 5*m + 5, -6*n + 5*n + 121 = a*m. Is n a multiple of 31?
True
Let l be -2 + (1 - 0) - 21/(-7). Is 7 a factor of (-3510)/(-52)*(l - 0)?
False
Let c(t) be the third derivative of -t**5/60 + t**4 - 53*t**3/6 - 22*t**2. Let o be c(22). Let j(x) = x**3 + 10*x**2 + 6*x + 21. Is j(o) a multiple of 12?
True
Let b(f) = -3*f**2 - 3*f - 6. Let w be b(-4). Let r = w + 68. Let q = -14 + r. Does 4 divide q?
True
Let i be (52/26)/(10/8 - 1). Is 61 a factor of (-674)/i*(-128)/32?
False
Is 113 a factor of (130557/(-6))/((-70)/20)?
False
Suppose 0 = -3*i + 2*g + 2, 5*g + 27 = 7. Let j(q) = 58*q + 8. Let c be j(i). Let v = c + 198. Is v a multiple of 30?
True
Suppose 10*t + 117 = 7*t. Let q = -7 - t. Does 4 divide q?
True
Let d(b) = -b**3 + 2*b**2 + 2*b + 1. Let s be 2/6 - 56/42. Let q be d(s). Is (9 + -8)/(q/72) a multiple of 4?
True
Suppose -21*k = -80*k + 17716 + 271561. Is k a multiple of 20?
False
Let j = -711 + 722. Suppose 0 = 2*z + 2*o - 182, 4*o = -j - 9. Is 16 a factor of z?
True
Let s(x) = -8*x - 58. Let f be s(-8). Let b(a) = 8*a**2 - 26*a - 4. Is 8 a factor of b(f)?
True
Suppose 28645 + 95669 = 9*f + 1995. Is f a multiple of 75?
False
Suppose 5 + 4 = b - x, 0 = -2*b - 4*x + 24. Suppose -6 = b*l - 13*l. Suppose l*z = 2*u + 2*u - 138, 2*u - 3*z = 79. Is u a multiple of 9?
False
Let x be 22*(28/(-8) + 0). Let b = x - -215. Suppose 0 = 7*y - y - b. Does 3 divide y?
False
Let y(s) = 4*s**2 - 7*s + 3. Let k be y(2). Suppose -110 = -k*g - 2*o + 146, -2*g = 5*o - 115. Is g a multiple of 5?
True
Let p = -18856 - -36618. Does 166 divide p?
True
Let z(q) = -q**3 - 6*q**2 - 9*q + 18. Let c be (186/8)/(-3) + 9/12. Is 26 a factor of z(c)?
True
Let f(i) = 16*i**3 - 5*i**2 + 3*i + 4. Let z be f(3). Suppose -3*r = -2*q + 2*r + z, 4*q + 5*r = 740. Is 17 a factor of q?
False
Suppose 5*s + 2*z - 37946 - 36464 = 0, -5*s + 2*z = -74390. Does 93 divide s?
True
Let c be (4/(-2) - -1)*-5. Suppose -3*z - c*o = 45, -z - 4*o + 30 = -3*z. Is ((-6)/z)/(5/325) a multiple of 20?
False
Suppose -5*o = 3*y - 5, y = 5*o - 4*y - 45. Suppose -8 = 4*x, 1729 - 5213 = -o*b + 2*x. Is 29 a factor of b?
True
Is 10 a factor of 14 - (-57006)/2 - -2?
False
Let j(b) = 4*b**2 + 78*b - 816. Is j(14) a multiple of 20?
True
Let d = -1982 - -1402. Let m = -299 - d. Is m a multiple of 11?
False
Is 93 a factor of 4636 - (-6 + 1 + -9)?
True
Suppose 0 = 3*o - 14*o. Let i be (1*(-1 + o))/(57/285). Let c = 31 - i. Does 18 divide c?
True
Suppose i - 225 + 179 = 0. Suppose 44*x = i*x - 612. Is 17 a factor of x?
True
Let m(v) = -v**3 - 7*v**2 + 10*v + 18. Let u be (3 + -5)*8/2. Let w be m(u). Suppose -4*h = 5*a - 226, -w*a + 10 = 5*h - 77. Is a a multiple of 8?
False
Suppose -58*m + 21430 = -13596 - 25468. Is 8 a factor of m?
False
Suppose -5*k + 4*x = -220067, -206*x - 88073 = -2*k - 211*x. Is 201 a factor of k?
True
Let s = 6354 + -1237. Is s a multiple of 119?
True
Is 8 a factor of (338/(-2))/((-98)/1862)?
False
Let p be -12*(3 + 1405/(-10) - 1). Suppose 0 = 3*t - 5*h - 1258, 4*t - 4*h - p = -5*h. Is 11 a factor of t?
False
Let w(d) be the third derivative of -d**4/24 - 4*d**3/3 + 13*d**2. Let s be w(-6). Let q(b) = -49*b - 4. Is q(s) a multiple of 25?
False
Suppose -2202480 = -2*u - 43*u. Is u a multiple of 184?
True
Does 7 divide (724 - -2)*14/(-189)*-90?
False
Let j = -49 - -59. Suppose x + j = 2*s, s - 1 = 3. Is 17 a factor of 69 - (-3 - ((1 - 3) + x))?
True
Let u(o) = -1. Let b(m) be the third derivative of 5*m**4/24 - 9*m**3/2 - 5*m**2. Let h(x) = b(x) + 4*u(x). Is 6 a factor of h(14)?
False
Let p(z) = 22*z**2 - 659*z - 72. Does 25 divide p(39)?
False
Let x(v) = -v**3 + v**2 + 8*v - 16. Let o be x(4). Let u be (-35)/2 - (-4)/o*4. Is 3*8/u*-30 a multiple of 5?
True
Suppose -10*r = -8*r - 16. Suppose 52 + r = -6*g. Does 11 divide g/(-55) + (-482)/(-11)?
True
Let a(j) = 2*j**2 + 30*j - 9. Let b be (-448)/32 - (3 + -1). Let n be a(b). Suppose -4*t - r + 91 = 0, -n = -3*t + r + 54. Is t a multiple of 24?
True
Suppose -29 = 3*w + 5*p, -4*p + 2 - 3 = -5*w. Is ((-1578)/12)/(w/6) a multiple of 67?
False
Let u(i) = i**3 - 11*i**2 + 9*i - 18. Let s be u(12). Let j = s - -107. Is j a multiple of 17?
False
Let s(r) = -2*r**2 + r + 1. Let n be s(-1). Let w be n + (-2 - -4) - -2. Suppose -w = -9*i + 115. Is i even?
False
Let x(w) = -5*w - 21. Let v(z) = z + 4. Let a(h) = 33*v(h) + 6*x(h). Let y be a(-1). Suppose y*c = 2*c + 80. Does 16 divide c?
True
Let v(k) = 14*k - 57. Let s be v(10). Let a = -81 + s. Does 16 divide a/(-11) - 3702/(-33)?
True
Suppose 13 = u + 23. Is 0 + ((-84)/u)/((-6)/(-20)) a multiple of 28?
True
Let f(d) = -4*d**2 - d + 234. Let t be f(0). Let i = 11 + t. Is i a multiple of 12?
False
Let j(z) = -z**3 - 54*z**2 + 37*z + 225. Is j(-57) a multiple of 25?
False
Let d(h) = 6*h**2 - 2*h. Let b be d(1). Let k be (-10)/(1 + b)*-10. Suppose -k + 308 = 6*q. Is q a multiple of 12?
True
Let c be (11/5)/1 - 8/(-10). Suppose 654 = -d + 3*d - 3*j, -966 = -c*d - 3*j. Is 18 a factor of d?
True
Is 22 a factor of (-545824)/(-22) + ((-480)/220)/12?
False
Let o be (-4)/(-20) + (-2)/10. Suppose o = 9*y - 774 - 702. Does 13 divide y?
False
Let o = 169 - 170. Does 25 divide o - (0 - 1)*99?
False
Let u(w) be the third derivative of -w**6/60 + w**5/20 - 7*w**4/24 - 4*w**3/3 + 2*w**2. Suppose 21*t + 7 = -56. Is u(t) a multiple of 9?
False
Let a be (-7)/(140/(-8)) - 42/30. Let z(m) be the first derivative of 6*m**3 - m**2 - 2*m - 3. Does 6 divide z(a)?
True
Let c = 64 - 127. Let p = c + 46. Let h(i) = -7*i + 11. Is 25 a factor of h(p)?
False
Suppose z - 57 - 378 = 0. Suppose 283*s - 300*s + 51 = 0. Suppose 2*v - 225 = 5*k, z = 4*v - 8*k + s*k. Does 7 divide v?
True
Let c = 11203 - -18201. Is c a multiple of 278?
False
Let o be (-6)/((-54)/(-123)) - 2/6. Let p be (-4 - 4/(-2))/(4/o). Suppose -p*d + 10*d = 27. Does 7 divide d?
False
Suppose 0 = -419*p + 3671008 + 3558837. Does 85 divide p?
True
Let c(f) = f**2 + 2*f - f**2 - 2*f**2 - f**3 - 2 - 3*f**3 + 2*f**3. Suppose -7 = 3*r - 4*l + 6*l, 3*l = 4*r + 15. Does 14 divide c(r)?
True
Suppose 0 = -34*x + 28*x + 834. Suppose 0 = 20*w - x - 181. Is w a multiple of 2?
True
Suppose -721 = -0*n - 3*n + 4*x, -245 = -n - x. Do