- 5*x + 6 = 0, 0*x = -4*x - 8. Let r be 1 + 0 - (-8 - 1). Suppose -10 = -n*l + r. Solve l = 3*m - 4 for m.
3
Suppose -1 - 2 = -3*s. Let g = s - -4. Solve 0*x + g = x for x.
5
Let m = 83 + -80. Solve -z - m*z = 20 for z.
-5
Let i = -9 - -19. Suppose -2*s + i = -0*f - 2*f, -3*f - 19 = -5*s. Solve -s*z - 10 = 3*z for z.
-2
Let h(a) = 8*a - 32. Let w(c) = 3*c - 11. Let l(k) = -4*h(k) + 11*w(k). Let r be l(-7). Let g be 6/(-3) + 6 + r. Solve g + 1 = f for f.
5
Let l = -6 - -9. Suppose 19 - l = 4*m. Solve 25 = -q - m*q for q.
-5
Let i = 94 + -47. Let m = i + -17. Let v = -18 + m. Solve l - 5*l = v for l.
-3
Suppose 0 = 12*f - 40 - 236. Solve -3*b = -11 + f for b.
-4
Let q(y) = y - 1. Let c be q(5). Suppose -2*t = 4*m + 16, -4*m - 5 = -t + 5. Let z = t + c. Solve -z*f + 0*f = 6 for f.
-3
Let q be 8/(-3)*18/(-12). Solve 4 + 4 = q*d for d.
2
Suppose -2*w + 3*k + 18 = 0, 4*w - 2*k = 14 + 6. Solve w = -d - 0 for d.
-3
Suppose 0 = 2*a - k + 10 - 24, -2*k = 0. Solve -2*r - 3 = a for r.
-5
Suppose 0 = -a - a. Suppose -3*k = -a*k. Solve k = -4*i + 2*i - 2 for i.
-1
Suppose 4*j + 12 = 4*c, 4*c = 2*j + 3*c + 3. Let k(i) = -i + 2. Let n be k(j). Suppose n*s - 16 = -2*w, -w + s + 0*s + 2 = 0. Solve x - w*x = 20 for x.
-5
Let g(y) = y. Let i(w) = 2*w**2 - 3*w - 1. Let d(l) = 6*g(l) + i(l). Let u be d(6). Suppose -2*x = 4, -4*x + 31 = -5*p + u. Solve -m - 4*m = -p for m.
2
Suppose 0*r - 4*r + 4 = 0. Suppose -2*q - 3 = -r, 4*v + 5*q - 3 = 0. Let k = 26 + -21. Solve v*o = 1 - k for o.
-2
Let r be (-4)/((-8)/(-3))*(-24)/9. Solve -d - r = -9 for d.
5
Let m be (-1 - 0)/(((-99)/(-18))/(-11)). Solve -m + 1 = -h for h.
1
Suppose -3 + 17 = f. Let m = f - 8. Solve -2*z = -4 - m for z.
5
Suppose u - 3*u = 2*o, -3*u = -3*o - 18. Let j be (-2)/(o/(-3) - 2). Let d be ((-16)/(-20))/(j/5). Solve 2*v = 4*v - d for v.
1
Let u = 24 - 18. Solve 3*c + 9 = -u for c.
-5
Let x(y) = 12*y**2 + y - 2. Let a be x(1). Let o = a + -8. Let m = 7 + -4. Solve -2*g + o = -m for g.
3
Let i(y) = 2*y + 7. Let r be i(-7). Let k = 10 + r. Solve k*h - 4 = h for h.
2
Let p = -5 - -6. Let t be (-1)/(-4) - p/4. Solve t = -2*i - 1 - 1 for i.
-1
Suppose -t = -3*b - 11, -4*t - 2*b = -7*b - 30. Let g = 3 - t. Let j be -1 + -1 - (-9 - g). Solve 15 + j = 4*c for c.
5
Suppose -3*a - j + 9 + 61 = 0, 4*j + 65 = 3*a. Let b = a - 11. Suppose 0*m - b = -m. Solve -5*n + 2*n = -m for n.
4
Let z be (-384)/28 - 2/7. Let o = -21 - z. Let q(c) = c + 11. Let v be q(o). Solve v = -2*a - 4 for a.
-4
Let y(z) = -z**3 + 3*z**2 + 10*z + 3. Let t be y(5). Solve 3 = t*b - 9 for b.
4
Let i(d) = -d**3 + 2*d**2 - 1. Let q be i(-1). Let p(t) = 1 + 4 - 2 + 4*t + t**q. Let a be p(-3). Solve 0 = m - a*m - 3 for m.
3
Let g be ((-8)/20)/(2/10). Let n be ((-6)/(-9) + g)*-3. Solve n*q = -3 - 5 for q.
-2
Suppose 4*d = 3*d + 2, 2*s - 4*d = -8. Solve s*m = 4*m - 4 for m.
1
Let a(n) = 2*n**2 - 2*n. Let r be a(2). Suppose -r*f = -7*f + 45. Solve 4*b - f + 3 = 0 for b.
3
Suppose -2*v + 0 = -4. Let q(u) = u**2 - u. Let i be q(v). Solve -o + i = -2 for o.
4
Let p be (-2)/(-2*((-6)/(-4) - 1)). Solve p*i = 7 + 1 for i.
4
Suppose 4*l + 13*l - 17 = 0. Solve -y - 4 = l for y.
-5
Let j(b) = -b + 13. Suppose 3*i + 3 - 36 = 0. Let v be j(i). Let q be (2/v)/((-1)/(-2)). Solve -q*g - 16 = 2*g for g.
-4
Suppose -5*b + 2 + 1 = -4*g, g + 12 = 5*b. Solve 3*w - 9 = -b for w.
2
Suppose 6*q - 4*q = 10. Solve q*p + 8 - 3 = 0 for p.
-1
Let a = -1 - -1. Suppose -j = -0*j - 60. Suppose -5*h = -2*h - j. Solve 4*v - h = -a*v for v.
5
Let u(n) = 7*n - 39. Let i be u(6). Solve 0*d + 3*d - i = 0 for d.
1
Let d be (60/(-18))/((-8)/12). Solve 10 = -d*y - 5 for y.
-3
Let h(q) be the third derivative of 1/24*q**4 + 3*q**2 + 0*q + 1/15*q**5 + 0 + 1/6*q**3. Let g be h(-1). Solve 0 = -b - b - g for b.
-2
Let l = 8 + -3. Solve l = -5*o - 10 for o.
-3
Suppose 5 = 2*o + 3*c - 1, 0 = 4*o + 3*c - 6. Let f be (o - (1 - 2)) + -4. Let j be (-1 + 16)*f/(-5). Solve 4*l - j = -29 for l.
-5
Let z(r) = -r - 2. Let n be z(-2). Solve n*k - 12 = -3*k for k.
4
Let t = 37 + -30. Solve -t - 1 = 4*i for i.
-2
Suppose -2*j + 0*j + 20 = 0. Let o be (-52)/(-20) - 6/10. Suppose -3*n + 2*f - 4 + 25 = 0, -n - f = -o. Solve -3*v = -n*v + j for v.
5
Let b(j) = 7*j**2 - 7*j + 4. Let k(l) = 8*l**2 - 8*l + 5. Let p(o) = -7*b(o) + 6*k(o). Let u be p(2). Let a = 0 + 4. Solve a*n + u*n + 4 = 0 for n.
-1
Let t = 114 - 112. Solve -t*r - r = 0 for r.
0
Let x = -8 + 8. Suppose x*r = 5*r. Solve r = -2*o - o - 15 for o.
-5
Let m be 2 + (-1 - 0/(-3)). Let h = 8 - m. Solve h*t = 2*t for t.
0
Suppose -2*l = -3*l - 13. Let j = l - -6. Let i = 8 + j. Solve -y + 1 = -i for y.
2
Suppose 5*n = 121 - 46. Let p = n + -10. Solve 0 = 2*j + 3*j + p for j.
-1
Suppose -2*d = -3*d + 34. Suppose -z + 8 = -2*z. Let a be z/12 + d/6. Solve -a*x + 21 = 1 for x.
4
Let z be 0*(2 + -2 + -1). Let g = z + 3. Suppose d - 1 = -v + 2, g = -3*d + v. Solve d*w = -w - 3 for w.
-3
Let v = -101 + 106. Solve 0 = -v*r - 23 - 2 for r.
-5
Suppose -5*w = -w. Suppose w = 2*k + 3*k - 20. Solve 7 = -k*j - 5 for j.
-3
Let l(q) = q**2 - 9*q + 5. Let f be l(9). Suppose -4*b = -f*b - 2*n, 2*b = n + 15. Let k be 30/(-4)*b/(-5). Solve 3 = 2*u + k for u.
-3
Suppose -5*m = 4*m - 18. Solve 8 - m = 3*l for l.
2
Let m(c) = c. Let y be m(2). Solve -3*w = -4*w + y for w.
2
Let y be 5 - 1 - 84/7. Let i = -8 - y. Solve i = m - 0*m - 5 for m.
5
Suppose -16*u + 12*u = 0. Solve 0*f + 4*f + 16 = u for f.
-4
Let v = 17 + -12. Let n = -1 + v. Let l be 49/28 + 1/n. Solve 3*m = -l*m for m.
0
Let p be 0*1/(2 + 0). Solve p = 5*n + 5 + 20 for n.
-5
Suppose 0*s + 3*s = 9. Suppose 3*z - 21 = -5*v + 8, -14 = -5*v + 2*z. Suppose -c = v*c. Solve -s*l + 2*l - 5 = c for l.
-5
Let p be (-1 + 9)*18/(-4). Let w be 3/5 - p/15. Suppose -w*c - 12 = -7*c. Solve -f = c*f for f.
0
Let t be 18 + (3 - 3) - 2. Let g be ((-4)/8)/(2/t). Let w be (-8)/10*10/g. Solve 0 = -d - d + w for d.
1
Suppose 16 = 3*f - i, 2*f + 2*i - 7 = -i. Solve 12 = -f*o + 2*o for o.
-4
Let l be 4/(-4) - 3 - -7. Solve -l + 0 = -g for g.
3
Let f = -10 + 12. Solve -6*y + 16 = -f*y for y.
4
Suppose 3*l + n = 13, 3*l + l + n - 17 = 0. Let b = l + -2. Suppose 4*j + 22 = b*v, v - 43 = -4*v + 4*j. Solve -v = -2*m - 3 for m.
2
Suppose 7 = 4*n + 4*o - 1, 5*o = 10. Suppose 3*s - 24 = -s - 4*y, y = 1. Suppose -2*b + s = -b. Solve -b*h + n = 10 for h.
-2
Suppose 7 = 3*c + 3*m - 14, -m = 3*c - 29. Suppose y = -2*t + 7, t + c = 5*y - 2. Solve -t*o - 16 = 2*o for o.
-4
Suppose -1 + 21 = 10*q. Solve -q*z + 2 = -0 for z.
1
Suppose y - 3*y + 10*y = 0. Solve o + o - 8 = y for o.
4
Let q = -51 - -51. Solve v = 1 - q for v.
1
Let w be -3 + (3 + 0)*1. Suppose -4*a + 21 = -0*a - r, w = 5*r + 25. Suppose 5*g = -a*k + 8, -k - 4*g - 2 = -2*k. Solve j = -k - 0 for j.
-2
Suppose 1 - 7 = -2*u. Suppose -j = -u*j + 16. Let y be ((-8)/(-18))/((-8)/(-36)). Solve 0*c = -y*c - j for c.
-4
Let f = 6 + -5. Let l(i) = i**3 - 8*i + 3. Let x be l(3). Solve -x = 5*n - f for n.
-1
Let u(z) = -z**3 + 2*z**2 - 2*z - 1. Let k be u(2). Let x be k/(2*4/(-24)). Solve -5*f = -0*f + x for f.
-3
Suppose 0 = -2*g - l + 2*l + 2, -g - 3*l + 8 = 0. Suppose 5*j - 1 = g*o - o, 32 = 4*o - 2*j. Let u = -6 - -13. Solve -o = -4*i + u for i.
4
Let g(m) be the first derivative of m**3/3 + 7*m**2/2 - 4. Let i be g(-8). Let f be 2/(-3 - 1)*-10. Solve -f*t = -t + i for t.
-2
Let w(f) = f**2 - 8*f + 9. Let c be w(7). Suppose 0 = 3*m + c*m - 10. Solve m*t - t = 0 for t.
0
Let m = 44 - 40. Solve a = m*a for a.
0
Suppose -4*o - 1 - 1 = 3*s, 10 = 2*s - 3*o. Let y = -513 - -513. Solve -s = 2*l - y*l for l.
-1
Let a = -7 - -16. Let v be a/4 + (-3)/12. Solve v*r - 8 = -2*r for r.
2
Let b be 1*9/((-9)/(-4)). Solve -b*s = -3*s + 4 for s.
-4
Let w(z) = 0 + 2*z - 3 + 0*z**2 + 2*z**2 + z**3. Let v be w(2). Solve 0 = 2*t - v + 7 for t.
5
Suppose 5*j = 8 + 2. Let d be (-66)/(-2)*(-1)/3. Let z = -9 - d. Solve -j = -4*i + z for i.
1
Let q = 29 + -23. Solve -3*n - q = -0 for n.
-2
Let q(m) = -4*m - 4. Let g be -1 + -5 + (-2)/(-2). Let r be q(g). Let c be ((-2)/(-4))/(4/r). Solve 0 = -2*a - c*a - 8 for a.
-2
Let k(m) = -m**3 + 9*m**2 - 14*m + 4. Let z be k(7). Solve t + 5 = -z*t for t.
-1
Suppose -3*n + 1 = -4*j - 24, -2*n + 10 = -j. Solve -2*b = -1 - n for b.
2
Let l(p) = p**3 - 4*p**2 + 5*p - 4. Let i be l(4). 