(y) = g*n(y) + 3*s(y). Is f(-7) a multiple of 18?
False
Let n(q) = -15*q + 6. Suppose 7*z - 35 - 7 = 0. Let b(s) = 5*s - 2. Let h(v) = z*n(v) + 17*b(v). Does 16 divide h(-22)?
True
Let b(i) be the second derivative of 3*i**3 - 29*i**2/2 + 82*i. Is b(6) a multiple of 10?
False
Let t = 57 + -39. Does 4 divide 676/10 - (t/15)/(-3)?
True
Let v(o) be the third derivative of o**4/4 - 2*o**3 + 89*o**2. Let m = 10 + 2. Is 5 a factor of v(m)?
True
Suppose 0 = -2*y - 4*j - 73 + 25, 5*y + 150 = -4*j. Let u(d) = d**3 + 19*d**2 + 23*d + 27. Let r be u(-18). Let q = y - r. Is q a multiple of 29?
True
Let k(q) = 2*q + 33. Let v(g) = -g - 11. Let j(p) = -3*k(p) - 8*v(p). Let i be j(6). Is (1 + 0)*(i + 16) a multiple of 3?
False
Let m be (-135)/27*6/(-10) - 1. Let r(i) = 12*i**3 + 2*i**2 - 2. Is 9 a factor of r(m)?
False
Let o be (4/(-10))/(1/(-10)). Let b be (-3 + -5)*(-3 + 245/(-14)). Suppose -o*h - 3*a - 316 = -920, h + 4*a - b = 0. Is h a multiple of 38?
False
Let w(a) = 3*a**2 - 7*a + 10. Let m(k) = -k**3 - k. Let i be m(-1). Let c be (i/9*6)/(2/12). Is w(c) a multiple of 26?
False
Let r = -90 - 30. Is -554*(r/16 + 6) a multiple of 15?
False
Is 65 a factor of ((-105)/14 - -5)*((-20)/(-4) - 551)?
True
Let n be 32 - -3*8/6. Suppose n*b - 37*b + 16 = 0. Is b a multiple of 16?
True
Suppose 0 = 14*y - 41*y + 117936. Is y a multiple of 12?
True
Suppose -38*o + 69100 + 230454 = 0. Is o a multiple of 52?
False
Suppose 6*v = 2*v. Let h = -6401 + 6792. Suppose v = -5*c + 669 + h. Is 25 a factor of c?
False
Suppose 0*c + 136 = w + 2*c, -w = 4*c - 142. Let d be (-612)/(-15)*w/4. Suppose -d = -10*r - 126. Is 10 a factor of r?
True
Suppose 6*u - 142 = -124. Suppose 0 = -u*h, -4*s + 980 = 8*h - 5*h. Does 35 divide s?
True
Let d(n) be the first derivative of -3*n**4/2 - 2*n**3 - n**2 + 8*n - 25. Let h be d(-4). Suppose -k = 4*l - l - 84, -4*l + h = 4*k. Is 18 a factor of k?
True
Let f(b) = 21*b - 9. Suppose 162 = -7*l + 16*l. Let q be 3/l*22 + 3/9. Does 15 divide f(q)?
True
Let z = 21254 - 8854. Is z a multiple of 40?
True
Let v(k) = k**2 + 11*k + 20. Let a be v(-2). Suppose -w + 160 - 39 = -3*c, -2*w - a*c = -218. Is w a multiple of 3?
False
Suppose -41 = -2*l - 75. Is (-19 + l)/(6/(-40)) a multiple of 12?
True
Let q be (-4)/(((-9)/8)/9). Suppose 22 = 2*m - q. Does 6 divide (-12)/m + (-2945)/(-45)?
False
Let h = -4245 + 6010. Suppose 4*v - 2344 = -4*n, -3*n - 2*v = -1027 - 734. Suppose -n = 6*r - h. Is r a multiple of 19?
False
Let b = 16613 - 13202. Is b a multiple of 3?
True
Let c = -169 - -224. Is 33 a factor of (c/(-2))/(8/(-48))?
True
Suppose -n = 150 + 178. Let t = -90 - n. Let u = 350 - t. Is 19 a factor of u?
False
Let v = 31941 + -16195. Is v a multiple of 12?
False
Suppose 135 = -22*z + 7*z. Let v(p) = -86*p + 51. Let c be v(z). Suppose 36*j + c = 41*j. Is 16 a factor of j?
False
Suppose 0 = 4*c + 4*j - 19204, 5*c + 18*j - 23990 = 16*j. Let k = -3380 + c. Is k a multiple of 12?
True
Suppose -3*z - 3*q - 506 = -1691, -4*q = z - 386. Let g be 2/(-3) + 78/9. Suppose -g*y + 354 = -z. Is 29 a factor of y?
False
Let o(m) = -m**3 + 12*m**2 + 11*m + 21. Let v be o(11). Let r = v - 188. Is r a multiple of 13?
False
Let m(v) be the third derivative of v**7/420 + v**6/240 + v**5/30 + 7*v**4/24 + 17*v**2. Let n(h) be the second derivative of m(h). Is n(-2) a multiple of 3?
False
Suppose 7144 = 10*x - 6*x. Suppose 4*i = -2*b + 7094, -i + b - 4*b = -x. Suppose 7*t + 4*t = i. Is 7 a factor of t?
True
Let d be 4/(-6)*(-4 + -8). Suppose -d = -4*b + 60. Suppose b = 3*l - 10. Is 9 a factor of l?
True
Let m = -4636 - -7456. Is m a multiple of 60?
True
Suppose y + 7*o + 1 = 2*o, 4*y + 5*o - 11 = 0. Is 15 a factor of (0 - (-2 + y))*176214/(-172)?
False
Suppose 21*k = 6*k + 12630. Suppose 2686 = 21*t - k. Does 8 divide t?
True
Suppose -56*x + 36*x = -43100. Suppose -3*a + x = 8*i - 3*i, 4*a - 2160 = -5*i. Is i a multiple of 47?
False
Suppose -13*q + 6*q = 28. Let n(v) = -26*v - 24. Is 5 a factor of n(q)?
True
Let k(z) be the first derivative of -z**4/4 + 4*z**3 + 3*z**2/2 - 23*z - 38. Does 23 divide k(10)?
True
Let x be 3*((-4)/5 + (-2615)/75). Let a = x + 117. Suppose -a*s - 2*s = -1992. Does 11 divide s?
False
Let g be 410/(-5)*(-1)/(-2). Let y = -43 - g. Does 9 divide -2*(27/y + -2)?
False
Let b be 3 + (-6 + 1 - -171). Does 15 divide -1*(26/b + (-4190)/26)?
False
Let s = -6055 + 8827. Is 66 a factor of s?
True
Let u(t) = -2*t**3 + 2*t + 2. Let v be u(-1). Suppose -k - 4*a + 9 = 0, -v*k - 2*a - 1 = -7. Does 10 divide k/(-4)*-6*(28 + -4)?
False
Does 10 divide 1253*(9 + 46/(-7))?
False
Suppose 5*b = 20*b - 30. Suppose 562 = b*p - 484. Does 33 divide p?
False
Suppose r - 69 + 26 = -w, -2*w - 208 = -5*r. Is ((-182)/52)/(1 + (-43)/r) a multiple of 21?
True
Is 2333 - -2 - -1 - (-1)/2*0 a multiple of 73?
True
Let v(t) be the third derivative of -t**6/120 + 3*t**5/20 - 7*t**4/12 + t**3/3 - 8*t**2. Let b be v(7). Suppose 4*r = b*r + 224. Does 7 divide r?
True
Suppose 0 = -13*i - 12*i + 2000. Suppose -i*y - 2733 = -83*y. Is y a multiple of 26?
False
Let v be (11508/10)/((-14)/140). Is 42 a factor of (-4 + 6 - -5)*v/(-49)?
False
Suppose 36 = 50*d - 14*d. Does 14 divide d*(-3 + 4) + (0 - -816)?
False
Let m = -231 + 159. Let i(j) = -28*j**2 - 2*j - 2. Let o be i(-2). Let f = m - o. Is 18 a factor of f?
False
Let x(l) = -8. Let i(s) = s. Let c(k) = i(k) + x(k). Let o be c(8). Suppose 0 = -o*q - 2*q - 2*g + 44, 5*q - 4*g - 155 = 0. Does 5 divide q?
False
Let k be ((-4)/(-5))/(2*(-5)/(-75)). Let s be (-54 + 2)*6/k. Does 9 divide s/(-6) + 0 - (-5)/15?
True
Let r(o) = 16*o**2 + 6*o + 21. Let a be r(-2). Suppose -3*s = -15, -l + 3*l - 5*s = a. Does 2 divide l?
False
Let o = 50 - 51. Let b be 12/(-8)*(-8)/(3 - o). Suppose b*a + 169 = 5*y, -4*y - 2*a - 70 = -6*y. Is 9 a factor of y?
False
Suppose -5*a + 169 = 139. Suppose -a*w - 5*c + 59 = -3*w, 4*w + 5*c - 72 = 0. Does 13 divide w?
True
Let i(d) = 6*d**2 + 7*d - 4. Let k be i(1). Does 11 divide 5 - (k/(-3) - 179)?
True
Let l(c) = -3*c + 95. Let y be l(30). Suppose -10*h + 7*h + 699 = 2*s, -y*s - 2*h + 1720 = 0. Is 33 a factor of s?
False
Let y(d) = -278*d + 4214. Is y(0) a multiple of 14?
True
Suppose 2*w = 51*l - 56*l + 4736, -3*l = 6*w - 14184. Is w a multiple of 17?
True
Let s(v) be the first derivative of v**5/30 + 4*v**4/3 - 7*v**3/6 + 5*v**2 + 14. Let t(f) be the second derivative of s(f). Does 15 divide t(-21)?
False
Let y(j) = -j**3 + 41*j**2 + 80*j - 1837. Is y(33) a multiple of 119?
False
Let u = -73 + 18. Let t be 979/9 + 18/81. Let m = t - u. Is 30 a factor of m?
False
Suppose 4*c - 5*w = 35, -2*c + 5*w = 3*c - 50. Suppose -x + 31 = -4*r, -5*x - c = 2*r - 82. Let y = x + 28. Does 4 divide y?
False
Let y = -2071 + 2320. Let g(n) = n**3 - 5*n**2 - 7*n + 4. Let c be g(6). Is 39 a factor of y - (c + (-9)/(-3))?
False
Let r(f) = -f**3 - 5*f**2 + 3*f + 5. Let w be r(-6). Suppose -5*p = -2*z + 232 - w, -4*p - 100 = -z. Is 18 a factor of z?
False
Let h(p) = -7*p**3 - 5*p**2 + 11*p - 22. Let o be h(-6). Suppose -2218 = -6*v + o. Is v a multiple of 17?
False
Suppose 2*f - 284 = 50. Let n = f + 62. Is 24 a factor of (n/2)/((-1)/(-2))?
False
Let d(t) = -676*t + 2. Suppose 0*w + 4*w = -n + 13, -5*w + 5 = 5*n. Let i be d(n). Is 5 a factor of (6/4)/(29/i)?
True
Is 2348*(66/(-176) + (-19)/(-8)) a multiple of 8?
True
Let k(j) = 8*j**2 + 3*j**3 - 6*j - 8*j**2 - 5*j**2 + 5. Let i be k(3). Suppose i + 1 = 2*h. Does 6 divide h?
True
Suppose 0 = 5*t + 5*r - 28578 - 402, -r + 11592 = 2*t. Is 12 a factor of t?
True
Suppose 6*t + 21862 = 11*t - 5868. Is 118 a factor of t?
True
Let c(r) = 48*r**2 + 118*r - 838. Is c(7) a multiple of 195?
True
Suppose -k = 3*k + 12. Let f(o) = o**3 + 17*o**2 - 61*o - 58. Let a be f(-20). Let l = k - a. Does 8 divide l?
False
Let u(b) = -b**2 + 7*b - 3. Let z be u(1). Suppose -7*a + 2*a + z*k + 338 = 0, 3*k - 152 = -2*a. Does 2 divide a?
True
Suppose -55*j - 16*j + 63562 = -233289. Does 139 divide j?
False
Suppose -68022*s + 68030*s - 24152 = 0. Is 4 a factor of s?
False
Suppose -30*j - 744 = -38*j. Let s = j + 24. Is 17 a factor of s?
False
Suppose 40 = -3*x + 28, -4*c - x + 37892 = 0. Does 6 divide c?
True
Suppose 6*s = -s + 28. Suppose 2*l = 3*k - 360, 2*l = s*k + 7*l - 480. Is k a multiple of 20?
True
Does 15 divide ((-5270