f, 3*f + 5 - 3 = 2*l for l.
-2
Suppose h - 29 = -2*m, -m = -h - 4*m + 32. Suppose -l - 2*l + 30 = 0. Solve -2*g - l = -3*g + 4*i, -4*g - 5*i = h for g.
-2
Suppose -d - 5*k - 2 = 16, -5*k = -4*d + 28. Solve -d*p + 8 = 4*z, 2*z - z = -3*p - 8 for p.
-4
Suppose o = s + 2*o - 8, -3*o = -9. Suppose 0*b + 3*b = 5*j + 47, s*b - 3*j - 73 = 0. Let i = -13 - -18. Solve -i*z = -20, 0 = -d + 4*z - 1 - b for d.
1
Let w = 44 - 40. Solve -5*i + 4*z - 20 = -w*i, -4*i + 15 = 3*z for i.
0
Let r(c) = c**2 - 2*c - 1. Let d be r(2). Let a be 3/(d - 8/(-5)). Suppose -3*b - 2*b = 0. Solve b = 5*y + 3*q - 3 - 2, -4*q - 40 = -a*y for y.
4
Let o(c) = c**3 + 10*c**2 - 2*c - 15. Suppose 3*a + 4*x - 18 = 4*a, 3*a + 2*x + 26 = 0. Let p be o(a). Solve -4*b - p*t = -5, 0 = b + t + 1 - 3 for b.
5
Suppose -9 = -5*c + 1. Solve 4 = c*i - x - 1, 3*i + x = -5 for i.
0
Suppose -s - 2*u + 14 = 0, s - 4*u - 8 = -3*s. Suppose -8 = -a + s. Solve 5*r - 2*c = 14, 6*r = 2*r + 3*c + a for r.
2
Suppose -5*d + c + 34 = 0, d + 5*c - 26 = -2*d. Solve -3*y - 3 = -0*q - 3*q, 5*y + q = d for y.
1
Suppose 0 = -2*d - d + 15. Suppose b - 1 = -2*f + 3, d*f = 4*b - 3. Solve 2*a = b*i + 2, -3*i + 2 = 2*a + i for a.
1
Let k be ((-10)/(-8))/((-3)/(-12)). Let m(d) = -d**2 + 5*d - 3. Let o be m(3). Suppose -o*v + 11 = -2*v. Solve 7*l = k*g + 4*l + v, 27 = -3*g - 5*l for g.
-4
Let f be 4 + ((-40)/15)/((-4)/18). Solve -5*g - f = 5*l + 4, 4*g = 0 for l.
-4
Let x be (12 - (-9 - -4))*1. Solve 3*i = v + x, -5*v + 6 - 47 = -4*i for v.
-5
Let i(k) = k**2 + 4*k - 19. Let w be i(-7). Let s(m) = m**2 + 7*m + 7. Let h be s(-5). Let x = h - -5. Solve 8 = -l - x*f, 2*f + w*f + 20 = -3*l for l.
-4
Let s(w) = -w**2 + 3*w + 4. Let j be s(0). Solve y + 6 = -3*k, -4*y + y + j*k - 5 = 0 for y.
-3
Let n(c) = -c**3 + c. Let a be n(1). Solve 3*f - 3*b - b = -15, a = -5*f + 3*b - 25 for f.
-5
Suppose -3*o = -4*f - 0*o + 33, 4*f + o = 21. Solve y - l = 7, -2*y + 2*l + f = 4*l for y.
5
Let t be 10/15*(-3)/2. Let c be -3 + (-4 + -1)/t. Solve 0*l = l + c*o + 3, 4*o + 15 = -5*l for l.
-3
Let y be (-3 + 4)*(-2 + 6). Solve -4*j = 4*i - 4, 8 - y = -i + 4*j for i.
0
Let i(z) = -z**3 + 2*z**2 + 3*z. Let m be i(-2). Let a = m + -7. Solve -5*j - 24 = -r, -3*r + a*j + 17 = -5*r for r.
-1
Let v be ((-27)/(-6))/((-3)/4). Let a be 2*1 + -2 + -2. Let z = a - v. Solve 0*k - z*l + 4 = -4*k, -2*k + l = -2 for k.
3
Let z be 3/(-4)*(-8)/(-1). Let d = -3 - z. Suppose 15 = 5*t + 5*n, d*t + 0*n = 5*n + 9. Solve -5*m + t = b + 20, 0 = -2*m - 3*b + 1 for m.
-4
Let z(m) = -7*m + 8. Let w(c) = 6*c - 7. Let q(r) = 6*w(r) + 5*z(r). Let u be q(4). Solve -4*g = -u*p + 14, 0 = -0*p - 2*p + 5*g + 16 for p.
3
Suppose 22 = -w + 12*w. Solve -3*q = -d - 2*q + 3, w*d - 1 = q for d.
-2
Let s(g) = -g**2 + 5*g + 4. Let i be s(5). Suppose i*r + r - 15 = 0. Let l be 2/(-5) - (-164)/10. Solve -2*x - l = 4*c, r*c - 3*x + 12 = -7*x for c.
-4
Suppose 0*s = -s. Let f be 1 - 2 - (0 + 1). Let i(b) = -3*b - 2. Let o be i(f). Solve -d + k - 3 - 4 = s, 19 = -d + o*k for d.
-3
Let a = 67 + -47. Let m(i) = -4*i + 82. Let c be m(20). Solve 2*x - x = y, 3*x - a = -c*y for x.
4
Let a(v) = -v**3 + 3*v**2 + 4*v + 5. Let k be 5/((-45)/(-12))*3. Suppose k*w - 16 = -0*w. Let m be a(w). Solve -f - 2 = 0, -m*z = f + 4 + 23 for z.
-5
Suppose -4*f = -7*f, -3*h - 3*f - 12 = 0. Suppose -3*g - 3*q + 29 = -7*q, 0 = 4*q - 4. Let c = g + h. Solve 4*j + 3*y - 5 = 0, -c = 5*y - 22 for j.
-1
Suppose 0 = 2*c + 4*z - 2, -2*z - 13 = -c. Solve -c*j + 2*j - 30 = 5*g, -15 = 2*j + 5*g for j.
-5
Suppose 4*f - 17 = -3*c, f - 2*c = -3*f + 2. Let z = 1 - -2. Suppose -z - 2 = -i. Solve 5 = v, 28 = -f*a - v + i*v for a.
-4
Let l = -3 + 7. Let p = l - -11. Solve -5*y = 5*t + p, -4*y + 2*t = -0*y - 6 for y.
0
Let d = -6 + 11. Let i(x) = 2*x - 11. Let g be i(6). Let c = d - g. Solve 5*s + 18 = t - 7, 0 = -3*s + c*t - 15 for s.
-5
Let k(y) = y + 5. Let m be k(-1). Solve 5*x + 40 = m*z, -5*z = x - 3 - 18 for x.
-4
Let v(t) = -3*t**2 + 0*t + 5*t + 2*t**2 - 4. Let p be v(3). Solve 3*i + 0*i - 5*r - 20 = 0, -p*i + 4 = -r for i.
0
Suppose -2*z + 3*n - 4 = -z, 2*z - 3*n + 2 = 0. Solve -4*f = c + f + 18, f = z*c - 8 for c.
2
Suppose 0 = -5*n + 5*d, d - 8 = -0*n - n. Let y = 21 + -14. Solve -n*q - 28 = -q + 5*t, 2*t + y = 3*q for q.
-1
Let b(u) = -2*u + 8. Let l be b(3). Solve 5*z = 3*c + 4, 2*c + l = -z + 4*z for z.
2
Suppose -3*k - 21 = -5*d, -3*d + 5*k - 2 + 21 = 0. Solve -5*t + 20 = 0, 4*u + 27 = u + d*t for u.
-5
Suppose 4*o = 4*u - 16, 0*u - 10 = -2*u + 4*o. Solve 8 + 9 = 3*a + 5*r, -u*r = -12 for a.
-1
Suppose -3*n + 16 - 1 = 0. Solve 0 = 2*t - t - 5*f + 17, n*t - 3*f - 3 = 0 for t.
3
Suppose 3*v + 244 = -4*j, -3*j + 4*v = -6*j - 183. Let r = j - -94. Solve -q = -4, -2*i + 5*q + 11 - r = 0 for i.
-1
Let r = -3 - -5. Let q be (-1)/(0 - r/8). Solve 3*m = -3*j + 21, m - q*j = -0*j - 13 for m.
3
Let d be ((-39)/13 - (8 - 1))/(-2). Solve 2*m = 8, -6*y + y + d*m = 45 for y.
-5
Let w be (-1)/(1*(2 - 3)). Solve 7*b - 2*b = -3*g + w, 5*g + 25 = 5*b for g.
-3
Let w be -6 - (-1)/(2/4). Let y(i) = i**3 + 4*i**2 - 5*i - 2. Let a be y(w). Solve -l + a = -3*c, -4*c - 28 = c - l for c.
-5
Let n(w) = 3*w**2 - 1. Let z be 42/(-189) + 40/18. Let r be n(z). Suppose 3 = c - 0*c. Solve 5*x = -2*y + 5 - 2, -c*y = x - r for x.
-1
Let t(v) = -3*v - 2. Let x be 5*1/10*-4. Let k be t(x). Suppose -5*g - 5*r = 0, -3*g + 45 = g - 5*r. Solve 0 = k*c - 3*b + 15, -4*b = -c - 3*b - g for c.
0
Suppose -z + 3 = 8. Let q(c) = c**3 + 4*c**2 - 5*c. Let r be q(z). Solve -4*t = t - 15, r = 2*k - 3*t + 9 for k.
0
Let j be 6/2 + (10 - 2). Let b = -8 + j. Suppose -3*a + 3 - 7 = u, -8 = -b*u + a. Solve -4*g + 9 = -5*v, -u*v = 4*g - 2*g + 18 for g.
-4
Suppose 6*o = 2*o + 12. Solve -5 + 4 = z, -5*z - 14 = o*k for k.
-3
Suppose 0 = 2*l - 16 + 6. Suppose 10*s = l*s + 25. Solve w - 30 = s*q, 6 - 1 = 3*q + 4*w for q.
-5
Suppose 25*l = 22*l - 6. Let h(i) = i + 4. Let y be h(l). Let m(j) = -j**2 - 7*j - 4. Let o be m(-6). Solve 0 = -f + 3*a + y + 5, -3 = f + o*a for f.
1
Let c be 2/(-5)*(-18 + 8). Solve 4*w + 8*m - 4*m = -c, 5*w - 2*m - 2 = 0 for w.
0
Let a = -2 + 5. Suppose g - 2*g - 3*k = -14, a*k = 2*g - 1. Suppose 5*l - l = 76. Solve 3*i = -5*h - l, 2*h + g = -3*i - 8 for i.
-3
Let a be (-2)/(-9) + 320/18. Let d = a + -16. Solve 2*n + d*n - v = -11, -n - 11 = -3*v for n.
-2
Let l(v) = 7*v - 4. Let o be l(4). Let d = o + -3. Solve -2*f = r - 7*f - d, 5*f + 25 = 5*r for r.
1
Suppose -4*r - 4*k = -40, -28 = -3*r - k - k. Solve -y = -2*n - r, 2*n + 0*n - 3*y + 16 = 0 for n.
-2
Let d(n) = n. Let v be d(2). Solve -3*i = -c + 6*c - 11, 4*i - v*c = 6 for i.
2
Let u be ((35/2)/7 - 3)*0. Solve 16 + 7 = -5*v - n, -2*v + 2*n - 14 = u for v.
-5
Suppose 10 = 3*y + 2*y. Suppose 0 = -y*f + 5*s + 70, 2*s = f + 6*s - 9. Let w = 2 + 3. Solve -w*a + 3*k = -2*k + f, -5*a - 22 = -2*k for a.
-4
Let s be (-2)/(-6)*(16 - 4). Let t = 95 + -32. Suppose 0 = -2*u - u + t. Solve 4*y + 4*d - 3*d - u = 0, -s*d = -5*y + 21 for y.
5
Let l(y) = -y + 12. Let m be l(7). Suppose 4*b - 20 = -m*i - 0*i, 3*b = 5*i - 20. Solve 5*t - 30 = -5*u, b*u + 4*t + 3 = 5*u for u.
3
Suppose -4 = -3*r - r. Let t be 9*r - (-12 - -9). Solve p = -4*z - 14, 2 + t = 3*p - 2*z for p.
2
Let x = 11 + -10. Let d(p) = p - 1. Let f be d(x). Solve -4*j = h + 17, 5*h - 20 = j - f*h for j.
-5
Let l be (-1)/(((-3)/(-2) - 1)/(-2)). Solve -z + l*h + 6 = 18, -2*z = -4*h + 8 for z.
4
Let k(x) be the first derivative of -x**4/4 - x**2/2 + 1. Let y be k(1). Let b be y/13 + (-12)/(-78). Solve 3*q - 5*q - 3*v + 9 = 0, -5*q - 4*v + 12 = b for q.
0
Suppose -4*a + 2*t = -14, 2*a - 3*a + 5 = t. Suppose -a = 2*s - 4*s. Solve 2*u = 8, -2*z - 2*z + s*u - 8 = 0 for z.
0
Suppose -2*v - 1 = -9. Suppose -v*b + 3 = -13. Suppose -b*s - 6 + 14 = 0. Solve -12 = -2*h - 4*x, 22 = 4*h + h + s*x for h.
4
Suppose -b = b - 2*j - 18, 0 = 3*j + 12. Solve 12 = 3*t + 2*r, -10 - 6 = -4*t - b*r for t.
4
Let d be -2 - (3 - 1 - 6). Suppose -6*w = -d*w - 12. Let n = 8 + -7. Solve r = -n, -7*g + w*g + 4*r - 16 = 0 for g.
-5
Let l(u) = -1 - 2*u + u + 2*u. Let r be l(5). Let j = 2 + 0. Solve 0 = 3*f + j*o - 2, 0 = 2*o + r for f.
2
Let h be 6 + -3 + -5 - (-1 - 4). Solve 0 = -5*t + 2*r + 9 - 0, h*r = -t + 12 for t.
3
Let x(h) = -h - 12. Let c be x(-10). Let d be (-2 - -4) + c 