 + 6*t**2 + 8*t + 5. Let l be a(7). Suppose l = -24*d + 20*d. Let f(h) = h**2 + 3*h + 4. Is f(d) a multiple of 2?
True
Let h(w) = -12*w + 13*w + 9 + 6 + 6. Let v be h(-10). Let m = v - 4. Is m even?
False
Suppose -4*w = -5*c - 421, -4*c = w - 15 - 64. Does 5 divide w?
False
Let h(u) = 2*u**2 + 55*u - 78. Is 8 a factor of h(-33)?
False
Let o = 5 - 3. Let n = o + 4. Suppose -3*m + 17 = z, 0 = -m + n*m + 15. Does 12 divide z?
False
Let t be 4/10 - 8/(-5). Suppose 5 = z - h - 2, 0 = t*z + 5*h + 21. Suppose -v + 90 = z*v. Is v a multiple of 10?
True
Suppose 5 = j - 8. Suppose -2*q + j = -47. Is q a multiple of 10?
True
Let i(y) be the first derivative of -y**4/6 - 5*y**3/6 - 4*y**2 - 9. Let r(l) be the second derivative of i(l). Is r(-2) even?
False
Let s = -17 + 19. Suppose s*u + 5 = 41. Let i = 27 - u. Is 2 a factor of i?
False
Suppose -3*q - q = 0. Suppose 0 = -q*g - g. Suppose g = 5*w + 4*o - 85, -4*w + 5*o + 32 = o. Is w a multiple of 7?
False
Suppose 5*w - 19 = 6. Suppose w*d = -j + 6*j + 445, 459 = 5*d + 2*j. Is d a multiple of 22?
False
Suppose 3*k = -l - 9, -6*k + 2*k = -12. Let m be (-4)/6 - 12/l. Suppose -5*h + 75 + 15 = m. Is 15 a factor of h?
False
Suppose -9*r + 6*r + j + 1999 = 0, 4*r + 4*j - 2644 = 0. Is 35 a factor of r?
True
Suppose -52 = 19*i - 20*i. Let o = -37 + i. Is o a multiple of 8?
False
Let g(y) = 2*y**2 + y. Let c(w) = 3 + 1 + 3 + 2*w + 0. Let f be c(-6). Does 13 divide g(f)?
False
Is -1 + 805 - (150 - 138) a multiple of 8?
True
Let b be (-8)/(-44) - (-31)/11. Let n be 1*-66*b/(-9). Let f = n - 14. Is f a multiple of 8?
True
Let z = -13 - -17. Suppose -2*j + 6 = -z. Suppose 4*s - 97 = -10*m + 5*m, 116 = j*s + m. Does 23 divide s?
True
Let s(m) = -m + 9. Suppose 4*j - 15 = 5. Let t be s(j). Suppose -t*q + y = -26, 0*q = -4*q + 2*y + 28. Is q a multiple of 3?
True
Does 4 divide (-20)/(-8)*(-192)/(-60)?
True
Is 12*(924/18)/11 a multiple of 21?
False
Let n(i) = -5*i**3 - 10*i. Does 6 divide n(-4)?
True
Let m = -328 + 498. Does 2 divide ((m/5)/(-2))/(-1)?
False
Is (3/2)/(-12 + 17862/1488) a multiple of 34?
False
Let b = -18 - -4. Let y(p) = -p**3 - 13*p**2 + 6*p + 16. Does 19 divide y(b)?
False
Let v be (-12)/(-54)*426*(-6)/(-4). Let a = v - 74. Is a a multiple of 34?
True
Suppose -c = -11*c + 2700. Is 45 a factor of c?
True
Let l(s) be the second derivative of -7*s**3/6 + 4*s**2 - 14*s. Let g be l(2). Is (-56)/g - 10/(-15) a multiple of 2?
True
Suppose 0 = u - 330 - 45. Suppose -3*h = -u - 84. Suppose h = 3*a - 5*b, 5*b = -4*a - 0*b + 169. Does 23 divide a?
True
Suppose -5*d - 756 = -7*d. Let b be d/49 - 4/(-14). Suppose 3*l = -b + 86. Is l a multiple of 26?
True
Is 0 - (0/((-12)/(-4)) - 149) a multiple of 10?
False
Let n(d) = -d**2 + 52*d - 198. Is 6 a factor of n(40)?
True
Suppose -2*a - 5*m = -3713, 2*a - 2412 = -4*m + 1306. Does 43 divide a?
False
Let p(d) = d**3 + 7*d**2 + 3*d - 8. Let z be (14/(-42))/((-2)/6). Let m(q) = -q**2 - 1. Let y(x) = z*p(x) - 2*m(x). Is 17 a factor of y(-8)?
True
Let f = 1026 - -66. Does 7 divide f?
True
Let y(c) = -c**3 + 2*c**2 + 252. Let t be y(0). Suppose -3*s + t = -5*l - 223, -s - 5*l + 185 = 0. Is 11 a factor of s?
True
Suppose -1220 - 342 = -2*z. Is z a multiple of 13?
False
Let b be (-24)/(-14) + 22/77 + 158. Suppose 0 = 4*t + 8, -b = -y - t - 3*t. Is y a multiple of 28?
True
Suppose -2*p + 18 = -10. Let y(k) = k**3 + 6*k**2 - 7*k - 1. Let t be y(-7). Let d = p - t. Does 3 divide d?
True
Suppose 0 = -2*q - 5*g - 3 + 1, 0 = -q + 2*g + 8. Suppose -8 = 2*f, -i - q*i + 2*f = -408. Is 8 a factor of i?
True
Suppose 5*c = 15, l - 2*l + 3*c + 86 = 0. Is l a multiple of 2?
False
Let l = -360 - -522. Does 27 divide l?
True
Let x = -1443 + 3237. Does 26 divide x?
True
Suppose y + 89 = -29. Let b = y - -293. Is 34 a factor of b?
False
Suppose 2*h - 2 = 2*w, 4*w = 2*w + h - 1. Suppose 4*k + 20 = 2*d - w*d, -4*k = -d + 8. Suppose 63 = 5*j - d. Is 7 a factor of j?
False
Let i be (-22)/(-26) - 32/(-208). Is 5 a factor of i - ((-68)/(-8))/((-2)/4)?
False
Let l(s) = -s**3 - 3*s**2 + 4*s. Let m be l(-4). Suppose 5*p - 19 - 16 = m. Is 2 a factor of p?
False
Let j(w) = w**3 - 11*w**2 - w + 12. Let n be j(11). Let b(y) = 3*y**3 + y**2. Let x be b(n). Suppose x*t = 54 + 170. Is t a multiple of 14?
True
Suppose -9*t + 4491 = -621. Is 6 a factor of t?
False
Let w = -597 - -857. Let l = -1121 - -1129. Suppose l - w = -3*j. Is j a multiple of 19?
False
Does 5 divide 1264/24*(-75)/(-10)?
True
Let w = -226 + 226. Suppose -4*n - 2*x = -164, -3*x + 160 = 3*n + n. Suppose 0 = 4*s - 2*y - 166, s + y - n = -w*y. Is 16 a factor of s?
False
Let j = 95 + -59. Suppose z = j - 20. Is z a multiple of 6?
False
Suppose -4*l = -3*l - 2. Suppose 2*w = -3*f + 160, -l*f + w = -w - 120. Does 7 divide f?
True
Let c(g) = g**2 + 6*g + 6. Let s be c(-3). Does 12 divide 7/((-126)/(-654)) - (-1)/s?
True
Let r(k) = k**3 - 11*k**2 + 9*k + 11. Let q be r(12). Suppose 0 = 3*u - q - 88. Does 9 divide u?
True
Let s be (-28)/(-6) - 8/(-6). Let a = 31 - s. Is a a multiple of 5?
True
Let o(p) = 4*p**3 - p**2 + 2*p - 3. Does 35 divide o(4)?
True
Suppose -4*g = 70 - 10. Does 21 divide 9*21*(-5)/g?
True
Suppose 3*h = -4*g + 12, 4*g - 2*h - 15 = -g. Suppose s = 5*y + 45, -4*y + 8 = g*s - 51. Let k = s + -4. Does 7 divide k?
True
Let l = 212 - 10. Is 5 a factor of l?
False
Suppose 0 = 5*h - 10 - 0. Suppose -4*v = -h*u - 320, 31 = 5*v + u - 362. Does 16 divide v?
False
Let s = 100 - -428. Does 88 divide s?
True
Let j = 40 + -5. Suppose -5*w - 5*v - j = 0, w + 3*v + 10 = -3. Is (-188)/(-16) - 1/w a multiple of 6?
True
Let d(y) = -y**3 + 5*y**2 + 7*y - 8. Let t = -6 + 12. Let g be d(t). Does 18 divide 436/12 + g/6?
True
Suppose 0 = -2*v - 5*b - 8 + 31, 0 = 3*v + 3*b - 21. Suppose v*t - 5*t = -13. Does 12 divide t?
False
Let r(w) = -3*w**2 + 9*w + 3. Let g(y) = 2*y**2 - 6*y - 2. Let u(i) = 7*g(i) + 5*r(i). Let c be u(4). Does 8 divide ((-8)/c)/((-1)/(-9))?
True
Let q = -11 + -14. Is 10/q + (-154)/(-10) a multiple of 15?
True
Suppose 4*h = -2*w + 4*w + 940, -705 = -3*h - 4*w. Is 5 a factor of h?
True
Let x = -204 + 121. Let o = -13 + x. Let k = o - -149. Is k a multiple of 9?
False
Let i be (0 - (-12)/16)*4. Let n = i + 1. Suppose n*f + 68 - 196 = 0. Is f a multiple of 16?
True
Let c = -54 + 58. Suppose -233 = -c*m + 159. Does 14 divide m?
True
Let l = 8 + 38. Let d = l + 34. Is d a multiple of 10?
True
Let m = 25 + -27. Let x = 271 - m. Is 21 a factor of x?
True
Suppose 244 - 40 = -4*y. Let o = y + 27. Let v = o - -55. Is 16 a factor of v?
False
Let x = 1780 + -1300. Is x a multiple of 4?
True
Let y = -34 - -2. Let i = y - -49. Is i a multiple of 7?
False
Let x(z) be the first derivative of z**3 - 3*z**2 + 13*z - 12. Is 5 a factor of x(4)?
False
Let o(a) = a**3 + 13*a**2 + 8*a + 13. Let g be o(-9). Let b = 387 - g. Does 24 divide b?
False
Let t(s) = 18*s**2 - 4*s - 16. Does 32 divide t(-4)?
True
Suppose 42*w = 2946 + 6630. Is 146 a factor of w?
False
Suppose 0 = -10*t + 3*t - 742. Let a = 118 + t. Is a a multiple of 3?
True
Suppose 341 = 15*j - 19534. Does 25 divide j?
True
Let a(d) = -4*d - 16. Let q be a(-9). Let g be (q/6)/((-26)/(-39)). Suppose -x - 2*w = g, -8 = -2*x + 2*w + 6. Is 3 a factor of x?
True
Let o(w) = 17*w**2 - 6*w - 16. Let s be o(-3). Let t = s + -77. Does 6 divide t?
True
Suppose -5*k = 3*z + 4, -5*k + 10 = -3*z + 56. Let d(g) = 7*g**2 + 2*g**3 - 3*g**3 + 3 + 9*g + z. Does 7 divide d(8)?
False
Is 21 a factor of -2 - (139/(-6) + 10/60)?
True
Suppose -3 - 5 = -2*k. Suppose -3*i + 186 = -2*z, 4*i = -0*z - k*z + 248. Let o = 128 - i. Does 13 divide o?
False
Let k(n) = -97 + 2*n + n**2 + 43 + 38. Is k(10) a multiple of 13?
True
Let q(t) = 2*t**2 + 3*t + 4. Let i be q(-2). Let g(d) = d**3 - 7*d**2 - 9*d + 6. Let b be g(i). Let o = 140 + b. Is o a multiple of 19?
False
Let y = 335 + 26. Does 19 divide y?
True
Let j = -4 - -7. Suppose 5*g - 4*m = 18, -j*m = -3*g + 6*g. Suppose g*s - 82 - 30 = 0. Is 14 a factor of s?
True
Suppose -5*o + 2*r = 0, -4*o + 7 = -4*r + 19. Suppose -o*c + 5*i + 552 = 0, -2*i + 1 + 3 = 0. Is c a multiple of 20?
False
Let g be -1 - 2 - 9694/(-2). Is 41 a factor of ((-5)/(-15))/(-3 - g/(-1614))?
False
Let r be (105/(-10))/(3/(-4)). Suppose -18*v + r*v = -136. Suppose 30*x - v*x + 16 = 0. Is x a multiple of 3?
False