1. Let y(x) = -x**2 + 7*x - 5. Let q be y(h). Solve -2*l - 1 + q = 0 for l.
2
Let g be (-12)/(-1) + -2 - (3 + 1). Solve 0*y + 3*y - g = 0 for y.
2
Let l(z) = -4*z + 1. Let a be l(-1). Suppose 0 = w - a*w + 24. Solve -3*x + 21 = w for x.
5
Suppose 43 = 5*t + o, -2 = -4*t + o + 27. Solve 3*i + i = t for i.
2
Let h = 44 - 24. Solve -w + h = 4*w for w.
4
Suppose -4*g + 3*g = -6*g. Solve -2*b + 8 + 2 = g for b.
5
Suppose -2*w + 3*w - 7 = 0. Let s(q) = 6 + q**3 - 3*q**2 - w*q**2 - 3. Let m be s(10). Solve -m*k = -0*k for k.
0
Suppose -7*w + 22 = 8. Solve g + 6 - w = 0 for g.
-4
Let m = -1 + 1. Suppose m = 3*p - 5*z - 4, 2*z + 13 = 3*p + 6*z. Suppose -p*i = -i - 8. Solve 2*l + 4 = -i for l.
-4
Let l(p) = p**3 - 3*p**2 - p + 7. Let q be l(3). Suppose -22 + 0 = -5*i + 3*a, 5*a = -20. Solve -i*z = -0*z - q for z.
2
Suppose 2 = -5*o - 2*u, 2*o - 5*o - 3 = 3*u. Suppose 0 = -2*y - 2, 5*l - 4*y - 73 = 2*l. Suppose -5*f = -12 - l. Solve -4*b + f*b - 6 = o for b.
2
Let r be ((-18)/15)/(12/(-30)). Solve r = -2*x - 5 for x.
-4
Let b(h) = h**3 - 6*h**2 - 28*h + 12. Let a be b(9). Solve a*k = 3 + 3 for k.
2
Suppose -2*c - 30 = -5*c. Let q = -16 + c. Let s = q + 6. Solve 0 = -s*u - u - 5 for u.
-5
Let c = -5 - -8. Suppose c*s + 4*h = h + 3, 5 = -5*s + 5*h. Solve s = 5*w - 4 - 1 for w.
1
Let u = -9 + 12. Solve 5 = -p + u for p.
-2
Suppose 3*w + 4 = w. Let f be (21/(-15))/(w/10). Suppose 3*z - 3*m + f = z, -2*z - 12 = -4*m. Solve 2*j - 14 + z = 0 for j.
5
Suppose -3*p = -4 - 8. Suppose p*i + 5 = 9*i. Solve -i = -2*n + 3 for n.
2
Suppose -q - q + 12 = 0. Let c(f) = f**2 - 4*f + 1. Let y be c(q). Solve -4*d - y = 3 for d.
-4
Let x = 21 - 13. Let s be 1 - ((-6)/2)/(-3). Solve s = 2*p - 0 - x for p.
4
Let h be 4/8*(2 + -2). Solve h = p + 4*p + 5 for p.
-1
Suppose -v - 2*c - 5 = 0, -2*v - 6*c + c - 12 = 0. Let d(q) = -9*q**3 + 2*q**2 - 1. Let j be d(v). Solve -3*g - 5 - j = 0 for g.
-5
Suppose -13 - 2 = -5*q. Suppose 0 = -q*n - 0*n. Solve n*s = 4*s for s.
0
Let x(c) = 2*c - 30. Let o be x(15). Let t(a) = -a**3 + a**2 + a + 4. Let w be t(0). Solve o = -w*n + 5 + 7 for n.
3
Let q(x) = -x + 10. Let f be q(5). Solve 0 = -7*o + f*o + 6 for o.
3
Suppose -2*z + 12 + 4 = 0. Let y = z - 3. Solve y*k = 3*k for k.
0
Let z(w) = -2*w + 15. Let i be z(9). Let v be 21 + (3 - (i + 7)). Solve -2*p - v = 2*p for p.
-5
Suppose 0 = -2*g + 2 + 4. Suppose 2*h = 11 - g. Suppose 48 = y + 2*y. Solve h*a + 0 = y for a.
4
Suppose -2*y + 3*z + 12 = 0, -4*z - 27 = -y - 11. Solve y = 2*a - 6*a - 8 for a.
-2
Suppose 5*t = -22 - 13. Let j(x) = -x**3 - 7*x**2 - x - 2. Let f be j(t). Solve f*v - 3 = -18 for v.
-3
Suppose -2*b - 10 = c - 5*c, 4*c = -2*b + 22. Solve -2 - 2 = c*a for a.
-1
Let o(m) = -m**3 + 5*m**2. Let g be o(5). Let v be (-3 + 1)/(2 + -3). Solve g = 3*c + v*c for c.
0
Suppose 2*u + 3*u = 0. Solve u - 12 = 3*o for o.
-4
Let f be 1*-1*(0 - 3). Suppose -f*q - q = 4. Let u be (-1 + 2)/(q + 2). Solve -d = -2 - u for d.
3
Let f = -18 - -21. Solve f*k = -k for k.
0
Let y(r) = 6*r**2 + r. Let q be y(-1). Solve -q*x = -0*x - 10 for x.
2
Suppose -6*m + 9*m - 12 = 0. Suppose -4*l = 8 - 20. Solve y = m*y + l for y.
-1
Let a(i) = 2*i**2 + i + 3. Suppose 0 = -w - 3*w. Let m be a(w). Solve 4*q = -m - 9 for q.
-3
Suppose -3*z = -2*z - 3. Let k be (16/(-12))/((-1)/z). Solve 0 = -2*n - k - 6 for n.
-5
Suppose 4*g = c + 2*c - 24, 0 = -2*g - 3*c + 6. Let j be 15/5 + g/3. Solve j*b + 9 = 3 for b.
-3
Let z(q) = -q**2 + 1. Let w be z(2). Let h be (-2)/6 - w/9. Solve 2*s + h*s - 6 = 0 for s.
3
Let q = -16 - -32. Suppose 5*d - m - 24 = 0, -d - q = 4*m + m. Solve -l - 3 = -d for l.
1
Suppose -5*l = -3*d - 2*l + 27, 5 = -l. Suppose -d + 1 = -c. Suppose -8*g + t = -4*g - 45, -3*g + 30 = c*t. Solve -14 = -5*n + g for n.
5
Let b = -10 - -12. Solve -o + b = -1 for o.
3
Suppose 0 = -5*o + 2*i + 4, -5*o - 3*i + 19 = 0. Solve -4*r = -2*r + o for r.
-1
Suppose 4*k = 2*k + 4. Suppose 0*s = k*s - 10. Solve 15 = 5*g + s for g.
2
Let g = -5 - -8. Suppose 8*m - 2 = 6. Solve 2*u = g + m for u.
2
Suppose 0 = 3*w - 0*o + 4*o + 3, -w + 12 = -3*o. Solve 2*k = -1 + w for k.
1
Let q be ((-6)/4)/(6/(-8)). Suppose 4*g - o = 4*o - 15, -5*o - 5 = 0. Let k(f) = f**3 + 4*f**2 - 6*f - 5. Let r be k(g). Solve r = d + q*d + 12 for d.
-4
Let t be 4 + 2 + -5 + 4. Solve -22 + 2 = t*g for g.
-4
Suppose -32 = -4*s + 4. Let c(m) = -m**2 + 10*m - 9. Let x be c(s). Solve 0 = -x*o + 2*o - 4 for o.
2
Let p be (1*4 - 1)*1. Let t be (-4)/(-18) + (-4)/18. Let w = 4 - 4. Solve -3*s + t*s + p = w for s.
1
Let k(b) = -b**3 + 6*b**2 + 2. Let q be 11/2 + (-3)/(-6). Let i be k(q). Solve -t - 9 = i*t for t.
-3
Suppose 0*s + 6 = 3*s. Suppose 10 = -4*h + 5*d, -5*h - 4 = -2*h - s*d. Solve 2*v = 2 - h for v.
1
Suppose -6 = p - 5*g, -4*p - 3*g + 0 + 22 = 0. Solve 0 = p*b - 9 + 25 for b.
-4
Let l = -23 + 26. Solve 0*u = -l*u - 12 for u.
-4
Let p = -13 + 19. Solve -4 = p*g - 2*g for g.
-1
Let w be (-1)/(-3)*0 - 0. Suppose w = -4*c - 3*s + 19, -4*c - s = 4*s - 21. Solve 3*d = 2*d + c for d.
4
Let h(b) = 3*b + 1 - 5*b + b + 4*b**2. Let p be h(1). Let y = -5 - -7. Solve 0*m = y*m - p for m.
2
Suppose x + 0*x = 1. Let j be x + 1 + 4 + -3. Solve -j*r = -0*r - 15 for r.
5
Let l be 0 - 1 - 1*-11. Suppose -5*w = -0 - l. Solve w*f = -7 + 17 for f.
5
Let d be (-1 - -16)/3 - 2. Solve -5 = d*u + 7 for u.
-4
Let j = -68 + 70. Solve 16 = -j*o + 6*o for o.
4
Let v(d) = d - 3. Let i be v(5). Suppose i*z - 4 = 6. Solve 0 = 2*h - z*h - 15 for h.
-5
Let t be (-10)/3*(-18)/10. Let o = 11 - t. Solve o*b + 32 = 7 for b.
-5
Suppose 2*r = 3*p - 5, p + 0*r + 7 = 5*r. Suppose -4*y + 3*y = -5*t - 16, -6 = p*t. Solve y = 4*m + 2 for m.
1
Suppose 3*t + 62 = -2*x - 2*x, 2*x - 2*t = -38. Let g be (-4)/6 + x/(-3). Suppose 3 + g = 2*o - 3*s, -4*o + 2*s = -16. Solve -9 = h - o*h for h.
3
Suppose -2*v + 10 = z, -2*z + 3*v = 2*v + 5. Solve z = -3*p + 2*p + 5 for p.
5
Let r(p) = -p + 8. Let v be r(8). Solve v + 3 = k for k.
3
Let l(k) = 2*k**3 - 6*k**2 + 5*k. Let y be l(2). Solve -2 = 2*d + y for d.
-2
Let s = -43 - -31. Let z = s - -22. Solve -3*b + b - z = 0 for b.
-5
Let g be (-3)/(3 + -6)*0. Suppose w = -g + 4. Solve n = -0*n + w for n.
4
Suppose -7*w = -4*w + 6. Let m be 4/(-3)*3*1. Let i be -2*(-3 + w/m). Solve 3 = i*f + 8 for f.
-1
Suppose -i = 2*m - 1 + 13, -5*m = i + 24. Let r = m + -4. Let c be r/(-6) - (-10)/15. Solve -3*s = c*s for s.
0
Let b(a) = -a + 3. Let x be b(6). Let p = 1 - x. Solve -2*l - 10 = -p*l for l.
5
Let s(f) = -f**3 - 1. Let i be s(-1). Let o(j) = -j**2 - j. Let t be o(i). Solve t*y = -4*y - 8 for y.
-2
Let w = 9 - 7. Solve 2 = -0*t + w*t for t.
1
Let i be -3*(-1)/(1 + 0). Suppose g + i*g + 2*r - 20 = 0, -r = 0. Suppose 0*f = g*f - 40. Solve -4 = 4*v - f*v for v.
1
Let q be (-1)/((-20)/8 - -2). Solve 0 = 7*p - q*p - 20 for p.
4
Suppose -5 = -2*r + 3. Suppose 12 = r*t - 4. Let d be 6/t*(-4)/(-3). Solve d = 2*q - 6 for q.
4
Let j(t) = -t + 9. Suppose 0*h + 14 = 2*h. Let k be j(h). Solve k*z = 6*z for z.
0
Let r(o) = -o**2 + 8*o - 9. Let j be r(6). Let g be 2*(1 - 2 - -2). Let f be j/(-6)*g*-3. Solve 0 = 5*l + 18 - f for l.
-3
Let c(h) = h - 6. Let z be c(7). Solve -2*d - z + 5 = 0 for d.
2
Suppose -c - 3*o = -0*c - 9, -4*o + 8 = 0. Suppose 7 = 2*v + c. Solve 3*x - v*x = -1 for x.
-1
Let x be 2/(-10) - (-980)/25. Let k = -14 + x. Solve m + 4*m = k for m.
5
Let y(k) = -k + 12. Let n be y(10). Solve 3 = -n*s + 1 for s.
-1
Let b be -3*(-1)/6*0. Let s = b - -2. Solve -u - u = s for u.
-1
Suppose -5*j = -l - 5, 2*j - 5*l - 19 = 6. Solve j = -3*v - 0*v - 3 for v.
-1
Suppose -89 = -7*x - 19. Solve 10 = 5*s - x for s.
4
Let s = 20 - 35. Let m be ((-8)/(-10))/((-3)/s). Solve 0 = 2*p - m - 6 for p.
5
Let k be (-10)/(-8) - (-60)/80. Solve 0 = -3*i + k*i + 5 for i.
5
Suppose 3*h - 29 = -5*l + 6*h, 0 = -4*l + 2*h + 22. Suppose 2*w - 7 = 3. Solve w = l*m + 1 for m.
1
Let w = 2 + 0. Let q = w - 0. Suppose -h + 0 = -q. Solve 4 = -0*d + h*d for d.
2
Suppose 0*j + j + 15 = 0. Let t = -12 - j. Solve 8*h = t*h + 15 for h.
3
Let h(c) = -c**3 + 22*c**2 - 22*c + 23. Let r be h(21). Solve -27 + r = -5*z for z.
5
Suppose -4 + 3 = p, -6 = -h + 2*p. Let r be (2 - 0)*(-1)/2. Let o = h + r. Solve 0*y + o = -y for y.
-3
Let j = 4 - 1. Let k = 2 + j. Suppose -4*u = 0, -15 = -5*p + k*u - 3*u. Solve w = p*w 