f + 9 for f.
-5
Let u = -7 - -10. Suppose -2*l = -2*j + 2, -5*l = 3*j - u*l - 8. Suppose -44 = -2*m - 40. Solve m*c - 3*i - 4 = 0, -j*i = 1 - 5 for c.
5
Let x = -20 - -24. Let j = x - -14. Solve -22 = -2*i + 4*p, 5*i - 3*i - 3*p = j for i.
3
Let k(s) = -9*s + 3 - 9*s**2 + 11*s**3 - 4 - 12*s**3. Let v be k(-8). Let c = -5 + v. Solve 3*x = -3*h - 30, -c*x + x = 5*h + 30 for h.
-5
Let o be 33/27 - (-4)/(-18). Suppose o = 2*p - p. Solve -2*i + 0*i + h - 14 = 0, -p = -3*i - 4*h for i.
-5
Let a = -715 + 718. Solve 4*s = 2*h + a*h + 33, 0 = 2*s - 4 for h.
-5
Let m(c) = c**3 + c**2 - c + 5. Let l be ((-9)/2 + 6 + -2)*0. Let q be m(l). Suppose 0 = -2*n - 3 + 33. Solve 2*u - 4*t = -10, u = q*u - 3*t + n for u.
-3
Let i = 990 - 1012. Let u(t) = 2*t**2 + 4*t + 6. Let p be u(-4). Let v = p + i. Solve b - 3*n + 5 = -3, v = 4*b - 4*n + 16 for b.
-2
Let f = 2269 + -2261. Solve f = -c + j, -4*c - 1 = 3*j + 10 for c.
-5
Suppose 0 = -4*x + u + 2*u + 7, -5*x + 5*u = -5. Let j = -12 - -15. Let q be 6 - (4 + j/(-3)). Solve i + x*c = -q*i, -5*i + 4*c - 45 = 0 for i.
-5
Let b(m) = 5*m - 2. Let w(y) = 11*y - 4. Let l(n) = -13*b(n) + 6*w(n). Let q be l(-1). Let v = 9 + q. Solve -3*t - 4*o - o = v, -5*t + 4 = -2*o for t.
0
Suppose -5*u - 18 - 7 = 0. Let i = u + 8. Let d be 13/i - (-2)/3. Solve d*y + 15 = -4*z, y + 17 = -2*y - 4*z for y.
1
Let a = -42 - 38. Let h = a - -96. Solve 2*k + 4*m + h = 0, -3*k = -2*k - 2*m - 8 for k.
0
Let o = -265 + 269. Solve -3*x - 4*k = 16, k = -x - 3*x - o for x.
0
Let w be (-79)/2*(-3 + 1). Let r = 82 - w. Solve -5*y - 3*g - 8 = -y, -r*y + 2*g = 23 for y.
-5
Suppose 131 - 329 = -9*f. Solve 2*n = -n - 9, n - f = 5*g for g.
-5
Let h(u) = u**2 + 5*u - 8. Let a be h(-7). Solve a = i + 4, -i + 2 = 5*y for y.
0
Suppose -m = 4*r + 1, -4*r + 4*m + 9 = 3*m. Let x be (-118)/(-3) + 3 - 1/3. Let u = x + -37. Solve 18 = 5*d + 2*h - u*h, 2*d - r = -5*h for d.
3
Let b be -7 + 2 + -4 - -3. Let p be 3/b*(1 - 1). Let x be 6 + -3 - 0 - p. Solve -u - 4*g - 30 + 11 = 0, -x*u + 18 = -3*g for u.
1
Suppose 0 = -5*u + 34 - 9. Solve -v - p = 0, 0 = -u*p - 0*p - 10 for v.
2
Suppose 0 = 3*c - 7 - 38. Suppose 4*v - c = 5. Suppose 5*f = 3*y - 25, v*f + 25 = -3*y + 2*y. Solve y = -0*b + 4*b + 5*h - 5, h + 3 = 0 for b.
5
Suppose -2*j - 23 = -3*d - 4*j, -4*j + 16 = 0. Solve 3*z - d*c - 3 = 0, -c + 3*c + 2 = z for z.
-4
Let h be (5/3)/(-1)*-3. Let l = -33 + 38. Suppose -6 = a - l*b, b + 24 = 5*a + 3*b. Solve -s + a*j = 4, 2*j = h - 3 for s.
0
Let n = -44 + 44. Solve -2*h - 4*y = 3*h + 4, n = 5*h + y + 16 for h.
-4
Let y = -6 - -11. Suppose -5*b + 5*s + 15 = 0, y*b = 3*s - 4 + 13. Let j be -1 - 0 - (-1 + b). Solve -n - a = 2*a - 2, a - 1 = j for n.
-1
Let z = 1 - 0. Let i be ((-7)/(-14))/((-1)/10). Let p be (5/2)/i*-10. Solve -3*v - 4*y - z = 5, y = v - p for v.
2
Let k be ((-15)/(-2))/((-13)/(-78)). Let c = k - 41. Solve 9 = -c*m - w, 3*w = -0*m - 3*m - 9 for m.
-2
Let j(a) = 9*a**2 - 3*a + 1. Let w be j(2). Let v = w - 28. Solve o = 5*t + 4 - 0, -v*t - 3*o = -12 for t.
0
Let g(c) = -c**3 - 16*c**2 - 14*c + 19. Suppose 12*d = 2*d - 150. Let v be g(d). Solve 5*o - 33 = -v*b, 2*b - o = -b + 1 for b.
2
Let m(l) = -l**2 - 16*l - 25. Let n be m(-14). Suppose -3*g = n*p, 6*p - 4 = 4*p - g. Solve 5 = -5*k + 3*x - p*x, -5*k + 3*x + 15 = 0 for k.
0
Suppose -9*z + 6*z = -30. Let h(d) = -d**3 + 11*d**2 - 10*d + 2. Let c be h(z). Solve -c*j + 11 = l, -4*j = l - 14 - 7 for l.
1
Suppose 5*u - 39 = -6*m + 3*m, 4*m - 17 = 5*u. Suppose 9*g + m = 10*g. Solve w = 4*r - 9, 6 = 4*r - 2*w - g for r.
1
Let u be 3/(-4) + (-19)/(-4). Let i(q) = -q - 2. Let n = 4 + -10. Let p be i(n). Solve p*y + 3*a = a + 12, 0 = u*a + 16 for y.
5
Suppose 0 = h - 3*u + 8*u - 25, -65 = -2*h + 5*u. Suppose m - 4*t + h = 3*m, 10 = 2*t. Solve 4*j - 11 = -c, 0 = j + c - m for j.
2
Let n = 53 + -52. Let p be ((-8)/(-12))/(-2)*0*n. Solve p = 4*y + 3*a - 14, 0*y + a = -2*y + 6 for y.
2
Let u = -116 - -119. Suppose 2*h - u*f + 33 = 4*h, -3*f = -15. Solve -2*j - j + 2*x + h = 0, 0 = 5*j + 2*x + 1 for j.
1
Suppose -3*u - 1 = -a, 2*a - 2 = -11*u + 16*u. Let y = -3 - -7. Suppose y*m = -5*s + 159, u = -4*s - 2*m - 3*m + 120. Solve -s = 2*r - 5*q, 3 = q - 2 for r.
-5
Suppose 3*u + 10 = -o, 5*u - 14 = 5*o - 44. Solve -x - o*c = -1, 3*c - 9 = -2*x - 2*x for x.
3
Let h be 4*(-2 + 57/6). Suppose 5*x = 36 - 1. Let r = x - 5. Solve -2*d - 2*d = 3*c + 8, -h = r*d - 5*c for d.
-5
Let h = -54 + 72. Suppose y = o + 6*y + h, 8 = -2*o - 3*y. Solve d - 3*x + 12 = -o, 4*x - 18 = 2*d for d.
1
Suppose 2*i - 4 = -0*i. Let y = -6 + 27. Let g = -9 + y. Solve i*p + g = 4*n, n + 3 = p + 4 for p.
4
Suppose -17*s + 15*s + 4*x - 8 = 0, 5*s = -5*x + 25. Solve 2*p = -s*p + 2*w + 2, -5*p + 7 = -w for p.
2
Let l(c) = -10*c - 17. Let k be l(-4). Suppose m - k = -21. Solve 2*f + m = -3*q, -f + 12 = -5*q - 0 for f.
2
Let w(p) = p**2 + 17*p + 21. Let l be w(-16). Suppose -h - l = 3*q, 1 - 16 = q + 3*h. Solve 0 = -m - 2*u + 12, q*m + 3*u = m + 8 for m.
4
Let w(z) be the third derivative of -z**6/120 - z**4/24 + 16*z**3/3 - 3*z**2. Let c be w(0). Solve 4*l = 5*r + c, -r + 2 = -2*l + 4*l for r.
-4
Let r = 671 - 708. Let l be (23 + 1)*(-4)/3. Let d = l - r. Solve -20 = -d*z, -5*h + 2*h + 4*z = 10 for h.
2
Let i = -624 + 636. Let g(b) = 0*b**2 - 2 + b**2 - 12*b + 4. Let j be g(i). Solve j*d - 5 = 6*d - y, -d + 4 = 5*y for d.
-1
Suppose -3*q + s + 35 - 13 = 0, -4*s - 10 = q. Suppose -2*h - 28 = -q*h. Solve 0 = p - 5*b - h - 13, 9 = 3*p + 2*b for p.
5
Let w = -103 - -111. Suppose -5*k = w - 38. Solve -3*p - k = 2*i, 4*p + 13 = -3*i + 2*i for i.
3
Suppose 21*b = 111 - 6. Solve -4*q - 16 = 6*d - 2*d, -b*d = q + 4 for q.
-4
Let h(a) = -a**2 - 18*a - 14. Let n be h(-17). Suppose -s + 15 = -5*i, -2*i + i - n = 0. Solve s = -4*y + 6*u - 2*u, -u = -4*y - 9 for y.
-3
Let k(a) = -a**3 - 16*a**2 + 19*a - 41. Let h be k(-17). Let x = h - -86. Let p = 9 - 5. Solve 0 = p*c + 3*v - x, 3*c = -2*v - 3*v for c.
5
Let p = -83 - -87. Solve 4*h = -j - 3, -5*h + 12 = p*j - h for j.
5
Let k(x) be the second derivative of -x**5/20 - x**4/4 + 3*x**3 - 30*x. Let m be k(-6). Solve 5*j - 5*h + 5 = m, -h + 1 = j - 0*j for j.
0
Let i = 67 - 37. Suppose -5*z - 25 = -i. Solve -j + 5*x = z, -x - 2*x + 7 = j for j.
4
Let d(a) = -a + 6. Let n be d(6). Suppose 5*f - 5*o = -n*f - 5, 0 = 3*f + 2*o - 17. Solve 4*t = f*h - 14, -2*h + 7 = -3*t + 2*h for t.
-5
Let y be 8/(-6) + 30/9. Solve -m = q + y, 3*m - 4 = 5*q - 2 for q.
-1
Let w(a) = -a**2 - 5*a + 5. Let x be w(-6). Suppose 29 = 5*p + 9. Let g = p + x. Solve 3*m = -m - o - 15, 12 = -m - g*o for m.
-3
Suppose 17*l - 4*m = 14*l + 43, -25 = -5*l - 5*m. Solve -25 = 5*t - 4*o, -t + o - 3*o = -l for t.
-1
Suppose 97 + 27 = 31*p. Solve -4*q + p*l + 6 = -18, 0 = -5*l - 25 for q.
1
Suppose -29*y + 544 = 39*y. Suppose -3*x = -4 - 2. Suppose y = x*w + 2. Solve -w*v + q = -q - 1, 3*v - q = 5 for v.
3
Let n = -3 - -6. Let b be 9*1*(-13)/((-351)/(-18)). Let s be (b/7)/(21/(-98)). Solve -n*k = s*o + 11, 3*k - 10 = -o - 2*k for o.
-5
Suppose 0 = 86*f + 57 - 229. Solve 0 = -s + 5*i + f - 8, 2*s - 4*i + 6 = 0 for s.
-1
Let x(h) = -h - 4*h + 39*h**2 + 3*h + 2*h**3 - 41*h**2. Let z be x(2). Solve z*r + 0*r = -5*v - 20, -2*v - 5*r = 8 for v.
-4
Let t(p) = -p**3 + p**2 + p + 1. Let g(w) = 2*w**3 + 6*w**2 - 13*w + 15. Let h(z) = g(z) + 3*t(z). Let m be h(8). Solve -6 = -2*d - 2*d + m*v, 5 = -5*v for d.
1
Let p = 271 + -267. Solve 0 = -s - 3*j - p, -1 = -s + j - 5 for s.
-4
Let u be 170*((-12)/20 - -1). Suppose u*l - 16 = 64*l. Solve -8 = 4*q, -2*q = -l*z + q + 22 for z.
4
Suppose -15*n + 4 = -11*n. Let o be (-30)/(n + -3 + 0). Let i be (1 - o)*4/(-14). Solve -3*a = i*w - 20, 0 = -0*w - w + 4*a + 5 for w.
5
Let q = -172 - -176. Solve 3*h + h - 5*c + 33 = 0, 5*h + 30 = q*c for h.
-2
Let y(g) be the first derivative of -6*g**2 + 1/4*g**4 - 15*g + 10 + 3*g**3. Let v be y(-10). Solve v*f = -3*p - 16, -3*f + 5*p = 3*p + 21 for f.
-5
Let j = 29 - 4. Suppose 30 = -15*h + j*h. Let u(f) = f**2 - 2*f - 8. Let k be u(6). Solve -k = -0*a + a + h*y, -5*y = 20 for a.
-4
Let z(h) = 2*h - 13. Let l be z(-7). Let m be l/(-6) - ((-30)/12 - -4). Solve -m*x = 3*u, 0 = -2*u - 3*x - 4 - 0 for u.
4
Let d(j) = -91*j**3 - 2*j**2 + j + 2. Let i be d(-1). Suppose -11*f + i = -8*f. Let q = -28 + 