
Let k(z) = 5*z + 95. Let q be k(-18). Let c(m) = m**3 + m - 1. Let r be c(1). Is 27 a factor of (84 - (q - 2))*r?
True
Let o(h) = h**2 + 3*h + 219. Does 73 divide o(0)?
True
Suppose 13*w = 4850 + 5810. Is w a multiple of 21?
False
Let a(c) = -c**3 - c**2 - c. Let k be a(0). Suppose 4*w = -k*w + 2*i + 26, -3*i = 3*w - 6. Let j = w + 44. Does 16 divide j?
False
Suppose 0 = 6*d + 4 - 22. Suppose -18 = d*q - 0. Is (-9)/6*248/q a multiple of 14?
False
Is 5/(-2)*(4992/40)/(-6) a multiple of 26?
True
Suppose 0 = -9*s + 4*s + 3*q + 28, s = -5*q. Suppose 0 = -s*t + 39 + 26. Is t even?
False
Let i be 100/(-36) - (-4)/(-18). Does 5 divide 87*(2 + 5/i)?
False
Suppose -4*f - 9*n + 1800 = -7*n, -5*n - 1376 = -3*f. Does 10 divide f?
False
Let k(h) = -h**3 - 2*h + 6. Let f be k(0). Suppose -730 = -4*b + f*i - i, 0 = 5*i + 10. Does 36 divide b?
True
Suppose -2*w + 339 - 329 = 0. Does 2 divide w?
False
Let j = -484 - -1438. Does 18 divide j?
True
Let c = -39 + 38. Let s be 161/c - (5 + -6). Let g = -100 - s. Is g a multiple of 17?
False
Is 2*10/4 + (378 - 0) a multiple of 12?
False
Let o(c) = c**2 + 2*c + 19. Suppose -n - 9 = 4*i, -3*i + 45 = -5*n + i. Is o(n) a multiple of 22?
False
Let q(b) = -6*b**3 + 12*b**2 - 2*b - 7. Is q(-5) a multiple of 39?
True
Suppose 0 = 9*k - 11*k + 4. Suppose -k*h = 3*r + 46 - 185, 5*r + h = 227. Is r a multiple of 4?
False
Let x(k) = -13 + 31*k + 11 + 3. Is x(1) a multiple of 20?
False
Suppose -3*o + b + 10082 = 0, 5*o + 5*b - 16804 = 7*b. Is 45 a factor of (-3 - 0)/((-32)/o)?
True
Suppose 4*x - 5*s - 9123 = 0, -4*x + 8*s = 5*s - 9117. Is x a multiple of 36?
False
Suppose 5 = 4*f - 3. Suppose 2*r - f + 0 = 0. Suppose p - r = 9. Is p a multiple of 5?
True
Let r(m) = -m**3 - 3*m**2 - 3*m - 4. Let g be r(-4). Let u(c) = 7*c - 112. Let d be u(16). Suppose d = f + f - g. Is f a multiple of 6?
True
Suppose -z - 2*w = -974, -z - 4*w = -685 - 285. Is z a multiple of 15?
False
Suppose 13*h - 10*h = 12. Suppose 0 = h*c - 0*c + 60. Let a = 19 + c. Does 3 divide a?
False
Let j(x) = -x**3 + 3*x**2 - 7*x + 36. Is j(-9) a multiple of 19?
False
Suppose 32*v - 27*v = 3*o + 17768, -o = 1. Is v a multiple of 11?
True
Let s(o) = 4*o**3 - 5*o**2 - 5*o + 18. Does 14 divide s(6)?
True
Is 83 a factor of 124527/279 - 2/6?
False
Let q be (3/(-24) - 4/(-32))*-1. Suppose 4*h - 2*s - 32 = 0, q*h + 2*h - 8 = 5*s. Is 4 a factor of h?
False
Let s(d) = -3*d + 52. Does 2 divide s(8)?
True
Let z(k) = -k - 3. Let d be z(-3). Suppose d = 4*w + w - 495. Is 33 a factor of w?
True
Let i be (-174)/(-4)*6/(-9). Let s = i + 47. Is 18 a factor of s?
True
Let j = -3 - -108. Let r = j + -65. Does 4 divide r?
True
Let d(n) = 3*n - 7. Let l be d(4). Suppose 7*s = l*s + 10. Suppose 3*c - s*v = 45, -3*v - v = 2*c - 30. Does 5 divide c?
True
Let g = 1342 + -424. Suppose -c = -4*c + w + 683, -4*c = -5*w - g. Is 30 a factor of c?
False
Let y = -13 - -14. Let a be (-66)/55*(-4 - y). Does 20 divide (3/a)/(2/164)?
False
Suppose 4*r - 14 = -l + 4, -4*l + 12 = 4*r. Suppose -r*h = 4*m - 220, -m - m + 4*h + 84 = 0. Suppose 570 = 5*t + m. Does 26 divide t?
True
Let p be -2 + 3 + 0 + -2. Let a be (-2)/(((-2)/p)/(-2)). Suppose -3*r + i = -2*i - 18, -i - 13 = -a*r. Does 4 divide r?
False
Let c(t) = -t + 14. Suppose -3*k - 27 = -6*k. Let d be c(k). Suppose 114 = 5*v - 2*q, -d*v + 132 = 6*q - 2*q. Is v a multiple of 4?
True
Let v = 6 + -27. Let b = v - -22. Let m(p) = 27*p + 1. Is m(b) a multiple of 14?
True
Suppose -4*g = 4*p - 1356, -5*g + p = -0*g - 1695. Does 10 divide g?
False
Let c = 2201 + -1756. Is c a multiple of 89?
True
Let d = 411 + -367. Is d a multiple of 9?
False
Suppose p - 256 = -3*z, p - z - 254 = -3*z. Is p a multiple of 10?
True
Let t = 313 + -253. Is 10 a factor of t?
True
Let l be (-8)/2*50/(-8). Let i = -140 + l. Let j = i - -238. Does 33 divide j?
False
Is 8 - (-1071)/14 - 1/2 a multiple of 6?
True
Let a(o) = 2*o**3 - 23*o**2 - 13*o + 34. Is 68 a factor of a(17)?
True
Suppose -2*b = 5*l + 47, 2*b + 0*b + 4*l + 46 = 0. Let p be 0/b + 2 + 0. Suppose 3*g - 128 = -p*g - 4*k, k = 2*g - 46. Is g a multiple of 7?
False
Let d be (2/(-10))/(17/(-85)). Let g(c) = 34*c**3 + c - 2. Is 3 a factor of g(d)?
True
Is 73 a factor of (2044/56)/(0 - (-1)/14)?
True
Let o be (-2 - -2) + (-4 + 29)/5. Suppose o*y - q - 65 = 37, 2*y = -3*q + 51. Is y a multiple of 2?
False
Let r = -211 + 392. Suppose 5*t + 1 = 2*z - 3, -z - 3*t = -13. Suppose 64 = 2*f - z*h + 3*h, -5*f = -3*h - r. Is 11 a factor of f?
False
Let d = -108 - -66. Let g = -11 - d. Is g a multiple of 31?
True
Let h(z) = z**3 - z**2 + z + 2. Let y be h(0). Let j be (-18)/12*(-161 + -1). Suppose 5*x + 3*t = j, -y*t = 2*x - t - 98. Does 17 divide x?
True
Suppose 2*s - 2*a = 1192, -2*s + 943 + 264 = -5*a. Does 41 divide s?
False
Let q = 3 - 5. Let v(u) = -15*u - 4. Is 10 a factor of v(q)?
False
Let n be (-6 + -4)*(228/(-10) + 2). Suppose 3*i - 519 = 5*x, -n - 452 = -4*i - 4*x. Is i a multiple of 21?
True
Suppose 16 + 4 = 5*f. Let n(r) be the second derivative of r**4/12 - r**3/6 + r**2 + r. Is n(f) a multiple of 9?
False
Let m = 4 + -2. Let s be 8 + 2 + m + -7. Is s/1*10/2 a multiple of 11?
False
Suppose 0 = 2*o - 4*r + 38, o = -r - 0 - 22. Let s be o/(-2)*6/(-9). Let b(w) = -w**3 - 8*w**2 - 10*w - 4. Is 5 a factor of b(s)?
False
Let h(a) = -a**3 + 13*a**2 - 8*a - 11. Suppose 0*u = -3*u + 24. Suppose g + 3 = -3*v, v - u = g + 5*v. Does 8 divide h(g)?
False
Suppose -2259 - 326 = -5*k + 4*a, 0 = -2*k + a + 1031. Does 19 divide k?
True
Let a(i) be the second derivative of -i**4/12 + 2*i**3 - 15*i**2/2 + i. Let s be a(6). Suppose -3*b - 152 = -2*x + s, 0 = x + 4*b - 92. Is x a multiple of 19?
False
Let v = -40 + 105. Let f = -13 + v. Is 13 a factor of f?
True
Let i(y) = 3*y - 10. Let l be i(5). Suppose -3*f + l*f + 3*w + 1 = 0, 0 = 4*f + 4*w. Let s(k) = 21*k**3 + k - 1. Does 21 divide s(f)?
True
Suppose -5*h = 4*q - 8*q - 335, -3*q = 15. Suppose -7 = -4*u + 5. Suppose u*v = -5*b - 17 + h, v - 38 = 4*b. Is v a multiple of 11?
True
Suppose 328 + 314 = 4*v + 2*o, -4*v - 4*o + 640 = 0. Is v a multiple of 5?
False
Let d = -41 + 19. Let h = d - -73. Let s = 102 - h. Is s a multiple of 17?
True
Let z(k) be the first derivative of -k**5/60 + 3*k**4/4 + 5*k**3 + 9. Let g(l) be the third derivative of z(l). Does 3 divide g(6)?
True
Let y(j) = 1 - 61*j + 1 - 4. Let w(m) = 2*m + 65. Let f be w(-33). Does 21 divide y(f)?
False
Let o(c) be the first derivative of 12*c**2 - 3. Let z be o(1). Suppose -2*f - z = -144. Does 30 divide f?
True
Let n(s) = 2*s**2 + 11*s + 1. Let k be n(-6). Suppose -k*f + 90 = -2*f. Does 18 divide f?
True
Suppose 0 = w + 2*w - 9. Let q = 7 - w. Suppose -q*d + 3*d = -23. Is 9 a factor of d?
False
Is (432/3)/((-36)/(-378)) a multiple of 12?
True
Suppose 4*v - 380 = 2*k - 3*k, -190 = -2*v - 4*k. Let m be (-2 + -1 + 2)*v. Does 14 divide m/(-7) - (-3)/7?
True
Let j be (-28)/(-6) + 4/12. Suppose 3*o - 454 + 48 = -j*t, -134 = -o - t. Suppose 0 = 4*w + 5*k - o, -k - 13 = 5*w - 157. Is 12 a factor of w?
False
Is (-1)/(58/87 - 94/132) a multiple of 11?
True
Let f = 105 - 49. Let w = 88 - f. Suppose 10 + w = 2*y. Does 7 divide y?
True
Let r = -21 - -9. Let j(s) = -s**2 - 11*s + 20. Is j(r) a multiple of 4?
True
Let p be -1*3 + 8 + -5. Suppose -k + 5*k - 208 = p. Does 14 divide k?
False
Let q = -5 + 8. Suppose -q*r + 7*r - 24 = 0. Is ((-40)/48)/((-1)/r) a multiple of 5?
True
Let c be ((-9)/(-3))/(6/10). Let z be (5/3)/(c/15). Suppose 2*q = 3*q - z. Does 3 divide q?
False
Suppose -34*f = -33*f - 8. Does 7 divide 94 + (-7)/(14/f)?
False
Let d = -3 - -8. Suppose -d = -s + 11. Does 7 divide s?
False
Suppose 0*g + p - 10 = -g, 5*g - 3*p = 10. Suppose g*n - 4*t - 1273 = 0, -n + 292 - 43 = 2*t. Is n a multiple of 23?
True
Suppose 0 = n + 3*n - 20. Suppose 0 = -q + n*q - 56. Is 9 a factor of q?
False
Let g(p) = 20*p + 616. Is g(16) a multiple of 36?
True
Suppose k = -3*j + 60, -5*j - 3*k = -j - 75. Let x = j + -15. Is x a multiple of 2?
True
Let x = -26 - -152. Does 14 divide x?
True
Suppose -66 = -4*z + 130. Let k = 145 - 99. Suppose 5*c - k = z. Does 10 divide c?
False
Suppose -1407 = 2105*v - 2112*v. Is v a multiple of 6?
False
Suppose 4*w - 959 = -3*w. Suppose z - w + 39 = 0. Does 14 divide z?
True
Let i(a) = a**3 + 41*a**2 + 28*a + 24. Do