*m + b = 0. Is h a multiple of 16?
False
Let t = -46 + 49. Suppose -y + 260 = t*y - 4*d, 3*d = -2*y + 105. Is y a multiple of 12?
True
Let q = -2 - -2. Suppose -x + 131 = -u, q = 5*x - 2*u + u - 659. Suppose 2*s - 8 = -3*v + x, -2*v = 4*s - 104. Is v a multiple of 15?
False
Let w = 6 + -12. Let b = 4 + w. Does 6 divide (11 - 16)/(b/10)?
False
Let j = 264 - 27. Is j a multiple of 41?
False
Let g(d) be the third derivative of -1/15*d**6 + 0*d**4 + 0*d + 0 + 1/60*d**5 + 0*d**3 + 2*d**2. Does 2 divide g(-1)?
False
Let h = -915 - -1673. Is h a multiple of 13?
False
Let l = 52 + -34. Let x = 28 - l. Is 13 a factor of 4/10 + 446/x?
False
Let h = -82 + 82. Suppose h = -33*m + 37*m - 300. Is m a multiple of 9?
False
Let s be 68/(-3)*(-6)/(-4). Let i = -21 - s. Is i a multiple of 3?
False
Let s(q) = 72*q - 13. Let c be s(10). Suppose 0 = -2*g, -2*g + c = 2*y + 251. Suppose 2*j - y = -2*j. Is 12 a factor of j?
False
Let j(u) = u**3 + 15*u**2 + 2*u + 11. Let k be j(-15). Let z = 65 + k. Is z a multiple of 7?
False
Suppose -4*c + 2*c + 10 = 0. Suppose -x = -s - 4*s + 300, -5*s + c*x = -300. Suppose 3*m - 5*m = -s. Is 15 a factor of m?
True
Suppose -v + 7 - 2 = 0. Suppose -3*p + 3*l + 6 = 0, -l = -v*l + 8. Suppose 0 = 5*f + q - 31 - 35, 4*q = -p*f + 40. Is 11 a factor of f?
False
Let w(l) = l**3 + 30*l**2 - 3*l + 10. Is w(-30) a multiple of 25?
True
Let b(g) = -g**2 - 10*g - 2. Let u(a) = -7*a - 43. Let c be u(-5). Is 10 a factor of b(c)?
False
Let v(p) = 72*p**2 - 10*p - 4. Does 11 divide v(2)?
True
Let o = -51 + 51. Does 10 divide 3 + (-59)/(-1) + o/(-5)?
False
Suppose 87 + 421 = j. Does 19 divide j?
False
Let v(z) = -z**3 - 6*z**2 - 3*z + 7. Let f be v(-5). Let s be -158 + (11 + -2)/f. Is (-1357)/s + 4/7 a multiple of 5?
False
Suppose -t + 3*h + 339 = -h, -3*t - 5*h = -1034. Is t a multiple of 105?
False
Suppose 8*b + 3*b = 35519. Does 15 divide b?
False
Suppose 0 = -4*g + 3*w + 911, 0*g + w + 1125 = 5*g. Does 14 divide g?
True
Let i be 0 + 3 - -2*3/(-6). Suppose w - 360 = -i*w. Is 15 a factor of w?
True
Suppose 77*u + 4*u = 44226. Is u a multiple of 78?
True
Let l be (-44)/6 + (-4)/6. Let x(h) = -h - 10. Let s(b) = -2*b - 11. Let d(n) = 6*s(n) - 7*x(n). Does 11 divide d(l)?
True
Let c = -10 - -14. Let y(k) = -3*k**2 - k + 5. Let i be y(c). Let w = i + 81. Is w a multiple of 13?
False
Suppose 2*t - 2*c - 390 = -5*c, 2*t - 3*c - 414 = 0. Suppose -t = 5*x - 981. Suppose l - 2*g - 90 = 0, 4*l - 3*g - 506 + x = 0. Does 9 divide l?
False
Let n(v) = -v + 19. Let t be n(17). Suppose -t*p - 14 = j - 32, p - 117 = -5*j. Is 12 a factor of j?
True
Let l = -909 + 1709. Does 25 divide l?
True
Suppose 0 = -4*x - 2 - 6. Let v be (9/6)/(x/(-4)). Suppose 0 = p - r - 20, -2*r = p + v*r - 38. Does 7 divide p?
False
Let j = -699 - 417. Does 14 divide j/(-15) - 4/10?
False
Let j be 1 + -3 - 0/(-21). Does 19 divide (-1 - -2)/(j/(-228))?
True
Let o = -316 - -426. Is o a multiple of 61?
False
Let t be (-1)/3*6/2. Does 10 divide (t + -91)*12/(-24)?
False
Let z(w) = -w**2 + 12*w - 16. Let b be z(10). Suppose 24 = 5*u - 3*u. Let a = b + u. Is 3 a factor of a?
False
Suppose w = -0*i + 2*i - 146, -3*i + w + 217 = 0. Does 13 divide i?
False
Is 18 a factor of (-2 + 5)*-1*(-23)/3?
False
Let b(c) = -c**2 - 21*c - 38. Does 3 divide b(-3)?
False
Let c = -6 + 8. Suppose -3*l + c*d = -d - 171, -5*d - 65 = -l. Does 11 divide l?
True
Suppose -4*z - 45 + 173 = 0. Let a be -1 - 0/(-2) - -6. Suppose 3*g = a*n - 207, 4*n + g = z + 120. Does 13 divide n?
True
Suppose 5*k + 7 = 4*k. Let i be (k/(-14))/(1/26). Suppose 0 = -0*s + s - i. Is s a multiple of 5?
False
Suppose 13*d + 6 = 15*d. Suppose -d*m + 2*u + 331 = -2*u, 0 = m + 5*u - 85. Does 15 divide m?
True
Is (2/4)/(24/23376) a multiple of 16?
False
Let x(j) = 17*j**3 - 9*j**3 + 4 - 17*j**2 - 10*j - 10*j**3. Is 20 a factor of x(-8)?
True
Suppose -12*q + 12990 = -13122. Does 68 divide q?
True
Let o(z) be the third derivative of z**6/120 + 3*z**5/20 + z**4/3 + 3*z**3/2 - 8*z**2. Let m be -4*6/4*1. Does 23 divide o(m)?
True
Suppose 4*q = 3*q + 5*y + 10, q - 10 = -2*y. Let c(g) = -4*g**3 + 300*g - 11 - 2 - 10*g**2 - 296*g + 5*g**3. Is c(q) a multiple of 24?
False
Let w = -41 - -45. Suppose -w*l - l = -210. Is l a multiple of 14?
True
Let w = -16 - -21. Let a = w - 5. Suppose 3*u + d + 59 = 7*u, -3*u - 2*d + 58 = a. Is u a multiple of 16?
True
Let u(q) = 1071*q**2 - 19*q + 21. Does 55 divide u(1)?
False
Suppose 0 = -0*g + 3*g. Suppose -2*z - 5*w - 31 = -229, -4*z - 4*w + 408 = g. Is z a multiple of 17?
False
Let o(y) = -6*y**3 + 14*y**2 + 49*y - 17. Is o(-7) a multiple of 17?
False
Let l(t) = 1742*t**3 - t**2 + 3. Is l(1) a multiple of 16?
True
Let v(z) = 2*z + 177. Is 15 a factor of v(11)?
False
Suppose -8 = 5*p - 83. Suppose 0 = -p*m + 19*m - 984. Is 29 a factor of m?
False
Suppose 5*r - 990 = -6*r. Does 45 divide r?
True
Suppose 63 = 3*h + 9. Suppose -g = 2*g + 24. Let n = g + h. Is 5 a factor of n?
True
Suppose 20*k + 7395 = 29615. Is 11 a factor of k?
True
Let j(q) = -q**3 - 2*q**2 - q - 582. Let a be j(0). Does 22 divide -4 + a/(-4) - 4/8?
False
Suppose -741 + 117 = -16*r. Is r a multiple of 6?
False
Let c(h) = 3*h**2 - 4*h + 3. Let r be c(2). Let j = -7 + r. Is (j - 4)/(5/(-10)) a multiple of 5?
False
Let q(x) = 14*x**3 + 10*x**2 + 20. Let f(b) = 5*b**3 + 3*b**2 + 7. Let i(w) = -17*f(w) + 6*q(w). Let r be i(9). Is (-7 - -13) + 0/r a multiple of 6?
True
Let j = -8 + 10. Suppose -k = -j*k - 2. Let n = k - -14. Is 12 a factor of n?
True
Suppose -3*z - 5*k - 18 = -5*z, 0 = -z - 4*k - 4. Suppose m + 8 = 3*m, -m - 12 = -4*n. Suppose n*f = 2*i + 262, z*i - 303 = -3*f - 101. Is 20 a factor of f?
False
Is 8 a factor of 670/7 + 46/161?
True
Suppose 2*y - 4 = y, 2*y + 967 = -5*i. Let c = i + 285. Does 18 divide c?
True
Suppose -4*z - 5*l + 513 = 0, -l - 124 = -z + 2*l. Is 3 a factor of z?
False
Suppose -4*f = -8, -q - f - 33 = -6*q. Does 22 divide 3216/84 + (-2)/q?
False
Let p be 3/((-4)/(40/(-6))). Let j(m) = m**2 + 5*m - 4. Let n be j(4). Suppose -f = -p*f + n. Is 7 a factor of f?
False
Let q(s) = 56*s**2 + 23*s + 47. Is q(-2) a multiple of 15?
True
Let z = 20 - 4. Suppose z*c - 12*c - 156 = 0. Suppose c = k + 32. Does 4 divide k?
False
Suppose 3*n - 4*c = 5849, -5053 = -2*n - c - 1139. Does 30 divide n?
False
Suppose -53*l = -43*l - 1170. Is l a multiple of 13?
True
Let d be 17/4 - 1/4. Suppose v - 3*x = -4*x + 7, -4*v = -d*x - 12. Does 5 divide v?
True
Suppose 27*n - 2571 = 237. Is 13 a factor of n?
True
Let d = 13 + -17. Let g be 10 + (d - -2 - 2). Suppose 6*t = 4*t + g. Is 3 a factor of t?
True
Suppose 5 - 285 = 7*l. Let o = l - -54. Is 3 a factor of o?
False
Suppose 15*v - 25 = 10*v. Suppose v*k - 5*z = 580, -2*k + z = 2*k - 458. Is 19 a factor of k?
True
Let d(p) = p**2 - 6*p + 3. Let q(a) = a**3 + 13*a**2 + 6. Let m be q(-13). Let v be d(m). Suppose 0 = n - 3*w - 24, 2*n + v*w = -2*w + 15. Is n a multiple of 5?
True
Let f be (1/4)/(2/8). Suppose f = -5*t - 3*z - z, -t = -5*z - 23. Suppose 0*r = 4*r + 2*d - 178, 0 = t*r + 5*d - 151. Does 26 divide r?
False
Does 2 divide (950/(-20))/(10/(-72)*3)?
True
Let h(b) = b**3 + b**2 - 2*b. Suppose -2*o - t + 4 = 15, 0 = o + 5*t + 28. Let v be h(o). Is 2/3*(-90)/v a multiple of 5?
True
Let h(g) = -g**2 + 27*g + 48. Is h(23) a multiple of 4?
True
Let q(t) = -3 - 3 + 2*t + 6*t**2 - t**3 + 9*t. Is q(7) a multiple of 22?
True
Suppose -b + 8 - 6 = 0. Let m be 2 - 6/((-2)/b). Suppose -2*g = -g - p - m, 4*p = g - 14. Does 6 divide g?
True
Let d = 1681 + -1033. Is d a multiple of 35?
False
Let v(n) = n**2 - 4*n + 10. Let m be v(7). Let f = m + -26. Suppose 2*x = f*z + 35, 5*x + z = 3*z + 140. Is 4 a factor of x?
False
Suppose -2*f + 59 = 5*z, -3 = -z + 4*f + 22. Let p be (-282)/(-54) - 4/18. Let v = z - p. Is 3 a factor of v?
False
Let m = -3 + 13. Suppose -4*c - 4*v = -6*c - m, -4*c + 16 = v. Suppose c*x = -4*g + 23, 0*x = -2*x - 3*g + 14. Is x a multiple of 3?
False
Suppose -2*c + 2*x - 6 + 18 = 0, 2*c - x - 9 = 0. Let p(r) = -r**2 + 3*r + 1. Let b be p(c). Is b/(2/60) - -2 a multiple of 15?
False
Let d = -20 - -22. Suppose d*x = 5*c + 4*x - 113, 0 = c + 3*x - 33. Is 7 a factor of c?
True
Let z be 16/(-24)*(3 - 0). Does 16 divide z - ((-64)/4 - 2)?
True
Let h(y) = y**3 + 2*y**2 - 9*y - 12. Does 16 divide h(7