= -q - 3. Let m be w(-5). Suppose 2*t + m = 10. Suppose -t*b = -53 - 11. Is 8 a factor of b?
True
Let u = 133 - 73. Is 30 a factor of u?
True
Suppose g = -5*m + 44, 4*m - 119 = -2*g - 7. Does 16 divide g?
True
Is -2 + (1 - -3 - -13) a multiple of 3?
True
Let p = 69 - 8. Does 24 divide p?
False
Let w = -98 + 55. Let k = w + 67. Suppose -2*i + 5*y + k = 0, 8*y = 4*y + 8. Is 6 a factor of i?
False
Suppose 2*h - 16 = 30. Is 23 a factor of h?
True
Let o(g) = -g - 22. Suppose 0 = 4*y - 5*y. Let n be o(y). Let k = n + 36. Does 9 divide k?
False
Let x = 66 + -15. Let u(k) = k**2 - 2*k + 1. Let m be u(2). Suppose -5*s + x = m. Does 4 divide s?
False
Let q = 23 + -5. Is 3 a factor of q?
True
Let r = -7 - -12. Suppose r*h = 4*g + h - 76, 0 = -4*g - h + 66. Is 17 a factor of g?
True
Does 25 divide (-3*(-2)/(-4))/((-2)/92)?
False
Suppose -3*v + 50 = -4*v. Let y = -86 - -156. Let n = v + y. Is n a multiple of 10?
True
Let s(i) = i**2 + i - 3. Let t be s(-3). Suppose t*r - 25 = -5*m, 14 = 2*m + r + r. Suppose 7*q - 3*q = w - 27, m*w = -2*q + 44. Is w a multiple of 8?
False
Suppose p = -5 + 11. Is (-21)/p*(-11 + 1) a multiple of 11?
False
Let o = 9 + -6. Suppose -32 = -4*u + 4*x, -o*u - x + 24 = 3*x. Is 8 a factor of u?
True
Let n = 2 + 0. Suppose j - 4 = n*z - 36, 0 = -z - 2*j + 21. Is z a multiple of 14?
False
Suppose 5*f - 2*f - 15 = 0, -p = -f - 14. Suppose -p = 4*i - 51. Is i a multiple of 3?
False
Suppose 0 = 5*z - 4*u + 2*u - 10, -z = -2*u - 10. Suppose -2*i + 23 - 19 = 0. Suppose -240 = -5*k + 3*q, z = 3*k - 8*k - i*q + 265. Is k a multiple of 25?
False
Let u(a) = -a**3 + a**2 + a + 10. Let j be u(0). Let s(n) = -n**3 + 9*n**2 + 13*n + 7. Is 11 a factor of s(j)?
False
Let q = -1 + 0. Let z = q + 7. Is 4 a factor of z?
False
Let l(x) = x**3 - 6*x**2 + 6*x - 3. Let r be l(5). Suppose h - 26 = -5*o - 0*o, r*o + 2*h = 12. Suppose 5 = 4*u + 1, o*u = 2*n - 35. Is 20 a factor of n?
True
Let o = 17 - 7. Let d = 14 - o. Does 15 divide d*((-1 - -2) + 7)?
False
Suppose -5*t - 12 = -22. Suppose 3*y - 5*n = 2*y + 81, 4*y = t*n + 270. Is y a multiple of 16?
False
Let x be (-340)/(-35) - 4/(-14). Let y = x + -20. Is y/(-5) + 0 + 30 a multiple of 16?
True
Let u = -47 + 95. Is u a multiple of 18?
False
Does 19 divide (-24)/(-108) - 464/(-18)?
False
Suppose 0 = -2*f - 0*f + 4. Suppose s - 62 = -f*s - 5*g, 18 = s + g. Is s a multiple of 14?
True
Let p = -65 + 94. Does 24 divide p?
False
Let n = 23 + 0. Does 11 divide n?
False
Let w(v) = v**2 - 3*v - 4. Let m(s) = s**3 + 2*s**2 - 4*s + 1. Let l be m(-3). Suppose 2*i - 6 = l. Is w(i) a multiple of 4?
False
Let i = 25 - -2. Is 9 a factor of i?
True
Let h(r) = r**2 - r + 7. Let w be h(6). Suppose 4*c = 5*n - 111, -2*n + c + w + 5 = 0. Is 8 a factor of n?
False
Let m(b) = -2*b**3 - 2*b - 1. Let t be m(-2). Suppose -t = -2*x + 5*p, 1 + 0 = 5*x + 3*p. Suppose 7 = 3*c - x*c. Is c a multiple of 5?
False
Does 9 divide 1/((-2)/15*(-40)/48)?
True
Suppose 8 + 1 = 3*d + 3*m, 2*d = 4*m. Does 11 divide (-22)/((d - 4) + 1)?
True
Let w(p) = p**3 - 3*p - 3. Let n be w(-2). Let b(k) = -2*k + 4. Does 14 divide b(n)?
True
Suppose 2*r - 5 = 5. Suppose 4*y - 30 = 2*z, -r*z + 2 - 11 = y. Is 2 a factor of y?
True
Suppose -g + 39 + 3 = 0. Is (-12)/(-9)*g/4 a multiple of 14?
True
Suppose 18 = 6*t - 3*t. Let l(j) = -j**3 + 5*j**2 + 8*j - 2. Does 6 divide l(t)?
False
Let g(f) be the third derivative of 1/24*f**4 - 2*f**2 + 0 + 1/6*f**3 + 4/15*f**5 + 0*f. Is 10 a factor of g(-1)?
False
Let c = 125 + 20. Is 29 a factor of c?
True
Let y = -16 + 58. Does 12 divide y?
False
Suppose 14*s = 13*s + 93. Does 18 divide s?
False
Let u be ((-5)/3 + -1)*3. Let g = u + 14. Is g a multiple of 3?
True
Suppose 160 = -7*o + 741. Is o a multiple of 19?
False
Let s(p) = -p**3 - 2*p**2 + p + 3. Let f be s(-3). Suppose 0 = -2*c + 3*c - f. Is c a multiple of 9?
True
Suppose f - h = -5*h + 225, 4*f + h = 870. Does 15 divide f?
False
Let i(d) = 2*d**2 + 3*d + 1. Let m be i(-2). Suppose -3*y = 4*q + 4, -m*q - 2*y = -3*y - 10. Suppose 0*w + 78 = q*w. Does 15 divide w?
False
Suppose 4*h - 378 = h. Is h a multiple of 14?
True
Let g be (-4)/(-1 - (-4)/6). Is 10 a factor of (-630)/g*4/(-6)?
False
Suppose 5*y = -y - 120. Let a = y - -74. Is 12 a factor of a?
False
Suppose 3*c = -2*c + 245. Let j = c - 24. Is 25 a factor of j?
True
Let s(z) = -z**3 + 2*z - 1. Let n be s(-2). Suppose 13 = -n*y + 79. Is 9 a factor of y?
False
Suppose k = 6*k + 2*y - 2, -k = 3*y - 3. Does 24 divide (k - -1) + -2 + 25?
True
Let c = 13 - -10. Does 23 divide c?
True
Let b = 13 - 8. Suppose 5*m + 0*p - b*p = 45, -21 = -2*m + 5*p. Does 4 divide m?
True
Let r = -17 - -26. Suppose -42 = j - 4*j. Let k = j + r. Is k a multiple of 10?
False
Let k(i) = 2*i + 10. Let n(t) = -4*t - 21. Let q(y) = -5*k(y) - 2*n(y). Let o be q(-6). Suppose 0*j = -o*j + 16. Does 2 divide j?
True
Suppose 0 = 4*o - 5*p + 7, p = 5*o - 3*p + 2. Suppose n + o*n = 168. Is 28 a factor of n?
True
Let o(q) = -q**2 - 8*q - 7. Let t be o(-7). Suppose -k + 98 = 2*x - t*k, 0 = -4*x - 3*k + 198. Is x a multiple of 16?
True
Let l(y) be the second derivative of y**6/180 - y**4/8 + y**3/3 - y. Let h(a) be the second derivative of l(a). Is 11 a factor of h(4)?
False
Let p(i) = 5*i**2 + 9. Is p(-5) a multiple of 30?
False
Suppose -l + 5*o - 33 = 0, -3*l + 4*o = -0*o + 66. Let a = l + 30. Is 40/(-6)*a/(-8) a multiple of 10?
True
Suppose -z = -2*q - 5*z + 76, -3*q - 2*z = -98. Let s be 1/(-2*1/(-20)). Let m = q - s. Is m a multiple of 10?
True
Let n be (66/9)/((-2)/(-9)). Let d = 59 - n. Does 13 divide d?
True
Suppose 5*k = 4*h + 364, -5*h + 324 = -2*k + 6*k. Is 5 a factor of k?
False
Let h(c) = -7*c + 4. Let j(y) = y. Let n(s) = -h(s) + 6*j(s). Is n(4) a multiple of 16?
True
Let z(c) = -c**2 - 36*c - 14. Is 32 a factor of z(-23)?
False
Suppose 46*x = 48*x - 418. Is 18 a factor of x?
False
Suppose -3*n = -2*t + 24 - 7, n - 16 = -t. Suppose -p + 0*p + t = 0. Is p a multiple of 3?
False
Let p(m) = m + m - m - 2 + 0. Let y be p(3). Does 14 divide y/2 - (-110)/4?
True
Let q be (10/8)/(1/(-16)). Let l = q + 41. Is 9 a factor of l?
False
Suppose -4*i - 5 = -m, 28 = 2*m + i - 0*i. Let u = -8 + m. Suppose 2*g - 3*h - 20 = h, u*g - 4*h = 44. Is 8 a factor of g?
True
Suppose 5*m = -3*l + 463, -7*l + 2*m = -3*l - 626. Is 12 a factor of l?
True
Suppose -2*o + u = -5*o - 9, -2 = -5*o + 4*u. Does 10 divide (-2 + 8)*(-4)/o?
False
Suppose -8 = -3*a + 4. Suppose 0 = -0*h + a*h - 224. Is 13 a factor of h?
False
Let o = 5 - -5. Let h = -7 + o. Is 3 a factor of h?
True
Suppose -5*h - 10 = -10*h. Let b = 5 - h. Is b even?
False
Suppose -5*c + 5*x + 559 + 46 = 0, 0 = -2*c - 3*x + 237. Is c a multiple of 9?
False
Suppose -3*v - 1 = 2. Does 5 divide (v/3)/((-2)/66)?
False
Let r(x) = x + 1. Let f(w) = w**2 - 6*w - 4. Let h(q) = -f(q) - 6*r(q). Let u be h(-2). Let g(o) = -6*o. Is g(u) a multiple of 13?
False
Suppose 1 = -2*u + u. Is (-3 + 3 + u)*-17 a multiple of 17?
True
Let m(i) = i**3 - 3*i**2 - 6*i - 8. Let r be 3/(-9)*18/(-1). Let v be m(r). Suppose z = -z + v. Does 16 divide z?
True
Let q be (-1)/(-2) + (-17)/(-2). Let m be (-2 + q)*(2 + -1). Is 4*m - (-2 + 0) a multiple of 19?
False
Let b be 3/(-2)*12/(-9). Let w = 48 + -33. Suppose 0 = 5*v + w, b*q - 22 = -4*v + 2. Does 9 divide q?
True
Let z be 0 - 0 - (-53 + 2). Let x = -16 + z. Suppose -5*c + x + 95 = -5*q, -5*c = 5*q - 140. Does 7 divide c?
False
Let q(d) = d**3 + 6*d**2 + 5*d + 2. Let t be q(-5). Suppose 209 = 5*n + t*h, 3*n - 45 = 2*n - 2*h. Let c = -21 + n. Does 14 divide c?
False
Suppose 172 + 138 = -2*n. Let y = -89 - n. Is 5/(-10) - y/(-4) a multiple of 8?
True
Let h be 10/(-6)*(-5 - -2). Suppose -3*w + 8*w + 10 = -h*u, u - 3*w - 18 = 0. Is 2 a factor of u?
False
Suppose 3*k = -0*k + 2*b - 27, -k = -4*b + 19. Does 18 divide 26 + k - (1 - 0)?
True
Let f be (-108)/8 + 9/6. Let h be (0 - 2)*6/f. Let n(c) = 7*c - 1. Is 6 a factor of n(h)?
True
Let f = 55 - 37. Is f a multiple of 6?
True
Let a be 3/6*22 + -2. Suppose -2*o = -4*u - 31 - 63, 0 = -3*u + a. Does 13 divide o?
False
Suppose -5*v = -3*v - 16. Is 3 a factor of (36/v)/(3/6)?
True
Let r = -357 - -556. Is 38 a factor of r?
False
Suppose -n = -5*t - 27, 4*n + 2*t = -n. Is (-33)/3*(n - 3) a multiple of 7?
False
Let w be (12/(-14))/(6/(-28)). Let o = 4 - 0. 