first derivative of n**4/4 + 7*n**3/3 - 10*n**2 - 13*n - 12. Let m be s(-9). Let r(y) = 12*y - 16. Is r(m) a multiple of 11?
True
Suppose 10*h - 9*h - 9 = -5*j, 3*j + 3*h - 3 = 0. Let q(m) = 15*m - 11. Does 7 divide q(j)?
False
Suppose 3*h = 4*h. Suppose -299*b + 297*b + 354 = h. Does 37 divide b?
False
Let w(c) = -c**3 + 11*c**2 - 13*c + 3. Let i = -65 + 102. Suppose -7*g + 4*j = -2*g - i, 2*g + 4*j = 26. Is w(g) a multiple of 17?
False
Suppose -3*u - 30 - 3 = -3*h, 4*h + 3*u = 16. Suppose h*y + 335 = -190. Let z = 34 - y. Does 8 divide z?
False
Let y(d) = -d**3 + 57*d**2 - 112*d + 57. Does 5 divide y(54)?
False
Let w(c) = -c**2 + 8*c + 9. Let k be w(9). Suppose k = n - 3*l + 9, -2*n - 3*l + 9 = -n. Suppose -y - 5 + 12 = n. Does 3 divide y?
False
Is 17 a factor of (-4)/6*(-15 - 27753/22)?
False
Let k be -4 + (-418 - 4) + 0. Let g = 1215 + k. Is 29 a factor of g?
False
Suppose 5*g + 0*v = -v - 2309, 0 = 3*v - 3. Let x = 667 + g. Does 7 divide x?
False
Suppose x - 12 = 4. Let k = x + -4. Is k/(-10)*(-170)/2 - -3 a multiple of 7?
True
Let s(g) be the third derivative of -g**6/60 - g**5/15 - g**4/8 - g**3/3 + 16*g**2. Let r be s(-5). Let v = 285 - r. Is 22 a factor of v?
False
Suppose 4*m - 500 - 928 = -4*w, 0 = w + 3. Suppose 0 = -5*b - 4*y + m, 4*y + 252 = -0*b + 4*b. Is b a multiple of 9?
False
Suppose -65697 + 203137 = 4*b + 4*q, -2*q = 4*b - 137448. Is b a multiple of 142?
True
Let d(m) = 10*m - 101. Let o be d(10). Let w(u) = -74*u**3 + 1. Is w(o) a multiple of 34?
False
Let s(r) = -r**3 + 8*r**2 - 8*r + 9. Let h be s(7). Let l be ((720/(-27))/8)/(8/(-276)). Suppose -2*c + 110 = h*g, -2*c - 2*g + g = -l. Is 43 a factor of c?
False
Let x = -91 + 51. Let j = x - -43. Suppose 5*a = 5*y + j*a - 225, 5*a + 154 = 3*y. Is y a multiple of 9?
False
Suppose -3*u + 5*c = -10, 2*c = -4*u - c - 6. Does 8 divide (-24)/(u - 6) - -172?
True
Let c(q) be the first derivative of -q**6/180 + 13*q**5/120 + q**4/8 - 22*q**3/3 + 17. Let x(t) be the third derivative of c(t). Does 5 divide x(4)?
False
Let z(l) = 9*l - 16. Let j be z(6). Let d(b) = b**2 + 4*b + j*b**3 - 5*b - 37*b**3 - 3. Is d(5) a multiple of 36?
False
Let g(n) = 610*n + 3535. Is g(14) a multiple of 43?
False
Let b(a) = -3*a**2 + 190*a - 127. Is b(57) a multiple of 6?
False
Suppose 14 - 2 = 6*d. Let j = 26 - -97. Suppose -d*p - 156 = -3*z - 7*p, 3*p + j = 2*z. Is 3 a factor of z?
True
Suppose -4 = -m + 5*x - 45, -3*x = 2*m + 134. Suppose 9*o = -4*t + 4*o - 456, 0 = -3*o - 12. Let r = m - t. Is r a multiple of 16?
True
Let j be 6/(-3) + 14 + -579. Let n = 601 + j. Does 11 divide n?
False
Let z(w) = w**3 + 4*w**2 - 8*w - 36. Let g be z(-8). Let m = g + 244. Is 16 a factor of m?
True
Is (-4)/10 + 31708/20 a multiple of 20?
False
Suppose 6*b + 3470 = 33131 + 477. Is 61 a factor of b?
False
Suppose 0 = -24*z + 25*z - 10. Suppose -4*q = 16, -2*q = -6*c + 2*c + 1944. Suppose z*f - c = -f. Does 22 divide f?
True
Let t = -73 + 90. Suppose -5*n - 2*k - 40 = 10, t = -n + k. Is 5/(-4) - 483/n a multiple of 3?
True
Suppose -84*n - 20 = -89*n. Suppose -i + 4 = -2*q + 5, -3*i + n*q = -5. Does 3 divide i?
False
Suppose 4*u = -5*a + 3876, 0 = -4*a - 91*u + 89*u + 3102. Does 4 divide a?
True
Let n(y) = 121*y**3 + y**2 - 4*y + 3. Let s be (31 - (-3)/3) + -1. Let k = s + -30. Is n(k) a multiple of 11?
True
Suppose -49*y - 124268 = -221830 - 675168. Does 4 divide y?
False
Let j(a) = -5*a + 23. Let t be 2/7 + 0 + 37/(-7). Let g be (-4 - (1 - 4))*(0 - t). Is 31 a factor of j(g)?
False
Let h(y) be the second derivative of -53*y**5/5 + y**4/3 + 7*y**3/6 + 2*y**2 + 17*y - 6. Is h(-2) a multiple of 74?
True
Let s(q) = -5*q**3 - 28*q**2 - 37*q - 6. Is 16 a factor of s(-15)?
False
Does 13 divide 2/((-17478)/(-2496) + -7)?
True
Suppose 42*y - 1015739 - 169593 = -57842. Does 13 divide y?
True
Suppose 232*w - 222*w = -210. Is (-9654)/w - (-4)/14 a multiple of 10?
True
Suppose -2*y + 5*p = -3*y + 81, 2*y - 2*p - 186 = 0. Let w = -6 + y. Let q = w - 28. Is 19 a factor of q?
True
Let p(v) = -v**2 + 3*v - 4. Let f be p(0). Let t(a) = -60*a - 43. Does 11 divide t(f)?
False
Let g = 19060 - 13195. Does 17 divide g?
True
Suppose i - 13 = -10. Suppose -2*r - 103 - 71 = -3*x, 87 = -r - i*x. Let b = r - -140. Is b a multiple of 5?
False
Let i be (30/(-6) - 75)*-14 - 2. Let b = i - 558. Is b a multiple of 16?
True
Let d = 17 - -8. Let l = d + -20. Suppose 640 = 10*w - l*w. Is w a multiple of 32?
True
Does 15 divide (10 - -2)*1*(-379783)/(-118) + 3?
True
Suppose -c = 14 - 18. Suppose c*v + 67 - 475 = 0. Is 9 a factor of v/(-1)*5/(-10)?
False
Suppose 0 = -5*p + 4*b + 249, -4*p + 281 = p + 4*b. Suppose -12 = p*u - 49*u. Is (28 + -4 - 0)*(-2)/u a multiple of 8?
True
Let c(i) = -i**2 + 134*i - 199. Is c(131) a multiple of 9?
False
Let p = 13602 + 4884. Does 13 divide p?
True
Let c(q) = -q**2 + 10*q - 7*q**2 + 44 + 7*q**2. Does 11 divide c(10)?
True
Suppose 10*q - 15 = 5*q. Suppose -7 = -q*m + 5. Suppose -2*p - 25 = -3*r + 36, -m*p = 8. Is 4 a factor of r?
False
Suppose 4*n - 9*n - s + 12949 = 0, n - 2588 = -2*s. Is 70 a factor of n?
True
Suppose 0 = -5*j + 6645 - 1935. Is 21 a factor of j?
False
Let k be ((-20)/4 - (1 - 5))*-43. Suppose k*x - 1224 = 37*x. Is x a multiple of 6?
True
Suppose -387*m + 388*m + 2*a = 5793, 3*a = -5*m + 28965. Is m a multiple of 60?
False
Suppose -j + 2*p - 955 = 0, -5*j - 4804 = -3*p - 50. Let w = j - -1444. Is w a multiple of 4?
False
Let g be 9/15 + 1 + (-54)/15. Let s be g/(-2 + 12/9). Suppose 5*x + p = 100, 3*x - 62 = -s*p + 2*p. Does 19 divide x?
True
Is 7 a factor of -8*(0 + (-1309)/22)?
True
Suppose -5*h + 18803 = -292. Does 10 divide h?
False
Let q(n) be the second derivative of 5*n**3/2 - 33*n**2 + 16*n. Is q(23) a multiple of 31?
True
Let x be (-4)/3 - 8/12. Let p be x - (-4 + 4 + -3) - 141. Let y = 315 + p. Is 35 a factor of y?
True
Let x(l) = -l - 12. Let w(t) = t + 14. Let s(z) = 7*w(z) + 6*x(z). Suppose -2*r = -7*r - q + 50, 30 = 3*r - 3*q. Is s(r) a multiple of 11?
False
Suppose -2*h + 755 = 4*c + 3581, -h - 1399 = -5*c. Is 83 a factor of (-2 - -1)*(h + -10 + 8)?
True
Let y(b) = -3*b**2 + 10*b - 1. Let m(k) = k**2 + 4*k + 1. Let l be m(-2). Let f(x) = 4*x**2 - 10*x + 2. Let r(n) = l*y(n) - 2*f(n). Is 11 a factor of r(-8)?
True
Let u(i) = -291*i - 46. Let f be u(6). Let y = -928 - f. Does 9 divide y?
True
Let g be (10080/54)/(2/(-9)). Let m be (1 + -7)*g/(-36). Let i = 261 + m. Does 11 divide i?
True
Let h(s) = -62*s - 563. Let a(k) = -21*k - 188. Let d(i) = -17*a(i) + 6*h(i). Does 2 divide d(-16)?
True
Let v(z) = 3*z**3 + 22*z**2 + 58*z - 98. Is 53 a factor of v(18)?
False
Let y(r) = 2862*r - 81. Let q(o) = -143*o + 4. Let p(k) = 81*q(k) + 4*y(k). Let i be p(-1). Let c = i + -103. Is c a multiple of 4?
True
Let k be ((-9)/6)/(7/(-1 - -15)). Let d(g) = 5*g**2 + 6*g + 35. Is d(k) even?
True
Let t(v) = 12*v**2 - 104*v + 236. Is 11 a factor of t(10)?
True
Suppose 53*w = 59*w + 288. Let c = 133 - w. Is c a multiple of 18?
False
Let c be 1/((-4)/(2 - 1086)). Suppose 51 - c = -5*p. Is 8 a factor of 198/5 + p/110?
True
Let u = 297 + -293. Suppose -5*s - 4*a + 122 = 0, 0 = -6*s + u*s + 3*a + 35. Is s even?
True
Suppose 3 = 2*c + 57. Let f be (-2 - 1)/3 - 2*c. Let q = f - 48. Is 5 a factor of q?
True
Suppose 2*n = 2*z - 7*z - 11, -2*z = 2*n + 2. Suppose -n*u + 3*u = 5*c + 26, 2*c = 0. Does 13 divide ((-169)/u)/(1/(-2))?
True
Suppose 0*f - f + 5*z = 87, z + 2 = 0. Let y = f + 100. Suppose y*m + 8*m = 2024. Is m a multiple of 13?
False
Let f(z) = -2*z**3 - 87*z**2 - 49*z - 264. Let v be f(-43). Let r(k) be the second derivative of -k**3/2 + 4*k**2 + k. Is r(v) a multiple of 6?
False
Suppose 12*x - 17062 - 549206 = 0. Is 57 a factor of x?
False
Suppose 0 = 224*b - 213*b - 66781. Suppose 63*u = 19301 - b. Is u a multiple of 5?
True
Suppose -5*p + 80630 = 2*a, 3*p = -11*a + 16*a + 48409. Is 36 a factor of p?
True
Suppose 7*b = -0*b + 8092. Let y = b - 634. Is y a multiple of 29?
True
Suppose -253*t + 1365 = -246*t. Suppose 0 = 5*q - 7*q - 5*v + t, -2*v = 5*q - 477. Does 6 divide q?
False
Is 5 - 2 - (-43)/(-15) - 131812/(-60) a multiple of 15?
False
Let a be (1 - 6)*(3 - 2). Let n(o) = o**2 + 6*o + 8. Let d be n(a). Suppose 0 = -d*c - 0*s - 4*s + 125, -s = -c + 30. Is c a multiple of 5?
True
Let f = -990 - -6184. 