 s + 0*s - 5 = l for s.
5
Let w be (5 + 1)*((-4)/8 + 1). Solve 0 = -2*h + 13 - w for h.
5
Let i be (0 - -1)/(1/4). Let d = 3 - i. Let y be (4/6)/(d/(-3)). Solve y*x + x = 12 for x.
4
Suppose 0 = -3*m, -2*m = -5*d - 0*d. Solve d = -5*z + 4*z - 2 for z.
-2
Let x(n) = n**2 + 4*n + 10. Let j be x(-5). Solve 3*r = -2*r + j for r.
3
Let a be ((-4)/2 + 2)/1. Suppose -12 = -b - b. Suppose -v - 4*t = -13, -2*v - 4*t = -b*v + 12. Solve -v*w - 10 = -a*w for w.
-2
Suppose 2*x - 24 = -2. Let o = x - 7. Solve -o*a = -26 + 6 for a.
5
Suppose 0 = -s + 4 + 1. Suppose 0*r - 5*n = -r - 22, -3*r + 34 = s*n. Solve -z + 0 = r for z.
-3
Let o be 1134/45 + 2/(-10). Suppose -9 = 4*g - o. Solve 3 + 1 = -g*w for w.
-1
Let p be ((-4)/2 - -4) + 1. Let m = 26 + -24. Solve -m*f = -f - p for f.
3
Suppose 7*b - 4*b - 18 = 0. Solve 2*t = b - 2 for t.
2
Let u(j) = -5*j. Let t be u(-5). Suppose 0*f = 5*f. Suppose -5*x = t, f = -g - 4*x - 17 - 0. Solve y + g = 6 for y.
3
Let x be (-105)/(-12) + (-9)/12*1. Solve -8*s + 6*s + x = 0 for s.
4
Let h = 1 - 0. Suppose t - h = 5. Solve 0 = -0*v + 3*v - t for v.
2
Suppose -u = -3 - 6. Solve 0*w = 3*w - u for w.
3
Let w(r) = -3*r**3 - r - 1. Suppose -2*h + 5 = -7*h. Let j be w(h). Let a be 4 - (-2 + 3 + 1). Solve -a*f - j = -11 for f.
4
Suppose -43 = -4*y + p, -3*p + 5 = 4*y - 58. Suppose -5*a = -m - 19, 4*a - 2 = 2*m + y. Solve -s - s = -a for s.
2
Let k be ((-18)/(-6) + (-2)/2)*1. Solve -k*d - 4 = -4*d for d.
2
Suppose 30 = 6*o - 3*o. Suppose -o = -5*q - 0*q. Solve -5*y = -q*y for y.
0
Let b = -18 - -5. Let h = b - -23. Solve -x = 4*x - h for x.
2
Suppose -3*o + 9 + 6 = 0. Suppose 2*y - 28 = 4*t, -4*y + 2*t + 34 = o*t. Let m = y - 5. Solve 4*b - m = -1 for b.
1
Suppose -4 = -3*l + 2*l. Solve -l*p - 9 = -p for p.
-3
Suppose 7 = 4*i - 1. Suppose 4*h - 30 + 6 = -3*z, -3*h - 2*z = -17. Solve i*o = h*o for o.
0
Suppose 0 = 2*v - 8, -3*t = 4*v + 8 - 21. Let o be (-3)/(t/(-4)*-3). Let q be 31/3 + (-1)/3. Solve q = o*b + 2 for b.
2
Let t be 1 + 2 - (8 - 7). Solve -t = 4*q - 6 for q.
1
Let n = -9 - -9. Let j = 0 + n. Suppose -5*p = 4*z - 27, 0 = p - 5*z + 6 + 6. Solve 6 = -p*t - j*t for t.
-2
Let g(p) = p**2 - 5*p + 1. Let v be g(6). Suppose -q - 5*y - 8 = v, 4*q + y - 35 = 0. Let r = -7 + q. Solve -m - 5 = -r for m.
-2
Suppose 0 = -3*o + 7*o + 12. Let k be (2 + o - -1) + 3. Solve -u - k = -0*u for u.
-3
Let r = 23 + -13. Solve 2*u - 7*u = -r for u.
2
Let c(f) = 7*f + 1. Let r be c(1). Suppose 0 = x - 4 - r. Solve x - 2 = -2*m for m.
-5
Let o(y) = -2*y. Let l = -5 - -3. Let f be o(l). Solve 2*w + f = w for w.
-4
Let w(h) = -h**2 + 3*h + 4. Let k be w(4). Suppose t - 5*t = 0. Let f be 10/2 - t/(-1). Solve k = f*p - 3*p - 10 for p.
5
Let k be (-2 + 4)*1/(-2). Let i = k - -7. Solve 0 = 4*l + i + 2 for l.
-2
Suppose -z + 5*z + 64 = 0. Let o = 20 + z. Solve x + 5 = -o*x for x.
-1
Let s be 4*((-5)/4)/(-5). Let y be (-186)/(-36) - s/6. Solve -2*m + m = y for m.
-5
Let v be (2/5)/((-6)/(-15)). Let f be v*((-2)/(-2) + 0). Suppose 4*n = 2*s - 38, s - 10 = -2*n + f. Solve -4*q - s = -q for q.
-5
Let y(i) = i**2 - 7*i + 6. Suppose -4*z + 10 = -2. Suppose 0 = z*t - 0*t - 18. Let x be y(t). Solve x = -2*f - 10 for f.
-5
Suppose 2 = l - 0*l. Suppose -l*f - u = -2*u - 7, -5*f - u = -35. Solve -f = -a - 1 for a.
5
Let q be ((2 - 4) + 8)*27/27. Solve o = -2*o + q for o.
2
Let m be (-8)/(-28) + (-52)/(-14). Solve 1 = -3*o + m for o.
1
Suppose 3*u = -u - b + 1, u = 4*b - 4. Let l(x) = x - 2*x + 0*x. Let m be l(u). Solve m = 3*p + 2*p + 20 for p.
-4
Suppose f - 6*f = s - 42, 5*f - 2*s = 51. Suppose l - f = -n, 4*l - 27 = -l + n. Solve 0*x + 3*x + l = 0 for x.
-2
Suppose -5*s + 2*s = -3. Suppose -2*l - s = 5, -3*t - 3 = l. Solve t*z + 2*z = -8 for z.
-4
Let f(w) = -3 + 3 - 7*w - 11*w. Let i be f(-1). Solve i = -3*x + 6 for x.
-4
Let q(j) = -j + 9. Let v be q(4). Suppose v*o - 33 = -8. Solve 0*d - 10 = o*d for d.
-2
Let t = 3 - -1. Suppose 4*c + 20 = 56. Let u = 18 + -17. Solve -u = -t*q - c for q.
-2
Let k = -4 - -2. Let j = -15 + 10. Let s = k - j. Solve -s*h - 25 = 2*h for h.
-5
Suppose 19*t - 15*t - 28 = 0. Solve 5*p - t = -2 for p.
1
Let a = -8 + 13. Suppose 4*z - 8 = q - a*q, z - 5*q + 4 = 0. Solve 2*g + 3 - z = 0 for g.
-1
Let g be 4*1/2*-3. Let m(r) = -r + 2. Let o be m(g). Suppose d = -1 + o. Solve 2*l = d*l + 5 for l.
-1
Suppose 5*w = -m + 16, -5*m = 1 + 19. Suppose 0*z - 5*z - 4*s + 38 = 0, -s = w*z - 26. Suppose 0 = 3*f + 3*g - 21, g - z = -2. Solve -f = -3*r - 0*r for r.
1
Let f(m) = m**3 + 5*m**2 + m - 3. Let h be f(-3). Suppose -h = 2*d - 5*d. Suppose -3*w + 4*y = -26, d*w - y + 0*y = 13. Solve w*t - 3*t = 0 for t.
0
Let l(g) = g**3 + g**2 - 7*g + 5. Let k be l(3). Solve 5*n = 45 - k for n.
5
Suppose -m = -17 + 15. Solve m*s + 16 = 6 for s.
-5
Let l be 12/(-42) + (-32)/(-14). Suppose 0 = f + 5*v - 24, 2*f + 0*f - l*v = 0. Solve f*h = 2*h + 4 for h.
2
Let m(b) = -2*b - 2. Let z be m(-3). Let s be -3 + z + -2 + 1. Solve -5 = -s*j + 5*j for j.
-1
Suppose 2*m = -5*a + 3*a + 16, 0 = -4*m + a + 17. Let v = -15 + 27. Suppose -3*j + v = 2*f + j, -f = 4*j - 8. Solve -4*g + m*g = f for g.
4
Suppose 3*z = 3*f - 4*f + 105, -81 = -2*z + 3*f. Let g be 296/z + (-2)/9. Solve -3*l + g = -5*l for l.
-4
Let n be (-3)/(-1) - (1 - 1). Let r = -1 - 1. Let i = n - r. Solve 3 = -k + i for k.
2
Let n(z) = 14*z**2 + z + 4. Let x(a) = 5*a**2 + 1. Let r(o) = -6*n(o) + 17*x(o). Let i be r(9). Solve 0 = -2*l - 3*l - i for l.
-4
Suppose 1 = 5*w + k, -k - 1 = w + 2*w. Solve 2 = 3*o - w for o.
1
Let l(y) = y**3 - 5*y**2 + 4*y + 2. Let k be l(4). Solve s = -k*s for s.
0
Let y(h) = h**3 + 2*h**2 - 3*h - 2. Let w be y(-2). Let v(x) = x**3 - 3*x - 3 - w + 13*x**2 - 17*x**2. Let c be v(5). Solve -c*k = -0*k - 15 for k.
5
Let o = 7 + -8. Let a be (-4 - o)*(-5)/15. Solve 0 = 4*j + 21 - a for j.
-5
Suppose 2*q - 12 = -q. Solve f - q = -0*f for f.
4
Let k(g) = g. Let b be k(4). Suppose b*q - 1 = 7. Solve -2*c = q*c + 20 for c.
-5
Suppose 2*v - 24 = -14. Solve 0*b = v*b for b.
0
Suppose -p = 2*q + 2*p - 43, 3*q - 3*p - 27 = 0. Let o(b) = b**3 + 5*b**2 + 6*b + 1. Let x be o(-4). Let t = 13 + x. Solve -q = -5*s + t for s.
4
Let q(n) = 2*n**3 + 2*n**2 - 1. Let d be q(-1). Let b(y) = -y**2 - y + 1. Let a be b(-1). Let k = a - d. Solve i = -k*i for i.
0
Suppose 7*b = -3*y + 3*b + 32, -27 = -3*y - 3*b. Suppose -2 = -t - 5. Let j be 6*(1/t - -1). Solve -4*k + y + j = 0 for k.
2
Let n = -29 + 20. Let g(i) = i**2 + 7*i - 10. Let j be g(n). Let s = j + -6. Solve -s = -h - 3 for h.
-1
Suppose 4*u + 11 + 1 = 0, 5*m - 2*u - 16 = 0. Solve m*b = -2*b for b.
0
Let c be (-1)/(-4) + 133/28. Solve c*y + 0 + 5 = 0 for y.
-1
Let j = 0 - -3. Suppose -2*s + j*s = 5. Suppose -15 = -0*d - s*d. Solve -d*v + 2 + 1 = 0 for v.
1
Suppose c + 0*d + 14 = -4*d, -2*d - 40 = -5*c. Solve t - c = -t for t.
3
Let s(h) = h**3 - h**2 - 1. Let f(z) = -z + 4. Let j be f(2). Let p be s(j). Solve 4*m = p - 7 for m.
-1
Let o be 4 + -2 + 1 + -1. Solve -o*v - 1 = 7 for v.
-4
Suppose 0 = -2*b + 24 - 8. Let o(t) = -t**2 - 8*t - 4. Let s be o(-7). Solve -s*v - v = b for v.
-2
Let d be (64/6)/(3/9). Let a(o) = -o**3 - 4*o**2 + 2*o - 3. Suppose -6*c + c = 25. Let g be a(c). Solve -g = -4*k - d for k.
-5
Suppose -4*c - 5*o - 72 = 0, 77 = -6*c + c - 3*o. Let n = c + 15. Solve w = -n - 3 for w.
-5
Let y(i) be the first derivative of -i**2/2 - 3. Let o be y(-5). Suppose r - 5*a = -15, -4*a - 4 = -4*r + 16. Solve 0*f = -o*f - r for f.
-2
Let z(s) = -s - 1. Let w be z(0). Let f be (3 + w - 1)*7. Solve 1 - f = -2*x for x.
3
Suppose -j - 6 = q + 3*q, 5*q + 10 = 0. Solve -w - 1 = -j*w for w.
1
Let a(r) be the third derivative of r**6/120 + r**5/6 + 3*r**4/8 + r**3/2 + 4*r**2. Let l be a(-9). Solve -c + 0*c = -l for c.
3
Let v(t) = t**2 + 11*t + 33. Let y be v(-7). Solve -3*n - 4 = y for n.
-3
Let w be (-1 - 0)*-3 - -3. Solve 7*t = w*t - 3 for t.
-3
Suppose 5*g + 28 + 17 = -5*m, 2*m + 33 = -5*g. Suppose -v - 20 = 3*v. Let r = g - v. Solve r*x - 12 = -3*x for x.
4
Suppose -18 + 6 = -3*v. Let y = v - -1. Solve 0*d + y = -d for d.
-5
Suppose -2*t = -5*r - 1, -4*t - 7*r + 3*r - 12 = 0. Let f be 6/(-18)*30/t. Suppose -f*u + 16 = -u. Solve -1 = k - u for k.
3
Let q be ((-8)/(-6))/(4/6). Suppose -q*x - 3*x = -35. Solve -3*z + 12 = -x*z for z.
-3
Let i(l) = -l