. Is -5 - -31 - (x - -1) a multiple of 20?
False
Let n(u) be the third derivative of -u**7/2520 + u**6/720 + u**5/12 - u**4/8 + 2*u**2. Let f(j) be the second derivative of n(j). Is f(0) a multiple of 10?
True
Suppose -3*z - h = -1114, -2*z = 3*z - h - 1870. Is z a multiple of 57?
False
Let b(q) = -4*q**2 - 8*q + 5. Let x(h) = -h**2 - h. Let j(w) = -b(w) + 2*x(w). Let p be j(-5). Does 7 divide 4/(-2) + 1 + p?
True
Let z = -134 - -324. Does 19 divide z?
True
Suppose t + 24 = 5*t. Let x be ((-6)/4)/((-3)/t). Suppose -3*v = x - 45. Does 14 divide v?
True
Suppose -4*p - 108 = -8*p. Is p a multiple of 27?
True
Suppose 0 = -3*a - 4*k + 109, -23 = -2*a - 3*k + 50. Is a a multiple of 5?
True
Let h be (1 + (-10)/2)/(-2). Is 0 + (h - -1) - -15 a multiple of 8?
False
Let f = 18 - 15. Suppose -f*m = -9 - 9. Does 4 divide m?
False
Suppose 25 - 89 = -2*f. Is 16 a factor of (-3)/(-9)*3*f?
True
Suppose -g + 3*m - m = -156, -2*g - 3*m = -277. Is g a multiple of 14?
False
Let l(w) be the third derivative of w**5/30 + 3*w**4/8 + 4*w**3/3 - 5*w**2. Does 20 divide l(-6)?
False
Let a(y) = 6*y**2 + 0 + 6 - 15*y**2 + y**3 + 9*y. Let s(l) = -l**3 - 8*l**2 - l. Let v be s(-8). Is a(v) a multiple of 7?
True
Is 22 a factor of ((-27)/(-6))/9 - (-1535)/10?
True
Suppose -4*u + 210 = -370. Does 15 divide u?
False
Let r be 1 + 0 + 2 - -12. Suppose 2*g + r = 5*g. Does 3 divide g?
False
Suppose -5*j + 52 = 4*z, -5*j - 3*z + 66 = -6*z. Is j a multiple of 4?
True
Let u = -59 - -152. Does 5 divide u?
False
Does 27 divide (-567)/(-45)*3/(18/20)?
False
Let n = -23 - -6. Let v = -12 - n. Let x = v - -20. Is 9 a factor of x?
False
Let i = 14 + -9. Suppose -4*f = 5*t - 2*t - 50, t - i*f = -15. Does 4 divide (18/10)/(2/t)?
False
Let x be (-21)/(-12) + (-2)/(-8). Suppose -x*v = 3*v - 240. Is 16 a factor of v?
True
Let c(f) = -3*f - 8 + 9 + 21 + 2*f. Does 6 divide c(0)?
False
Suppose 3*i = q - 7, -4*i = i - 5. Is 18 a factor of 10/q*(36 + 1)?
False
Let d(k) = k**2 - 3*k + 7. Let u(v) = -v - 2. Let x be u(0). Let i be (-1 + 0)*(x + -3). Does 6 divide d(i)?
False
Let c(r) = -r**2 + 12*r - 8. Let u be ((-4)/10)/((-4)/80). Is c(u) a multiple of 8?
True
Let r = -54 + 75. Is 6 a factor of r?
False
Let w = -5 - -8. Let n(h) = -5*h. Let p be n(-3). Suppose -p = -5*u + w*d - 5*d, -u = d. Is u a multiple of 5?
True
Let m(x) = 4*x - 2. Does 18 divide m(19)?
False
Let h(r) = -2*r**3 - 5*r**2 - r + 4. Is 4 a factor of h(-3)?
True
Let r(b) be the third derivative of -121*b**4/24 - b**3/6 - b**2. Let l be r(-1). Suppose -5*f + 60 = -l. Does 14 divide f?
False
Suppose 3*f - 102 = -4*j, 0 = -f + 2 - 0. Is 3 a factor of (j/(-20))/(4/(-30))?
True
Let c = -46 + 22. Let r = -12 - c. Is 6 a factor of r?
True
Suppose 4*a - 2*a - 4 = 0. Is 14 a factor of a/(-8) + (-567)/(-12)?
False
Suppose -96 = -0*h - 2*h. Is h a multiple of 12?
True
Let y = 18 + 25. Is y a multiple of 29?
False
Suppose 0 = 4*x + 17 - 1. Is (156/18)/(x/(-6)) a multiple of 13?
True
Is 14 a factor of 4 - (-73 + -3 + -4)?
True
Let b(p) = p**2 - 2*p - 7. Suppose -3 - 7 = -5*o. Let u(v) = 2*v + 1. Let n be u(o). Is 4 a factor of b(n)?
True
Let o be (-3)/1 - 425/(-1). Let u = o - 192. Suppose 6*x - x = u. Is 23 a factor of x?
True
Suppose -a = 5*c - 16, c = 2*c - 2*a - 12. Suppose 0 = y + 3*j + 13, 16 = -c*y - 4*j + 4. Suppose -i - 3*i + 88 = y*n, 3*i = 5*n + 92. Does 10 divide i?
False
Suppose -17*j + 180 = -12*j. Suppose -301 = -5*i - j. Is 11 a factor of i?
False
Let u = 0 + 3. Suppose -v = -5*q + 2*v + 28, -13 = -u*q - 2*v. Suppose -q*p - o + 0*o + 59 = 0, 3*p - 2*o = 38. Is p a multiple of 6?
True
Let r(u) = -u**3 + 10*u**2 - 5*u - 8. Is r(9) a multiple of 4?
True
Let b = 230 + -110. Does 11 divide b/15 + (0 - -3)?
True
Let l(q) = q**3 + 2*q**2 - 3*q. Let y be l(-3). Suppose -26 = -y*w - w. Does 13 divide w?
True
Suppose -2*d + a - 8 = 5*a, 3*d - 5*a = 32. Suppose -2*r + 161 = d*j - 7, -j + 33 = 5*r. Is 17 a factor of j?
False
Let m = 14 + 14. Let y = -2 + m. Is 13 a factor of y?
True
Suppose z + 153 = 4*z. Is 17 a factor of z?
True
Let d(t) = -8*t - 6. Let x be d(-3). Suppose -x = -2*n + 2*y, -4*n + 0*n - 5*y = -81. Is 14 a factor of n?
True
Does 3 divide 52/(-234) - (0 + (-308)/9)?
False
Let f(y) = y**3 + 4*y**2 - 3*y - 5. Is 4 a factor of f(-4)?
False
Suppose -2*h + 2 = n, -h + 4*n + 5 + 5 = 0. Suppose -h*f + 85 = f + 2*x, 45 = f + 4*x. Let a = 61 - f. Is a a multiple of 17?
False
Let c(g) = 2*g**2 + 15*g - 17. Is c(8) a multiple of 28?
False
Let y(f) = 5*f**2 + 5*f + 105. Let l(i) = -3*i**2 - 3*i - 52. Let p(b) = 7*l(b) + 4*y(b). Is p(0) a multiple of 14?
True
Suppose -2*w + 1 = 3. Let t = w + 3. Suppose -t*h + 68 = 2*h. Is h a multiple of 8?
False
Suppose 16 - 6 = 2*b. Suppose -35 = -2*y + 5*i, 4*y - 4*i - 110 = -2*i. Suppose -b*j + y + 25 = 0. Does 11 divide j?
True
Let n(k) = 10*k - 19. Is 8 a factor of n(9)?
False
Suppose -108 = 3*d - 321. Suppose 2*a + 5*s = 2*s + d, a - 52 = 4*s. Suppose a = 2*w - 5*m, 4*w - 3*m - 4 - 62 = 0. Is 10 a factor of w?
False
Let g be 6 + -2 + 1 - 1. Suppose k = 2*v - 1 - 2, 5*v = g*k + 12. Suppose v = 2*m - 21 - 3. Is m a multiple of 6?
True
Let s(q) = -q**3 + 5*q**2 - 3*q - 1. Let j be s(4). Suppose -2*l + 14 = j*d - 5*d, -3*l - 3*d + 9 = 0. Is l a multiple of 5?
True
Suppose -2*d = -154 + 6. Is 14 a factor of d?
False
Let g = -275 - -551. Suppose 5*p = p + g. Is p a multiple of 23?
True
Suppose 0 = 4*g - 3*i + 10 + 19, i = -5. Let w = 16 + g. Suppose 8*m - 220 = 3*m - 2*x, -w*m + 3*x = -220. Is 15 a factor of m?
False
Let k be (-4)/(-2) - 6/(-3). Suppose -f + 2*t + 25 = 0, -4*f = -k*t - 63 - 17. Is 6 a factor of f?
False
Suppose 0 = 5*r + 3*z - 836, -4*r + 673 = -4*z + 5*z. Is r a multiple of 52?
False
Let d = -5 - -5. Suppose d = -4*j + 12 + 72. Does 11 divide j?
False
Let y(p) = -p - 3. Let w be y(-3). Let n = 3 - w. Is n a multiple of 2?
False
Let m = -5 - -1. Let o = 10 + m. Is o a multiple of 6?
True
Is 18 a factor of 51 + (-9)/(-4)*(-36)/(-27)?
True
Does 4 divide 42/(-4 + (-42)/(-9))?
False
Let t = 13 - 8. Does 5 divide t?
True
Let p be -2*(0 - 6/4). Suppose -2*d - 10 + 46 = -3*a, -24 = -3*d - 3*a. Suppose -5*x + d = -p. Is 2 a factor of x?
False
Suppose 0 - 66 = -3*d. Is d a multiple of 7?
False
Let i(o) = -3*o + 4. Suppose 5 = 2*w - r, r = 6*r - 25. Let q be i(w). Let h = q - -24. Is h a multiple of 13?
True
Let a be (-11)/(-4) - 6/(-24). Let k be (a/9)/((-3)/(-117)). Suppose -k = -s - 3. Is s a multiple of 5?
True
Let o = 43 - 8. Suppose -5*n + a = -7 - o, -6 = n - 5*a. Let j(y) = -y**2 + 9*y + 7. Does 5 divide j(n)?
False
Suppose -4*u - 4 = -3*a, 2*u + 2 = 4*a - 0. Suppose -2*x - 5*q = -94, -x + 3*q = -a*x - 58. Does 13 divide x?
True
Suppose 3*h = -r + 13 - 2, -2*h + 2*r = 6. Suppose -40 = -h*n - 3*n. Suppose -3*o = -n*o + 55. Is 5 a factor of o?
False
Let b = 3 - 0. Suppose -4*q = -3*j - 28, -b*j - 28 + 3 = -q. Let a = 2 - j. Does 7 divide a?
False
Let u = -194 - -355. Does 23 divide u?
True
Suppose 0*z + 2*z = 0. Let t(k) = k**2 + 22. Let s be t(z). Let b = s + -8. Is b a multiple of 14?
True
Suppose 6*y = y. Suppose x - 20 + 9 = y. Is x a multiple of 7?
False
Let m = 36 - 22. Let x be (-2)/(-7) - 4/m. Suppose 2*t - 10 = x, -4*t - 22 = -w - 2*w. Does 10 divide w?
False
Let o = -5 - -8. Let b = 1 - -15. Suppose b = d + o*d. Does 2 divide d?
True
Suppose 3*s + 2*b = 26, -3*s + 0*b + 2*b + 34 = 0. Suppose 5*u - s + 70 = o, 2*u - 2*o = -24. Is u/8*8/(-2) a multiple of 3?
True
Suppose 13*d + 30 = 14*d. Is 15 a factor of d?
True
Suppose m - 9 - 6 = 0. Is (18/m)/((-4)/(-60)) a multiple of 9?
True
Let t = 2 + -2. Let s(y) = 27*y - 1. Let m be s(1). Suppose -k + 2 + m = t. Is k a multiple of 17?
False
Suppose -4*m - 3*u + 726 = 0, -4*u + 10 - 2 = 0. Is 10 a factor of m?
True
Let r(d) = d**3 + 3*d**2 + 3*d + 3. Let f be r(-3). Let b = f + 6. Suppose b*x - 8 = -2*x. Is 4 a factor of x?
True
Let a(b) = -b**3 - 5*b**2 + 5*b. Let c be a(-6). Suppose 0 = -r + c*r - 125. Does 11 divide r?
False
Let q(s) = 6*s**2 + 9*s - 6. Let r(a) = -a**2 - a**2 + 3*a - 2 + 4*a**2. Let z(x) = 6*q(x) - 17*r(x). Is 12 a factor of z(2)?
True
Let d(j) = -j**3 + 5*j**2 - 3*j + 4. Let l be d(6). Let f = 138 + l. Is 24 a factor of f?
False
Let n(k) = -21*k + 3. Is 12 a factor of n(-1)?
True
Suppose 5*h = 2*r + 2*r - 85, -39 =