e of 18?
True
Let i be (-4)/(-10)*(9 - -1). Suppose 6*d - i*d - 54 = 0. Does 28 divide d + (-1 - (0 + -2))?
True
Let l = 1831 + -1684. Is l a multiple of 3?
True
Let m = -6 - -114. Is 5 a factor of m?
False
Suppose -72 = 3*o - 3*y, 0 = 2*o + y + 25 + 29. Is (-542)/o + 4/26 a multiple of 17?
False
Suppose -63*y + 65*y - 1673 = -q, 3*y = 5*q + 2516. Is y a multiple of 31?
True
Suppose -3*p - 2 + 77 = 0. Let w = p - 21. Suppose -o + w*o - 72 = 0. Does 6 divide o?
True
Let t be -5 + -3 + 6 - -5. Let m be -8 + ((-6)/2)/t. Let a(q) = -q**2 - 10*q + 10. Does 19 divide a(m)?
True
Let d = -92 - -92. Is 16 a factor of (84 + d)/(4 - (-13)/(-4))?
True
Let o(w) = w**2 - 6*w - 4. Let p be o(7). Suppose -p*u - 80 = -380. Is 22 a factor of u?
False
Let u be (7 - -1) + (-18)/(-18). Suppose -u*o + 92 = -8*o. Does 23 divide o?
True
Let k = -2728 - -4040. Is 16 a factor of k?
True
Let x = -124 + 524. Is 20 a factor of x?
True
Let n be ((-70)/(-25))/(1/(-5)). Let z(f) be the first derivative of f**3/3 + 5*f**2 - 20*f - 13. Is 28 a factor of z(n)?
False
Let f(r) = r**3 + 1. Let o be f(1). Suppose 0 = -q, -o*q = v + v. Suppose 0 = -v*n - 4*n + 48. Is n a multiple of 5?
False
Suppose 115 = 2*a + 3*w - 7, 2*a = -5*w + 118. Let q = a + -22. Let k = q + -21. Is 21 a factor of k?
True
Suppose 2*v + 318 = -5*n, -190 = v + 2*n - 29. Let r = -45 - v. Suppose 3*a - r = -a. Is 13 a factor of a?
False
Let d be 4/2*(18/3)/(-12). Let p = 81 + d. Does 9 divide p?
False
Let p(m) = 79*m**3 + 2*m**2 + 11*m + 3. Is p(3) a multiple of 18?
False
Suppose 5*z = l - 8, 3*z - 4*z = -2*l + 34. Is (69/9 + -4)*l a multiple of 22?
True
Let f(p) = -124*p + 209. Is 22 a factor of f(-20)?
False
Suppose 110 = 5*r - 16*r. Let n = r - -16. Is 2 a factor of n?
True
Suppose 28*i - 20402 = 486. Is 20 a factor of i?
False
Let l be (2/(-4) + 49/(-14))/(-2). Suppose l*x - 33 = -25. Is x a multiple of 4?
True
Let y(v) = -2*v**2 - 4*v + 3. Let n be y(-4). Let o = -19 - n. Let i(u) = 2*u**2 + 4*u - 4. Is 22 a factor of i(o)?
True
Suppose 1353 = -4*u + 1573. Is 3 a factor of u?
False
Suppose 3*w - 8061 = 264. Does 22 divide ((-5)/(-10))/(-3 + w/924)?
True
Let q(m) = 6*m + 6. Let w be q(2). Suppose 17 + w = f. Does 16 divide f?
False
Suppose -68*r - 1203 = -71*r. Does 21 divide r?
False
Let c(g) = -g**3 + 40*g**2 + 132*g - 13. Does 13 divide c(43)?
False
Let p be (-556)/(-5) + 36/45. Let v = p + -68. Is 31 a factor of v?
False
Let h(b) = -b**2 - 13*b + 3. Let s(v) = v**2 + 13*v - 3. Let u(l) = -4*h(l) - 5*s(l). Let w(p) = p**2 + 10*p - 1. Let q be w(-9). Does 11 divide u(q)?
True
Let j = 12086 - 8604. Is j a multiple of 44?
False
Let t = -15 - -10. Let m be 1*t/(15/231). Is 584/14 - 22/m a multiple of 14?
True
Let y(j) = -j - 17. Let i be y(-29). Suppose -4*k + i + 193 = o, 3*o - 660 = 3*k. Does 8 divide o?
False
Suppose 0 = -j + 5*n + 29, j - 23 = -j + 3*n. Suppose 5*v + 15 = 5*q, -q = -v - j*q + 17. Suppose v*z = 4, -5*w = -z - 4*z - 120. Does 15 divide w?
False
Let q = 170 - 66. Is 13 a factor of q?
True
Suppose 82 = 3*x + l, 29 - 137 = -4*x - l. Does 8 divide x?
False
Suppose 5*l + 13 = -2*w, 3*w - 3*l = -5*l - 3. Suppose -h = -0*h - w, 3*s - 199 = 2*h. Is s a multiple of 18?
False
Let b(w) be the second derivative of -16*w**3/3 - 5*w**2 - 5*w. Let l be b(7). Does 13 divide -14*(l/(-4))/(-9)?
True
Suppose 7*t - 4*t - 2*h = 20, 0 = -2*t + h + 13. Suppose t*d - 104 = 2*d. Let b = -11 + d. Does 9 divide b?
False
Let a = -620 + 782. Is 9 a factor of a?
True
Suppose 21*w + 123 = -3. Let g(l) = l + 7*l**2 + 9 - l**3 + 2*l**3 + 0*l**3. Is 11 a factor of g(w)?
False
Suppose -4*m + 645 = 181. Suppose u - 2*u + 2*y = -81, -5*y + m = u. Is u a multiple of 21?
False
Let g be -2*4 + (-7 - (-11 + 1)). Let f(b) = -3*b**3 - 5*b**2 + 6*b + 6. Is 48 a factor of f(g)?
False
Let p(x) = x**3 + 32*x**2 - 34*x + 26. Is p(-33) a multiple of 3?
False
Let z(v) = -v + 6. Let h be z(0). Let r = 43 - h. Suppose r = d - n, -3*d + 109 = -3*n - n. Is 25 a factor of d?
False
Let x(y) = 78*y + 24. Does 25 divide x(2)?
False
Let h(w) = 2*w - 9 + 0 + 6. Is 6 a factor of h(8)?
False
Let j(d) = -3*d + 13. Let y be j(6). Is 17 a factor of 0 + -2 + y + -1 + 59?
True
Let k(j) = j**2 - j - 2. Let n be k(3). Suppose -2*h - n + 10 = 0. Suppose 0 = -h*o + 1 + 29. Is 10 a factor of o?
True
Let d(a) = -a**3 + 5*a**2 + 7*a - 1. Suppose y - 2 = 3. Let l be d(y). Is 16 a factor of -5 + 3 + l/1?
True
Let b(i) = 30*i - 11. Let p be b(-5). Let w = p + 303. Suppose w = 3*d - 2. Is 12 a factor of d?
True
Is 5/150*-4 - 6362/(-15) a multiple of 53?
True
Suppose 2*g + 2 = 8. Suppose -160 = -g*v - 5*p, -4*v - 5*p = -0*p - 220. Is 4 a factor of v?
True
Let z(m) = m**3 - 3*m**2 + 3*m + 3. Let p be z(3). Suppose -5*x - p = -9*x. Is (20/x)/((-8)/(-120)) a multiple of 28?
False
Let w = -243 - -165. Let g = w + 126. Is 4 a factor of g?
True
Let r = 590 + -275. Does 15 divide r?
True
Suppose 1944 + 4736 = 2*o. Does 101 divide o?
False
Suppose -5238 + 345 = -3*v. Is 19 a factor of v?
False
Let o(m) = 367*m**2 - 11*m - 10. Is 64 a factor of o(-1)?
False
Suppose -3*v = -5*z + 8 + 5, v + 3*z = 19. Suppose -v*k - 4*y + 848 = -0*y, 3*k - 664 = 4*y. Is k a multiple of 36?
True
Suppose 19*w - 14*w - 3249 = 3*u, 0 = -2*w - 3*u + 1287. Is w a multiple of 41?
False
Suppose -7 = 5*g - 2. Let s(v) = 4*v**2 + 2*v + 1. Let y be s(g). Suppose d = 5*q - 339, 2*q + 47 = y*q + 5*d. Does 16 divide q?
False
Let j(f) = -12*f**2 - f + 8 - 9*f + 15*f**2. Is 11 a factor of j(6)?
False
Let p be (2 + -2)/(-5 + 4). Suppose -3 = -v - p*v. Suppose v*b - b - 110 = 0. Is b a multiple of 11?
True
Suppose -2*f = -42 - 46. Is f a multiple of 21?
False
Let x be (-6)/(-36) + 92/24. Suppose -6*s = x*i - s - 685, i = -2*s + 175. Is i a multiple of 37?
False
Let k(u) = -u**3 - 6*u**2 - 7*u + 1. Let g be k(-5). Let s = g - 7. Suppose -4*p + 79 = -3*f + 6, -5*p + 130 = s*f. Does 11 divide p?
True
Let c(m) = 6*m**2 + 201*m + 25. Is 5 a factor of c(-36)?
True
Suppose -6*l - 159 = 303. Let q = 81 + l. Does 4 divide q?
True
Let r be 1/(4/4) - -4. Does 28 divide 7*(27 + r + -4)?
True
Let u = 24 - -9. Suppose 2*w = -3*x + 54, 0*w - 65 = -5*x + 5*w. Suppose -z + u + x = 0. Is 11 a factor of z?
False
Let o be 1*(-3)/(-6)*0. Suppose 11*a - 13*a + 72 = o. Does 22 divide a?
False
Let x = -6 + 8. Let m be (-1)/(-6) - 5/30 - -5. Suppose -x*p = -m*p + 129. Does 24 divide p?
False
Let u(j) = 20*j**2 + 2*j - 4. Let o = 31 + -28. Is u(o) a multiple of 24?
False
Suppose -g - 1 = 4*l, 5*l + 2*g - 2 = 4*g. Suppose l*z + 4*z = -8. Is 27 a factor of 645/24 - z/16?
True
Let v = 37 + -32. Suppose 0 = -v*i + 8*i - 612. Does 12 divide i?
True
Let j = 11 + -4. Let s(r) = 2*r**2 - r - 19. Is s(j) a multiple of 8?
True
Let y(w) = w + 3. Let o be y(2). Suppose 7 - o = z + 3*j, j = -1. Suppose 6*r - 2*r + 3*t = 79, 0 = r + z*t - 41. Is r a multiple of 8?
True
Suppose -d - 3*x = -1698, -3*d - 4*x + 6197 = 1098. Does 84 divide d?
False
Suppose 5*h = 11*h. Suppose h = x + x - 28. Is x a multiple of 2?
True
Let b(x) = -21*x - 462. Is 7 a factor of b(-56)?
True
Let d(w) be the third derivative of -w**5/4 + w**4/12 + w**3/6 + w**2. Let c be d(2). Let h = 119 + c. Is 21 a factor of h?
False
Let k be (3/(-3))/(4/(-56)). Is 7 a factor of k/4*(17 - -11)?
True
Let a(n) = n**3 - 6*n**2 + 5*n + 6. Let s = 23 + -18. Let i be a(s). Suppose 4*h + 5*k = 81, -i = -2*k + 4. Is h a multiple of 7?
True
Let l(t) = t**3 - 5*t**2 - 6*t - 10. Let g be l(7). Let d = g + -27. Is d a multiple of 19?
True
Let i(l) = -5*l - 5*l - 4 - 2*l. Suppose 4*g - 2*g + 27 = -3*p, -3*g = -3*p - 27. Is i(p) a multiple of 26?
True
Let z = -45 + 56. Suppose 3*q - z = 28. Is q even?
False
Let j(h) = 7*h**2 + 8*h + h - 4 + h**3 - 2*h**3. Let l be j(8). Let z(n) = -n**3 + 5*n**2 + 2*n - 3. Is 21 a factor of z(l)?
True
Let v(a) = -a**2 + 12*a + 6. Let p be v(10). Suppose h = 4*q - 0*h - p, -3*q + 20 = -h. Is 3 a factor of q?
True
Is 100 a factor of -3*(-6)/126 + 21664/7?
False
Suppose 5*o - 7*o = -3038. Is 93 a factor of o?
False
Let s(b) = -6*b**2 + 6*b + 3. Let n(c) = 3*c**2 + 0 + 14*c**2 - 17*c - 8. Let t(k) = 4*n(k) + 11*s(k). Does 13 divide t(-2)?
True
Let c(w) be the third derivative of w**5/60 + 11*w**3/6 - 12*w**2. Is c(-6) a multiple of 18?
False
Let n = -35 + 40. Suppose -s +