 + 2*s, -2*s = 2*v + f for v.
-4
Let b(n) = 3*n**2 + 245*n - 246. Let o be b(1). Solve f + 11 = 2*v, f + 2*f + o*v = -1 for f.
-3
Let i(w) = -w**2 - 22*w + 40. Let h be i(-24). Suppose -5*s = 5*a, 2*s - 8 = 3*a - 3*s. Let z be h*3*a/6. Solve -15 = -3*b - 3*n + n, 0 = z*b - 2*n - 6 for b.
3
Let x = 2818 + -2814. Solve 0 = 12*p - 17*p - s - 2, -2*p - 14 = -x*s for p.
-1
Let p(a) = -a**2 - 61*a + 334. Let h be p(-66). Solve 0 = h*b + 2*d - 16, -d = -7 + 3 for b.
2
Suppose 21 + 87 = 36*p. Solve 2*l = -p*v - 19, -2*v - 26 + 16 = 0 for l.
-2
Let d = 249 - 235. Let v = d - -23. Solve 0*p - v = 4*z + 5*p, -19 = 3*z + 2*p for z.
-3
Suppose -6269 + 1628 = -91*z. Solve 3*j = -5*c + 40, 5*c - z = -26 for j.
5
Suppose -36*q + 37*q = 3. Suppose -2*s = 2*w + 4, -s + 10 = 2*w + q*w. Solve w*u - u - a = 0, -5*a = 0 for u.
0
Let d(a) be the first derivative of a**4/4 - 3*a**3 + 5*a**2 + 5*a + 3. Let f be d(8). Let c be 1/(14/f) - 6/4. Solve c = -w - 2*t - 3, t - 25 = -w + 6*t for w.
5
Let m = 59 - -65. Let s = m - 114. Suppose 18 = 4*z + b, -5*z + 10 = -2*z - b. Solve 0 = 3*x + 5*u - 29, -z*u + s = -3*x + 3 for x.
3
Let b be (-1 - -4) + 60 + -59. Solve 18 = 2*v - 4*c + 12, 0 = -5*v + b*c + 3 for v.
-1
Let n be (-29302)/(-1176) + (-1)/(-12). Solve -4*f = -4*y + 20, -22*y + 27*y = -5*f - n for f.
-5
Suppose 19*f - 5*c - 43 = 17*f, -f - 2*c = 10. Suppose -3*u = u - 56. Solve -g - q + u = f*g, 0 = -g - 3*q for g.
3
Let i = -13857 + 13860. Solve 4*x = -i*o + 22, 0*x = -3*o + 2*x - 2 for o.
2
Let z(i) = -12*i**2 - 5*i - 6. Let c be z(-3). Let x = c - -102. Suppose 0*h - 16 = -h. Solve 4*f - 2*j = -0*f - h, x*f + j + 7 = 0 for f.
-3
Let r = 7 + -27. Let a = -14 - r. Suppose 0 = -a*m + 2*m + 2*o + 8, 40 = 5*m + 5*o. Solve v = -2*n - 7, -m*n + 4*v - 16 = -n for n.
-4
Let q = -67 - -59. Let m(p) = -2*p**2 - 17*p + 9. Let f be m(q). Solve -3*r - 11 = -5*u, r - 4*u - u + f = 0 for r.
3
Let y(t) = -8*t**2 + 15*t**2 - 8*t**2 - 5 - 9*t. Let u be y(-8). Let r be u/(-12) + (-65)/(-20). Solve -r*g - 9 = -2*l - l, -2 = -2*g for l.
4
Suppose -3394 - 1702 = -182*s. Solve -5*c - s*j + 23*j = 15, -4*j - 28 = -4*c for c.
2
Let a(b) = b**3 - 21*b**2 + 12*b + 165. Let p be a(20). Solve 17*z - 15*z = 5*i - 23, -3*i = z - p for i.
3
Let u be ((-3)/2)/((-183)/488). Solve -3*o + 1 = -u*f, 3 = 4*o - f - 7 for o.
3
Let u(b) = 388*b + 10090. Let g be u(-26). Solve 0 = 3*l + g*s - 1, 133*l + 11 = 128*l + 3*s for l.
-1
Let b = 36572 + -36568. Solve 0 = s - 4*h + 13, -b*h + 10 = -4*s - 9*h for s.
-5
Let b be (0 + 1)*60*5*(-10)/(-600). Let t be 17/4 - (-2)/(-8). Solve -x + 23 = -t*s, -b*s + 5*x = 2*x + 34 for s.
-5
Suppose 12 - 17 = -i, -5*i + 5 = -5*v. Solve 3*g + 10 = -a, a - 17 + 6 = v*g for g.
-3
Let j = 16804 - 16786. Solve 0 = -15*k + 16*k - 3*r - j, 2*k - 31 = 5*r for k.
3
Let n(z) = 2*z**3 - 27*z**2 - 15*z + 56. Let c be n(14). Let i be 7 - (-3 + c/7). Solve -24 = -3*d - i*o, -4*d + 4*o - 1 = -5 for d.
4
Let u(k) = 9*k**2 + 144*k + 167. Let l be u(-15). Solve 5*s - 4*b - l = 0, 0 = 3*s + 2*b + 2*b for s.
4
Suppose -2*u = -5*h - 13, -u - 3*h + 60 = 59. Suppose m = 4*m - 6. Solve 2*n + 0*t = u*t + 24, -4*n - 2 = m*t for n.
2
Let n = -14011 + 14025. Solve 0 = 2*u + 4*i + 18, -3*u - i = n - 2 for u.
-3
Let v(n) = -28 + n**2 - 6*n**3 - 6*n + 35 + 7*n**3. Let r be v(2). Solve -3*a + r = -2*y, 0 = 3*y + a + 2*a - 12 for y.
1
Let r(h) be the second derivative of -h**5/20 - h**4/4 + 29*h**3/6 + 9*h**2/2 + 45*h. Let w be r(-7). Solve 4*t - 5 = 5*z, 5*t - 34 = -w*z - z for t.
5
Let c(m) = -m**2 + 8*m - 3. Let u = -7 - -11. Suppose -4*b + 32 = -u*l, 0*l - 5*l = 15. Let o be c(b). Solve t - 4*p = -3*t + o, -t = 5*p - 9 for t.
4
Let n(s) be the second derivative of -s**5/20 - 5*s**4/3 - 3*s**3 + 23*s**2/2 + 15*s. Let k be n(-19). Solve 3*w - 15 = -2*r, 0 = -k*w - 6 + 18 for r.
3
Let m(v) = 2*v**2 - 24*v - 52. Let p be m(14). Solve 22 = 4*j + l, -j = -0*l + 5*l + p for j.
6
Suppose 3 = -4*q - 8*c + 9*c, -9 = 3*q - 3*c. Solve 13 = w + 2*w + 5*u, q = 5*w + 2*u - 9 for w.
1
Let l(f) = -f - 15. Let r be l(-18). Let a = -2 + r. Let b be 16/2 - (7 + -3 - a). Solve -b*v = 5*c - 0*v + 5, 3*v + 19 = c for c.
4
Let h(m) = 5*m + 18. Let t be h(5). Let u = t - 7. Let c = u - 34. Solve 0*r - r = -4*v + c, 7 = 5*r - 3*v for r.
2
Let r be (1 - 7/(-63)*3)/(26/78). Solve k - r = 5*x, -11*x + 6*x - k - 6 = 0 for x.
-1
Suppose -21*x = -16*x + 260. Let d = -31 - x. Suppose 93 - d = 4*v. Solve -5*q - v = o - q, -2*o = 5*q + 21 for o.
2
Let d(p) = p**2 + 18*p - 140. Let a be d(6). Solve 4*v + 8 = -a*b, v = -5*b - 1 + 7 for b.
2
Let n = 17 - 9. Let d(h) = 186 + 14*h + 0*h + 10*h + 156. Let u be d(-14). Solve x + 3*b = u*b - 14, -4*x - n = 4*b for x.
-5
Suppose 3*t = 292 - 766. Let x = t + 161. Solve -2*l + x*d + 3 = l, 0 = -3*l + d - 7 for l.
-4
Suppose -67 = -5*m - 67. Let i be (m - 56)*(-7)/14. Suppose 5*l = -0*k - 4*k + i, -4*k - 2*l + 16 = 0. Solve -14 = -2*j - k*s - 2, -j + 2 = -s for j.
4
Suppose -1832*a + 1837*a - c - 15 = 0, 5*a - 15 = -5*c. Solve -a*n + 4*j + 9 = 0, -j - 3 = -n + 4*j for n.
3
Let y(z) = 4*z + 158. Let b be y(-37). Solve 0*q - 5*n = 2*q, 5*n + b = 0 for q.
5
Let d = -8802 + 8804. Solve -r + d = 2*j, 13*r - 4 = 11*r for j.
0
Let w = -49 + 51. Suppose 2*o = -2*h - 2, o - w = -4*h - 3. Suppose m = -5*t + 1, h = 5*t - 5*m + 2*m + 3. Solve 4*v + 20 = t, 8 = -s - v - 1 for s.
-4
Suppose -4*l = 4*v + v - 44, 4*l + 52 = 3*v. Suppose -3*m + 2*c + 14 = 0, -m + 16*c = v*c - 8. Solve -9 = 5*n - m*w, n = 4*n + 3*w + 27 for n.
-5
Suppose 4*l + 40 = 4*x, -152*l + 151*l - 1 = 2*x. Solve 2*s + 7*i - 20 = x*i, 3*i - 15 = 3*s for s.
0
Let r(s) = s**3 - 7*s**2 + 6*s + 4. Let t be r(6). Suppose t*z - 6 = 18. Let u = 71045 - 71041. Solve -z = 2*d + 3*g, -u*d = 4*g - g + 6 for d.
0
Let g = 850 + -849. Let x be 456/30 - (16/(-20))/g. Solve 0 = -4*p + 2*v - x, v = 3*p - 7*p - 10 for p.
-3
Suppose -52 = -2*f + 2*a, -5*f + 3*a = -139 + 3. Suppose -61 - f = -9*m. Solve -4*x - m = o, -2*x - 5*o + 13 = -3*x for x.
-3
Suppose 3*f = 4*f - 2. Suppose 2*s + 16 = 22. Suppose -2*b - s*x = -1, -2*b + 3*x = -0*b - 7. Solve -35 = -4*c - 3*w - b*w, 0 = -5*c - f*w + 31 for c.
5
Let s(d) = -d**2 - 2*d. Let j be s(-2). Let t(z) = 2 - 43*z + 89*z - 50*z. Let w be t(-1). Solve j = v + w*u - u + 14, -u - 3 = 0 for v.
1
Let p be (-5)/(-3)*(6 + -3). Suppose 4*v + 31 = -5*k, -k + 3*k + 2*v + 14 = 0. Let n be 1*-1*(k + 3 - 0). Solve z + 2*m + 4 = n, 0 = 4*z + p*m + 1 + 3 for z.
4
Let m = 23059 - 23056. Let z be (9/(-4))/(6/(-32)). Solve 0 = 2*b + 3*t - 10, -m*b + 6*b = -3*t + z for b.
2
Let d be 4/(-12)*(-26 - -5). Let f be 2/((-1)/(-3) - 1). Let l = f + d. Solve -4 = -l*z - 2*w - 2*w, 25 = -3*z + 4*w for z.
-3
Let a(f) = f**2 + 2*f - 32. Let y = -84 + 78. Let x be 0 + 40/y + 19/(-57). Let z be a(x). Solve 4*k = k - z*p + 3, 0 = -5*k + 2*p - 16 for k.
-2
Let v(z) = z**3 + 6*z**2 + 8*z + 9. Let q be v(-5). Let k be (2/q)/(2/(-18)). Solve 0 = -k*u + 4*h - 20, -4*u - h + 14 = -7*u for u.
-4
Let d = -21 + 23. Let g be (-2)/(((-24)/21)/4). Suppose -4*m + n = -4, -m - 2*n - 18 = -g*n. Solve j - 4*p = -0*p - 19, m*p - 14 = d*j for j.
-3
Let b(p) be the first derivative of -5*p**3 - 13*p - 1/4*p**4 + 15/2*p**2 - 13. Let j be b(-16). Solve -2*f + 0*f + 8 = u, -10 = -j*u + f for u.
4
Suppose 0 = -67*t + 28 + 173. Solve -36*p - 3*m = -34*p + 5, 2*m + 10 = -t*p for p.
-4
Let f be 4/12*(6 - -9) - 0. Suppose -230*r + 234*r - 28 = 0. Solve -f*h - 14 - r = -4*v, -v - h = 6 for v.
-1
Let o(l) = 31*l**2 + 46 + 32*l + 3*l**3 - 2*l**3 - 63*l. Let p be o(-32). Solve 3*q + u - 5*u = -p, -4*u = -20 for q.
2
Let v(q) = -283*q - 880. Let a be v(-3). Let g be (-2)/(4/(-74)) + -1. Let z = g + a. Solve z*h + 2*d = -22, -h + d = -1 + 4 for h.
-4
Suppose 2*j - 16 = 2*h, -15 = 5*h + 10. Let c be (36/(-20))/(j/(-45)). Let k be ((-5)/(-2))/(-4 + c/6). Solve -4*t + 8 = 4*g, -3*g + k*t + 1 = -21 for g.
4
Let x be 4 - (63/30 + (-6 - (-649)/110)). Solve -2*d - x*w = -12, -22 = -5*d + 4*w - 1 for d.
5
Let w = -3287 + 3287. Solve v = -3*c + 5, w = c - 16*v + 18*v - 10 for c.
0
Let y = 2057 - 2045. Solve -2*z + 2*l - y = 0, 0*l = -4*z - 2*l + 6 for z.
-1
Suppose -2*h - 16 + 20 = 0. Let o(k) = 5*k + h + 16 - 2*k. Let v be o(-5). Solve -j - 2*d - 1 = -11, d = v for j.
4
Let d be -4*1*6/(