149. Is 26 a factor of s(22)?
False
Let s(g) be the third derivative of -g**6/120 - g**5/6 + 5*g**3/6 - 17*g**2. Does 5 divide s(-10)?
True
Let b(h) = h**2 - 7*h + 2. Let j be b(7). Let x = 61 - 112. Is j*(-1)/6*x a multiple of 17?
True
Let l be (-1512)/(-70)*(-90)/(-4). Suppose 5*a - 4*a = y + 99, -5*a - 4*y = -l. Is a a multiple of 14?
True
Suppose 4*w = 23 + 9. Suppose -56 = -12*i + w*i. Is 10 a factor of 582/i + (-8)/14?
False
Suppose -3*b + 6 + 0 = 0, 3*b = 3*c - 9. Suppose -3*y + 269 - 18 = -4*f, -c*f = -y + 102. Does 24 divide y?
False
Let p be (0/(-1 - -2))/(-2). Suppose -42 = -w - p*w. Is 6 a factor of w?
True
Let d = -796 - -1221. Is d a multiple of 25?
True
Does 54 divide (8/1 - 3)*5540/50?
False
Let f(q) = -4*q**3 - 4*q**2 + 3*q - 2. Let w be f(-4). Suppose -6*p = -7*p + 5. Suppose 6*r = r + p*h + 215, 4*r - h = w. Is 9 a factor of r?
True
Suppose 3*t = 7*t - 5*l + 12, 0 = t - 5*l + 18. Suppose 0 = -t*a - 4*a + 270. Is 6 a factor of a?
False
Let n(k) = -24*k - 25. Does 92 divide n(-6)?
False
Suppose 12*n - 3*f - 1557 = 10*n, 0 = 4*n + f - 3093. Is n a multiple of 7?
False
Suppose 20*a - 658 = -2*x + 15*a, -1612 = -5*x + 4*a. Is x a multiple of 12?
True
Is (-7192)/(-6)*(-312)/(-416) a multiple of 113?
False
Suppose -6 = -b + 2*o, -4*o - 1 = 3. Let f = b + 14. Let w = f - 3. Is 5 a factor of w?
True
Let f(c) = -11*c + 1. Let a be f(-1). Suppose 30 = 7*j - a. Suppose -j*s + 10 = -4*s. Is 5 a factor of s?
True
Let u = -506 + 756. Suppose 4*d + d = u. Does 22 divide d?
False
Suppose -508 = -7*r + 290. Does 19 divide r?
True
Let u be (-15)/(-30) + ((-6)/(-4) - 2). Let v(c) = -c**3 - c**2 + 75. Does 13 divide v(u)?
False
Does 37 divide (-2 + 27/6)/(30/11100)?
True
Let j(r) = -8*r. Let m(w) = -w - 1. Let v(d) = -j(d) + 4*m(d). Let h be v(11). Suppose 5*i - h = -5. Is 7 a factor of i?
True
Let u(w) = -w**3 + 15*w**2 - 23*w - 9. Suppose 0 = -22*g - 73 + 271. Does 45 divide u(g)?
True
Let v = 61 + -51. Suppose v*x - 265 = 5*x. Is 16 a factor of x?
False
Let y = 143 + -279. Let u = y + 264. Does 19 divide u?
False
Let d(v) = -v + 3. Suppose 0 = r - 5*x + 28, 0 = -3*r + 5*r + 5*x - 19. Is 2 a factor of d(r)?
True
Suppose -3*y - 5*j + 5955 = 0, -5*y + j = -400 - 9497. Does 160 divide y?
False
Let c(w) = -5*w + 4. Let v be c(-2). Suppose 16 + v = k. Suppose -i = 4*s - k, -4*i - s = -6*s - 141. Is i a multiple of 12?
False
Let l be (-4)/(-3)*(3 + 3). Suppose 3*v = l*v - 10. Suppose 5*n = -5*u + 125, 30 = n - 0*u + v*u. Is n a multiple of 9?
False
Suppose 43*t + 2*m + 180 = 45*t, -2*m = 4. Suppose -5*y - 5*q + 40 = -0*y, 2*q + 14 = 3*y. Suppose -t = -y*o + 2*o. Is 11 a factor of o?
True
Is 1/(54954/54911 - (-1 - -2)) a multiple of 29?
False
Let t(r) = -2*r + 13. Suppose -4*o + 26 = -2*o. Suppose -2*y + 3*y = -o. Is t(y) a multiple of 13?
True
Suppose 1100 = -5*l + 5*k - k, 25 = 5*k. Is 16 a factor of -2 - -2 - l/6?
False
Let d(w) be the first derivative of 18*w**2 + 8. Does 18 divide d(2)?
True
Is 14 a factor of ((10125/6)/9)/((-2)/(-16))?
False
Suppose 0 = 3*d + 5*j - 12, 3*j - 13 = 4*d - 0*j. Let c = 3 + d. Does 8 divide (-3)/c - 190/(-20)?
True
Suppose -i = -5*i - 124. Let j = -53 - i. Let x = j - -58. Is 9 a factor of x?
True
Is 17 a factor of (-1)/6*2 - 17445/(-9)?
True
Suppose 1019 = 6*i - 679. Is i a multiple of 28?
False
Let t(c) = 2*c - 2. Let z be t(2). Suppose z*u - 17 = 113. Is u a multiple of 5?
True
Let t(x) = x**3 + 13*x**2 + 22*x - 2. Let s be t(-11). Is (5 - 4 - s)*3 a multiple of 6?
False
Let s(k) = -140*k + 15. Is 29 a factor of s(-3)?
True
Suppose -7 = 4*y - 2*c - 63, 21 = y + 3*c. Let t be ((-9)/6 - -2)*(1 - -1). Suppose -y = 4*d + t, 0 = -5*a + 4*d + 111. Does 2 divide a?
False
Let t be (-7)/35 + (-202)/(-10). Suppose 0 = -8*i + t*i - 1848. Is i a multiple of 32?
False
Let h be -31 + 6*6/9. Let w be (h/6)/(3/(-76)). Suppose -5*y - y + w = 0. Is 10 a factor of y?
False
Let d(a) = a**2 - a + 5. Let t be d(0). Suppose t*s - 5*o - 25 = 0, 16 = 2*s - 5*o - 0*o. Suppose 2*w + w = x - 43, 0 = -3*x - s*w + 69. Is x a multiple of 10?
False
Let u = 4 + 1. Let d(b) = 5*b + 9. Let l be d(u). Suppose -4*x = n - l, -33 = -3*n + 3*x + 9. Is n a multiple of 8?
False
Let f = -13 - -23. Let h = f - 6. Suppose -t - h*m + 84 = 0, t - 208 = -2*t - m. Does 17 divide t?
True
Is 21 a factor of 50/75*17145/10?
False
Let o = -16 + 0. Let t = -4 - o. Is 12 a factor of t?
True
Suppose -102 = -4*k + 42. Is k a multiple of 12?
True
Suppose 4*c + 1 = 3*d - 3, 2*d - 5*c - 5 = 0. Suppose d = -g + 3*g. Suppose 4*i - 3*t = -g*i + 76, -44 = -4*i - 5*t. Is i a multiple of 7?
False
Let q(j) = -j**2 - 16*j - 51. Let i be q(-11). Suppose -4*t + 28 = -0*t. Suppose i*a - t*a = -72. Is 8 a factor of a?
True
Let b = -137 - -209. Does 17 divide b?
False
Suppose -3*u + 7*u - 20 = 0. Let l(w) = w**2 - 4*w + 7. Let a be l(u). Is a - -3*8/12 a multiple of 14?
True
Suppose -2*v - 147 = -i, 3*i + 0*i - 3*v = 444. Let n = i - -43. Is 32 a factor of n?
True
Let w be (-4)/6*3/(-2). Suppose 2*f = 9 - w. Suppose 0 = -f*q + 55 + 5. Is 5 a factor of q?
True
Suppose -12*t - 344 + 8324 = 0. Is t a multiple of 35?
True
Let y = -39 - -44. Suppose -4*z + 2*z - 2*s + 50 = 0, -2*s = -y*z + 146. Does 5 divide z?
False
Let h(d) = -d**2 - d + 3. Let a be h(-3). Suppose 247 = 5*k + 3*f, -57 = -2*k - 2*f + 45. Is 16 a factor of -3 - -1 - (a - k)?
True
Let y(p) = 9*p + 7. Suppose 2*u = a + 9, 2*u - 3*a - 6 = 5. Let k = u + 1. Is y(k) a multiple of 26?
True
Suppose d = 5*d. Suppose d = -0*q + 8*q - 920. Suppose 3*g + 8*f = 3*f + q, 41 = g + f. Is 17 a factor of g?
False
Suppose 6*k - 8*k - 2284 = -2*t, 2*t - 5*k - 2278 = 0. Does 13 divide t?
True
Let d(b) = -32*b + 126. Is 10 a factor of d(-2)?
True
Let w = 50 + -50. Is 30 a factor of (12/(-14) - w)/(1/(-35))?
True
Let z(w) = -w**3 - 2*w**2 + 2. Suppose -5*x + r + 175 = 0, -2*x + 0*x + 3*r + 70 = 0. Suppose -5*s - 5*u - x = -2*s, -2*u = 3*s + 23. Is z(s) a multiple of 10?
False
Let c(q) = 20*q**3 + 2*q**2 - 2*q + 1. Let o(k) = k**2 + 5*k + 5. Let p be o(-4). Let m be c(p). Suppose -5*a = -8*a + m. Is a a multiple of 7?
True
Let l(m) = 2*m**2 + m - 14. Let y(b) = 1. Let n(p) = l(p) + 6*y(p). Suppose -2*a - 12 = 2*j, -6 = 2*j - 3*a + 6. Is n(j) a multiple of 18?
False
Let u(p) = p**3 + 6*p**2 + p + 4. Let c be u(-6). Let g(t) = -22*t - 4. Let f(d) = 11*d + 2. Let m(y) = 7*f(y) + 4*g(y). Is m(c) a multiple of 10?
True
Suppose 4*x + 2708 + 320 = -2*m, -4*x + 4*m = 3040. Let p be (6/(-12))/((-1)/x). Is p/(-6) - 2/12 a multiple of 21?
True
Let d = 610 - -286. Does 32 divide d?
True
Suppose 4*y + 4 = 2*m - 6*m, 4*y + m = -16. Let z = 666 - 698. Let l = y - z. Does 27 divide l?
True
Let w(z) = -z**2 - 19*z - 10. Suppose 0 = b - 5*m - 0*m + 15, -b + 2*m - 15 = 0. Is w(b) a multiple of 25?
True
Let l(s) = s - 1. Let x(i) = 6*i - 24. Let w(v) = -8*l(v) + x(v). Let m be w(-11). Suppose -150 = 3*q - m*q. Is 10 a factor of q?
True
Let y(j) = j**2 + 80. Let f be y(0). Suppose 4*c - f = -c. Let u = 30 + c. Does 8 divide u?
False
Let w = -418 - -481. Is w a multiple of 4?
False
Let x be (-3)/(-12) + (-532)/16. Let p = x + 43. Is 5 a factor of p?
True
Suppose 0 = 3*f + 13 + 5. Let t = f - -15. Suppose t*u - 53 = 28. Is 7 a factor of u?
False
Suppose -33*x = -29654 - 5986. Is x a multiple of 54?
True
Suppose 14810 = 21*l - 3376. Is 44 a factor of l?
False
Let x = -450 + 834. Suppose 16 - x = -2*o. Is o a multiple of 15?
False
Let m(r) = 16*r - 20. Let k(l) = 15*l - 20. Let a(n) = -4*k(n) + 3*m(n). Is a(-5) a multiple of 40?
True
Let y(t) = 3*t**2 - 4*t. Does 28 divide y(-3)?
False
Suppose -2*m + 264 = 5*h, 0 = -4*m - m - 4*h + 677. Does 28 divide m?
False
Let y(g) = -16*g**2 - 79*g + 35. Let d(f) = 3*f**2 + 16*f - 7. Let q(b) = 11*d(b) + 2*y(b). Is 22 a factor of q(-25)?
False
Suppose -48195 = -95*w + 44*w. Is w a multiple of 4?
False
Suppose -6 = -5*g + 3*g. Let c = 64 + g. Is c a multiple of 9?
False
Let g be (-105)/2*(-2)/3. Suppose n = g + 37. Suppose n = 4*b - b. Is 6 a factor of b?
True
Let y be 3 + 1 + -89 + 1. Does 7 divide -1 - (988/(-14) - 48/y)?
False
Let x = 1189 + -643. Is x a multiple of 17?
False
Let p(i) be the second derivative of 0 + 1/12*i**4 + 7*i**2 - 10*i + 7/6*i**3. Is 7 a factor of p(-7)?
True
Let k = -697 + 3085. Is 12 a factor of k?
Tr