
Let d(n) be the first derivative of -n**4/4 + 3*n**3 + 13*n**2/2 - 18*n + 14. Is d(10) a multiple of 6?
True
Let u(g) = 28*g - 98. Let j(p) = -3*p + 11. Let v(b) = -35*j(b) - 4*u(b). Let y(n) = -15*n + 13. Let m(k) = 5*v(k) - 2*y(k). Does 14 divide m(-8)?
False
Let s = 27 + -15. Suppose s*k - 189 = 11*k. Does 27 divide k?
True
Let b = -125 + 593. Is b a multiple of 78?
True
Let l(n) = -n**2 + 6*n - 10. Let i be l(5). Let m(g) = -4*g - 5 + g**2 + 0*g**2 + 1. Does 7 divide m(i)?
False
Let g(v) = 183*v**2 + 5*v - 8. Is g(4) a multiple of 35?
True
Let r(t) = -3*t**2 - 84*t - 46. Is r(-22) a multiple of 53?
False
Suppose -8*g - 18*g = -17550. Is 14 a factor of g?
False
Suppose 4*x = -3*b + 3554, -5*x + 4*x = 3*b - 3566. Is 35 a factor of b?
True
Suppose 52*y - 95*y + 215602 = 0. Is y a multiple of 59?
False
Does 58 divide (14 - 3 - 5) + 952?
False
Let x(c) = 11 - 100*c - c**2 + 2*c**2 + 109*c. Is x(8) a multiple of 19?
False
Suppose -7135 = -60*k + 11105. Does 4 divide k?
True
Let q(s) be the second derivative of s**5/20 + 7*s**4/12 - 11*s**3/6 - 4*s**2 + 3*s. Is 16 a factor of q(-8)?
True
Suppose 49 = 4*y - 5*f - 84, -y = -2*f - 37. Does 9 divide y?
True
Let c = -42 + 110. Let v = c - 36. Let i = v + -9. Is 23 a factor of i?
True
Suppose -4*p = -y - 10, 5*p - 5*y = 21 - 1. Suppose -p*u - 80 = 2*k, 2 = -5*k + 5*u - 168. Let f = 67 + k. Is 10 a factor of f?
True
Does 10 divide 300/(-5550) + 5922/37?
True
Let z(j) = -j**2 - j - 2288. Let v be z(0). Is v/(-72) - 2/(-9) a multiple of 8?
True
Let g(y) = -6*y + 1. Let r(i) = 6*i - 2. Let c(p) = -p**3 - 5*p**2 - p. Let l be c(-5). Let t(w) = l*g(w) + 6*r(w). Is t(5) a multiple of 9?
False
Suppose 0 = -3*i - 4*j - 23, -3*i + 6*i = -j - 8. Let n(y) = -42*y**3 - 1. Is 8 a factor of n(i)?
False
Suppose 5*x - 6604 = 5096. Is 30 a factor of x?
True
Suppose -5*h - 4*o + 24 = -18, 2*o - 6 = 0. Suppose -102 = -x + h*r - r, -348 = -3*x + r. Is 38 a factor of x?
False
Let w(l) = -l**3 + l**2 + 3*l - 2. Let d be w(-3). Let i = -18 + d. Suppose 10*v = i*v + 117. Is 13 a factor of v?
True
Let v = 1143 - 439. Is 88 a factor of v?
True
Suppose 0 = 39*m - 30*m - 243. Suppose m = p + 3*r - 87, -4*p = 2*r - 416. Is p a multiple of 13?
False
Let h = 745 + -377. Is h a multiple of 28?
False
Let p(l) = -l**3 + 15*l**2 - 22*l - 2. Does 62 divide p(11)?
False
Let p be ((-872)/(-8))/(-1 + 2). Suppose 0 = 5*m - 2*c - 395, -3*m + c + 127 = -p. Is m a multiple of 10?
False
Does 40 divide 5/(-4) - (0 - 45815/44)?
True
Suppose -15*n + 267 = -14*n - 3*c, 3*c = -3*n + 789. Is n a multiple of 44?
True
Suppose 7*a = 2*g + 2*a + 24, 29 = -5*g - 3*a. Let z = g + 10. Does 13 divide (z - -1)/4*39?
True
Let y(z) = 7*z - 1. Let d(w) = 6*w - 1. Let x(a) = 6*d(a) - 5*y(a). Let j be x(3). Suppose j*f + m - 26 = 0, -4*f - 3*m + 10 + 38 = 0. Is f a multiple of 4?
False
Let p(a) = 1176*a**2 + a - 1. Let l be p(1). Suppose -l = -2*k - 6*k. Is k a multiple of 18?
False
Let j = -1781 - -3783. Is 27 a factor of j?
False
Suppose a + 632 + 1127 = 5*j, 3*a + 1767 = 5*j. Does 8 divide j?
False
Let d = -307 - -420. Is 4 a factor of d?
False
Let q = 15 + -13. Suppose q*y - 8 = 2. Suppose 2 - 23 = -y*b + t, -15 = -5*b - 5*t. Is 3 a factor of b?
False
Let r(f) = 3*f**3 - f**2. Let q be r(1). Let h be 5/q*(-24)/15. Is 21 a factor of 22 + (-3 - h/2)?
True
Let z(p) = -3 - 2*p + 2*p**2 - 2 + 0*p**2. Is 4 a factor of z(-3)?
False
Let f(p) = -p**3 + 21*p**2 + 9 - 20*p**2 - 4 + 11. Let k be f(0). Suppose 0 = 17*y - k*y - 19. Is y a multiple of 6?
False
Let u(d) = 69*d**3 - 2*d**2 + 4*d + 1. Is u(2) a multiple of 7?
True
Let w = -4244 - -6908. Does 11 divide w?
False
Let n(w) = -5*w**3 + 6*w**2 + 32*w - 16. Let m(c) = -4*c**3 + 7*c**2 + 31*c - 16. Let z(p) = 4*m(p) - 3*n(p). Is 8 a factor of z(12)?
True
Suppose 0 = -5*b + p + 143, -5*p - 21 = -b - p. Does 3 divide b?
False
Let s = -1146 - -2856. Is 38 a factor of s?
True
Let f(n) = 56*n + 1. Let l be f(2). Let w = 83 + l. Is w a multiple of 14?
True
Is 0 + 2 - (-178 + -2) a multiple of 11?
False
Suppose -3*t + 505 = -2267. Is 42 a factor of t?
True
Is 36/(-30)*(-7975)/22 a multiple of 16?
False
Suppose 4542*w - 8596 = 4535*w. Is w a multiple of 4?
True
Suppose -4 = c, -j - 8 = -c - 2. Let w = 13 + j. Suppose 0 = w*b - 11 - 214. Is 25 a factor of b?
True
Let u be (-2)/4 + 1/2. Let v be 3 + (u - (3 + -2)). Suppose 319 = 5*j + 2*f - 5*f, v*j - 5*f = 120. Does 13 divide j?
True
Suppose 21088 + 25101 = 17*a. Is 11 a factor of a?
True
Let z = -1337 + 2993. Does 12 divide z?
True
Let n(v) = v**3 - 13*v**2 - 37*v - 33. Is n(16) a multiple of 11?
True
Let w(n) = -11*n + 128. Let f be w(8). Suppose 6*o - 3*o + 156 = 0. Is 20 a factor of (o/(-5))/(8/f)?
False
Suppose 6*c - 1632 - 1230 = 0. Is 9 a factor of c?
True
Let l be (-1)/(-4) + (-489)/4. Let x be l*((-5)/2 - -2). Let d = 88 - x. Does 10 divide d?
False
Suppose 14*c - 13*c = 5. Suppose -c*a + 20 = -0. Suppose -49 = -z + 4*d, -4*z + 8*z + a*d - 116 = 0. Is 11 a factor of z?
True
Let i = -915 + 1027. Is i a multiple of 14?
True
Suppose q + 19 = -7. Let g = 95 + q. Is 12 a factor of g?
False
Let l(u) = -u**2 + 13*u - 2. Let i = -1 + 13. Let h be l(i). Suppose h = y - 8. Is y a multiple of 6?
True
Let g(y) = y**3 - 2*y**2 - 6*y + 114. Does 90 divide g(8)?
True
Suppose 5*g - 1197 = -5*q + 7*g, -3*q + 2*g + 715 = 0. Does 44 divide q?
False
Suppose b + 4*c = -31, -b + c = -0*c + 21. Is 24 a factor of (170/4 + -2)*(-92)/b?
False
Let w = -1213 + 1769. Is 82 a factor of w?
False
Suppose 71*l - 313992 = -71669. Is 108 a factor of l?
False
Let v(s) = -26*s + 9. Let l be v(-7). Suppose -q = 29 + l. Is 7 a factor of (-2)/3 + q/(-15)?
True
Let u = -231 - -249. Is 3 a factor of u?
True
Let k(x) = 31*x + 3. Let r be k(8). Let l = r - 39. Is l a multiple of 63?
False
Suppose -5*s + 93 = 2*d, 0 = -s + 4*d + 7 + 16. Suppose -s*n + 14*n = -435. Is n a multiple of 13?
False
Let l be 2/12 - ((-5)/30)/(-1). Suppose j + 3*j = 0. Suppose 3*b = 4*r - 18, j = 3*b - l*b - 6. Does 6 divide r?
True
Let w = 21 - 29. Let v(b) = b**2 + 4*b + 28. Is v(w) a multiple of 28?
False
Suppose 3*a = -4 - 431. Let r = -1 - a. Suppose -2*c = -4*j - r, -3*c = 2*c + 2*j - 336. Does 27 divide c?
False
Suppose 0 = 2*x + 56 + 40. Let j be (-3)/(-2)*x/18. Is (20 - -4)/((-6)/j) a multiple of 13?
False
Let g be ((-1)/(-2))/(92/(-16) + 6). Suppose 3*i = 5*y + 198, -2*y - 144 = -g*i - 12. Is 22 a factor of i?
True
Suppose 4*t - 26 = p, -p - 3*t + 2*t = 1. Let n(w) = 3*w**2 + 5*w - 6. Does 12 divide n(p)?
True
Let a(y) = 2*y**3 + 72*y**2 - 17*y - 68. Is a(-35) a multiple of 24?
False
Let f = 389 - 549. Let s = 270 + f. Does 16 divide s?
False
Let y(q) = -q**3 - 16*q**2 - 14*q + 18. Let t be y(-15). Is 9 a factor of (t + 138/8)*(-8)/(-2)?
True
Let i = -17 - -19. Suppose 2*o = -4*v + 4, -4 = 2*v + i*o - 4*o. Suppose -b + 92 = -4*u, -3*b + v*u = u - 250. Is 24 a factor of b?
False
Let g = -90 - -118. Suppose g*z + 256 = 29*z. Does 14 divide z?
False
Let v(i) = -i**2 - 5*i + 3. Let u be v(-5). Let a be (-3 - -5)/((-3)/(-6)). Let h = a + u. Is h a multiple of 4?
False
Let i(p) = -p**2 + p. Let u(y) = y**3 + 3*y**2 - 3*y + 12. Let v(h) = -3*i(h) + u(h). Is 4 a factor of v(-6)?
True
Let i = -54 - -94. Suppose -a = 3*a + 4*l + i, 4*l - 44 = 3*a. Does 2 divide ((-14)/8)/(3/a)?
False
Suppose -14*j + 5337 + 1215 = 0. Does 39 divide j?
True
Let b be ((-55)/(-20))/((-2)/(-8)). Suppose b + 9 = 4*s. Suppose s*v - 143 + 23 = 0. Does 22 divide v?
False
Let u be (-1 - 8/(-6)) + 260/12. Let g(j) = 2*j**2 - 5*j + 8. Let f be g(6). Let a = f - u. Is 18 a factor of a?
False
Suppose 5*j = 10 - 0. Let z(o) = -4*o**3 - o - 6*o + 0 + 5*o**3 - 8*o**j - 2. Does 8 divide z(9)?
True
Let b = 1845 - 1277. Is 8 a factor of b?
True
Suppose 4*c = x + 1904, -4*x = 2*c - 5*x - 954. Is c a multiple of 17?
False
Let n(m) = 115*m**2 - 2*m - 1. Let x be n(-1). Suppose -2*p = -g - x, p - 4*g - 51 - 21 = 0. Does 6 divide p?
False
Suppose 22*s - 28*s = -12. Suppose 224 - 30 = s*b. Is 14 a factor of b?
False
Suppose 4*t = 8, d + 3*d - 516 = -4*t. Let i = 281 - d. Does 11 divide i?
True
Suppose -y + 993 - 139 = 5*k, -5*k + y + 856 = 0. Let s = k + -115. Does 6 divide s?
False
Suppose -2*m + 136 = 4*d - 172, -2*m + 313 = 3*d. Let k = m + -38. Does 17 divide k?
False
Let