0*t + 3*t - 59, -2*t + 76 = -3*b. Let v = b - -166. Is v a multiple of 18?
True
Is 10 a factor of (-20)/(-3)*(-17676)/(-48)?
False
Suppose 28 = -4*t + l + 3*l, -5*t - 29 = -2*l. Is 31 a factor of (-1 - t)/(6/237)?
False
Let k be 5 + -1 + 3 - 2. Suppose -k*f = p - 452, 101 = 2*f - p - 77. Is 18 a factor of f?
True
Let b(g) = g + 4. Suppose 0*r - r = 0. Let d = r - -2. Is b(d) a multiple of 6?
True
Suppose -5*j + 84 = -j. Let d = j + 15. Suppose 5*f = -11 + d. Is f even?
False
Let h = -1535 + 3002. Does 85 divide h?
False
Suppose 2*s = 4*v + 7 - 37, v - 5 = 0. Let o be 1/s + 1404/(-5). Let y = o - -400. Is y a multiple of 34?
False
Let u(m) = -2*m + 45. Suppose 6 = 2*r + 4*x, 11 = -2*r + 2*x - 7. Does 3 divide u(r)?
False
Suppose -2*q - z + 6 = 0, -4 = z - 0*z. Suppose 0 = -q*g + 210 + 105. Does 7 divide g?
True
Suppose -2*y + p + 715 = 0, -p = -y - 3*p + 355. Is 21 a factor of y?
True
Let a = 5187 - 1796. Is a a multiple of 72?
False
Is 0 + (2 - -584 - 1) a multiple of 13?
True
Suppose 1210 + 563 = -9*n. Let h = 293 + n. Is 22 a factor of h?
False
Suppose -48*j - 2*v = -44*j - 3778, -4*v - 3784 = -4*j. Does 34 divide j?
False
Let o(r) = r**3 + 11*r**2 - 11*r + 29. Suppose 47*y = 44*y - 36. Is o(y) a multiple of 3?
False
Suppose -269 + 35 = -3*h. Let y = h + -53. Does 25 divide y?
True
Let z be 2826/(-45)*(-4 + -1). Let b = 590 - z. Is 24 a factor of b?
False
Suppose -4*g = -0*u + u + 9, -2*u = 3*g + 3. Suppose u*f + 3*y - 6 = 0, -f - 4*y + 4 = -2*y. Suppose f = -z - 3*n + 32, z - 2*n - 170 = -3*z. Does 15 divide z?
False
Is 18 a factor of (-1)/(-8) - 1722/(-48)?
True
Let h = -15 - -4. Let f(n) = n**3 + 12*n**2 + 10*n + 21. Is f(h) a multiple of 16?
True
Let h = 1235 + -572. Is 58 a factor of h?
False
Let c(s) = 6*s**2 - 8*s + 4. Let k(q) = 5*q**2 - 8*q + 4. Let y(f) = f**2 + 12*f - 16. Let z be y(-13). Let j(o) = z*c(o) + 4*k(o). Is j(6) a multiple of 14?
True
Suppose 1 = -0*g + g. Let b(k) = -1 + 55*k**3 + 764*k - 764*k. Is 13 a factor of b(g)?
False
Suppose 0 = -3*m - 5*q + 68, -52 = -m - 5*q - 16. Let k = m + 9. Let p = 101 - k. Does 24 divide p?
False
Suppose 9*w - 12*w + 975 = 0. Suppose 3*j - 554 = w. Suppose -4*k - 5*l = -j, 2*k - 2*l - 51 = 73. Is 22 a factor of k?
False
Let y(q) = 5*q**2 + 7*q - 2. Let l be y(13). Suppose 0 = -3*w - 376 + l. Does 24 divide w?
False
Suppose -4*f = -7 - 1. Suppose 0 = f*a - 4 - 134. Is 7 a factor of a?
False
Let b(q) = 15*q**2 + 2*q + 1. Let k(c) = c + 9. Suppose 5*u = -5, 3*u + 34 - 11 = -2*m. Let n be k(m). Does 3 divide b(n)?
False
Is (-20293)/(-14) + 7 + 4/8 a multiple of 44?
False
Suppose 7 = -9*r + 25. Suppose 56 = r*n - 64. Is n a multiple of 12?
True
Suppose 2*c + 8*c = -30. Let w(j) = -25*j - 13. Does 43 divide w(c)?
False
Suppose 4*f + 5*c = 971, 4*f - 733 = f + c. Suppose -f = 4*q + 4*r, 0*q - 3*q = 2*r + 185. Let i = 96 + q. Does 11 divide i?
True
Let p(m) = 38*m**2 + 8*m + 8. Let h be p(-2). Suppose -3*u = u - h. Is u a multiple of 3?
True
Let c be 9*(-3)/((-36)/(-8)). Let m = c + 13. Suppose 5*k - m = 8. Is k a multiple of 2?
False
Let b be (-9 - -5)*285/4. Suppose 0 = -q - 4*q + 25. Is 19 a factor of 4/q*b/(-6)?
True
Let o = -1192 + 2218. Is o a multiple of 38?
True
Suppose 3*l = 4*l - 5. Suppose 3*c + 4*j = 205, -l*j - 146 = -4*c + 86. Does 23 divide 295/9 - (-14)/c?
False
Let p be 8 - 9/(-3 + 6). Let y = -10 + p. Let l(o) = 2*o**2 + 8*o + 6. Is l(y) a multiple of 10?
False
Suppose -3*z = 2*i + 6 + 2, -z - 5*i = -6. Let g be z + 6 - 68 - -4. Let a = -30 - g. Does 8 divide a?
True
Let s(p) = 40*p + 800. Does 72 divide s(7)?
True
Let u be (-1270)/14 - ((-84)/(-49))/6. Is (u/(-14))/(2/28) a multiple of 11?
False
Does 7 divide (-7812)/(-56) - 2/(-4)?
True
Let g(y) = -y**2 + 11*y - 13. Let z be g(6). Suppose -z*p + 44 = -13*p. Is 11 a factor of p?
True
Let a(v) = -v**3 - 5*v**2 + 81*v - 12. Is 16 a factor of a(-13)?
False
Let s(j) = -j**2 + 59*j - 108. Does 12 divide s(32)?
True
Does 3 divide 18/12 - (0 + 135/(-2))?
True
Let j be (828/5)/(16/120). Suppose -218 = -5*y + j. Is (-4)/(-28) - y/(-14) a multiple of 7?
True
Suppose v - 2*v + 8 = -3*w, 0 = -5*v + w - 2. Let r be 25/(v/3*-3). Suppose -29*q = -r*q - 76. Is q a multiple of 8?
False
Is (-27)/45 + 11349/15 a multiple of 14?
True
Does 49 divide 14/(-3)*441/(210/(-10))?
True
Let y(m) = -3*m**3 - 8*m**2 - 9*m - 13. Is 2 a factor of y(-4)?
False
Suppose -y + 13 = 3*x, 3*x - 5*y + 9 = 4*x. Suppose 5*b - 248 = x*r, -3*b + b = -3*r - 95. Suppose 86 = 5*o - 3*f, b = 4*o + f - 10. Is o a multiple of 6?
False
Suppose 2*l + 7*u - 12*u = 259, -l - 5*u + 92 = 0. Let i = 144 - l. Is i a multiple of 4?
False
Suppose -3*w - 16420 = 2*w + z, 3*w + 9852 = -2*z. Does 47 divide w/(-14) - (-33)/77?
True
Let i(b) = 19 + 35*b - 19. Let w be i(2). Is 3 a factor of ((-60)/w)/((-2)/14)?
True
Suppose 5*h + 6 - 47 = -4*p, h - 19 = -2*p. Suppose 10*b - p*b = 98. Does 20 divide b?
False
Suppose -b = -6 - 2. Suppose -3*g = -4 - b. Suppose -g*r + 0*r + 100 = 2*u, 0 = 3*r + 2*u - 76. Does 8 divide r?
True
Suppose -963 - 38 = -7*q. Is q a multiple of 11?
True
Suppose 156 = -6*a + 18. Let d = a - -48. Is d a multiple of 4?
False
Let j = -46 + 202. Is j a multiple of 15?
False
Let v(u) = -10 + 8*u**2 + 33*u - 35*u - u**3 - 6. Is v(7) a multiple of 4?
False
Suppose 6*w = 4*w + 48. Let q = -7 + w. Let l = q + -3. Is 14 a factor of l?
True
Let g = -177 + 267. Does 10 divide g?
True
Suppose 9 = -18*r + 21*r. Suppose 53 + 13 = r*h. Does 11 divide h?
True
Let r = -363 + 1122. Is r a multiple of 11?
True
Let u(k) = 11*k + 18. Does 13 divide u(29)?
False
Let i(t) = -194*t - 2. Is i(-1) a multiple of 64?
True
Let d(v) = 3*v**3 - 6*v**2 - 4*v + 5. Let w(f) = -2*f**3 + 6*f**2 + 3*f - 5. Let c(z) = 3*d(z) + 4*w(z). Does 19 divide c(-5)?
False
Suppose -5*o = -2*j - 840, -o - 2*j = -89 - 91. Does 7 divide o?
False
Let z(d) be the first derivative of -d**4/4 + d**3/3 + 15*d**2 + 7*d + 1. Is 46 a factor of z(-6)?
False
Suppose -y + 0 = 3*g - 13, -4*g = 2*y - 20. Suppose 4*k - g*k = -5. Let m(v) = -7*v - 5. Is 5 a factor of m(k)?
True
Let a be (17/4)/(2/(-8)). Let r = a - -61. Let j = 128 - r. Is j a multiple of 28?
True
Suppose -16*z = -19*z + 243. Suppose -5*w - 2*x + x = -z, -2*x + 66 = 4*w. Is 4 a factor of w?
True
Let k(l) = 32*l + 12. Does 15 divide k(9)?
True
Suppose -3*w + f = -13, 0*f = -w - 2*f + 9. Suppose 5*x - 449 = -p + 5*p, -5*p = w*x - 440. Is x a multiple of 29?
False
Let u be ((-45)/(-6))/(3/2). Suppose -5*f + 8*f - 6 = 0, 0 = u*h + 3*f + 129. Does 4 divide ((-4)/(-12))/((-1)/h)?
False
Does 10 divide ((-38)/(-3))/(3/(27/6))?
False
Suppose 8*x = -3*x + 2167. Is x a multiple of 4?
False
Suppose -6 = -h - 5*a, 5*a = h + 3 + 1. Does 29 divide (195/(-9))/h*(-2 - 4)?
False
Suppose f + 4 = -1. Let l be (2 + f/2)*0. Suppose l = -2*s + 51 - 3. Is 7 a factor of s?
False
Let p = -1203 - -1235. Does 14 divide p?
False
Let p(h) = -h**2 + 7*h - 1. Let j be p(6). Suppose -2*v + j*y = 15, -2*y = 5*v + 2*y - 45. Suppose -n - v + 47 = 0. Does 16 divide n?
False
Let n be 3 + 3/((-9)/(-3 - 0)). Suppose -25 = 5*a, 0*a - 52 = -i + n*a. Is i a multiple of 7?
False
Let d(b) = -b**3 + 7*b**2 - b + 1. Let t be d(6). Suppose 4*h - t = 53. Suppose -4*w + w = -h. Is 3 a factor of w?
False
Let k = 100 + -115. Is (-4)/(-3) + (-2035)/k a multiple of 8?
False
Suppose 5*n = -3*u - 657, -2*u + 58 = -n - 63. Is 26 a factor of 6 + -3 + -2 - 1*n?
True
Suppose -64 = -9*v + 8*v. Suppose 2*i + v = 3*i. Let d = -35 + i. Is d a multiple of 13?
False
Does 7 divide ((-2)/(-5))/(7/16485)?
False
Let d be (-6)/(-4) - (-243)/2. Suppose -s = -5*l - d, 0 = 3*s + 3 + 3. Is 20/l - (-308)/10 a multiple of 10?
True
Let f be (-16)/40 + (0 - (-274)/10). Suppose 0 = g - 3, -2*g - 197 - f = -5*q. Is q a multiple of 23?
True
Suppose 0*u - 34 = -2*u. Suppose 4*z = s + 309, 2*z - s = 174 - u. Is z a multiple of 19?
True
Let o be (-5)/25 + (-1)/(-5). Suppose o = 25*l - 22*l - 39. Is 13 a factor of l?
True
Let a(c) = 3*c**2 - 4*c - 25. Let n be (-1)/(-2)*(-5 + 3) - -7. Does 14 divide a(n)?
False
Let k = 418 + -74. Is 43 a factor of k?
True
Let v = -83 - -77. Is 9 a factor of v/(-2) + (-278)/(-2) + 0?
False
Suppose 2*f - 39 = -15. Let y(u) = u**2 - 2*u - 24. Is y(f) a multiple of 24?
True
Let c = 745 - 513. Does 5 divide c?
False
Su