e
Let s = 4 + -4. Suppose 3*j + j + l = 114, s = -5*j + 2*l + 149. Suppose 2*n - j = 19. Is n a multiple of 10?
False
Let k(p) be the second derivative of -p**4/12 + p**3/6 - 2*p. Let m be k(4). Is 6 a factor of 1*2/(-3)*m?
False
Is 5 a factor of (30/(-24))/(2/(-112))?
True
Suppose -5*s + 5*m + 166 = 1, 99 = 3*s + m. Does 11 divide s?
True
Let j(l) = l**3 + 8*l**2 + 5*l - 7. Suppose 2 - 26 = -4*w. Suppose 2*c = 0, w*c - c = 2*i + 12. Is 16 a factor of j(i)?
False
Suppose -8 = 2*y + 42. Let d = 67 + 35. Let j = d + y. Is j a multiple of 28?
False
Suppose 3*w = -2*s + 12, 0*s - 5*w + 40 = 5*s. Is 3 a factor of s?
True
Let p(g) = g**3 + 8*g**2 + 7*g + 5. Let d(s) = s**2 + s. Let f(a) = 3*d(a) - p(a). Let w be f(-4). Is 87/2 + w/(-10) a multiple of 17?
False
Let q(p) = p**3 + p**2 - p + 5. Let w be q(0). Suppose 15 = 3*u - w*f - 16, 3 = 4*u + f. Suppose u*s - 15 = 13. Is 8 a factor of s?
False
Let b be (4/(-3) - -2)*141. Suppose 31 - b = -3*w. Is w a multiple of 7?
True
Let c be (-30)/(-7) - 6/21. Suppose -2*l = -c*i + 58, -28 = -0*i - i - 4*l. Is 12 a factor of i?
False
Suppose x - 16 = 20. Is x a multiple of 18?
True
Suppose -3*s = -2*p - 30, 3*s + 27 = -p - 6. Does 9 divide (0 + 1)*(-6 - p)?
False
Suppose -5*b = 3*o - 132, 0*b = 4*b + 2*o - 104. Is b a multiple of 12?
True
Let s(h) = 7*h**2 - 4*h**2 - 4 - h**2 - h. Is s(4) a multiple of 14?
False
Suppose 0 = -t + 4*j + 1, -3*t - j + 5 + 11 = 0. Suppose -15 = -l + t. Does 10 divide l?
True
Let l(i) = -i**2 - 6*i - 5. Let s be l(-7). Is 7 a factor of 28/(-3)*18/s?
True
Suppose -5*i + 50 = a, -4*a + 5*i = 4*i - 116. Suppose -20 = 2*o - 4*k, -3*o + 0*k - a = 5*k. Let b = o + 16. Is b a multiple of 3?
True
Does 7 divide 2/(-7) - (-466)/14?
False
Suppose -o - 219 = -0*g - 4*g, 0 = -5*g + 3*o + 272. Let w = -38 + g. Is 5 a factor of w?
False
Let a(l) = -45*l + 2. Let y be a(5). Let b = y - 7. Is b/(-15) + 1/(-3) a multiple of 15?
True
Let q(z) = -z**2 + 22*z + 20. Does 3 divide q(22)?
False
Let m(i) = -3*i + 12. Is 13 a factor of m(-9)?
True
Let y(g) = -4*g**2 - g. Let n be y(-1). Is -2*(-2 - n) + 15 a multiple of 5?
False
Let q(g) = -g**3 + 7*g**2 + 9*g - 16. Is 11 a factor of q(6)?
False
Let b(z) = -z**2 + 8*z - 3. Let k be b(7). Suppose 0 = -k*t + 14 - 2. Suppose a = -2*a + 3*p + 18, t*a + 2 = -2*p. Is a even?
True
Let z(x) = 16*x - 2. Is 10 a factor of z(2)?
True
Let i = 25 + 0. Let a be (-2)/(-1)*(-9)/(-6). Suppose i + 26 = a*x. Is x a multiple of 5?
False
Suppose -o - 5*f = -37, -11 + 42 = 3*o - f. Is o a multiple of 4?
True
Let w(i) = 0*i + 2*i - 7*i. Let z(y) = -5*y - 1. Let s(o) = -2*w(o) + 3*z(o). Does 12 divide s(-3)?
True
Suppose -24 = -15*m + 14*m. Is 12 a factor of m?
True
Let d = 221 + -135. Does 7 divide d?
False
Let c(p) = -2*p**2 - 2*p + 2. Let b be c(-5). Let x = 69 + b. Is 31 a factor of x?
True
Let y(l) = l**3 + 8*l**2 - 18*l + 34. Does 2 divide y(-10)?
True
Let f(b) = b**2 + 2. Suppose s + 16 = 4*n, -2*s = -5*s. Suppose n*p + 4*o + 4 = 0, -5*p + 3*o + 0*o = 29. Is f(p) a multiple of 9?
True
Let b = -4 + -2. Is (2 - (-3)/b)*34 a multiple of 17?
True
Let a(k) = k**2 + k + 10. Is a(0) a multiple of 5?
True
Is 26 a factor of (-6)/5*10*(-215)/15?
False
Let x be 0 + 1 - (2 + -1). Let n(y) = -y**2 - y + 16. Is n(x) a multiple of 16?
True
Let b be 70/8 - (-2)/8. Let j(y) = 7*y + 0*y**3 - 4*y**3 + y**3 - 5*y**2 + 2*y**3 + b. Is j(-6) a multiple of 2?
False
Let c = 249 + -134. Is 23 a factor of c?
True
Suppose 4*o = -16, -2*o - 9 = v - 0*o. Let m(l) = -l**2 - 7*l + 8. Let z be m(-6). Let w = v + z. Does 13 divide w?
True
Let v(i) = i**3 - i**2 - 2*i + 3. Let k = -1 - -3. Let o be v(k). Suppose -o*r = -2*r - 4. Is r even?
True
Let p(b) = -6*b + 1. Is 10 a factor of p(-5)?
False
Suppose 0 = 2*d - 5*k - 31, -4*d + 2*k + 32 = -2*k. Is d even?
False
Let o(n) = n**3 - 10*n**2 + 7*n + 33. Is 19 a factor of o(12)?
False
Let y(f) = 2*f**2 + 5*f - 5. Is y(3) a multiple of 6?
False
Suppose 10*d - 779 = 1551. Is 42 a factor of d?
False
Let x = 7 + -5. Let g = x - -8. Let q(s) = s**2 - 7*s - 6. Does 12 divide q(g)?
True
Let g(c) = -18 + 4*c**2 - 4*c**2 + 15*c + 0*c**2 - c**2. Is 9 a factor of g(12)?
True
Let v(l) = -l**3 - 4*l**2 + 3*l - 2. Let t be v(-4). Let k = 9 - t. Is 13 a factor of k?
False
Let k = -3 + 5. Suppose -6*c + k*c = -n - 27, 2*c = -3*n + 31. Suppose 1 - c = -s. Does 7 divide s?
True
Let m(c) = 10*c**2 - 2*c + 1. Is m(1) a multiple of 2?
False
Let c(x) = x - 9. Let i be c(11). Suppose i*o - v - 15 = -0*o, 0 = -4*v - 4. Is o a multiple of 7?
True
Let d(o) = -o**3 + 4*o**2 + 4*o - 1. Let j be d(5). Is 15 a factor of -132*(21/j)/7?
False
Does 14 divide (-4)/(((-4)/21)/2)?
True
Let x(w) = -w + 11. Let t be 2/(-3)*(-30)/4. Is 6 a factor of x(t)?
True
Suppose -4*i = 8 + 12, i + 26 = j. Suppose -3*t + j = -21. Is 14 a factor of t?
True
Let t(v) = 3*v**2 - 9*v. Does 19 divide t(-4)?
False
Let d(c) = -c - 7. Let z be d(-12). Suppose g - z*g = -352. Is g a multiple of 31?
False
Let q(k) = -k**2 + 8*k + 5. Let c be q(4). Suppose 4*x - 49 = -c. Suppose 2*i - x - 1 = 0. Is i a multiple of 4?
True
Let y = -16 + 24. Is 7 a factor of y?
False
Let d = 403 + -280. Is d a multiple of 40?
False
Suppose -2*m + 605 = 85. Is 26 a factor of m?
True
Let w(z) = -z**3 - 2*z - 2. Let h be w(-2). Let j be (6/4)/(-3)*-54. Let t = j - h. Is t a multiple of 17?
True
Let q = 6 + -8. Does 3 divide 33/6 - 1/q?
True
Let m(p) = -p**2 - 5*p - 2. Let z be m(-4). Let x be 101 - (z + -2 + -2). Suppose 4*h + 23 = x. Is 17 a factor of h?
False
Let l(o) = 22*o + 14. Is 31 a factor of l(5)?
True
Suppose -5*p - 445 = -5*b, 2*p + 350 = 4*b - 0*p. Is 22 a factor of b?
False
Suppose 8*r - 10 = 3*r. Let g(t) = t - 2. Let k be g(2). Suppose -5*u = -f + 18 + 22, k = r*f + u - 36. Is 10 a factor of f?
True
Let u be 2 + (0 - (-4)/2). Suppose 0 = -3*a + 12, -6*a + u*a = -4*q + 208. Is q a multiple of 19?
False
Let r be ((54/(-3))/(-3))/2. Is 6 a factor of 0 - -1 - -4*r?
False
Suppose -36 = 2*k + 2*k. Let z = 32 + k. Does 23 divide z?
True
Let w(r) = 7*r**2 - 4*r - 1. Let t be 5/(10/12) - 3. Is 14 a factor of w(t)?
False
Suppose 256 = 5*f - 3*x, -f - 5*x - 160 = -4*f. Let a = f - 30. Is a a multiple of 10?
True
Let o(t) = t - 5. Let x be o(0). Let h be (30/(-25))/((-1)/x). Let p = h + 16. Is p a multiple of 5?
True
Suppose 0 = 4*f - 16. Suppose -26 = 4*t - 6*t + f*h, -5*t + 65 = -2*h. Is 13 a factor of t?
True
Let w be 8 + ((-9)/(-3) - 4). Suppose i - 8 = j, 3*j - w*j - 16 = 0. Suppose 5 + 3 = b + i*x, 22 = b - 3*x. Is b a multiple of 8?
True
Let t(h) = -2*h + 7. Let o be t(7). Let r(q) = 3*q**2 + 10*q + 3. Let v be r(o). Suppose -7*l = -2*l - v. Is l a multiple of 8?
True
Let a(y) be the first derivative of -y**7/840 - y**6/360 + y**5/20 + y**4/8 - 4*y**3/3 + 1. Let i(k) be the third derivative of a(k). Is i(-4) a multiple of 17?
False
Let a(l) = 40*l - 16. Is 8 a factor of a(3)?
True
Suppose 3*v - 3*s - 55 = 83, v - 2*s = 41. Is 22 a factor of v?
False
Let b = 24 - 17. Let s(z) = -z**2 + 10*z + 1. Is 15 a factor of s(b)?
False
Let v(m) be the first derivative of 7*m**4/24 - 3*m**2/2 - 1. Let z(p) be the second derivative of v(p). Is z(5) a multiple of 12?
False
Let z(j) = 2*j**3 - j**2 - 3*j + 4. Is z(3) a multiple of 10?
True
Suppose 5*m - 1 = -3*z, -z + 5*z + 2 = -5*m. Let o = m + 1. Is -1*(-68)/6*o a multiple of 14?
False
Let r be -12 - 0/(-4) - 2. Let q = -4 - r. Is q a multiple of 10?
True
Let v(j) be the second derivative of 11*j**5/10 - j**4/6 + j**2/2 + 4*j. Is 7 a factor of v(1)?
True
Let l = 4 + 79. Is 31 a factor of l?
False
Let m(b) = -b**2 - 7*b. Let c be m(-6). Let s(a) = 3*a - 3. Is 5 a factor of s(c)?
True
Suppose 2 = 2*q - 0. Let l(c) = 35*c - 1. Is l(q) a multiple of 20?
False
Let s = 5 - 12. Let z be (s/(-4))/(2/(-8)). Let r(x) = -x**2 - 9*x - 4. Does 9 divide r(z)?
False
Let j be 2/(-9) - 366/54. Let c = j - -10. Is c a multiple of 3?
True
Let w(h) = -2*h**2 - 5*h - 2. Let f be w(-6). Let b = 30 - f. Suppose -b = -4*x + 6. Does 9 divide x?
False
Suppose 0 = 6*r - 1685 + 635. Is 35 a factor of r?
True
Let m = 96 + -48. Is 12 a factor of (1 + 6)*m/14?
True
Let w = 1 - -2. Let n(q) = w - 2 + 5*q + 0*q - 2*q. Is 13 a factor of n(4)?
True
Let h(f) = f - 4. Let w be h(6). Let j(d) = -2*d + d**w + d + 2 + 2. Does 20 divi