e 2*f - 2 = z*f for f.
-2
Let n be 4/(-8) - (-1 + 4/8). Solve n = 3*y - 8*y - 20 for y.
-4
Suppose 14*b - 13*b = 0. Suppose -5*z - 25 = b, -3*z = -5*x - 7*z. Solve 2*i = -4 - x for i.
-4
Let r be (0 + -4)*5/4. Let u = r + 7. Solve -u*t = 2*t + 4 for t.
-1
Let y = -55 + 80. Let w(i) = -i**2 - 9*i - 5. Let s be w(-8). Let t = s - -2. Solve y - 10 = -t*n for n.
-3
Suppose 4*k + 4 = -2*c, -c - 3*k = 14 - 7. Solve 0 = -3*v + 5*v - c for v.
4
Let v = -20 + 21. Solve -13 = -3*q - v for q.
4
Suppose -3*o + q + 3 = o, -4*o + 23 = 3*q. Let h be 0 - (2 - o) - 0. Solve f + 3 = -h*f for f.
-3
Let n(v) = v**2 + 13*v + 12. Let w be n(-12). Solve w = g + 3 - 7 for g.
4
Let i(w) = -2*w. Let a be i(-2). Solve a*t + 0*t + 20 = 0 for t.
-5
Let p be -4 + 0/(6/(-3)). Let c be p/2 + -1 + 3. Solve 0*g + g - 4 = c for g.
4
Suppose b - 2*b - 4*s = -2, -5*b - 4*s = -10. Let a = 42 + -32. Solve -b*v + 0*v + a = 0 for v.
5
Let o(n) be the first derivative of -n**2/2 + n + 2. Let h be o(-2). Let b be h/(-6) + 1/2. Solve b = 5*f - 13 - 2 for f.
3
Let d(f) = f**3 + 8*f**2 + 2*f - 20. Let v be d(-7). Suppose -2 = -p, 4*p = -5*c + 3*c + 68. Suppose c = 3*i + 2*i. Solve i*g + v = 3*g for g.
-5
Let n(p) = -p**2 - 6*p - 5. Let w be n(-4). Let d(o) = o + 6. Let h be d(0). Let i = 9 - h. Solve 0 = i*r - 12 + w for r.
3
Let l(b) = -7*b + 7. Let s(t) = -t. Let p(w) = -l(w) + 6*s(w). Let r be p(7). Let a(i) = i**3 + i**2 - i. Let k be a(r). Solve 5*x - 3*x - 4 = k for x.
2
Let z = -1 + 7. Let y be (-2 - 2)*(-3)/z. Let f be 2 - (-3 - (2 - y)). Solve f*c + 1 = -4 for c.
-1
Suppose -l + i = 6*i + 8, 0 = -4*l - 5*i - 2. Solve 4*m - 14 - l = 0 for m.
4
Let a(v) = v**2 + 3*v + 2. Let n be a(-3). Suppose -2*d + 6*d = 0. Solve d*i + i = -n for i.
-2
Suppose 0 = 2*o - 4*f - 48, 2*f - f = -2*o + 28. Solve 0 = u + 3*u + o for u.
-4
Suppose 7*c - 2*c = 5. Solve 0 = t - c for t.
1
Suppose -u = -2*u. Let v(q) = -q + 8. Let y be v(0). Let x = -6 + y. Solve u = g + x*g - 12 for g.
4
Let r be 3/(12/(-16))*-1. Solve r*d - 2 + 10 = 0 for d.
-2
Suppose -26*l - 20 = -36*l. Let s be ((-9)/(-6))/((-2)/(-12)). Solve -l*t + s = t for t.
3
Let g be 1/3 - 16/(-6). Suppose 0 = g*s - 2*b - 38, -b = 3*s - 2*b - 34. Solve 3*z = z + s for z.
5
Let t = -10 + 16. Suppose 0*r + 12 = 4*r - 4*x, -5*x - t = -2*r. Solve 0 = r*n - 6 - 3 for n.
3
Let l be (-42)/(-5) + 6/10. Suppose -v = -3*b + 4, v - 7*b = -3*b - l. Solve -9 = 5*c + v for c.
-4
Let q = 5 - 4. Solve x + 2 = -q for x.
-3
Let b be 1/((21/(-18))/(-7)). Suppose 2*r = b*r + 2*i - 132, 3*r - 88 = 4*i. Solve -7 + r = -5*t for t.
-5
Suppose -7 = -2*i - 1. Suppose 26 = i*s - 10. Solve 3*q + q = -s for q.
-3
Let b = 9 + -19. Let d = -7 - b. Solve d*a + 2 = -1 for a.
-1
Suppose 0 = -4*b - 12, b + 54 = 3*g + 15. Let j be 4/2*6/12. Let u = j + 3. Solve -y - g = -u*y for y.
4
Let l(a) = -a**2 + 7*a - 6. Let s be l(4). Suppose 0*y - y = -2*v - s, -5*y - 5*v = -15. Solve 0 = -y*x - 14 - 6 for x.
-5
Let g be (-6)/27 - 4/(-18). Suppose -4*w + 2*w = g. Solve w = a - 7 + 3 for a.
4
Suppose -32 = -3*s + 4*n, 2*s - 3*s = -n - 9. Suppose -z + 5 = -s. Solve w + z = 4*w for w.
3
Let b = 1 + -1. Suppose 4*i + 2*v - 22 = b, 2*v + 9 = 2*i - 11. Solve 5*l - i = 3 for l.
2
Suppose -15 = 2*n - 5*n - 3*k, -17 = -3*n - 2*k. Solve 3*j = 8 + n for j.
5
Let y be 2 - 6/(2 - -1). Let k(r) = -r. Let w be k(-4). Suppose -w*t = -21 + 9. Solve -t*j + 6 - 18 = y for j.
-4
Let f(v) = v - 8. Let z be f(12). Solve -5*q - z = 6 for q.
-2
Suppose -5*z = m + 12, m = z + 6 - 0. Let u be 52/20 + (-4)/(-10). Suppose -m*p + 4*p = u. Solve -t = -4*t + p for t.
1
Suppose 0 = -2*z - 5*z + 21. Solve -z*v = -7*v + 20 for v.
5
Let l(k) = -k**3 + 10*k**2 - 10*k + 12. Let b be l(9). Solve -1 = -p + b for p.
4
Let i be (1 - -20)*(6 + -4). Let n = -3 - -8. Suppose n*a + p - i = 0, 3*a + 3*p = -6 + 36. Solve 0 = b + 3*b + a for b.
-2
Let j(n) be the third derivative of n**5/30 - n**4/12 + n**3/6 + 2*n**2. Let x be j(2). Suppose -2*o = -1 - 5. Solve o = -2*g - x for g.
-4
Suppose 5*s - 5 - 5 = 0. Suppose -s = 2*y - 12. Let v(f) = -4*f + 5. Let k be v(-5). Solve 0*d - y*d - k = 0 for d.
-5
Suppose -155*x + 154*x = -2. Solve 0 = -x*d + 5*d + 15 for d.
-5
Suppose -u + 11 = -5*s - 0*u, -9 = 3*s - 3*u. Let r(l) = -11*l - 2. Let m be r(s). Suppose -6*f + f = 5*t - 15, 4*f - m = 4*t. Solve f*g - 10 = -g for g.
2
Suppose -10 = -21*r + 16*r. Let h = 11 - 7. Suppose z - h = 0, 3*n - z = 2*z. Solve -r*l + 0 = n for l.
-2
Let n = 7 - 3. Solve -2*k + n*k = 0 for k.
0
Suppose 3*m = -2*u, u + 0*u + 2*m = -1. Solve -9 = -6*y + u*y for y.
3
Let q(j) = j - 2. Let v be q(6). Suppose -5*o + v*o = -4. Solve o*a = -9 - 3 for a.
-3
Let w(v) = -v**2 - v - 4. Suppose -4*a - h - 7 = -2*h, a - 17 = 4*h. Let i be w(a). Let y = i + 12. Solve -y*k = k for k.
0
Let b(y) = y - 6 - 1 + 2. Let d be b(5). Solve -6 + d = -3*m for m.
2
Let k(a) = a**3 + 6*a**2 + 5*a + 12. Let u be k(-5). Solve -i = 2*i + u for i.
-4
Let u(o) = 3*o**2 + 4*o - 5. Let d be u(2). Solve 8*b = 3*b + d for b.
3
Let g(x) = 2*x - 1. Let t be g(-4). Let i = 13 + t. Let u = 1 - -5. Solve 6 + u = -i*j for j.
-3
Let m(l) = l**2 - 3*l - 5. Let a be m(5). Suppose 3*k + 4 = 4*t, -4*k + 3*t = -2 + a. Let u(n) = 3*n - 6. Let d be u(4). Solve k = -d*f + 4*f for f.
0
Let c be ((-48)/64)/((-2)/8). Solve c*l + 4 = 2*l for l.
-4
Let l(m) = -m**2 - 3*m + 4. Let w be l(-4). Solve -f + 2*f + 2 = w for f.
-2
Let j = 3 - 0. Suppose -2*z + j*k = -5*z, 0 = 5*z + 3*k. Solve -1 = h - z*h for h.
-1
Let z(g) = g**3 + 10*g**2 - 4*g - 7. Let q be z(-10). Solve 8 = 5*b + q for b.
-5
Suppose 0 = d - 6 - 30. Suppose f + d = 4*f. Solve 0 = y + 2*y - f for y.
4
Suppose 4*b = 8*b - 12. Suppose -b*t + 26 = -5*y, 5*t + y = -0*y + 6. Suppose 3*p + t*h + 3 = 11, -5*h + 6 = 4*p. Solve -3 = -p*c + 3*c for c.
3
Let t(f) = f + 21. Let d be t(-17). Solve 5 = -d*o - 7 for o.
-3
Suppose o + 12 = 7*o. Solve 0 = 2*h + o*h - 16 for h.
4
Let o(a) = a + 6. Suppose -8*z - 16 = -4*z. Let v be o(z). Solve d = -v*d - 6 for d.
-2
Let a(r) = -3 - 7*r + 9*r - 11. Let j be a(7). Solve j*z - 5*z = 15 for z.
-3
Let i = -21 + 21. Solve i = 2*v + v for v.
0
Let r(c) = c**2 + 5*c - 1. Let o be r(-5). Let g be (o + 5)/((-1)/(-2)). Let m = -6 + g. Solve 5*f = m*f - 6 for f.
-2
Suppose -c - 4 = -5*c. Let l(a) = a + 2. Let r be l(0). Solve -r*g + 9 + c = 0 for g.
5
Let g be (-3)/(-2)*4/6. Suppose 2*k = -3*k + 10. Suppose 2*b - i - 2 = k, 2*i - 13 = -3*b. Solve -b*w - g = -4*w for w.
1
Let o = 29 - 21. Let n = 29 + -33. Let r = n + o. Solve -a - a + r = 0 for a.
2
Let g be (1/(-2))/(1 + (-15)/12). Solve g = u + 4 for u.
-2
Suppose -2*p + 26 - 4 = 0. Suppose -2*m = v - p, -2*m = -3*v - 3*m + 13. Solve -v*t = -3 - 9 for t.
4
Suppose -5 = -3*t + 2*t. Suppose -t*x + 8 + 2 = 0. Solve -3*o - 1 - x = 0 for o.
-1
Let m = 12 - 4. Suppose -5*l = m - 18. Solve 1 = l*g - 5 for g.
3
Suppose 0 = -5*q - 3*v + v + 5, 4*q - 5*v = 37. Suppose -q = 5*n + 2. Let t be 1 - n - (-3 - 0). Solve 0 = 3*p + 20 - t for p.
-5
Let p be (8/(-16))/((-1)/6). Solve 8 = x - p*x for x.
-4
Let z = -13 + 15. Solve -3*d + z = 8 for d.
-2
Let d(v) = -v + 2. Let j be d(-6). Suppose -j*g + 9*g - 4 = 0. Let b = 4 - -12. Solve 0 = -0*q - g*q + b for q.
4
Let v be ((-14)/(-8))/((-1)/(-4)). Let h be -1 + 2/5 + 54/90. Suppose -3*d + 2*j - 13 = -4*d, d + 2 = j. Solve h = g - d + v for g.
-4
Suppose -3*t - b - 1 - 1 = 0, -t - 3*b - 6 = 0. Let z(g) = -g**3 + 4*g**2 + 7*g - 5. Let r be z(5). Let l = 7 - r. Solve t*d - l*d - 2 = 0 for d.
-1
Let z = -4 - -8. Let o = z - 0. Suppose 2*m - o = s, -s = -5*m + s + 12. Solve -m*w = w - 20 for w.
4
Let r(t) = t**2 + t + 2. Suppose 0*v + 2*v - 12 = 4*i, -4*i = 12. Let m be r(v). Solve 2*l = l + m for l.
2
Suppose -4*r - 4 = 20. Let l = r + 9. Suppose -4*c = -4*y - 25 - 15, 3*y = -2*c. Solve -l*w = -c*w for w.
0
Let h(d) = -2*d + 7. Let n be h(5). Let i(l) = 1 + 3*l**3 - 2*l - 5 + 3*l**2 - 2*l**3. Let v be i(n). Solve 0 = -4*a + v*a - 2 for a.
-1
Let l = 7 - -18. Let b(j) = j**3 - 4*j**2 - 5*j + 4. Let p be b(5). Let f = -2 - -11. Solve -f = p*w - l for w.
4
Let z be 2/(-8) + 90/8. Suppose -6*l = -2*l. Solve l = -3*k - z - 1 for k.
-4
Let i(c) = c**3 + 4*c**2 - 4*c + 7. Let r(m) = -m**3 - 5*m**2 + 5*m - 7. Let y(x) = 3*i(x) + 4*r(x). Let j be y(-9). Solve 