*h - 15 = a*h for h.
5
Suppose -3*n = -21 - 3. Let o = n + -6. Suppose 6*t - o*t - 8 = 0. Solve -8 = t*c - 0*c for c.
-4
Let r(z) = -4*z**3 + z**2 - 1. Let i be r(-1). Solve -w - w = -i for w.
2
Let x be 1/2*0*1. Solve -5*y + x*y + 20 = 0 for y.
4
Let y(f) = -f - 2. Let j be y(-5). Suppose j*a = a. Let h = 22 + -17. Solve -5*p + h = -a for p.
1
Let y(o) = o**3 - o**2 + o - 10. Let r be y(0). Let c be 7/35 - 98/r. Solve -s - s = -c for s.
5
Suppose -10 = -5*d + 2*u, -3*u = -d - 0*u + 15. Solve d = 5*z - 3*z for z.
0
Let p be (-3)/(9/(-2)) + 22/66. Solve 5 = -4*g + p for g.
-1
Suppose -4 = 3*r - 19. Suppose 2 = -3*f + r. Let n(p) = -p + 2. Let o be n(f). Solve 3 = 2*u + o for u.
1
Let x(c) = -2*c**3 - 2*c**2 - c - 1. Let n be x(-2). Solve -3*y - n - 6 = 0 for y.
-5
Let n be 13/((-182)/(-60)) - (-2)/(-7). Solve -n = -3*g - 10 for g.
-2
Suppose x + 2 = 22. Solve 7*z = 2*z + x for z.
4
Suppose 3*f - 3 - 9 = 0. Solve -f*m + 1 = -3 for m.
1
Suppose -8 - 4 = -2*h. Let g be 16/h - (-4)/(-6). Let w = 3 - 2. Solve d = w + g for d.
3
Let i be ((-48)/(-30))/((-8)/(-100)). Solve 2*l = 6*l + i for l.
-5
Suppose -14*x + 10 = -9*x. Solve 2 = x*o - 2 for o.
2
Suppose -2*d - 2*y = -d, 4*d + 4*y = 8. Suppose -148 = s + s - d*u, -3*u = -2*s - 151. Let f be (-2)/4*s/5. Solve v + f = -v for v.
-4
Suppose 4*b = 12 + 12. Let y be b/21 + 141/21. Solve -13 = -4*k + y for k.
5
Let q = 75 - 54. Suppose -5*l + 6 = 2*w, -26 - 25 = 5*w - 4*l. Let c = w + q. Solve -5*u + c = 34 for u.
-4
Let r = 58 - 58. Solve -3 + r = -y for y.
3
Let z(k) = -k**3 - 16*k**2 - k - 10. Let t be z(-16). Solve -2*y + t = y for y.
2
Let a be (-45)/(-60) + (-57)/(-4). Solve -p - 4*p = -a for p.
3
Let s(f) = -4*f**2 + 46*f - 42. Let k(n) = -3*n**2 + 31*n - 28. Let o(x) = 7*k(x) - 5*s(x). Let l be o(-14). Solve l*r + 5 = r for r.
5
Let w = 69 + -67. Solve -2*m - w + 12 = 0 for m.
5
Let u be (-148)/(-3) + 14/21. Suppose 3*w = s + 25, -2*w - 4*s + u = w. Solve 5*l + 0 = -w for l.
-2
Suppose 2*p = 3*p. Solve p = -x - 0 - 4 for x.
-4
Let x(q) = q**3 + 11*q**2 + 9*q - 10. Let a(i) = -i**2 + 11*i + 6. Let m be a(11). Suppose h + m = -4. Let d be x(h). Solve 1 + d = k for k.
1
Let i = -16 + 23. Solve 4*s + 3 = i for s.
1
Let m = -8 - -8. Solve 2*l - 3*l + 2 = m for l.
2
Suppose -4*l + g = -17, -5*l + 25 = -3*g - 2*g. Suppose -4*q - 5*c = 0, -l*q + 2*q - 2 = 3*c. Solve q*x + 19 = -6 for x.
-5
Let f = 25 + -25. Solve y - 3 = -f for y.
3
Let p = -123 + 123. Solve p*l + 4 = l for l.
4
Let w be (3/(-9))/((-4)/48). Solve 2*f - 6 = w*f for f.
-3
Let o be (-2)/(-2) - (-4)/(-2). Let z be 1 + (-2 - -1 - -5). Let i = z + o. Solve -i*r + 7 = -13 for r.
5
Let o = 89 + -79. Solve 30 = -4*m + o for m.
-5
Suppose 4 = -p + 3*p, -5*w = p + 13. Let z(x) = x**2 + 4*x + 3. Let m be z(w). Solve -3*y + 6 = -m*y for y.
2
Let k = -73 - -77. Solve 0 = -k*v + 5*v for v.
0
Suppose 0 = 5*y - 38 - 12. Solve -w + y = 4*w for w.
2
Let b be 0 - (2 - (-4)/(-2)). Let d(g) = g - 11. Let k(i) = 3*i - 23. Let w(a) = -5*d(a) + 2*k(a). Let q be w(b). Solve 4*z + 1 = q for z.
2
Let x be (5 + -6)*4/(-1). Suppose -n = -12 - 8. Solve x*l - n = -l for l.
4
Let y = 12 + -7. Let j = 11 - y. Solve -j*h + 3*h = 0 for h.
0
Suppose -r = -3*s, 0 = 2*r + s - 19 + 5. Suppose -4*c - r = -4*h + 6, 6 = -2*h - 2*c. Suppose 0 = -y - 25 + 28. Solve y*m = -h*m for m.
0
Let g be 2 + -1 + (0 - 3/3). Solve 4*u = -g*u + 4 for u.
1
Suppose -2*l = 2*y - 22, -l - 3*y = -5*y - 23. Let i be (-2)/(-5) - (-4)/(-10). Suppose 4*g = 4*f + 20, 2*g - 3 = -g - 3*f. Solve g*d + i = l for d.
5
Let r(j) = -j**3 - 2*j**2 - j + 2. Let z be r(-2). Suppose 0 = z*b + 2*v - 10, 3*v + 12 = -v. Solve -b = -l - 2 for l.
2
Let i be ((-3)/6)/((-2)/(-16)). Let j(m) = -m**3 - 4*m**2 + 2. Let z be j(i). Solve -z*q - 4 = 2*q for q.
-1
Let j(u) = -2*u - 9. Let h be j(-6). Suppose 0 = -t + h - 10. Let i = 10 + t. Solve i*g - g - 4 = 0 for g.
2
Suppose -2*c + 4*c - 4 = -2*x, 4*c = 8. Let m be (1 - x)/(2/2). Solve 0 = -b + 2*b + m for b.
-1
Let o(c) = 2*c**2 - 2*c - 2. Suppose 0 = -2*i + g - 2, 5*i + 6 = 2*g - 0*g. Let f be o(i). Solve -2 + f = 4*w for w.
2
Suppose 2*v = 7*v - 105. Let c = v - 18. Solve c*y = 2*y - 5 for y.
-5
Let q be 2 + 5 + 1 + 0. Suppose -5*a - 4*t + 5 = t, -5*t - 11 = -3*a. Suppose 3*w = a*s - 15 - q, 4*s + 9 = -5*w. Solve -u - 6 = -s*u for u.
2
Suppose p = -2*p + 9. Suppose -p = -5*v + 7. Let g = -53 - -56. Solve 0 = -g*q - v*q for q.
0
Let v = -1 - -9. Let t(j) = j**2 - 5*j + 6. Let l be t(4). Solve -l*g + v = -0*g for g.
4
Suppose m - 3*m = 3*m. Solve -3*c + 9 + 6 = m for c.
5
Let y(x) = -17*x**3 - x**2 + x + 1. Suppose 3*z = 3*a - 0*a - 3, 0 = -4*a - 2*z - 8. Let k be y(a). Suppose 5*o - 24 + 9 = 0. Solve g + k = -o*g for g.
-4
Suppose 3*s - 2*s = -b - 3, 5*s - 35 = 5*b. Let m be (0 - -2) + s/1. Let h = m - 1. Solve -8*t + h*t - 15 = 0 for t.
-3
Suppose -6 = 7*r - 10*r. Solve 0 = 3*c - 10 - r for c.
4
Let g = 4 + -4. Solve 4*h = -g*h for h.
0
Let r(w) = -2*w - 2. Suppose -i + 4*i = 4*v, -3*i - 27 = 5*v. Let c be r(v). Solve d + c = -d for d.
-2
Suppose -6*s - 12 + 36 = 0. Solve 0 = 3*r - 1 + s for r.
-1
Let h = 19 + -16. Suppose -h*t - t = 0. Solve -w + 3*w = t for w.
0
Let o = -8 - -14. Let i be 9/6 + 15/10. Let t = o - i. Solve 0 = r - t*r + 2 for r.
1
Let p(w) = 3*w + 2. Let f be p(-3). Let g = 10 + f. Solve g*j + 10 = 4 for j.
-2
Let d = 131 - 94. Suppose 0 = 5*m - 43 - d. Solve 4*b = -0*b + m for b.
4
Suppose 0 = -5*h + 2*u + 4, -5*h + 20 = -h + 4*u. Let w be ((-1)/h)/((-3)/18). Solve -d + 8 = w*d for d.
2
Let t = -9 + 14. Suppose -2*u = -t*u. Solve -m + u + 4 = 0 for m.
4
Suppose 5 = 5*d + 5*s, 0 = -0*s - s - 4. Solve -d = y - 2*y for y.
5
Let u(n) = n - 6. Let o be u(6). Let t(w) = 16*w. Let c be t(1). Suppose 0 = 3*q - o*q - g - c, 2*g + 4 = -q. Solve q*f + 6 = f for f.
-2
Suppose 0*f + 3*f = -15. Let k = f + 7. Solve 12 = 5*w + k for w.
2
Let w = -11 + 14. Suppose w*g - 4 = 8. Solve -g*o + 17 = -3 for o.
5
Let d be -4 - -5 - (4 + 1). Let o = d - -7. Suppose 11 = o*r - 1. Solve 0*l + 16 = -r*l for l.
-4
Suppose 2*w = -0*w + 4. Let k be (-6)/(-27) - (-32)/18. Suppose w*x - 35 = -5*m, m + 5 + 0 = k*x. Solve -5*f - 30 = -m for f.
-5
Let u = -16 - -22. Solve u*s - s = -20 for s.
-4
Suppose 19*w = 16*w + 9. Solve 0 = 5*g - w*g - 4 for g.
2
Let o be 21/6 + (-1)/2. Solve -d - o - 1 = 0 for d.
-4
Let u(k) = -k. Let s be u(-3). Solve 0 = z + s*z for z.
0
Let o(z) = z + 11. Let y be o(-10). Solve -w + y - 3 = 0 for w.
-2
Let p = 34 + -4. Suppose -5*s + p + 5 = 0. Solve -s - 13 = 4*k for k.
-5
Let g = -20 + 19. Let f(t) = -4*t**3 + t**2 - t - 1. Let q be f(g). Solve 0 = n - q + 2 for n.
3
Suppose -3*z + 0 = -6. Suppose -r + z = -4*g, -4*g + 0*g = 4*r - 8. Suppose 4*b - 3 - 9 = g. Solve 1 = n + b for n.
-2
Let n be 0 + 2 - (-4 + 1). Suppose -i = -4*z + 6*z - 8, -3*z - i + 11 = 0. Solve z*s - n*s - 6 = 0 for s.
-3
Suppose 3*p - 5*j - 9 = 0, 3*p + 4*j - 3*j - 9 = 0. Suppose 0 = p*i + i - 12. Solve i*l - 16 = 7*l for l.
-4
Let w be ((-60)/12)/(0 + -1). Solve -b - w = -2*b for b.
5
Suppose 4*z - u - 9 = 0, -4*u + 15 = 2*z - z. Solve -z*c - 3 = 6 for c.
-3
Let f be 7 - 3 - (1 + 1). Suppose -4 = 6*c - f*c. Let z be 4/(-8)*(-13 + c). Solve 2*m - 10 = z*m for m.
-2
Let o(g) = g + 4 - 2 + 0. Let s be o(-2). Solve -4*q + 0*q - 8 = s for q.
-2
Let m = 1 + -1. Suppose 5*h = s + 72, 0 = -4*h - 4*s + 30 + 42. Solve -h = -m*d - 3*d for d.
5
Suppose -3 = v - 4*v. Let y(a) = -a - 1 - v + 0. Let n be y(-4). Solve 0 = n*h + h + 6 for h.
-2
Suppose 4*t - 17 - 15 = 0. Solve -4*a + 2*a - t = 0 for a.
-4
Let o be (-3)/(-2) + 3/6. Suppose o*j = 6*j - 40. Solve -2*m + 7*m = -j for m.
-2
Let j(k) = k - 8. Let d be j(10). Solve -12 = -d*x - 2*x for x.
3
Let u = -43 - -61. Let k be 4/(-16) - u/(-8). Let d = 4 + -1. Solve -d = 5*q - k*q for q.
-1
Let g(m) = m**3 - 5*m**2 - 4*m - 4. Let o be g(5). Let u be 4/10 - o/15. Solve 0*y + u = -y for y.
-2
Let j be (1 - 1)*(-7)/14. Suppose 2*q + 2*q = 0. Solve -4*d + j*d = q for d.
0
Let g(r) = -2*r. Let a be g(5). Suppose 2*v = 4*p + v - 66, -5*p + 5*v + 75 = 0. Let z = p + a. Solve -z*x = -2*x for x.
0
Let p = 67 + -62. Solve -p*v + 3 = -4*v for v.
3
Let c be (1 + 0)*(0 + 3). Let q(n) = 3*n - 5. Let h be q(c). Solve 4*y = 5*y + h for y.
-4
Let b = -3 - 3. Let h = -