e -3*g - g + 16 = -3*j, -3*g = -5*j - 1. Suppose 20 = -2*l + g*l. Is 14 a factor of 55 - (-13 + 1)/l?
False
Is 11 a factor of -2*1*385/(-20)*2?
True
Let l be (20/8)/(-5)*-42. Let z = l + -18. Let c = 11 + z. Is 14 a factor of c?
True
Suppose 4*h = -5*l + 3820, 4*h + 1450 - 5310 = 5*l. Is 30 a factor of h?
True
Suppose 4*f = -0*f - j + 111, 3*j = f - 18. Let k = f - 15. Is 16 a factor of (k/10)/((-14)/(-315))?
False
Does 28 divide ((-100)/12 - -1)*-42?
True
Let f = 27 - 25. Suppose f*j - 266 = -5*j. Is j a multiple of 5?
False
Suppose -2*f + 2*s + 24 = 0, 4*s - 24 = -f - s. Let w = f + -15. Is (6 - -55) + (-2 - w) a multiple of 12?
True
Let b = -19 - -81. Let x(i) = 39*i - 271. Let p be x(7). Does 16 divide b*(11/p + -4)?
False
Is (1 + 0)*(-1 - 436*-1) a multiple of 5?
True
Suppose 3*h + s = 1167, -h - 18*s + 389 = -13*s. Is h a multiple of 21?
False
Let z(o) = o**3 + 17*o**2 - 28*o + 62. Is z(-18) a multiple of 14?
False
Let c be ((-8)/(-1))/2 - -2. Is 4 a factor of (-6 - 36)*c/(-9)?
True
Let q(i) = i**3 - 6*i**2 + 2*i - 1. Let a be q(7). Suppose -3*o + o + a = 0. Let l = o + -14. Is 8 a factor of l?
False
Suppose 27 = -3*w + 75. Is 249/7 + w/(-28) a multiple of 31?
False
Let d = 131 - -85. Suppose -d = 20*j - 26*j. Does 9 divide j?
True
Let a = 10 + -9. Suppose c - 12 = a. Suppose 2*n - 10 = 0, 2*w - 3*n - c = 2*n. Does 19 divide w?
True
Is 12 a factor of (-29 - -1)*2640/(-70)?
True
Suppose 4*m + 51 = 3. Let r be (m/9)/((-4)/102). Suppose -o - 2*o - r = -y, -2*y = o - 103. Is y a multiple of 12?
False
Is 10 a factor of ((-16)/10)/((-25186)/(-2800) - 9)?
True
Let a be 56/(-16)*(-4)/7. Suppose 4*q = -3*v + 92, -5*v - a*q = q - 157. Does 22 divide v?
False
Let s(n) = 21*n**2 - 8*n + 20. Is s(3) a multiple of 19?
False
Suppose -w - 18 = 2*w. Let c = w - -2. Is 4 a factor of ((-10)/c)/(-5)*-26?
False
Let x(o) = 13*o + 1. Suppose -75 + 6 = -3*g. Let q = -18 + g. Is x(q) a multiple of 11?
True
Suppose 8 - 4 = 2*g. Suppose -5*a = -0*r - g*r - 197, -5*a = -3*r - 308. Let v = r + 199. Is v a multiple of 19?
False
Let i(q) = 7*q + 7. Suppose p + 31 = 4*z, -2*z - 3 = -p - 16. Is i(z) a multiple of 10?
True
Let m = -2807 - -5264. Does 7 divide m?
True
Let c(b) = 79*b**2 + 3*b + 2. Let p be c(-2). Suppose 3*r - 2*k = p, 8*k - 209 = -2*r + 9*k. Is 16 a factor of r?
False
Let f(m) = 15*m**2 - 235*m - 24. Does 46 divide f(18)?
False
Let i(s) = -17*s - 56. Let d be i(-9). Let v = d + -70. Is 21 a factor of v?
False
Let t(n) = 4*n**2 + 14*n + 12. Let m(q) = -5*q**2 - 15*q - 12. Let f = -24 + 27. Let g(b) = f*m(b) + 4*t(b). Is 3 a factor of g(-11)?
True
Suppose -4*g + 8 + 8 = 0. Let q = g + 1. Is 24 a factor of 3*(-2 + q)*3?
False
Let w(r) = -3*r - 12. Let u(c) = 10*c + 5. Let a(k) = k + 1. Let x(l) = -6*a(l) + u(l). Let z be x(-1). Does 3 divide w(z)?
True
Let l = -20 - -26. Suppose -9 = c + 4*w, -l*c = -c + 5*w. Is 18 a factor of 201/6 + c/(-6)?
False
Let w(a) = 8*a**2 + 4. Let d(f) = 7*f**2 - f + 4. Let v(c) = c**2 + 14*c + 19. Let x be v(-13). Let u(g) = x*w(g) - 7*d(g). Is u(5) a multiple of 6?
True
Suppose -6*p = -0*p - 120. Let h be (-5)/(p/(-784)) - 2. Let o = h + -126. Is 10 a factor of o?
False
Let r(f) = -2*f - 2 - 11*f**2 + 6*f**2 + 7*f**2. Let g be r(2). Suppose -y - d = 3*d - 19, -g*y + 47 = 5*d. Does 12 divide y?
False
Suppose 3*u = 9 - 0. Suppose 0 + 3 = -u*f. Let m(v) = 21*v**2 - 1. Is 20 a factor of m(f)?
True
Let d = 0 - -1. Let c = -70 + 72. Is d + (44 - -3) + c a multiple of 11?
False
Let q be 3 - (22/3)/(12/18). Let b = 29 + q. Is 2 a factor of b?
False
Let i(v) = 841*v**3 + 2*v**2 - 1. Is i(1) a multiple of 17?
False
Let x = -750 - -1200. Is 10 a factor of x?
True
Let w be (1 + -3)*6 + 2. Let v = w - -10. Suppose -u + 0*u + 7 = v. Is 2 a factor of u?
False
Let d = -15 + -23. Let m = d - -82. Is 6 a factor of m?
False
Let l be (-20)/(-6) + -2 + (-1618)/(-6). Suppose 2*s - 29 = l. Is 15 a factor of s?
True
Let c be (-7 - 5)/((-15)/6 + 2). Suppose -63 + c = -3*k. Is 13 a factor of k?
True
Let j = 3150 - 2161. Is j a multiple of 23?
True
Let u(z) be the first derivative of z**5/20 - 5*z**4/6 + 5*z**3/3 + 13*z**2/2 + 2*z - 4. Let l(s) be the first derivative of u(s). Is l(10) a multiple of 13?
False
Is -3 + 359 + 12 + -3 a multiple of 5?
True
Suppose 5*h - f - 4 = 2*f, -5*f = -5*h + 10. Let d(t) = -56*t + 7. Is 7 a factor of d(h)?
True
Let q be (16/(-6))/(-4)*6. Suppose -3*u + 150 + 82 = -2*o, 0 = q*o - 16. Is u a multiple of 8?
True
Let v = 93 + -93. Suppose -5*c - 44 + 235 = 4*m, -c - m + 38 = v. Is c a multiple of 20?
False
Let j(d) = -2*d**2 - 78*d + 13. Let v be j(-39). Suppose 2 = -w + 1, -3*t - 52 = w. Let r = v - t. Is 10 a factor of r?
True
Let o(k) = -21*k - 6. Let v(t) = -43*t - 13. Let f(s) = -9*o(s) + 4*v(s). Let i be f(-1). Let d = i + 29. Does 5 divide d?
False
Suppose 13*c - 3864 = 7*c. Is c a multiple of 28?
True
Suppose 2*h + 0*h = 3*q - 97, -234 = 4*h + 2*q. Let f be (-80)/(-15)*(-33)/2. Let n = h - f. Does 16 divide n?
True
Suppose 12 + 4 = 4*a. Let q be 26/6*(22 - 4). Is ((-4)/(-6))/(a/q) a multiple of 13?
True
Suppose 16 = 2*z - 4. Let p(n) = -n**3 + 10*n**2 + n + 10. Let v be p(z). Let y = v - 2. Is 18 a factor of y?
True
Suppose -36163 = 30*i - 100153. Does 27 divide i?
True
Let o(z) = -3*z**3 + 29*z**2 + 11*z - 37. Does 28 divide o(9)?
True
Let p = -1304 - -1690. Is p a multiple of 28?
False
Let i = -785 + 1924. Is 13 a factor of i?
False
Let c be 6*-1*(-24)/9. Let u = c - 11. Suppose -y - u*z + 64 = 12, -3*y - 2*z = -91. Is y a multiple of 8?
False
Suppose -6*g + 290 = -232. Does 3 divide g?
True
Let w be (-2142)/(-5) - 14/35. Suppose 0 = 6*q - 400 - w. Does 23 divide q?
True
Is 3*20/(-6)*370/(-4) a multiple of 9?
False
Let g = -14 - -20. Let p = g - -9. Is 7 a factor of (-16)/(-120) + 358/p?
False
Suppose -h = -6*h, -4*f + 5*h = -288. Suppose -f = -5*s + 63. Is 9 a factor of s?
True
Suppose 8 = -2*u + 636. Is 18 a factor of u?
False
Suppose c + 82 = -2*n + 422, 4*n + 5*c - 692 = 0. Does 24 divide n?
True
Suppose 2*d + 2 = 0, -5*a - 4*d - 22 = -2*d. Is 8/(-24)*(-179 + a/(-2)) a multiple of 59?
True
Let o = -7 + 3. Let m be -1*(1 + o) + 1. Is 2 a factor of m*(-1)/2 + 6?
True
Is 368 - 6*5/(-10) - -3 a multiple of 22?
True
Suppose -2*o + 3*t = 2*t + 79, -5*o = -2*t + 197. Suppose 24*l - 165 = 21*l. Let p = o + l. Is 8 a factor of p?
True
Is (-85)/(-35) + -2 - (-10914)/14 a multiple of 20?
True
Suppose 8*y = 3*y. Suppose y = 3*d - d - 2*m + 204, 5*m - 106 = d. Let i = 203 + d. Is 34 a factor of i?
True
Suppose 11*t = 235 + 711. Is 26 a factor of t?
False
Let f = 303 - 223. Is f a multiple of 20?
True
Let z = -2 - -5. Let x = 2 + z. Is (-56)/(-40)*x*1 a multiple of 4?
False
Let g = 5 + -1. Suppose 0*p + p = 5*l + 22, 24 = 4*p - g*l. Is 3 a factor of (9/(-5))/(p/(-10))?
True
Let j(k) = -8*k + 17. Let r be j(4). Let z(b) = b + 41. Does 13 divide z(r)?
True
Suppose 25 = 7*i - 10. Suppose 3*r - 5*m - 105 = 0, i*m = r + 3*r - 140. Is 16 a factor of r?
False
Let n be ((-2)/4)/((-1)/28). Let o = 29 - n. Is o + (3 - (-1 + 1)) a multiple of 6?
True
Suppose -5107 = -11*l + 6234. Is l a multiple of 24?
False
Suppose 0 = 3*u + 5*d - 1590, 2*u - d - d = 1060. Suppose 665 = 5*l - 5*y, -5*l - 3*y + 95 + u = 0. Does 32 divide l?
True
Let v(m) = -m**2 + 5*m - 6. Let z be v(4). Let x(b) = -9*b + 1. Let d be x(z). Let i = 97 + d. Is 29 a factor of i?
True
Let j(d) = -3*d**2 + 4*d. Let a be j(-3). Let s be (-7 + 12)*a/5. Let b = s - -59. Is 10 a factor of b?
True
Let x = 653 + 1038. Does 19 divide x?
True
Suppose 9*o + 547 = 3472. Does 13 divide o?
True
Let f = 2079 + -1639. Does 55 divide f?
True
Suppose -3*p + 11 = 2*f - 0, -3*f + 10 = -2*p. Is 4 a factor of f?
True
Let g(k) = k**3 - 3*k**2 - 4*k + 3. Let x be g(4). Suppose x*w = -w + 200. Is 10 a factor of w?
True
Suppose 0*l = 2*l - 50. Suppose -5*s + 0*s = -l. Suppose -74 - 210 = -s*g - r, 20 = 5*r. Is 14 a factor of g?
True
Suppose 4*n + 29 = 1. Let r(x) = -671 - 6*x - 5*x + 679. Is r(n) a multiple of 23?
False
Let l = 707 - 290. Does 21 divide l?
False
Suppose -5*h + 1866 - 466 = 0. Let v = h - 184. Is v a multiple of 24?
True
Does 7 divide ((-3)/2)/(24/168)*-2?
True
Let r = -28 + 39. Suppose r*u + 21 = 14*u. Is u a multiple of 7?
True
Let h = 143 - 90. Is 4 a factor of h?
False
Su