-5*h - 5*s, -3 = -d*s + 7. Solve 0 = -z + 6*z + h for z.
-2
Let w(f) = -f**2 - 6*f - 2. Let o be w(-5). Suppose 0 = -o*l - 0*l. Solve l*k - k = -1 for k.
1
Let p be (-329)/(-63) + (-2)/9. Suppose -3*w = -p*w. Solve w = -g + 1 - 6 for g.
-5
Suppose 0 = -3*u + q + 4, 10 = 2*u + 3*q - 0*q. Suppose f = -u*f. Let b be (6 - 2) + 0/(-1). Solve f = -b*m + 12 + 8 for m.
5
Let b = 3 - -8. Let y = 23 - b. Solve 2*d + y = 2 for d.
-5
Let v = 1 + -1. Suppose v*z = -4*z + 36. Solve 0 = 5*r - 2*r - z for r.
3
Let m = 12 - 9. Solve u + 8 = -m*u for u.
-2
Let z(o) = o - 1. Let v be 20/5 - (1 - 2). Suppose 0*j = -j + v. Let n be z(j). Solve 4 = -n*w - 0 for w.
-1
Suppose 0*i + 2*i + 4 = 0. Let g be i/3 - 12/9. Let p = -2 - g. Solve p = s - 0 - 4 for s.
4
Let n(h) = h - 4. Let c = 10 - 6. Let x be n(c). Solve -2*i + 8 = -x*i for i.
4
Suppose -4*u = -2*h - 26, -28 = -4*u + 5*h - h. Let n be (-16)/(-10) - (-8)/20. Suppose 3*b - b - 4*y - 12 = 0, 5*y = -n*b + 3. Solve u + b = 2*r for r.
5
Let u = 8 + -3. Let j(n) = 3*n - 1. Let i be j(1). Solve -w = -i*w - u for w.
-5
Let d be (-3)/1*(-5)/(-5). Let u = d - -3. Solve u = -2*r - 0*r + 10 for r.
5
Suppose 40 = -3*l + 7*l. Let h(a) = a**3 - a**2 + 3. Suppose -3*p = -2*p. Let z be h(p). Solve -q = -z*q + l for q.
5
Suppose -7*x - 12 = -9*x. Solve -z = -x*z - 10 for z.
-2
Suppose -3*t - 3*b = -9, 0 = -2*t - t + 5*b + 17. Let o be 6/t*10/3. Let k(n) = -n**2 - 9*n - 6. Let i be k(-6). Solve o*j + 2 - i = 0 for j.
2
Let r be (((-40)/(-4))/(-1))/(-1). Solve 3*u + 2*u = r for u.
2
Let f(k) = -k + 21. Let c be f(0). Let n = c - 6. Solve -6*g + g = -n for g.
3
Let j be 1*2 - (-2 + 4). Let y(f) = 2*f - 5. Let x be y(5). Suppose 0 = -3*i + x*n + 32, 2*i - 3*n - 11 - 9 = j. Solve -6 = -i*g - 2 for g.
1
Let w(s) = -s**2 - 2*s - 9. Let f(b) = -2*b**2 - 4*b - 19. Let k(j) = 6*f(j) - 13*w(j). Let q be k(-2). Solve -2*i = -q*i for i.
0
Let n(q) = -q + 3. Let r be n(-7). Let h = -1 + 1. Let y = h - 0. Solve y = 4*b - 2*b - r for b.
5
Suppose -3*y + 9*y = 18. Solve -3*p - y = 3 for p.
-2
Let n(t) = -t**3 + 6*t**2 - 4*t + 15. Let w be n(5). Solve 3*c = -2*c + w for c.
4
Let x(u) = -u**2 + 1. Let v be 3/(-6)*(1 + 1). Let l be (v - -1 - 1)*1. Let k be x(l). Solve g + k = 3 for g.
3
Let b(n) = -n + 5. Let t be b(3). Solve t*g = 5*g - 15 for g.
5
Suppose 0 = 2*u - 5*w + 7, 3*u + 0*w = -5*w + 2. Let s = u - -4. Let v be ((-54)/12)/((-3)/4). Solve -v*m = -s*m for m.
0
Suppose 0 = -4*j + 3*r + 3 - 18, -2*r + 10 = 5*j. Solve 10 = -5*l - j*l for l.
-2
Let z = 29 + -41. Let n = -1 + 17. Let m be 3/z + 100/n. Solve -g = -m*g - 25 for g.
-5
Let n be 7/3*3 - 2. Let t = n + -2. Suppose 3*a = 5*b - 15 - 1, t*b = 5*a. Solve -b*d = -2*d for d.
0
Let y be 2/5 + (-26)/(-10). Solve z = -y*z for z.
0
Let j be ((-24)/(-60))/(-2 - (-22)/10). Solve 0*g = -j*g + 4 for g.
2
Suppose 4*l - 56 = 2*l. Let q = l + -13. Solve -2*w - q = 3*w for w.
-3
Let k be (-6)/(-21) + 10/14. Let j be -7 - -10 - (k - 3). Solve -j*h = -10 - 0 for h.
2
Let o(v) = 6*v - 1. Let j be o(-1). Let n = j + 7. Solve n = 5*d - 4 - 16 for d.
4
Let z = -1 - -5. Suppose 4*c + 4*a - 4 = 0, 0*a + 9 = z*c - a. Solve -r - 3 = -c for r.
-1
Let u(t) = t**2 + t + 8. Let p be u(0). Let h(d) = -d**2 + 8*d + 3. Let v be h(p). Solve 12 = -5*z - v for z.
-3
Let t(w) = -w**3 - 3*w**2 + 3*w + 2. Let a be t(-4). Let m be 2/a + (-10)/(-6). Suppose -2*b = -2, m*d + b = -0*b + 51. Solve 0*h - d = 5*h for h.
-5
Let r = 2 + 6. Let b(j) = -2*j + 16. Let s be b(r). Solve s = 4*m - 2 + 6 for m.
-1
Let b(d) = -8*d - 1. Let r be b(2). Let l(v) = v**3 + 7*v**2 + 7*v - 5. Let m be l(-6). Let k = m - r. Solve -4*c = -k*c for c.
0
Let g be 1*(1 + -1)*-1. Solve 5*a = 5 - g for a.
1
Let a(w) = 2*w + 2. Let b be a(3). Solve b + 1 = -3*i for i.
-3
Suppose -4 = 5*z - 6*z. Suppose -3*n + 45 = 4*p, -p - z*p + 37 = 2*n. Solve 0 = 3*y + 4 + n for y.
-5
Let s = 21 + -14. Let h = s - 4. Suppose 9 = 3*q, -5*v - q = 1 - 4. Solve v = -0*b - h*b - 15 for b.
-5
Let y(p) = -p**2 + p + 1. Let j be y(1). Let u = j + 2. Solve -u + 11 = 2*z for z.
4
Let i = -21 + 2. Let m = i + 24. Solve -m*x - 13 = -38 for x.
5
Let z = -9 + 10. Solve 2*u - z - 5 = 0 for u.
3
Suppose 2*h + 3*z = 6, 0*z = h + 2*z - 4. Suppose h = -3*a + 7*a - 20. Solve 0 = a*y - 33 + 8 for y.
5
Let o be -2 + 5/(0 - -1). Solve 0*c + o*c = 0 for c.
0
Let v(d) = d**2 - 5*d - 7. Let h be v(5). Let f = h - -7. Solve f = -x - 7 + 3 for x.
-4
Suppose 2 = -7*w + 8*w. Solve -l - w = 1 for l.
-3
Let g(o) = o + 4. Let f = 2 + -2. Let j be g(f). Let u be 2/(-11) + (-666)/(-33). Solve -u = 8*a - j*a for a.
-5
Let h = 4 + -8. Let s be 2 - (-2)/h*-10. Solve s = -4*l - 5 for l.
-3
Let o = -4 + 7. Let d be 1/(-3) - (-48)/9. Let q be -2 + d/(15/18). Solve -o = v - q*v for v.
1
Let c(o) = -o**3 - 2*o**2 + o. Let y = -3 + 0. Let a be c(y). Suppose 3*b = a - 0. Solve 3*j + b = j for j.
-1
Let j = 14 - 9. Suppose -j*l - o + 22 = -4*o, 0 = -2*l - 3*o - 8. Solve 0 = -l*p + 6*p for p.
0
Let j(h) = 3*h**2 - 2*h - 1. Let k be j(3). Suppose 4*z = -0*z + k. Solve -z*r + 2*r = 3 for r.
-1
Let w = -12 - -14. Solve -s - w*s = 9 for s.
-3
Suppose -2*i - 10 = 4*m - 0*i, 0 = m - i - 5. Let k = 3 - m. Solve -4*l = -l - k for l.
1
Suppose 80 = -6*a + 14*a. Solve -4 + a = 3*r for r.
2
Let n(g) = -g**3 + 5*g**2 + 7. Let s be n(5). Let l = s - -3. Solve -4*v + l = -6 for v.
4
Let t(x) = -6*x - 4. Let l be t(-1). Solve l*s + 8 = -2 for s.
-5
Suppose 2*j - 53 = -53. Solve -4 = -j*x - x for x.
4
Let c be (-4)/(-6)*1*9. Suppose 0 = -k - 2 + c. Suppose r - 26 = -4*m + 22, -5*m + 60 = 2*r. Solve m = -k*h + 4 for h.
-2
Let o(h) = -h - 5. Let u be o(-8). Suppose -6*q - 4*x + 28 = -4*q, 3*x = u*q - 33. Solve -8 = 4*v + q for v.
-5
Let q be (-1)/(-2) + 33/2. Let i = -10 + q. Let y = 9 - 9. Solve y = 3*u + i + 5 for u.
-4
Suppose 0*c + c = -4. Let p be -5*(c - (-5 - -2)). Solve -6 = -p*w - 1 for w.
1
Let y be 1 + (3 - 6) + 3. Suppose y + 7 = 5*w - s, 4*s = 4*w. Suppose -2*f - 5 = -9. Solve -2 = -w*o + f for o.
2
Let d = -56 + 68. Solve 0 = 6*p - 0*p + d for p.
-2
Let m(p) = 2*p + 3. Let y be m(3). Suppose -3*q + y = 5*o + q, o + 4*q = 5. Let j be 1*(-15)/(-3)*o. Solve -j*h - 5 = -20 for h.
3
Let p = -5 - -15. Let u = p - 5. Suppose 10 = u*j - 0. Solve 0 = j*d - 3*d - 2 for d.
-2
Suppose 3*q - c - 6 = 2*c, -q = -4*c + 10. Solve 0 = m - q*m + 5 for m.
1
Suppose g - 3*g = -16. Suppose -4*m - 4*a - g = 0, 0 = -3*m + m - 5*a - 16. Suppose 0 = -m*c - c + 48. Solve 6 = 5*q + c for q.
-2
Suppose r + 0 - 3 = 0. Suppose 0 = -6*s + r*s + 6. Suppose -3*y - y = -4*p - 8, 0 = -3*p - 5*y + 10. Solve p = 3*f + s*f - 10 for f.
2
Let x be -7 - (-5)/(10/4). Let m(p) = p**3 + 4*p**2 - 6*p - 3. Let z be m(x). Let t(c) = -c**2 - 9*c - 10. Let k be t(-7). Solve k*n = -10 - z for n.
-3
Let t(u) = u**3 - 8*u**2 + 8*u - 7. Let m be t(7). Suppose 5*w + 24 - 74 = m. Solve 4*b + w = 2*b for b.
-5
Let z be (-9)/((-27)/2)*12. Solve 0*c - 4*c + z = 0 for c.
2
Let w(i) = i**3 + 2*i**2 - 2*i + 1. Let h be w(1). Suppose -3*q - h + 8 = 0. Suppose -u + 14 = 5*s, 0 = -4*s - u + q + 9. Solve -8*k - 5 = -s*k for k.
-1
Suppose 18*z - 22*z = -8. Solve -4*h = -z*h - 2 for h.
1
Suppose 44 = -4*m - 56. Let h = -15 - m. Solve 5*x - 15 = h for x.
5
Let h(r) = -r**3 - 2*r**2 + 2*r + 3. Let p be h(0). Solve p*s + 9 = 3 for s.
-2
Let j be (3 + 0)*2*1. Suppose -15 = 2*k - 15. Solve 2*s + 0*s + j = k for s.
-3
Let i be ((-10)/5)/(4/(-150)). Let b = 54 - i. Let g be (0 + b/(-12))*4. Solve 25 = -2*w + g*w for w.
5
Let d(v) = 13*v + 1. Let i be d(1). Suppose 4*j = 5*b - i, -j = -3*b + 5 + 2. Solve -2*f - 8 - b = 0 for f.
-5
Let k be 33/55*(-25)/(-1). Solve -k = 3*o + 2*o for o.
-3
Let l(o) = o**2 - 5*o - 10. Suppose -21 = -d - 2*d. Let a be l(d). Solve -5*v = -v - a for v.
1
Let m(s) = -2*s**2 + 4*s + 1 + 3*s**2 + 0*s**2 + 2. Let z be m(-3). Solve -2*n - 2 - 6 = z for n.
-4
Let c(z) = z - 1. Suppose -2*g = -3*d - 0*d - 5, 0 = g + 4*d - 19. Let b be c(g). Solve b*t + 12 = 3*t for t.
-4
Suppose -3*j + g + 19 = -0*g, -5*g = 5. Suppose 0 = -j*b + 4*b. Solve b = 6*v - 5*v + 5 for v.
-5
Suppose -37*n + 21 = -30*n. Solve 5*r - n*r = 0 for r.
0
Suppose 2*z - z = 9. Let o be 4/(-1 + (2 - 0)). Suppose z*w = o*w + 20. Solve 6 - 2 = -w*s for s.
-1
Let h(s) = 7*s + 7*s + 18 - 13*s. Let j be h