e
Let w(d) = 2*d**2 - 34*d - 5. Let p be w(17). Is 36 a factor of 205 + (0/(-2))/p?
False
Let g(b) = 2*b + 2*b + 5*b - 3*b. Let t be g(-1). Is 12 a factor of (188/(-10))/(t/15)?
False
Let j(p) = p**3 - 7*p**2 + 5*p - 1. Let b be j(7). Suppose -5*a = -b - 6. Is 21 a factor of a/(-12)*-15*8?
False
Let z = -86 + 149. Suppose a - 3*a + 69 = 3*y, 2*a - z = -5*y. Is a a multiple of 13?
True
Let y be (-12)/(-66) - 3510/(-55). Suppose h + 2*j = -j + 18, -4*j = 3*h - y. Does 6 divide h?
True
Suppose 0 = -5*d - 20, 4*d = -0*t + 4*t - 32. Suppose -68 = -2*h - t*w, 124 = 3*h - 4*w + 22. Is 17 a factor of h?
True
Let p be (-13 - 2)/(-5) + 147. Suppose 3*n - 8*n = -p. Does 13 divide n?
False
Let s be 0 + 4 - (3/3 - 157). Suppose -2*h = -3*h + t + s, 5*h = 2*t + 791. Does 34 divide h?
False
Let r = -15 - 19. Let g = -19 - r. Is 5 a factor of g?
True
Let t(n) = 602*n**3 - 2*n + 1. Let m be t(1). Suppose m = 5*d - 149. Is 50 a factor of d?
True
Suppose -3*f = -1953 - 1242. Is f a multiple of 54?
False
Suppose 2*t = -2*c + 12, 2*t = c + c + 8. Does 3 divide (-2 + c - -1) + 12 + -3?
True
Is 20 a factor of (4288/(-384))/((-2)/12)?
False
Let g(y) = y**2 - 3*y + 23. Suppose 10*u - 28 = 12. Is g(u) a multiple of 3?
True
Let w = 158 + -63. Suppose 4*z - 309 = -j, -2*z + w = 5*j - 46. Is z a multiple of 13?
True
Let b(d) = d**3 + 8*d**2 + d - 17. Suppose 0 = -7*p + 1 - 50. Is b(p) a multiple of 15?
False
Let n(q) = -q**2 + 11*q - 14. Suppose 0*c - c + 45 = 4*m, -2*m = -4*c. Let v be n(m). Is v*(3 - (-50)/(-8)) a multiple of 13?
True
Let i = 140 + 40. Does 60 divide i?
True
Let n = -30 - -32. Suppose -2*d + 4*s + 33 = -d, n*d + 5*s - 1 = 0. Does 4 divide d?
False
Suppose -355 - 1400 = -5*v. Does 17 divide v?
False
Let q(d) = -d**2 - 12*d - 10. Let n be q(-6). Is n/10 + (-4)/(-10) a multiple of 2?
False
Suppose -3*r + 64 + 6 = 4*g, -74 = -5*r + 4*g. Is r a multiple of 10?
False
Let a = 1879 - 1557. Does 3 divide a?
False
Let m(l) = -9*l**3 + 10*l**2 - 7*l + 17. Is 63 a factor of m(-7)?
False
Let s = 215 - 106. Suppose 0 = 5*w + 3*y + 365, w - 3*y + 45 = 2*y. Let p = w + s. Is 13 a factor of p?
True
Suppose 0 = -4*a - 0*a - p + 4, 2*a + 3*p = 12. Suppose -6*n + 5*n + 13 = a. Does 4 divide n?
False
Let i = 10 - 8. Let b(u) = 5*u + 2*u - u**2 + i + u. Is b(8) a multiple of 2?
True
Let j(z) = -z**3 - z**2 - z. Let c(b) = 6*b**3 + 6*b**2 + 6*b + 3. Let p(q) = -c(q) - 2*j(q). Let m be p(-2). Let u = m - 3. Does 7 divide u?
False
Let x be ((-6)/(-3) - 3)*-3. Let k(u) = 2*u - 4. Let n be k(x). Suppose -5*a + 5 = -2*a - n*j, -4*j + 25 = a. Is 5 a factor of a?
True
Suppose 3*g + 26 = -5*q, -6 = q - 0*q + g. Let b be (-1 - q - 47)*1. Let v = 8 - b. Does 26 divide v?
True
Let s(m) = 23*m**2 + 3*m + 6. Let c(l) = -l - 1. Let h(d) = -c(d) - s(d). Let t(o) be the first derivative of h(o). Is t(-1) a multiple of 11?
True
Suppose 6 - 24 = -3*f. Suppose 5*s - 3*s - f = 0. Is 66/9 + (-1)/s a multiple of 7?
True
Let c(o) = 270*o - 3. Let i be c(1). Suppose -i = -6*x - 9. Is x a multiple of 13?
False
Suppose 17 + 220 = -3*p. Let l = p + 140. Suppose 4*j - l = -5*s, -5*s = -0*s + 5*j - 65. Is s a multiple of 9?
True
Suppose 2*t - r - 89 - 19 = 0, -3*t + 2*r + 160 = 0. Let n = t + -3. Is n a multiple of 8?
False
Let j be (-154)/10 - (-2)/5. Suppose -4*a = -z - 9, -z + 0*a - 4*a = -7. Let g = z - j. Is g a multiple of 4?
False
Let s(x) = -x**3 - 11*x**2 + 24. Is s(-14) a multiple of 61?
False
Is 36 a factor of (1 - -2)*9*5780/51?
True
Suppose 0 = 5*u - 10. Suppose h - 16 = -u*q, 4*h - 2*q - 95 = -11. Is 6 a factor of h?
False
Suppose -3*r + 3 = -0*r. Suppose 0 = -4*f - r - 15. Let y = f + 8. Is 2 a factor of y?
True
Let p(f) be the third derivative of 13*f**4/24 - 13*f**3/3 + 20*f**2. Is 10 a factor of p(5)?
False
Suppose 0 = t + 3*u + 24, u = 3*t - 13 + 35. Let g = 7 + t. Is ((-24)/(-40))/(g/(-130)) a multiple of 22?
False
Let g be 9/(-3) - -12 - 1. Suppose -g - 22 = -5*x. Suppose -8*u + 48 = -x*u. Is 12 a factor of u?
True
Let q(t) = -t**3 + 5*t**2 - 3. Let g be q(5). Let i be g - 0/(-3 - -4). Is 15 a factor of i + (-284)/(-4) + 1?
False
Suppose -p = 5*v + 18, 2*v - 5*v = 4*p + 4. Suppose -4*d = d - 4*i - 1054, p*d - 3*i = 416. Suppose -5*f - d = -839. Does 18 divide f?
False
Suppose 0 = -941*d + 939*d + 336. Is d a multiple of 28?
True
Let r(n) = -111*n + 283. Is r(-7) a multiple of 10?
True
Let g(r) = 2*r**3 - 36*r**2 + r - 17. Let n be g(18). Suppose 0 = -5*s - 3*o - 2*o - 10, 4*s + 48 = 4*o. Is 7 a factor of n/(-3)*s*3?
True
Let o(x) = 4*x + 0*x - 2 - x + 2*x. Is 7 a factor of o(3)?
False
Let z(i) = -i**3 + 2*i**2 + 5*i. Let v be z(4). Let m be (-644)/(9 + -16) + 0 + 1. Let o = v + m. Is o a multiple of 9?
True
Let u be 13/(-39) + 41/(-3). Let i(j) = -j**3 - 13*j**2 + 11*j - 10. Is i(u) a multiple of 8?
True
Let i(j) = -j**3 + 17*j**2 - 30*j + 15. Is 24 a factor of i(12)?
False
Let g(o) = 117*o**2 - 2*o. Let c be g(-1). Let b = -103 + c. Is b a multiple of 6?
False
Suppose 5 - 85 = -5*m. Suppose -158 = -6*v + m. Suppose 10*h - 11*h = -v. Does 12 divide h?
False
Suppose o = -r + 1, -2*o - o + 11 = -5*r. Let j(a) = -12*a**3 - a - 1. Let k be j(r). Let b(g) = 11*g - 27. Is b(k) a multiple of 35?
True
Let g = 375 + 90. Is g a multiple of 31?
True
Suppose -2*a = -b, 5*a - 4*b - 1 + 4 = 0. Is 11 a factor of -22*a/(-4)*4?
True
Suppose 0 = -2*t + 39 + 25. Suppose 3*q + 2*p = -52, -2*q - 8 = -q + 3*p. Let j = q + t. Does 3 divide j?
True
Let l(r) = r**2 + 5*r - 5. Let a(w) = w**3 - 9*w**2 - 13*w + 21. Let y be a(10). Is l(y) even?
False
Let z(m) = -m**3 + m**2 - 2*m + 3. Let o be z(0). Is 9 a factor of o/6*-6 + 57?
True
Suppose -8*f + 2261 = -811. Is 64 a factor of f?
True
Let r(c) be the first derivative of -1 + 1/2*c**2 + 2*c + 5/3*c**3. Is 12 a factor of r(2)?
True
Let r = -75 - -80. Let b = r + 48. Is 10 a factor of b?
False
Let d(y) = -y**2 + 17*y - 14. Let r be d(16). Suppose 378 = 8*w - r*w. Does 5 divide w?
False
Let c(v) = 9*v**2 + 4*v - 89. Does 39 divide c(10)?
False
Let y(i) = 3*i**2 - 9*i + 47. Let d be y(10). Suppose -u + 145 = z - d, -u + 432 = -5*z. Does 15 divide u?
False
Is ((-23)/69)/((-2)/1938) a multiple of 17?
True
Suppose -3600 = -3*u - 37*u. Is u a multiple of 11?
False
Is ((-549)/(-27))/((-5)/((-750)/2)) a multiple of 16?
False
Suppose 61*j + 25327 = 92*j. Does 43 divide j?
True
Let s = 116 - 118. Is -92*(-16)/12*(-3)/s a multiple of 35?
False
Suppose 5*c + 135 = -3*d - 235, 3*c = -2*d - 221. Is (-2 - c)*(-4)/(-6) a multiple of 5?
True
Let s(t) = 2*t + 40*t**3 + 2*t**2 + 3*t**2 - 3*t**2 - 3*t. Is 10 a factor of s(1)?
False
Let h(w) = -w**2 + 9*w - 9. Let m be h(7). Suppose 5*y - m = 70. Is y a multiple of 15?
True
Suppose 0 = -6*q + 3*q. Suppose q = -4*y + o + 12 + 2, -10 = -2*y + 2*o. Suppose y*d = -27 + 120. Does 14 divide d?
False
Suppose 0*v + z + 21 = 2*v, v + 3*z = 0. Suppose -v*r = -5*r - 300. Is 13 a factor of r?
False
Suppose -4*q = -3*g + 51, -4*q + 0*g - 49 = -g. Let c be ((-9)/6)/(9/q). Suppose -4*f = w + f - 45, 114 = 4*w - c*f. Does 15 divide w?
True
Let q(u) = -2*u + 6. Let i = -39 + 31. Is 3 a factor of q(i)?
False
Let s(n) = n + 5. Let g be 70/25*(-5)/(-2). Let x be s(g). Let w = -6 + x. Is 6 a factor of w?
True
Let s = -928 + 1736. Is s a multiple of 50?
False
Let w(t) = -t**2 - 16*t. Let r be w(-16). Suppose -5*y + 0*h + 2*h + 2 = r, -3*y + 18 = 3*h. Let g = y - -34. Does 12 divide g?
True
Let u be (-2)/(-8) - 77/(-28). Let h(x) = 0*x + x - 3*x + u + 4*x. Does 5 divide h(6)?
True
Let a(r) = r**2 - 16*r - 13. Let s be a(17). Does 16 divide 252/(s - 1) - 2?
False
Let c = -745 - -1065. Does 32 divide c?
True
Suppose 3*d - 68 = -d + 4*y, 0 = -5*d - 5*y + 55. Does 31 divide (-4)/d - (20700/14)/(-9)?
False
Let p(u) = -u**3 + 19*u**2 - 8*u - 5 - 24*u**2 + 2*u. Let z be p(-4). Suppose 1 = -2*y + z, -x + 21 = 4*y. Is x a multiple of 17?
True
Let s(u) = u**3 + 18*u**2 - 28*u - 12. Does 21 divide s(-6)?
True
Let q(g) = g**2 - 3*g + 4. Let m be q(6). Let v = m - 25. Is 19 a factor of (-19)/(-2 + v + 4)?
True
Suppose 5*n = 4*n - 834. Let t be n/(-36) + 2/(-12). Suppose 2*b - 53 - t = 0. Does 19 divide b?
True
Let p(s) = -s**2 + 25*s - 46. Let l be p(22). Suppose -230 + l = -7*h. Is h a multiple of 6?
True
Let j(h) be the second derivative of -h**4/12 + 5*h**3/6