 6. Let q be g(8). Let h be q - 9/3 - -40. Is 7 a factor of ((-403)/h)/(1/(-3))?
False
Let g(o) = 2*o**2 - 3*o + 1. Let q be g(2). Suppose 0 = -q*t + 2*t + 7. Is 24 a factor of (-378)/9*(-12)/t?
True
Let m(w) = 3*w**3 + w**2 - 6*w + 4. Let q(n) = 4*n**3 - 7*n + 3. Let z(c) = 5*m(c) - 4*q(c). Let j be z(4). Does 10 divide (j - 1)*(8 + -4)?
True
Let g(s) = -15 - 3*s - 3*s + 6*s + 10*s**2 + s**3 - 6*s. Is g(-9) a multiple of 21?
False
Let i(l) = -l + 5. Suppose 3*d - 3 = 2*q + q, 2*d + 4*q + 4 = 0. Let y be i(d). Suppose -y*p + 133 = 2*p. Is p a multiple of 18?
False
Let k = 2 - 2. Suppose 0 = 3*v - 4*p - 198, -p + k = -3. Let l = -40 + v. Does 14 divide l?
False
Let r = 144 - -244. Is 6 a factor of r?
False
Let j = 1743 - 1488. Does 17 divide j?
True
Let t = 22 - 16. Let u = t - 8. Is 19 a factor of (5/(-10))/(u/116)?
False
Let u = -272 + 316. Is 3 a factor of u?
False
Let x(p) = -10*p + 11. Suppose -52 = -3*m + 7*m - 2*y, -4*y + 16 = 0. Is 9 a factor of x(m)?
False
Suppose 0 = -3*m + 560 + 358. Does 17 divide m?
True
Let p(u) = -2*u + 88. Is p(38) even?
True
Let j(y) = -85*y + 4. Let l be j(-1). Let x = l + -79. Is 5 a factor of x?
True
Suppose -2*y + 10 - 4 = 0. Suppose -p + 174 = y*v - 4*p, 3*p = -5*v + 282. Is v a multiple of 32?
False
Let r be (4/8)/((-2)/(-60)). Let f = r - 11. Suppose 139 = f*a - 2*y + y, 0 = -a + 2*y + 33. Is a a multiple of 7?
True
Suppose 2*r - 15 = -3*r. Let y be (r/3)/((-2)/(-104)). Suppose -p + 4*t + 35 = 0, -4*p + y = -t - 43. Does 7 divide p?
False
Suppose 4*z + 12 + 0 = 0, -16 = o - 5*z. Let x = 34 + o. Let m(g) = 4*g**2 - 3*g + 1. Is m(x) a multiple of 12?
False
Let y(f) be the third derivative of f**5/15 + 5*f**4/24 - 5*f**3/6 + 34*f**2. Is y(-5) a multiple of 17?
False
Is ((-6)/(-4))/(3 + 4312/(-1440)) a multiple of 6?
True
Suppose -4 = 2*v, 0*v - 14 = -k + 3*v. Suppose -k - 1 = -3*j. Let q(f) = 7*f**2 + 4*f - 2. Does 27 divide q(j)?
False
Does 57 divide 18/(-5)*(-202 + 12)?
True
Let d(r) = 125*r**2 + 4*r - 3. Suppose 2*n - 11 + 9 = 0. Does 36 divide d(n)?
False
Let m(p) be the second derivative of p**5/20 - 5*p**4/12 - 5*p**3/3 + 7*p**2/2 - 31*p. Does 34 divide m(8)?
False
Let m(n) = -7*n - 15. Let j be m(-3). Suppose -8*a + j*a + 4 = 0, b - 164 = -a. Is 18 a factor of b?
True
Let k = 727 + -365. Does 20 divide k?
False
Suppose 0 = 5*p + 5*u, p - 18 = -5*u - 2. Is p - (-141)/1 - -1 a multiple of 29?
False
Is 49 a factor of 66/(-18)*(1 - (446 + -4))?
True
Let l(b) = -32*b - 1. Does 3 divide l(-7)?
False
Suppose 4*u - 336 = -32. Suppose a - 3*a = -u. Does 11 divide a?
False
Let u(y) = 232*y + 2. Is u(7) a multiple of 36?
False
Let z be (18/21)/((-5)/175). Is ((-80)/z)/(1/30) - -2 a multiple of 6?
False
Does 20 divide (-2)/29 - (278544/(-406) - 13)?
False
Does 51 divide 6 - 3 - 5856/(-16)?
False
Suppose 0 = -c - 94 + 101. Let s(d) = 2*d**2 - 1 - 6*d + 5*d + 3. Is 28 a factor of s(c)?
False
Is 12/(-162)*-3 - (-12846)/27 a multiple of 14?
True
Let n be -1*(-3)/(-6) + 77/2. Let w = 32 + n. Does 9 divide w?
False
Suppose 0 = -2*k + 4*t + 220, -2*t + 1 = -7. Suppose 0 = -4*d + 5*r + 501, -2*d - 3*r - k = -363. Is 40 a factor of d?
False
Suppose -17*o = -1966 - 2624. Is o a multiple of 45?
True
Let r(q) = 5*q + 162. Does 39 divide r(-13)?
False
Let a(s) = s**2 - 14*s + 89. Is a(16) a multiple of 7?
False
Let l(w) = w**3 - 6*w**2 + 2*w - 2. Let n be l(5). Let o = 11 + n. Is 15 a factor of -2*(-9)/o - -18?
True
Let p(f) = -5*f + 2*f - 5 + 2*f. Let z be p(-3). Is 18 a factor of (-1)/(z - 142/(-72))?
True
Let q(f) = -16*f**3 - f**2 + 5*f + 13. Is 143 a factor of q(-4)?
True
Is 2110/14 + (594/(-77) - -8) a multiple of 4?
False
Let c(y) = y**2 - 9*y - 16. Does 17 divide c(-6)?
False
Let i(x) = -6*x - 6. Let r be i(-12). Suppose 3*v = v + r. Suppose 3*a = -4*g + v, -g = -4*a + 4*g + 13. Is a a multiple of 7?
True
Suppose 0 = 4*a + 5*i + 316, -172 = 2*a + 5*i - 24. Does 30 divide 1 + ((-4)/(-2) - a)?
False
Is (-37427)/(-156) + 2/24 a multiple of 3?
True
Let z = -51 + 51. Suppose -4*b = 3*y - 35, -8 + z = 2*b. Is 3 a factor of y?
False
Let b be 2/2*201/(-3). Let j(r) = -5*r + 1. Let d be j(3). Is 13 a factor of (-7)/d + b/(-2)?
False
Let p = 196 + 188. Suppose 0 = -2*o + 8*o - p. Does 32 divide o?
True
Let a(z) = -z**2 + 16*z + 13. Let n be a(18). Let j(p) = p**2 + 18*p - 47. Is 5 a factor of j(n)?
False
Let k(d) = 171*d**2 + 14*d - 65. Is k(5) a multiple of 107?
True
Suppose 0 = -3*v - 5*r + 1929, 5*r = -5*v - 1300 + 4525. Is v a multiple of 36?
True
Suppose -m + 36 = 4*s, 2*s - 99 = -4*m + s. Let u = m + -12. Is 12 a factor of 3*(-44)/(-48)*u?
False
Suppose -50 = -5*q - 4*p, -3*q = q - 2*p - 14. Suppose 35 - 5 = 5*j. Does 24 divide (10/j)/(q/162)?
False
Suppose -13 = -2*v - 5. Suppose -v*t - 3*z - z - 32 = 0, -4*t - 5*z - 35 = 0. Does 33 divide -4 - t - (-2 + -48)?
False
Let o(i) = 2*i**2 + 16*i + 3. Let b be o(-8). Suppose -4*m - a + 85 = -87, 2*a = -b*m + 134. Is m a multiple of 13?
False
Let q(h) = -h**2 - 6*h + 4. Suppose -5*n + 0 = 30. Is 2 a factor of q(n)?
True
Suppose -4*m + m + 111 = 0. Is -8*(m/(-2) + 2) a multiple of 33?
True
Suppose -22*d = -17*d - 25. Suppose p + 122 + 141 = 2*z, d*z + 3*p = 630. Does 34 divide z?
False
Let p be -90 - -2*4/(-8). Let r = p - -159. Does 21 divide r?
False
Let q(g) be the third derivative of -13*g**4/24 + 19*g**3/6 + 34*g**2. Is 24 a factor of q(-10)?
False
Suppose 15 = -3*r, -2*l + 2*r + 16 = l. Suppose 2*h + l*p = 22, 3*p - 3 = -0. Let m = h - -39. Does 13 divide m?
False
Let p = 82 - 77. Suppose h = -2*h - 5*u + 200, -5*h + 280 = -p*u. Is 6 a factor of h?
True
Let x = -451 + 903. Is x a multiple of 34?
False
Suppose -6 = -5*k + 2*k. Suppose 3*m - 7*v - 290 = -k*v, 25 = 5*v. Is 24 a factor of m?
False
Let p(a) = -7*a**2 - 3*a + 2. Let v(q) be the second derivative of -q**4/4 - q**3/3 + q**2/2 - 6*q. Let y(u) = 4*p(u) - 9*v(u). Does 4 divide y(4)?
False
Let a(h) = 6*h**2 - 7*h - 6. Does 16 divide a(-2)?
True
Is 2 a factor of (85/(-5) - 69)*1*-1?
True
Suppose -2*m - 2*y = -16, -3 + 1 = -m + 5*y. Suppose -m*i + 8 = -3*i. Suppose i*q = -4*l + 94, 5*l - 5*q - 3 - 77 = 0. Is l a multiple of 7?
True
Is 3 a factor of -174*(-7)/(-70)*-5?
True
Let i(x) = -36*x + 123. Let m be i(3). Let p(j) = -5 + 17*j - j**2 - 1 - 2. Is 11 a factor of p(m)?
True
Let p be 0 - -2 - (5 + -2). Let x(z) = -103*z. Let c be x(p). Let r = c + -71. Is r a multiple of 32?
True
Suppose -2*y = -2*g - 4*y + 8532, 2*y - 6 = 0. Is g a multiple of 87?
True
Suppose 0*k = -2*k + 4*a, 3*a + 7 = -2*k. Let z be (k/(-1))/((-6)/(-45)). Let q(j) = -j**3 + 14*j**2 + 17*j - 17. Is q(z) a multiple of 4?
False
Suppose 3*b - 140 - 229 = 0. Does 33 divide b?
False
Let s(q) be the second derivative of q**6/120 - 7*q**5/60 + q**4/4 + 3*q**3/2 + 2*q**2 + 3*q. Let t(j) be the first derivative of s(j). Does 12 divide t(7)?
False
Let j = 2540 + -4498. Is 4/10 - j/55 a multiple of 18?
True
Let i = 4 - -1. Let q = -5 + i. Let j = 14 - q. Is j a multiple of 9?
False
Suppose 3 = -2*p + 3*p. Suppose -p = -2*z + 1. Suppose -z*y + 112 = -0*y. Does 14 divide y?
True
Let n(u) = 2*u**2 + 12*u + 3. Let m be n(-8). Suppose -31*x - 228 = -m*x. Suppose -2*p = p - x. Is p even?
False
Let x be 111/15 + 6/10. Suppose -x*o + o + 1288 = 0. Does 23 divide o?
True
Let c = -33 + 36. Is 3 - (3 - c) - (-58)/2 a multiple of 16?
True
Is 2 + (-1 + 28)*10 a multiple of 17?
True
Let w(b) = 76*b - 367. Is w(27) a multiple of 11?
False
Suppose 2*y - 101 = c, -4*y + c + 165 + 32 = 0. Suppose 13 = -5*a + 8, -3*s - 23 = -a. Does 8 divide -2*4*y/s?
True
Let o(x) be the second derivative of -x**5/20 + 13*x**4/12 + x**3/6 + 11*x**2/2 + 15*x. Is 6 a factor of o(13)?
True
Does 9 divide 19628/20 - 6*(-5)/(-75)?
True
Let l = -17 + 21. Let x(t) = 23*t + 6. Is 32 a factor of x(l)?
False
Does 5 divide (-1)/(9/6) - 20398/(-42)?
True
Let n = 544 + 595. Is 7 a factor of n?
False
Is 7 a factor of 7 - 166/(-4)*4?
False
Let u(x) = 42*x**2 + x - 1. Let z = -34 + 35. Is 7 a factor of u(z)?
True
Suppose -3*o - 60 = -r, -o = o - 2*r + 36. Let p = o + 40. Let m = p + 29. Does 17 divide m?
False
Suppose 11*g - 2334 - 6642 = 0. Does 16 divide g?
True
Let x(k) = 12*k**2 - 4*k - 4. Let g(q) = -q - 6. Let v be g(-4). Is 20 a factor of x(v)?
False
Suppose -1288 = -2*q - 0*m - 5*m, 0 = 3*q - m - 