*v + 12*v - 270. Let z = v - -8. Is z a multiple of 12?
False
Suppose 5*i - 2277 = -877. Suppose 5*z - 820 = -i. Is z a multiple of 18?
True
Let l = -5 + 93. Let g = 163 - l. Is 15 a factor of g?
True
Let m = 74 - -8. Suppose -2*r + 110 + m = 0. Does 28 divide r?
False
Let v be 2/9 - 220/18. Let m = -6 - v. Does 15 divide (-1*75)/((-9)/m)?
False
Suppose 0 = 4*s - 200 + 56. Let v = 58 + s. Is v a multiple of 16?
False
Suppose -9*v = -933 - 4080. Is v a multiple of 4?
False
Let z(b) = -b**3 + 7*b**2 + 4*b - 24. Is z(3) a multiple of 12?
True
Let y(p) = 194*p + 90. Does 27 divide y(9)?
True
Let w be (-13)/39 - (-32)/6. Suppose 2*g - 214 = -3*r + 106, 5*g = w*r - 550. Let s = r + -62. Does 23 divide s?
True
Let u(i) be the first derivative of 9*i + 1/2*i**2 - 4. Does 2 divide u(-7)?
True
Let p be ((-22)/11)/(4/(-6)). Suppose -5*g + p = 78. Is ((-24)/g)/((-4)/(-120)) a multiple of 24?
True
Let a be 1 - 1 - (-13 - -10). Suppose 0 = -2*v - 7*j + 3*j + 110, 112 = 2*v + a*j. Is v a multiple of 38?
False
Suppose -1141 = -3*x - 4*x. Is x a multiple of 18?
False
Suppose 0 = -30*m + 17481 + 40359. Is m a multiple of 11?
False
Suppose 6*q - 386 = -3*a + 4*q, -4*a + 4*q + 528 = 0. Suppose -4*x + a = -3*x. Is 15 a factor of x?
False
Let q(b) = 2*b - 5. Suppose -3*u = -6*u + 12. Let r be q(u). Suppose -x + 5*l = -10, 19 = x - 2*l + r. Is 13 a factor of x?
False
Let c(s) = -3*s**2 - 74*s - 30. Does 5 divide c(-23)?
True
Let b(s) = -10*s**3 + 12*s**2 - 30*s. Does 14 divide b(-6)?
True
Let f(d) = d**3 - 3*d**2 - 7*d + 7. Let o be f(5). Let r = o + -17. Suppose r + 391 = 6*u. Is 16 a factor of u?
False
Let f(h) = -h**2 + 9*h - 11. Let z be f(7). Let s be z/(-9)*0/4. Suppose -5*v + 20 = s, 3*c + 14 = 4*c - 3*v. Does 26 divide c?
True
Suppose 6*f - 28 = 3*f - 4*u, 0 = f + 2*u - 10. Suppose -3*d + f = -97. Does 4 divide d?
False
Let l = 217 - 64. Let q = l - -19. Does 29 divide q?
False
Suppose -63*l - 30081 = -75063. Is 8 a factor of l?
False
Let v = 0 - 3. Let r(j) = -2*j - 1. Let i be r(v). Suppose h = 3*q - 0*q - 1, 4*h = -i*q + 81. Does 7 divide h?
True
Let n = 2096 - 1678. Is 22 a factor of n?
True
Suppose 0 = l + 19 - 251. Is 46 a factor of l?
False
Let h(t) = -t**2 + 17*t + 3. Let u be h(18). Let n = u + 18. Suppose -4*f = -n*f - 44. Does 11 divide f?
True
Let i = 159 - 153. Suppose i*y - 1585 = 89. Is y a multiple of 31?
True
Let z be (-839)/(-6) - 8/(-48). Let n = z - 59. Is 18 a factor of n?
False
Let l(x) = 14*x**2 + 11*x + 20. Does 18 divide l(10)?
True
Let w be (-1666)/(-16) + -6 + (-1)/8. Suppose -4*p + w + 210 = 0. Is 10 a factor of p?
False
Let x = -290 + 424. Suppose -6*a = -8*a + 4, 0 = 2*c - 3*a + x. Let u = -37 - c. Is u a multiple of 11?
False
Does 20 divide (24*304/(-32))/(4/(-10))?
False
Let v = -15 + 46. Is 22 a factor of v?
False
Suppose -397 = -5*u + 3*a, -5*a + 3*a - 316 = -4*u. Does 9 divide 7260/u + 2/(-7)?
False
Suppose 4*j + 21 - 117 = 0. Let i = -11 + j. Let y = -4 + i. Is 9 a factor of y?
True
Let k(a) = 7*a + 4. Suppose 0 = 3*l + 5*y - 24, 5*l - 9 + 3 = 3*y. Suppose 3 = s - l. Does 23 divide k(s)?
True
Suppose -3*j + l + 9 = -0*j, 4*j - 4 = 4*l. Suppose -m + 6 = 3*k, 0*m + j*m - 2*k = 80. Suppose 2*g - m = 2*u + 216, 2*u = -g + 117. Does 16 divide g?
False
Let m(q) = -q**3 + 17*q**2 - 16*q + 69. Is 11 a factor of m(8)?
True
Suppose 28*s - 27*s + 440 = 2*k, -3*s - 432 = -2*k. Does 37 divide k?
True
Is 7 a factor of (-3)/(-4) - (-2283)/24*2?
False
Let m(f) be the first derivative of f**3 - 3*f**2 + 17*f + 25. Is m(-6) a multiple of 7?
True
Let z(w) = 17*w**2 + w - 2. Let d be z(-2). Let l = d - -11. Does 18 divide l?
False
Let q(s) = s**3 + 2*s**2 - 8*s - 4. Let z be q(-5). Let p = -25 - z. Let k = 72 - p. Does 29 divide k?
True
Suppose -4*r = g - 0*g + 276, -3*g = -2*r - 124. Let a = r - -108. Is a a multiple of 20?
True
Suppose 2*b - 5*b - t = -93, 4*t + 108 = 3*b. Is b a multiple of 5?
False
Suppose -4*w = 2*a - 5910, -w - 3*w + 5*a + 5889 = 0. Does 18 divide w?
True
Let x = 64 + -64. Is x/(-4) + (-1 + 549)/2 a multiple of 20?
False
Let a be (-24)/324 - 2974/(-54). Let i be ((-2)/(-4))/(2/4). Does 6 divide 22/a*25*i?
False
Let l(w) be the third derivative of w**6/120 + w**5/20 - w**4/12 - w**3/6 + 4*w**2 + 2. Is 25 a factor of l(4)?
False
Let c(y) = -3*y + 39. Suppose 12*b + 44 = 8*b. Is c(b) a multiple of 8?
True
Let w(c) = -c**3 - 3*c**2 + 2*c - 8. Let u be w(-4). Suppose -3*t + 53 = v, 3*t = -u*v - 2*v + 103. Is 6 a factor of v?
False
Let c(b) be the second derivative of b**5/20 - 5*b**4/12 - 5*b**3/6 - 9*b**2/2 - 6*b. Let r be c(7). Let q = r - 35. Does 8 divide q?
False
Does 9 divide (-3342)/(-12) - (-4)/8?
True
Let x = 13 + 9. Let w be (x/(-6) - -4)*9. Let n = w + 13. Is 15 a factor of n?
False
Let m = -2 - -4. Suppose 4*g - z + 176 = -m*z, 2*z = g + 35. Let r = 70 + g. Does 10 divide r?
False
Is 15 a factor of ((-806)/(-93))/(-1*2/(-90))?
True
Let y = -171 - -1744. Is y a multiple of 13?
True
Let d = 16 - 26. Let a = 107 + d. Does 16 divide a?
False
Suppose -m - 3*m - 3*t = -594, 2*m - 300 = -3*t. Is 4 a factor of m?
False
Let a(h) = h**2 - 10*h + 35. Is 16 a factor of a(-9)?
False
Let p(l) = -l**3 - 5*l**2 - 26*l - 44. Is p(-8) a multiple of 13?
False
Let k be 27/6 + 2/4. Suppose 0 = -k*z + 10. Suppose -2*c - 266 = -5*c + 5*g, -z*g = -4. Does 23 divide c?
True
Let a(l) = 3*l**2 - 3. Does 3 divide a(6)?
True
Let m be ((-2)/4)/(1/(-2)). Let s be m*-1 + (-15)/(-5). Suppose -5*r + 165 = -s*r. Is 24 a factor of r?
False
Let f = -89 + 395. Suppose 4*d = -4*n + 2*n - f, 4*d - 290 = 2*n. Let g = 214 + n. Is 17 a factor of g?
False
Let w be (2/(-6))/((-6)/162). Suppose -f + 3*y = -2 + w, -3*f + 3*y = 3. Suppose -a + 72 = 5*m, -18 - 78 = -2*a + f*m. Does 14 divide a?
False
Suppose -26*b - 5679 = -20603. Is 33 a factor of b?
False
Let x(w) = -79*w + 135. Is x(-7) a multiple of 16?
True
Let u(q) = -q**2 + q + 2. Let x be u(-3). Let b(j) = j + 2. Let d be b(x). Is (-3)/(-12) + (-838)/d a multiple of 31?
False
Let f = 8 - 8. Let j be f + (0 - 14*-7). Suppose -4*k + 166 = g, -5*g + 60 = 4*k - j. Is 11 a factor of k?
False
Suppose -2*k + 922 = -310. Suppose 0*p = 7*p - k. Is p a multiple of 46?
False
Let g(b) = 9*b**2 - 13*b + 13. Let i be g(5). Let k = -87 + i. Does 14 divide k?
False
Let v = 211 + -654. Let y = v - -649. Does 8 divide y?
False
Let r(i) = -5*i**3 - i**2 + 11*i + 17. Is r(-2) a multiple of 12?
False
Suppose 5*m + 5*i = -0*m + 45, 0 = -m + 3*i + 5. Does 4 divide 8/4 + -2 + m?
True
Suppose -4*z + 3*a = -3, 2*a = -2*z - 3*a - 5. Is (-120)/(z + -4) + -2 a multiple of 7?
True
Let z(m) = 2*m**3 - 37*m**2 + 25*m - 164. Does 17 divide z(22)?
True
Let o be (-7 - -7) + 23 + 2. Suppose -x + 17 = i, o = i - x - 0*x. Does 11 divide (-6)/i + 930/21?
True
Suppose -3*z - 2*q = -69, -2*q = 3*z + 2*z - 111. Is 2 a factor of z?
False
Suppose 2*v - 3*v + 36 = -3*j, 3*v - 80 = 2*j. Let x be ((-68)/(-16))/(3/v). Let q = -16 + x. Is q a multiple of 18?
True
Suppose a + 2*d = 5, 2*d - 4 = -a + d. Suppose u - 4 = -2*o, -2*o - 22 = -3*u + 2*o. Let c = u + a. Does 9 divide c?
True
Let x(u) = u**2 - 1. Let v(i) = i**2 + 23*i + 13. Let c(z) = v(z) - 3*x(z). Let s = -30 + 41. Is 9 a factor of c(s)?
True
Suppose f + s + 0 = -1, -5*f - 3*s + 1 = 0. Let v(l) = 113*l - 3 + 4*l**f - 2*l**2 - 112*l. Is v(3) a multiple of 18?
True
Suppose -21 = -3*n + 21. Suppose -2*b = 2*z - n, -5*b + 5*z - z = -35. Suppose b = -2*t + 31. Is t a multiple of 6?
True
Suppose 2*t + 1179 = 5*a, 4*a + 7 = -2*t + 961. Is a a multiple of 16?
False
Let f = -3 + 6. Let c be 6 + 0*f/6. Suppose -4*u + 173 = 3*q, 3*q - c*u - 155 = -u. Does 14 divide q?
False
Let c = -221 + 313. Suppose 6*s = -20 + c. Is 2 a factor of s?
True
Let c = 57 + -33. Suppose -5*n - c = 26. Does 10 divide 4/n*480/(-3)?
False
Suppose 3*v + 25 = 4*b, -4 = -4*v - 4*b - 0. Let s be 16 - (2 - (v + 3)). Is 5 a factor of 576/42 + 4/s?
False
Let a be ((-2)/6)/(5/(-195)). Suppose -16*t = -a*t - 96. Is 8 a factor of t/48 + 98/6?
False
Suppose 15 = 6*n - n. Suppose -n*s - 123 = -4*p + p, 0 = 5*p + 2*s - 170. Is 12 a factor of p?
True
Let t(x) = -4*x**3 + x**2 + 2*x + 2. Let h be t(-1). Suppose 4*j = -h*r - 14 + 303, -r = 3. Does 26 divide j?
False
Let a be 44/11*(3 - 2)*1. Suppose -4*t - n + 1045 = -0*n, 5*t = -a*n + 