t h be j(0). Suppose -h*g + 10*g = -51. Is g a multiple of 7?
False
Suppose m = 2*a + 12, 4*m + a + 5 - 17 = 0. Let s(v) = -5*v**3 + m*v**3 - 32 + 12*v**2 + 16 + 17*v. Does 9 divide s(13)?
True
Suppose -2*j + 4*s = -6, -6 = -j - 4*s - 3. Is 5688/(-48)*(-2)/j a multiple of 16?
False
Suppose -3*n = -3*j + j + 145, -2*n + 410 = 5*j. Does 5 divide j?
True
Suppose -3*s = -0*s. Suppose s*k = -5*k + 550. Suppose 5*m + 0*m - k = 0. Does 11 divide m?
True
Let f(h) = -h**3 + 12*h**2 - 14*h + 9. Does 5 divide f(8)?
False
Is 16 a factor of 1/(-5) - (1728/(-15))/1?
False
Suppose -6*y - 53 = 85. Let c = y - -68. Is 6 a factor of c?
False
Suppose -5*k = -14 - 1. Suppose 0 = -3*b - 2*b + 15, -k*x - b = -126. Is x a multiple of 6?
False
Suppose -2*h - 3 = -3*h. Suppose 0 = -s + 3, -3*o + s = -4*s + h. Suppose -u - 4*u = o*t - 40, -5*u + 10 = -2*t. Is 5 a factor of t?
True
Let g(y) = -y**2 + 1. Let m(c) = 105*c**3 - 3*c**2 + c + 2. Let k(z) = -4*g(z) + m(z). Does 15 divide k(1)?
True
Let q = -10 - -12. Let h be (-26)/(-3 + q)*4. Suppose -76 = -4*w + h. Is 15 a factor of w?
True
Suppose 0*k - 2*l - 15 = -3*k, 3*l + 24 = 5*k. Suppose 0 = 2*m + 5*z - 45, -2*m - k*z = -13 - 38. Suppose r = -2*r + m. Is r a multiple of 2?
True
Suppose m - 30 = 2. Let d = m - 30. Suppose -d*s = 3*s - 270. Is 18 a factor of s?
True
Let s(r) = 7*r - 3. Let c be s(-2). Let p = c + 15. Is 8 a factor of (p*12)/(0 - 1)?
True
Suppose 0 = -2*g + 39 + 113. Suppose 2*o + 22 - 204 = 0. Suppose -2*s + b = -o, -2*b = s + s - g. Is s a multiple of 25?
False
Let i(j) = 7*j - 2. Let c be i(1). Suppose -9 = 3*l, 12 = w - c*l - 9. Let d(x) = -x**3 + 6*x**2 + 8*x + 1. Does 12 divide d(w)?
False
Let h(m) = m**3 - 6. Let q be h(5). Let d be q/(4*3/24). Suppose -2*a = 3*r - d, r - 5*a + 235 = 4*r. Is 15 a factor of r?
False
Suppose 4*f = 4*j + 3792, 2*f + 2*j = 3*j + 1900. Is f a multiple of 17?
True
Let s(b) be the third derivative of -b**6/120 + 7*b**5/60 - 5*b**4/24 - b**3/6 - 12*b**2. Let f be (36/(-45))/((-2)/10). Does 6 divide s(f)?
False
Is 90 a factor of 5/((-20)/36) - -3429?
True
Let h = -652 + 1102. Is 10 a factor of h?
True
Let o(t) = 3*t**2 + 3*t + 2. Let g(y) = -y**3. Let m be g(1). Let f be o(m). Suppose -f*h = 3*l - 52, -h + 6 = -2*l - 6. Does 4 divide h?
True
Suppose -9*z - 1253 = -11*z - j, -4*j = z - 644. Does 15 divide z?
False
Let j(k) = -113*k - 20. Is 11 a factor of j(-4)?
False
Let p = 24 - 16. Suppose 3*z = -2 - 1. Let w = p - z. Does 9 divide w?
True
Suppose 2*w - 20 - 36 = 0. Suppose -w*r = -25*r - 210. Is r a multiple of 14?
True
Suppose 8206 + 1784 = 10*m. Is 111 a factor of m?
True
Let z = -11 + 11. Suppose 0*s - 10 = -4*o + s, z = -o + 4*s - 5. Suppose -2*x + x = -2*h + 22, -o*h - 5*x = -33. Is h a multiple of 5?
False
Let a be 9 + 3 + -7 + 1. Suppose -4*y = 3*g, 2*y - 16 = 4*g + a. Is (4 - y)*(-90)/(-3) a multiple of 10?
True
Suppose 13 = -2*o - 27. Let s = 28 + o. Is 3 a factor of s?
False
Suppose 7*k - 4*t - 1286 = 5*k, 3*k = -t + 1894. Does 38 divide k?
False
Let w(l) = 864*l - 54. Does 93 divide w(2)?
True
Suppose 5*b - 11429 = c, 15 = c + 14. Is 52 a factor of b?
False
Let i(c) = 72*c**2 + 5*c - 14. Is i(-4) a multiple of 72?
False
Suppose -2 = -4*z + 30. Is 3 a factor of z?
False
Let d = -239 - -393. Let h = d - 26. Is h a multiple of 16?
True
Let r = 34 + 493. Does 22 divide r?
False
Suppose 314 = 14*t - 3508. Is 4 a factor of t?
False
Does 14 divide (126/(-8))/((-33)/968)?
True
Let l be (-6)/9*(-9)/12*6. Suppose -10 = -l*f - 2*i, -38 = -4*f + 3*i - 2. Is f a multiple of 3?
True
Let d(m) = -m**2 + m - 1. Let k be d(-1). Let y = k + 19. Is 4 a factor of y?
True
Suppose 0 = 7*m - 337 - 1819. Is m a multiple of 5?
False
Suppose -5*s - 17 = -4*i - 1, -4*s + 3*i - 12 = 0. Suppose -5*t = s, a + a - 3*t - 56 = 0. Suppose 0 = -7*u + 5*u + a. Is 4 a factor of u?
False
Let n = -8 + -6. Does 7 divide (n/(-8))/(6/48)?
True
Suppose 5*j - 5*w = 20165, 3*j - 10*w = -13*w + 12093. Does 112 divide j?
True
Suppose -8*o - 135 + 343 = 0. Is 6 a factor of o?
False
Suppose -5*j + a = -21, -22 = -5*j - 0*j + 2*a. Suppose -n - j = 0, 40 = 3*z - 2*n + 5. Does 3 divide z?
True
Let p(k) = 235*k - 153. Does 17 divide p(7)?
False
Let u(d) = 16*d + 727. Is u(-7) a multiple of 41?
True
Suppose -2*p - 2*n + 8 = 0, -p - 2*n + 1 = -5. Suppose -68 = -p*g - 3*a, 3*g + 2*g - 5*a = 195. Does 8 divide g?
False
Suppose 2*i - 516 = -2*l, 4*l - 246 = -5*i + 791. Does 39 divide l?
False
Let q = 33 + 3. Suppose -4*m + 5*a + 22 = 0, -5*m + 43 + 3 = 3*a. Let g = q + m. Is 22 a factor of g?
True
Suppose 8*n + 4*v - 5468 = 4*n, 0 = -4*n + 2*v + 5474. Is n a multiple of 19?
True
Suppose -4*h + 12*d = 16*d - 136, 0 = -3*h + 2*d + 107. Does 2 divide h?
False
Suppose -v - 4*d = -2*d - 368, 364 = v + d. Is 20 a factor of v?
True
Let n = -198 - -283. Let q = n - 41. Is q a multiple of 12?
False
Let m = 13 + -16. Let g = m - -14. Suppose 12*h = g*h + 52. Does 13 divide h?
True
Let k = 8 + 20. Is 21 a factor of (-401)/(-7) + k/(-98)?
False
Let b(j) = 5*j - 16. Let g = -40 + 48. Does 4 divide b(g)?
True
Let t be 1/3 + (-80)/(-3). Let i = 29 - t. Suppose 78 = -0*x + i*x. Is 8 a factor of x?
False
Let y = 57 + -131. Let s = y - -108. Is s a multiple of 17?
True
Let o(b) = b**3 - 8*b**2 + 14*b + 20. Is o(10) a multiple of 18?
True
Let a(g) = 7*g**2 - 40*g - 36. Is 27 a factor of a(7)?
True
Let t be 2/9 - (-79)/9. Let v be (6/1)/(t/(-6)). Is (-6)/v + (-50)/(-4) a multiple of 14?
True
Let f(h) = 13*h**3 + 3*h**2 + 4*h - 2. Let o be f(3). Let y = -620 + o. Let p = -151 - y. Does 26 divide p?
False
Let d(m) = -m**3 + 2*m**2 + m + 1. Let y be d(2). Suppose y*j = 2*o + 3*o, -j = -5*o. Does 3 divide 13 + 3/12*j?
False
Let l(v) = -v**3 + 5*v**2 - 4*v + 3. Let n be l(4). Suppose -8*z = -n*z + 35. Does 29 divide 3 + 63 + z + 6?
False
Let z = -105 + 99. Let r(v) = -v**3 - 4*v**2 - 7*v + 3. Is 13 a factor of r(z)?
True
Let c(v) = -v**2 - 8*v - 10. Let m be c(-7). Let f(n) = -n**3 - 2*n**2 + 3*n. Let d be f(m). Suppose 0 = k - d*k - 48. Is k a multiple of 16?
True
Let l be (5 - 7)*(2 - 1). Let u = 11 - l. Is u a multiple of 5?
False
Let r(i) = i**2 - 13*i + 15. Suppose -c + 3*s = 2*c + 9, -2*c = 5*s + 27. Let a be (-80)/(-6) - c/(-18). Is 4 a factor of r(a)?
False
Let i(f) = 2*f**2 - 11*f - 3. Is 24 a factor of i(-11)?
True
Let b be (4/(-6))/(2/(-12)). Suppose 0 = -b*d + 8*d. Suppose d = 3*s - 18 - 9. Is 3 a factor of s?
True
Let g = 2918 + 414. Is g a multiple of 49?
True
Let q(i) = -i**3 + 8*i**2 - 16*i + 8. Let h be q(5). Suppose 2*x - 37 = -h*r, -3*r + 86 = 4*x + 15. Is 5 a factor of x?
False
Suppose 5*c - 14 = d + 6, 5*c = -5*d + 20. Suppose 3*s - 107 = -5*b + 41, -b + 33 = c*s. Suppose -j + 5*q + b = -18, -j + q + 47 = 0. Is 21 a factor of j?
False
Suppose -2*s - 1856 = -3*w - 123, 0 = -s - 4. Let v = w - 310. Suppose -3*h = 2*h - v. Is 14 a factor of h?
False
Let b = -233 - -299. Is b a multiple of 6?
True
Does 15 divide (-4 + 6 - -1438)/1?
True
Let q = -16 - -25. Suppose f - q*n + 4*n = -28, 3*f - 2*n + 19 = 0. Does 30 divide (2 + 4)*6 - f?
False
Suppose 0 = -5*b - 4*r + 30, -2*b + 16 + 13 = 5*r. Suppose 36 - 14 = z + 2*k, 2*k - 34 = -b*z. Is 12 a factor of z?
True
Let u = 80 - 79. Is 12 a factor of 85*u*(-16 + 17)?
False
Suppose 6*f + 165 + 267 = 0. Let k = f - -162. Is k a multiple of 24?
False
Let j be (1 - 0) + 18/9. Suppose t = -j*t + 196. Is 7 a factor of t?
True
Is (-45942)/(-76) + 7/(-2) a multiple of 14?
False
Let n = -1116 + 2072. Is 58 a factor of n?
False
Let i(p) = -p**2 - 6*p - 3. Let o be i(-4). Suppose -m + 4*d = -15, -4*d - 28 = -o*m + 79. Does 3 divide m?
False
Let z = 15 + -13. Does 11 divide z/(-14) - (-4215)/105?
False
Let h(s) = s**3 - 11*s**2 + 10*s + 2. Let j be h(10). Suppose -j*u = -2*a - 76, -5*u - 4*a + 6 = -220. Suppose 2*g = 70 + u. Does 32 divide g?
False
Suppose -41*m + 182 = -39*m. Let z = -63 + m. Is z a multiple of 7?
True
Let n(v) = v**2 - 26. Let b be n(0). Let s = 57 - b. Suppose -4*k = -r + 65, 2*r = r - 5*k + s. Is r a multiple of 14?
False
Suppose -p + 5 = 5*w, -3*p - 2*p = 5*w - 25. Suppose 5*z + 2*g - 192 = 10, 4*z + p*g = 148. Is z a multiple of 14?
True
Let a = 230 - -56. Does 51 divide a?
False
Let z = -299 - -452. Suppose 3*j = -2*m + z, j = -0*j - m + 50. Does 24 divide j?
False
