3 - 3))?
True
Suppose 3*w = -3*g + 1780 - 34, -5 = 5*g. Is w a multiple of 25?
False
Let l(m) = 3*m**2 + 7*m - 9. Let a(s) = -s**2 - 3*s + 4. Let v(f) = 9*a(f) + 4*l(f). Is v(-2) a multiple of 10?
True
Let u = 13 + -25. Is u*(9/(-54))/(4/306) a multiple of 44?
False
Let u = -17 + 18. Let c be 141 - 2/(0 - u). Suppose -3*j + c - 40 = 2*i, -4*i = -3*j + 91. Is j a multiple of 9?
False
Suppose -w + 9 = 4. Let f(q) = 2*q - 23. Let u be f(14). Suppose w*y + 2*s - 55 = 0, -u = -y - s + 3. Is y a multiple of 3?
False
Suppose 5*u - 3*b = 120 + 115, -u = -b - 49. Does 19 divide u?
False
Let w(x) = x**2 + 5*x. Let t be w(-6). Does 14 divide ((2 + 0)/t)/((-3)/(-1278))?
False
Let a = 209 + 773. Is 18 a factor of a?
False
Suppose 0*y - 3*y = -9. Suppose y*c = -2*c - 30. Does 2 divide (-258)/(-30) - c/(-10)?
True
Let z(x) = -2*x**2 - x + 6. Let p be z(3). Let g be (-2338)/p + 4/30. Suppose l = 3*l - g. Does 26 divide l?
True
Let r = 532 + -362. Does 10 divide r?
True
Let v be (-15)/6*(-1 - (-2)/10). Does 9 divide (-3966)/(-45) + v/(-15)?
False
Suppose -i + p = -2*p, 2*i - 4*p = -2. Is 25 a factor of i - 12/(-4) - 1*-111?
False
Let u(o) = o**3 - 35*o**2 + 45*o + 54. Is u(34) a multiple of 4?
True
Let l be (-17)/(-6) + -3*5/(-90). Does 14 divide 1401/4 + l/4?
False
Does 36 divide (36 + -238)*(-6)/4?
False
Suppose -489 = -3*z + 11*f - 8*f, f = 5. Is 7 a factor of z?
True
Suppose 0 = 5*c - 15 - 15. Let x(q) = 52*q + q**2 + 7 + c - 65*q. Does 13 divide x(13)?
True
Let a(f) be the first derivative of -12*f - 8/3*f**3 - 3 + 1/4*f**4 + 5*f**2. Does 9 divide a(7)?
True
Let l be (-1)/(6/(-32)) - (-17)/(-51). Suppose -l*h = -i + 3*i - 660, 15 = 3*i. Is h a multiple of 10?
True
Suppose 5*y = 91*c - 90*c + 11009, 0 = -4*y + 2*c + 8812. Is 55 a factor of y?
False
Let c be (-6)/4 - 330/(-44). Suppose 0 = c*a - 2*a - 24. Does 6 divide a?
True
Suppose -4*d - 5*r - 6 = 9, d + 4*r = -1. Does 10 divide -64*(-1 - 0)*(-5)/d?
False
Suppose -94*s + 108*s - 38290 = 0. Does 21 divide s?
False
Suppose -2*h - 3*k + 297 + 9 = 0, 5*k + 290 = 2*h. Is h a multiple of 28?
False
Suppose 0 = -h + 2 - 1. Let s(z) = -z**2 - 10*z + 7. Let j be s(-11). Is h/((j/(-58))/2) a multiple of 12?
False
Suppose 5*c = -5, 2*y - y + 2*c + 18 = 0. Let t be 4/16 + (-1116)/y. Suppose 0 = -4*w + t + 2. Is w a multiple of 18?
True
Suppose 5*t = 11*t. Suppose t = -2*k + 4*n - 62, 4*n + 0*n - 104 = 4*k. Is 7 a factor of (-28)/(-3) - 14/k?
False
Let s = -265 + 1048. Does 8 divide s?
False
Let j(l) = 4*l**3 - 11*l**2 + 9*l + 20. Does 4 divide j(4)?
True
Let s = 67 - -133. Suppose 6*c - s - 244 = 0. Is 10 a factor of c?
False
Suppose 48*p - 44*p = 376. Does 16 divide p?
False
Let h = 501 + -273. Is 3 a factor of h?
True
Let h(o) = -2*o**2 + 7*o - 10. Let w be h(8). Is (w/(-8) - 3)*4 a multiple of 4?
False
Let x = 1798 - 1034. Does 15 divide x?
False
Let w(v) = -v + 4*v**2 - 4 + 2*v - 50*v**3 + 49*v**3. Does 15 divide w(-2)?
False
Let f be (-4 - -5)/(4/(-20)). Is (-3)/((f - -3)/60) a multiple of 30?
True
Let z(x) = 23*x - 49. Let c be z(4). Let y(l) = -2*l - 3. Let t be y(-2). Suppose -3*q = t - c. Is 7 a factor of q?
True
Let l(a) = a**3 - 12*a**2 + 28*a - 5. Let t be l(9). Suppose t*g + g - 620 = 0. Is 19 a factor of g?
False
Let y = 583 - 410. Suppose -4*u = -3*w + 146, 0*w + u + y = 4*w. Is 15 a factor of w?
False
Let u(y) = y**3 + 8*y**2 + 3*y + 9. Suppose -4 = -4*m + 4, -3*q - 2*m = 2. Let h(z) = 4*z + 1. Let i be h(q). Is 12 a factor of u(i)?
False
Suppose 5*n - 11 = u, 0 = 2*u + 3*u + 4*n + 84. Does 26 divide (u/32)/((-2)/328)?
False
Does 5 divide 2/9 + 964/36 - -3?
True
Suppose 4*v = 8 + 44. Let p = -7 + v. Let x = 15 - p. Is x a multiple of 9?
True
Suppose -4*a - g + 2*g + 8 = 0, -2*g - 7 = a. Suppose -3*z + 22 = -2*b, z - a = -2*b - 7. Suppose -5*o + 22 = -w, -o - 5 = -z*w + 2. Does 5 divide o?
True
Let s(b) = -19*b**3 + 3*b**2 - 4*b + 2. Let c be s(1). Is 20 a factor of (-5)/((-135)/6) - 2138/c?
False
Let y = -223 - -683. Does 20 divide y?
True
Let i(p) = 282*p + 41. Is 95 a factor of i(3)?
False
Let z = 1711 + -622. Is 23 a factor of z?
False
Let r be 2/(((-18)/(-15))/3). Suppose -r*n = 2*k - 57, n + 230 = 5*k - 4*n. Suppose 3*i = 2*o - k + 12, 0 = -o - 4*i + 9. Is o a multiple of 12?
False
Is (-27)/(111/(-102) - -1) + 0 a multiple of 18?
True
Let s(l) = l**3 - l**2 - l + 1. Let c be s(0). Let m be (c/4)/((-8)/(-2848)). Let u = 124 - m. Is 7 a factor of u?
True
Is 0 - -990 - (-1 - -2) a multiple of 43?
True
Let h = -271 - -439. Let i = 186 + h. Is 34 a factor of i?
False
Suppose 0 = 4*h - 5*z - 81, 39 = h - 9*z + 4*z. Suppose 0 = 2*i - 156 + h. Does 7 divide (-2)/(-4) + i/2?
False
Let v(u) = -u + 3 + u**2 - 2*u + u**3 + 0*u**3. Let r = -147 - -149. Is v(r) a multiple of 2?
False
Let u(b) = 517*b**3 + 4*b**2 - 3. Does 14 divide u(1)?
True
Let n(b) = -368*b - 235. Is n(-3) a multiple of 12?
False
Suppose -31*a + 828 = -28*a. Is 21 a factor of a?
False
Let y(h) = 7*h - 10. Let c be y(4). Suppose -4*n = -n + 5*q - c, 2*q - 5 = n. Is 19 a factor of -64*n/(-3 + 1)?
False
Suppose 232 - 4 = 3*h - 3*y, 5*y - 260 = -3*h. Suppose 4*l - 176 = h. Is l a multiple of 24?
False
Suppose 0 = s - h - 243 - 61, 0 = 4*s + 5*h - 1180. Does 10 divide s?
True
Let l = 160 - -85. Is 10 a factor of l?
False
Suppose 6*h = 3*h + 15. Suppose 3*d - h*n + 1 + 14 = 0, 2*d - n + 3 = 0. Is d + (-4 - 26)*-1 a multiple of 10?
True
Suppose -y + 5*x - 14 = 0, 3*y + 6*x - 3*x + 6 = 0. Is (5 - -42) + (y - -2) a multiple of 24?
False
Suppose 166 = -5*v + 1121. Let a = v + -28. Is 31 a factor of a?
False
Suppose 1058*a = 1064*a - 8052. Is 22 a factor of a?
True
Let o(k) = k**3 - 4*k**2 - 5*k - 2. Let y be o(4). Let t = 35 + y. Is 13 a factor of t?
True
Let m(n) = 109*n**2 - 14*n - 57. Is m(-3) a multiple of 30?
False
Let v(k) = k - 4. Let a be v(9). Suppose -a*t = -8*t. Suppose t = j - 7 - 5. Is 5 a factor of j?
False
Is (-14)/56 + 1962/8 a multiple of 63?
False
Is 16 a factor of 1*-1 - (-47 - (-14 + 23))?
False
Let u(h) = -4*h**2 + 5*h + 6*h**2 - 6*h + 4 - 3. Does 8 divide u(3)?
True
Let t(a) = 21 + 4*a - 21 - a**2. Let m be t(4). Does 3 divide 10*(m - -3)/6?
False
Let j = -13 - -40. Is j a multiple of 6?
False
Suppose -4*s + 26 = 2*a, 4*a - s = -2 + 9. Let r be (9/1)/a + -1. Suppose 5*o = -5*g + o + 240, -4*g = r*o - 186. Is g a multiple of 22?
True
Let d = 556 + -368. Is 10 a factor of d?
False
Is 13 a factor of (((-1248)/(-80))/(-13))/((-2)/2880)?
False
Is 4 - (4 + -6) - (-68)/2 a multiple of 2?
True
Let n = -671 + 705. Does 7 divide n?
False
Let d be 1 + 0 + (2 - 0). Let r = 0 + d. Suppose -244 = -r*i + 20. Is 22 a factor of i?
True
Let r be (-534)/2 + -2 + (7 - 11). Let m = 468 + r. Is 26 a factor of m?
False
Suppose 3*d - 2*c - 395 = 0, -5*d + 639 = -c - 24. Is d a multiple of 5?
False
Suppose 3*s - 4*q + 2 = -2, -28 = -4*s - 3*q. Let w be (-24)/(((-4)/s)/3). Suppose j = -j + w. Is 18 a factor of j?
True
Let o(u) = 11*u**3 - 10*u**2 + 17*u. Does 9 divide o(4)?
True
Let l(z) = -z + 24. Let y be l(18). Suppose -4*s = w - y*w + 265, 255 = 5*w - 2*s. Does 7 divide w?
True
Let o = -58 + 57. Suppose 4*g - 2*r + 78 = 0, 3*g + 54 = -5*r + 2*r. Is 5 a factor of g/(-2*o/(-2))?
False
Let t be 1 + 0 + (1 - -1) - 0. Suppose g + 29 - 227 = 0. Suppose t*y = -66 + g. Is 14 a factor of y?
False
Let o(i) = 293*i**3 - 15*i + 15. Is 15 a factor of o(1)?
False
Let w(h) = 2*h**2 - 42*h - 52. Does 73 divide w(25)?
False
Suppose -2*x - 1217 = -l, 0 = 4*x - 1 + 5. Does 45 divide l?
True
Let j = -29 - -35. Let x(y) = -y**3 + 10*y**2 + 4*y. Does 24 divide x(j)?
True
Let v(g) = g**3 - 7*g**2 - g - 5. Let n(c) = -c + 4. Let x be n(-3). Let q be v(x). Is 6 a factor of q/8*(2 + -14)?
True
Is 24 a factor of (-42 + -6)/((48/57)/(-8))?
True
Suppose 56*z - 52*z - 3*l = 5203, 3*l = -5*z + 6497. Is 26 a factor of z?
True
Is -2418*(16/(-42) + 2/(-7)) a multiple of 62?
True
Let v be 8/(-12)*996/(-8). Let q = v - 60. Does 15 divide q?
False
Let m = 144 - -193. Is 11 a factor of m?
False
Let s = -66 + 45. Let i be 9/(-2)*14/s. Does 20 divide 1/(i/255 + 0)?
False
Suppose -472 + 1464 = f. Suppose -3*l - 317 = -f. Is 11 a factor of l?
False
Suppose 0 = 5*k + 19 + 86. Let p = 33 - k. Does 18 divide p?
True
Let c(f) be the third derivative of -7*f**4/12 + f**3 - f**2. Let k be c(