 + g = -i. Is 7 a factor of i?
False
Let q(w) be the first derivative of w**6/360 + w**5/24 - w**4/3 - w**3/3 + 2. Let d(p) be the third derivative of q(p). Is d(-8) a multiple of 8?
True
Let n(o) = 4*o**3 + 4*o**2 - 5*o + 5. Is 9 a factor of n(2)?
False
Let x(s) = -s**3 + s + 2. Let z be x(0). Let y be z/(-4)*-53*2. Suppose -3*q + y = 2. Is q a multiple of 14?
False
Suppose -7 = -5*a - 2, -4*a = 3*i - 46. Suppose -4*b - 2 = -i. Is 11/b - 2/3 a multiple of 2?
False
Is (93/(-9) - -3)*(-3)/2 a multiple of 6?
False
Suppose -3*o + 4*d + 284 = o, 348 = 5*o + 2*d. Suppose -3*s + o = -128. Is s a multiple of 22?
True
Let k be ((-4)/(-3))/((-2)/(-6)). Suppose 0 = -u + 6*u. Let j = k - u. Is j a multiple of 2?
True
Suppose z = -5*o - 2*z + 5, -2*z = -5*o + 5. Let t be -2*o/(-2) + 0. Does 6 divide (t - (0 - 0))*12?
True
Let j be (-2*1)/((-2)/3). Suppose 0 = j*w - 27 - 9. Is 6 a factor of w?
True
Is -3 + (1 - 3)*-9 a multiple of 5?
True
Let j = -32 - -57. Is 7 a factor of j?
False
Suppose -3*n = -5*n + 22. Let c = 8 - n. Is 15 a factor of 1 - (123/c - -2)?
False
Let j = -83 - -119. Does 12 divide j?
True
Let l be 110/4 + (-1)/(-2). Suppose -2*y + d - 4*d - 37 = 0, -d = -y - 6. Let o = y + l. Is 7 a factor of o?
False
Suppose -477 = -3*r + 2*k, 0 = 2*r - 0*k + 2*k - 328. Does 23 divide r?
True
Let g(s) = s**3 - s**2 + 13. Suppose -l = l - 8. Suppose 0 = -r - o - l, 0 = 5*o + 20. Does 5 divide g(r)?
False
Suppose 4*v - 12 = -0*v. Suppose -n + v*d = -5, 2*n - 4*d + 54 = 5*n. Does 14 divide n?
True
Let n = 687 - 445. Is 22 a factor of n?
True
Let m be (-1)/2 - (-1)/2. Suppose 4*p - 3*p - 15 = m. Suppose 4*z - 4*i - 52 = 0, -3*z + p = 2*i - 29. Does 14 divide z?
True
Let y = 9 - 5. Suppose 0 = -y*g + 61 - 13. Is 12 a factor of g?
True
Let x(j) = j**3 - 8*j**2 - 4*j + 7. Let o be x(8). Is 7 a factor of (15/o)/(1/(-15))?
False
Let f(k) = 4*k**3 - k. Let t be f(1). Is (0 + t + -30)*-1 a multiple of 9?
True
Let a be 3/(-6) + 19/(-2). Is 12 a factor of (-48)/a*(-10)/(-2)?
True
Let l(b) = b**2 + 4*b + 4. Let w be l(-4). Suppose 0 = -4*o, -4*g - w*o = -5*g + 5. Is 4 a factor of (3/2)/(g/40)?
True
Let w be 0 - -1 - (-1 + -8). Let b = w - 4. Does 3 divide b?
True
Suppose -7*m + 193 = -87. Is 7 a factor of m?
False
Let c(j) = 13*j + j**2 - 3 - 2*j**2 - 3. Is 7 a factor of c(9)?
False
Suppose -2*c = 2*c - 24. Is (-2)/(-6) + 106/c a multiple of 7?
False
Suppose 8 = 4*f - 0*f. Let z be (f - 3)/(-1) + 59. Suppose 0*m - 3*m - 2*h + 35 = 0, 5*m - z = -5*h. Does 4 divide m?
False
Let v(y) be the second derivative of y**5/20 + 5*y**4/12 + y**3/3 + 2*y**2 - 4*y. Does 10 divide v(-4)?
False
Suppose -3*l + 32 = -4*z + 437, 4*z + l - 425 = 0. Is 35 a factor of z?
True
Suppose -3*y - 174 = -d - 0*d, -3*d - 3*y + 582 = 0. Is 7 a factor of d?
True
Let s be 21/(-14) - 9/(-2). Suppose -s*q = c + 4*c - 2, -18 = -2*q + 5*c. Is 4 a factor of q?
True
Let f(l) = 2*l**3 - l**2 + 2*l - 1. Let w be f(1). Suppose -w*h + 5 + 5 = 0. Suppose 5*m = 2*i + 9, 0 = -i - 3*m + h + 7. Is 2 a factor of i?
False
Suppose 3*o - 4 = 2*o. Let u(b) = 0*b - b**3 - o + 2*b - 3*b + 7*b**2. Is u(6) a multiple of 13?
True
Let k = -47 + 73. Is 5 a factor of k?
False
Suppose 3*f - f = -5*u + 128, 5*u + 3*f = 127. Is (u/6)/(6/72) a multiple of 12?
False
Let v(d) = -4*d. Let a(n) = n**2 - 2*n. Let w be a(4). Suppose 0 = -4*z - 8 - w. Is v(z) a multiple of 16?
True
Let q(u) = -5*u**3 + u**2 + 3*u + 6. Let y(h) = -9*h**3 + h**2 + 5*h + 12. Let s(f) = -11*q(f) + 6*y(f). Is 7 a factor of s(6)?
False
Let b(j) = -5*j - 6. Let s = 0 - -2. Suppose 7*o = s*o - 20. Is 7 a factor of b(o)?
True
Let n(w) = -w**3 - w**2 - w + 13. Let q be n(0). Suppose 2*y = 2*f + 17 + q, -2*y = -f - 28. Suppose 0 = i - y - 5. Is 18 a factor of i?
True
Let l be 4/(-1 - 20/(-12)). Suppose l*s - 10*s = -48. Is s a multiple of 8?
False
Let p = 7 + 8. Does 5 divide p?
True
Suppose -28 = 3*f - 7*f. Let j = f + -4. Suppose 30 = j*x + 2*x. Is x a multiple of 3?
True
Let g be (2 - 2/2)*-9. Let p = g - -6. Does 6 divide (p/(-3))/((-1)/(-12))?
True
Suppose -2*n = -6*n + 12. Does 12 divide -24*-2*n/6?
True
Is 2/6 - (-429)/9 a multiple of 16?
True
Let m(t) = -8*t. Let j be (-1)/(-6)*14*-3. Does 19 divide m(j)?
False
Let x(t) = t**2 + 2*t + 3. Does 22 divide x(7)?
True
Let s(z) = 9*z**2 - 3*z - 2. Let p be s(-2). Suppose -2*d + p = 2*d. Is 4 a factor of d?
False
Let f(o) = -o**2 + 5*o + 8. Let d be f(6). Let h = d - 1. Does 9 divide (27/h)/(-5 - -6)?
True
Suppose 4*l - 1 = 7. Let s be -3 - ((0 - 2) + -59). Suppose 2*q - s = -2*p, 0 = -3*p - q + l*q + 79. Does 17 divide p?
False
Suppose -5*w + 361 = -6*w. Let i = -240 - w. Suppose 0 = -5*v - x + 4*x + i, v - 32 = -2*x. Does 13 divide v?
True
Let w(r) = r**2 + 6*r - 8. Let b be w(-7). Let l be -2 - 1*2/b. Suppose -2*h + 14 = -0*h - 2*u, l = -4*h + 2*u + 22. Does 3 divide h?
False
Let u = -71 - -135. Suppose -5*j - u = -6*j. Is j a multiple of 16?
True
Does 6 divide 4/5*360/16?
True
Suppose 19 = 3*o - 131. Is 10 a factor of o?
True
Let v(x) = 7*x - 21. Let q = 22 - 13. Is v(q) a multiple of 7?
True
Let y(t) = -20*t - 82. Let b(n) = 7*n + 27. Let l(o) = -17*b(o) - 6*y(o). Let a be l(0). Suppose -6*p + a = -3*p. Is 11 a factor of p?
True
Suppose -2 = y - 49. Suppose -121 = -2*r - r + 2*g, r - y = 2*g. Does 12 divide r?
False
Let d = 43 - 27. Is d a multiple of 14?
False
Let l(u) = u**2 - 2*u + 3. Let s = -7 + 12. Is l(s) a multiple of 8?
False
Let d(b) = b**3 + 8*b**2 - 10*b - 2. Does 2 divide d(-9)?
False
Let a = -6 + 4. Let u = -13 - -4. Is u/(a/2) + -1 a multiple of 4?
True
Does 9 divide (1/2*2)/((-6)/(-324))?
True
Suppose -5*v - 2*w + 13 = -4, -3 = -3*w. Suppose -v*i = -2*x - 0*x + 152, i = 2*x - 144. Is x a multiple of 13?
False
Does 6 divide 4/(-6)*(-117 + -3 + 3)?
True
Suppose 0 = -5*c, 0 = 2*i - 0*i + 2*c - 114. Is 14 a factor of i?
False
Let v(y) = -5*y**3 - 7*y**2 - 8*y - 8. Let c(i) = 11*i**3 + 15*i**2 + 17*i + 17. Let g(x) = -6*c(x) - 13*v(x). Does 7 divide g(-2)?
False
Let z(x) = -x**3 + 8*x**2 - 9*x + 7. Let a be z(6). Suppose -2*w = -w - a. Does 17 divide w?
False
Let p be 14/(-8) - 2/8. Let v(z) = -z**3 - z**2 - 2*z - 2. Let j be v(p). Let b = j + -2. Is b a multiple of 4?
True
Suppose 0 = -h - 3*f + 239, 5*h - 1524 + 381 = -2*f. Is h a multiple of 36?
False
Let r(m) = m**2 - 11*m + 14. Let p be r(10). Suppose p*t - 37 - 139 = 0. Is t a multiple of 7?
False
Suppose 22 = -2*c + 5*b, -5*c - b = b + 84. Is 10 a factor of (-236)/c - (-2)/8?
False
Let t = 195 + -116. Let x = -46 + t. Does 11 divide x?
True
Let f = 167 - 118. Is f a multiple of 8?
False
Let s(h) = -h**2 - 10*h + 13. Suppose -5 + 35 = -3*b. Is s(b) a multiple of 2?
False
Let s = 49 + 7. Does 28 divide s?
True
Let x(y) = -3*y**2 + 7*y. Let v(w) = -w**2. Let h(a) = -2*v(a) + x(a). Is 6 a factor of h(3)?
True
Suppose 4*s = -5*n + 407, n = 4*s - 2*n - 447. Suppose -2*p - s = -6*p. Suppose -c - 4*g + p = -g, -4*c = 5*g - 108. Is c a multiple of 8?
False
Let z = 11 - 9. Does 14 divide 1/(z/84) + -1?
False
Suppose 2*s = 3*s - 1. Suppose 0 = -5*y + s - 6. Let a = 8 - y. Is a a multiple of 7?
False
Suppose 5*y = -4*k + 2 + 57, -4*y = 3*k - 48. Does 5 divide y?
True
Let c be (-2)/(-4)*(-2 - 140). Let i(n) = -23*n - 7. Let x be i(-5). Let f = x + c. Is f a multiple of 13?
False
Let k(w) = w**3 - 3*w**2 - 3*w - 5. Let q be k(4). Let n be q - (1 + 0) - -2. Does 6 divide 10*((-3)/(-2) + n)?
False
Suppose g - 3*g = 0. Suppose -m + 5*k + 22 = g, -86 = -3*m - 2*k - 20. Does 22 divide m?
True
Suppose -v + 2*v + 3*p - 88 = 0, -2*p + 92 = v. Suppose n = 4*n - 2*f - v, f - 115 = -4*n. Is n a multiple of 10?
True
Suppose p - 2*n - 1968 = -p, -4*n - 4923 = -5*p. Is p/77 + 2/11 a multiple of 3?
False
Let r(v) = v - 4. Suppose 2*f - 6 = -2. Let w be r(f). Does 21 divide 3/((-178)/92 - w)?
False
Suppose 4*k + k = 100. Is k a multiple of 10?
True
Suppose 0 = 20*f - 18*f - 62. Is f a multiple of 8?
False
Let h be 6*2*(-1)/2. Let z(p) = -p - 5. Let r be z(h). Is 3 + 1 + 1 + r a multiple of 6?
True
Let y(l) = -9*l**2 + 2*l. Let o(b) = 8*b**2 - 2*b. Let u(z) = 6*o(z) + 5*y(z). Does 5 divide u(-2)?
False
Let p(f) = 2*f**2. Let c be -1*(-2)/(-8)*4. Let v be p(c). Let j(l) = 3*l**3 - 3*l**2 - l + 2. Does 6 divide j(v)?
True
Suppose -23 = 4*g + 85. Let l = g - -65. Does 1