3/(-191) - -4). Let q = 283 + f. Suppose 2*n + 2*n = -y + q, 4*n = 3*y + 108. Does 6 divide n?
True
Let o(h) be the second derivative of h**5/20 + 13*h**4/12 - 7*h**3/3 - 15*h**2/2 + 3*h - 16. Does 13 divide o(-10)?
False
Let a(b) = -b**3 - 4*b**2 + 8*b. Let m = -26 - -20. Let d be a(m). Let w = 30 - d. Is 4 a factor of w?
False
Let p(q) = 3*q**3 + 2*q**2 - 1. Let z be p(-1). Suppose 21 = 3*v + 3*r, -4*v = 5*r - 3*r - 30. Let k = v + z. Is 4 a factor of k?
False
Suppose -3*y - 64 = -3*j + y, 2*j - 2*y - 44 = 0. Does 7 divide j - (3/2)/((-2)/(-4))?
True
Let n(i) = -64*i + 412. Is 44 a factor of n(-19)?
True
Let y(k) = k - 16. Let b be y(18). Suppose -2*s = d - 69, -3*d + 207 = -s + b*s. Is 10 a factor of d?
False
Let z(b) = -5*b - 37. Let f(v) = v + 9. Let s(a) = -9*f(a) - 2*z(a). Let n be s(11). Suppose -4*r + 11 = 2*d + d, -5*r = -n*d - 37. Does 3 divide r?
False
Suppose 0 = x - 4*x + 6. Let v be 2/2 + (x - 5). Does 9 divide (-2)/(3/(45/v))?
False
Let r be (5/(-15))/(1/(-21)). Suppose 2*p - 2*l + r*l = 33, -5*l + 71 = 4*p. Let a = -6 + p. Is 13 a factor of a?
True
Suppose 48*y = 40*y - 192. Let m be (-12 + 1 + 0)*-3. Let j = m + y. Does 9 divide j?
True
Let b = -57 - -106. Suppose -4*r + 2*x = -58, -4*r - 2*x = -x - b. Let z = r - 4. Is 9 a factor of z?
True
Let c be (-8)/52 + 4/26. Suppose 15*r - 10*r - 30 = c. Does 3 divide r?
True
Suppose 0*x - 5*x = g + 3, x + 37 = 5*g. Suppose 104 = g*i - 5*i + 4*t, 4*i - 232 = -2*t. Does 20 divide i?
True
Let i(p) = -p**3 + p - 1. Let f(n) = 3*n**3 - 8*n**2 + n + 6. Let y(s) = -f(s) - 4*i(s). Is y(-7) a multiple of 9?
False
Let z = 25 + -25. Suppose y = -z*y + 76. Is y a multiple of 32?
False
Suppose 0 = 2*v - 45 - 7. Is 25 a factor of -48*(v/8 + -4)?
False
Suppose -7 + 3 = 2*t. Let z be (-4)/(-12)*(t - -8). Suppose z*l - 3*f - 48 = 0, -6*f - 72 = -3*l - 2*f. Is 24 a factor of l?
True
Let g(w) = 25*w**2 + 7*w + 34. Does 7 divide g(-3)?
True
Let o(w) = 13*w**2 + 13*w + 30. Is 8 a factor of o(-4)?
False
Let w(s) = -3*s + 3. Let q be w(0). Suppose -q*d + 102 = -3*o, -3*o = -2 - 4. Does 9 divide d?
True
Let c(y) = -y**3 + 14*y**2 - 11*y - 19. Suppose 5*j - 9 = 31. Suppose j = 4*f - 44. Does 3 divide c(f)?
False
Let u(n) = 6*n**2 - 10*n + 28. Is 14 a factor of u(4)?
True
Let x be 3 - (0 + 9/3). Let v be (x - -33)*1 + -3. Is -1*(-2 + 3) + v a multiple of 10?
False
Let j = 64 + -25. Is 39 a factor of j?
True
Let u = 215 - 127. Let f = -28 + u. Does 6 divide f?
True
Suppose -13*p + 18 = -47. Let h be (-9)/2*(-2)/3. Suppose l = -u + h*u + 10, p*l - 5*u - 30 = 0. Is l a multiple of 2?
True
Suppose -z + 401 = -d, -10*z - 2*d = -7*z - 1203. Is 30 a factor of z?
False
Does 11 divide (-87)/(-30) + -3 - 2041/(-10)?
False
Let m = 12 + 111. Suppose m + 52 = 5*v. Is 5 a factor of v?
True
Suppose -12 + 0 = -3*g. Suppose -3*d - 6 = g*j, -4*j = 22 - 10. Let r = 10 - d. Does 8 divide r?
True
Let n = -459 + 742. Let i = n + -143. Does 13 divide i?
False
Suppose 5*i = -s + 19224, 72 = -5*s + 67. Is i a multiple of 70?
False
Let q(o) = 15*o + 17. Let n(c) = -30*c - 33. Let y(v) = 3*n(v) + 5*q(v). Let j be ((-12)/(-8))/(6/(-16)). Is y(j) a multiple of 23?
True
Let r(o) = 3*o**3 + 6*o**2 - 2*o - 60. Does 24 divide r(6)?
True
Suppose 0 = -3*l - 86*v + 82*v + 1524, l - 516 = -4*v. Is l a multiple of 24?
True
Suppose -y - 777 = 5*f + 3*y, -5*f + 4*y - 753 = 0. Let c(h) = -55*h + 5. Let u be c(4). Let g = f - u. Does 12 divide g?
False
Let u = 412 - -638. Is 39 a factor of -6*u/(-27) + (-4)/(-6)?
True
Let c(s) be the third derivative of 0*s + 5/6*s**3 + 1/12*s**5 + 0 - 7/24*s**4 + 1/120*s**6 - 5*s**2. Is c(-6) a multiple of 2?
False
Let s(c) be the second derivative of c**4/3 - c**3/3 - 2*c**2 + 23*c. Is 36 a factor of s(-3)?
False
Let r = -159 - -175. Let p = 105 + -73. Let t = p - r. Does 3 divide t?
False
Let i(q) = 2*q**3 - 10*q**2 - 13*q - 17. Does 14 divide i(8)?
False
Let s(p) = p**3 - 7*p**2 + 4*p + 4. Let o be s(6). Does 33 divide 122 - (3/(-2))/((-6)/o)?
False
Let u be 6 + -3 + -2 + 528. Suppose -5*r + 4*j = -u, -3*j = -3*r + 2*j + 307. Let n = -76 + r. Does 11 divide n?
True
Suppose -2 = -2*l - 2*w + 4, -2*l + 9 = 5*w. Suppose l*f - 35 = 31. Does 2 divide f?
False
Let t(o) = 19*o**2 - 7*o - 4. Let j be t(4). Suppose -4*d = -4*c + 360, 3*c - j = -5*d + 14. Does 23 divide c?
True
Let a(c) = -5*c + 2. Let j be 473/(-55) + (-3)/(-5). Let m be a(j). Suppose m + 203 = 5*s. Is s a multiple of 14?
False
Let b(f) = -12*f - 66. Is b(-8) a multiple of 30?
True
Let w(u) = -60*u**2 - 63*u**2 + 131*u**2 - 7 - 3*u. Does 13 divide w(-5)?
True
Suppose -6*h + 674 = -5*h. Does 16 divide h?
False
Does 35 divide 559 + -4 + 1 + 4?
True
Let s = -70 - 215. Let v = 502 + s. Does 28 divide v?
False
Is 2*((-2)/(-8)*-6 + 25) a multiple of 47?
True
Suppose 0*z + 4*z - 252 = 0. Suppose -13*t + 10*t = -z. Is 7 a factor of t?
True
Let t(g) = -7*g + 2. Let f(i) = -8*i + 2. Let s(m) = 3*f(m) - 2*t(m). Let o be s(-1). Does 15 divide 338/18 - o/(-54)?
False
Suppose 5*z = z - 48. Suppose 3*b - 25 - 26 = 0. Let q = z + b. Does 2 divide q?
False
Let q(y) be the third derivative of y**6/120 + y**5/12 - y**4/4 - 2*y**3 - 28*y**2. Is 9 a factor of q(-5)?
True
Suppose 2*w = 3*t - 446, 157 = t - 3*w + 4*w. Is 14 a factor of t?
False
Is 36 a factor of (-7 - (-264)/40)*-1170?
True
Let z = 1 + -1. Let k(c) = -c + 2. Let s be k(z). Is 1*-22*(-1)/s a multiple of 11?
True
Suppose -2 = -4*q + q + 2*m, -q + 10 = 4*m. Is 6 a factor of 354/9 + -3 + q/(-6)?
True
Suppose 4*h - 9 = -69. Let t be h/(-20) + 89/4. Suppose -4*k = -37 - t. Does 10 divide k?
False
Let f be 528/(-4) - 3 - -3. Is 7/(-14)*f/(0 + 2) a multiple of 33?
True
Let a(z) = z**2 - 15*z + 23. Let n be a(12). Does 24 divide 13/(n/(-24)) - 0?
True
Let l = 446 + 25. Is 3 a factor of l?
True
Let z = 50 - 56. Is 21 a factor of (-146)/z + 2 - 7/21?
False
Let u = 10904 - 5999. Is 141 a factor of u?
False
Let j = -7 - -13. Let f be ((-4)/j)/((-5)/75). Suppose 5*h + 140 = f*h. Is 18 a factor of h?
False
Let j = 236 + -167. Suppose 5*x - 56 - j = 0. Suppose -5*r + x = 0, -u - r - 1 + 21 = 0. Is 3 a factor of u?
True
Let i be (-1179)/(-6) + 3/(-18)*3. Suppose -10*o + i = -3*o. Does 17 divide o?
False
Let v(w) = w**3 - 23*w**2 + 45*w + 12. Is v(21) a multiple of 75?
True
Let j(l) be the third derivative of -l**4/4 + 4*l**3/3 - l**2 - 4*l. Does 11 divide j(-19)?
False
Let t(g) = -2 + 0*g**3 + 1 + g - 2*g**3 - g**2 + 5*g**3. Let l be t(1). Is 27 + (-2)/(4 - l) a multiple of 19?
False
Suppose 0 = 5*j - 3*o + 255, -2*j - o + 7 = 109. Let l be 97 - (2 - (-3 - -5)). Let h = l + j. Is h a multiple of 15?
False
Let d(g) = 2*g**2 + 20*g - 65. Let j(z) = -z**2 - 10*z + 32. Let s(m) = -2*d(m) - 5*j(m). Does 13 divide s(-14)?
True
Let r be 124/(1 - 65/70). Suppose 11*k - r = 3*k. Is 31 a factor of k?
True
Let n = -10 - -12. Let s(q) = 83*q + 4. Is 36 a factor of s(n)?
False
Let z = 5 + -8. Let w = 2 - z. Suppose 2*k - 51 = w*i, k + 0*i - 3*i - 24 = 0. Does 8 divide k?
False
Suppose -4*m = -9*m + 25. Suppose -m*i + 16 = -3*p - 12, 30 = 5*i - 5*p. Suppose 5*s + 5*g = 2*g + 150, 0 = g - i. Is s a multiple of 27?
True
Let t(y) = 50*y**2 - 9*y - 6. Does 44 divide t(-4)?
False
Is 32 a factor of 148*-20*(-4)/64?
False
Suppose u + 4*u = 5. Let d = u + 5. Suppose 5*r + d - 1 = 0, -4*g - 2*r = -70. Does 6 divide g?
True
Let n(h) = -h**3 + 11*h**2 + 13*h - 18. Let c be n(12). Let k = 6 + c. Suppose 0 = -3*x + 5*r + 15, -5*x + r + 3*r + 38 = k. Is 5 a factor of x?
True
Suppose 628 = 2*i + z - 4*z, -5*z = 5*i - 1620. Does 51 divide i?
False
Suppose 5*i - 9 = 8*i. Suppose 0 = -3*s + 2*s + 3. Is i*((-10)/s)/5 a multiple of 2?
True
Let p = 4 - 4. Suppose 2*c + i = -42, p = -c - 2*c - 3*i - 69. Let x = -13 - c. Does 3 divide x?
True
Let i(j) = 40*j + 0 + 2 + 1. Let o(m) = -1. Let x(w) = -i(w) - 4*o(w). Is 16 a factor of x(-1)?
False
Suppose 11*s - 2863 = 1625. Is 8 a factor of s?
True
Let z be ((-10)/15)/(2/3). Let h(u) = -59*u**3 - 3*u**2 - u - 1. Is h(z) a multiple of 14?
True
Let v be (-3 - -5) + (-9)/(-3). Let z(g) = 20*g - 4. Let r be z(v). Suppose -r = m - 5*m. Is m a multiple of 24?
True
Let v(j) be the second derivative of j**3/3 + 13*j**2/2 - 12*j. Is v(7) a multiple of 27?
True
Let h be (-4)/(-8)*2 + 2. Suppose 0 = 2*d + 2, 145 = h*y + d +