 -o for z.
3
Let s = -2 + 2. Suppose 4*f + s*f = 0. Solve -q + f*q - 2 = 0 for q.
-2
Suppose -4*g = -0*g - 20. Solve -29 = g*f - 4 for f.
-5
Suppose -2*x - m + 50 = 3*m, -4*x + 100 = 4*m. Solve 5*n - x = -0*n for n.
5
Let n = -5 - -7. Suppose 0 = x + 6 - 8. Solve -x*t + 12 = n*t for t.
3
Let f(w) = w**3. Let n be f(0). Suppose -5*g - 6*h + 5*h + 320 = 0, -335 = -5*g + 2*h. Suppose -r + 6*r + 61 = 3*p, r + g = 5*p. Solve p + n = 4*j for j.
3
Suppose d - 13 = -8*i + 4*i, -3*d - 4*i + 23 = 0. Suppose 0 = 21*s - 20*s - 20. Suppose -s = -r - l - 2*l, -l = -3*r + 60. Solve -d*h + 10*h - r = 0 for h.
4
Let z be -3*(-6 - -1 - -2). Suppose 2*t + 2*p = p + 5, t - 3*p - 6 = 0. Solve 2*x = z - t for x.
3
Suppose 4*l - q = 3, -5*l = -0*q + 2*q + 6. Solve -d = -l*d for d.
0
Let b(g) = 3*g - 5. Let o be b(3). Solve -3*f + 3 = -o*f for f.
-3
Let u = 0 - -30. Suppose -4*m + 5*t = 7 - u, -5*m = -5*t - 25. Solve -m*j + 3*j = 2 for j.
2
Let b = 0 - -2. Suppose -j - b*j = 0. Let v = 11 - 7. Solve v*u + j - 4 = 0 for u.
1
Suppose -30 + 2 = -4*l. Let f(j) = j**2 + 4*j - 2. Let m be f(-5). Suppose 0 = -l*p + m*p. Solve -2*b + 2 = -p*b for b.
1
Suppose 0 = -y + 7 - 2. Let b(c) = c + 12. Let k be b(-12). Suppose y*s + k = 20. Solve 0 = s*o - 0*o + 16 for o.
-4
Let b = 2 + 1. Suppose b*l = l. Solve l*r = -r for r.
0
Let k(z) = -2*z - 14. Let a be k(-11). Let q be ((-12)/a + 1)*-4. Solve -q*j = -7*j - 25 for j.
-5
Let l = -10 + 12. Let y(a) = a**3 - a**2 + 2*a - 1. Let i be y(1). Let w = i + l. Solve j - w*j = 4 for j.
-2
Let v be ((-3)/2)/(12/(-16)). Suppose v*n = 7*n - 125. Solve 4*h = -9 + n for h.
4
Let s(y) = -2*y + 10. Let f be s(5). Let i be (2/(-2) - f) + 1. Solve i = 3*w + 5 + 10 for w.
-5
Let v = 4 - 3. Let o = 1 + v. Solve -m = m - o for m.
1
Let m(v) = -v**3 + 8*v**2 - 6*v - 4. Let c = 17 + -33. Let l = c + 23. Let y be m(l). Solve -2*u = y + 1 for u.
-2
Suppose 5*d = 2*d + 21. Suppose 2*y + 2*k - d = 3*y, -y = 4*k - 23. Solve -2*l + y*l = 0 for l.
0
Suppose 10*h - 15 = 5*h. Solve -2*o - h = 1 for o.
-2
Let u = 5 + -3. Let n be (u/(-4))/((-3)/18). Suppose 4*m = n*m. Solve m = -2*h + h for h.
0
Suppose -2*d = 1 - 19. Let x be (-46)/(-8) - d/12. Solve 0 = -3*j - 1 - x for j.
-2
Let p = 7 + -5. Let n = 26 - 25. Solve n = k + p for k.
-1
Let n(m) = m - 10. Let c be n(15). Let k(s) = -s**2 + 10*s + 1. Let w be k(5). Suppose 2*t = -4*b + 32, -4 + 1 = 2*t - 3*b. Solve c*p = -t + w for p.
4
Let v = 4 - -3. Let o(d) = d**3 - 6*d**2 - 6*d - 2. Let k be o(v). Solve -k = 3*a - 2 for a.
-1
Suppose 0*m = 5*m + 10. Let w(v) = -3*v - 2. Let q be w(m). Solve -o = q*o for o.
0
Let s(f) = -f**2 - 8*f - 2. Let j be s(-7). Let m(n) = -n**3 + n**2 + 4*n + 4. Let t be m(-3). Solve -t = j*a - 8 for a.
-4
Let b be 2/(-4) + 2/4. Suppose -5*z + 12 = -8. Suppose -2*x = 4, -5*n - 5*x = -3*n + z. Solve -n*d - d + 20 = b for d.
5
Suppose -v = -5*u - 20, 9 = 3*u + 4*v - 2. Let c be 0*u*2/(-24). Solve 5*m - 2*m - 9 = c for m.
3
Let f(h) = -h - 1. Suppose 0*i - 15 = -i. Let v be 2/5 + (-96)/i. Let o be f(v). Solve -o*m - 9 = 16 for m.
-5
Suppose 0 = y - 5*y. Suppose y*w = -w. Suppose 4*s - 10 = -s. Solve w = -s*c - 0*c + 2 for c.
1
Suppose 17 = 4*y - 3*x + 2, 13 = 4*y - x. Solve y*c + 8 = -c for c.
-2
Suppose 2*h - 3*d = 13, 5*h - 3*d = 1 + 27. Solve 0*u - 25 = -h*u for u.
5
Let o = 11 - 6. Solve o = -q - 0*q for q.
-5
Suppose 51 = 2*x + p, -5*x + 163 - 34 = 4*p. Suppose 4*q + 2*u = 7*u + 28, 3*u = -12. Solve 3*v + q*v = -x for v.
-5
Let y(k) = 3*k**2 + 2*k - 1. Let n be y(1). Suppose c - 2 = -n. Let p be 114/27 - c/(-9). Solve p*r + 4 = -0 for r.
-1
Let c = 14 - 22. Let p be 305/20 - (-2)/c. Solve -m = 2*m + p for m.
-5
Suppose -2*j + 4*j = -3*i + 17, -i = 5*j - 36. Suppose -2*a + 5*y = -39, 3*a + 0*y + 2*y = 30. Let u = a - j. Solve -2*v - u = -3 for v.
-1
Suppose -m = 6 + 5. Let d = -8 - m. Suppose -r = -0*r. Solve -d = -a - r*a for a.
3
Let o(s) = -s + 4. Let u be o(0). Suppose u*k + 3*z = 57, -5*k + 0*k + 72 = 4*z. Suppose -4*b = -2*b - k. Solve 5*t - b = 2*t for t.
2
Suppose -3*d + 20 = d. Solve 4*c + d = -15 for c.
-5
Suppose -5*f = -3*h - 27, -31 + 11 = 5*h. Let y(b) = b - 3. Let o be y(f). Suppose -a + 1 + 7 = o. Solve a + 2 = -5*c for c.
-2
Let g = -1 - -5. Suppose 12 = -g*p + 4*r, 0 = -2*p - 2*r - 1 - 1. Let a be p/2 - (-13)/1. Solve -2*o - o = a for o.
-4
Let a = 12 - 4. Suppose 0 = n - 5*m - 13, -2*n = -2*m - 18 + a. Solve -n*b + 4*b - 5 = 0 for b.
5
Suppose 4*z - 7*z + v + 10 = 0, 3*z + 3*v - 30 = 0. Suppose -f + z*f + 20 = 0. Let w be 6/f*(-10)/3. Solve w*x = 2*x for x.
0
Suppose 2*o - 3 - 9 = -4*c, 11 = 3*c + 2*o. Solve -2 + c = y for y.
-1
Let z(a) = -2*a - 13. Let k(h) = h**3 - h**2 + h - 10. Let u be k(0). Let y be z(u). Solve -2*f - 17 = -y for f.
-5
Let t = 71 - 51. Solve 2*d = 7*d - t for d.
4
Suppose 0 = -h + 3*r + 10, r + r - 30 = -3*h. Let l be 1/5 + 18/h. Suppose 5*a - 16 = 3*a - 3*q, -4*q + 18 = l*a. Solve a*b - 1 = -6 for b.
-1
Suppose 7*x - 3*x - 5 = -5*u, 2*x = u - 15. Solve -u*s - 9 = 1 for s.
-2
Let b(z) = z**3 + 5*z**2 + 6. Let f be b(-5). Solve -2*n = -5*n - f for n.
-2
Suppose -2*t + 39 = 13. Suppose -5*u = 2*d - t, -2*d + u + 28 = d. Solve 0 = -c + 4*c - d for c.
3
Let f be ((-6)/(-2))/(2/4 - -1). Solve 4*l = f*l + 2 for l.
1
Let q be (14/8 - 2)/(9/(-72)). Solve -9*k - q = -8*k for k.
-2
Let f be (24/(-14))/(10/(-35)). Solve -2*s - 4 + f = 0 for s.
1
Suppose 9 = -4*z - 11. Suppose -h = -10 + 25. Let k be ((-24)/h)/((-1)/z). Solve -d + k = 3*d for d.
2
Suppose 0*g - 3*g = 0. Solve g = n - 4 + 3 for n.
1
Let h = 0 - 0. Let p(m) = m**3 - 12*m**2 + 11*m + 5. Let s be p(11). Suppose -s*u + h*u = -15. Solve u*n = -0*n - 12 for n.
-4
Suppose j - 5 + 18 = -c, 5*c = -j - 73. Let h = 11 + c. Let b(t) = -t**2 - 4*t + 4. Let q be b(h). Solve q = -k + 5*k for k.
1
Let l(q) = -q**3 - 8*q**2 - q - 9. Let w be l(-8). Let a be (w/2 + 2)*2. Solve -23 = 5*p - a for p.
-4
Suppose 6 + 0 = 4*y - 2*b, -2*b = -10. Suppose 5*k + j + 3*j = 91, y*k - j - 56 = 0. Solve -4*n = n + k for n.
-3
Let n(q) = 9*q - 1. Let m be n(-1). Let y be (-34)/m - 9/(-15). Solve 5*g = y*g + 1 for g.
1
Let h be (-9)/5*(-10)/6. Let y be (-8)/(-2) + -1 + 0. Suppose y*b - 2*b - 5 = 4*d, -b = -3*d - 5. Solve -h = q - d for q.
-3
Let y(a) = -13*a - 1. Let t be y(-1). Suppose -2*f + f - 5 = -5*h, 2*f = -h + t. Solve z = -0*z - f for z.
-5
Let h(r) = -r**3 - 3*r**2 + 2*r - 8. Let i be h(-4). Solve -6*z + 9*z = i for z.
0
Suppose 0 = 2*h - 16 - 0. Suppose -4*d = 3*b - 5, -4*d + 2*d = -2*b + h. Suppose -4*f = -5*q - 17, -6*q = -b*q + 3. Solve 4 = f*j - 2 for j.
2
Let o = 10 + -7. Let x be 2/(-6) - (-91)/o. Suppose 2*n - x = -2*m - m, 5*n - 64 = -2*m. Solve -2*w + 4 - n = 0 for w.
-4
Suppose 5*d = -5*u + 2*u + 1, -5*u = 15. Let q be (-14)/4*(-6)/(-3). Let h = -6 - q. Solve -3*x + d = -h for x.
1
Let y(t) = 2*t - 6. Let l be y(6). Suppose 0*m + l = 3*m. Solve 0 = -k + m for k.
2
Let t(y) = -5*y**2 + 7*y - 2 + y**3 + 9*y**2 + 3*y**2 + 2*y. Let q be t(-5). Solve 11 - q = 4*x for x.
2
Suppose -22 = 3*m - 4. Let f = m - -9. Solve 1 = 4*y - f*y for y.
1
Suppose h = -h + 8. Solve -8 = -2*q + h*q for q.
-4
Let b be (-90)/(-12)*2/3. Solve -4*p + 5*p = -b for p.
-5
Suppose -c - c = 5*x + 24, -5*c + 4*x - 27 = 0. Let n = c - -5. Let m be 0 - (-22)/n*-1. Solve m = -5*h + 1 for h.
-2
Let w = 29 + -26. Solve -i + 0*i = w for i.
-3
Let x be 30/20*(2 + 0). Suppose x*p - 2 = 4. Let f be -15*(12/(-5) + p). Solve -f*n + 4 = -4*n for n.
2
Suppose -9 = j + 3*u, 5*j + 2 = -3*u - 31. Let v(r) = r**3 + 5*r**2 - 6*r + 4. Let t be v(j). Solve -1 = s - t for s.
3
Let u(f) = f**2 - 5*f + 4. Let k be u(5). Suppose -2*w + 4 = -k. Solve -w*t + 0*t = 16 for t.
-4
Suppose -4*h = -5*q + 17 + 9, 15 = 2*q + 3*h. Suppose 10 = 2*s + d, 10 = 4*s - 4*d + 2. Suppose 1 - 4 = -3*m, -c = 4*m - s. Solve c*g = -2*g + q for g.
3
Suppose 18 - 2 = 2*v. Let i = -6 + v. Solve -i = -2*q + 4*q for q.
-1
Let n = 9 - 5. Solve 2 - n = 2*o for o.
-1
Let f(o) = -o**3 - 5*o**2 - 2*o - 1. Let v be f(-5). Let s be 2/(-6) - (-39)/v. Let b = s - 3. Solve -b - 2 = -m for m.
3
Let s be -2 - (-1 - (9 + -6)). Solve -s - 1 = -3*f for f.
1
Suppose 21 = 2*b - 19. Let s be (-12)/(-15)*(-5)/(-2). Solve 0 = -6*d + s*d + b for d.
5
Let v = 52 + -32. Solve 5*q - v = 5 for q.
5
Let z