alse
Let a(z) = 2*z**2 - 2*z - 10. Suppose 7*l - 5*l = 10. Is a(l) a multiple of 5?
True
Let j(i) = 25*i**2 + i - 3. Let u be j(3). Does 14 divide -1 + u/3 - 4?
True
Let g = 5663 + -3474. Is 11 a factor of g?
True
Suppose -9*p = -6*p - 699. Let n = 90 - p. Is 2/11 + (-2548)/n a multiple of 13?
False
Let y be (-34)/4*(1 - 3). Let g be y/15 + 2/(-15). Is (1/(-2))/(g/(-58)) a multiple of 21?
False
Let d(w) be the second derivative of w**5/20 - 13*w**4/12 - 41*w**3/6 + 12*w**2 + 31*w. Does 34 divide d(16)?
True
Let n be -4 + (-3 + -1 - -26). Suppose -5*d = 25, n = -3*w - d + 115. Is 2 a factor of w?
True
Suppose -s + 2*s = 5*q - 1, 4*q = -3*s - 3. Let g = 2 - q. Is 13 a factor of 106/4*g/1?
False
Let m(a) = -7*a + 1. Let j be m(3). Let q = -15 - j. Suppose q = i - 34. Does 13 divide i?
True
Suppose 12*h - 2460 = -5*j + 9*h, 3*h + 2460 = 5*j. Is 82 a factor of j?
True
Let r(j) = 22*j - 1. Let w be r(2). Suppose 2*l - 5 - w = 0. Is l a multiple of 12?
True
Suppose -y + 17 = 9. Suppose -3*k - 2 = -y. Suppose 220 = 5*n - k*q, 5*n - 2*n + 3*q - 111 = 0. Is 10 a factor of n?
False
Does 13 divide (-2 + 224/21)/((-2)/(-291))?
True
Let m be (-10)/(4/8*-4). Suppose -4*q - 2*v = -24, -3*q - m*v + 40 = 8. Is 15 a factor of 4 - ((-14 - 1) + q)?
True
Let s(k) = -k**2 - 41*k + 132. Is 38 a factor of s(-16)?
True
Let y(g) = g**3 - 6*g**2 + 6*g - 3. Let k be y(5). Suppose k*m - j - 8 = j, 2*j - 6 = 0. Let u(s) = 5*s + 1. Is u(m) a multiple of 12?
True
Let i(l) = 15*l + 71. Is i(38) a multiple of 21?
False
Let g(c) = c**2 + 3. Let n be g(-3). Suppose -4*m = -0*m - n. Suppose -105 = -3*r - m*z, -2*z + 39 - 9 = r. Does 10 divide r?
True
Let k(w) = -w - 2520. Let c be k(0). Let j be (c/54)/((-1)/3). Suppose -3*p + 2*i + j = 7*i, -4*p + 202 = -i. Is 10 a factor of p?
True
Suppose 18*g + 204 = 19*g. Is g a multiple of 51?
True
Let c = -6078 - -8959. Is 43 a factor of c?
True
Suppose c = -3*k - 2*k + 284, 0 = -k + 4. Is c a multiple of 8?
True
Suppose 0 = 3*m + 3*v - 21, 3*v = 4*m - v - 20. Let y be 7/(21/m) - -2. Suppose l + 21 = k, -y*l + 19 = -2*k + 55. Is 7 a factor of k?
False
Let h be (-10)/2 + 266/14. Suppose 150 = -12*d + h*d. Is d a multiple of 15?
True
Let u(r) = -63*r - 690. Is u(-46) a multiple of 48?
True
Suppose 145 = -2*p + 8*r - 11*r, -2*p = -2*r + 120. Let b = 335 + p. Is b a multiple of 24?
False
Let j(p) = 76*p**3 - 2*p**2 - 1. Is j(1) even?
False
Let n(i) = -i**3 + 11*i**2 - 8*i - 30. Is n(9) a multiple of 13?
False
Let o(g) = -41*g - 4. Let l(j) = 121*j + 13. Let k(q) = -3*l(q) - 8*o(q). Suppose m + 1 = -1. Is k(m) a multiple of 13?
False
Suppose 2*f - 7*f + 40 = 4*d, 5*f - 3*d - 5 = 0. Let x(g) = -f*g + 1 + 12*g - 6*g + 3*g. Is 15 a factor of x(3)?
False
Let r = -193 + 154. Let s = r - -79. Does 4 divide s?
True
Suppose o - 3*f + 17 = 3*o, -5*o + 38 = 3*f. Suppose -n - o = 4*b + 2, -5*n - 4*b = 45. Let m = n - -75. Does 11 divide m?
True
Does 17 divide (-35)/2*((-14)/7 - 66)?
True
Suppose 42 = 7*x - 210. Is 9 a factor of x?
True
Suppose 0*c = -20*c + 13820. Is c a multiple of 17?
False
Let f(a) = 44*a**2 + 13*a - 16. Is f(4) a multiple of 20?
True
Suppose 0 = -3*i - 4 - 2. Let m = i + 13. Is m even?
False
Suppose -6*g + 2*g = -12. Let v = 499 - 179. Does 7 divide v/6 - (-2)/g?
False
Let z(w) be the third derivative of 5*w**2 + 0*w - w**3 + 0 + 1/8*w**4. Is z(9) a multiple of 10?
False
Let y(m) = m**3 - 2*m**2 + 2*m. Let x be y(3). Suppose -3 - 2 = 3*c - d, 0 = 5*c - 3*d + x. Does 19 divide 23*(c + 1) + 2?
False
Let i(v) = v - 3. Let j be ((-34)/3)/((-2)/3). Let n be (-68)/j + (1 - -10). Does 2 divide i(n)?
True
Let k(m) be the first derivative of m**3/3 + 5*m**2 + 9*m - 7. Let u be k(-8). Let x(y) = -y**2 - 8*y + 8. Does 9 divide x(u)?
False
Let g(j) = -j**2 - 4. Let k(p) = -p**2 - 3. Let h(v) = 5*g(v) - 6*k(v). Does 11 divide h(-8)?
False
Let a(y) = -y**2 + 15*y - 18. Let u = 2 - 6. Let l(d) = d**2 + d - 2. Let z be l(u). Does 15 divide a(z)?
False
Suppose 5*l - 2770 = -4*z, 0 = 2*l - z - 173 - 935. Suppose 114 = -4*m + l. Is m a multiple of 11?
True
Suppose 2*d - o + 17 = 0, -5*d + o + 23 = -8*d. Let t = d - -8. Suppose i - 50 + t = 0. Does 24 divide i?
False
Let q be 5*(-1)/2*8/10. Let p(h) = -10*h**3 + h - 1. Is p(q) a multiple of 12?
False
Let p(c) = 8*c**2 + 41*c - 10. Let s be p(-15). Suppose -3*o + 4*w + s = 0, -3*w + 809 = 3*o - 331. Does 49 divide o?
False
Let g = -36 + 38. Suppose 8*s = g*s + 600. Does 20 divide s?
True
Suppose -60*w + 74*w = 6972. Does 18 divide w?
False
Let d(g) = g**3 + 4*g**2 + 2*g + 2. Let i be d(-3). Suppose 3*y = i*y. Suppose 5*z - 3*z - 98 = y. Does 24 divide z?
False
Suppose -2*x - r = 3*r, -4*x = 5*r - 6. Let n be (-31)/(((-8)/2)/x). Suppose 0 = 3*t + 4 - n. Is t a multiple of 8?
False
Suppose 2*g = -2*g + 116. Suppose -a + g = -n, -2*n + 102 + 78 = 5*a. Suppose -5*m = -4*w + 50, -5*m + 36 + a = 4*w. Does 15 divide w?
True
Suppose 0 = 2*i + 4*i + 210. Let p = i + 45. Is 8 a factor of p?
False
Does 59 divide 2/((-11946)/(-1194) + -10)?
False
Let j be (-8 - -4) + 6*-2. Let o = j + 19. Is o a multiple of 2?
False
Let m = 16 + -14. Let n(i) = 1 - 4 - 1 - m*i. Is 5 a factor of n(-5)?
False
Let m(o) = 17*o**3 - 2*o**2 + 3*o - 2. Suppose 0 = 17*c - 11*c - 12. Does 31 divide m(c)?
False
Let i(f) be the second derivative of -f**5/20 + f**4/6 + 2*f. Let y be i(3). Is 3*((-120)/y)/1 a multiple of 14?
False
Suppose -4*b = -7*b + 15. Suppose 5*j + 5*g - 760 = 0, b*j - 3*g + 160 = 6*j. Is 11 a factor of j?
False
Let z = -103 - -168. Let g be 34/4*1*-2. Let f = g + z. Is 8 a factor of f?
True
Suppose 33*p = 21*p + 18612. Does 47 divide p?
True
Let t(z) = -z**3 - 7*z**2 - z - 4. Let k be t(-7). Does 13 divide (-4)/k*15/(-10) - -115?
True
Is 25 a factor of 150*((-303)/(-9) - (4 + -3))?
True
Suppose -10 = -3*t + 2. Suppose 0 = -n - 2*g + 9, -t*n + 7*n = -4*g + 31. Suppose -3 = -y + n. Does 3 divide y?
False
Suppose -594 = -i + 5*b, 4*b + 3012 - 716 = 4*i. Is i a multiple of 2?
False
Suppose 3286 + 578 = 7*f. Let a = f - 390. Is a a multiple of 42?
False
Let n = -81 - -128. Let v = -26 + n. Does 7 divide v?
True
Let p(c) = 2*c**2 - 26*c - 60. Is p(19) a multiple of 14?
True
Let p be ((-45)/10)/((-1)/2). Suppose 0 = 3*v - p, 0 = 2*z + 5*v - 72 - 189. Is 41 a factor of z?
True
Suppose 0 = p - 5*a + 20, -3*p + a = -1 - 9. Suppose -p*q - 5*o + 33 = -17, q = 5*o - 2. Is q a multiple of 4?
True
Suppose 7*i = 4*i - i. Suppose 49 = c - 2*b - 115, -3*c - 4*b + 472 = i. Is 32 a factor of c?
True
Let u = 1616 - 738. Is u a multiple of 3?
False
Is 7 a factor of ((-55)/25 + 4)/(6/740)?
False
Let c(t) = t**3 - 3*t**2 + 2*t - 1. Let l be c(3). Suppose 444 = l*s - 211. Is s a multiple of 12?
False
Is 16/272 - (-9516)/68 a multiple of 8?
False
Let k(b) = -b**2 + 15*b - 1. Let m(x) = -x**3 - x + 13. Let q be m(0). Is k(q) a multiple of 5?
True
Let v(t) = 25*t - 60. Is 15 a factor of v(9)?
True
Let y(h) = h + 2. Let i be y(2). Suppose k - i*k + 9 = 0. Suppose 5*a + 4*l = 282 - 74, -5*l + 117 = k*a. Is a a multiple of 11?
True
Suppose -5*q + 23 - 8 = 0. Suppose -4*j + 151 = 3*b, -2*b = q*j + 3*b - 127. Suppose u - j = 4. Is u a multiple of 5?
False
Let q(h) = -8*h - 10. Let o be q(-6). Let s = o - 33. Suppose s*m - 86 = 3*m. Is 15 a factor of m?
False
Suppose 0 = 4*j - 9*j. Suppose 0 = 4*l, j = -2*i + 6*i - 3*l - 408. Does 20 divide i?
False
Let g(f) = f - 1. Let h(i) = 4*i + 2. Let y(d) = g(d) - h(d). Is 2 a factor of y(-2)?
False
Let d(c) = -c**3 - 8*c**2 + 30*c. Does 13 divide d(-13)?
True
Does 25 divide ((-20)/6)/((11/(-75))/11)?
True
Let w = 18 + -31. Let y = w + -5. Is 9/(y/(-16)) - -4 a multiple of 6?
True
Suppose -23*j - j = -1416. Does 8 divide j?
False
Let g(b) = b**2 + 2. Let i be g(-3). Let m(p) = -p**2 + 15*p + 12. Does 7 divide m(i)?
True
Let r(n) be the second derivative of -n**5/20 + n**4/6 + 3*n**3/2 + 2*n**2 + n. Is 14 a factor of r(-4)?
False
Is -1689*(4 - (2 + 3 + 1)) a multiple of 37?
False
Let k(b) = -b + 5. Let f be k(8). Let r be ((-8)/f - 3)*0. Suppose -g = -5*p - r*p - 15, g + p = 21. Is g a multiple of 9?
False
Suppose 0 = 3*g - q, -8*q = 4*g - 10*q. Let x(i) = -i**2 + 11 + 19 - 2. Is 6 a factor of x(g)?
False
Let k(a) = 41*a - 1115. Does 40 divide k(53)?
False
Suppose -w + 6*w = -5, 0 = 5*l + 4*w - 1676. Suppose 0 = 3