et r = t + -1. Is 23 a factor of (-1)/r + (-154)/(-4)?
False
Suppose n - 6*n = -3*j - 20, 4*n + j + 1 = 0. Let d(o) = 18*o**3. Let m be d(n). Suppose 0 = -0*z + 2*z - m. Is z a multiple of 9?
True
Let y = 106 - 56. Is 25 a factor of y?
True
Suppose 3 = 3*m, -26 = -5*p + m - 2*m. Is p a multiple of 5?
True
Suppose c + 13 = w - 3*c, -4*w + 4*c + 100 = 0. Is 19 a factor of w?
False
Let h = 80 - 141. Let y = -43 - h. Is 9 a factor of y?
True
Suppose -64*d + 61*d + 357 = 0. Is d a multiple of 17?
True
Let a = -1 - -1. Suppose 3*p - 5*u + 179 = a, 7 - 125 = 2*p - 3*u. Does 13 divide (-2)/4 - p/2?
True
Let u(s) be the first derivative of -s**6/120 + s**5/12 + s**4/8 - 5*s**3/6 - s**2 - 1. Let k(h) be the second derivative of u(h). Does 5 divide k(5)?
True
Suppose 12 = 3*o, 3*g - 15*o + 17*o = 1025. Is 51 a factor of g?
False
Suppose -2*q = 3*r - r - 298, 566 = 4*q - 2*r. Does 24 divide q?
True
Let d(r) = r + 9. Let y be d(-10). Let x = -1 - y. Suppose s - 1 = x, 3*z - z - 4*s - 24 = 0. Is 4 a factor of z?
False
Suppose -5*x + 14 = -6. Suppose 0*z + s - 14 = -5*z, -4*z + s = -x. Suppose z*g + 140 = 3*f + 40, f - 24 = 3*g. Is f a multiple of 18?
True
Let p(a) = -a + 36. Let r be p(0). Suppose -43 - r = -w - 5*y, 4*y = -w + 75. Is w a multiple of 24?
False
Let r(s) = 2*s**2 - s + 1. Let z be r(-7). Let u = 161 - z. Does 15 divide u?
False
Let r be 1 + -1 + 7 + 13. Is 16/(-3)*(-165)/r a multiple of 22?
True
Suppose -4 - 6 = -2*s. Suppose -4*p = s*n - 21, 3*n - 17 = -3*p - 2*n. Is 4 a factor of p?
True
Let h = -76 + 131. Is h even?
False
Suppose 8*b - 1425 = 3*b. Is 6 a factor of b/24 - (-2)/16?
True
Let b be 1 - (2*-1 - 8). Suppose -15 = -0*i - 5*i. Suppose 2 = -i*t + b. Does 3 divide t?
True
Suppose -3*o + 2*i + 1 = 0, 2*o + 2*i + i = -21. Is 21 a factor of (o/1)/(2/(-14))?
True
Let v = 28 + -25. Let r(f) = 5*f**2 + 3*f - 2. Does 13 divide r(v)?
True
Let c be (-2)/2*(-90)/3. Suppose 2*s + c = 7*s. Is s a multiple of 4?
False
Suppose 5*s - 5*y - 204 = 141, -4*s - 4*y + 244 = 0. Is 5 a factor of s?
True
Let d = -27 + 8. Let u = d + 37. Is u a multiple of 18?
True
Let n = 9 - 0. Suppose -4*b + n*b = 90. Is b a multiple of 6?
True
Let z be (-1*4)/(3/6). Let f = 11 + z. Let s(d) = 2*d**2 - 3*d. Is 4 a factor of s(f)?
False
Let t be (-6 - -10) + -2*2. Let g be (-1)/1 - 1*-1. Suppose 2*a - 14 + t = g. Is a a multiple of 7?
True
Does 8 divide ((-10)/(-6))/(6/162)?
False
Does 18 divide (-1 + 31)*(-60)/(-18)?
False
Let z = 101 - 55. Is 8 a factor of z?
False
Let j be (-1)/4 + (-54)/(-24). Suppose 94 = -j*t - 18. Does 14 divide ((-2)/4)/(1/t)?
True
Suppose -z = -3*r - 340, 5*z - 15*r - 1744 = -11*r. Is 22 a factor of z?
True
Let o be (-477)/12 - (-3)/(-12). Let p = -17 - o. Is 8 a factor of p?
False
Let z(j) = -3*j**3 - 3*j**2 - 3*j - 2. Is z(-4) a multiple of 14?
True
Let a(c) be the first derivative of 7*c - 4 - 1/4*c**4 + 0*c**2 + 5/3*c**3. Is 7 a factor of a(5)?
True
Let v = -11 + 16. Suppose -3*q - 34 = -v*q. Does 17 divide q?
True
Suppose 12*b - 4060 = -2*b. Is b a multiple of 58?
True
Let d(b) = -b**3 + 9*b**2 + 10*b - 3. Let z be d(10). Is z/(-3)*-2 - -18 a multiple of 8?
True
Let b(z) = 2*z**3 - 2*z**2 - 5*z + 3. Let g(y) = y**3 - y + 1. Let d(x) = b(x) - 4*g(x). Does 9 divide d(-2)?
True
Let l(h) = -h. Let v be l(5). Is 17 a factor of (v/(-10))/(1/90)?
False
Let a = 1 - -66. Let o = a + -31. Is o a multiple of 18?
True
Let b = -4 - -9. Suppose -b*o + 354 = 54. Does 11 divide o?
False
Suppose -2*b + 9 = 1. Is 3 a factor of b?
False
Suppose -320 = 3*i - 7*i. Does 10 divide i?
True
Let t be (-16 - (2 - 1)) + 1. Is 2 a factor of t/12*3/(-2)?
True
Suppose 0 = 2*v - 166 - 26. Is v a multiple of 24?
True
Let z be (15/(-10))/((-2)/4). Suppose -2*q = -z*l + 3 - 19, 4*l - 32 = -4*q. Let i(a) = 2*a. Is i(q) a multiple of 6?
False
Suppose 3*l - 4*o = 52, 5*o - 39 = -5*l + 36. Is 16 a factor of (l/12)/((-2)/(-24))?
True
Suppose -b = -2*b - 6. Let j be 117*-3*2/b. Suppose -5*t + j - 37 = 5*m, m = 5*t + 28. Is m a multiple of 10?
False
Suppose 3*o = -2*i + 15, -4*o + 20 = 2*i + i. Suppose -g + 10 = -i*g. Does 10 divide g?
True
Let l = -13 + 28. Suppose c - 4*c = -l. Suppose 2*v - 2 = -3*g - 0*v, -2*v - 14 = -c*g. Is 2 a factor of g?
True
Let c = -17 - 121. Let t = -91 - c. Suppose -3*r = -t + 11. Is r a multiple of 6?
True
Let b(r) = -20*r - 18. Does 17 divide b(-6)?
True
Let u be 3/2 - (-14)/4. Let d be ((-6)/(-5))/((-1)/u). Is d/(-33) - 524/(-22) a multiple of 12?
True
Let b = 1 - 0. Is b/3*1*141 a multiple of 23?
False
Suppose -2*o - o + 3*t + 108 = 0, 5*o + 4*t - 162 = 0. Suppose 0 = -5*p - o - 36. Let c = -6 - p. Is c a multiple of 8?
True
Let a(s) = s + 8. Let p(k) = -k**2 + 8*k + 3. Let z be 2/1 + (-7)/(-1). Let b be p(z). Is a(b) even?
True
Let f be (-6)/3 - (-8)/2. Suppose 5*n = f*n + 45. Does 4 divide n?
False
Let h be -5 - -2*(3 + -2). Is 6 a factor of (-24)/h*6/4?
True
Let l(u) = 6*u - 6. Is l(11) a multiple of 11?
False
Let g be (-4)/(-4)*1*-43. Let s = -14 - g. Does 17 divide s?
False
Let k(r) be the third derivative of -r**4/6 - r**2. Suppose 15 + 11 = -4*q - 3*a, a + 2 = 0. Does 7 divide k(q)?
False
Let z = 57 + -3. Suppose -3*o + 5*o = z. Does 19 divide o?
False
Let n(m) = -m**3 + 9*m**2 - 8*m - 3. Let y be n(8). Let b = y + 6. Suppose 5*g + 68 = b*a, 3*g = -2*a + a + 18. Does 7 divide a?
True
Suppose 7*v + 56 = 11*v. Is v a multiple of 7?
True
Let p(c) = c**2 - 6*c + 7. Let j be p(5). Let u(i) = i + 0*i - j*i + 12. Is u(6) a multiple of 3?
True
Suppose -14 = 2*u - 62. Does 6 divide u?
True
Suppose 0 = 2*p - 4 - 4. Suppose 4 = -0*x + x + 2*g, 0 = p*x - 4*g - 4. Is -8*((-4)/x)/2 a multiple of 8?
True
Let i = 39 - 22. Let o = i + -4. Is 10 a factor of o?
False
Let a = 11 + -8. Suppose -a*r + 2*r = 0. Suppose -5*s + 5 = r, 3*i - 3*s = 10 + 38. Is i a multiple of 7?
False
Let m(h) = h**3 - 5*h**2 - 7*h + 6. Let b be m(6). Suppose 4*d = -b*d. Suppose d = -5*y + 34 + 21. Does 7 divide y?
False
Let h(i) = i**2 - 5*i + 6. Let d be h(4). Let q(z) = -5 - 1 + 1 - 8*z - z**d. Is 4 a factor of q(-5)?
False
Let h(y) = -y + 57. Let t(b) = b - 57. Let n(r) = 6*h(r) + 5*t(r). Does 19 divide n(0)?
True
Let k = 137 - 28. Does 33 divide k?
False
Let m(f) be the second derivative of -f**5/20 + f**4/2 + 5*f**3/3 - 5*f**2 - 3*f. Does 25 divide m(6)?
True
Suppose 2*y + 11 = -5*s - y, -5*s + y - 3 = 0. Let h = s - 0. Is ((-3)/5)/(h/5) a multiple of 3?
True
Suppose -6*o = -2*o + 4. Let x be ((o - -3) + -3)/(-1). Is 17 a factor of x*(2 + 26 + 1)?
False
Suppose -5*p = 22 + 78. Suppose 0 = -2*k - k - 93. Let x = p - k. Is x a multiple of 11?
True
Let c be 6/4*10/3. Suppose 2*x + 217 = c*u, -4*u + 44 = -3*u - x. Is u a multiple of 12?
False
Let l be -1 + (0 - -3 - 1). Let t(n) be the second derivative of 16*n**3/3 - 3*n. Is 16 a factor of t(l)?
True
Let h(u) = -u**3 + u - 3. Let a be h(0). Is 10 a factor of (-26)/(-1 - 1) + a?
True
Let b(l) = l**3 - 3*l**2 + 2*l - 2. Suppose 2*q - 3*q + 3 = 0. Let d be b(q). Suppose 3*p + w - 2*w = 6, -9 = p - d*w. Is p a multiple of 2?
False
Suppose -w = 4*u - 30, -w - 4*u = w - 48. Is 8 a factor of w?
False
Let w(x) = 5*x. Suppose -5*k + f - 16 = 32, -3*f = 2*k + 9. Let l(s) = -s**3 - 9*s**2 - 2*s - 12. Let y be l(k). Is w(y) a multiple of 17?
False
Suppose 0*l - 20 = 4*l, 5*l + 41 = 4*h. Let b(z) be the third derivative of z**5/15 - z**4/6 + 2*z**3/3 - 5*z**2. Does 18 divide b(h)?
False
Let t(w) = w**2 - 11*w + 22. Is t(13) a multiple of 48?
True
Let d(j) = 2*j**2 + 10*j + 12. Does 26 divide d(-8)?
False
Is 20 a factor of (-4)/(80/(-25))*124?
False
Suppose -2*p = 5*j - 18, 19 = 2*p - p + 5*j. Let b(o) be the third derivative of 17*o**5/60 + o**4/24 - 4*o**2. Does 8 divide b(p)?
True
Let s(b) = b**2 + 4. Let a be s(0). Suppose -2*z = -a*i + 2*z + 28, -2*i + 32 = 4*z. Does 3 divide i?
False
Let r(m) = -10*m**3 - m**2. Let g be r(-1). Let s = 20 - g. Suppose 4*x + 12 = 0, -5*x - 96 + s = -5*i. Does 7 divide i?
True
Suppose 0 = 4*w - 13 - 3. Suppose -4*n + 320 = -4*i, -2*i - 4 = -w*i. Is n a multiple of 15?
False
Let p = -93 + 142. Suppose w + 0 = -2. Does 5 divide ((-70)/p)/(w/14)?
True
Let m = 57 + -21. Does 18 divide m?
True
Suppose 5*y + 24 = c, 2*y = -3*y + 5. Does 18 divide -2 - c/2*-2?
False
Let r(q) = -4*q - 5. Let d be r(-5). Let u be 