ppose q*l - 50 = b. Is l a multiple of 8?
False
Let r = 99 - 80. Suppose -2*q + 91 = j + r, 2*j + q = 144. Is j a multiple of 36?
True
Let u = 93 - 43. Let x = 74 - u. Is x a multiple of 6?
True
Let r(i) be the second derivative of i**3/6 + 9*i**2/2 - 3*i. Let m be r(-10). Is 12 a factor of (-6)/7*28/m?
True
Let c(z) = -z**2 + 25*z + 478. Is c(36) a multiple of 3?
False
Let b = 13 - 22. Let i = b - -28. Does 3 divide i?
False
Let t = -147 + -12. Let f = t + 270. Is f a multiple of 17?
False
Let x be ((-3 - -2) + 0)*-69. Suppose 4*l - 5*l = -x. Is 25 a factor of l?
False
Suppose 15*y = -2*y + 3706. Is 14 a factor of (y/(-5))/((-24)/120)?
False
Suppose -3*c - 36*g + 33*g + 7485 = 0, 5*c - g = 12469. Is c a multiple of 36?
False
Suppose 3115 = 16*c - 9*c. Suppose s - 485 = -5*x - 2*s, 5*x = 5*s + c. Does 47 divide x?
True
Let a = 13 + -8. Suppose p - n - 8 = -2, a*n - 15 = 0. Does 6 divide p?
False
Suppose 331 + 511 = 3*g + m, 4*g = m + 1132. Is 6 a factor of g?
True
Let k = 38 + -33. Suppose 3*z - 2*z + 4 = -3*s, -k*z + 20 = -5*s. Does 18 divide -3*((-400)/12)/z?
False
Suppose -a = -2*i - 18, -4*i - 51 = -2*a - 3*i. Let g be 2*7/(a/384). Suppose 0 = -0*u - 4*u + 2*r + 136, 0 = -5*u - 3*r + g. Is u a multiple of 18?
True
Suppose 8*l = 1533 + 267. Suppose -48*a = -47*a - l. Is 25 a factor of a?
True
Suppose 2*l - 6 = -56. Let z = -704 + 737. Let k = z + l. Does 4 divide k?
True
Suppose -4*r - 5*q - 2 = 10, 5*r - 5*q - 30 = 0. Suppose -r*p = 3*p - 20. Suppose y - 51 = p. Does 11 divide y?
True
Let o = 43 + -21. Suppose -2*a + o = 3*b, 4*a + 2*b - 22 - 6 = 0. Suppose -a*q + 2 + 168 = 0. Is q a multiple of 15?
False
Let q = 705 + -1001. Let x = q + 504. Is x a multiple of 13?
True
Let z = -25 + 30. Is 22 a factor of (4 - z)/(3/(-327))?
False
Suppose -2*z = -3*o + 59, 0*o - 4*z = -o + 33. Suppose -5*g = o - 142. Is 25 a factor of g?
True
Suppose 0 = -w + 5 + 25. Is 3 a factor of w?
True
Let o(y) = y**3 - 22*y**2 + 7*y - 54. Does 20 divide o(22)?
True
Suppose 4*y - 7 - 5 = -2*t, 10 = 5*y. Let m(k) = -10*k - 9*k + t*k. Does 17 divide m(-4)?
True
Let a = 100 + -13. Let d = a - 59. Is d a multiple of 4?
True
Suppose 3*f + 0*j + 17 = -j, 13 = -2*f + j. Let y = f - -5. Is 0 - (-67)/(y/(-1)) a multiple of 21?
False
Let o(d) = 5*d + 10. Let c be o(-5). Let z be (2 - 14)/(10/c). Let f = 28 - z. Is 10 a factor of f?
True
Suppose -8 = -i - i, 0 = -4*y + 3*i + 128. Suppose y = 2*q - q. Suppose -259 = -4*z - q. Is 26 a factor of z?
False
Let i(x) = 0*x - 8*x + 3 - 7*x. Suppose -4*r = -u - r - 3, 0 = -5*r. Is 22 a factor of i(u)?
False
Let c be (-2)/(-4)*(0 + 2072/7). Does 20 divide 21*(-6)/((-72)/c)?
False
Suppose -o - 2*d - 3 + 113 = 0, d = 0. Is o a multiple of 5?
True
Is 8 a factor of (-2)/(1 + (-18)/16)?
True
Let d(p) = -33*p - 2. Let x(r) = -r + 19. Let t be x(21). Does 8 divide d(t)?
True
Let x(y) = y + 1. Let b be x(12). Suppose -11*f = -b*f + 170. Is 17 a factor of f?
True
Let b(y) = y**2 + 14*y - 3. Let s(r) = r. Let m(t) = -b(t) - 5*s(t). Is m(-15) a multiple of 23?
False
Let i(l) = -26*l**2 + 2*l + 2. Let b be i(-2). Let w = 157 + b. Does 21 divide w?
False
Suppose 0 = -9*s - 13508 + 54818. Is 17 a factor of s?
True
Suppose 5*w - 9*w + 12 = 0, 5*j - w = 22032. Is j a multiple of 13?
True
Let j(p) = p**2 - 5*p - 40. Is j(-12) a multiple of 23?
False
Suppose 10*i - 15*i + 90 = 0. Suppose -4*d = -6*d + 40. Let r = d + i. Does 22 divide r?
False
Let z be (3/(-2)*-2)/(3 - 0). Let j be ((-4)/(-3))/(3/(-9)). Does 10 divide (-122)/j - z/2?
True
Let g = -13 - -24. Let y(q) = -1 - g*q - 2*q + 5 - 3. Is y(-2) a multiple of 10?
False
Let w = 41 + -35. Is (-17)/w - 5/30 - -197 a multiple of 26?
False
Let z(v) = v**3 + 5*v**2 + 2*v + 6. Let a be z(-6). Let h = a + 80. Is h a multiple of 10?
False
Suppose -4*u = 26 + 122. Let k = -33 - u. Suppose k*r - 20 = 3*r + 5*v, 5*v = -3*r + 100. Is 6 a factor of r?
True
Let r(y) be the third derivative of y**5/30 - 7*y**4/24 + y**3 + 6*y**2. Let w be r(4). Suppose w*h - 5*h - 275 = 0. Does 14 divide h?
False
Let h = -471 - -290. Let v = -151 - h. Is 5 a factor of v?
True
Let m = -419 - -764. Is m a multiple of 23?
True
Let b(p) = -p**3 + 6*p**2 + 6*p + 2. Suppose l = 3*l. Suppose a + 3*s = 14, l = a - s - 2 - 0. Is 15 a factor of b(a)?
False
Let z(w) = -w**3 + 15*w**2 - 7*w - 30. Does 80 divide z(10)?
True
Suppose 2*k - 10 = -3*k. Let l(w) = 9*w**3 + 2*w**2 + w - 3. Is l(k) a multiple of 15?
False
Suppose 3*h + 300 = -309. Let b = 125 + h. Let j = -56 - b. Is 5 a factor of j?
False
Suppose 6*j - 144 = 258. Let w = -39 + j. Is w a multiple of 7?
True
Let s(x) be the second derivative of -67*x**3/2 + 3*x**2/2 + 7*x. Does 32 divide s(-1)?
False
Let u = 31 - 28. Let g(j) = 4*j - 2*j**2 - u*j + 4*j**2 + 66 - 3*j**2. Does 16 divide g(0)?
False
Let b = -73 + 667. Does 32 divide b?
False
Let t(g) = -10*g - 103. Is t(-14) a multiple of 10?
False
Suppose 4*r + 506 = 5*f + 1494, -4*f + 247 = r. Is 2 a factor of r?
False
Suppose 0 = 13*a - 297 - 587. Is a a multiple of 11?
False
Let h(m) = 2*m**2 - 8*m - 3. Let a(k) = 3*k**2 - 9*k - 2. Let q(c) = -3*a(c) + 4*h(c). Let w be q(-5). Is 3 a factor of (-6)/9 + (-40)/w?
True
Suppose 36*k + 10 = 38*k. Suppose -494 = -2*z + 2*h, -k*z = -4*z - 2*h - 247. Does 55 divide z?
False
Let l be (3 - (-6 - -3)) + 4. Let i be (-162)/l - (-3)/15. Does 6 divide i/3*(-45)/10?
True
Let z(q) = -q + 3. Let k(t) = -3*t + 9. Let r(v) = 2*k(v) - 7*z(v). Let u be r(3). Suppose -2*i + i + 47 = u. Does 15 divide i?
False
Let k = -172 - -256. Is 21 a factor of k?
True
Suppose -3*y + 6 = -18. Let f = -8 + 12. Suppose 5*h = f*p - 48, -21 - y = -3*p + 2*h. Does 3 divide p?
False
Suppose 4 = 4*k - 4*d, 0 = d + d + 2. Suppose 3*z - 4*m + 15 + 23 = 0, 5*z - 2*m + 82 = k. Is 4 a factor of (-219)/z - 1/6?
True
Let s = 139 + -50. Suppose c - s = -12. Is c a multiple of 11?
True
Let a(s) = s**2 + 2*s - 10. Let n be a(-5). Suppose 0 = j - 3*j + n*y + 393, 2*j - 391 = 3*y. Is j a multiple of 39?
False
Let k be (-11)/22*(-1 + 1). Suppose g = 5*s + 30, -5*s = -k*g + 2*g. Is 10 a factor of g?
True
Suppose 56*f = 52*f + 76. Suppose -547 = f*p - 1592. Is 27 a factor of p?
False
Suppose 3*p = -f + 25, 2*f + 5*p - 7 - 38 = 0. Is 10 a factor of f?
True
Let i be -1*4*(13 + -89). Suppose -4*r + r + 4*l + i = 0, -3*r - 4*l + 344 = 0. Is 27 a factor of r?
True
Suppose 3*b + 14 = -4*n - 7, -5*b = -n + 35. Let h(t) = -9*t + 7. Is h(b) a multiple of 19?
False
Let m(f) = f**2 + 16*f - 1. Suppose -5*h - 120 = -5*b, -5*h + 3*b = -0*b + 118. Does 20 divide m(h)?
True
Let z = -299 - -599. Does 6 divide z?
True
Let x = 5 + 0. Let t(y) = 3*y**2 + 24*y + 4. Let c be t(-8). Is 239/c - x/(-20) a multiple of 20?
True
Let y = -6 - -20. Is 9 a factor of 8908/119 + 2/y?
False
Let l be (-3)/2 - (-3)/2. Let x be ((-4)/(-8) - 0)*108. Suppose 2*q = 3*z + 84, l = q - z - x + 13. Is q a multiple of 13?
True
Let h = -1061 + 2477. Does 56 divide h?
False
Suppose 3*o - i - 828 = -112, 0 = -3*o - 2*i + 710. Suppose m = d - 0*d - o, d - 241 = 2*m. Is d a multiple of 36?
False
Suppose 4*r = 92 - 24. Let v = r - -11. Is v a multiple of 9?
False
Suppose 0 = a - 5*w - 7 - 11, -5*a - 26 = 4*w. Does 9 divide 216/a*5/(-10)?
True
Let i(h) = 5*h - 6*h - 65 + 178 + 224. Let r be i(0). Suppose d - r = -5*c, 2*d - 301 + 96 = -3*c. Is 9 a factor of c?
False
Let d = 58 + 63. Is d a multiple of 11?
True
Suppose 0*l + 476 = 4*l. Does 22 divide 2550/l - (-4)/7?
True
Let a = -7 - -12. Suppose 0 = 3*p + a*r - 268, 4*p + r - 370 - 10 = 0. Does 16 divide p?
True
Suppose -5*m = -14 - 1. Suppose 5*i - 104 = -2*n, -m*n + 4*i - 184 = -7*n. Is n a multiple of 14?
True
Let s be (-285)/12 + 4/(-16). Let n be (-16)/20 + s/(-5). Let t = n + 2. Does 5 divide t?
False
Suppose -41*n + 29778 = -10812. Is n a multiple of 22?
True
Does 14 divide 4 - ((-2552)/3 + (-6)/(-9))?
True
Let b(h) be the second derivative of 11*h**3/6 + h**2/2 + h. Let z(o) = o**3 + 7*o**2 + 14*o + 9. Let q be z(-4). Is 6 a factor of b(q)?
True
Let t = 4 - -4. Suppose -5*z = -3*x + 287, t*x - 13*x - 2*z = -499. Does 8 divide x?
False
Let c be 32/7 - 39/(-91). Suppose -455 = -3*j - c*x, 3*x + 490 = 3*j + x. Is j a multiple of 20?
True
Let c = 1099 + -685. Is c a multiple of 20?
False
Suppose 0 = 4*r + 38 - 182. Let n = -1 + 22. D