be o(17). Let c be 304/(-8)*3/y. Let s = 117 - c. Is s a multiple of 20?
True
Suppose -5 = -4*a - 6*j + 3*j, 6 = -3*a + j. Is (-104 + 2 + 1)*a a multiple of 38?
False
Let q(d) = 2*d**3 - 2*d**2 + 3*d - 2. Let r be q(2). Suppose -6 + 210 = r*j. Is j a multiple of 10?
False
Let t = 300 - -400. Is t a multiple of 10?
True
Let w(g) = -10*g - 170. Is w(-20) a multiple of 6?
True
Let l = -634 + 710. Does 23 divide l?
False
Let h(p) = -p - 7. Suppose 7*n = 10*n + 24. Let m be h(n). Is 23 a factor of 92 - (1 + -2 + m)?
True
Let f(b) = 2*b**2 + 12*b + 12. Let a be f(-7). Suppose 20 = -a*x + 31*x. Is x even?
True
Suppose -427 - 517 = -4*a. Does 6 divide a?
False
Let m = -33 - -236. Is m a multiple of 29?
True
Suppose 0 = -5*v - 3*l + 342 + 1036, 0 = -3*l - 12. Suppose -5*c - 83 + v = 0. Does 17 divide c?
False
Let p(v) = -3*v + 12. Let t = -2 + 9. Let x be p(t). Does 10 divide x/6*(-60)/2?
False
Let t(f) = -f**3 + 5*f**2 - 4*f + 8. Let y be t(4). Suppose -9*k + 63 = -y*k. Let d = -35 + k. Is 12 a factor of d?
False
Suppose 0 = 3*c - 2*g - 1746, -4*c - 12*g + 2328 = -16*g. Is 31 a factor of c?
False
Let z = -29 - -49. Suppose c = 5*c - z. Suppose -c*n = 3*r - 124, 78 = 4*r + 4*n - 74. Does 5 divide r?
False
Suppose 3*l + 3 = 4*l. Suppose -q = l*q - 36. Does 4 divide -8*(-1)/(6/q)?
True
Let q be 1*(-1)/((-2)/(-186)). Suppose 16*u = 21*u + c + 268, -2*u = c + 106. Let t = u - q. Is t a multiple of 12?
False
Suppose 4*n - 2*h = -630, 0*n = 5*n + 5*h + 750. Let f = -107 - n. Does 12 divide f?
True
Let z(g) be the third derivative of g**6/720 + 3*g**5/20 - g**4/4 - 5*g**2. Let d(f) be the second derivative of z(f). Is 5 a factor of d(7)?
True
Suppose -3*q = -702 + 216. Does 18 divide q?
True
Let k be ((-6)/(-21) - -4)*-7. Let y = 66 + k. Is 6 a factor of y?
True
Suppose -3*f + r + 386 = 0, 5*f + 0*r = 3*r + 642. Let c = f - 69. Is c a multiple of 5?
True
Let g(s) be the first derivative of -s**4/4 + 11*s**3/3 - 3*s**2 + 14*s + 2. Suppose 3*w = 4*t - 40, -5*t + 2*t + 30 = -5*w. Does 10 divide g(t)?
False
Let c(x) = 30*x + 172. Is c(-5) a multiple of 7?
False
Suppose -7 = -m - 5. Is (m*-4 + 4)*-10 a multiple of 20?
True
Suppose 0 = -2*z + 4*z + 2*i + 2, 3*i + 2 = -4*z. Is 6 a factor of ((-56)/(-16))/(z/8)?
False
Let k be (2/(-6))/(21/(-63)). Let t be -3 + -14 - (-2 + k). Is (t/10)/(4/(-210)) a multiple of 21?
True
Let s(n) = -18 + 33 + 8*n - 13 - 17. Is s(5) a multiple of 6?
False
Is 76 a factor of 3*(5 - 84/18)*2932?
False
Let v(w) = 21*w**3 - 3*w**2 - 17*w + 26. Does 17 divide v(2)?
False
Let b be -4*(-3)/(-4)*7/(-3). Suppose -1946 = -7*r - b*r. Does 24 divide r?
False
Let h = 99 + -17. Let j = 145 - h. Is j a multiple of 21?
True
Let n = -1 - -2. Let y be -3 + n - (-6 - -1). Is 47/y - 5/(-15) a multiple of 8?
True
Let s(n) = 3*n**2 - 2 + n**3 + 5 - 5*n**3 + 0*n**2. Let w be s(3). Let g = -16 - w. Is g a multiple of 17?
False
Let s(c) = 9*c**2 + 21*c - 2. Suppose i = m - 5, -2*i + i + 5*m + 3 = 0. Let l(q) = -8*q**2 - 20*q + 1. Let y(g) = i*l(g) - 6*s(g). Is y(-9) a multiple of 16?
False
Let f(m) = 70*m**2 - 22*m + 22. Is 16 a factor of f(3)?
False
Let j(g) = -10*g**3 + 3*g**2 - g + 4. Let x be j(2). Let o = x - -190. Is 31 a factor of o?
True
Let t(r) = -15*r**3 + 5*r**2 + 6*r - 6. Does 9 divide t(-3)?
False
Let v be 2 + (2 - (-2)/2) + -10. Let h(i) = -21*i + 18. Is h(v) a multiple of 41?
True
Let t(s) = -s. Let x be (2 - 3/2)*6. Let q(l) = -7. Let r(h) = x*t(h) + q(h). Is 11 a factor of r(-6)?
True
Suppose 4*k = 5*v - 22 + 2, 12 = 5*k + 3*v. Suppose -58 = -b + s + s, k = -2*b + 3*s + 121. Does 17 divide b?
True
Suppose 3*w = 17 - 5. Does 11 divide w/(-4)*(-34 - -2)?
False
Let q be ((-130)/39)/(4/(-18)). Suppose 0 = 5*o - 6*t + 4*t + 10, 0 = 3*t + q. Does 10 divide 1/(o/4)*-53?
False
Let p be 2 + 0 + -2 - -3. Suppose -i + 2 + p = 0. Let m(s) = 2*s**2 - s + 3. Does 24 divide m(i)?
True
Is (3388/16 - -4) + (-3)/(-12) a multiple of 18?
True
Let k(u) = 14*u**2 - 12*u - 32. Is 10 a factor of k(-3)?
True
Let u(k) = k + 25. Let z be u(11). Let j = 162 - z. Does 18 divide j?
True
Let t(m) = -m - 2. Let s(y) = y**2 + 3*y + 3. Let u be s(-2). Suppose 3*q + 27 = 3*o, -14 = q + 5*o + u. Is t(q) a multiple of 6?
False
Suppose -1417 = -t + 4*p, 0 = 2*t + 3*p - 1787 - 1025. Is t a multiple of 10?
False
Let o(a) = -27*a + 2. Does 8 divide o(-5)?
False
Suppose 0 = 47*n - 2738 - 552. Is n a multiple of 12?
False
Let o(w) = w**3 + 2*w**2 + 2*w + 612. Does 51 divide o(0)?
True
Suppose -g = -5*t + 1955, 2*t + 4*g - 531 = 273. Is t a multiple of 14?
True
Let r be 0 + 0 - -6 - 3. Suppose 124 = -r*z + h - 2*h, -2*h = -5*z - 214. Let v = z - -69. Does 16 divide v?
False
Let y be 2 - (-3 + (-5 - 2)). Suppose -y*n = -8*n - 56. Is n a multiple of 4?
False
Let m(p) be the second derivative of -3*p**5/20 - p**4/6 + p**3/3 + 3*p**2/2 + p. Let d = 83 + -85. Is m(d) a multiple of 11?
False
Suppose 0 = -5*b - 92 - 133. Let q be (-1)/3 - 1275/b. Does 10 divide (540/42)/(6/q)?
True
Let y(v) = 86*v**2 - 3*v + 2. Does 48 divide y(1)?
False
Suppose 0 = 39*m - 34*m + 325. Let o = m - -107. Is 8 a factor of o?
False
Suppose -2*m + 8 = 0, 4*c - 2*m = -0*m - 12. Let g be (-2)/(6/9) - -2. Does 9 divide (17*(g + 0))/c?
False
Let s = 139 + -140. Let c be 1/(-1 + 0) + 8. Is (-3)/((0 + s)/c) a multiple of 6?
False
Let y(w) = -2*w + 46. Is 3 a factor of y(11)?
True
Suppose 2860 = 4*h + 5*q, -3*q - 5 = 7. Is 12 a factor of h?
True
Suppose -2*z = 5*p - 22, 2*z + z + 5*p - 23 = 0. Is ((-196)/(-8))/(z/2) a multiple of 7?
True
Suppose -2*m = 2*j + 12, 0*j = -m + j - 10. Let p(x) = 0*x**3 + 4*x**2 + 5*x**2 + 9 - 12 + 5*x + x**3. Is p(m) a multiple of 21?
True
Let c = 973 - 123. Is 10 a factor of c?
True
Let j = -1118 - -1736. Is j a multiple of 103?
True
Let p(t) = t**3 + 6*t**2 - 8*t + 3. Let s be p(-7). Let z be 6/9 - s/6. Is 9 a factor of z/(4/(-68) - 0)?
False
Let c = -44 - -57. Is c a multiple of 9?
False
Let r(j) = 3*j**2 + 20*j - 3. Let a be r(6). Suppose -385 = -5*i + 5*f, i - 5*f = -2*i + a. Is 16 a factor of i?
True
Suppose 3*o + 4*o = 14. Suppose -6*g = -g + 3*h - 507, 388 = 4*g - o*h. Suppose 4*f = g + 5. Is 12 a factor of f?
False
Suppose -922 = 33*c - 5674. Is c a multiple of 11?
False
Let m(q) = q**3 + 6*q**2 + 4*q - 2. Let c be m(-4). Let s = 16 - c. Suppose 0*o + 10 = 2*i + s*o, -o = 5*i - 25. Is i a multiple of 4?
False
Let o be (-2 - -3)*(-70)/(-7). Let u be 2*(5/o - 2). Is (u + -7)/(2/(-11)) a multiple of 14?
False
Is ((-64)/(-20))/((-47)/(-15) + -3) a multiple of 12?
True
Suppose 0 = 5*q + 6*l - l - 3410, -5*q + l + 3434 = 0. Is 50 a factor of q?
False
Let y = -19 + 159. Is 10 a factor of y?
True
Let k(z) = 4*z - 13. Let o(i) = -1. Let r(q) = -k(q) + 6*o(q). Is r(-2) a multiple of 5?
True
Suppose 4*c = 2*r + 3*r + 508, 618 = 5*c - 2*r. Suppose c = 5*i + 4*f - f, 2*i + 5*f = 45. Does 18 divide i?
False
Let y(i) be the third derivative of -29*i**5/120 + i**4/6 + i**3/6 + 4*i**2. Let a(x) be the first derivative of y(x). Is 31 a factor of a(-2)?
True
Let j(z) = -21*z - 12. Suppose -5*f + 25 = -5*r, -20 + 0 = 4*r - 5*f. Is j(r) a multiple of 22?
False
Let i = -239 + 380. Is i a multiple of 37?
False
Does 88 divide (7395/2)/3 + (-38)/76?
True
Let a = -389 + 430. Does 3 divide a?
False
Suppose -5*g + d - 487 = 502, 5*g + d = -991. Let u = g - -388. Is 18 a factor of u?
False
Suppose 49*s - 46*s - 1242 = 0. Does 18 divide s?
True
Let x(w) be the first derivative of 139*w**3/3 + w**2/2 - 2*w + 31. Is 23 a factor of x(1)?
True
Let m = 1169 + -421. Is 34 a factor of m?
True
Let h(y) = y**2 - 23*y - 48. Is 5 a factor of h(-13)?
True
Suppose -3*g + 1020 = -0*g. Suppose 4*k + l - 686 = 0, 0*k - l - g = -2*k. Is (-6)/(-4) - k/(-6) a multiple of 10?
True
Let s(p) = p**3 - 38*p**2 - 63*p - 68. Is 3 a factor of s(40)?
True
Let u(p) = -p**3 + p**2 + 1. Let d(y) = -4*y**3 - 2*y**2 - y + 4. Let m(j) = d(j) - 3*u(j). Suppose 5*z = -2*n - 6 - 1, -n - 7 = -z. Is m(n) a multiple of 12?
False
Let z(g) = 12*g**2 + g - 4. Let m be z(2). Let v = -40 + m. Suppose v*o - 336 = 2*o. Does 26 divide o?
False
Let b be 1/2*(-8 - -32). Is 30 a factor of -2*3/(b/(-202))?
False
Let o(n) = -n**2 - n. Let d be o(0). Let a(k) = d*k**2 - 63*k**3 + 0*k**2 - k**2. Does 8 divide a(-1)?
False
Let x be 8/(-12)*9 - -2. Let t(n) = -n**