Let x = n + 29. Is x a multiple of 4?
False
Suppose 17*q - 21*q - 292 = -2*w, 3*q + 12 = 0. Is w a multiple of 23?
True
Suppose -5 = w, 4*w - 32 = -4*x + 20. Does 18 divide x?
True
Let t = -160 - -1161. Is t a multiple of 35?
False
Let r(s) = 41*s - 539. Is 4 a factor of r(47)?
True
Let r = 1017 + -881. Is 8 a factor of r?
True
Let f = -476 + 1008. Does 8 divide f?
False
Let o(s) = -s**3 - 6*s**2 + 32*s - 40. Does 20 divide o(-12)?
True
Let b = 27 - 13. Does 17 divide b/(-35) + (-2364)/(-10) - -2?
True
Let d be (-2)/(-15) - (-3164)/(-105). Let f be d/(-18) - 2/3. Does 14 divide (-10 + -13)/(-1*f)?
False
Is 12 a factor of ((-287)/(-82))/((-1)/(-24))?
True
Let f(n) = -n**3 - 15*n**2 + 8*n - 6. Let g be f(-15). Let d = 191 + g. Is 10 a factor of d?
False
Let r(i) = 10*i**2 - 28*i + 13. Is 9 a factor of r(7)?
False
Suppose -i = 4*d, -4*d = -2*i - 3*i. Let u(f) = f**2 + 3*f + 12. Is 3 a factor of u(d)?
True
Let q(h) be the third derivative of h**6/120 - 11*h**5/60 + h**4/4 - 3*h**3/2 - 11*h**2. Does 16 divide q(11)?
False
Suppose h = -5*h. Suppose -3*t - 36 = -h*a - 2*a, -2*t = 2*a - 26. Is 9*3 + a/5 a multiple of 5?
True
Suppose 31 = 3*q + 4. Is 12 a factor of (73 - 2) + (q - 11)?
False
Suppose 2*x = 766 - 86. Is x a multiple of 13?
False
Let j be (-1)/6 - (-22582)/(-84). Let h = j - -409. Suppose 5*q - h = q. Does 24 divide q?
False
Suppose -5*x + q - 58 = -15, 11 = -x + q. Let n be 0/(x/4) - -2. Does 25 divide 79 - 1 - (n + 1)?
True
Suppose -v = 4*u - 651, -2604 = 8*v - 12*v - 3*u. Does 55 divide v?
False
Let k(u) be the third derivative of u**5/12 + u**4/8 + 2*u**3/3 + 15*u**2. Does 4 divide k(-2)?
False
Let a = -2145 - -3034. Is 24 a factor of a?
False
Let o = 364 - 525. Let d = o - -246. Is 24 a factor of d?
False
Let r(x) = x**3 - 4*x**2 - 14*x + 13. Let p be r(6). Is (-1)/(-4) + ((-1116)/(-16) - p) a multiple of 17?
False
Is 602 + (7 + -5 - 10) a multiple of 18?
True
Let g(o) = 9*o**2 + 20*o + 33. Is 26 a factor of g(-12)?
False
Let h(v) = -22*v**3 - 7*v**2 - 6*v - 4. Let c be h(-2). Let i = c - 72. Is i a multiple of 12?
True
Let t(j) be the first derivative of -209*j**2/2 + j - 32. Is 42 a factor of t(-1)?
True
Suppose -157*o = -150*o - 1309. Is o a multiple of 3?
False
Suppose 2*h - 1578 = -630. Suppose 4*l + 608 = 2*z + 2*z, 3*z + 3*l = h. Is 31 a factor of z?
True
Let z be (-398)/(-4) + (10/4 - 4). Suppose -4*g + 186 + z = 0. Is 44 a factor of g?
False
Let u(p) = 5*p + 100. Is u(15) a multiple of 25?
True
Suppose 4*t + 3*p = 5*p + 62, 5*t - p - 82 = 0. Let y = 19 + t. Is y a multiple of 36?
True
Let x(y) = -4*y + 6. Let f be x(-5). Let n = 86 - f. Does 9 divide n?
False
Let t = 39 - -201. Is t a multiple of 30?
True
Let c = -26 - -29. Suppose -2 = c*d + 1. Is -11*-5*d/(-1) a multiple of 11?
True
Let n(u) = 4*u**2 + 43*u - 17. Is n(-16) a multiple of 29?
True
Is (98/(-4))/(3/(-42)) even?
False
Let c = -131 + 159. Is c a multiple of 4?
True
Suppose -9 = -3*o, -o + 5*o - 219 = 3*h. Let t = h + 109. Does 40 divide t?
True
Let n = -1 - -8. Suppose -3*m = -0*m - k - 31, -k = -m + n. Is 5 a factor of (-2)/(-8) - (-57)/m?
True
Is 1440/38 - 254/(-2413) a multiple of 2?
True
Suppose 3*s + 8 = 2, -2*n + 36 = -2*s. Let d be 16/40 + n/10. Suppose -d*m = -0*m + f - 37, -3*f - 49 = -2*m. Is 10 a factor of m?
True
Let w = 479 - 340. Suppose -2*p - 186 = 5*n, 2*p = -4*n - 49 - 137. Let j = p + w. Does 23 divide j?
True
Let z be ((-14)/21)/((-5)/((-11115)/(-6))). Suppose 3*g - z + 43 = 0. Does 21 divide g?
False
Suppose 4*h = 5*l - 11, 3*h = -h + 4*l - 12. Let m be 1 + h + (7 - -28). Let z = m - 20. Does 4 divide z?
True
Let q(g) = -4*g**3 + g**2 + g - 2. Let p be q(-2). Let v = p - 17. Is 14 a factor of 1040/v + 4/6?
True
Let y = -781 - -1441. Does 22 divide y?
True
Suppose 5*c - 43 = u, 0 = u - 5*u + 8. Let j(q) = 3*q**2 - 20*q - 8. Does 17 divide j(c)?
False
Let d(f) be the second derivative of -f**5/20 - 5*f**4/4 - 7*f**3/3 + 25*f**2/2 - 23*f. Is d(-14) a multiple of 5?
True
Suppose -10 = 2*w + 4*g, 0 = 2*w - 3*g - g - 30. Let n = 138 - 200. Let r = w - n. Does 21 divide r?
False
Let n(k) be the first derivative of k**4/4 + 17*k**3/3 - 23*k**2/2 - 13*k + 10. Is n(-18) a multiple of 11?
True
Suppose 23*n - 1093 - 1115 = 0. Does 2 divide n?
True
Suppose 16 = 4*b - 12*b. Suppose x = 2*t - 53, 4*x - 21 - 1 = -t. Is 13 a factor of (t/5)/(b/(-5))?
True
Suppose 1808 = 8*m - 1000. Does 13 divide m?
True
Suppose -5*y - 10 = -2*o, 0 = -4*o + 4*y + 11 - 3. Suppose o = a - 5*j - 49, 5*j - 5 = -2*a + 93. Suppose 2*u - a - 36 = -5*d, 45 = 4*d - 3*u. Does 2 divide d?
False
Let w(t) = t**3 + 16*t - 22. Is w(7) a multiple of 5?
False
Let h = -1045 - -2079. Does 22 divide h?
True
Let t = 1699 + -247. Is t a multiple of 69?
False
Let k(u) = -u**3 + 7*u**2 - 2*u - 7. Let p be k(6). Suppose 0 = 2*w - v - v + 14, w + p = 3*v. Is 17 a factor of w - -2 - (-45 - 6)?
True
Suppose 2*s + 8 = 0, -5*a + 5*s + 2 = -3*a. Is 9 a factor of (-3122)/(-126) - 2/a?
False
Is 66/55*14/4*65 a multiple of 39?
True
Suppose 7*u - 2479 = 391. Is 41 a factor of u?
True
Suppose -31*h - 637 = -44*h. Is 3 a factor of h?
False
Let a(l) = -l**2 - 8*l + 3. Let s be a(-7). Suppose 2*x + j = 46, -18 = 2*x - 5*j - 52. Suppose 2*c - s = x. Is c a multiple of 16?
True
Suppose -4 = 4*h - l - 3*l, 0 = 2*h + 5*l - 5. Suppose h = -3*i + 5*j + 94, j = 3*i - 34 - 52. Is 2 a factor of i?
True
Is 6 a factor of (15/(-4))/((-8)/192)?
True
Suppose -3*o + 2*s + 40 = 7*s, -2 = -s. Let z be 86/6 + o/15. Is (z - 0)*6/10 a multiple of 9?
True
Is (-20)/110 + 28881/33 a multiple of 25?
True
Let q = 106 - 78. Suppose 0 = -36*k + 35*k + q. Does 2 divide k?
True
Let a(w) be the third derivative of -w**7/1680 - w**6/36 + w**5/20 - w**2. Let r(p) be the third derivative of a(p). Is 3 a factor of r(-8)?
False
Suppose -60 = -i - 5*s + 344, -3*s - 6 = 0. Is i a multiple of 18?
True
Let s(z) = -12*z**2 - z - 4*z + 27*z**2 + 6 - 12*z**2 + 10*z**3. Is s(2) a multiple of 18?
False
Suppose 5*r = -t + 25, -4*r - 4*t + 6 = -14. Suppose -r*c = 5*z - 225, -165 = -7*c + 3*c - z. Is 10 a factor of c?
True
Suppose 1410 = 4*j - 42. Suppose m - j = -2*m. Is 15 a factor of m?
False
Let v be ((-3)/(-2))/(5/(-30)). Let b = 11 + v. Suppose -b*l + 3*t - 92 = -7*l, -5*l = t - 84. Is l a multiple of 6?
False
Suppose -2*s + 3*w + 2463 = 0, 155 = s - 4*w - 1079. Is s a multiple of 68?
False
Suppose -136 = -5*y + 69. Suppose -5*m = -3*d + y, -3*d = -m - 32 + 7. Is d a multiple of 2?
False
Let r = 387 + -291. Is 7 a factor of r?
False
Let f(y) = 15*y**2 - y. Let i = 28 - 29. Is f(i) a multiple of 4?
True
Let p(o) be the second derivative of -9*o**5/20 - o**4/12 + o**2/2 + 4*o. Let i be p(-1). Suppose 13*a - 112 = i*a. Is 14 a factor of a?
True
Let v(r) = 3*r - 9. Let c be v(7). Let i be (-2)/c + 4/24. Suppose 3*t - s - 47 = i, 3*s + 5 = -0*t + t. Does 14 divide t?
False
Let u = 12 - -124. Let k = u - -56. Does 24 divide k?
True
Let z(h) = -h - 20. Let d be z(-20). Suppose 5*p - 10*p + 575 = d. Is p a multiple of 23?
True
Let n(v) = -4*v**2 - 7*v**2 - 19*v + 16*v**2 - v**3 + 11 + 16*v**2. Is 12 a factor of n(20)?
False
Suppose c + 2 = 7. Let a(d) = 2*d - 3. Is a(c) a multiple of 7?
True
Suppose g - 5*g - 492 = 0. Let d = -29 - g. Let j = d - 54. Does 20 divide j?
True
Let j(a) = 8*a**2 - 13*a - 78. Is 2 a factor of j(-5)?
False
Suppose 0 = 3*j + 4*k - 836, j - 407 = 3*k - 124. Suppose -8*h + j = -h. Is h a multiple of 4?
True
Let a = 1384 + -1349. Is a a multiple of 32?
False
Let c(u) = 2*u**2 + 2*u - 17. Let i be (-4)/(3 - -13) - (-46)/(-8). Is 22 a factor of c(i)?
False
Let o(d) = 103*d + 15. Let n be o(6). Suppose 0 = -3*l + 2*l + 5*c + 137, 4*l - 3*c = n. Is l a multiple of 18?
True
Let c be 3*((-4)/6 - 20/10). Let u(v) = -v + 19. Is u(c) a multiple of 9?
True
Suppose 5*x + z + 61 - 16 = 0, -36 = 4*x + 4*z. Let l(f) = f**3 + 9*f**2 - 4*f + 3. Let o be l(x). Suppose 10 = -5*g, 3*t - 3*g + 0*g = o. Does 11 divide t?
True
Is (-483)/(-12) + 2*(-1)/8 a multiple of 3?
False
Let q(t) = -8*t**3 - t**2 + 1. Let b be q(-1). Let c = b + -12. Let d(r) = 2*r**2 - 5*r - 6. Is d(c) a multiple of 19?
False
Let o = -11 + 11. Suppose -g - 2*x + 6 - 4 = o, 0 = -2*g + 4*x + 44. Suppose g + 3 = a. Is 15 a factor of a?
True
Let y be ((-15)/4)/(3/(-4)). Suppose -7*x + 4