 Let n(g) = 2*g - 4. Let v be n(4). Solve -5*f + v - 14 = r for f.
-2
Let b = -2 + 2. Solve 0 = -5*w - b*w for w.
0
Suppose 0*j = -2*j + 16. Let m = -7 + j. Solve 3 = -2*q + m for q.
-1
Let q = 20 + -17. Solve o = q*o - 4 for o.
2
Let y be (-12 - -12) + (2 - 2)/2. Suppose -2*h + 30 = 3*h. Solve y*t = -3*t - h for t.
-2
Let t be 1/((-2)/36*-3). Let o(d) be the first derivative of d**2/2 - 2*d + 2. Let l be o(t). Solve 3*z - l = 4*z for z.
-4
Suppose -2 = -3*d + 4. Suppose -2*f = -d*g + 12 - 0, 3*g - 14 = 2*f. Let y be ((-1 + 3)/g)/1. Solve 0*v - y = v for v.
-1
Suppose 5*m = -25, 5*m + 27 = -2*n + 3*n. Solve f = -n*f + 12 for f.
4
Let u(t) = -t**2 - 4*t. Suppose -2*a - l = -6*l - 19, -5*l - 16 = -3*a. Let w be u(a). Solve -w*f = f for f.
0
Let p(o) = -o**2 + 7*o + 8. Let w be p(6). Suppose 5*l = k - 1 - 16, k = 4*l + w. Solve n = k*n for n.
0
Let l(u) = u + 1. Let p be l(1). Let s(w) = w**3 + 2*w**2 - 4*w - 3. Let z be s(-3). Let f be 7 - (2 + 0) - z. Solve f*d = 3 + p for d.
1
Suppose -j + 2*s = 0, 0 = 5*j - 5*s + 2*s - 14. Suppose 8*t + 1 = -o + 4*t, -j*o = 5*t - 18. Solve -o = d - 2 for d.
-5
Suppose 5*x + 5*i + 4 = -1, 3*x = -2*i - 8. Let b = x + 8. Suppose 2*l = -5*d + 14, 4*d = -0*l + 3*l + 2. Solve 0 = b*c - l for c.
1
Suppose -5*c = -32 - 18. Let l = c - 8. Solve 0 = -6*p + l*p - 8 for p.
-2
Let r be (-4 - -3)/((-1)/2). Let h be 6 - 4*1/r. Solve -h*v = -0*v for v.
0
Let i = 12 + -6. Let q be 6 - -1 - (-1 - -3). Suppose 2*l = 2*h - 4, h + 3 = -5*l + q. Solve -a - i = h*a for a.
-2
Let r(w) = w**2 - 7*w - 5. Let c be r(8). Solve -k + 4 = c for k.
1
Suppose -252*o = -258*o. Let z(k) = -k + 6. Let h be z(3). Solve o = -q - h*q - 12 for q.
-3
Suppose -4*k + 8 = 2*d, -d - 4 = -3*k + k. Solve y + 4 = k*y for y.
4
Let u = 27 + -19. Let o be 4/(-6) + 22/6. Solve -p - u = o*p for p.
-2
Let v(q) = -q**3 - q**2 + q + 4. Let m be v(0). Suppose 0 = -m*b - 3*g + 14, -5*b + 4 = -2*g - 2. Solve b*z = 8 - 0 for z.
4
Suppose 3*n = 3*k - 6*k + 15, -k + 2*n = 7. Solve 3*p + 2 + k = 0 for p.
-1
Let r be (-4)/18 + 38/9. Solve 0 = 2*i - r*i - 2 for i.
-1
Let b(u) = 4*u + 4. Let k be b(-4). Let d be 6/2 + k/(-4). Suppose 2*g - d = -g. Solve 1 = -3*f - g for f.
-1
Let g be (-2)/1*77/(-14). Let o = -7 + g. Solve 5 = 3*b - o for b.
3
Suppose -5*z + 15 = -f, -f = -z - 2 + 5. Let l be f*(-1)/2*2. Solve -2*s + 2 = -l*s for s.
1
Let f = -1 + 5. Suppose s - f*p = 4*s - 17, 2*s = 3*p. Suppose 12*b - 91 = 5*b. Solve -5*l = b - s for l.
-2
Let d(u) = u**3 - 7*u**2 + 6*u. Let z(o) = 5*o**3 - 1. Let x be z(-1). Let f = 0 - x. Let g be d(f). Solve g = -2*h - 0*h - 6 for h.
-3
Suppose -3*q + 45 = -0*q. Solve v + 4*v - q = 0 for v.
3
Let x be (-3)/(-2)*8/6. Suppose -1 = -x*y + 1. Solve 4*b - y = 3 for b.
1
Let o be (0 + 2)*1 - 32. Let d be 12/o + (-2)/(-5). Solve d*a = -2*a - 6 for a.
-3
Suppose -3*p - p + 8 = 0. Let d be -1 - p*-1 - 1. Solve d = -3*x - 16 + 1 for x.
-5
Suppose -5*o - y = -22, 4*o = -0*y + 2*y + 12. Solve -13 + 1 = -o*m for m.
3
Let n = 12 - 8. Suppose -6*a + 2*a = n*k, 0 = -4*k + 4*a + 16. Solve k*c = -0*c for c.
0
Suppose -25 = -5*g - 0*g. Suppose -4*v = g*f - 2*f - 23, -4*v = -2*f - 18. Suppose 4*h - 7 - f = 0. Solve x + h*x = -9 for x.
-3
Let s = -16 + 10. Let l be 2*((-9)/s)/1. Solve -2 = 5*t + l for t.
-1
Let o(c) = 5*c**2 + 1. Let p be o(1). Suppose 3 = -f - 3*x + 18, 3*x = 4*f. Solve z - p = -f for z.
3
Let x = -23 + 23. Suppose 2*t - 5*t = -12. Suppose t*s - 3*s - 15 = i, -4*s - 3*i + 39 = 0. Solve x = -6*o + 2*o + s for o.
3
Suppose 12 = 3*j - d, 8 = 3*j + 5*d - 4. Let k be 1 + 0 + (j - 4). Let z be (-4 + 1)/(-2 + k). Solve z = -g - 0*g for g.
-3
Let u(d) = 2*d + 10. Let n be u(5). Solve 5 - n = 5*v for v.
-3
Suppose 5*m - 13 = 5*h + 27, 2*m = 6. Let d = h + 11. Let t(f) = -f**2 + 6*f + 2. Let s be t(d). Solve s + 3 = 5*l for l.
1
Suppose 0 = 3*z - 4*f - 25, f + 95 = 5*z + 5*f. Suppose 1 = -g - 4*c, -g - 3*c - z = -5*g. Solve g*t + 15 = 8*t for t.
3
Suppose -6 = -0*h - 3*h. Solve 5*k = h*k - 9 for k.
-3
Let w(v) = 6*v + 3. Let q be w(-2). Let k be 3/((-2)/(42/q)). Solve -k = -3*i + 8 for i.
5
Let q be 2/6 + (-19)/57. Solve q*b = 3*b for b.
0
Let j(t) = 2*t - 1. Let v be j(1). Solve v = -4*f - 7 for f.
-2
Suppose 4*a + 13 - 29 = 0. Solve -a = n + 1 for n.
-5
Let v(y) = y**3 - 11*y**2 + y - 9. Let a be v(11). Solve 8 = -5*z - a for z.
-2
Let r(x) = 2*x**2 + 2*x. Let c be r(-2). Suppose -c*h = -6*h + 10. Solve 5*a - h = -0 for a.
1
Suppose -2*l + 8 = -0. Suppose -l*z = z. Suppose x + z*x = 10. Solve 4*v = 2 - x for v.
-2
Suppose 2*n - 16 = -5*t, n = -0*n + t + 1. Suppose 3*d = -n*h - 2*h - 6, -5*d = 10. Let w be 33/7 + 2/7. Solve h*m + 15 = -w*m for m.
-3
Suppose -24 = -x - 7*x. Solve -3*q = -0 + x for q.
-1
Let a(q) = q**3 - 13*q**2 - 13*q - 9. Let k be a(14). Solve 12 = -k*z + 32 for z.
4
Suppose r = -0*z - z, 0 = -3*z - 4*r - 4. Let h = z - 0. Solve 2*x = -2*x + h for x.
1
Suppose 5 = -3*j + 74. Let c = j - 17. Solve c*k = k + 20 for k.
4
Suppose 0 = 3*y + y - 20. Suppose y*q - 1 = 2*a - a, 0 = -4*q - a + 8. Solve -h + 3 + q = 0 for h.
4
Let l be 0/(9/((-27)/(-6))). Solve -h + 3*h + 8 = l for h.
-4
Let y = -102 + 104. Solve -4*h = -y*h + 4 for h.
-2
Let i = 4 - 3. Let w be 0 - 4/(-2) - 2. Solve i = -w*d - d for d.
-1
Let v(x) = -x**2 + 4*x + 2. Let m be v(4). Let t(i) = -i**3 + 7*i**2 + 8*i + 7. Let c = 27 + -19. Let k be t(c). Solve m*y - k = 1 for y.
4
Suppose 4*d - 14 = -2. Suppose d*c + 4*r = 8*c + 8, -3*c + 4*r - 8 = 0. Solve -7*i + 3*i = c for i.
0
Let y(z) = 2*z - 1. Let g be y(3). Let p be 7 + (1 - (-1 + 2)). Suppose -k - 12 = -5*i, 2*i - 2*k - 21 = -p*k. Solve i*x = -2 + g for x.
1
Let a(o) = 6*o - 22. Let t be a(4). Let r be (-1 + 1)*-1*1. Solve -t*i = -r*i for i.
0
Let w(i) = -i**2 - 7*i + 2. Let v be w(-7). Solve -v = 2*q - 6 for q.
2
Let u = -6 + 9. Suppose 5*n - 3 = i, u*i = -2*n - 2*n + 10. Suppose -5*y + q - i*q + 24 = 0, 3*q = 12. Solve c + 6 = y*c for c.
2
Suppose 5*c = -4*o + 121, -4*o = c - 17 - 4. Let g(j) = -j**2 - j + 10. Let v be g(0). Suppose -3*u - 2*r = -c + 4, -v = u - 5*r. Solve -u = 5*a - 0*a for a.
-1
Let m(p) = 7*p**3 - 8*p - 4. Let f(r) = 6*r**3 + r**2 - 8*r - 5. Let n(z) = -6*f(z) + 5*m(z). Let v be n(-7). Let t be -5 - -3 - 2*-2. Solve -t*h + v = h for h.
1
Let k be 4/14 - 162/(-21). Let c = -8 + k. Solve 0 = -c*a + 2*a for a.
0
Let j be 42/4 - (-2)/(-4). Solve 0*v + j = -2*v for v.
-5
Let r be 3 + -6*5/(-30). Solve g + 6 = r for g.
-2
Let d(s) = -s**2 - 9*s + 10. Let y be -2*(-2 + (-39)/(-6)). Let k be d(y). Suppose 0 = 3*u + 5*t - 34, t = -5*u + 2*t + k. Solve o - u*o = -2 for o.
1
Let t = 7 + -2. Suppose 2*h = 0, 2*z - 2*h - 3 - t = 0. Let y be 5/10 - (-1)/(-2). Solve y*u + u = z for u.
4
Let i(s) = s**3 - 2*s**2 - 3*s + 4. Let n be i(3). Suppose -3 - 1 = -n*w. Suppose y - k = 0, w = -2*y + 3*k - 1. Solve 0 = -2*o - y*o + 12 for o.
3
Let w(t) = t**2 + 4*t + 1. Let q be w(-5). Let n = -1 + q. Suppose x + 3*o - 7*o - 20 = 0, -5*o = n*x. Solve x = s + s for s.
2
Suppose -13 - 7 = -5*r. Suppose -4*i + 5 = -q, 8 + 0 = r*i. Solve q + 3 = 2*d for d.
3
Suppose -5*w = -3*f + 4, 2*w = w + 1. Solve 0 = -5*j + f + 7 for j.
2
Suppose -q = -12 - 10. Solve -q = 2*c - 12 for c.
-5
Let u be (-6)/(-5) + (-3)/15 + 2. Let f = 0 + 2. Let k be 1/2 + (-1)/f. Solve k*b = -u*b - 15 for b.
-5
Suppose -9*m + 18 = -9. Solve -10 = -m*y - 22 for y.
-4
Suppose w - 60 = -s - 3*s, s + w = 15. Solve 0*u = -5*u - s for u.
-3
Suppose 3*z - z = -4*t + 22, 3*z + 12 = 3*t. Let c be (z - 1)/((-5)/(-5)). Solve -i + 4 = -c for i.
4
Suppose 0 = 4*c - 3 - 5. Suppose -4*o = 4*j + 2 - 22, -2*o = -c*j + 10. Suppose -j*d + 11 = 1. Solve 13 = -5*y - d for y.
-3
Suppose -s - 14 = -4*o, -4*o + 5*s + 2 = -4. Suppose 39 = o*u - 17. Solve -u = -4*a + 6 for a.
5
Let r(m) = m**2 + 10*m - 11. Let u(a) = -4*a + 1. Let l be u(3). Let t be r(l). Solve t = -h - 2 - 0 for h.
-2
Let r be 132/9 + 2/6. Suppose -5*w + 5*t = -3*w + r, -2*t + 6 = -4*w. Solve 2*x = -w*x + 10 for x.
5
Let p = 3 - 1. Let c be 5*(-3 + (-54)/(-10)). Let r(h) = h - 9. Let l be r(c). Solve p*t - 3 = l for t.
3
Let q = 2 + -6. Let s(p) = p**2 + 3*p. Let z be s(q). Solve -x = -5*x - z for x.
-1
Let d(r) = -r**3 - 8*r**2 - 2*r - 7. Let a be d(-8). Suppose -3 = -3*o, 2*o = 2*t - 11 - a. Let z = 20 - t.