*l = -20 for l.
-4
Let n = -22 + 34. Let s(i) = -i + 8. Let o be s(8). Solve 3*x = -o*x - n for x.
-4
Suppose 79 = 11*d - 97. Solve -2*n = 2*n + d for n.
-4
Let k = 6 - 3. Let o be (1 - k)*5/10. Let u = o + 5. Solve z = -u*z + 25 for z.
5
Suppose -a = -2*a - 3. Let m = -3 - a. Solve 0 = 4*o - m*o - 8 for o.
2
Suppose 74 + 42 = 4*w. Suppose -16 = -5*a - 5*s + w, 5 = s. Solve a*p - 15 = -p for p.
3
Let u be 2 + 8/(4/2). Let y be 112/18 + u/(-27). Solve y = -0*t + 2*t for t.
3
Let s(x) = x**2 - 3*x - 1. Let p be s(5). Suppose -6 - p = -5*g. Suppose -j = -g*j. Solve o - 2 = -j*o for o.
2
Suppose -4*a - s - s = -10, -3*s + 15 = 5*a. Solve a = 4*z - z for z.
0
Let d be 3/(-12) + (-42)/(-8). Solve 0 = -d*p + 13 + 12 for p.
5
Let s be 1/((-2)/40*-4). Solve -3*y + s*y + 6 = 0 for y.
-3
Let u be (-4)/18 + 14/63. Solve u = 2*h + 3*h + 20 for h.
-4
Suppose 273 = -5*o - 112. Let g be (-399)/o - (-4)/(-22). Solve 0 = -g*i + 2*i + 15 for i.
5
Let n = -5 - -15. Solve n - 1 = 3*w for w.
3
Let v be 112/(-20) + 2/(-5). Let m(y) = y**3 + 7*y**2 + 5*y - 3. Let p be m(v). Suppose 2*t - 2*j + 3*j = 12, -p*j = -12. Solve -5*r = -r + t for r.
-1
Suppose t - 3 = -1. Suppose 2*w = -2*w - 3*b + 89, -5*b + 55 = t*w. Solve -f + w = 3*f for f.
5
Let n = 11 + -5. Let z be 2/n + 5/3. Solve -2*l = z*l - 12 for l.
3
Suppose 3*z - 10 = -1, 5*a + 5*z = 20. Let r be (-4)/a*1/(-1). Let s be (1*2 + 0)/1. Solve -s*b + b = -r for b.
4
Suppose 5*d - 28 = 22. Solve 7*r = 2*r - d for r.
-2
Let d(w) = -w**2 - 12*w. Suppose -a - 15 = -3. Let b be d(a). Solve b*n = 2*n - 4 for n.
2
Let q be (0 + 7)*(0 + -1). Let z(f) = -f + 5. Let b be z(10). Let r = b - q. Solve -3*c - 5 = r*c for c.
-1
Suppose -17 + 19 = 2*a. Let g be (-2)/(-7) + (-16)/7. Let p be 1/(-4) + g/(-8). Solve p = -k - 0 - a for k.
-1
Suppose 5*j + d - 157 = -60, 31 = 2*j + 3*d. Solve 3*t + j = -t for t.
-5
Let c(v) = v**2 + 2. Let t be c(0). Suppose t*n = 3 + 1. Solve n - 3 = g for g.
-1
Suppose -w - 3*w - 6 = -2*j, -8 = -2*j + 2*w. Solve -j*x + 4*x = 0 for x.
0
Let y = 6 - 3. Suppose g + 7*q - y*q - 47 = 0, 4*q - 12 = 0. Let h be 19/5 - (-7)/g. Solve p - h + 7 = 0 for p.
-3
Let q be 0/(-6*2/(-6)). Solve 2*t + q*t = -10 for t.
-5
Let l be -2 + 1/(2/54). Solve 3*d + l = -2*d for d.
-5
Suppose -6*z = -4*k - 3*z - 8, 0 = k - 5*z + 19. Solve 3*g - k - 2 = 0 for g.
1
Suppose -3*l + 3 = -3*s, -4*l - s - 1 = -0*s. Let x = 0 - l. Solve x*n = -n - 5 for n.
-5
Let y(l) = 4*l + 1. Let m be y(3). Suppose -k + 1 = 2*i - 6*k, 4*k - m = -3*i. Solve -8 - 7 = -i*a for a.
5
Suppose -12 = -4*u - n, -5*u + 8 = -3*n - 7. Solve 12 = u*p + p for p.
3
Let r = -12 + 12. Suppose 16 = -3*x + 5*g, r = 2*x - 4*g + 1 + 13. Solve -2*p + 25 = x*p for p.
5
Let j(y) = -y**2 + 8*y + 2. Let m be j(7). Solve 0 = -5*q + 6 + m for q.
3
Let k(p) = p**2 + p - 25. Let s be k(5). Solve -s*m + 16 + 4 = 0 for m.
4
Suppose 5 = -r - i, 4*i = -13 - 7. Let j be 6/15*(5 + r). Suppose 2*n - n = 5*f - 17, 3*n - 1 = j*f. Solve g - n = -2*g for g.
1
Let g = 13 - 6. Suppose -4*y - g = -19. Suppose -y*j - 1 = -10. Solve -j*x + 4*x + 4 = 0 for x.
-4
Suppose l = -2*c + 28, -2*l - 3*c = -6*l + 68. Solve -5*t - l = -t for t.
-5
Let g = 5 - 1. Suppose 0 = w - 3*w + 18. Suppose -1 = g*y - w. Solve -l - y = -1 for l.
-1
Suppose 5*i - 2 - 3 = 0. Suppose -q = -2*q + 2. Suppose q*f - 4 = 4. Solve -i - f = a for a.
-5
Suppose 0*o + 1 = o. Suppose -o = -q + 1. Suppose 5*w = -q*u + 15, 4*u - 7*w + 2*w + 15 = 0. Solve -c = -u*c for c.
0
Let d be (2*1)/(56/(-24) - -3). Let i(a) = -a**3 - 5*a**2 - 4*a. Let j be i(-4). Let f be 1*(-1 - j) + 2. Solve -d*c - f = -16 for c.
5
Suppose d + 32 = 3*a - 0*d, 5*d = 20. Let t = a + -7. Suppose 4*o - 4*j - 32 = 0, 4*o + 8 = -t*j - 5. Solve i + o - 5 = 0 for i.
2
Let z(w) = w**3 - 6*w**2 + 7*w - 8. Let c be z(5). Solve 2 + c = d for d.
4
Let c be (112/(-8))/(-2 + 0). Solve 0 = -2*z - c + 1 for z.
-3
Let d(i) = i + 2. Let v be d(2). Suppose -r - v*r = -20. Solve -r*n = -1 - 3 for n.
1
Let l be (-1 - 1)/(2 - 4). Let w(y) = -12*y - 4. Let u(g) = -g + 1. Let r(c) = -5*u(c) - w(c). Let n be r(l). Solve -4*x + 0*x - n = 0 for x.
-4
Let d be 6/(-24) - 53/(-4). Suppose -5*r + 3*r + 11 = -s, -2*r = -3*s - d. Solve 0 = 4*b + r - 13 for b.
2
Let x(c) = -c**2 + 8*c - 7. Let k be x(6). Suppose k*f = 2*g - 4, 3*g - 10 = -2*g - 2*f. Let i = 26 - 10. Solve i = -g*d + 6 for d.
-5
Let m = 20 - 32. Let g be 13/4 + 3/m. Solve 0 = -g*l + 5*l for l.
0
Let t(i) = -i + 5. Let u be t(5). Let j(m) = 8*m - 9 + u*m**2 - 4*m**2 + 3*m**2. Let b be j(6). Solve -d = -b*d for d.
0
Let f = -2 - 13. Let n be (-40)/((f/6)/5). Suppose -2*h = 2*h - n. Solve -h = 4*o + o for o.
-4
Let w be (-2)/(-6) + 16/6. Solve 5*p = w*p for p.
0
Let z(a) = -2*a + 1 - 5 - 5. Let y be z(-6). Solve s + y*s = 8 for s.
2
Let c = 0 - -5. Suppose -c*d + 88 = 3*p, -2*d + 72 = -4*p + 16. Let a = -540 - -540. Solve 0*m + 5*m - d = a for m.
4
Let q be 28 + -2 - 1*-2. Let h be (q/6 + 2)*-3. Let x = h + 33. Solve -4*p - 7 = x for p.
-5
Let m(q) = q**2 + 2*q + 0 + 0*q - 5. Let p be (-26)/6 + (-1)/(-3). Let b be m(p). Solve -r = 2 - b for r.
1
Let h(m) be the first derivative of -5/2*m**2 - 3 - 1/4*m**4 + 5/3*m**3 + 5*m. Let z be h(4). Solve 4*a - 3 - z = 0 for a.
1
Suppose -4*z + 1 = -11. Let g(r) = -3*r + 37. Let h be g(12). Solve -h = -z*o + 11 for o.
4
Let h be (-6)/2 + 24/4. Let d be ((-1)/h)/(-1)*6. Solve d*g + 3*g = 10 for g.
2
Let m(o) = o**2 - 2*o - 6. Let f be m(5). Solve s = 4*s + f for s.
-3
Let f be 39/6 - (-3)/(-6). Let d(i) = -i**3 + 7*i**2 + 9*i - 5. Let v be d(8). Suppose 5*h + 2*g - 12 = -g, -3*h - v*g = -12. Solve 3*u = -h*u + f for u.
2
Suppose 6 + 6 = -3*i. Let z = i + 11. Suppose 4*k - 3 = -h - 1, -3*k + 13 = -5*h. Solve -z + k = -3*c for c.
2
Suppose -4*a + 35 = a. Solve a + 8 = 3*d for d.
5
Let w(n) = -n**2 + 10*n - 12. Let r be w(8). Let g(o) = -2*o - 2. Let t be g(-4). Solve r = c + t for c.
-2
Suppose 3*g + 5 = -0*g - 5*x, -2*g = -2*x + 14. Let r be 13/65 - (-1)/g. Solve 0*b + b - 2 = r for b.
2
Let d be ((-4)/(-2))/4*0. Suppose -6*i + 4*i - 12 = d. Let n be (-2)/6*1*i. Solve 0 = -5*m - 3 - n for m.
-1
Let t = -3 + 7. Suppose -3*v + t = -5. Suppose f = v*f. Solve -k = -f*k - 3 for k.
3
Let o(f) = f - 3. Let w be o(6). Suppose 0 = -w*r - 0*r + 168. Suppose 0*c - u = 2*c - 34, 4*u - r = -3*c. Solve -z - 3*z = c for z.
-4
Let m be ((5 - 3) + 2)*2. Solve m = -2*s - 2 for s.
-5
Let x(k) = -5*k**2 + k**2 + 3*k**2 + 8. Let r be x(0). Let v(p) = -p**2 + 8*p + 4. Let a be v(r). Solve a*w = 3*w - 4 for w.
-4
Let g(b) = b**3 + 3*b**2 - 6*b - 2. Let j be g(-4). Solve -2 = 4*n + j for n.
-2
Let u = -2 - -12. Solve p + 4*p = -u for p.
-2
Let o be 4/(-18) - 20/(-9). Suppose 3 + 2 = 4*d - w, 3*w = -5*d - 15. Suppose 5*c - h - 4*h = d, 2*c = -4*h + 24. Solve c*y - 6 = o*y for y.
3
Suppose -4*c + 84 = m, 5*c + 0*c - 5*m - 80 = 0. Let a = -6 + c. Let y be a/4 - 1/2. Solve -y*g + 1 - 4 = 0 for g.
-1
Suppose 5*l + 2*z = l + 30, 4*z = 3*l + 5. Solve 4 = -3*r - l for r.
-3
Let v = 134 - 132. Solve k - v*k = -5 for k.
5
Let m(h) = 2*h - 44. Let k be m(22). Solve k*p + 1 = p for p.
1
Let x = -21 + 22. Solve -2*u - 5 + x = 0 for u.
-2
Suppose 1 - 3 = 2*i. Let b be 4 + (-3 - -1) + i. Let g be 1*(-1 - (-4)/b). Solve -3 = 3*w + g for w.
-2
Suppose -8*g + 11 = 5*i - 9*g, -4*i = -g - 9. Solve -i*w - 1 = 5 for w.
-3
Let z = 18 + -13. Suppose -z*d = -4*g + 5*g - 25, -g - d = -5. Solve w + 5 = -g*w for w.
-5
Let s = -7 - -8. Suppose -s = d - 4*f, 0 = -4*d + 4*f - 1 + 9. Suppose 8 = d*v - 4. Solve v = 4*h - 3*h for h.
4
Let i(x) = -2 - 1 + 4*x - 3*x. Suppose -9 = 2*d - 5*d. Let o be i(d). Solve -3*r + 0*r - 3 = o for r.
-1
Suppose -2 = -v, 2*v = -3*g - v. Let f = 2 - g. Solve 6 = f*t - 2 for t.
2
Suppose 2*o - 30 + 10 = -2*y, -2 = -2*o. Suppose 3 = -3*p + y. Solve -p*m - m = 9 for m.
-3
Let r(v) = -4*v + 29. Let b be r(5). Solve 5*d + 6 = -b for d.
-3
Suppose 4*s + 4 = 6*s. Let d be (-12)/(-7) - s/(-7). Solve 0 = -c + d - 4 for c.
-2
Let k be (2 - (-1 - -2))*5. Let t be ((-16)/(-12))/((-4)/(-6)). Solve k = -t*y + y for y.
-5
Let s(b) = 2*b - b**2 - 4*b - 2*b. Suppose -3*t - 7 = 2. Let d be s(t). Solve -11 = -d*x - 2 for x.
3
Let t = 1 + 2. Solve h - 4 = -t for h.
1
Let z(l) = -l**3 - 4*l**2 - 3*l - 5. Let p be z(-4). Suppose 6 = -