/45 + c**5/24 - 5*c**4/12 - 5*c**3/3 - 5. Let r(d) be the third derivative of v(d). Does 15 divide r(7)?
False
Suppose 0 = -x - 2*x. Suppose 4*z + 3*o - 49 = x, -5*z - 6*o = -o - 60. Let j = 27 + z. Is 15 a factor of j?
False
Suppose -5*y = -22 - 73. Is y a multiple of 19?
True
Let z(g) = g**3 + 8*g**2 - 6*g. Let h be z(-8). Suppose -h = 4*p - 0*p. Is (p + 4)*-5 + -4 a multiple of 18?
True
Suppose 5*j = 4*w - 600, 5*w + 6*j = 4*j + 783. Is 13 a factor of w?
False
Let t(g) = -5*g - 15 + 4 - 1 - 13*g - g**2. Let d(b) = -9*b + 3. Let l be d(2). Is 12 a factor of t(l)?
False
Let y(i) = -i**3 + 8*i**2 - 5*i - 8. Let n be y(7). Let t(p) = -4*p - 7. Let r(c) = -7*c - 15. Let o(g) = n*r(g) - 11*t(g). Is o(9) a multiple of 5?
True
Let h(o) = 24*o - 65. Is h(7) a multiple of 65?
False
Is 45 a factor of (-3 + 1803)/5*6/4?
True
Is 6 a factor of -4 - (8 + -1 - 83)?
True
Let k = -6 + -25. Let x = 85 + k. Is 18 a factor of x?
True
Let a(y) = -y + 1. Let x be -10 + (-3 - -3) + 0. Let j be a(x). Suppose -j - 19 = -q. Is 15 a factor of q?
True
Let u be -1 + (-64)/(-6) + 4/12. Suppose -l - 306 = -u*l. Does 17 divide l?
True
Suppose 3*l = -j - 63, -2*j - 2*l - 69 - 53 = 0. Let v = j - -93. Suppose g = -d - 2*d + v, d - 4*g = -2. Is 10 a factor of d?
True
Let f = 142 - -22. Suppose 184 = 4*u - f. Does 16 divide u?
False
Let c = -484 - -786. Suppose -27 = 5*w - c. Does 14 divide w?
False
Let i(w) = -5*w**3 - 4*w**2 - w - 21. Let t(m) = -3*m**3 - 2*m**2 - m - 11. Let r(y) = 4*i(y) - 7*t(y). Let h be r(6). Let p = h + -104. Does 17 divide p?
True
Let u = 21 + -21. Suppose 5*k + 3*g - 50 = 0, g - 40 = -5*k - u*g. Does 7 divide k?
True
Let z = -309 - -781. Is z a multiple of 21?
False
Let a = 21 - 17. Suppose -2*c + a*c = 66. Let v = 15 + c. Is v a multiple of 12?
True
Let n(d) = 11*d + 9. Let x = 23 - 17. Is n(x) a multiple of 15?
True
Let m = 1 + 2. Suppose 3*n - 145 = -5*k + 14, -3*k + 81 = -m*n. Is k a multiple of 29?
False
Suppose 443 = -4*w + 3271. Is 38 a factor of w?
False
Suppose 0*f + 2 = f, 4*j + 334 = 3*f. Let l be j/(-8) + (-3)/(-4). Let b = 7 + l. Is 18 a factor of b?
True
Let c(v) = v**3 + 8*v**2 - 2*v + 4. Let q be c(-8). Let x be q/6*2160/100. Is 17 a factor of x - (7 + (1 - 4))?
True
Suppose 0 = 4*n - 143*d + 146*d - 7895, 3*n - 2*d - 5934 = 0. Is 38 a factor of n?
True
Suppose -4*t - 5*v = -181, 0 = -0*t - 4*t + v + 199. Suppose t*g - 46*g - 78 = 0. Does 2 divide g?
True
Let a be (-1)/(-2) + (-12)/(-8). Suppose a*n = 6 - 30. Let v(t) = -t + 2. Does 4 divide v(n)?
False
Let s be (-357)/63 - 4/(-6). Let n(m) = m**3 + 6*m**2 - 4*m - 9. Does 4 divide n(s)?
True
Let o(n) = n**3 - 2*n**2 + 2*n + 2. Let f be o(2). Let k(a) = 8*a + 42. Is 8 a factor of k(f)?
False
Does 5 divide ((-3134)/(-4) - -1) + (-11)/(-22)?
True
Let j = -823 + 903. Is 10 a factor of j?
True
Let w = -10 - -22. Suppose -4*y + 40 = -3*f, -3*y - 3*f + w + 39 = 0. Let o = y - 6. Is 3 a factor of o?
False
Let a = 1331 + -1187. Suppose 0 = -p + 4*c - 5, -5*c = -11*p + 6*p + 5. Suppose g = 4, p*l + 3*g + 30 = a. Is l a multiple of 7?
False
Let i = -1374 - -3549. Is 29 a factor of i?
True
Let h = 612 + 151. Let s = h - 419. Suppose 5*j - s = u, 2*j = -5*u + 40 + 103. Is 23 a factor of j?
True
Suppose 44 = -3*h + 2*i, 0 = -3*h - 3*i - 13 - 11. Let q(w) = -2*w + 2. Let r be q(h). Suppose -5*b + 26 = y, -4*y - b = -r - 116. Does 10 divide y?
False
Let m(r) = -8*r**3 - r**2 + r + 2. Let d be m(-1). Suppose -6*u + d*u - 196 = 0. Is u a multiple of 37?
False
Let l(f) = f - 18. Let q be l(22). Let i be (2/5)/(4/20). Suppose -q*y + 5*b + 32 = -67, -i*b - 50 = -2*y. Does 10 divide y?
False
Let y be (-7 - -3) + 64 + 6 + -3. Let v be (-2)/8 - 1034/(-8). Suppose -z + 2*z + 2*d = y, 2*z - v = -5*d. Does 23 divide z?
False
Suppose k = -2*j + 6*k + 620, 953 = 3*j + 4*k. Does 6 divide j?
False
Let g(r) = 8*r - 23. Let s(c) = 5*c - 34. Let f be s(8). Does 6 divide g(f)?
False
Let s(i) = 11*i - 76. Does 2 divide s(13)?
False
Suppose 0 = -3*h - 12 - 21. Does 26 divide 2/h + 1152/44?
True
Let r(p) = p**2 + 14*p + 20. Let q be r(-8). Let n = q + 61. Is n a multiple of 3?
True
Let h(l) = 919*l + 42. Is h(2) a multiple of 28?
False
Suppose 0 = l - 6 + 13. Let h = -2 - l. Suppose -5 = -h*p, o - 66 = -5*p - 19. Does 14 divide o?
True
Let l(y) = 2*y**3 - 35*y**2 + 34*y + 41. Is l(17) a multiple of 22?
True
Let h(g) = 2*g**2 - 6*g - 10. Let l be h(7). Does 16 divide -1 - (l - -2)/(-1)?
False
Let s = 53 - 56. Let l(p) = 3*p**2 + 5*p + 4. Is 8 a factor of l(s)?
True
Let h = -415 - -611. Is h a multiple of 5?
False
Let g(d) = d**3 + d - 2. Let o be ((-3)/(-7))/(9/63). Suppose -5*q + 5 = 0, -2*b - 6 = -o*b - 3*q. Is 14 a factor of g(b)?
True
Let h = -294 + 420. Let i be (-1 - -4)*h/2. Let j = i + -119. Does 9 divide j?
False
Let j be (3/(-1) + 1)*-2. Suppose 50 + 118 = j*a. Does 7 divide a?
True
Suppose 16 = 52*m - 54*m. Does 11 divide (14/m)/7 - (-73)/4?
False
Let g(o) = -18*o + 1 + 0 - 6 + 2. Let d be g(-2). Is 14 a factor of d/2 - (-6)/4?
False
Is ((-10)/15)/(12295/3075 - 4) a multiple of 28?
False
Let j(f) = 7*f + 5. Let t(x) be the first derivative of -x**4/4 - 7*x**3/3 - x**2/2 - 2*x + 6. Let w be t(-7). Is 12 a factor of j(w)?
False
Let y(c) be the second derivative of c**4/12 + c**3/3 - 2*c**2 - 4*c. Let h be y(-6). Is h + 0 + (3 - 2) a multiple of 7?
True
Suppose 5*t - 3*j - 54 = 0, t + 0*t + 5*j = 22. Is 2 a factor of t?
True
Let r(p) = -3*p + 10. Let z be r(6). Let n = z + 9. Does 10 divide (14 - (6 + -2))*n?
True
Let r(g) = 305*g + 80. Is 5 a factor of r(5)?
True
Suppose 5798 + 4270 = 4*j + 3*c, -20 = 5*c. Does 45 divide j?
True
Let g = -36 - -36. Is (-860)/(-14) - ((-8)/14 - g) a multiple of 18?
False
Let d(g) = -4*g + 19. Is 13 a factor of d(-5)?
True
Suppose -4*h + x = 2*x - 19, 0 = 3*h - 4*x. Suppose 9*y - 345 = h*y. Is y a multiple of 23?
True
Let o = -11 - -15. Suppose -7*g = -o*g - 24. Is 8 a factor of g?
True
Let x be 14/(-3)*(-12)/21*18. Suppose -4*b = 4 - x. Is 11 a factor of b?
True
Suppose -7*j + 196 = 5*p - 3*j, -2*p - 3*j = -77. Suppose 0 = -5*t - 3*b + 105, 4*t + 5*b - 31 = p. Is 6 a factor of t?
True
Suppose -12 = 5*u - 2*u. Is (-828)/(-16) + (-1)/u a multiple of 13?
True
Suppose h - 215 = -4*w, -3*h + 221 = 8*w - 4*w. Is 3 a factor of w?
False
Let h(a) = a**3 - 39*a**2 - 215*a + 81. Does 44 divide h(46)?
False
Let q(v) = 3*v**2 + 69. Suppose 0 = -9*p + 5*p + 24. Suppose 4*j = p*j. Is q(j) a multiple of 7?
False
Let h = 2 - 2. Let w = 4 - h. Suppose -3*f + n + 184 = 2*f, -5*n + 124 = w*f. Is f a multiple of 14?
False
Let k(z) = -27*z. Suppose 5*c + 0 = -5. Let d be k(c). Suppose -2*l = -2*m - 24, 4*m + d = -2*l + 3*l. Does 7 divide l?
True
Suppose -6 = -2*k - 4. Is (-122)/k*1/(-2) a multiple of 27?
False
Suppose 4*r - t = -6*t - 81, 2*r + 2*t = -38. Let z be (-4)/r + (-132)/(-28). Suppose 4*i + n - 168 = -3*n, -z*n = -2*i + 98. Is i a multiple of 20?
False
Suppose 0 = 31*h - 30*h + 8. Let t(i) = -4*i + 13. Does 15 divide t(h)?
True
Let h = -12 - -16. Suppose -2*x + 2 = y, 2*y + h - 2 = 2*x. Suppose -2*b - 3*b + 20 = y. Is b even?
True
Suppose -5*r = -3*r - 8. Suppose 0 = 4*a - h + 8, 9 = r*a + 5*h - 7. Is 6 a factor of (a/4)/((-1)/76)?
False
Is 3752/6*-6*(-3)/12 a multiple of 14?
True
Let s(l) = -90*l**3 + 2*l**2 + 2*l - 4. Let h be s(2). Is 22 a factor of (h/(-12))/((-12)/(-18))?
False
Let b be ((-1)/1)/((-6)/(-6)). Let c(g) = -8*g**3 - g - 1. Is c(b) a multiple of 4?
True
Suppose -11*u + 6*u = -5. Is (-1 + u)/1 + 13 a multiple of 12?
False
Let a(y) = -1. Let s(h) = -4*h + 11. Let d(c) = -2*c + 5. Let i(j) = 7*d(j) - 3*s(j). Let n(l) = -2*a(l) - i(l). Is n(8) a multiple of 9?
False
Suppose -6*q + 32 = 8. Suppose -5*s - 17 = -0*z - z, -q*z - 5*s = -193. Is z a multiple of 21?
True
Suppose -4 = 3*g + 14. Let a be 2*(g/(-4) - 2). Let o = 6 - a. Is o a multiple of 7?
True
Let x be (2 + -2 - -6)/2. Does 5 divide (-45)/(-6)*2/x?
True
Let f be 4/(-26) - (-360)/(-26). Let i = f + 46. Is 22 a factor of i?
False
Does 17 divide (2/1 + -4)*1071/(-18)?
True
Let l = -50 - -47. Let g = 36 + l. Is g a multiple of 5?
False
Let v(l) = l**3 + 14*l**2 + 4*l - 8. Let r be v(-13). Suppose -s + 3*o = 2*s - 297, o = -s + r. Suppose 5*j + 3*j - s = 0. Is 2 a factor of j?
False
Suppose -15*t + 78 = -9*t. Suppose -661 