n = i - -22. Is n a multiple of 5?
True
Let n(d) = 8*d**2 - d + 3. Let s be n(-3). Does 15 divide ((-10)/(-4) - 2)*s?
False
Let b(z) = -z**3 - 2*z**2 + 2*z. Let c(k) = k - 5. Let t be c(6). Let j = t + -4. Does 2 divide b(j)?
False
Suppose 0 = r - 3, 4*j - 5*r + 45 = -j. Let k be 3/j*2 + 45. Suppose 0*s - 4*s = -k. Is 11 a factor of s?
True
Let z(d) be the first derivative of d**3/3 - d**2/2 + 1. Let l be z(-1). Suppose l*j - 57 = -j. Is 10 a factor of j?
False
Let p(a) = 3*a**2 - 4*a + 2. Let q be p(2). Does 14 divide 2/q + (-610)/(-15)?
False
Let b(o) = 13*o**3 + 1. Suppose -14 - 6 = -5*a. Suppose -4*v - 2*y - a = -6*v, 1 = -y. Is 7 a factor of b(v)?
True
Suppose -p + 113 = 3*p - 3*c, -79 = -2*p - 3*c. Let k = p - 14. Is 6 a factor of k?
True
Suppose -u + 140 = 4*u. Is 12 a factor of u?
False
Let y(g) = g**3 + 5*g**2 - 3*g - 5. Is 3 a factor of y(-5)?
False
Let z(u) = 10*u**2 - 1. Let s be z(-1). Let q be 6*(s/(-6) + 2). Suppose 3*f - q*d - 159 = 0, -3*f = -2*f + 4*d - 68. Is 18 a factor of f?
False
Let o(g) = 32*g**2 - 5*g + 5. Does 11 divide o(2)?
False
Suppose 0 = -2*y + y. Suppose -4*n + 2 + 38 = y. Is n a multiple of 5?
True
Let s be 2/2*0/3. Suppose 6*r - 3*r - 51 = s. Does 8 divide r?
False
Let o(t) = 2*t**2 - 8*t + 5. Let m be o(4). Suppose 2*y = 4*f - 30, m*f + y - 6 = 4*f. Is 3 a factor of f?
False
Let d(q) = 7*q + 8. Does 9 divide d(7)?
False
Let m be (-207)/(-63) + (-2)/7. Is 8 a factor of 1*m/(-6)*-16?
True
Let q(b) = -2*b - 1. Let z be q(-6). Let w = 24 - z. Is w a multiple of 13?
True
Let w = -2 + 2. Let l be 2 - (w + 1 + -16). Let g = l + -3. Does 14 divide g?
True
Let b(z) = z**3 + 7*z**2 - 4*z - 10. Let i(j) = j**3 + 7*j**2 - 3*j - 10. Let k(v) = 3*b(v) - 4*i(v). Is k(-7) a multiple of 5?
True
Let h = -9 - -6. Is 15 a factor of 2/h*(-47 - -8)?
False
Suppose 0 = 2*h + 8, 16 = 4*f - 0*f - 5*h. Let w(x) = 5*x - 1. Let a be w(f). Let o = a - -20. Is o a multiple of 8?
False
Suppose -9 - 3 = 3*g. Let m = g + 8. Let y = m - -12. Is 14 a factor of y?
False
Let z(l) = l**2 - l - 12. Let i(s) = s**2 - 11. Let m(j) = 6*i(j) - 5*z(j). Let y be m(-7). Suppose 4*c - 23 + 3 = -4*g, -y = 4*g. Is 7 a factor of c?
True
Let i(c) = 13*c - 11. Does 22 divide i(7)?
False
Let t = -23 - -30. Is t a multiple of 5?
False
Suppose 174 - 54 = 4*a. Is a a multiple of 15?
True
Let d(p) = 0*p**3 + 1 - 7*p + p**3 + 4*p. Let h be d(2). Suppose 4*y = h*k + 76, 4*y - 2*k = -0*y + 76. Is y a multiple of 10?
False
Suppose -4*y = -4 + 8. Let c = y + 13. Is 6 a factor of c?
True
Let d = 627 - 435. Does 32 divide d?
True
Suppose -4*f = -5*f - 68. Does 17 divide (f/6)/((-3)/9)?
True
Let w = 4 - -1. Suppose -116 = -5*q - 2*y, w*y = -5 + 20. Does 18 divide -2 + 4/(-2) + q?
True
Let o(u) = 4*u + 3. Let w be o(-3). Let i(j) = 3*j**2. Let p be i(2). Does 2 divide (-24)/w + (-8)/p?
True
Let n = -115 + 169. Does 27 divide n?
True
Suppose -15 = 2*j - 7*j. Suppose -5*f + y = -2*y - 110, -67 = -j*f + 2*y. Is 8 a factor of f?
False
Let m(n) = n + 3. Let p be m(3). Is p/(1 - 24/28) a multiple of 14?
True
Let l(b) = -2*b**2 - 6*b - 8. Let n be l(-7). Let d = n + 140. Suppose 4*a - d = 40. Does 19 divide a?
False
Let q = 29 - 1. Is q a multiple of 12?
False
Let x = -193 + 292. Is 9 a factor of x?
True
Let h be 6/5*60/9. Is ((-29)/2)/((-4)/h) a multiple of 12?
False
Let w(m) = -24*m + 5. Is 13 a factor of w(-14)?
False
Suppose 0*h + 148 = 2*h + 5*k, 5*h - 4*k - 436 = 0. Is 21 a factor of h?
True
Let z(s) = 4*s - 1. Let o be z(3). Let t = o + -5. Is t even?
True
Let r be 2 + 6*8/12. Let g = r - -11. Is 4 a factor of g?
False
Suppose -39 = -2*c - x, 4*c + 8*x = 5*x + 81. Is c a multiple of 6?
True
Let q(r) = r**2 + r - 1. Let w be q(1). Let h = w + -4. Is 16 a factor of (-174)/(-4) + h/(-6)?
False
Suppose -3*w - 2 = -8. Suppose 2*a + w*b = -b + 41, -4*a + 32 = -4*b. Is 4 a factor of a?
False
Suppose p + 3*x - 43 = 0, 5*x + 115 = -2*p + 5*p. Suppose -13 = -2*i + 1. Suppose -2*m - p = -i*m. Is m a multiple of 8?
True
Suppose p = -2*p. Let u(i) = i**2 - 6*i - 22. Let s be u(10). Suppose 5*n - s - 37 = p. Does 11 divide n?
True
Let g = -37 + 57. Suppose -4*x + 28 = b - 3*b, 4*x = -2*b - g. Does 8 divide 6/(3/b - -1)?
True
Let g(b) = -30*b. Let t be g(-1). Suppose a - 2*o = 4, -3*a + 7*a - t = o. Suppose a*v - 3*v - 180 = 0. Does 14 divide v?
False
Let r = -4 - -7. Suppose -r*t + 58 = -n, -3*t + 5*t - 4*n = 22. Is t a multiple of 9?
False
Suppose -9*i = -4*i - 15. Suppose -i*k + 2 = -4. Suppose 0*l + k*l = 46. Is l a multiple of 9?
False
Suppose -2*v - 215 = -5*i, 3*v + 161 + 18 = 4*i. Suppose 0 = 4*z - i - 91. Is z a multiple of 16?
False
Suppose -4 + 8 = -d. Is 21 a factor of ((-14)/d)/(2/28)?
False
Suppose -2*z = 2*n - 12, 4*n + 2*z - 17 = -3. Let g(d) = -13 - 12 + 24 + 7*d. Is 3 a factor of g(n)?
True
Let q(u) be the second derivative of -u**8/6720 - u**6/720 + u**5/60 - u**4/6 - 2*u. Let w(d) be the third derivative of q(d). Does 16 divide w(-3)?
True
Suppose -4 = -3*n + 5. Suppose 228 = 4*c - 4*t, t + t = n*c - 176. Is 19 a factor of c?
False
Let j = -10 - -7. Does 2 divide 24/(-1 - -4) + j?
False
Let b be 6/9 + (-1)/(-3). Suppose -5*x + 2*u + u = 2, 8 = -3*x - 5*u. Does 20 divide (x - 39)*b/(-2)?
True
Let h(j) = -j**3 - 7*j**2 + 4*j - 2. Let a be (-76)/10 - (-6)/(-15). Is 22 a factor of h(a)?
False
Let s be 0 - 1 - (0 + -1). Let z(t) = 18 + 2*t**2 + 2*t**2 + t**3 - 5*t**2. Is z(s) a multiple of 9?
True
Let v(q) = -3*q**2 + 4. Let t be v(2). Is 3/(-1) - (-2 + t) a multiple of 3?
False
Is 28/(-42) + (-149)/(-3) a multiple of 7?
True
Let u = -63 + 155. Is u a multiple of 9?
False
Suppose 2*k = -3*v + 12, -3*v + 11 = -3*k - 1. Suppose 0 = -v*y - 5*t + 305, -y - 2*t = -4*y + 200. Is y a multiple of 18?
False
Suppose -13*p = -0*p - 1118. Is 16 a factor of p?
False
Suppose -i = 3*o - 0*i - 326, -3*o + 316 = -i. Is 14 a factor of o?
False
Let o(t) be the first derivative of -t**4/4 - t**3 - 2*t**2 - t - 5. Let f(z) = z**2 - 5*z + 1. Let r be f(4). Is 9 a factor of o(r)?
False
Let b(o) = -3*o + 10. Let m(x) = 2*x - 9. Let p(i) = -4*b(i) - 5*m(i). Is 23 a factor of p(9)?
True
Let z(c) = 18 + c**3 + 10*c - 4 + 0*c**3 + c + 12*c**2. Does 6 divide z(-11)?
False
Suppose -2*y + 2 + 10 = 0. Suppose 2*p - 28 = 3*d - 81, 3*p = y. Let t = d - 12. Is t a multiple of 5?
False
Let r = 76 + -34. Is 9 a factor of r?
False
Let n = 32 + 11. Is 11 a factor of n?
False
Let m(y) = -10*y + 20. Let b(s) = 4*s - 8. Let j(o) = 12*b(o) + 5*m(o). Let k be j(-6). Does 7 divide (2 + k/(-6))*-21?
True
Suppose 54 = -3*b - 6. Let i = 27 - 105. Does 4 divide (-4)/b - i/10?
True
Suppose -5*j - k + 23 = k, 0 = 5*k + 5. Suppose 5*v - 101 = -2*a, -j*a + 203 = 3*v - 7*v. Is 14 a factor of a?
False
Let f(i) = 13*i - 12. Is 11 a factor of f(6)?
True
Let b(a) = 2*a**2 - 6*a - 2. Let g(f) = -5*f**2 + 13*f + 5. Suppose 2*q = -4*n - 20, n = -4*n - 5*q - 35. Let p(x) = n*g(x) - 7*b(x). Is 9 a factor of p(-5)?
True
Suppose -2*x = 7*p - 3*p - 112, 188 = 4*x - p. Is x a multiple of 12?
True
Let j(d) = d - 6. Let v be j(8). Suppose -v*l + 48 = l. Is 8 a factor of l?
True
Let u(s) = -s**2 - 23*s - 6. Let k be u(-11). Let a = k - 68. Does 33 divide a?
False
Let j = 17 + 0. Is 4 a factor of j?
False
Suppose 0*c = -5*c + 15. Suppose -c*s = 5 + 1. Is -26*3/4*s a multiple of 11?
False
Suppose 0 = z - 2*z + 8. Let j = -5 + z. Is j a multiple of 2?
False
Let h(w) = -2*w**3 - 11*w**2 + 8*w - 15. Is h(-7) a multiple of 9?
False
Let r(o) = -o**2 - 9*o - 4. Does 9 divide r(-3)?
False
Suppose -5*x + 6*x = 42. Does 14 divide x?
True
Suppose 33 = 3*d + 459. Is 6 a factor of d/(-8) - (-4)/16?
True
Let n(q) = -3*q + 8*q - 2*q**2 - 3*q**2 + q**3 + 3. Is n(4) a multiple of 7?
True
Let c be (-3)/(-2) + (-2)/(-4). Let s = -16 + 29. Suppose j - s = f, 20 = 5*j + c*f - 38. Is 12 a factor of j?
True
Let r(x) = -2*x + 43. Does 19 divide r(-12)?
False
Suppose h = -5*f + 31, 2*f + 0*f - 38 = -2*h. Is h a multiple of 10?
False
Let k(d) = d**3 + 9*d**2 - 5*d - 5. Let c be k(-10). Let l = c - -107. Is l a multiple of 13?
True
Suppose -5*s + 134 + 76 = 0. Is 21 a factor of s?
True
Suppose -2*m = -2*y + 24, 4*y - 5*m - 48 = -0*y. Is 3 a factor of y?
True
Let v = 4 + -6. Does 6 divide (72/42)/(v/(-14))?
True
Suppose -3*o + 26 = -0*o - 5*t, -2*o = -5*t - 24. Supp