s 9 a factor of s?
False
Let x(t) = -t**3 - 4*t**2 - 5*t - 4. Let m be x(-3). Let a = 38 + -6. Suppose 4*u + m*w - 90 = 0, 4*w + a + 41 = 3*u. Does 23 divide u?
True
Suppose -5*h + 2120 = n, 3*n - 8*n = -3*h + 1244. Is h a multiple of 44?
False
Let m(h) = h**3 + 7*h**2 - 7*h - 3. Let p be m(-8). Let x = 20 + p. Is x a multiple of 9?
True
Let l = -10 - -14. Is 1/(l/(2 - -178)) a multiple of 20?
False
Suppose -4*x = -20, 3*r - 5*x + 4*x - 1 = 0. Suppose 0 = 5*y, -3*d - 2 = r*y + 16. Is 12 a factor of d*(-1 + -1 + 0)?
True
Let w = 20 + -28. Suppose -33 = 3*s + 27. Let d = w - s. Is d a multiple of 6?
True
Let h be 0/((-3)/(-3 + 2)). Suppose 0 = -2*n - 4*p + 4 + 16, -4*n + p + 49 = h. Does 12 divide n?
True
Let f(x) = x**2 - 18*x - 35. Is f(21) a multiple of 6?
False
Let g(k) be the third derivative of -k**6/120 + k**5/12 + k**4/24 + k**3 - 8*k**2. Does 7 divide g(5)?
False
Suppose -2*l + 0*l - 12 = 0. Let w be l/30 - 506/(-5). Suppose 4*s - w = -37. Is s a multiple of 6?
False
Let c(s) = -3*s - 7. Let i be c(-5). Let k(u) = 2*u - 7. Let w be k(i). Does 8 divide 93/w - (-2)/(-6)?
False
Let l be -2 - (-2 + (-3)/3). Let b = 30 + l. Is 16 a factor of b?
False
Suppose -a = -3*a - 4*k + 94, 240 = 4*a - 5*k. Is 5 a factor of a?
True
Let v be (2 - 1)/((-3)/(-81)). Does 2 divide (v + 0)*1/3?
False
Let o(w) = -w - 5. Let v be o(-9). Suppose -m + 5*d = -2*m - 13, -3*d - 17 = -4*m. Suppose -4*x - v = j + 1, -5*j + 29 = m*x. Is 7 a factor of j?
True
Suppose 2*t = -3*u - 1, u + 32 = 5*u - 4*t. Let c(m) = -2*m - 5*m - u*m + 1. Does 20 divide c(-4)?
False
Let z = -135 + 366. Does 33 divide z?
True
Suppose -4*n - 1140 = -5*k, -4*n = -3*k - 2*n + 682. Does 32 divide k?
True
Let b be (5/(-2))/((-1)/2). Suppose f + 0 - b = 0. Let t(l) = -l**3 + 5*l**2 + l + 5. Is t(f) a multiple of 3?
False
Let u = -4 + 9. Suppose -u*s = -2*b + 48, 6 = -2*b - 3*s + 22. Is b a multiple of 7?
True
Suppose 18 = 5*d - 2*c, 2*d + 3 = 3*c + 8. Suppose -3*g + 2*b = -2*g - 48, 0 = 5*g + d*b - 226. Is g a multiple of 13?
False
Let y(r) = -34*r - 24. Is 32 a factor of y(-9)?
False
Let g = -14 - -22. Suppose 4*h - g*h + 64 = 0. Is 16 a factor of h?
True
Let g(m) = -m**3 + 6*m**2 + 5*m - 2. Does 4 divide g(3)?
True
Let u be (0 - 1)*1*-35. Let q = -63 + u. Let p = -5 - q. Is 12 a factor of p?
False
Suppose 3*t - 4*q - 236 = 5*t, 4*t + 516 = 3*q. Let y = -45 - t. Does 27 divide y?
True
Let k = -13 - -13. Suppose a - 11 = -k. Does 9 divide a?
False
Does 6 divide -2 + 45 + -3 + 0?
False
Suppose -2*o + 109 = 3*n, 0 = 3*o + o + 2*n - 238. Is o a multiple of 5?
False
Let p(t) = -t**2 + 18. Suppose 0 = -2*u + 3*f + f + 4, -2 = 5*u + 2*f. Does 9 divide p(u)?
True
Suppose 117 = -75*v + 78*v. Is 2 a factor of v?
False
Let n(w) = 12*w**3 + w**2 + 4. Let z be n(3). Suppose -5*s + z = 102. Is 17 a factor of s?
False
Let n(d) = 24*d**2 + 1. Let i be n(1). Suppose -i = 3*z - 8*z. Suppose -60 = z*o - 310. Does 25 divide o?
True
Let x = -15 - -22. Let f be (-23)/7 - (-2)/x. Is (3/f)/(2/(-4)) a multiple of 2?
True
Suppose 0*k + 13*k - 1040 = 0. Does 16 divide k?
True
Let q be -1 + 1 + -2 + -2. Let x = q - -6. Suppose 5 = -x*h + 13. Does 4 divide h?
True
Let g(q) = -q**3 - 3*q**2 + 3*q - 2. Let l be g(-4). Does 5 divide 200/9 - l/9?
False
Suppose 4*z = -l + z - 4, 6 = -4*l - 2*z. Let s(m) = -24*m**3 + m**2 - 1. Is s(l) a multiple of 24?
True
Does 12 divide -3 - (-8 + 3) - -70?
True
Suppose -4*c = -w + 7 - 2, -4*c - 15 = -3*w. Is 11 a factor of (-1)/(((-10)/64)/w)?
False
Let g(w) = w**2 + 6*w + 12. Is g(-5) a multiple of 7?
True
Does 15 divide (-12)/30*(-169 - 1)?
False
Let r be 48/(-6)*1/(-2). Suppose -4*q + 20 = q, 0 = r*j + 2*q - 104. Is 9 a factor of j?
False
Suppose 2*z + 8 = g, 0*z - 26 = -5*g + 3*z. Let x(n) = 2*n**2 - 5*n + 6. Is 18 a factor of x(g)?
True
Let c = -99 + 177. Does 26 divide c?
True
Suppose i - 4*i = 249. Does 19 divide (i + -1)*2/(-3)?
False
Let x = 4 + -4. Suppose x = -3*k - 3*f + 26 + 22, 3*f + 3 = 0. Is k a multiple of 6?
False
Let d be 1/(3/3) + -103. Let r = d + 147. Does 11 divide (-4)/8 - r/(-2)?
True
Suppose 0 = 5*m - 0 + 5. Is 10 + 2 + (-1)/m a multiple of 6?
False
Suppose 0 = -q + v + 102, v + 63 = 3*q - 247. Is 10 a factor of q?
False
Let u(g) = g**2 + 5*g + 11. Is 12 a factor of u(6)?
False
Let w = 180 - 127. Suppose -3*z + 5*j + 210 = 0, 3*j + j = -z + w. Is 12 a factor of z?
False
Let n = 10 + -24. Suppose 2*m + 4*g - 88 = 0, 4*m - 4*g = 152 + 24. Let c = m + n. Is 13 a factor of c?
False
Let f(i) = -i**3 + 4*i**2 + 6*i - 5. Let m be f(5). Let p(w) = -w**2 - 5*w + 6. Let r be p(-6). Suppose r*u - u + 10 = m. Is u a multiple of 4?
False
Let h = -13 + 19. Suppose s - h*s = -160. Does 16 divide s?
True
Let r be ((-10)/4)/(2/(-4)). Suppose 4*m + 0 = z - 15, 5*z + r = 4*m. Does 21 divide 212/5 + 2/m?
True
Let h = 20 + 0. Is h a multiple of 10?
True
Suppose -37 = -2*k + 7. Does 6 divide k?
False
Let r(h) = h**3 - 3*h**2 - 2*h - 2. Let g be r(4). Let a = 6 - g. Does 6 divide 1/((-2)/(-12)) + a?
True
Let t = 305 - 217. Is t a multiple of 7?
False
Suppose 5*n = 3*x - 35, -3*x = 2*x + 3*n - 13. Let z = 1 + x. Does 3 divide z?
True
Does 2 divide (11 - 1) + 15/(-5)?
False
Is -3*(-10)/(4 + -2) a multiple of 4?
False
Let o(b) be the third derivative of -b**6/120 + b**5/12 - b**4/12 + 2*b**3/3 - 7*b**2. Is 6 a factor of o(4)?
True
Suppose m + 4 = 0, 28 = -y - 5*m + 10. Let n be y + 2/(-4)*0. Suppose -n*b = -3*h + 4*h - 12, -5*b - 35 = -4*h. Does 10 divide h?
True
Let j be 12 + (-3)/3 + 1. Is 23 a factor of 2/j - (-550)/12?
True
Let x = 10 + -6. Suppose 0 = x*r - 2 - 14. Suppose -r*i + 48 = 4*p + 4, 4*i = -5*p + 57. Is 13 a factor of p?
True
Let y = 68 - -9. Does 13 divide y?
False
Let w = 192 + -60. Is w a multiple of 33?
True
Does 3 divide 504/30 + (-1)/(-5)?
False
Suppose 3*h = 5*d - 122, 2*d + 2*d + 4*h = 104. Does 3 divide 120/d + (-1)/(-5)?
False
Let n = -22 + 38. Is 8 a factor of n?
True
Let g(m) = -m**3 + 11*m**2 + 2*m - 9. Let v be g(11). Suppose 5*f - 232 - v = 0. Is f a multiple of 25?
False
Let l(y) = -y**2 - 5*y + 8. Let f be l(-6). Suppose -f*z + 12 = 2. Suppose z*d + 0*d - 55 = 0. Does 4 divide d?
False
Let x = -9 - -11. Let l be x - (23 - (-6)/(-2)). Is (-6)/l - 26/(-3) a multiple of 9?
True
Suppose -3*l - 4*s + 130 = 0, 4*l + 2*s = 7*s + 163. Is 14 a factor of l?
True
Suppose -3*q = -4*q + 213. Is 19 a factor of q?
False
Let m(h) = 19*h**2 + h. Let y be m(2). Let r = y - 8. Does 9 divide 2 + (r/2 - 3)?
False
Is -6*(671/6)/(-11) a multiple of 25?
False
Let s be (-2 + 2 - -3)/(-1). Is (-5 + -10)*4/s a multiple of 10?
True
Suppose -5*y = -5*d - 735, -y = -0*y - 2*d - 150. Does 12 divide y?
True
Suppose -4*o = -5*k - 991, 3*k - 2*o = -573 - 20. Is (k/(-12) - 3)*8 a multiple of 18?
False
Suppose 0*l + 4*l - 5*q = 36, -20 = -l + 4*q. Does 22 divide l*3/18*33?
True
Let k(a) = 7*a**3 - 2*a - 1. Suppose -1 = -2*s + s. Let p(w) = w**2 + w + 1. Let q(r) = s*p(r) + k(r). Is q(1) a multiple of 5?
False
Let k = 32 - 14. Is 6 a factor of k?
True
Suppose 0 = -5*y - f - 38, -y - 5*f + 50 = -6*y. Let s = 1 + 1. Does 5 divide s + ((-2)/(-1) - y)?
False
Suppose 5*b - b + 8 = 0, 2*b - 356 = -5*c. Is c a multiple of 12?
True
Let a(w) = -w**3 + 7*w**2 + 10*w + 1. Is a(8) a multiple of 13?
False
Suppose 4 = -5*t + 24. Does 3 divide t?
False
Suppose m = -m + 92. Let u = m + -8. Does 19 divide u?
True
Let g(s) = -s**2 - 10*s - 5. Let v be g(-8). Let d(j) = j**2 - 15*j + 7. Let n(k) = 2*k**2 - 29*k + 13. Let q(l) = v*d(l) - 6*n(l). Does 2 divide q(8)?
False
Suppose -2*x - 3*x - f = -415, 0 = -5*f - 25. Suppose -2*s - s = -x. Does 14 divide s?
True
Suppose -3*m - 2*y + 5 = -64, -3*y + 41 = 2*m. Is 8 a factor of m?
False
Let q be 30/(-5)*2/(-3). Suppose 4*v - q*c = 192, v - c = -v + 92. Let b = -30 + v. Is b a multiple of 5?
False
Let h be -2 + 3 + 3 + 7. Let b(t) = 3*t - h - t + 0*t. Does 5 divide b(8)?
True
Let h(o) = 65*o**2 - 11*o - 12. Does 8 divide h(-1)?
True
Suppose -5*r + 80 = -0*r. Suppose 3*d = r + 2. Is (24/d)/(4/6) a multiple of 3?
True
Let j be (3 + 5/(-2))*0. Suppose j*b - 20 = -5*b. Suppose 0*c = -c + b. Is c a multiple of 3?
False
Let k(g) = 10*g + 4. Let w be k(-3). Let s = -2 - w. Suppose -s = 4*c - 76. Is 13 a factor of c?
True
Suppose 43 = 2*g - 41. Is g a multiple of 16?
False
Le