e
Let h = 253 - 127. Let l = h + -6. Is l a multiple of 20?
True
Is 89 a factor of 5976/96*248/6?
False
Suppose -4*i + 300 = -9*i. Suppose 0 = 5*t - 2*l + 190, -3*l + 8 = -7. Let o = t - i. Is o a multiple of 7?
False
Let v(n) = n**2 - n + 6. Let j(w) = 3*w**2 - w + 12. Let a(d) = 2*j(d) - 5*v(d). Is 20 a factor of a(-19)?
False
Let h = -104 - -61. Let y = h - -209. Is 5 a factor of 10/(-45) - y/(-18)?
False
Suppose -2*m - 3*s - 6 = -7*s, 3*m + s = -9. Let w(o) = o**3 + 3*o**2 - 4*o - 4. Let q be w(m). Suppose -z - z = -q. Is z a multiple of 4?
True
Suppose a = 15*a. Suppose 4*v + 2*o + 4 - 290 = a, -5*v - 2*o + 356 = 0. Is v a multiple of 19?
False
Let p = -40 - -43. Is (-2 - 0)/(p*(-2)/15) even?
False
Let o = 1 + 3. Suppose -2*r - 4*d + 324 = 3*r, 0 = 5*r - o*d - 316. Suppose -2*i - 2*i + r = 0. Is i a multiple of 16?
True
Is 2/(-15) + (4820/150 - -3) a multiple of 4?
False
Let d(r) = r**3 + 2*r**2 - 4*r. Let c be d(-3). Suppose -c*p - 13 = -5*s + p, -2*p = 4*s. Is s/2*(-4 + 18) a multiple of 7?
True
Let o(h) = -3*h**3 - 8*h**2 + 10*h - 6. Let c(s) = -4*s**3 - 7*s**2 + 11*s - 6. Let q(n) = -2*c(n) + 3*o(n). Does 9 divide q(-11)?
True
Suppose -2*n - 5*m + 24 = -34, m = -5*n + 145. Let c(u) = 7*u**3 + 2*u + 1. Let j be c(-1). Is n - (j/4 + -2) a multiple of 33?
True
Let a be (-3)/9*(-6 + 0). Suppose -58 - 44 = -a*x. Does 21 divide x?
False
Let c = 15 + -23. Let t(v) = -v**2 - 8*v + 3. Let i be t(c). Suppose i*j + 18 = 174. Does 10 divide j?
False
Suppose -3*w + 34 = 5*j, 3*w + w - 4*j = -8. Suppose -8*q + w*q = -445. Is 22 a factor of q?
False
Let y(d) = -93*d**3 + 5*d + 4. Is 14 a factor of y(-1)?
False
Suppose 0 = 14*b - 16*b. Suppose r - 2*y = -2*r + 215, 3*r + 5*y - 229 = b. Is r a multiple of 16?
False
Let w = -467 + 3722. Does 18 divide w?
False
Let j(y) be the second derivative of y**4/6 + y**3/2 - 31*y**2/2 - 30*y. Does 9 divide j(5)?
False
Let y = 4 - -2. Suppose -y = 4*d - 6*d. Suppose -240 = d*m - 8*m. Is 19 a factor of m?
False
Suppose 1805 = 8*t + 1461. Does 3 divide t?
False
Suppose -12*a + 3159 + 7821 = 0. Is a a multiple of 54?
False
Let y(f) = -2*f**3 - 3*f**2 - f. Let s be (-2)/11 + 35/11. Let m be y(s). Let n = m + 120. Is 18 a factor of n?
True
Let c be 2 - (-1)/(1/19). Let z = 112 - 127. Let h = c + z. Is h even?
True
Suppose -7*k + 0*k = -14756. Is 1 + (-18)/(-42) + k/14 a multiple of 19?
True
Let w(g) be the first derivative of -g**2/2 - 10*g - 2. Let r be w(7). Is 8 a factor of (3 + r/3)*-3?
True
Let b(t) = -t**2 + 6*t + 5. Suppose -2 + 12 = -2*r, 2*r = y - 15. Is b(y) a multiple of 9?
False
Suppose 0 = 4*d - 3*a - 5, 2*d + 2*a - 9 - 11 = 0. Suppose -14 = 2*b + d*o - 3, -4*b + 23 = o. Is 3 a factor of b?
False
Let j(w) = 81 - 29 + 3*w - 4. Does 8 divide j(9)?
False
Let z(l) = -l**2 + 4*l + 2. Let f be z(4). Let n be f + (-5)/(20/(-32)). Suppose -q - n = -2*q. Is q a multiple of 9?
False
Let g(h) = 31*h**2 - 10*h + 25. Does 17 divide g(2)?
False
Suppose -3*d + 5*a = -28, -d + 0*d - 2*a + 24 = 0. Let r(b) = 7*b - 10. Does 13 divide r(d)?
False
Let d = -25 - -29. Let u be 10/55 - d/22. Suppose j + 2*j = 3*i - 162, u = 2*i + 4*j - 120. Is 14 a factor of i?
True
Let r(t) = -28*t - 49. Let o be r(-4). Suppose o*i - 61*i = 120. Is i a multiple of 3?
True
Suppose 0 = -17*f + 12*f + 1950. Is f a multiple of 39?
True
Let g(o) = -2*o - 15. Let l(z) = -7*z + 3. Let v be 5/2*(-28)/(-35). Let p be l(v). Is g(p) a multiple of 2?
False
Suppose -3568 = -q - 4*a, -1736 = -q - 3*a + 1833. Does 13 divide q?
False
Let x(o) be the second derivative of 23*o**4/12 - o**3/6 + o**2/2 - 3*o. Let v be x(3). Suppose -5*p + 3*k - 7*k = -v, -p + 2*k + 41 = 0. Does 13 divide p?
False
Let a = -34 - -20. Let g be (3 - -1) + (132 - a). Suppose -3*y + g = 2*y. Is y a multiple of 15?
True
Suppose -75 = o - 193. Is 8 a factor of o?
False
Let d = -30 - 28. Is 25 a factor of 4 + d/(-6)*3?
False
Let n(k) be the third derivative of k**6/120 + 19*k**5/60 - 23*k**4/24 - 2*k**3 - 10*k**2. Does 24 divide n(-20)?
True
Let d(g) = -5*g**2 + 2*g + 3. Let a(v) = 6*v**2 - v - 4. Let x(r) = 6*a(r) + 7*d(r). Let y be x(-6). Let s = 22 + y. Is s even?
False
Let j(h) = 8*h**3 - h**2. Let i be j(1). Suppose -i*s - 45 = -12*s. Suppose 0 = -3*o + 21 + s. Does 10 divide o?
True
Let i(w) = -2*w - 7. Let r be i(-8). Suppose -3*h - r + 0 = 0, -3*o - h = -30. Let l = -9 + o. Is 2 a factor of l?
True
Let y = -1506 + 5337. Is y a multiple of 35?
False
Suppose 36*u + 46592 = 64*u. Is u a multiple of 32?
True
Let k(c) = -7*c + 8. Let t = -50 - -41. Does 13 divide k(t)?
False
Let y = -1252 + 1696. Is 111 a factor of y?
True
Let d(b) = -2*b**3 + 39*b**2 + 28*b - 49. Is d(20) a multiple of 3?
True
Let p(y) = 133*y**2 + 3*y - 1. Let s be p(1). Let f = -64 + s. Does 19 divide f?
False
Let c be (-2 - (-80)/12)*3. Let h = c - -156. Does 22 divide h?
False
Let i be -3 - 0/(-3) - -13. Is (i/15)/((-2)/(-294)) a multiple of 14?
True
Let t = 10 + -6. Suppose 5*r - 76 = -2*i, -t*r - 92 = -4*i + r. Is i a multiple of 4?
True
Let n(u) = u**3 - 16*u**2 - 6*u + 20. Suppose -3*i + 3*x + 63 = 0, -9 = -i + 2*x + 16. Does 20 divide n(i)?
False
Is 51 a factor of 35952/64 + (18/(-8))/3?
True
Let a be (3/2)/(21/154). Let w be a + 182 + (5 - 1). Suppose 0 = -4*o + 5*q + w, 5*o - q - 76 = 165. Is 6 a factor of o?
True
Let a = -57 - -63. Suppose -2*t - a*t = -376. Is 23 a factor of t?
False
Suppose -82*v = -87*v - 625. Let l = 190 + v. Is 5 a factor of l?
True
Let z = -150 - -1005. Is z a multiple of 13?
False
Suppose -2*w + 74 + 46 = 4*b, -2*w + b = -130. Is w a multiple of 32?
True
Suppose -3*o = 3*l + 1155, -3*o - 265 = l + 882. Is 14 a factor of o/(-9) - ((-6)/(-9))/2?
True
Let x(t) = t**2 - 21*t + 72. Does 9 divide x(27)?
True
Does 51 divide 21/(-49) + (-1305)/(-7) - 2?
False
Let n(k) = 58*k - 235. Is 11 a factor of n(22)?
False
Suppose 4*b = 29*h - 26*h + 534, 392 = 3*b + 2*h. Is b a multiple of 33?
True
Let n = 514 - 313. Let l = n + -136. Is 25 a factor of l?
False
Suppose 4*b + 3 = -9. Let j(g) = 7*g**2 - 4*g. Is 25 a factor of j(b)?
True
Let g(i) = i**2 + 2*i + 1. Let q be g(-3). Let d be (75/(-4))/(q/(-16)). Suppose 4*c = -c + d. Is 6 a factor of c?
False
Let b(l) = -2*l + 13. Let r be b(0). Suppose -8 = -12*h + r*h. Is 3 a factor of (-5 - -1)*6/h?
True
Let v(y) = -2*y + 1. Let h be v(1). Is (86 - 0) + h + -2 a multiple of 24?
False
Suppose 5*y = -5*o + 4*y + 3, o + 15 = 5*y. Suppose o*q = q - 49. Is 20 a factor of q?
False
Let m = -2040 + 1404. Is m/(-21) - (-3)/((-21)/2) a multiple of 10?
True
Let r be (-6)/(-24) - (-15)/4. Suppose -r*x - 21 = 83. Let w = -12 - x. Is 3 a factor of w?
False
Let o(l) = 8*l + 19. Let h be o(5). Suppose 13*x = 2788 + h. Is x a multiple of 30?
False
Is 1744/88 + -20 + 57358/22 a multiple of 79?
True
Suppose -10*j - 44 = 56. Does 10 divide 0*4/(-12) - j?
True
Suppose -4*y + 7 = 3. Suppose 3*a = 5 + y. Is -7*(a + 34/(-7)) a multiple of 4?
True
Does 47 divide (-705)/(-4)*224/42?
True
Let q(x) = x**3 - 9*x**2 - 7*x + 3. Let k be (-9 - 1)*4/(-4). Let j be q(k). Let b = -17 + j. Is b a multiple of 5?
False
Let o(t) be the third derivative of t**4/12 + t**3 - 5*t**2. Suppose -2*a + 5*u + 10 = 0, 0 = u + 2 - 0. Is o(a) even?
True
Let g = -19 + 12. Let q(f) = -4*f**2 - 9*f - 11. Let d be q(g). Is (-990)/d + 2/16 a multiple of 7?
True
Suppose o - 36 = -3*o. Let k = o + -7. Suppose 3 + 13 = k*i. Does 8 divide i?
True
Suppose 679 = 19*j - 499. Does 3 divide j?
False
Let f = 3 + 2. Let g(z) = -6 - f - z**2 - 16*z - 5. Is 6 a factor of g(-14)?
True
Let p(i) be the third derivative of 1/60*i**5 - 4*i**2 + 5/24*i**4 + 0*i + 0 + 5/3*i**3. Is p(-9) a multiple of 23?
True
Suppose 3*x - 9 = 21. Suppose 3*m = x + 2. Suppose 37 = y + m*y - 2*k, -y - 2*k + 5 = 0. Does 4 divide y?
False
Let i(t) = -t**3 + 13*t**2 + 5*t - 7. Let f be i(9). Let r = f + -224. Is 8 a factor of r?
False
Suppose 0 = 5*g - 3*h - 370, -7*h + 5*h = 4*g - 318. Let x = g - 41. Does 18 divide x?
True
Suppose -63 = 9*b - 0. Let o = b - -97. Does 8 divide o?
False
Let h be 63/(-6)*4/3 + -1. Let f(l) = -3*l - 34. Does 11 divide f(h)?
True
Let z(x) = -x**2 - 15*x - 14. Let p(g) = 2*g - 34. Let c be p(14). Is z(c) a multiple of 8?
True
Let a(g) = 169*g**2 + 1. Let k be a(-1). Let z = 59 - 57. Suppose z*h - y + k = 5*h, -4*h