u - 2*t. Let x = u + 6. Is 4 a factor of x?
True
Suppose 2*n = -10*h + 11*h - 96, -3*n = h - 81. Does 18 divide h?
True
Suppose 3*m + 2*m = -20. Let g(x) be the third derivative of x**4/24 + 3*x**3/2 + 2*x**2. Is g(m) even?
False
Let m(c) be the third derivative of c**6/120 + 7*c**5/60 + c**4/4 + c**3/3 + c**2. Let y be m(-6). Suppose -y = -o + 2. Is 4 a factor of o?
True
Let i(d) = -d**3 + 7*d**2 - 3*d + 7. Is 7 a factor of i(5)?
True
Let s(b) = 15*b**2 - 7*b + 4. Let y be s(4). Suppose -6*p = -2*p - y. Is 14 a factor of p?
False
Let d = 26 - -7. Does 19 divide d?
False
Let a(w) be the third derivative of -w**5/60 + 15*w**3/2 + 4*w**2. Is a(0) a multiple of 16?
False
Does 9 divide 2 + (2 - 16)/(-2)?
True
Suppose -5*w + 118 + 842 = 0. Is 27 a factor of w?
False
Let t(r) = -13*r**3 - 41*r**2 + 41*r + 43. Let s(j) = -3*j**3 - 10*j**2 + 10*j + 11. Let c(w) = 9*s(w) - 2*t(w). Suppose -3*z - 21 - 6 = 0. Does 15 divide c(z)?
False
Suppose -3*y + 7 - 1 = 0. Let w(b) = 0 - 4 + 2 + y*b + 5*b**2 - b**3. Does 6 divide w(5)?
False
Let d = -3 - -7. Let j(w) = w**3 - 3*w**2 - 2*w - 2. Is 3 a factor of j(d)?
True
Suppose 7 = 2*q - 1. Suppose q*p - 10 = -p, -5*v = -3*p - 24. Suppose 4*u - 56 = 2*l, -2*u + 30 = -5*l - v. Is u a multiple of 12?
False
Let w be -549*1*4/(-12). Suppose 0 = -5*d + 42 + w. Is d a multiple of 15?
True
Suppose u = 2*n - 81, 3*n + 204 = 8*n - u. Suppose 2*r - n = 35. Is 38 a factor of r?
True
Suppose -2*m = 10, -3*m - 115 = -5*a - 0*m. Is 3 a factor of a?
False
Let c = 1 - 3. Let n be c/(-3)*(3 - -48). Suppose 0 = -2*t + 3*t - 4*w - 37, 2*w = -2*t + n. Does 9 divide t?
False
Let g(o) = -4*o**3 + 2*o**2 + o. Let r be g(3). Let y = 44 + r. Let d = 78 + y. Does 16 divide d?
False
Let n be 12/42 + 52/14. Suppose 0 = 5*i + 5*m - 115, 3 = n*i - 4*m - 49. Does 3 divide i?
True
Let l(g) = g**2 + 8*g + 1. Suppose 6*s - s = -45. Is 5 a factor of l(s)?
True
Suppose 0 = 3*t - 3*x - 2*x - 157, -t - x = -55. Is t a multiple of 18?
True
Suppose 0 = 5*p - 205 - 200. Suppose b = -2*b + p. Is 9 a factor of b?
True
Let g(v) = 10*v - 2. Let f be g(1). Suppose 3*r + 325 = f*r. Does 20 divide r?
False
Let o(j) = -3*j - 6. Let z be o(-4). Let a be 0*(-2 - (-1 + 0)). Let b = z + a. Is b a multiple of 6?
True
Suppose 0 = -i - 40 + 3. Let l = 66 + i. Does 29 divide l?
True
Suppose -588 = -2*z - g - 2*g, -5*z - 5*g = -1460. Is 7 a factor of 2/(-5) + z/20?
True
Let c = 106 - 54. Does 52 divide c?
True
Let z(u) be the first derivative of -u**2/2 - u + 2. Let x be z(0). Let y = x + 43. Is 21 a factor of y?
True
Is (2 - 3)*5*(-24)/5 a multiple of 12?
True
Let d(n) = -2*n**3 + 1 + 0*n + 4*n**2 + n + n**3. Let s be d(4). Suppose -2*a + 24 = s*z, -z = a - 7 - 11. Does 11 divide a?
True
Let u(z) = z**3 - 6*z**2 - 13*z + 12. Let l be u(8). Let k = l - 4. Is k a multiple of 8?
True
Let g(a) = a - 1. Let b be g(4). Is 6/18 + 62/b a multiple of 13?
False
Is 490/7*2/5 a multiple of 14?
True
Suppose -2*j + 5*j = 15. Suppose -j*x - 2 + 6 = 2*m, -2*x + 5*m = -19. Does 2 divide x?
True
Let z(d) = 4*d - 28. Is z(28) a multiple of 6?
True
Does 14 divide (-2)/(-1) + (-1)/(3/(-714))?
False
Let y(a) = 5*a**3 - a**2 + 2*a - 1. Let u be y(1). Suppose 0 = u*q - 117 - 18. Is 12 a factor of q?
False
Let l be (2 - 0) + 0 + 46. Let u = l - 6. Does 13 divide u?
False
Suppose 1344 + 632 = 19*p. Is p a multiple of 13?
True
Let b(c) = 15*c + 17. Let s(x) = 22*x + 25. Let g(i) = -7*b(i) + 5*s(i). Is g(6) a multiple of 12?
True
Does 10 divide 1/(-2) - (-61)/2?
True
Let h(o) = 4*o**3 - 2*o + 1. Let m be h(1). Suppose 2*q - m*u - 263 = -3*q, 0 = 4*q - 4*u - 204. Is q a multiple of 14?
False
Let t(j) = 2*j**2 - 5*j - 6. Let n be -2 + (3 - (0 + 1)). Suppose -5*h + 3*d + 16 = n, -5*d + 5 = 3*h - 25. Does 17 divide t(h)?
False
Let v(q) = -2*q - 5*q + 3*q + 3*q + 13. Is 12 a factor of v(-9)?
False
Suppose 4*a - 76 - 64 = 0. Is a a multiple of 7?
True
Suppose 4*v + 4 = -a + 11, 0 = 2*v + 4*a. Let g = v - -1. Suppose -c = -4*w + 6 + 27, -36 = -3*w + g*c. Does 6 divide w?
False
Suppose 7*s - 5*s - 16 = 0. Let b(x) = x**3 - 9*x**2 + 6*x + 11. Let y be b(s). Let l(i) = -i**3 - 4*i**2 + 5*i + 6. Does 6 divide l(y)?
True
Let j = 2 - -68. Is j a multiple of 35?
True
Let z(h) = 4. Let n = -3 - -5. Let p(i) = i + 8. Let a(j) = n*p(j) - 5*z(j). Is 3 a factor of a(5)?
True
Let a be (-4)/((-14)/(-5) - 3). Let h = -1 + a. Is 8 a factor of h?
False
Suppose -6*u - 621 = -9*u - 3*c, 3*u = 5*c + 605. Is 41 a factor of u?
True
Suppose 0 = -6*s + s - 4*r + 883, 3*s - 543 = 2*r. Is s a multiple of 30?
False
Let u(w) be the first derivative of -11*w**2 + w - 1. Let y be u(-1). Suppose -y - 9 = -2*o. Is 7 a factor of o?
False
Suppose -3*g = 5*x - 0*x - 617, -4*g + 866 = -2*x. Does 39 divide g?
False
Let g(c) = c**2 - 6*c + 5. Let d be g(6). Suppose 4*v + d = -k + 51, 2*k - 4*v = 92. Suppose 0 = i + 5, -5*l + 2*l + 2*i + k = 0. Is l a multiple of 12?
True
Let k(j) = 9*j + 64. Is k(5) a multiple of 21?
False
Let a = 14 + -10. Let h = -52 - -88. Suppose a*t = f - h, -3*t - t = -3*f + 84. Is 11 a factor of f?
False
Is ((-96)/(-10))/(7/35) a multiple of 12?
True
Suppose -4*l + 48 = 2*s, 2*l + 24 = 4*l + 4*s. Let g(n) = -4*n**2 + 7*n + 10. Let h(m) = -3*m**2 + 8*m + 10. Let u(p) = 2*g(p) - 3*h(p). Is 7 a factor of u(l)?
True
Let l = -22 + 137. Is 8 a factor of l?
False
Suppose -2*u - 3*g + 742 = 0, 5*g + 384 = -14*u + 15*u. Is u a multiple of 22?
True
Let q = 4 - 3. Suppose 2*f + q - 9 = 0. Is f a multiple of 2?
True
Suppose 3 = 3*t - 21. Let r = -13 + t. Does 12 divide (-4)/10 + (-62)/r?
True
Let h be ((-42)/(-4))/((-9)/(-48)). Suppose 0 = -x - x + h. Does 14 divide x?
True
Let v(h) = -h**2 - 7*h. Let w be v(-5). Suppose w*k - 6*k - 328 = 0. Is k a multiple of 12?
False
Let g(o) = -6*o**3 + 7*o**2 + 4. Is 32 a factor of g(-3)?
False
Suppose -4*u = -6*u + 102. Does 28 divide u?
False
Let m be 0 + (-2 - -1)*-2. Suppose -5*o + 335 = -5*z, 4*o - 194 - 68 = -m*z. Suppose -t + 5*s = 18 - o, -t - 5*s = -48. Is t a multiple of 24?
True
Let i be -1*(-2 + 3/(-3)). Suppose -3*s = 5*l - 0*l - 58, -5*s + i*l + 74 = 0. Does 8 divide s?
True
Let r = 410 + -257. Is r a multiple of 17?
True
Let g be -2 + 3 + (-2 - -1). Suppose 4*w + w - 340 = g. Let a = 96 - w. Is a a multiple of 14?
True
Let q be 3/3 + (6 - 2). Suppose -6*g + 6 = -q*g. Is 2 a factor of g?
True
Suppose 5*i = 3*l - 40, -35 = 2*l - 5*l + 4*i. Suppose -2 = -l*h + 558. Does 31 divide h?
False
Is (-1 - -2)/(1 + 0) - -16 a multiple of 3?
False
Let g = -3 + 17. Is 8 a factor of g?
False
Let z be -1*(-1 + (-14 - -1)). Suppose -3*k = -z + 5. Is (k - 1)/((-1)/(-3)) a multiple of 3?
True
Suppose 5*p - o = 15, -5*p + 3*o + 1 = -4. Let j = p + -3. Suppose -q - n = -12 - j, 2*q - 5*n - 26 = 0. Is 13 a factor of q?
True
Let y(z) = z. Let l be y(6). Suppose l = -k + 2*k. Let n = k + 2. Is 8 a factor of n?
True
Let l be 32/24*(-3)/2. Suppose -3*r + 16 + 14 = 0. Does 4 divide r/l*7/(-5)?
False
Let o(f) = f**2 - 4*f + 4. Suppose 0 = 2*m - 2 - 6. Let s be o(m). Suppose -q = g + s*q - 24, -5*g + 201 = -2*q. Is 13 a factor of g?
True
Let h(u) = u**2 - 5*u + 7. Let g be h(11). Suppose -4*x + 182 = 2*i, 81 = 3*x - 2*i - g. Does 16 divide x?
True
Let h(f) = 4*f + 7. Let v(y) = y**2 + y - 1. Let o(u) = -h(u) - v(u). Let x be o(-5). Is (-5 + 25)*x/(-5) a multiple of 11?
False
Let c be (-1)/(1 - 18/21). Let o(u) be the first derivative of -u**4/4 - 2*u**3 + 7*u**2/2 + 9*u - 5. Is o(c) a multiple of 3?
True
Let x = 38 - 0. Is 19 a factor of x?
True
Let u = -4 - -64. Is u a multiple of 6?
True
Suppose 2*h - 91 - 9 = 0. Is h a multiple of 13?
False
Let s(m) = m + 3. Is 8 a factor of s(13)?
True
Let r = 166 - 70. Is r a multiple of 32?
True
Let n be -2*(-2)/(-2) + 0. Let g = -3 + -5. Let x = n - g. Does 4 divide x?
False
Let k = -4 - -4. Suppose k = x - 11 - 25. Does 18 divide x?
True
Let n(j) = j**2 + 8*j + 6. Let z be n(-8). Is 4/(-3 - -5) + z a multiple of 6?
False
Suppose -3*n - a = 22, 4*n + n = -a - 40. Let o be 2 + (2 + -1 - n). Let u = -2 + o. Does 10 divide u?
True
Let p(d) = d**3 + 3*d**2 - 3*d - 1. Let a be (6 + -10)/((-4)/6). Let f be 5/(-2)*a/5. Is 6 a factor of p(f)?
False
Let s(o) = o**2 + 1. Let r(t) = 11*t**3 - 8*t**2 - 5*t - 3. Let k(v) = 7*v**3 - 5*v**2 - 3*v - 2. Let b(n) = 8*k(n) - 5*r(