e
Suppose x = -2*x + 102. Suppose 0 = 5*n - 3*n - 32. Let u = x - n. Is u a multiple of 9?
True
Let k(s) = s + 10. Let i be k(-8). Does 12 divide i + 35 + 3/(-3)?
True
Let g be (46/6 + -2)*3. Let q = 24 - g. Is (q - 1)*2/4 a multiple of 2?
False
Suppose -3*p + 15 = 2*p. Let s = 40 - p. Does 21 divide s?
False
Let a(q) = 58*q**2 - 3*q + 1. Does 43 divide a(-2)?
False
Suppose 3*m = 5*u + 92, 2*m - 3*u = 59 + 1. Does 8 divide m?
True
Let p(g) = 3*g**2 - 24. Does 35 divide p(8)?
False
Suppose 0*j - 10 = -2*j. Let f(c) = c - 11. Let d be f(11). Suppose d = 4*n - j*n + 30. Is n a multiple of 24?
False
Let q(w) = 2*w - 4. Does 12 divide q(8)?
True
Let n = 5 + 48. Is 9 a factor of n?
False
Suppose 0 = 3*m + 11 - 35. Let w(y) = 4*y + 8. Does 20 divide w(m)?
True
Let y(g) = -4*g**3 - g**2 + 3*g + 3. Let h = -3 + 1. Let a be y(h). Is 2/(-4) - a/(-2) a multiple of 6?
True
Suppose 0 = 3*i - i - 12. Let l = i - 6. Suppose l = x + x - 114. Is x a multiple of 15?
False
Let f(p) = p**3 - 5*p**2 - p + 6. Let b be f(5). Suppose 0 = -4*y - 2*v + 10 + 22, y = 4*v - b. Is y a multiple of 6?
False
Let i(z) = 2*z**3 - 4*z**2 - z - 1. Let b be i(5). Suppose 0*w = 3*w - b. Does 16 divide w?
True
Suppose 0*k = -k + 20. Suppose k = 6*a - a. Let j(i) = i**2 + 4*i - 6. Is 12 a factor of j(a)?
False
Let j(s) = -2 + 3 + 0*s + 4 + 5*s**2 - 7*s. Let u be j(4). Suppose 4*g = g + u. Is 11 a factor of g?
False
Is (47/2 - 2)/((-2)/(-8)) a multiple of 18?
False
Suppose 2 + 7 = 3*f. Suppose -f*s = 17 - 59. Suppose -3*y = s - 38. Is y a multiple of 6?
False
Suppose 0*w - 2 = -w. Let k = 6 - 4. Suppose 36 = k*r - w*u, 0*r + 4*r - 67 = -u. Is 10 a factor of r?
False
Let u(q) = q**3 - 9*q**2 - 4*q - 6. Let b = 9 + 0. Let h be u(b). Does 22 divide (h/(-2) - -2) + -1?
True
Suppose 5*z - 10 = 0, 15 + 18 = 3*t + 3*z. Let j = t - 6. Let x = 21 + j. Does 10 divide x?
False
Suppose 2*k + 1 = -3. Is (-7)/k*4*1 a multiple of 14?
True
Let b = -189 - -489. Suppose -b = -2*y - 20. Suppose 0 = -3*a + y - 23. Is a a multiple of 17?
False
Suppose 0 = -4*c - 3*x + 25, -2*c - 5*x + 19 = -c. Suppose 3 = 4*a + 2*v + v, a - c*v = -4. Suppose a = -2*d + 4*i, 5*i + 11 = 5*d - 9. Is d a multiple of 8?
True
Let o(y) = -5*y**3 - 4*y**2 - y + 2. Let f(p) = 21*p**3 + 17*p**2 + 5*p - 9. Let r(u) = -2*f(u) - 9*o(u). Is 10 a factor of r(2)?
True
Let f(l) = -8*l + 10. Is 14 a factor of f(-7)?
False
Let w = -46 + 104. Let v be (-2 - -3 - 0) + w. Let m = 83 - v. Is 12 a factor of m?
True
Let h(x) = -x**2 + 6*x + 9. Let z be h(7). Suppose z*a = -0*a + 40. Is 4 a factor of a?
True
Suppose 56 = 4*c - 48. Is c a multiple of 13?
True
Let u = 471 + -183. Is 48 a factor of u?
True
Let f = 3 + 3. Let u(j) = -j**3 + 10*j**2 - 10*j + 8. Let y be u(f). Let l = y - 59. Does 14 divide l?
False
Suppose -3 = -0*u - u. Suppose 2*q = u*q. Suppose 36 = -q*c + 4*c. Is 9 a factor of c?
True
Suppose -4*w + 14 = -3*l + 4*l, -2*l + 16 = 5*w. Suppose -w*k + 0*k = -5*y - 115, 33 = k + 3*y. Suppose -4*o + k = 5*u - 7*o, 4*o = -2*u + 12. Does 3 divide u?
True
Let f = -56 - -101. Does 9 divide f?
True
Is 4 a factor of -4*4/(-16)*4?
True
Let y(c) = 3*c**3 + c**2 - c + 1. Let s be y(1). Suppose -w = 5*z - 3, 0*w + 54 = s*w - z. Does 8 divide w?
False
Let k be 382/4 + (-2)/4. Suppose k = 4*m + m. Is m a multiple of 8?
False
Let m(k) = -6*k**3 - k**2 - k. Is 35 a factor of m(-2)?
False
Let r = 8 - -135. Suppose 5*m = 423 - r. Is 20 a factor of m?
False
Suppose 38 = 4*r + y - 3, r = 4*y + 6. Suppose 0*t - 5*t - r = 0. Is (t/(-3))/((-6)/(-45)) a multiple of 4?
False
Suppose 0*b - b = -6. Let z be (b/9)/((-2)/(-3)). Is 13 a factor of z*24 - (-3 - -3)?
False
Let s be ((-8)/(-12))/(-2)*-6. Suppose -103 = -5*r + 4*z, -s*r + 22 = z - 14. Is r a multiple of 3?
False
Let v(d) = 50*d**3 + 2*d**2 - 1. Let a be v(1). Let f be a/(-5) + (-1)/(-5). Is 5 a factor of (-9)/(-6)*f/(-3)?
True
Let s = -276 + 193. Let b = s - -120. Suppose 4*x = b + 115. Does 17 divide x?
False
Let v(d) = -19*d + 11. Let n be v(-7). Let a = n + -91. Is 29 a factor of a?
False
Suppose 8*y - 149 - 555 = 0. Is 11 a factor of y?
True
Let u(j) be the first derivative of -j**4/4 + 3*j**3 - j**2/2 + 13*j + 2. Is u(9) a multiple of 3?
False
Let l(u) = u - 3. Let w be l(4). Suppose 0 = -a + 12 + w. Suppose -a = g - 2*g. Is g a multiple of 6?
False
Let s = -231 + 363. Is 44 a factor of s?
True
Suppose -3*k - 99 = n - 4*n, -4*k + 12 = 0. Is 4 a factor of n?
True
Suppose 0 = -4*y - 4*a + 48, -5*y - 3*a + 29 = -23. Suppose -4*t = -0*t - y. Let b = 0 + t. Does 2 divide b?
True
Let u(o) = -16*o - 4. Let d be u(-2). Suppose -d = 3*i - 5*i. Is 3 a factor of i?
False
Let c = 5 - 2. Suppose 0 = 2*m - 40 - 118. Suppose -v - c*s + 17 + 1 = 0, 5*v - m = -4*s. Is 12 a factor of v?
False
Is 25 a factor of -5*(-3 - 17/5)?
False
Let z = 24 + 71. Does 12 divide z?
False
Let b(v) = -v**3 - 2*v**2. Let y be b(-2). Let h = 27 - 23. Suppose y*c - c = -h. Is c a multiple of 2?
True
Let l(m) = -m**3 + 8*m**2 - 5*m - 8. Suppose y - 4 = 3. Let b be l(y). Is 14 a factor of ((-56)/6)/((-2)/b)?
True
Let g(d) = -8*d + 2. Let v be g(6). Let a = -31 - v. Is a a multiple of 5?
True
Suppose -4*t + 13 + 79 = 0. Is t a multiple of 23?
True
Let x = -25 + 15. Suppose -5*g - 3*f + 221 = 0, 83 = 4*g - 2*g + 3*f. Let u = g + x. Is u a multiple of 14?
False
Let s be -5*(32/(-10))/(-4). Let u(r) = r**3 + 4*r**2 + 2*r + 6. Let j be u(s). Does 7 divide (-1 - 13/2)*j?
False
Let p be (-9 - -3) + -1 + 0. Suppose 4*r - 4 + 0 = 0. Is (p/(-2))/(r/2) a multiple of 6?
False
Let b = 24 + 0. Suppose -t + b = -3*t. Is 8*(2 + 3/t) a multiple of 14?
True
Let u = -154 - -323. Does 11 divide u?
False
Does 3 divide 5/20 - 141/(-12)?
True
Let o(a) = a**2 - 2*a + 1. Let l be o(2). Suppose y - l + 2 = -p, y = -3*p - 9. Does 14 divide y/((-38)/(-32) - 1)?
False
Let r(u) = -u**2 + 7*u - 8. Suppose -2*c = -6 - 6. Let q be r(c). Let l(m) = -m**3 + 2*m**2 + 2*m + 2. Is l(q) a multiple of 9?
False
Let g(x) = x**2 + 19*x + 36. Is g(-20) a multiple of 16?
False
Suppose -4*k - 4*d - 36 = 0, -25 = -7*d + 2*d. Does 7 divide 2/7 - 192/k?
True
Let p = -4 + 2. Let l(q) = 43*q. Let c be l(p). Let m = -47 - c. Does 14 divide m?
False
Let j = -22 - -57. Is 35 a factor of j?
True
Suppose 3 = -0*r - 3*r. Let c be ((-8)/12)/((-1)/12). Is 17 a factor of (2 - 5)/(r/c)?
False
Let h(r) = 6*r**2 + 2. Let z(n) = -5*n**2 - 2. Let j(f) = 6*h(f) + 5*z(f). Is 16 a factor of j(2)?
False
Suppose -x + t + 8 = 0, -9 = -3*x - 0*t - 2*t. Does 22 divide (10/x)/(2/56)?
False
Suppose -41 - 13 = -2*z. Suppose 0 = -4*m - z - 25. Let u = 29 + m. Is 8 a factor of u?
True
Does 33 divide 129 - (-1)/((-4)/(-8))?
False
Suppose -2*n - 4*p = -28, -5*n - 2*p = -42 - 12. Suppose 4*g + 22 = -n. Is 8 a factor of (g/(-10))/(11/220)?
True
Suppose -6*a + 3*a + 15 = 0. Suppose -65 = -a*f - 10. Is f a multiple of 11?
True
Is 7 a factor of 125/9 - 17/(-153)?
True
Suppose t - 8 = 1. Suppose -3*q + t = -9. Suppose -4*z + q = -14. Does 5 divide z?
True
Suppose -3*t + 8 = -t. Suppose -t*z + 69 = 5. Is 8 a factor of z?
True
Let m be (20/6)/(6/(-9)). Is 11 a factor of 54*(-2 - m/2)?
False
Suppose -5 = 5*a, 2*a - 57 = -4*w + 7*a. Suppose 3*x - w = 2*x. Is 7 a factor of x?
False
Suppose 5*b - p - 8 = 0, -2*p - 10 = 2*b + 2*p. Let y be (3 + -3)/b + -1. Let a(h) = -26*h. Does 9 divide a(y)?
False
Let x(c) = c - 2. Let m be x(-7). Let r(k) = k**2 + 9*k - 12. Let h be r(-10). Is h/m - (-496)/36 a multiple of 7?
True
Suppose -3*q = -6*q. Suppose -i = -0*i - 75. Suppose -5*p + i - 10 = q. Does 5 divide p?
False
Suppose 2*v - 10 = -3*v. Let q = v + 58. Is 20 a factor of q?
True
Let r be 7/21*163*3. Suppose -r - 117 = -5*p. Is 16 a factor of p?
False
Let w be 1768/(-3 + (-28)/(-12)). Does 20 divide 4/(-18) + w/(-27)?
False
Suppose -38 = 5*o - 3*t, 2 = -4*o + 2*t - 30. Is 6 a factor of o/15*(2 + -32)?
False
Let y(k) be the second derivative of -k**6/120 + 2*k**5/15 + k**4/2 + 13*k**3/6 + k**2/2 - 3*k. Let b(m) be the first derivative of y(m). Does 20 divide b(9)?
True
Does 21 divide 569/9 + (-6)/27?
True
Suppose -20 = -0*b - 4*b - 2*k, b = -3*k + 10. Is 3 a factor of b?
False
Let z(i) be the third derivative of 0 - 1/10*i**5 + 0*i**3 - 1/12*i**4 + i**2 + 0*i - 1/120*i**6. Is 5 a factor of z(-6)?
False
Suppose 0 = -5*d + d + 64. S