le of 22?
False
Let y = -182 - -325. Is 8 a factor of y?
False
Let h(y) be the second derivative of y**5/20 - y**4/12 + y**3/3 - 3*y**2 + 5*y. Does 25 divide h(4)?
True
Let m(x) = x**3 - 7*x**2 + 5*x + 7. Let t(b) = -b**3 + b**2. Let r be t(1). Suppose -14 = -r*w - 2*w. Is 16 a factor of m(w)?
False
Suppose -h + 55 = -3*g + 7*g, 25 = 3*g + 4*h. Does 5 divide g?
True
Suppose -4*w = -2*w + 4. Let c be w/(2 - 27/12). Suppose -n - 3 = -c. Is n a multiple of 2?
False
Suppose 0 = -5*q - 44 + 4. Is 3 a factor of q/(-4) + (8 - 2)?
False
Let d = 28 + -10. Is 5 a factor of d?
False
Does 3 divide 7*(-6)/63*-12?
False
Let y(j) = 7*j - 1. Suppose -9 = -2*h - 4*r - 1, 4 = h - 4*r. Does 9 divide y(h)?
True
Let m = 9 + -83. Let i = 170 + m. Let y = i - 63. Is 9 a factor of y?
False
Let x(k) = 2*k**2 - 4*k. Is x(4) a multiple of 7?
False
Let a be (2 + -5)*2 + -2. Suppose 4 - 15 = -s + d, -4*s + 43 = -5*d. Let c = s + a. Is 2 a factor of c?
True
Let j = -16 + 25. Suppose j = -3*v - 3*r, 0 = -3*r - 15. Suppose -v - 46 = -3*m. Is m a multiple of 8?
True
Suppose -4*y - 125 = -3*j, 0 = -4*j - y - y + 152. Suppose -o - 6 = -j. Is 11 a factor of o?
True
Suppose -80 = -33*f + 32*f. Does 16 divide f?
True
Suppose 2*c + 16 = 4*y, 0 = 3*c - y - 2 + 1. Let x(h) = 18*h. Is 18 a factor of x(c)?
True
Let g = 6 - -2. Suppose u + 7 = -3*c, -3*c = 2*u + c + g. Suppose 3*i + 3*s - 7 = 2*i, u*s = -8. Does 15 divide i?
False
Let l be (-2 - -1)*(0 + -1). Let n be -3 + 1 - -2*l. Suppose j - 6*j + 30 = n. Does 3 divide j?
True
Suppose 7*n - 65 = 5. Is n a multiple of 10?
True
Let b = 9 + 36. Suppose 6*n - b = 3*n. Is 8 a factor of n?
False
Let c(y) = 3*y**3 - y**2 - 3*y - 3. Is 6 a factor of c(3)?
True
Let w(u) = 175*u + 1. Does 22 divide w(1)?
True
Let k = 106 - 63. Let h = k + -28. Is 7 a factor of h?
False
Suppose -2*s - 422 = -2*l + 3*s, 0 = l + 4*s - 224. Is 54 a factor of l?
True
Is 17 a factor of ((-60)/2)/((-18)/24)?
False
Let h(d) be the first derivative of -15*d**2/2 + 1. Does 15 divide h(-2)?
True
Let v(u) = 10*u + 44. Is 37 a factor of v(13)?
False
Let k(o) = o**2 - 7*o + 7. Let d be k(6). Let a be 26/6 - d/3. Suppose -4 = -x + a*t + 19, -3*t + 115 = 5*x. Is x a multiple of 13?
False
Let n = 3 - -39. Suppose 4*v - n = 66. Is 14 a factor of v?
False
Let o(x) be the second derivative of x**3/6 - 5*x**2/2 + 3*x. Let t be o(7). Suppose -2*b - t*b + 35 = w, -5*w - 4*b = -143. Is w a multiple of 10?
False
Suppose b + 152 = u - 6*u, -8 = 4*b. Let v be (-18)/u - 394/(-10). Suppose -3*i + r + 30 = 0, 0*i - v = -4*i + r. Does 10 divide i?
True
Let o = 5 + 7. Suppose -5*a + 0 + o = -4*n, -4*a + 18 = n. Suppose -5*i = 3*z - 101, 0 = z + 3*i - a - 31. Is 17 a factor of z?
False
Let l(p) = -3*p - 31. Let h be l(-15). Suppose -5*g - 12 = -3*w - 3*g, 1 = 5*w + 3*g. Suppose w*z = z + h. Is 7 a factor of z?
True
Let o = 3 - 3. Suppose o*r - r - f = -11, 4*r - 2*f = 26. Is r a multiple of 8?
True
Let n(s) = -4*s**3 + s**2 - 2*s + 1. Is 8 a factor of n(-2)?
False
Suppose 8 - 2 = a. Let g = -12 + 23. Let y = a + g. Is y a multiple of 11?
False
Does 21 divide (1/(-3))/((-5)/15) - -188?
True
Let i = 32 - 9. Suppose -2*k = -17 - i. Is 20 a factor of k?
True
Let p = -1 - 3. Let b(o) = -o**3 - o**2 + 2*o + 2. Is b(p) a multiple of 21?
True
Suppose -2*b - a - 23 = 0, 4 = -b - 4*a + 3. Let z be ((-86)/6)/(6/18). Let i = b - z. Does 15 divide i?
True
Let z(c) = 22*c**2 - 4*c + 4. Let i(r) = -11*r**2 + 2*r - 2. Let a(m) = 5*i(m) + 3*z(m). Is 14 a factor of a(2)?
True
Let u = 3352 - 2046. Suppose 5*m - 184 = u. Does 11 divide m/10 + 1/5?
False
Suppose 2*u = -4*w + 5*u + 21, 0 = -3*w + 2*u + 15. Suppose w*z = -a + 31, 0 = -2*a - z + 4*z + 44. Is a a multiple of 6?
False
Let q be (-2 + 2)/(-3) + -4. Let o = q - -1. Is 13 a factor of (26/3)/((-1)/o)?
True
Let x = 233 + -101. Is x a multiple of 66?
True
Does 4 divide (3276/(-210))/((-6)/40)?
True
Suppose -4*x - 280 = 3*v - 8*v, -4*x = -3*v + 176. Is v a multiple of 11?
False
Let k = -57 + 61. Let p(h) = -h**3 + 7*h**2 - 3*h - 4. Let z be p(6). Suppose -w + g = -1 + 2, -k*g + z = w. Is w even?
True
Let h = -36 + 84. Does 13 divide h?
False
Suppose -s = 2*v + 4*s - 19, 5*s = -v - 3. Is v a multiple of 12?
False
Let h = 45 + 25. Is h a multiple of 19?
False
Suppose 0*s - 3*o - 257 = -5*s, 5*o + 167 = 3*s. Is s a multiple of 20?
False
Does 11 divide ((-44)/6)/((-24)/108)?
True
Let x(o) = 4*o**3 + 2 - 3*o**3 - 5 - 2*o**2 - 2*o**3 - 2*o. Is 15 a factor of x(-4)?
False
Let u(v) = -v + 3. Let r be u(2). Let a(p) = 52*p**3 + p**2 - p. Does 26 divide a(r)?
True
Suppose -18 = -2*j - 3*i, 2*i + 18 - 46 = -4*j. Let x = j + 2. Let v = 1 + x. Does 5 divide v?
False
Let t = 1 + -2. Is t/(-3) + (-44)/(-12) a multiple of 4?
True
Let j(b) = -b**3 - 6*b**2 + b + 3. Let s be j(-6). Let w = -1 - s. Is 2 a factor of w?
True
Let u be 21*((-16)/(-6) + -2). Suppose -m + 3*m = -a + u, 3*m - 20 = -a. Let x = m + 13. Does 11 divide x?
False
Let w(j) = -j**2 - 2*j - 1. Let l be w(-1). Suppose g - t = t - 6, -t + 4 = l. Suppose -5*m - 66 = -g*k - m, -k + 17 = 2*m. Is 20 a factor of k?
False
Suppose -20 = -4*g - g. Suppose 2*v = 4*u + 26, -2*v + 5*v + 6 = -3*u. Suppose -g*b + 4*j + 27 = v*j, 5*b - 3*j = 39. Is b a multiple of 3?
True
Suppose a + 3*g - 16 = -a, -5*a + 5*g = -15. Suppose 3*b = -5*l - 50 + 127, -123 = -a*b - 3*l. Does 8 divide b?
True
Suppose y - 40 = 3*l, -4*l - 44 = -5*y + 24. Let u = 68 + l. Suppose -t = -u + 18. Is t a multiple of 19?
True
Is 3 a factor of 84/9 + (-2)/6?
True
Let s(x) = -2*x - 3*x - x**2 + 2*x**2 + 2 + 0*x**2. Suppose -o + n + 1 = -2, -3*n + 21 = 3*o. Is 2 a factor of s(o)?
True
Does 24 divide (1106/(-56))/(2/(-8)) - 0?
False
Let d(g) = -5*g - 3. Let a be d(3). Let u = 47 - a. Suppose 0*j - 5*j = -u. Is j a multiple of 8?
False
Suppose -2*n = -6*n + v - 44, v = -3*n - 26. Suppose 4*o + 30 = -o. Let y = o - n. Is 4 a factor of y?
True
Suppose 70 + 37 = a. Is a a multiple of 18?
False
Let y be 1/(3/9 - 0). Suppose -y*r + 331 = 7. Suppose 0*q = -5*q + 3*d + r, 5*d = q - 4. Does 16 divide q?
False
Let a be (-325)/(-10) - (-1)/(-2). Suppose -2*m - 2*h = h - a, -3*h = 6. Is 5 a factor of m?
False
Suppose 4*o - 25 = -1. Suppose -8 = 2*d, -f - d = -8 - o. Is 9 a factor of f?
True
Let q = -56 - -78. Suppose -3*s - q + 79 = 0. Does 5 divide s?
False
Suppose -8*m + 4*m = -164. Is 28 a factor of m?
False
Suppose -5*m - 6*m = -3432. Is m a multiple of 13?
True
Suppose 5*d - 204 = -2*j, 4*d + 3*j = 5*d - 51. Does 7 divide d?
True
Let h = -174 - -268. Is h a multiple of 21?
False
Does 8 divide 5/(-4 + 66/16)?
True
Let f(u) = -u**2 - 11*u - 4. Let i be f(-9). Suppose x = i + 17. Is x a multiple of 20?
False
Let k(b) = b**3 - b**2 + 10*b. Is k(5) a multiple of 16?
False
Let d = -4 - -6. Suppose -5*z + 0*b + 172 = b, -z + 38 = d*b. Is z a multiple of 14?
False
Let n = -140 + 262. Let x = 188 - n. Does 14 divide x?
False
Let n(d) = -7*d**3 + 11*d**2 + 18*d + 22. Let q(z) = -15*z**3 + 22*z**2 + 37*z + 45. Let r(x) = 13*n(x) - 6*q(x). Does 7 divide r(12)?
False
Is ((-1 - 26)/(-3))/((-6)/(-64)) a multiple of 29?
False
Is 6 a factor of (-8)/6*9/(-2)?
True
Let v = -60 - -96. Is v a multiple of 18?
True
Let u(c) = -c - 5. Let i be u(-2). Let b(q) = -12*q. Does 9 divide b(i)?
True
Let b be 11/2 + (-3)/2. Suppose 15 = c - b*c. Is 11 - c/(10/4) a multiple of 13?
True
Suppose g = -4*t + 3, -t - t + 5 = -3*g. Let s be g*2*18/(-12). Suppose 5*v = -20, -4*v + 6 = s*k - v. Does 4 divide k?
False
Is (4 + -3)*(0 - -41) a multiple of 9?
False
Let n(l) = -l**3 + 8*l**2 - 5*l - 9. Let q be n(7). Let b = 4 - 6. Let h = q + b. Does 3 divide h?
True
Suppose d = 7*o - 2*o - 110, 2*o - 2*d = 36. Is o a multiple of 12?
False
Let p be -3*3/(-9) - 1. Suppose p = x + x + 4. Is 6 a factor of (x/(-5))/((-2)/(-60))?
True
Let z = 29 - 19. Let u be (-194)/(-4) + z/(-20). Suppose -5*s = 2*t - 80, -2*t = 3*s + 3*t - u. Is 7 a factor of s?
False
Let x(j) be the first derivative of -j**5/20 + 11*j**4/12 - 5*j**3/3 + 3*j**2 + 2*j - 2. Let a(f) be the first derivative of x(f). Is 6 a factor of a(10)?
True
Let n(g) = 28*g**2 - 4*g + 1. Is 13 a factor of n(3)?
False
Let t = 50 + -34. Is 6 a factor of t?
False
Suppose -1 = 3*h + 8. Let l = 48 - h. Does 17 divide l?
True
Suppose 4*q - 2 = 5*s, 0 = -2*q + 3*s 