. Is (-7)/((-7)/(-2)) - w a multiple of 4?
False
Let z(b) be the second derivative of 37*b**4/12 - b**3/6 + 5*b. Let y(q) = -q**2 - 3*q - 1. Let a be y(-1). Is 8 a factor of z(a)?
False
Let g(c) = -2*c**2 - 5*c - 2. Let m be g(-3). Is ((-22)/m + -2)*250/4 a multiple of 25?
True
Does 2 divide (7 + (-38)/6)*(57 + 0)?
True
Let q(o) be the third derivative of o**4/8 + 11*o**3/3 + 7*o**2. Let c be q(11). Let r = c - 35. Is r a multiple of 4?
True
Suppose -5*v = -2*i + 2476, 2*v + 3748 = 3*i + 3*v. Does 26 divide i?
True
Suppose 3*k = 0, 3*f - k = 3 - 9. Let t(c) = -15*c**3. Let d be t(f). Suppose -4*z = -d - 120. Is z a multiple of 21?
False
Let h be (-2)/(-8) + 475/100. Suppose -h*g + 196 = -s, -164 = -4*g - s - 0*s. Does 20 divide g?
True
Let n(m) = 10*m**3 + 3*m**2 - 2*m + 2. Let s be n(2). Suppose s = 8*b + 2*b. Is 9 a factor of b?
True
Let o = 60 - 63. Let d be (-10)/8 + 1/4. Does 4 divide 1 + d - o - -4?
False
Let t(h) = -h**2 - 4*h + 4. Let p be t(-4). Suppose -8 - 6 = 3*s + 5*r, p*s - 3*r = 20. Suppose s*k + 35 = 5*u, -2*k = -0*k. Does 2 divide u?
False
Is ((0 - 6) + 11)*19 a multiple of 19?
True
Let g(t) = 6*t + 1. Suppose -p + 3 + 7 = 0. Let d = 16 - p. Is g(d) a multiple of 12?
False
Let o = 141 + 219. Is 40 a factor of o?
True
Let q(j) = -14*j**3 + j**2 - j - 1. Let n be q(-1). Let y be 3/1 - n*-1. Suppose -36 - y = -3*t. Is 10 a factor of t?
False
Let s be (122/(-3))/(6/(-9)). Let f = 40 + -54. Does 3 divide s/9 - f/63?
False
Let c be (29 - 5) + -1 + 0. Suppose 0 = -q + 2*w + c, 0*q - q = 4*w - 11. Does 18 divide q?
False
Suppose 0 = -h + 2*h - 13. Let c = h - -7. Does 10 divide c?
True
Suppose -4*m + 2940 = 16*m. Is m a multiple of 4?
False
Let i(x) = -5*x + 15. Let g be 0 + 8 - 3/(-3). Let w be i(g). Does 7 divide 12/w + (-594)/(-10)?
False
Let u(g) = -g - 4. Let o be u(-7). Suppose -i = 13*l - 10*l, -5*i = 2*l. Suppose 5*h - o*h = 5*f + 39, l = -2*h + 4*f + 34. Is 7 a factor of h?
True
Let a = -949 - -1204. Is a a multiple of 4?
False
Let p(k) = -7*k**2 + 2*k + 1. Let t be p(2). Let w = -6 - 27. Let r = t - w. Is 3 a factor of r?
False
Let f = 4 + 21. Is f a multiple of 3?
False
Suppose 3*m - 4*c = 2*m + 538, -3*m + 5*c = -1628. Is m a multiple of 78?
True
Let r = -6 + 13. Let y(g) = -g**3 + 8*g**2 + 7*g. Let t be y(r). Suppose -27 = -5*c + t. Is 13 a factor of c?
False
Suppose 951 = -11*k + 14*k. Is k a multiple of 23?
False
Let u be 2 + 12/(3 - 1). Suppose 0 = -u*n + 5*n + 210. Does 15 divide n?
False
Suppose 13*m + m = 11886. Does 13 divide m?
False
Let b(n) = -9*n**2 + 8*n - 14. Let p(r) = -26*r**2 + 24*r - 41. Let a(g) = 17*b(g) - 6*p(g). Is 8 a factor of a(4)?
True
Let r(k) = k - 7. Let l be r(9). Let g be (l/3)/((-7)/21). Is 7 a factor of (-488)/(-20) + g/5?
False
Let f(p) = -p**3 - 6*p**2 - 7*p - 6. Let y be f(-5). Let t(z) = 11*z**2 - 12*z**2 + z**3 + 4 + 0*z**3. Does 13 divide t(y)?
True
Suppose -48 = -3*j - 5*q, -3*j + 2*q = -32 - 37. Is j/((-3)/(-1)) - -3 a multiple of 5?
True
Let q(s) = -59*s - 20. Does 56 divide q(-6)?
False
Is 32 a factor of -3*16*265*22/(-165)?
True
Let x = -8 + 10. Suppose -x*n + 34 = -0*n + v, -3*n + 58 = 5*v. Suppose n = 4*f - 64. Is f a multiple of 10?
True
Suppose -75*w = -80*w - 5*y + 6910, 3*w - 5*y - 4162 = 0. Is w a multiple of 85?
False
Suppose -6 = 3*a, -2*a + 0*a = 3*n - 38. Let x be (-13 + n)*(1 - 1). Suppose -s + 4*b = s - 132, x = 2*s + 5*b - 141. Is 16 a factor of s?
False
Suppose 388 = z + 2*w, 5*z + w - 1396 = 553. Is 16 a factor of z?
False
Let l = -14 - -17. Suppose 2*u + 4*n + 78 = 250, 5*u - 444 = -l*n. Does 18 divide u?
True
Let c(i) = 9*i - 16. Let o(s) = -s**2 + 11*s. Let y be o(8). Suppose 2*z + 2*z - y = 0. Is 10 a factor of c(z)?
False
Let a(k) = -k**2 - 3*k + 8. Let n be a(-4). Suppose 8 = -0*p + n*p. Is p a multiple of 2?
True
Let z(b) = 3*b + 6. Let u(i) = -1. Let n(q) = 5*u(q) + z(q). Let v be n(1). Suppose 3*s - v*m - 61 = 0, -3*m - 40 = -0*s - 2*s. Is 12 a factor of s?
False
Suppose 2*g + 11 = -7. Let c be (g/6)/((-5)/360). Let x = c + -62. Does 10 divide x?
False
Does 34 divide (-34518)/(-10) - ((-120)/(-25) - 4)?
False
Let m(b) = 18*b + 14. Is m(14) a multiple of 7?
True
Suppose -13*b = -10*b - 450. Let x = -106 + b. Does 16 divide x?
False
Suppose 0 = -5*o + 10*o + 15. Is (5 - 7)*o/(-2) - -153 a multiple of 15?
True
Let f(v) be the third derivative of -v**5/60 - 31*v**4/24 - 10*v**3/3 - 28*v**2. Is f(-29) a multiple of 19?
True
Let y be (18/3)/((-6)/(-4)). Suppose d + 41 = -53. Is 13 a factor of (y*d/(-4))/2?
False
Let v(f) = -7*f**3 - 2*f. Let a be v(-2). Suppose -a = -4*x + 12. Does 8 divide x?
False
Suppose -h = g - 98, 0 = 3*g + g + 3*h - 392. Suppose 3*t = -5*s + 2 + g, 5*s - 95 = -2*t. Is 3 a factor of s?
False
Let d = -109 - -263. Is d a multiple of 12?
False
Suppose -3*a = -4*a + 5*x + 47, 0 = -4*x - 4. Does 6 divide a?
True
Suppose 4*j + 6 = 2*j. Let y = j - 7. Let c = y - -19. Does 9 divide c?
True
Let r = 4 - 2. Suppose r*m - 32 = -2. Is m a multiple of 6?
False
Let v = 520 - 409. Is v a multiple of 5?
False
Suppose f = 8 - 2. Suppose 9 = -3*r - f. Is 8 a factor of (-1)/r - 168/(-10)?
False
Suppose -4*d - 308 = -5*j, 4*j - 234 = 2*d - 5*d. Is j a multiple of 36?
False
Let d(c) = 9*c**2 - 14*c - 7. Is d(11) a multiple of 16?
True
Suppose 0 = -z + i + 5, 3*i + 15 = -5*z - 0. Suppose z = -24*c + 19*c + 55. Does 7 divide c?
False
Let f(y) = 4*y - 17. Let o(c) = c - 4. Let q(s) = 2*f(s) - 9*o(s). Let m be q(-2). Suppose 0 = m*w + 4 - 48. Is 11 a factor of w?
True
Let z = -508 + 856. Is 32 a factor of z?
False
Suppose 45 = -6*v + 27. Is v - -7*(9 - 0/1) a multiple of 20?
True
Let f be (-33)/(-11)*(-20)/(-3). Suppose -f = 4*c + c. Let m(a) = -a**3 - 3*a. Does 19 divide m(c)?
True
Suppose 0 = 3*b - g - 37, -4*g - 65 = -5*b - 15. Let x be (4 - (0 + b))/1. Let h = x - -20. Does 5 divide h?
True
Let u(a) be the first derivative of -a**2/2 + 3. Let k(b) = -17*b - 3. Let c(y) = -k(y) - 2*u(y). Does 15 divide c(3)?
True
Suppose 2*q - 4 = 0, 5*v = 8*v + 4*q - 1016. Is 24 a factor of v?
True
Let n(h) = -6*h**2 - h + 16*h**2 - 11*h**2 + 2. Let b be n(-4). Is 4 a factor of (-1)/(-2) + (-95)/b?
False
Suppose -2*p + 4*v - 12 = 0, 6*v - v - 5 = 5*p. Suppose -2*w = -p*w + 106. Does 17 divide w?
False
Let j be -2 + 11*2/(-2). Let y = j + 18. Suppose 4*s + 156 = 2*u, -75 = -u + y*s + 3. Is u a multiple of 11?
False
Let j(t) = -t**2 + 20*t + 33. Let m(h) = -h - 2. Let b be m(-21). Is j(b) a multiple of 13?
True
Let z(l) = 2*l + 29. Let x be z(12). Suppose 4*u - x - 47 = 0. Is 18 a factor of u?
False
Suppose j = -3*u + 917, 4*u + 2*j = 1107 + 115. Does 18 divide u?
True
Suppose 3 = -r + 1. Is 22 + 8*(-1)/r a multiple of 12?
False
Does 38 divide 5450/20 + (5/(-2))/5?
False
Let s(l) = 180*l**2 + 2*l - 2. Let v be s(1). Suppose -2*y + v = 8*y. Does 5 divide y?
False
Let x = -59 + 35. Let p = x + 59. Is 7 a factor of p?
True
Is 56 a factor of (6 - 1994/(-4)) + 1/(-2)?
True
Suppose -6 = -n - n. Suppose n*c + 2 = 8, 2*h = -4*c + 16. Suppose 65 = h*l - 115. Does 15 divide l?
True
Suppose 1520 = 4*y - 2*m, -4*y + 0*m - 5*m + 1548 = 0. Does 28 divide y?
False
Let f(m) = 12 + m**3 + 10*m**2 - 14*m**2 - 5*m**2 - 13*m. Does 11 divide f(11)?
False
Suppose 2*g = 5 + 3. Suppose 0 = g*c - 0*c - 100. Does 5 divide c?
True
Suppose 4 = 11*m - 18. Suppose -4*y + 5*r = -149, -m*r + 41 = y - 6. Is y a multiple of 11?
False
Let r = 70 + -44. Does 15 divide 3514/r - (4/26 + 0)?
True
Let j be (-6)/(-3 + 2 + -1). Let q(z) be the first derivative of 23*z**2/2 - z - 60. Does 17 divide q(j)?
True
Let i(w) = 20*w - 120. Is i(12) a multiple of 60?
True
Let k(y) = -4*y + 11. Let w(q) = q - 1. Let c(i) = -k(i) - 2*w(i). Let d = 252 - 242. Is 2 a factor of c(d)?
False
Let d(l) = -4*l**3 + 2*l + 3. Let r be d(-2). Let f = 1 + r. Is f a multiple of 8?
True
Suppose -3*l + 308 = 3*w - 2*l, 314 = 3*w - 5*l. Suppose 17 = 3*j - w. Does 10 divide j?
True
Suppose -8*i + 1540 = 3*i. Does 28 divide i?
True
Let g = 45 + -45. Suppose g = 6*y - 60 - 36. Is 5 a factor of y?
False
Let l = 4048 - 2173. Does 15 divide l?
True
Let q(c) = -6*c**3 - 4*c**2 + 7*c + 6. Let l(x) = -5*x**3 - 4*x**2 + 6*x + 6. Let j(h) = -5*l(h) + 4*q(h). Let k be j(-4). Is 2 a factor of 32/10 + k/(-10)?
False
Suppose 0*w = 5*w - 10. Suppose 8*n - 4