 the first derivative of -h**3/6 - 13*h - 13. Let d(j) be the first derivative of t(j). Is 5 a factor of d(-5)?
True
Let m = 5 + -5. Let q = m - -3. Is 33 - 3 - q/1 a multiple of 8?
False
Let t = -1065 + 2149. Is 9 a factor of t?
False
Let u be -35 - (3 - 2)/(-1). Let a = -21 - u. Does 3 divide a?
False
Suppose -418 = 3*f - 14*f. Let b = f - -39. Is b a multiple of 11?
True
Suppose 9473 = 13*w - 1655. Does 13 divide w?
False
Let v = -270 - -475. Suppose 5*a = -3*g - 0*g + 290, -3*g = -4*a + v. Is 11 a factor of a?
True
Suppose -17*n = -21*n - 76. Let u = -15 - n. Let m(a) = a**2 + 3*a + 2. Is 10 a factor of m(u)?
True
Suppose -82 - 74 = -u. Let b = 244 - u. Does 22 divide b?
True
Let n = 44 - 30. Is 228/n - (-18)/(-63) a multiple of 3?
False
Let s be (1533/12)/(2/8). Suppose -s = -8*u - 159. Is 4 a factor of u?
True
Suppose -4*y - y = 4*k - 61, y - 5 = k. Let w(p) = -p**3 + 10*p**2 - 8*p - 9. Let v be w(y). Let z(s) = -s + 73. Is z(v) a multiple of 28?
False
Let a be (-790)/(-70) + 4/(-14). Let m(v) = 2*v - 9. Let b be m(a). Suppose b = 2*d - 21. Is 5 a factor of d?
False
Let z = 1255 + -547. Does 3 divide z?
True
Suppose -20*r = -6*r - 1176. Is r a multiple of 4?
True
Let f = -91 - -81. Is 7 a factor of ((-70)/(-25))/((-1)/f)?
True
Is (-1497287)/(-316) + 2/(-8) a multiple of 29?
False
Suppose 3*d + 3*n - 105 = 0, -2*d = -5*d + 3*n + 93. Let x = -19 - -19. Suppose x = 3*t - d - 24. Is t a multiple of 19?
True
Suppose 3*x - 2965 = 1112. Does 8 divide x?
False
Suppose 213 + 26 = x + 3*p, 0 = -x + p + 235. Is 26 a factor of x?
False
Let k(p) = -21*p + 9. Is 16 a factor of k(-3)?
False
Let f = 164 + -78. Is f a multiple of 8?
False
Let h(x) = -x**2 + 10*x + 15. Let p be h(11). Suppose 2*o = 4*a - 6, -4*a - 4*o + 8 = -p. Suppose a*k = -2*k + 3*v + 52, k + 4*v - 32 = 0. Does 8 divide k?
True
Let y(r) = -r**3 - 8*r**2 - 6*r + 10. Let p be y(-7). Suppose l + 21 = p*z + 67, 0 = z - 2. Suppose -5*i = -i - l. Is i a multiple of 8?
False
Let x be (12/(-18))/((-1)/3). Suppose -x*w + 26 = -5*h, 2*h = h - 4. Suppose -a + 23 = w. Is a a multiple of 7?
False
Suppose -49*t + 30618 + 27888 = 0. Is t a multiple of 40?
False
Suppose 6*j = 7*j - 1. Let b(c) = 6*c**3 + 20*c**3 - 1 - c**3. Is b(j) a multiple of 8?
True
Suppose 0 = 7*y - 5*y - 36. Let j be ((-8)/(-6))/(4/y). Does 8 divide ((-99)/j + -2)*-2?
False
Let t = 2 + 1. Let p be (4/(-5))/((-12)/330). Is 2/((-62)/p + t) a multiple of 11?
True
Let d(b) = b**3 + 2*b**2 - b + 1. Let l be d(-2). Suppose 0*m + l*m - 15 = 0. Suppose -160 = -3*n - 2*n + 4*c, m*n - 190 = -2*c. Does 14 divide n?
False
Let j(z) = -184*z - 185. Does 15 divide j(-5)?
True
Let h be (-8)/(-48) + (-23)/(-6). Suppose -7*n = -3*n - h. Is 8 a factor of n/(-2)*160/(-5)?
True
Let t(f) = 5*f + 64. Let k be t(-11). Suppose 10*j - 102 = k*j. Does 17 divide j?
True
Let d = -407 + 745. Is d a multiple of 26?
True
Let x(y) = -120*y + 61. Let z be x(-10). Suppose -z - 503 = -6*i. Is 14 a factor of i?
True
Suppose -2*n - 679 - 630 = -5*u, 0 = -u + 3*n + 267. Is 29 a factor of u?
True
Does 4 divide 4/(-12)*-18 - 3*-83?
False
Let z(j) = 2*j**2 - j. Let n be z(2). Suppose c = n*c. Suppose 5*k - 3*t = 156, c = -3*t - t + 12. Is k a multiple of 9?
False
Suppose q - 12 = -3*q. Suppose -q*l = l + 148. Let c = 85 + l. Is c a multiple of 20?
False
Suppose -4*c + 463 = h, 18*h = 15*h + 3*c + 1404. Is h a multiple of 41?
False
Let a(s) = s**2 - 7*s - 1. Let v be a(3). Let g = v - -15. Suppose 8 = -f - 3*f, -g*f = -z + 30. Does 5 divide z?
False
Let f be (-4)/14 - (-9)/7. Is 158 + 3 + -1 + f a multiple of 6?
False
Let y(s) = -s + 0*s**3 - 2*s**3 + s**3 + 22*s**2 - 16*s**2. Let w be y(6). Does 14 divide 2/4 - 81/w?
True
Does 9 divide (750/(-12) - 12/(-3))*-6?
True
Suppose 7*y - 3611 = 5797. Is 14 a factor of y?
True
Let w(d) = d**3 - 4*d**2 - 13*d - 12. Is 22 a factor of w(7)?
True
Let n = -68 + 65. Is 6 a factor of n - -1 - (-19 + -1)?
True
Suppose -o = -2*q - 166, 0 = q + o + 3*o + 65. Let l = q - -56. Does 5 divide (-12)/15 + (-395)/l?
True
Let l(d) = 81*d**2 + 2*d - 3. Let a be l(2). Suppose 8*p + 37 - a = 0. Is p a multiple of 18?
True
Suppose 0 = -l - 4*l + 45. Let i = -5 + l. Is 2 a factor of i?
True
Let v(p) = 3*p**2 - 2. Let x(d) = -d + 3. Let f be x(0). Let a be v(f). Suppose -w + a = -4*n, 3*w + 2*n = -5 + 24. Does 9 divide w?
True
Does 112 divide 2 + (11 - 570)*-2?
True
Is 2*(-1)/(-2)*205 a multiple of 17?
False
Let l(o) = 6*o**2 - 6*o + 20. Does 8 divide l(6)?
True
Let w be (-12)/4*-1 + 11. Let s = w - 31. Let m = s - -37. Is 8 a factor of m?
False
Suppose -15*b = -13*b - 308. Suppose x = o + 43, -3*x - 3*o + o = -b. Does 16 divide x?
True
Suppose -5*t = -b + 56, -b + 26 + 38 = 3*t. Is b a multiple of 22?
False
Let x = -21 + 16. Does 6 divide x/(-3*(-5)/(-45))?
False
Let q = -257 - -380. Let k = q + -23. Suppose k = v + 4*v. Is 10 a factor of v?
True
Let w = 355 - 154. Suppose 114 + w = 5*o. Is o a multiple of 9?
True
Is 4 a factor of 11 + -1 + -11 - (-186 + 0)?
False
Let b = -74 - -104. Suppose -k + b = 2*k. Is 3 a factor of k?
False
Let s(y) = y**2 + y + 127. Let u be s(0). Suppose 34 = -5*f + 84. Suppose -l - u = -x, x = -2*l + f + 117. Is 32 a factor of x?
False
Suppose -n + 107 = 2*c, 19*n - 14*n + 221 = 4*c. Does 18 divide c?
True
Suppose 2 = -2*p - 0. Let g = p + 6. Suppose 5*t - 10 = g. Does 3 divide t?
True
Let u = 444 + -40. Is u/6 + 2/6*2 a multiple of 12?
False
Let t = 345 - 141. Suppose -3*i - i + t = 0. Is 27 a factor of i?
False
Suppose 4*x - f = 2*x + 232, -x + 123 = 3*f. Suppose 0 = c - 3, 4*h + 0*c = -3*c + x. Suppose -2*g = -u - 3*g + h, -3*u + g + 65 = 0. Is u a multiple of 5?
False
Let q(g) = 2*g + 26. Let m be q(-11). Let d(y) = -9 - 3*y**2 + m*y**2 - 7*y + 4 + 1. Does 4 divide d(8)?
True
Let m(a) = 593*a**2 + 2*a + 2. Does 8 divide m(2)?
False
Let z = 17 + -17. Suppose 4*x + 3*i = 726, -2*x - i + 509 - 147 = z. Suppose 0*w + 5*w - x = 0. Does 12 divide w?
True
Suppose -25*u = -2766 + 716. Is u a multiple of 12?
False
Suppose 0 = -j + 5, -1 = 2*u + 4*j - 9. Is (12/8)/(u/(-20)) a multiple of 2?
False
Let n = 2130 - 2089. Is 13 a factor of n?
False
Suppose -4*m + 2*a + 34 = 0, a + 0*a = 4*m - 33. Suppose j = -j + m. Suppose 0*p - j = 4*p, 5*p + 25 = k. Does 5 divide k?
True
Let n(s) be the second derivative of 0 - 5/6*s**3 + 1/12*s**4 - 3*s - 9/2*s**2. Is n(8) a multiple of 4?
False
Let m be (4/4*0)/(-2). Let c = 0 + m. Suppose 2*t + c*t = 36. Does 6 divide t?
True
Let x be ((-706)/(-5))/((-3)/15). Let o(h) = -2*h**2 + 10*h + 2. Let l be o(7). Is 11 a factor of (-4)/26 + x/l?
False
Suppose -8*j + 10*j + 2 = 0, 0 = 5*b + 5*j - 3395. Is 10 a factor of b?
True
Let u(s) = -s**3 - 21*s**2 - 13*s + 32. Is u(-24) a multiple of 37?
True
Let a(f) = 6*f - 1. Suppose 4*u + u = 5. Let o be a(u). Does 8 divide 2/(((-10)/(-24))/o)?
True
Suppose 2*d + 1294 = 4*j - 11982, 3*d + 12 = 0. Is j a multiple of 9?
False
Let v(t) be the second derivative of t**4/6 - 2*t**3/3 + t**2 + t. Let i be v(2). Suppose -i*c = 2*c - 3*n - 479, -4*c - 3*n + 473 = 0. Is c a multiple of 17?
True
Suppose -4*r + 154 = -6*r. Let k = -19 - r. Is k a multiple of 29?
True
Let o = -29 + 28. Is -2 - (3 + -29 - o) a multiple of 13?
False
Let o(v) be the first derivative of 2*v**3 + 3*v**2/2 - 2*v + 6. Let j be o(2). Suppose -5*p + j = -2*p + 4*z, -45 = -5*p - 5*z. Is 3 a factor of p?
False
Suppose -60*m = -55*m. Suppose -k + m + 5 = 0. Is k a multiple of 2?
False
Suppose 4*q - 6 = 6. Let y = q + -7. Is 18 a factor of (-35)/(-2) - 2/y?
True
Let c(j) = j**3 + j**2 - 14*j - 5. Does 24 divide c(8)?
False
Suppose h - 2 = -7. Let a(z) = 6*z**2 + 16*z + 26. Let y(b) = b**2 + 3*b + 5. Let v(j) = 2*a(j) - 11*y(j). Does 9 divide v(h)?
True
Suppose -5*j + 0*m = -m - 153, 0 = -j - 4*m + 39. Suppose f = w - j, f - 209 = -4*w - 60. Does 10 divide w?
False
Let t(i) = -28*i - 248. Does 8 divide t(-13)?
False
Let t(a) = 9*a**2 - a + 14. Suppose 0 = -16*p + 30 + 50. Does 15 divide t(p)?
False
Let v(j) = -j**2 - 4*j. Let w be v(-2). Suppose w*h = 5*h - 52. Does 13 divide h?
True
Suppose -d - 30 = -5*y, 0 = -0*y + y + 2*d - 17. Is (y/(-2))/((-8)/176) a multiple of 9?
False
Let m = -86 - -1. Let p = 138 + m. Is 11 a factor of 6/(-9) - p/(-3)?
False
Let t = 1095 - 387. Is t a multiple of 59?
True
L