= -l + 2592. Suppose -14*x - l = -17*x. Does 20 divide x?
False
Suppose -26*l + 14*l = -384. Does 16 divide l?
True
Let o be (-582)/24 - (-1)/4. Let n = o - -54. Does 7 divide n?
False
Let m = 10 + -14. Does 14 divide 6/(-8) + (-355)/m + 0?
False
Let u(g) = 3*g**2 + 6*g - 116. Is 61 a factor of u(10)?
True
Let n = -86 - -109. Is 4 a factor of n?
False
Suppose 4*p = 3*b - 3940, 0*p + 6584 = 5*b + 2*p. Does 14 divide b?
True
Suppose -12*t = -25*t + 481. Does 5 divide t?
False
Let p = 77 + -38. Suppose 5*k + f = 251, 3*k + 3*f = 2*k + p. Is 8 a factor of k?
False
Suppose -19*y - 21*y + 76720 = 0. Is 59 a factor of y?
False
Suppose -v = 2*v - 21. Let y(l) = -l**3 + 7*l**2 + 2*l - 7. Let w be y(v). Suppose 2*i = -w + 79. Is i a multiple of 12?
True
Let a be 4/(-20) - 177/15. Is -20*(-4 + (-39)/a) a multiple of 3?
True
Let p(w) = w**2 + 4*w - 3. Let m(k) = -k**2 - 5*k + 2. Let z(j) = 5*m(j) + 4*p(j). Let q be z(-8). Suppose h + 230 = q*h. Does 23 divide h?
True
Suppose 0 = -5*f + f + 20. Is 2 + 16 - (-5)/(f/(-1)) a multiple of 2?
False
Let v be (10/(-6))/((-9)/27). Suppose -5*g - 3*b + 226 = 0, 251 - 19 = v*g + b. Suppose -5*j + 92 = 3*q, -5*j = 4*q - g - 44. Is 7 a factor of j?
False
Suppose -12*l + 29904 = 16*l. Is l a multiple of 12?
True
Let o(q) = -18 + 0*q - 3 + 13*q - q. Is o(12) a multiple of 29?
False
Is 2/(95/(-19) - (-4107)/821) a multiple of 18?
False
Let c = 10 - 7. Suppose 4*m - c*k + 68 = 241, 99 = 2*m + k. Suppose 103 = 2*n - 3*s + 30, m = n - 5*s. Is 8 a factor of n?
True
Let a(b) = -b**3 + 10*b**2 - b + 8. Let g be a(9). Is 8 a factor of (32/g)/((-1)/(-20))?
True
Let z(i) = -2 - 8*i**2 - 5*i**2 + 12*i**2 - 14*i - i. Does 11 divide z(-7)?
False
Suppose 36*t + 2024 = 44*t. Does 19 divide t?
False
Let q(g) = -11 - 13*g - 12*g - 3*g + 29*g. Let b be q(12). Is 8 a factor of 16 - -1*(b - 1)?
True
Suppose -7*j + 13 - 104 = 0. Let o = 23 + j. Is 5 a factor of o?
True
Let o(l) = -71*l - 2. Let r be o(-2). Let u = r - 14. Is 14 a factor of u?
True
Let n = -1148 + 1628. Does 16 divide n?
True
Let s(r) = 16*r**2 + 2*r + 998. Is s(0) a multiple of 47?
False
Suppose a = -2*j + 3352, -j - 671*a = -675*a - 1676. Does 33 divide j?
False
Suppose -3*p + 3*a = -172 - 50, 0 = -4*a. Let t = p - 46. Is t a multiple of 12?
False
Let c(u) = -u**2 + 3*u - u**3 - 3*u**2 + 1 + 0*u**2. Let f be c(-6). Suppose -3*p + f = 2*p. Is 11 a factor of p?
True
Let t be 1/7 - 835/(-35). Is 8 a factor of 28/21*(t - 0)?
True
Let z be 4 + 0*1/3. Suppose z*g - 50 = 2*g. Is g a multiple of 7?
False
Let l be -172 - (1/(-3))/(8/(-48)). Let f = 293 + l. Is f a multiple of 17?
True
Suppose 4*m + u - 2738 + 132 = 0, 5*m - u = 3262. Does 48 divide m?
False
Let f be (-4)/(-4) - 48/(-4). Let m be (-336)/(-182) - (-2)/f. Suppose -14 + 8 = -m*d. Does 3 divide d?
True
Let c(u) = 584*u - 3. Let z be c(1). Suppose z = 3*j - 2*q, -2*j - 3*q = -7*q - 390. Does 11 divide j?
False
Is ((-100)/(-8)*-2)/(27/(-189)) a multiple of 7?
True
Let a be (-2 - -4) + (8 - (0 - -1)). Suppose -119 = -a*m + 2*m. Is 5 a factor of m?
False
Let n(y) = -2*y**2 + 8*y + 7. Let u(b) = -20*b + 1 + 11*b + 10*b. Let k(s) = -n(s) + 6*u(s). Is k(2) a multiple of 3?
True
Is 9 a factor of ((-35700)/375)/(2/(-15))?
False
Let k(z) = -14*z + 2. Let w(n) = -15*n + 3. Suppose 4 = u - 2. Let s(b) = u*k(b) - 4*w(b). Is 21 a factor of s(-1)?
False
Is -5 + 20 - 9/(-3) a multiple of 6?
True
Let n(i) = i**3 - 7*i**2 + 7. Let c be n(7). Suppose -3*m + 3*g = 4*g - c, -5*g - 21 = m. Suppose 64 = 2*f + m*l, -2*f + 0*f = -l - 39. Is 4 a factor of f?
False
Let b(q) = 26*q - 1. Let y be b(1). Is 18 a factor of 2/(1/180*y/10)?
True
Let t be 0 + 0 + 0 + -39 + -588. Is (t/(-22))/(2/4) a multiple of 12?
False
Let i = 76 + -52. Suppose 12 = x + 3*p, 2*x - 2*p = i - 0. Is x even?
True
Let b be (-6)/(-4)*(-448)/(-24). Let z = -7 + b. Does 6 divide z?
False
Suppose 5*y - 2738 = -4*i, 3*y = -0*i + i + 1636. Suppose -y = o - 7*o. Does 13 divide o?
True
Let i(a) = 3*a**2 - 3*a + 9. Let f be i(7). Suppose 0 = -3*k - f + 522. Let m = k - 77. Is m a multiple of 10?
False
Let s(l) = l - l - 11 + 10 - 10*l**3. Does 9 divide s(-1)?
True
Suppose 0 = 5*h + 2*k + k - 21, -3*h = 5*k - 3. Suppose -2 + h = 2*a - j, -2*j = 0. Suppose a*u - u - 111 = 0. Is u a multiple of 37?
True
Suppose 5*u + j = 50, 3*u - 6 = 3*j + 42. Suppose -u*h = 2*h - 572. Does 11 divide h?
True
Let w be -1 + -2 - (-4 + -15). Is 52/(w/4) - 4 a multiple of 3?
True
Let g be ((-6)/(-1))/(-4 - 140/(-32)). Suppose -84 = -17*s + g*s. Is s a multiple of 10?
False
Let x(n) be the second derivative of n**5/20 - n**4/12 + 25*n**2/2 + n + 2. Suppose -w - 5 = 5*g, -3*w = 4*g + 24 - 9. Is x(g) a multiple of 5?
True
Suppose 6*c = 8*c - 1572. Is (-28)/(-35) - c/(-5) a multiple of 24?
False
Let h(v) = -v**2 - 17*v - 4. Let n be h(-5). Suppose 4*a = 3*i + 137 + n, -3*a = 3*i - 171. Is a a multiple of 26?
True
Suppose 5*i + 22 = 12. Is 4 - -119 - (i + 0)/(-1) a multiple of 21?
False
Let i = 145 + -348. Let k = -91 - i. Is k a multiple of 12?
False
Suppose 2*x - 9 + 33 = 4*k, -4*x + 4 = 5*k. Suppose 3*o = -2*o + 10. Does 23 divide (0 - o)*46/x?
True
Let n be (18/(-9))/((-2)/2). Suppose n*f + 182 = -h + 5*h, 226 = 5*h - 2*f. Does 11 divide h?
True
Suppose z = -0*l - 3*l + 28, 4*l + 2*z = 40. Is (-54)/(-14)*l/6*7 a multiple of 10?
False
Let z(b) = -b**2 - 6*b + 4. Let u be z(-5). Suppose u*r = 5*r + 152. Is 14 a factor of r?
False
Let i be -2*(2121/(-6))/7. Let u = -71 + i. Does 10 divide (32/(-6))/((-4)/u)?
True
Let o(l) = 7*l - 25. Let i be o(9). Suppose 3*s = -3*f - s + i, -f - 3*s + 16 = 0. Is 10 a factor of f?
True
Let h(w) = -w - 2. Let j be h(-14). Let v = 20 - j. Is 3 a factor of 12/v - (-9)/2?
True
Suppose 2*s + 185 = 343. Does 15 divide s?
False
Suppose -4*r + 120 = -0*r. Let j = -32 + r. Does 12 divide 20*(8/(-10) - j)?
True
Suppose -4*i + 21 = -27. Suppose 2*s = -i + 20. Is s a multiple of 2?
True
Does 10 divide (-1 + -14)/((4 - 11)/112)?
True
Let k = -702 + 764. Is k a multiple of 2?
True
Let u(q) = -q**3 - 10*q**2 + 11*q + 6. Let z be u(-11). Suppose 0 = 4*a + z - 22. Suppose -4*n + 25 = f - 0*n, a*f + 2*n - 30 = 0. Is f a multiple of 2?
False
Suppose -13*p = -4637 - 2955. Is 8 a factor of p?
True
Let x(r) = -3*r**3 - r**2 - r. Let a = 0 - 1. Let o be x(a). Suppose 85 = o*c - 3*y + 16, -3*c + 5*y = -59. Is c a multiple of 9?
False
Suppose -9*u = 14*u - 2921. Does 21 divide u?
False
Let h(d) = d**2 - d - 7. Let m be h(5). Let t = -10 + m. Suppose 7*z - 5*k = t*z + 65, 2*z + 2*k - 28 = 0. Is 5 a factor of z?
True
Does 52 divide 402/(-67)*(-645)/3?
False
Let w(y) = 37*y**3 + 2*y**2 - 13*y + 11. Let f(z) = 19*z**3 + z**2 - 6*z + 5. Let k = -20 + 16. Let u(x) = k*w(x) + 9*f(x). Does 9 divide u(1)?
False
Suppose 5*p + 5*v - 3*v = -168, 3*p = -2*v - 104. Let r = -30 - p. Suppose 2*o + 3*l - 125 = 0, -r*o + l = 2*l - 127. Does 16 divide o?
True
Let j(h) = -h**2 + 69*h + 240. Is j(51) a multiple of 32?
False
Suppose -3*t + 5*t + 10 = 0. Let h = 58 + -59. Let c = h - t. Is 4 a factor of c?
True
Let y = -374 - -526. Is y a multiple of 5?
False
Does 28 divide 2 + -8 - 95904/(-24)?
False
Suppose -6*f + 19*f - 754 = 0. Does 58 divide f?
True
Does 27 divide (-4)/18 - (3068912/63)/(-22)?
True
Let p = -224 + 392. Is 28 a factor of p?
True
Does 34 divide -14*(102/9)/(70/(-30))?
True
Let n = 14 + 6. Let r = 23 + n. Does 18 divide r?
False
Let h = 205 - -111. Does 13 divide h?
False
Let n be (0/(-19))/(-1 - 1). Suppose 7*h = -n*h + 56. Does 4 divide h?
True
Suppose 6 - 2 = 4*k, 5*t + 5*k = 245. Is 5 a factor of (-32)/t*(0 - 10 - 2)?
False
Is 23 a factor of ((-477)/106)/(3/(-424))?
False
Suppose 0 = 3*c + 62 - 8. Let f = c + 19. Let g(k) = 11*k - 1. Is g(f) a multiple of 10?
True
Suppose 4*g - 15558 + 4362 = 0. Is 48 a factor of g?
False
Let v = -20 + 7. Let a = 25 - v. Let b = -2 + a. Does 5 divide b?
False
Let c = -695 + 1047. Is c a multiple of 44?
True
Suppose y = 3*y + 12. Let l(i) = -i**2 - 9*i - 4. Does 10 divide l(y)?
False
Let w = -13 + 17. Is (-1 + -4 + w)*-37 a multiple of 20?
False
Let n(u) = 45 - 4*u + 17 + 49 - 7. Is n(0) a multiple of 12?
False
Let c be ((-736)/(-40))/(2/5). Let f = 8 + c. Is 18 a factor of f?
True
Suppose 0*f - 30 = 5*f. Let a be (-12)/f - (-5)/(-1). Does 15 divide (-71)/(-3) - 1