(l). Is 3 a factor of s/7*28/6?
True
Let n(j) be the second derivative of -11*j**5/20 + 2*j**3/3 - j**2/2 + j. Suppose -3*i + 5*w - 6 = -0*i, i = 4*w - 2. Is n(i) a multiple of 24?
False
Let n = -14 - -17. Suppose -n*i + 9 = -0. Suppose -5*m + 3*g + 88 = 0, 0 = -m - i*g + 31 + 1. Is 10 a factor of m?
True
Let w be (-14 + 8)*(36/8)/(-3). Suppose -2*s - 2*u = -2, 2*u = -4*s + 5*u + 25. Suppose -s*k = -w*k + 300. Is k a multiple of 15?
True
Let z(l) = -6*l - 33. Let g be z(-6). Suppose 8*o + g = 147. Is 9 a factor of o?
True
Let o(y) = y**3 + 9*y**2 + 13*y - 11. Does 19 divide o(-6)?
True
Let s(x) = -x**2 - 1. Let r(f) = -4*f**2 - 14*f + 17. Let k(v) = r(v) - 5*s(v). Is k(17) a multiple of 30?
False
Let c be (-1392)/32*(1 + 1). Let w = 153 + c. Does 4 divide w?
False
Let r(u) = u**2 - 2*u - 1. Let c(d) = 4*d**2 - 6*d - 3 + 11*d - 5*d**2 + 1. Let i be c(6). Is r(i) a multiple of 32?
False
Let z(o) = 3*o**2 - 10*o - 12. Let j be z(-10). Suppose -j = -3*c + 200. Suppose -5*v + f + f = -c, -129 = -3*v + 5*f. Is 17 a factor of v?
False
Let l(z) be the second derivative of -5*z**4/12 - z**3/6 + z**2/2 - 10*z. Let i be l(-6). Let p = -101 - i. Is 18 a factor of p?
True
Let z(u) = 5*u**2 - 5*u + 1. Let t(j) = -j**2 - 1. Let v(o) = 6*t(o) + z(o). Let f be v(-4). Is -8*((-90)/8 + f) a multiple of 15?
False
Let s(w) = w**2 - 6*w + 2. Suppose 4*a + 13 = -4*k - 7, 4*a = 5*k - 11. Let i = k - -12. Does 14 divide s(i)?
False
Let p = 4 + 7. Suppose 0 = 5*u - 5*r + 460, 0 = 2*r - p + 1. Let c = -34 - u. Is 35 a factor of c?
False
Let o be 6*1*1*(-31)/(-93). Suppose -6*t + 5*t - 3 = o*z, 0 = 2*t - 2*z - 12. Is t a multiple of 2?
False
Let l(g) = g**3 + 4*g**2 - 4. Let u be l(-3). Suppose 14 + 11 = -u*c. Let z(t) = -8*t + 5. Does 15 divide z(c)?
True
Let r(b) = 150*b - 2. Let o be r(1). Suppose z + o = 2*z. Is z a multiple of 38?
False
Let x = 22 + -11. Suppose -x - 5 = -4*j. Is (14/(-4))/(j/(-16)) a multiple of 7?
True
Suppose 0*a = -2*a + 12. Let u be (-151)/(-6) - 6/36. Suppose -m + u = a. Is 4 a factor of m?
False
Suppose -169 - 3751 = -16*v. Does 7 divide v?
True
Let v = 2692 - 1401. Is 21 a factor of v?
False
Suppose r - 3 = -d, -3*r - 13 = -7*r - 5*d. Let a(u) = u**3 - 3*u**2 + u + 2. Let z be a(r). Does 5 divide 17 + -1 - (1 + z)?
True
Suppose -8*h = 4*i - 5*h - 289, i - 5*h = 101. Is 4 a factor of i?
True
Suppose 4*r - 426 - 1370 = 0. Is r a multiple of 18?
False
Suppose 5*m - 4*t + 23 = 0, -2*m - 2*t + 0*t = 2. Let q(c) = 2*c**2 - 2*c - 5. Let a be q(m). Let f = a + 10. Is 11 a factor of f?
False
Suppose -15*c + 1689 + 1566 = 0. Let n = c - 145. Is n a multiple of 5?
False
Is 40 a factor of 419 + 1/((-2)/(-2))?
False
Suppose -t = 4*l - 896, -l - 2*t = -4*t - 224. Let w = l + -86. Is 36 a factor of w?
False
Suppose -7*l = -4*l - 2*k - 1682, -l - 3*k + 557 = 0. Is l a multiple of 16?
True
Let x = -143 - -66. Let c = x + 102. Is 5 a factor of c?
True
Let s = 94 + -3. Suppose 8*y = 149 + s. Does 2 divide y?
True
Let o be ((-28)/70)/(1/5) + -13. Is -6*(6/o + (-169)/15) a multiple of 14?
True
Does 10 divide (-48116)/(-920) + (-3)/10?
False
Suppose -2*c - 10 = 5*z, -c = 3*z + c + 10. Let v = 17 + z. Does 12 divide v?
False
Let r be (-8)/10 + (-145)/(-25). Suppose 2*v = r*z - 430, -3*v = -5*z - 159 + 584. Suppose -4*w + 4 = -z. Does 8 divide w?
False
Let v = 259 + -221. Does 9 divide v?
False
Let d(q) = -q**3 + 5*q**2 + 12*q - 9. Is d(6) a multiple of 11?
False
Suppose 43*j = 45*j - 6. Suppose -j*t - 2*z - 23 = -212, 4*t - 252 = z. Does 21 divide t?
True
Suppose 319 = 5*k + 4*j - 1109, 4*j = 5*k - 1452. Does 48 divide k?
True
Is 36 a factor of (-8)/(-14)*8995/10?
False
Let g = 153 + 8. Does 7 divide g?
True
Let b be ((-96)/(-15))/((-2)/(-5)). Suppose 0 = 4*s - 3*k + 4, -3*s = 5*k - 10 - b. Is s even?
True
Let y = -96 + 11. Is (y/4)/((-6)/24) a multiple of 17?
True
Let g(x) = -x**3 + 6*x**2 - 2*x - 4. Let y be g(5). Let l = y + -11. Suppose 5*p - 127 + 37 = l. Is 9 a factor of p?
True
Suppose -21*u - 4703 + 34313 = 0. Does 19 divide u?
False
Suppose 4*s - q - 328 = 2*q, -5*q + 138 = 2*s. Is 55 a factor of s?
False
Let q = 6 + -5. Is q + 30 + 0/(4 + -2) a multiple of 31?
True
Is (-7)/(-42) - (-1445)/30*5 a multiple of 22?
False
Suppose c + 3 = 0, -2*b - 86*c + 11603 = -87*c. Does 14 divide b?
False
Let f = -19 - -19. Suppose f*w + 90 = 5*w + 4*q, 4*q - 2 = -w. Is 11 a factor of w?
True
Suppose 0 = 8*j - 3*j - 25. Suppose 0*y = -j*y. Let x(v) = -v**2 - v + 5. Is 2 a factor of x(y)?
False
Let h be 8/28 - 33/(-7). Suppose -28 = -5*v - y, 0 = -v + 3*v + h*y - 2. Is 6 a factor of v?
True
Let x = 18 + -18. Suppose -l - 2 + 0 = x. Does 3 divide (-2 + 4)/(l/(-18))?
True
Let t = 18 + -16. Suppose -34 = x + t*x - 5*i, 5*i = x + 28. Is (-23)/x - 40/60 even?
False
Let j = -51 + 21. Is (-5298)/j - (-6)/(-10) a multiple of 11?
True
Suppose -6*y + 72 - 12 = 0. Let a = y - 13. Let d = 10 + a. Is d a multiple of 7?
True
Does 5 divide (-6)/24*6*2 - -426?
False
Let a(c) = -5*c**2 - 1 + 10*c + 0*c**2 - 4*c**3 + 3*c**3. Let v(u) = u**3 + 11*u**2 - 10*u + 17. Let r be v(-12). Is a(r) a multiple of 6?
False
Suppose -5*h = -2*y - 29, 2*y = -5*h - 4 - 35. Let m be -2*(-4)/(-8)*y. Let l = -7 + m. Is 4 a factor of l?
False
Let v(i) be the second derivative of -i**7/840 + i**6/45 - i**5/24 - i**4/4 - i**3/2 + 2*i. Let r(z) be the second derivative of v(z). Is 9 a factor of r(6)?
True
Suppose -t - 649 = -52. Let l = t + 854. Is 34 a factor of l?
False
Suppose 0 = -2*m + t - 13, -3*m - 5*t = 2*m + 40. Does 6 divide 30/m*(-21)/3?
True
Suppose 3*t - 1755 - 1416 = -3*p, 3*t - 3167 = -p. Is t a multiple of 68?
False
Let l(h) = h**2 - 5*h - 6. Let p be l(6). Does 3 divide (-3 - 3)*(-2 - p)?
True
Let y = 39 - 39. Does 49 divide (-18 + y)/((-96)/45 + 2)?
False
Let i = 8 - 145. Let j = 214 + i. Is j a multiple of 26?
False
Suppose 2*u - 22 = -4*b, 2*b - 37 = -5*u - 6. Suppose -4*k = -h - 7, -b*k + 2*k + 8 = h. Does 2 divide h?
False
Let o = 98 - 55. Let t = -9 + -19. Let k = t + o. Does 5 divide k?
True
Let m(p) = -7*p + 5*p**2 + 9*p + 3*p**3 - 4*p**3 + 2. Let g be 2 - -1 - (5 - 5). Does 10 divide m(g)?
False
Let h(k) = 71*k - 3. Is 5 a factor of h(3)?
True
Suppose 3*y - 172 = 278. Suppose 2*j - y = 50. Is j a multiple of 29?
False
Let t = -1060 - -1632. Does 22 divide t?
True
Let q(a) = -a**2 + 53*a - 100. Is 78 a factor of q(19)?
True
Let z(j) = -4*j**2 + 3*j + 11. Let u(o) = -4*o**2 + 3*o + 11. Let d(h) = -5*u(h) + 4*z(h). Does 43 divide d(5)?
False
Let k = 9 - -960. Does 51 divide k?
True
Let o = -169 + 146. Let d(n) = 2*n**2 + 30*n - 10. Is 21 a factor of d(o)?
False
Let c be 3*((-176)/(-12))/4. Suppose -c + 109 = 7*j. Is j a multiple of 3?
False
Suppose 0 = t + 11*t - 36. Suppose -z = 5*i - 6*z - 75, -t*i + z + 51 = 0. Does 10 divide i?
False
Is (2 - 80/3)*126/(-7) a multiple of 21?
False
Does 5 divide (36/14)/((-74)/(-31857))?
False
Suppose 0 = 5*o + 5*b - 1730, -1352 = -47*o + 43*o + 4*b. Is o a multiple of 9?
True
Let t = 3269 - 1473. Does 17 divide t?
False
Suppose 3*b = -11*b + 1162. Does 11 divide b?
False
Suppose -3*t - 29 = 13. Let o(w) = w + 19. Let i be o(t). Suppose -i*u + u - 4*j + 244 = 0, j = -5*u + 285. Is 28 a factor of u?
True
Does 76 divide (56*494/91)/(2/4)?
True
Let t(c) = c**2 - c - 4. Let y be t(3). Suppose 2*r - 42 = -4*j, -3*j + 4*j - y*r - 23 = 0. Does 8 divide j?
False
Is 7 a factor of 8/36 + (4 - (-2310)/54)?
False
Suppose -j + 5 = 0, -r - j = 4*r - 60. Let z(s) = -s**3 + 11*s**2 - s + 13. Let f be z(r). Is 6 a factor of 1/f*(36 + -8)?
False
Let k(v) = -v - 9. Let u be k(-12). Let h(x) = -x**2 + 14*x - 1. Let a be h(13). Does 4 divide u/(-2) + 126/a?
False
Is (1 - 7/8) + 92713/184 a multiple of 21?
True
Suppose -3*s + 15 = -0. Let k be (-2)/4*(9 + s). Does 16 divide (-450)/k - 26/91?
True
Let t(v) = -10*v**2 + 7*v - 4. Let f(x) = -10*x + 27*x**2 - 4*x - 6*x**2 + 8. Let k(j) = 3*f(j) + 5*t(j). Is k(3) a multiple of 25?
True
Suppose 31*q + 3*q - 112200 = 0. Does 44 divide q?
True
Let r = 88 + 84. Suppose m - r = 2*c, 0*m - 364 = -2*m - c. Is m a multiple of 12?
True
Let z(i) = -3*i**3 + 2*i + 1. Let r be z(2). Suppose -2*b - 8 = 3*t - 0*b, -2*t = -2*b + 2. Let u = t - r. Is 17 a factor of u?
True
Is 188 + -50 + (1 - -1 - 3) a multiple of 14?
False
Suppose -6*z = -217