uppose 5*t = t - 2*i - 94, 2*i = -t - 28. Let g be (5 - 4)/((-2)/t). Let w = 25 - g. Is 11 a factor of w?
False
Let b = -7 + 0. Let w = b - -11. Suppose -w*f + 62 + 34 = 0. Is f a multiple of 10?
False
Let g(s) = -2*s + 4. Suppose p + 4*p + 25 = 0. Does 7 divide g(p)?
True
Let j(l) = 4*l + 1. Let n be j(-3). Let w = 18 + n. Does 4 divide w?
False
Suppose 5*b + 5*i - 90 = 0, 0 = -4*b - 0*b + 4*i + 104. Suppose 3*m - m - b = 0. Is 11 a factor of m?
True
Suppose 3*x - 58 - 41 = 0. Does 20 divide x?
False
Suppose -4*t + 144 = 2*g - 3*t, -5*t + 81 = g. Does 30 divide g?
False
Let y(k) be the first derivative of -k**3/3 - 7*k**2/2 + 6*k + 2. Does 5 divide y(-7)?
False
Suppose -m - 28 = 3*m. Let w(f) = 2*f**2 + 9*f - 1. Is w(m) a multiple of 16?
False
Let g = 38 + 76. Is 10 a factor of g?
False
Let j(z) = -19*z**3 + 5*z**2 + z - 3. Let r(s) = 38*s**3 - 9*s**2 - 2*s + 5. Let w(x) = -5*j(x) - 3*r(x). Is w(-1) a multiple of 10?
True
Let a be (-19)/(-7) + 8/28. Let i(z) = 3*z**3 - z**2 - z - 1. Let l be i(2). Suppose -4*q + q = -2*x - l, a*q - x = 22. Is q a multiple of 7?
False
Suppose -3*s + 5*b - 18 = -2*s, -2*b = -10. Let i = s - 1. Is 4 a factor of (i/3 - -5) + 0?
False
Let c(n) = -12*n**3 - n**2 - 4*n - 3. Let s be c(-2). Suppose -4*k = 2*r - 3*k - s, -r + 4*k = -35. Let o = 92 - r. Is o a multiple of 18?
False
Let z(c) = 2*c + 5. Let y be z(-3). Is 9 a factor of y/(-2) + (-159)/(-6)?
True
Suppose 5*j = 3*o - 21, 5*o = 3*o + 2*j + 10. Let r = o - -17. Is r a multiple of 7?
False
Does 21 divide 10/4*((-372)/(-30) + -4)?
True
Let w = -44 + 67. Suppose 3*p - 5*h = 69, w = p + h - 5*h. Does 22 divide p?
False
Let a be (14/(-6))/((-2)/6). Let v = 12 + a. Is 13 a factor of v?
False
Suppose 3*k = 141 + 51. Is k a multiple of 16?
True
Suppose -2*o - 3*x = -20, 5*x = -3*o + 11 + 20. Is 5 a factor of o?
False
Let n(f) = -f**2 + 12*f. Let i be n(7). Is 561/21 + 10/i a multiple of 9?
True
Let w be (0 - -20)/(-2 + 3). Suppose -5*s + 3*s + 60 = 5*v, w = -5*v. Is 20 a factor of s?
True
Is 15 a factor of (-29)/(3 - (-16)/(-4))?
False
Let l(y) = -y**2 - 2*y. Let n be l(-2). Suppose n = 2*m + 5*i + 24, 5*i = -5*m - 35 + 5. Does 10 divide (m/(-4))/(5/160)?
False
Suppose 33 = 3*k - 45. Is 26 a factor of k?
True
Suppose r + 0*r + 5*u = 120, r + 3*u = 110. Is r a multiple of 9?
False
Let l(t) = -2*t + 1. Let c be l(1). Let g = c - 0. Is 16 a factor of 4/(g/8*-2)?
True
Let i(o) = -2*o - 6. Let u be -12*(2 - 9/6). Is 3 a factor of i(u)?
True
Let q(d) = -d - 16. Let h be q(-12). Let k = 28 + h. Suppose 4*s + 8 = t + 40, t = -3*s + k. Is s a multiple of 4?
True
Let d(s) = 4*s + 1. Let n be d(1). Let p(x) = 3 + n*x + 5 + 1. Is 22 a factor of p(9)?
False
Let d = 10 - 3. Suppose -s + d*g = 2*g - 52, 3*g = 3*s - 108. Does 16 divide s?
True
Let y be 4/(-2) + (5 - 0). Let l be 7/4 + 4/16. Suppose 130 = y*m + l*m. Does 8 divide m?
False
Suppose -3*f + 624 = -3*v, 0 = -4*v - 7 + 3. Let b = f + -68. Suppose b = 5*n + m, -4*n + n + 73 = -2*m. Is n a multiple of 12?
False
Suppose 0 = 5*v - v + 56. Let t = -2 - v. Does 6 divide t?
True
Let b = -17 + 23. Is 6 a factor of b?
True
Does 12 divide (-2 - 1)*(-35 - 1/1)?
True
Suppose -2*t - m = t - 10, 3*m - 8 = 2*t. Suppose a = t*a - 58. Does 29 divide a?
True
Let d(n) = 9*n**2 + 1. Let m = 3 + -5. Let c be d(m). Suppose -2*q + 229 = 5*f, -2*q = -f + 2*q + c. Does 16 divide f?
False
Suppose -4*a = -20, 0*q - 4*q + 216 = 4*a. Does 7 divide q?
True
Let v be 3*((-4)/6 - -2). Is 2 + v/8*6 a multiple of 5?
True
Let a(c) = c**3 + 8*c**2 - 5*c + 8. Is 24 a factor of a(-8)?
True
Let g(s) = s**3 + 9*s**2 - 3*s - 9. Let d be g(-9). Let b = 8 + d. Is 9 a factor of b?
False
Does 2 divide -1*(-3)/(-2) - (-488)/16?
False
Let w(z) = z**3 - 2*z**2 - z + 4. Let v be 2*-1*(-3)/(-6). Let t be (-2)/(v - 3)*6. Is w(t) a multiple of 5?
True
Let g = 21 + -2. Suppose -60 = -3*d - 3*x, -5*d + x = -99 - g. Is 17 a factor of d?
False
Suppose -4*a + 0*a - 16 = 0, -3*o - a - 22 = 0. Let p be -2 + (-2)/(o/15). Let g(t) = 7*t + 1. Is 15 a factor of g(p)?
False
Let v(f) = -4 - 13 + f**2 + 5 - 7*f - 2. Does 6 divide v(11)?
True
Let f(w) = 3*w**2 + w + 1. Let a be f(-1). Let h(l) = -a + 2 + 20*l + 2. Is 10 a factor of h(1)?
False
Let i(m) = -m**3 + 5*m**2 + m - 4. Let o be i(5). Let h(p) = 5*p**2 + 2*p - 1. Let g be h(o). Let n = g + -3. Does 3 divide n?
True
Let l(r) = r - 11. Let f be l(5). Is ((-32)/f)/(10/15) a multiple of 8?
True
Let u = -29 + 19. Let g be (-828)/10 - (-2)/u. Let h = -49 - g. Does 12 divide h?
False
Let l(c) = c**2 + 7*c - 1. Let u be l(-7). Let y(j) be the second derivative of -5*j**5/4 - j**4/12 + j**3/6 + j**2/2 - j. Is y(u) a multiple of 12?
True
Is 14 a factor of (1/(-1))/(((-18)/(-3))/(-84))?
True
Suppose -24 + 74 = s. Is s a multiple of 10?
True
Suppose 15 = 3*m, 2*w - 120 = -w - 3*m. Is 10 a factor of w?
False
Suppose -4*a + 7 = -9. Let n = a - 2. Suppose 13 = n*z - 27. Is z a multiple of 20?
True
Suppose 4*r - 28 = -0*r. Suppose 2*h = r*h - 180. Does 18 divide h?
True
Is 19 a factor of ((-8)/(-2))/(18/261)?
False
Let v(t) = 3*t**2 - 2*t - 1. Is v(-5) a multiple of 24?
False
Let o = -7 + 7. Suppose -t + 2*l + 0 + 10 = 0, -2*t - 2*l + 14 = o. Suppose -t*y - u = -4*y - 26, 0 = -5*y + 4*u + 43. Does 7 divide y?
True
Let r(j) = 3*j - 11. Let x(z) = z + 1. Let b be x(7). Let h be r(b). Let c = 25 - h. Is c a multiple of 8?
False
Suppose a = -a + 212. Is a a multiple of 29?
False
Let x = 150 + -81. Is x a multiple of 8?
False
Let t = -3 - -9. Suppose 2*z = -3*b - 34, -z + 2*b - 4 = t. Let h = -1 - z. Does 13 divide h?
True
Let y = -7 - -9. Suppose 3*k + 5*m - 37 = 3*m, 0 = 2*k + y*m - 22. Is k a multiple of 5?
True
Suppose 4*g - 258 - 614 = 0. Suppose 2*c - 142 = -4*a, 5*a - 2*c = -63 + g. Is a a multiple of 12?
False
Suppose 44 = 4*j + 2*b - 5*b, 2*j - 3*b - 16 = 0. Is 8 a factor of j?
False
Suppose -12 - 16 = -m. Is 4 a factor of m?
True
Let n(t) be the third derivative of t**6/120 + 11*t**5/60 + 11*t**4/24 + 5*t**3/2 + 5*t**2. Let z be -5*5*(-4)/(-10). Does 2 divide n(z)?
False
Suppose -3*x - 687 = -5*y, 4*y - 3*x = 2*x + 547. Is y a multiple of 35?
False
Let f be (16/(-10))/((-2)/5). Suppose 0 = 5*a + 1 + f. Let h(r) = 2*r**2 + r + 1. Is h(a) even?
True
Suppose -3*i = 5*a - 230, -3*i - 2*i - a = -376. Does 17 divide i?
False
Let v = -5 - -11. Suppose r + 10 = v*r. Suppose -4*m + 34 = 5*s, -2*m + 16 = -r*s + 5*s. Is 10 a factor of m?
False
Let a(m) = -m**3 + 6*m**2 + 8*m + 2. Let y be a(7). Let i be 4/(-3) - 6/y. Let z = i - -13. Is 4 a factor of z?
False
Let n(p) = p**2 + p - 6. Suppose -40 + 15 = 5*c. Is n(c) a multiple of 7?
True
Let x be ((-3)/(-2))/(12/128). Suppose 0*j = -4*j + x. Is j a multiple of 4?
True
Let t(o) = o**3 + 12*o**2 - 13*o + 3. Is t(-13) a multiple of 2?
False
Let t be (-39)/2*(-14)/21. Suppose l - 40 = -4*p, -3*l = 1 - t. Does 4 divide p?
False
Suppose -3*o + 14 = 5*m, -2*o + 6 + 25 = -m. Does 4 divide o?
False
Let q = 6 + -2. Suppose -2*c + 5 = -2*r + r, 0 = -q*c + 4*r + 20. Suppose c = 5*s + 5 - 25. Is s a multiple of 3?
False
Suppose -115 = -8*g + 3*g. Does 8 divide g?
False
Is 4 - 1 - (-8)/4 a multiple of 4?
False
Let y = 12 - -24. Is y a multiple of 36?
True
Suppose -h = -2*h - 15. Let w be 16/6*h/(-20). Suppose 0 = n + w - 6. Is n even?
True
Let y be 5 - (-1 + 0)*3. Suppose q + y*g - 21 = 4*g, 4*q - 44 = 4*g. Is 11 a factor of q?
False
Let n(c) = c**3 - 9*c**2 - 5*c + 11. Let g be n(10). Let m = -34 + g. Does 9 divide m?
True
Suppose 3*n - 3 = -2*s, -3*n + 3*s = s - 15. Suppose 25 = 5*x, -n*x = -3*o - 2*o + 10. Is o a multiple of 2?
False
Suppose 2*o - 148 = t + t, 212 = 3*o - t. Does 23 divide o?
True
Let l(q) = -4*q**3 + 1. Let i be l(-1). Suppose 35 = 3*m - i*z, -3*m = 5*z - 71 - 14. Does 7 divide m?
False
Let n(g) = -3*g - 13. Does 2 divide n(-10)?
False
Let t = 10 + -2. Let k = 11 - t. Suppose q = k*q - 48. Does 10 divide q?
False
Suppose 2*o + 52 = 3*z, o + 3*o - 56 = -4*z. Is z a multiple of 8?
True
Let s be ((-64)/6)/(5/30). Let n = s + 92. Does 25 divide n?
False
Let j = -16 - -37. Suppose l = -6 + j. Is 8 a factor of l?
False
Let c = -56 + 119. Is 7 a factor of c?
True
Does 25 divide 5/((-15)/(-82))*9 - -1?
False
Let v be -8*(30/(-8) + 3). Let d = 23 - v. Does 9 divide d?
False
Let q be (-6)/(-21) - 94/(