 Let h = 34 + -32. Solve 0 = h*y - y - x for y.
4
Suppose i + 2*y = 4*y + 18, -54 = -4*i + 2*y. Suppose 2*m - 1 = g - 2*m, 0 = 5*g - 3*m - i. Let z be -1 + g/1 - 2. Solve 6 = -z*j - 3*j for j.
-2
Let c be 4*-2*(-9)/12. Solve 0 = 2*g + g + c for g.
-2
Let k be -3 - 2/((-4)/6). Solve k = -i - i for i.
0
Let o(d) = d**2 + 2*d - 15. Let c be o(-7). Solve 0 = t - 5*t + c for t.
5
Let w be (-9)/(((-1 + -1)/(-2))/(-1)). Solve w - 17 = 4*q for q.
-2
Let p(i) = -i**3 + 2*i**2 - 5*i + 4. Let k be p(3). Let g = k - -10. Let l = -8 - g. Solve 0 = l*j - 2 - 0 for j.
1
Suppose -2 = -0*z - z. Suppose -5*a - 30 = -4*h, -z*h + 6*a - 2*a = -18. Solve -5*v = -0 + h for v.
-1
Let x be 1/((3/(-18))/(3/(-9))). Solve x*r - 1 = 5 for r.
3
Let u(f) be the first derivative of -f**2/2 - 5*f + 2. Let d be u(-8). Solve -d*x + 4 = -2 for x.
2
Suppose 2*r = -w + 10, -4*r + 2*w + 20 = w. Solve -2 = -3*h + r*h for h.
-1
Suppose 2*z = 5*r - 15, -3*r + 2*z = -3*z - 28. Solve -3*t = 4 - r for t.
-1
Let z be 8 - (3 + 2 - 2). Let r be 0/(1 - (-1 + 1)). Suppose -3*y + 4*f + 12 + 28 = 0, 75 = 3*y + 3*f. Solve -z*q - y = -r*q for q.
-4
Suppose -9 = -2*k + 13. Let j = k - 7. Solve 1 = -5*o - j for o.
-1
Let l = 50 - 50. Solve l*f + 3 = f for f.
3
Let v = -11 - -17. Suppose 1 = -2*m + 5. Suppose m*y - 6 = 4*k, 9*y - 4*y - 15 = 2*k. Solve 2*n = -k*n - v for n.
-3
Let g(n) = 2*n**2 - 7*n + 1. Let c be g(5). Solve -5*h = -c - 9 for h.
5
Let z(r) = -9*r**2 + 0 - 3 + r**3 + r + 0*r**3. Let s be z(9). Solve -s = -3*y + 9 for y.
5
Let l be (-6)/(-4)*40/6. Solve 2*v + 0*v = -l for v.
-5
Let z = 26 + -14. Suppose 5*d + z = 112. Solve x - 5*x + d = 0 for x.
5
Suppose -5*i + 2*i = 5*i. Solve -b + 2 = -i*b for b.
2
Suppose -3*y = 5*c - 9 - 10, -3*c = -3*y + 3. Suppose -3*m + c*m + 4 = 0. Suppose 3*h + 4*u - 21 = 0, 0 = -5*h + u + 2*u + 64. Solve 5 + h = -m*v for v.
-4
Suppose z + 2*z = 0. Suppose -3*u = -12, z*i + 3*i = -3*u + 27. Suppose 2*c + 2*y - 1 - 3 = 0, -3*y = -3. Solve i = -p + c for p.
-4
Let k(v) = v**3 + 2 - 1 + v - 7 + 5*v**2 - 13*v**2. Let u be k(8). Solve 5 + 5 = u*h for h.
5
Let i = 0 + 5. Suppose -29 = -i*t - 2*r + 2, -5*r - 5 = -4*t. Suppose 3*h + t*f - 18 = 0, -h - 6*f = -f - 16. Solve -q - 2 = -h for q.
-1
Suppose 3 = -5*v + 18. Solve -2*n = -5 - v for n.
4
Suppose 4*i = 4*g - 1 + 5, 5*i = -3*g + 13. Let a(h) = 2*h + 7 - 3*h**2 + 2*h**i - 8*h. Let v be a(-7). Solve v = x + x - 4 for x.
2
Let b = 34 - 24. Let r(z) = z**3 - 10*z**2 + z - 12. Let m be r(b). Let f be (-33 + 1)/m - 0. Solve 2*k = 6*k + f for k.
-4
Let y(u) = u + 13. Let j be y(-11). Suppose 5*z = 4*z + j. Solve 0 = z*x - 1 - 9 for x.
5
Let i(w) = w**2 - 7*w + 6. Let v = -7 - -13. Let j be i(v). Suppose 7 + j = c. Solve 0 = 2*p - c*p + 20 for p.
4
Let a be (0/(-3))/(3*-1). Suppose a = -2*i - i. Solve i = r + r - 8 for r.
4
Suppose 2*a + 2*p - p - 12 = 0, 16 = 4*a - 2*p. Suppose 2*f = a*l - 13 + 3, -5*l = -4*f - 20. Suppose l = -4*x + 1 + 3. Solve h = -0*h + x for h.
1
Suppose o + 3*k - 8 = 3, k = 0. Let j = -7 + o. Suppose 4*h = 12 + 12. Solve -2*x + h + j = 0 for x.
5
Let k(u) = 6*u**3 - 2*u + 1. Let m be k(1). Solve m*d = 3 + 17 for d.
4
Let l be 15/4 + (-1)/(-4). Solve -4 = -5*m + l*m for m.
4
Let g be 32/3 + 1/3. Let n = -24 + 16. Let c be 124/(-6)*12/n. Solve c = 4*r + g for r.
5
Suppose -3*k - 12 = 0, 4*k = 3*y + k - 21. Let g be (-5)/y*18/(-10). Solve g*j - 3 = 6 for j.
3
Let n(d) = -d - 1. Let j be n(-6). Suppose -8*x + 237 - 77 = 0. Solve -j*k = -k - x for k.
5
Let z(y) = -6 - 7*y + 5*y + 14 + 4. Let a be z(6). Solve b - 4*b + 9 = a for b.
3
Let o = 17 - 5. Let t be (-2*1)/(o/(-42)). Solve t + 3 = -2*g for g.
-5
Let j = 14 + -2. Solve 3*b - j = -b for b.
3
Let b = 9 + -8. Let z(i) = i**2 - 8*i + 9. Let x be z(7). Solve -b = -x*p + 9 for p.
5
Let q = 4 + -4. Let y be (q - 1)*(7 + -4). Let i(x) = -x. Let o be i(y). Solve o*l + 12 = -0*l for l.
-4
Let l be (-202)/(-8) - 4/16. Suppose -5*w = 0, l = 5*a - w + 6*w. Solve -4 - 11 = a*x for x.
-3
Suppose -4*j + 83 = -3*b, -1 = -5*b - 6. Solve 0*n - j = -5*n for n.
4
Let g(h) = -h - 8. Let k be g(0). Let r = 16 + k. Solve 0 = -3*u - 4 - r for u.
-4
Let f = 21 - 13. Suppose f - 20 = -4*v. Solve -2*w - 5 = -v for w.
-1
Suppose r + 12 = -2*d, -3*d = -2*d + 5. Let m be r/6 + (-14)/(-6). Solve m*g - 6*g = 20 for g.
-5
Suppose -n + 2 = 4*o + 2*n, o + 4*n + 6 = 0. Suppose 4*s - 2*p = 8*s + 8, 0 = -o*s - 3*p - 12. Solve s = -x + 1 for x.
1
Let u(q) = q**3 + 9*q**2 - 12*q - 13. Let b be u(-10). Suppose 3 = -4*n + b. Solve l = -5 + n for l.
-4
Let w(c) = -c**3 + 24*c**2 + 24*c + 26. Let v be w(25). Solve -4*i = -3*i + v for i.
-1
Suppose 5*f = p - 16, p - 7 - 9 = 2*f. Solve p = 2*y + 2*y for y.
4
Suppose -2*o = -5 - 13. Let c = -5 + o. Solve c*a + a - 15 = 0 for a.
3
Let f = -9 + 16. Let k be 56/16*8/f. Suppose -2 = -n, 3*n + 1 = b + n. Solve -k = b*t - 29 for t.
5
Suppose 0 = -2*s - 3*u + 40 + 13, -4*u - 54 = -3*s. Suppose 3*p = 5*f - s, 3*f = -5*p + 5 - 19. Solve f*v = -v + 6 for v.
2
Let b be 6/4 + 85/(-10). Let d be 28/6*(1 + 2). Let h = d - b. Solve 0 = -5*v - h + 6 for v.
-3
Let z = 115 + -111. Solve z = -3*t + 16 for t.
4
Let g = 3 - 10. Let j = 12 + g. Solve -m = -2*m - j for m.
-5
Let x = 14 + -13. Solve -v + 0 - x = 0 for v.
-1
Let a = -32 + 35. Solve -3*s = -a - 0 for s.
1
Suppose -5*z - 4 = -n, 0*n - 4 = -n + 2*z. Solve n*r + r - 10 = 0 for r.
2
Let i(z) = -z**3 + 10*z**2 + 6*z + 3. Let b(k) = k**3 - 11*k**2 - 5*k - 4. Let h(v) = 3*b(v) + 4*i(v). Let r be h(8). Solve -r - 4 = -4*n for n.
3
Suppose -3*s + 36 = 4*y, -2*s + 46 = 4*y + 10. Let h = y + -5. Solve 0*d = -h*d for d.
0
Suppose 2*f - 11 = -w, 2*f - 6*f + 4*w = -4. Solve 2*x = f*x for x.
0
Let y = 5 - 2. Suppose -2 + 3 = u. Let j = u - -1. Solve -j*i - 1 = y for i.
-2
Let c = -1 - -4. Solve c = -2*k - k for k.
-1
Let y(w) = 3*w**3 + 2*w**2 - 1. Let t be y(1). Solve t*s = -s for s.
0
Suppose -4*l + 11 + 1 = 0. Let x = 1 + l. Solve -x = 3*n - 2*n for n.
-4
Let b(z) = -z**2 - 8*z - 6. Suppose -g + 2*g = -6. Let l be b(g). Solve l*f - 15 = f for f.
3
Let d(t) = t**2 - t + 1. Let g be d(2). Let q(s) = 3*s**2 + 7*s + 2. Let h be q(-6). Let w be 8/28 - h/(-7). Solve 1 - w = g*f for f.
-3
Let x(q) = 5*q**3 + 4*q**2 - 2*q. Let y(g) = g**3 + g**2. Let r = -16 + 10. Let z(c) = r*y(c) + x(c). Let u be z(-2). Solve 16 = 4*v - u for v.
5
Let g be (-202)/18 + (-6)/(-27). Let n = 27 + g. Solve 5*x - x - n = 0 for x.
4
Let y(g) = -g**3 + 4*g**2 + 4*g + 7. Let t be -5*(1 - 6/3). Let z be y(t). Let u be z/(-8) + 52/16. Solve 2*b + 15 = -u*b for b.
-3
Let x be (-1)/1 - (-3 - 1). Let y(g) = 4*g. Let c be y(1). Suppose c = -t - t, -5*t + 50 = 4*n. Solve -x + n = -3*a for a.
-4
Let w(v) = -v**2 + 10*v - 13. Let y be w(8). Solve 0*b = -y*b + 12 for b.
4
Suppose 2*a - 11 = 2*y - y, 4*a - 5*y - 37 = 0. Let b(f) = f**2 - 2*f + 2. Let q be b(a). Solve q = -4*z - 3 for z.
-2
Suppose 5*j - 44 = -p, -2*p + p = 4*j - 35. Let c be ((-2)/2)/(j/(-126)). Solve 5*t - c = 1 for t.
3
Let n be 3 + (-4 + 4 - -3). Let k = 6 - 2. Suppose -5*s + a = 5*a - k, -24 = -4*s + 2*a. Solve 0 = -s*t + 2*t + n for t.
3
Let u = 45 - 42. Let t(o) = o**2 + 4*o - 2. Let v be t(-4). Let c = v - -2. Solve -4*b + u*b = c for b.
0
Suppose -5*c + 2*c + 9 = 0. Solve -3 - c = -2*j for j.
3
Suppose -c = -3*k + 17, -8 = -5*c + 3*c. Solve k*g = 4*g for g.
0
Suppose 1 = 3*k - 2, -2*j - 16 = -4*k. Let q(n) = -n - 3. Let v be q(j). Solve 0 = v*b - b for b.
0
Suppose 5*b - 6 = 3*b. Solve 4 = -2*z + b*z for z.
4
Suppose h = 2*h - 10. Let y = 15 - h. Let q be 3/9 + (-104)/(-12). Solve -1 - q = y*j for j.
-2
Let y(c) = c**2 + 5*c - 7. Let w be y(2). Solve -15 = 2*j - w*j for j.
3
Suppose i - 64 = -5*y + 3*i, 2*i + 22 = 2*y. Let c be (-16)/y*(-42)/12. Solve a - c*a = -12 for a.
4
Let s(n) = -n**3 + 3*n**2 + 7*n - 12. Let a be s(4). Solve -2*z - 13 + 3 = a for z.
-5
Let h be -4 + 7 + -1 + 2. Suppose h*a = 5*r - 0*r - 32, 0 = -r - 4*a - 8. Let c be (-3 + 2/2)*-10. Solve 0 = -r*m - m + c for m.
4
Let q(v) = -v**2 - 6*v - 1. Suppose 3*c = 3*j + 24, c - 8 = 2*j + 5. Let h be q(j). Solve h*u = 2*u + 6 for u.
3
Suppose -4*o = -b - 2*b + 18, 0 = 3*b + 5*o + 9. Let y be -10*(-1)/2 + -1. Let w be 0/b + (y - 0). Solve 6 = w*p - 2 for p.
2
Let u(m) = m**2 + 10*m - 3. Let x be u(-10). Let i(