 = -y - 6 for z.
-4
Suppose 0 = -0*v + 3*v + 9. Let f(j) = j**3 + 3*j**2 - 3*j + 1. Let a be f(v). Solve -w = w - a for w.
5
Suppose -12 = -4*s - 2*s. Solve -s*x + 10 = 2 for x.
4
Let l(j) = 2*j - 4. Let t be l(4). Suppose 4*r + 5*o + 11 = 5, -7 = r + t*o. Let c be r + 4 + (-3 - -2). Solve c*x + 0*x = 4 for x.
1
Let p = -10 - -5. Let x = 7 + p. Solve 2*n = x - 4 for n.
-1
Suppose 0 = -3*c + 5*m - 25, -c + 5*m + 5 = 6*m. Solve k - 4 = -c*k for k.
4
Let b be (-5)/(15/(-36))*1. Suppose 6*p - 2*p = b. Let q be (4/6)/(1/3). Solve -p*a = -q*a for a.
0
Suppose -5*b = -2*b - 6. Solve -6 = b*t - 5*t for t.
2
Let j(d) = -d**2 + 9*d - 14. Let p be j(7). Solve 0 = -h - p*h for h.
0
Let v be 15/5 - 4/2. Let b be ((-1)/(v/(-8)))/2. Solve 7 - 3 = -b*n for n.
-1
Suppose 0 + 8 = 2*m. Suppose 17 + 8 = -m*t - 5*l, 4*t - l - 5 = 0. Suppose -10 = 5*r, 4*r - 16 = -4*b - t*b. Solve -b = 2*y + y for y.
-2
Let t be (-4)/14 + (-58)/(-7). Let w = t + -6. Solve w*x = x - 5 for x.
-5
Let s be 1/(-3) + 10/3. Suppose 8 = -2*g - s*n, -3*g - 2*n + 7 - 19 = 0. Let a = g - -6. Solve -a = -m - 3 for m.
-1
Let f be 18/(-2) - (1 - 3). Let o = f + 11. Suppose -2*u = -2*z - u + 18, -4 = u. Solve o*d + z = -1 for d.
-2
Suppose -4*f + 20 = -0. Solve -c + f - 1 = 0 for c.
4
Let k(i) = i**3 + 7*i**2 + i + 11. Let f be k(-7). Solve -f*d = -d for d.
0
Let t(i) = -i**3 + 4*i**2 - 3*i - 3. Let v be t(3). Let d = v - -4. Solve d - 7 = 3*x for x.
-2
Suppose -2*k + 5*m = 11, m = 5*m - 12. Solve -5*h + 12 = -k*h for h.
4
Let b be (3 + (-42)/10)*-5. Suppose 5*p = 4*p + 4*y + 9, 3*y + b = 0. Solve 4*o = 3*o - p for o.
-1
Let k(a) = 11*a**2 - 3*a + 2. Let g be k(1). Solve 3*n - g = -2*n for n.
2
Let g be (-6 + 4)*15/(-6). Suppose 3*c = g*c - 6. Solve l = c*l for l.
0
Suppose 12*j - 14*j + 10 = 0. Solve 0 = 5*z + j - 15 for z.
2
Let o = -12 + 33. Solve -4*a = o - 5 for a.
-4
Let h(y) = -y**3 + 3*y**2 + 3*y - 7. Let p be h(3). Solve 0 = -2*x - p*x - 20 for x.
-5
Let z be (-17)/(-2) + 28/(-8) + 4. Solve 3*y + z = -6 for y.
-5
Suppose 4*d = -2*d - 12. Let g(m) = -3*m - 2 + 2*m**2 - 3 + 3. Let q be g(d). Solve -x - q = -4*x for x.
4
Let c(j) = 4*j - 4. Let u be c(4). Solve 3*b - u = -0*b for b.
4
Let i be 7 - 1*(1 - 2). Suppose -13 - i = -3*x. Solve -x*n + 2*n - 10 = 0 for n.
-2
Suppose 0 = -b - 2*b. Suppose b = -r - r. Let d be r/(0 + -3 + 2). Solve d = 2*u - 7*u + 20 for u.
4
Let b = -7 - -10. Solve b*m - 4 = 2 for m.
2
Let x be (44/77)/(4/14). Suppose 4*a + 4 = 4*n, -3*n + 3 = -x*n. Solve -3*d - 1 = -a*d for d.
-1
Let u be (-10)/2*(-4)/10. Suppose k - u = 2. Solve 3*j = 7 - k for j.
1
Let n be ((-34)/4)/((-3)/(-18)*-3). Solve -12*f + n*f + 20 = 0 for f.
-4
Let j = 26 + -23. Solve j*s = -0*s for s.
0
Let c = 112 - 104. Solve -c + 16 = 4*v for v.
2
Let g = -76 - -78. Solve -2 = -0*h + g*h for h.
-1
Let b(v) = 2*v - 11. Let o be b(7). Solve -o*m - 2*m = 10 for m.
-2
Suppose -5*r - 6 + 41 = 0. Suppose 5*u + 0 = 15. Solve -r + 1 = -u*a for a.
2
Suppose 3*i - 7 = -5*t + 8, -3*t + 5*i - 25 = 0. Suppose u = -t*u. Suppose u = 2*f + 3*f. Solve f*w - 5*w - 20 = 0 for w.
-4
Let k be (-130)/(-26) - 4/(-2). Solve 3*b - k = -1 for b.
2
Let c = -7 - -12. Suppose 0 = -5*s + 20, 0*s - c*s = 3*t - 29. Solve 4 = -t*l + l for l.
-2
Let k be (-19)/(-6) - 2/12. Let i be (-1 + 0)/(k/(-9)). Solve 0 = i*d - 3 - 3 for d.
2
Let w be ((-12)/8)/(3/8). Let i(q) = q**2 + 4*q + 2. Let b be i(w). Solve -b*z - 4 + 2 = 0 for z.
-1
Let h be 3 - (0 + 4/(-2)). Let l be (-2 + 24/9)*6. Suppose -20 = 4*r + l*v, 5*r - v - 5 = -0*v. Solve r = 4*z - h*z for z.
0
Let w(q) = 3*q**3 - 2*q + 1. Let n be w(1). Suppose -s + n + 2 = 0. Solve 10 = s*j + 2 for j.
2
Let r be (-896)/(-63) + 4/(-18) + 1. Solve -r = 5*c - 0 for c.
-3
Suppose 0 = -3*o + 2*u + 4, -4*o + 5*u - 4*u - 3 = 0. Let h(r) = -2*r - 2. Let g be h(o). Solve -3*c + g = -5*c for c.
-1
Let i(c) = c**2 - 5*c + 3. Let d be i(5). Let f(b) = b**2 - d*b**2 - 2 - 2*b + 3*b - 2*b + 2*b**3. Let t be f(2). Solve 14 = 2*n + t for n.
5
Suppose -5*v + 2*a + 2 = -8, -5*v = 3*a - 10. Solve 0 = -v*s + 6*s for s.
0
Suppose -2*d = -4*g + 10, 25 = 4*d + 5*g - 20. Solve 4*s - d = -s for s.
1
Suppose -11*h = -4*h - 28. Solve h*y = -2 + 10 for y.
2
Let v be (1 - 0)*(-2 - -2). Solve v*i + 4*i = 4 for i.
1
Let l(p) = -4*p - 1. Let t be l(-1). Suppose 19 = 4*y - t*i, -9 + 1 = 2*y + 2*i. Solve 2*x - 7 - y = 0 for x.
4
Suppose 0 = b - 7. Let y = -4 + b. Solve x + 16 = -y*x for x.
-4
Let l(g) = g**3 + 8*g**2 - 10*g - 6. Let m be l(-9). Suppose -a - 1 = 5*s + m*a, -5*s + 2*a + 23 = 0. Suppose 2*k - 5 = -3*k. Solve 4*c = k + s for c.
1
Let x(o) = o**2 - 10*o. Let y be x(10). Solve y = 2*i + 2*i for i.
0
Let a(g) = -g**3 + g**2 + g + 2. Let k be a(2). Solve k = 5*b - 28 + 8 for b.
4
Let x be (-1 - (1 - 0))/(-1). Solve 9 = x*k + 3 for k.
3
Suppose 4*h = 6*h. Suppose -2*w + h = -8. Solve w*o - o = 3 for o.
1
Suppose 4*c - c + 9 = 0, -5*c + 45 = 5*i. Let s = -24 + 14. Let n be 1/(2 - s/(-6)). Solve -n*q - i = -0*q for q.
-4
Let k(s) = 5*s - 1. Let p(i) = 9*i - 2. Let x(w) = 5*k(w) - 3*p(w). Let j be x(-2). Solve 4*d = 3*d + j for d.
5
Suppose h + 10 = 2*g, -5*h + 0*g + 5*g = 65. Let v = h + 19. Solve -v*y - 4 = 2 for y.
-2
Let j be (8 - 6 - (-10)/(-8))*12. Solve -4*s = -j*s + 15 for s.
3
Suppose 0 = -4*b + 111 - 11. Solve 4*a = -a + b for a.
5
Let d = 56 + -51. Solve -d*a - 11 = 14 for a.
-5
Let q = 11 - 6. Suppose 0*f + q*f = 25. Let k = 1765 - 1761. Solve f = -3*y - k for y.
-3
Suppose i = 2*l + 1 + 5, 4*l = i - 8. Let s be 4/(-2)*2*l. Solve 0 = -q + s*q for q.
0
Suppose r = -2 - 0, -4*x + 38 = -3*r. Solve -12 = -x*w + 4*w for w.
3
Suppose l + 3 = 2*l. Suppose -l*t + 5*t = 0. Let h be (2 + t + -2)/2. Solve h = -2*g - 2*g for g.
0
Suppose 0 = -5*r - 0*r + 3*r. Solve r = -m - 0 - 1 for m.
-1
Let w = -1 + 2. Let d be (8 + -3)/w + -2. Solve d*q = -8 - 1 for q.
-3
Let z = 2 + 4. Suppose z*m - 48 = 3*m. Let d be 172/m - (-2)/8. Solve 3*y - d = -2 for y.
3
Let t(r) = -r + 6. Let q be t(5). Suppose -5*u - q = -16. Solve 4*b + 3 = u*b for b.
-3
Suppose 10 = -u + 3*h, -2 = h - 6. Solve -u*c + c - 4 = 0 for c.
-4
Let b(q) = -q + 6. Let x be b(3). Solve 1 + 14 = x*d for d.
5
Suppose -3*f = 2*f + 20, 2*v + 2*f = 0. Solve -18 = v*r - 2 for r.
-4
Suppose 3*f - 2*y = 22, 5*f + 2*y - 10 + 0 = 0. Suppose 2*z - f = -0. Solve z*m = m for m.
0
Let o = 28 - 25. Suppose -2*u - 4*c = 6, -o*u + 12 = -2*u - 3*c. Solve 0 = -u*p + 1 + 2 for p.
1
Let x = 10 + -7. Let f(m) = -m**3 - 6*m**2 + 7*m. Let a(b) = b**3 - 4*b**2 + b - 1. Let l be a(3). Let q be f(l). Solve q = 5*u + 28 - x for u.
-5
Let x be 6/((-72)/30)*(-8)/10. Solve -5*r + x*r + 6 = 0 for r.
2
Let u(z) = z + 3. Let g be u(-3). Solve 4 = -g*o - 4*o for o.
-1
Let k = -19 + 14. Let r be 9/(-6) + k/(-2). Solve -d = -0*d + r for d.
-1
Suppose 4*z = z + 6. Suppose -4*j + 44 = -b - 5, 2*b + z = 0. Suppose t + 2*y = -3*y + 28, 5*t + 5 = 4*y. Solve 0 = t*l + l - j for l.
3
Suppose 3*y = -0*y. Suppose 0 = s - 7 + 5. Suppose -4 + 0 = -s*q. Solve y = -q*z - 3 + 1 for z.
-1
Let s = 5 + -2. Let o(j) = 6*j**2 + j + 1. Let l be o(-1). Suppose -4*y + y = -l. Solve s = -r + y for r.
-1
Let v = 35 - 32. Solve 2*x - 1 = v for x.
2
Suppose 2*h - 6 = -0*h. Let v be (1 - (2 + 2)) + h. Solve 3*g + v*g + 6 = 0 for g.
-2
Let w(s) = s**2 + s. Suppose 4*j = -6 - 2. Let y be w(j). Solve q - 2*q - y = 0 for q.
-2
Suppose 0 = r - 2*r + 3. Let j(a) = -a**2 - 6*a - 4. Let i be j(-5). Let t be (1/2)/((-1)/(-8)). Solve 0 = r*w - i + t for w.
-1
Let t = -9 + 7. Let c = 4 + t. Solve -c = -3*h + 4*h for h.
-2
Suppose -5*g + 0*g + 25 = 0. Suppose 28 = -t - 0*v + 5*v, 4*t = -3*v + 3. Let m = t + g. Solve 0 = m*l + l - 15 for l.
5
Suppose 0 = -2*h - 8, -3*h = 2*t + 2*t - 8. Suppose -t*p + 60 = -55. Solve 8 = -3*a + p for a.
5
Let p = 40 - 34. Solve p = 3*m - m for m.
3
Suppose -2*h + 0*h = 5*o - 14, 8 = 4*h. Suppose 5*x - 15 = o*t + 3*t, -x = t - 5. Let z be x/22 - 64/(-11). Solve q + 5 = z*q for q.
1
Suppose 0*q - 72 = -4*q. Let l be 4/q - (-32)/18. Suppose -2*o = -3*z - z, -l*o - 4*z = -16. Solve -2*j = -o*j - 4 for j.
-2
Suppose 0 = -5*l + 4*p + 20, -3*l + 7 = 5*p - 5. Solve x = 3*x + l for x.
-2
Let d be -18*(-4)/32 - (-3)/4. Solve -d*t - 9 = -0*t for t.
-3
Let h = -4 + 2. Let m(c) = c**3 + 2*c**2 + 2*c + 3. Let z be 