+ 3*f, -a + 4*a = -f - k for a.
-5
Let s be 4/(-18) + (-4)/(-18). Solve -3 = h + 4*w - s, 0 = -4*w - 8 for h.
5
Suppose 0*u - 15 = -k + 3*u, k + u = 15. Solve -2*c - 2*g + k = -5*c, 0 = 3*c + 3*g for c.
-3
Let i = 3 - -7. Suppose -5*k + i = -5. Suppose -4*l + 6 = -2*l. Solve -5*s = -4*w - 33, -l*s + k + 6 = 3*w for s.
5
Let q(c) = c**3 - 4*c**2 + 3*c + 2. Let n = -13 - -16. Let m be q(n). Solve 3*y = -m*i - 15, 4*i = 6*i + 5*y + 25 for i.
0
Let q = 0 - -3. Let o = 28 + -18. Suppose x = v - 6, 0*v - 3*v + x + o = 0. Solve -y = -q*k + 1, -v*y + 1 = -2*k - k for k.
1
Let b be -3 - (60/(-6) - -4). Solve -5*t + 4*a + 15 = 0, 0 = 4*a - b*a for t.
3
Let n(b) = b**2 + 9*b - 12. Let g be n(-11). Suppose -5*h - 3*t + 19 = -g, 0 = -5*t + 15. Solve 5*w + 29 = -h*l + 3, 0 = 3*w + l + 10 for w.
-2
Let q be -2 - (-1 - (1 - 0)). Suppose g + 5 = 12. Suppose 4*c + 1 = 2*t - g, 5*t - 5*c = 30. Solve q*o - 3*o + 23 = 2*y, 0 = -2*y + t for o.
5
Let z = 237 - 162. Suppose -2*m = -z + 9. Suppose m = 5*y - 2. Solve -g - 2*v = -y, v - 6 = -g - 2*g for g.
1
Let u(r) = -2*r**2 + 2*r - 1. Let a be u(2). Let v = a - -5. Solve -4*n + 2*h - 5 + 27 = v, -n + 1 = h for n.
4
Suppose 3*b - 14 = -2*b + c, -24 = -2*b + 5*c. Solve 0 = -4*s - 5*k + 5, b*s - 2*k - 16 = -0*k for s.
5
Let l = 20 - 18. Solve f - 5*w + 21 = l*f, w - 4 = 0 for f.
1
Let r be 21/14*(3 + -1). Suppose k + 1 = r. Solve -k*f = 0, -3*y + 2*f + 6 = -5*y for y.
-3
Let f be (31 - -2)/(1 + 0). Let y = -6 + 8. Suppose -5*j = 2*o - f, 4 = 4*o + y*j - 22. Solve -o*m + 6 = -3*n, -4*n + m = -n - 3 for n.
2
Let m(f) = -2*f**2 + 29*f - 13. Let d be m(14). Solve -3 = 4*c + 3*x, 4*x - 7 = -2*c - d for c.
-3
Let b = -4 + 6. Solve -2*t - p + 4 = -6*t, -5*t = -b*p + 8 for t.
0
Suppose -4 = 3*b - b, -3*b - 6 = 5*q. Solve 2*n = 7*n - m - 2, -3*m - 6 = q for n.
0
Let h = -22 + 24. Suppose -7*k + 2*k = 4*r - 10, 5*k - r - 10 = 0. Solve 3 = k*m - v, -5 - 5 = -h*v for m.
4
Let g = 7 - 7. Solve 4*l - f + 3 = -0*f, g = -l - 3*f - 4 for l.
-1
Suppose 0 = -6*z - 5 + 29. Solve 0 = -n - 0*n - 2*d + 2, 5*n + z = -3*d for n.
-2
Let h(t) = 2*t + 7. Let b be h(-6). Let z = 5 + -6. Let o = z - b. Solve -3 + 11 = -o*v, 0 = -y + 3*v + 8 for y.
2
Suppose -4*v = -0*s + 3*s - 76, -2*v + 16 = -4*s. Solve v = -2*h + 5*w - 2, 5*w = -2*h + 22 for h.
1
Let v(q) = q + 1. Let f be v(2). Suppose 6 = f*b - 5*z - 3, -2*z = -2*b + 6. Let h = -11 - -19. Solve r - 8 = -b*l - 22, -h = r + l for r.
-5
Suppose -q - 3*i + 5 = 3*q, 0 = 2*q + i - 3. Solve 35 = q*t - 7*t + 4*v, 3*v - 21 = 2*t for t.
-3
Suppose 0 = -3*y - 2*m - 0*m + 62, 2*y + 2*m = 44. Suppose -2*r - p + y = 3*r, 5*r - 4*p - 3 = 0. Solve 0 = -3*j + k, -r*k + 4 = 3*j - 8*j for j.
1
Suppose 0 = -4*o + 51 - 47. Solve 4 = -y - 5*b, 0 = -2*y - 3*b + o - 2 for y.
1
Let r be 1 - ((-2 - 1) + 4). Solve -3*x = -r*j - 4*j - 9, 5*j + 3 = x for x.
3
Suppose -5*k - 15 = -8*k. Solve 5*r - 25 = k*b, b - 4*r + 18 = -2*b for b.
-2
Let x = -19 - -50. Suppose -z + 2*z - x = 0. Suppose z = 2*q + 5*k, 18 = 3*q + 4*k - 6*k. Solve 3*w + 18 = -4*b, w + 2*b + q = -0*w for w.
-2
Suppose 15 = -w + 5*j, 3 = -2*w + 4*j - 9. Solve w = 4*z + 2*x - 20, -4*x = -7 - 1 for z.
4
Suppose 0 = 3*j + j - 12. Let d be (11 - (-1 + -2))*1. Let u(f) = 7*f**2 - f + 1. Let q be u(2). Solve -j*x - 5*m = -d, 0 = 2*x - 4*m + q - 7 for x.
-2
Let f = 45 + -29. Let a = f + -15. Solve -2*r - 17 = 3*t + a, 3*r - 11 = 5*t for t.
-4
Suppose 0 = -2*a + 5*z + 20, -a = -3*z - 5 - 5. Let h = a - 14. Let g = -4 - h. Solve -3*p + 2*r + 0*r - 10 = g, -11 = 4*p - 5*r for p.
-4
Let j be (-32)/(-7) - 40/70. Suppose 13 - 1 = 3*a. Suppose -j*g + a = -8. Solve -3*w + 0*w - 12 = -3*q, -g*w - 14 = -4*q for q.
2
Suppose 3*a + 10 = -2*c, a + 2*a = -4*c - 20. Suppose 5*w - 10 - 7 = -f, 2*f = w - 10. Let l = f - c. Solve 7*x - l*x = -2*s + 1, -17 = -4*s + 5*x for s.
3
Let g(h) = 2*h - 34. Let u be g(18). Solve 2*o + 4*q - 4 = 0, 5*o - 3*q + u*q + 12 = 0 for o.
-2
Let a be 2/(-3) - (-3)/(-9)*-41. Solve 5*b + 40 = 5*u, 5*b + a = -3*u - 3 for u.
3
Let o(b) = -b**3 + 11*b**2 + b - 15. Let k be o(11). Let l be 312/84 - k/14. Let w be -6*(6/l + -2). Solve 0 = 4*y + 16, 0 = -4*h + w*y - 6*y - 24 for h.
-3
Let g(s) = 1 - s**3 - 4 + 6*s**2 + s - 3. Let x be g(6). Suppose -4*m = -x*m. Solve 3*d + 19 = -5*w, m*w + 2*w + 6 = -2*d for d.
2
Let o be (-6*1/2)/(-3). Suppose -o = 2*g - 9. Solve 3*b = -g*s + 2*b - 24, 0 = -3*s + 4*b + 1 for s.
-5
Let i be 12/((-6)/16*-2). Suppose 0*t - 10 = -c + 5*t, -c - t = -i. Solve 5*q + 0*q + 9 = -2*u, -5*u - 5*q - c = 0 for u.
-2
Suppose 7 = 2*w - 13. Suppose -g + w = g. Solve 2*t - 2 = t + 3*d, -5*t + g*d + 10 = 0 for t.
2
Let m(v) = -v - 1. Let w be m(1). Let n be w/(-3)*(4 - -2). Suppose a = -n*r + 3, -9 = -r - r + a. Solve -3*y + 2 = q, q - r*q = -3*y - 2 for y.
0
Let c = 2 - 11. Let q(g) = -g - 5. Let u be q(c). Solve -l - 2*l - 5 = -u*f, 5*l - 4*f = -11 for l.
-3
Let r = 18 - 12. Let q be 37/r + 1/(-6). Solve a = -0*a + c - q, 3*a + c + 10 = 0 for a.
-4
Let d(h) = -h**3 + 12*h**2 + 3. Let j be d(12). Solve 4*z = 4*n + 4, -j*z - 29 = 6*n - n for n.
-4
Let z = 14 - 9. Solve -z - 3 = -2*r, 0 = s - r + 6 for s.
-2
Let t(f) = f**2 - 3*f + 4. Let j be t(3). Suppose x = -j*y + 25, y = -3*x - 2 + 22. Solve p + 5*u + 5 = 26, y*u = 4*p + 16 for p.
1
Let k be -4*5*3/(-12). Suppose 3*p + k*b = 6*p - 13, 3*p - 25 = 2*b. Solve -2*w + u + 2 = 0, -7*w + 2*w + p = -u for w.
3
Suppose 0 = 12*b - 13*b + 2. Solve -t + 15 = 3*c, -25 + 2 = -b*c - 5*t for c.
4
Suppose -3*o - 4 = -2*t + 3*t, 4*o - 2*t - 8 = 0. Suppose -5*n + 17 = -2*m, -m + n - 1 = -o*m. Solve m*v + 0 = -3*p + 2, 5*v + 5 = 0 for p.
2
Suppose 4*t + 3*w - 16 = -0*w, -t + 3*w = -4. Solve 5 = a - 0*a - 2*x, 4*a = -t*x - 40 for a.
-5
Let m be 5*(3 - (0 + 2)). Let z(u) = u**2 - 5*u + 2. Let h be z(m). Suppose -14*g + 6 = -11*g. Solve h*i = -3*c + 2, -2*i - 20 = g*c - 6*i for c.
-2
Let u(k) = -k - 7. Let t be u(-7). Let l = 3 + t. Solve 4*a + 10 = -2*w, -2*w - 7 = l*a - 1 for w.
3
Let v be (-1 + (4 - -1))/2. Solve 3*i + 15 = -v*n - 2*i, -15 = 4*n - 5*i for n.
-5
Let k = 4 - 5. Let t be (2 + -3)*k*7. Suppose -2*d - 30 = -t*d. Solve -5*b - 4*o + 7 = 0, -2 = 5*b + 3*o - d for b.
-1
Suppose 0 = -4*i - 3*u + 35, -6 = 3*i - 4*u - 1. Let v = 9 - 8. Solve -2*x = -5*m - v, 6 = -4*m - i*x + 4*x for m.
-1
Let w be ((-18)/45)/(2/(-60)). Solve 0 = 4*p - 4*u + 36, 5*p + 25 = 3*u - w for p.
-5
Suppose 8 + 7 = 5*c. Solve 1 = -2*z + c*a, -3*z = -4*z + 2*a + 1 for z.
-5
Let l(n) = 2*n**2 + 6*n + 5. Let z be l(-4). Let w = -11 + z. Solve 4*h = w*s + 8, -3*h = -4*h - 5*s - 9 for h.
1
Let f = 13 - -20. Let l be 32/3 + (-22)/f. Solve 7*g = 3*p + 3*g - l, 4*p + 20 = -3*g for p.
-2
Let c(h) = -3*h - 6. Let n be c(-4). Let q = n - -18. Suppose 4 = -4*x + q. Solve 7 = -5*y - x*o + 2, 4*o = 5*y - 31 for y.
3
Suppose 3*s - s - 164 = 0. Let a(d) = 3*d + 6. Let r be a(-2). Suppose 1 = -r*n + n, -5*p + s = 2*n. Solve -5*y + 4 = -q - 3*y, -4*q - p = 2*y for q.
-4
Let o = -16 + 18. Suppose -x + 8 = 2*u - 5*u, -2*u = o*x - 8. Solve 4*v + 2*k = -14, -k - 17 = x*v + 2*k for v.
-4
Let y(r) = -2*r**2 + 11*r + 1. Let x be y(8). Let h be 2/(-8) + x/(-12). Solve m = -3*k + 11, -m = h*k - k - 6 for k.
5
Let o(f) = 24*f**2 - 2*f - 1. Let x be o(-1). Solve 0 = -5*b - x, 5*b + 25 = -0*y - y for y.
0
Let a be (-3)/(-4) + 6/(-40)*-15. Let i be 6/5*(-10)/(-3). Solve -i*t + 3*u + 1 = 0, a*u - 25 = -2*u for t.
4
Let s be ((-32)/24)/((-8)/18). Solve 12 = i - s*n, 7*n = 2*i + 4*n - 15 for i.
3
Suppose -c - c = 0. Suppose -4*b = -g + 3*g - 10, 3*b + 4*g - 10 = c. Solve 2*p - 5 = q, 3*p + 2 = -b*q + 6 for q.
-1
Let r(n) = -3*n - 53. Let f be r(-22). Solve f = x - 3*s - s, -2*x = s + 10 for x.
-3
Suppose -5*b + 10 = 0, -4*g + 2 = -4*b - b. Solve -22 = -5*p + 3*f, 2*p = -2*p + g*f + 20 for p.
2
Let r(p) = -3*p - 55. Let n be r(-20). Solve -4*c + 3*l + n = -0, -5*c - 4*l + 45 = 0 for c.
5
Suppose -6*m - 9 = -9*m. Solve -4*t = b + 4, b - m*t + 16 = -3*b for b.
-4
Let q(f) = f**3 - 2*f**2 - 1. Suppose 0 = 3*r - 2*r - 3. Let c be q(r). Let b be 78/c + 4/16. Solve 4*i + 18 = 4*p - b, -4*i - 19 = -p for p.
3
Suppose 2*f + 2*v = -2*v + 10, v = -2*f + 10. Solve -4*a + 9*a + 10 = 2*c, 0 = a - c + f for a.
0
Suppose 0 = -10*c + 5*c + 325. Let i = 91 - c. Solve 3*w + 6 = w