 - 5*s**2 - 8. Let t = -47 + 54. Does 15 divide c(t)?
True
Let d(w) = -351*w**3 + 3*w**2 + w - 1. Is d(-1) a multiple of 11?
True
Let j be 7 + ((-1)/(-5) - 63/15). Suppose l = -4, 2*l = -j*m + 63 + 10. Is 11 a factor of m?
False
Let o = -25 + 22. Let a = 135 + o. Does 11 divide a?
True
Suppose -817*q - 1320 = -823*q. Is q even?
True
Let f be (-3 - -2)/(2/1108). Let h = -350 - f. Is h a multiple of 17?
True
Let t be 7*((-57)/21 + 3). Suppose -3*f + f - 3*x = -23, 4*x - 28 = -t*f. Suppose -4*h + 2*n + 238 = 0, -3*h - f*n = -2*h - 55. Is h a multiple of 17?
False
Suppose 97 = g + 2*g - 5*d, 5*g = d + 125. Let m = g + 11. Is m a multiple of 4?
False
Let j(o) = -2*o + 40. Does 7 divide j(6)?
True
Suppose -48 = -49*g + 45*g. Let s(x) = -9*x + 6. Let l(k) = -4*k + 3. Let f(z) = -5*l(z) + 2*s(z). Is f(g) a multiple of 7?
True
Let c = 41 - 38. Suppose c*n + 4*i = 160, 0 = n - 3*i - 60 - 15. Does 12 divide n?
True
Let k = -102 - -174. Is k/45*90/4 a multiple of 6?
True
Suppose 20*y = 23*y - 1464. Is y a multiple of 61?
True
Let y = -263 - -372. Is 21 a factor of y?
False
Suppose 2*w + 3*h + 3 = 1, -w - 3*h = 4. Let s(q) = -q - w - q + 4*q. Is 12 a factor of s(7)?
True
Let c(g) = g**3 + 8*g**2 - 12*g - 2. Let t be c(-6). Suppose t + 67 = 11*r. Is 13 a factor of r?
False
Let t be (4/(-2) - (-40)/12)*9. Is 16 a factor of 10 - -1 - (-17 + t)?
True
Suppose -3915 = -5*x + f, 5*x - 4052 + 152 = 4*f. Does 13 divide x?
False
Let w(q) = 8*q**2 + 8*q - 16. Does 65 divide w(5)?
False
Let y(c) = 3*c**2 + 9*c + 3. Let b be y(-3). Suppose -89 = -b*m - a, 34 = m - 3*a - a. Does 10 divide m?
True
Suppose 2*q = z + 1595, -q = 5*z + 229 - 1010. Does 46 divide q?
False
Suppose -12*y - 5175 = -15*y. Does 115 divide y?
True
Let v = -16 + 23. Let z = -4 + v. Suppose -40 - 74 = -z*k. Is 14 a factor of k?
False
Suppose -4*m = 2*p - 254, 4*m - 2*p - 258 = -0*p. Does 16 divide m?
True
Suppose -29 = -2*y - 3*y + r, -2*y + 4*r + 26 = 0. Let b = 20 + -14. Suppose 0 = 2*t + b - 0, -4*z - y*t = -201. Does 18 divide z?
True
Let u(o) = -o**2 + 12*o - 7. Let v be u(11). Suppose 2*x - 2*s - 10 = -4*s, 3*x - v*s - 22 = 0. Is x a multiple of 2?
True
Let x(q) = -q**3 - 6*q**2 + 13*q - 84. Does 2 divide x(-9)?
True
Let w(x) = 10*x**3 + 6*x**2 + 6*x. Does 9 divide w(3)?
True
Suppose 3*b - 4*t = 616, -5*t - 823 = -5*b + b. Is 12 a factor of b?
False
Let s(j) = 4*j**2 + 9*j + 49. Is 19 a factor of s(-11)?
False
Let k = -500 + 1229. Is 27 a factor of k?
True
Let v(f) = 2*f**3 + f**2 + f + 3. Let s be v(-2). Does 15 divide (14 + s)*(3 + 2)?
True
Let w(x) = 2*x**3 - 12*x**2 + 7*x + 6. Let m be w(7). Suppose -3*k + 0*k = 3*p - m, -3*k + 154 = 2*p. Does 10 divide k?
False
Let w(d) = -d**2 + 11*d + 6. Let i be w(8). Suppose -5*y = -k + i, 2*k + 0*y - 135 = -5*y. Does 11 divide k?
True
Let o = -10 - -13. Suppose -5*p + p + 3*a = -389, 0 = 5*p + o*a - 493. Let b = 138 - p. Is b a multiple of 24?
False
Let f be (1 + 0)/(-2 + 20/8). Suppose -u - 4*m + 109 = 0, 2*u + f*m = 4*u - 168. Is 13 a factor of u?
False
Let s(z) = 4*z - 42 - 6*z + z + 4*z. Is 12 a factor of s(32)?
False
Suppose 5*q + 1623 = 3*n, 0 = -8*q + 3*q + n - 1621. Let o = q - -716. Suppose 4*p - 4*y - 382 = -3*y, -4*p - 4*y = -o. Does 32 divide p?
True
Let f = -34 + 39. Suppose -4*m + f*m - 81 = 0. Does 36 divide m?
False
Let d(w) = -w**2 + 6*w + 92. Let b be d(-8). Let h(q) = -4*q**3 + q**2 + q + 4. Let m be h(3). Let a = b - m. Does 12 divide a?
True
Suppose 1645 = 9*v - 722. Does 2 divide v?
False
Let q(x) = 6*x**2 - 21*x - 98. Does 61 divide q(-6)?
True
Suppose 250 = z - 3*o, -3*z - 10*o + 750 = -9*o. Is 25 a factor of z?
True
Let u be ((-99)/(-18) + -6)*(-4 - 0). Suppose -d + 102 + 489 = 5*g, u*g - 226 = -3*d. Is g a multiple of 28?
False
Let q = 2710 + -1631. Is 13 a factor of q?
True
Let p(q) = -q**3 - 2*q**2 - 7*q - 4. Let b(v) = v**3 + v**2 + 6*v + 4. Let o(u) = 4*b(u) + 3*p(u). Let h = 390 - 386. Does 12 divide o(h)?
True
Let a(v) be the first derivative of v**2/2 + 3*v - 32. Let t(w) = -w**3 + 10*w**2 - 8*w - 1. Let g be t(9). Does 8 divide a(g)?
False
Let r = 147 - 62. Suppose 3*l - 8*l + r = 0. Is l a multiple of 17?
True
Let c = 835 - 436. Suppose -2*t + 9 = 4*a - c, a - 99 = -2*t. Does 41 divide a?
False
Let d = 291 + -480. Let z = -83 - d. Is z a multiple of 6?
False
Let w(u) = -7*u + 80. Is 3 a factor of w(7)?
False
Let q(d) = 52*d - 7. Let z(l) = -52*l + 7. Let y(c) = -5*q(c) - 6*z(c). Is 29 a factor of y(3)?
False
Suppose 3*z - 2*u = z + 314, 3*z - 506 = -4*u. Suppose 10 - z = -4*c. Is 11 a factor of c?
False
Does 14 divide 420/(42/7)*5?
True
Let k(m) = -12*m - 22. Suppose 0 = -2*q - 3*q + 25. Suppose -q*a - 30 = -0. Is k(a) a multiple of 10?
True
Does 8 divide (-1874)/(-3) + (-24)/(-18)?
False
Suppose 3*t + 2*t = -2*c + 114, 4*c + 2*t - 260 = 0. Suppose -311 - c = -9*s. Is 6 a factor of s?
True
Suppose -4*g - 1680 = -13896. Is 102 a factor of g?
False
Let u(g) = -2*g**2 - 8*g + 5. Let m be u(-8). Let w = 4 + m. Is 19 a factor of (-568)/(-22) + (-10)/w?
False
Let j = 115 - 59. Suppose -j*c - 200 = -60*c. Is c a multiple of 9?
False
Let t(b) = b**2 + 6*b - 8. Let f be t(-7). Let s be 12/3 + 1 + f. Suppose s*n + 2*a - 92 = 0, -2*a + 0 + 4 = 0. Does 5 divide n?
False
Let g = -88 + 140. Is g a multiple of 3?
False
Let c = 2779 + -1729. Is c a multiple of 20?
False
Let h = 52 - 30. Let g = -14 + h. Does 2 divide g?
True
Let b = 1473 + -806. Does 8 divide b?
False
Let y(i) = 14*i**2 - 32*i - 171. Does 3 divide y(-5)?
True
Is 40 a factor of (6/9*-1)/(10/(-30210))?
False
Let y(u) = -17*u - 304. Is y(-52) a multiple of 5?
True
Suppose -2*p - 3*j = -308, 2*p - j = 7*p - 757. Let k = p - 97. Is 20 a factor of k?
False
Let n(u) = -u**2 - 12*u + 11. Suppose 17*x + 40 = 13*x. Does 31 divide n(x)?
True
Let n(y) = -y**2 - y - 1. Let t(f) = -3*f**2 + 3*f + 6. Let m(j) = 2*n(j) - t(j). Let p = -18 + 27. Is m(p) a multiple of 7?
True
Suppose -33 = -h + 341. Is 30 a factor of h?
False
Let j(u) = -8*u + 8. Is j(-2) a multiple of 8?
True
Let o(f) = 2*f**3 - 25*f**2 - f + 34. Is 38 a factor of o(13)?
True
Let n(g) be the second derivative of g**3/3 + 3*g**2 + g. Let k be n(10). Suppose -166 = -5*h - k. Is 27 a factor of h?
False
Let g = 3 - -1. Suppose -3 = -7*k + g*k. Does 5 divide k + 2/(4/30)?
False
Let y be 3 + -6 + 0 - -15. Let f = y + -10. Is f + 23 + (-6)/2 a multiple of 7?
False
Suppose -2*n - 5*y + 2185 = 0, 5*n = 2*y + 1671 + 3719. Is 15 a factor of n?
True
Let j(u) = -3*u**2 + 5*u + 4. Let y(o) = 3*o**2 - 5*o - 3. Let i(v) = 5*j(v) + 6*y(v). Let p be i(3). Suppose -50 = -a + p. Is a a multiple of 18?
False
Let m(j) = j**3 - 6*j**2 - 17*j + 16. Let x be m(6). Let u = -57 - x. Does 5 divide u?
False
Let p(q) = 1406*q + 428. Does 14 divide p(3)?
False
Suppose 10874 = 5*a + 4*j, -256 = a - j - 2438. Does 15 divide a?
False
Let y be (-25)/(-2)*(-10 - -14). Does 11 divide ((-5)/(30/9))/(-3)*y?
False
Let b = -25 + 30. Suppose -b*v = -1404 + 54. Does 45 divide v?
True
Suppose b + 17 - 15 = 0. Let g be b/3*(-8 + -64). Suppose -p + 4*p - g = 0. Is p a multiple of 14?
False
Let z = -99 - 5. Let c = z - -154. Is c a multiple of 25?
True
Let k(l) be the third derivative of l**4/24 - 7*l**3/3 + l**2. Let j be k(0). Does 18 divide (12/(-5))/(j/105)?
True
Suppose 0 = -22*y + y + 6027. Is y a multiple of 49?
False
Let b = 25 + -15. Let m(s) = s**3 - 9*s**2 - 3*s - 8. Let n be m(b). Suppose j - w - n = 2*w, 0 = -3*w - 12. Is 25 a factor of j?
True
Suppose 495 + 865 = 10*v. Is 17 a factor of v?
True
Let s(f) = f**2 - 4*f + 3. Let j be s(5). Let t be (-5)/((-20)/j) + 1. Is 11 a factor of 33/(1*(-2 + t))?
True
Let n be (-10)/(-4)*(7 + -5). Let d(y) = 2*y**3 - 8*y**2 + 3*y + 6. Let c be d(n). Suppose -w - 5 = -c. Is 22 a factor of w?
True
Let x = 138 - 53. Suppose 907 = 8*l - x. Does 23 divide l?
False
Let z be 8/(-14) - (-1705)/7. Suppose -z = 2*w - 3*w + 2*f, w + 4*f = 267. Is w a multiple of 14?
False
Suppose -2*p = -l - 2158 + 5134, 11852 = 4*l + 5*p. Does 7 divide l?
True
Suppose -4*y - 3*n - 24 = -2*n, -4*y = -2*n + 24. Let f = -9 - y. Does 17 divide -3 + f + 0 + 23?
True
Suppose 4*j - 3*g + 12040 = 8*j, 2*j - 2*g = 6020. Is j a multiple of 9?
False
Suppose -107*v - 168 = -108*v. Is v a multiple of 84?
True
Let q = 127 + -77. Let f = q + -32. Do