be d(-6). Does 7 divide f/2 + b/10?
False
Let q(i) = -i - 2. Let d be q(2). Let z be (-603)/(-5) + d/(-10). Let s = -34 + z. Does 24 divide s?
False
Suppose 51 = -4*d + 5*s, -4*d - 30 = -0*d + 2*s. Let y = d + 16. Is y a multiple of 2?
False
Let h(a) = -a. Let t = -10 - -8. Let w(b) = 4*b**2 - b + 10. Let u(s) = t*h(s) + w(s). Is u(4) a multiple of 26?
True
Suppose l = -l + 2, 2*x = -3*l + 43. Suppose 0*f - 2*f = -x. Is 4 a factor of f?
False
Suppose -4*w - 5*t + 58 + 114 = 0, 2*w = -5*t + 86. Suppose 1 = c - 8. Let x = w + c. Is 8 a factor of x?
False
Suppose 3*p - 537 = -x, 5*p + 525 = x + 4*p. Does 44 divide x?
True
Suppose 8104 + 3776 = 15*w. Is 25 a factor of w?
False
Let g(c) be the third derivative of -c**4/24 + 3*c**3/2 - 13*c**2. Let z be g(6). Suppose -3*a - 3*w = -8*w - 95, -z*w - 3 = 0. Does 5 divide a?
True
Let n = -575 - -861. Is n a multiple of 35?
False
Let o(g) = 14*g**2 - 5*g + 3. Let i be o(3). Suppose -s - 82 = n, 0 = 5*s - 4 + 19. Let h = n + i. Is h a multiple of 10?
False
Suppose -31*u = -22*u - 3663. Does 13 divide u?
False
Suppose 4*r - p = 4*p + 15, 0 = -3*r - 2*p - 6. Suppose -4*c + r*c = -5*j + 7, -2*c = 2*j - 10. Does 8 divide 22 + (-4 - (-10)/c)?
False
Let d = -22 - -25. Suppose -2*m + d + 1 = 0. Suppose -m*w = -w - 25. Does 4 divide w?
False
Let f(y) = y**2 - 9*y - 7. Suppose -r - 2*r = -93. Suppose 9*t - 4*t = -2*s + 59, -r = -3*t + s. Is 15 a factor of f(t)?
True
Let l = -1495 + 1859. Is l a multiple of 52?
True
Suppose -22 = 6*d + 2. Is 150/20*d/(-5) a multiple of 3?
True
Let d be 801/11 + 6/33 + 4. Let o = -2 + d. Is o a multiple of 8?
False
Suppose 0 = 32*f - 18*f - 238. Does 2 divide f?
False
Does 61 divide (4 + -1)*(-757)/(-3)?
False
Is 87 a factor of 17455/20 - 2 - (-6)/(-8)?
True
Let z(a) = -5*a**2 + 7*a - 25. Let m be z(10). Let g = -246 - m. Does 19 divide g?
True
Let f(n) = n**2 + 15*n - 46. Let h be f(-18). Suppose -h = v - 162. Is v a multiple of 17?
False
Suppose 0 = -k - 0 - 3. Let s be (-7)/(-35)*(k + 13). Suppose 67 + 4 = m - s*l, -4*l = 12. Is m a multiple of 13?
True
Let a be (-70 - -3)/(-1)*8. Suppose -3*j + a = -64. Suppose 2*o = 7*o - j. Is 8 a factor of o?
True
Let j(u) = -15*u - 2. Suppose x - 16 = -4*t, 4*x + 0*x = 2*t - 8. Suppose -3*p - 5 - 10 = x. Does 17 divide j(p)?
False
Let a be (0/3)/(-4) + 5. Suppose w + a*w - 132 = 0. Suppose 2*q = w + 4. Is 9 a factor of q?
False
Let r = -269 + 759. Is r a multiple of 35?
True
Suppose -3*f = -4*v + 7, -2*v = -2*f - 1 - 1. Suppose -2*x = 4*p - 13 - 49, -78 = -f*x - p. Is x a multiple of 5?
True
Let h = 24 + -3. Is 7 a factor of (h/2)/((-4)/(-8))?
True
Let y(p) = 9*p + 32. Let r(s) = s**2 - 24*s + 28. Let a be r(23). Is 9 a factor of y(a)?
False
Suppose 51*u + 2332 = 62*u. Is u a multiple of 6?
False
Suppose -2*i = -3*b - 29, 8*i + 2*b - 120 = 3*i. Suppose 15*z - 1178 = i. Is 18 a factor of z?
False
Let f(z) = -136*z + 350. Is 3 a factor of f(2)?
True
Let k = -166 - -210. Does 2 divide k?
True
Let s(p) = p**3 - 11*p**2 - 6*p + 3. Let j(x) = -x - 1. Let z(q) = -5*j(q) - s(q). Is 25 a factor of z(11)?
False
Let n be (0/3)/1 - -4. Suppose 2*u = -7*d + n*d - 83, 4*d + u + 109 = 0. Is 31 a factor of (d/45)/((-2)/310)?
True
Let o(d) = d**2 - 2*d + 3. Let n be o(0). Suppose -n*y - y = -848. Is y a multiple of 19?
False
Let u be ((-6)/12)/((-1)/(-16)). Let m(f) = 4 - 9*f**3 + 13*f**3 - f - 8*f**2 - 5*f**3. Is m(u) a multiple of 4?
True
Let n(y) = -16*y**2 - 4*y + 3. Let u be n(-4). Let c = 8 - u. Is 35 a factor of c?
True
Let k be (1/(-3))/(14/(-252)). Suppose 0 = 4*f + 16, 3*f = -4*w + k*f + 60. Suppose 0 = 5*h - 4*h - w. Is 12 a factor of h?
True
Let p be -3 + (0 + -3)/(-3). Let n(r) = 6*r**2 + r - 11. Let u(t) = -3*t**2 + 5. Let i(m) = p*n(m) - 5*u(m). Is 11 a factor of i(3)?
False
Let s(q) = 15*q - 5. Suppose w = 4*a + 5*w + 8, 3*a - 4*w = 29. Is s(a) a multiple of 10?
True
Is 31 a factor of -3 + (262 - (0 + -7))?
False
Let w = -21 + 5. Let i be -3 - (1 + w) - -1. Suppose b = -r + i, b - r + 2 = r. Is 3 a factor of b?
False
Let t = -237 + 701. Is 40 a factor of t?
False
Is -33*(-3 + 4)*2860/(-33) a multiple of 130?
True
Suppose -4*j - 36 - 2231 = -5*x, -2*x + 5*j = -900. Is 5 a factor of x?
True
Let f(l) = 18*l**2 - l - 1. Let p(m) = -m**2 + 2*m - 1. Let o be p(0). Is f(o) a multiple of 18?
True
Suppose -5*q - 84 - 216 = 0. Let n = 117 + q. Is 11 a factor of n?
False
Let q(z) = -3*z + 5. Suppose 0 = 9*d - 3*d. Let y be q(d). Suppose 3*a = -y*c + 126 + 42, 2*c + 2*a = 64. Is 9 a factor of c?
True
Let v(j) = -14*j**2 + 5*j - 3. Let d(a) = -7*a**2 + 3*a - 2. Let k(y) = 5*d(y) - 3*v(y). Is 6 a factor of k(1)?
True
Let o(t) be the second derivative of t**8/6720 - t**7/840 + t**6/720 + t**5/120 + t**4/3 - 8*t. Let d(k) be the third derivative of o(k). Does 4 divide d(4)?
False
Suppose 20 + 10 = -5*j. Let y(a) = 5*a**2 + 2*a - 4. Let m(u) = 4*u**2 + 2*u - 3. Let i(w) = j*m(w) + 5*y(w). Is 9 a factor of i(-3)?
False
Suppose -14 = 5*o - 3*d, -2*o + 5*d + 4 = 7*d. Does 13 divide (o/1 + -1 - -249)*1?
True
Let j = -131 - -91. Let b = j + 75. Suppose -3*t = -1 - b. Does 3 divide t?
True
Does 13 divide (-390)/35*(8 - 85)?
True
Let y(z) = 5*z**2 + 6*z - 2. Let b be y(-2). Let d(r) = 2*r**3 - 11*r**2 + 15*r - 7. Is d(b) a multiple of 29?
False
Suppose 2*q - 29 = -23. Suppose -280 = -5*m + 2*r + q*r, 3*r - 76 = -m. Does 8 divide m?
False
Let s(y) = -y**3 + 9*y**2 + 11*y - 9. Let b be s(7). Suppose 0 = 5*r - 149 - b. Is 21 a factor of r?
True
Let t(g) = -4*g + 8. Suppose 0 = -35*m + 39*m + 16. Is t(m) a multiple of 18?
False
Suppose -2*j = -0*j - 5*r - 432, -4*j - 4*r = -864. Does 12 divide j?
True
Let f be 1*-10*16/(-20). Let i = f - -52. Does 15 divide i?
True
Let l = 34 - 30. Suppose 0 = l*j + 5*k - 99, 4*j = 3*k - 0*k + 75. Does 21 divide j?
True
Suppose 1589 = 8*s - 4083. Does 9 divide s?
False
Let m be 12/14*(-175)/(-50). Suppose -2*r = -j - 110, m*r - 166 = -3*j + 4*j. Does 7 divide r?
True
Let c be (-51)/6*(-3 + 1). Let o be c/(-2) + (-3)/(-2). Does 12 divide (-72)/14*o*1?
True
Let a be (12/9 - (-30)/18) + -2. Let o(d) be the third derivative of d**6/4 + d**5/30 - d**3/6 + d**2. Does 7 divide o(a)?
False
Let w(f) = 9*f**2 + 15*f + 39. Is w(-6) a multiple of 13?
True
Let s(d) = -d**3 + 3*d**2 - 3*d + 2. Let i be s(2). Suppose i = -0*y + y - 60. Suppose -18 = -t - 2*c, -5*t - 3*c + 8*c + y = 0. Does 7 divide t?
True
Suppose 0 = 16*r - 14*r - 12. Let n(d) = 2*d**3 - 3*d**2 - 10*d - 10. Is 20 a factor of n(r)?
False
Suppose 3*v = 25*v - 19228. Does 19 divide v?
True
Let m(f) = 5*f**2 + 1. Suppose 9 = 5*y + 4*l, 0 = -0*y - 3*y - 4*l + 7. Does 2 divide m(y)?
True
Suppose 0 = 3*d - 3*r + 3, 4*d - 8 = r - 0*r. Suppose -2*h + 344 = n, 4*n + 514 = d*h + 6*n. Does 29 divide h?
True
Let a(t) = t**3 + 9*t**2 + 8*t - 6. Is 9 a factor of a(-7)?
True
Let m be 28/70 + (-24)/10. Let q be 163/(-2) + (-1)/(-2). Is 13 a factor of q/(-6) + 1/m?
True
Suppose 4*v - 25 = -v. Suppose -3*m = -4*z - 7, z + 0 - 4 = -v*m. Suppose m = 4*o - 3*o, -a - 4*o = -27. Is a a multiple of 6?
False
Let a(f) = -3*f**3 + 23*f**2 + 31*f + 5. Is 20 a factor of a(-5)?
True
Let c(o) = -64*o**2 - 3*o + 2. Let p be c(1). Let s = p - -189. Is s a multiple of 31?
True
Does 34 divide (-9 - 1)/((-2)/(-1520)*-5)?
False
Suppose 5*r = -36 + 26, 2*h = -5*r + 484. Is 19 a factor of h?
True
Let j(z) = -5*z + 12. Let h(a) = 11*a - 24. Let n(m) = 4*h(m) + 9*j(m). Let t be n(7). Suppose -158 = -t*y + 162. Does 12 divide y?
False
Suppose -3*n + 285 = 3*y, -3*n = 2*y - 7*n - 190. Let f(z) = 9*z**3 + 3*z**2 + 2*z + 2. Let h be f(-2). Let v = y + h. Is v a multiple of 18?
False
Let j(d) = d + 2. Let t be j(0). Suppose 14 - 2 = t*c. Suppose 8*l - 30 = c*l. Does 9 divide l?
False
Suppose 8*y = -41 + 2345. Is y a multiple of 16?
True
Suppose 4*v - 2996 = 2*b, -b - 2256 = -3*v - 4*b. Suppose -15*t + v = -5*t. Is 12 a factor of t?
False
Suppose -4*y = 5*o - 9*y - 20, 0 = 3*o + y - 16. Suppose -o*b = 2*i - 92, 90 = 5*i - 3*b - 171. Does 17 divide i?
True
Suppose 20*u = 22*u - 30. Is (-6)/9 + 1675/u a multiple of 37?
True
Let t = 14 + -8. Let v be (-2)/(-6) - (-22)/t. Suppose v*h - 22 = -4*d + 2, d + 9 = 2*h. Does 5 divide h?
True
Suppose 5*n + 6*n = 462. Suppose -70 = -5*m - o, -n = -5*m + 2*m - o. Is 2 a factor of m?
True
S