5 = 4*z - y for z.
2
Let n = -1768 + 1776. Solve -7*u + n*u + 1 = 0 for u.
-1
Suppose -2*i + 2*h + 20 = 0, 15*h - 35 = -3*i + 19*h. Solve -10*u + 15 = -i*u for u.
3
Suppose 4*u = -3*q + 44, q = -4*q + 5*u + 85. Suppose 11*g = q*g - 10. Solve g*x - 7 = -15 for x.
-4
Let h(i) = 11*i + 198. Let f be h(-18). Suppose 3 - 12 = -3*o. Solve d = -f*d - o for d.
-3
Suppose 30 = 16*z - 6*z. Let c be (-16)/(-4) + (2 - 2). Let x = c + -4. Solve -z*i + x + 15 = 0 for i.
5
Let g = 1027 + -1017. Solve g*d - 7*d = 6 for d.
2
Suppose f - 5*t = -9*t - 12, -t - 3 = -3*f. Let n be (f + 1)/((-3)/(7 + -22)). Solve -4 = -l - n for l.
-1
Suppose 0 = 6*v + 18*v - 552. Solve 15 = 18*b - v*b for b.
-3
Suppose -43 = -3*x - 205. Let w be x/9*(-2 - -3). Let d be ((-4)/w)/(9/81). Solve 2*t = d*t for t.
0
Let q be 5/2 - -2*(-42)/(-56). Solve q = 12*h + 16 for h.
-1
Let a = 1859 + -1835. Solve a = -2*x + 10*x for x.
3
Suppose -2*d + 6 = 2*n, -4*n = -6*d + d - 3. Suppose 0 = 4*k - n*y - 6, -y + 2*y + 3 = 3*k. Suppose -2*r + 4*r - 4 = k. Solve -4 + r = b for b.
-2
Suppose -4 = 10*y - 9*y. Let s = y - -8. Solve r - 1 = -s for r.
-3
Suppose 0*c + 9*c = 18. Solve -t - c = 1 for t.
-3
Suppose 5*l = 2*z + 16, 4*z + 8 = -2*l - 0*z. Suppose -u - 11 = l*u - 4*h, 3*u = 5*h - 16. Let k = u - 1. Solve k + 1 = t for t.
3
Let k = -1 - 5. Let u be k/(-10) + 4/10. Let g(v) = -v**2 - 7*v + 5. Let q be g(-7). Solve -q + u = w for w.
-4
Suppose 2*m = -0 + 2, 22 = 5*f + 2*m. Suppose -f*w - 4 - 2 = -2*y, 4*w - 3 = -y. Suppose w = 4*s - 6*s. Solve s = -4*j - j + 10 for j.
2
Let w(a) = -a**2 + 13*a - 5. Let z be w(6). Suppose 5*m - 7 = 53. Suppose -3*d + m = -3*f, -5*d - 4*f + z - 8 = 0. Solve -d*o + 2 = -3*o for o.
1
Suppose -13 + 3 = 2*v + 4*r, -3*v - 3*r - 3 = 0. Solve -5*b - v*b - 40 = 0 for b.
-5
Suppose 2*p + 0 = -4. Let d(a) = a**3 + 3*a**2 + 2*a. Let r be d(p). Solve -4*v - 2 - 14 = r for v.
-4
Suppose -4*n = u - 18, 0 = -2*n - 3*u - 2 + 6. Solve 0 = -3*z - n - 7 for z.
-4
Suppose m - 9 = 3. Solve m*x + 4 = 13*x for x.
4
Suppose -2*f - o + 12 + 0 = 0, -2*o = 4. Let s = f + -6. Let j be 1/(2/(-20)*-2). Solve 4*n + j - s = 0 for n.
-1
Suppose -6 = 2*s - 16. Solve -t + 4 = -s*t for t.
-1
Let y be (3 - (-22)/(-4))/(5/(-30)). Solve -y*c = -12*c for c.
0
Suppose -189 + 49 = -28*t. Solve 0 = -10*w - t*w + 60 for w.
4
Suppose -5*c + 70 = -5*z + 80, -2*z = -3*c - 1. Solve -9 = c*h - 0 for h.
-3
Let t(h) = -4*h**2 - 41*h - 5. Let g be t(-10). Solve 0 = -3*d - g - 1 for d.
-2
Let f(w) = w**3 + 15*w**2 + 13*w + 35. Let j be f(-14). Let z = j - 44. Solve 4*b = z*b - 4 for b.
4
Let t(x) = -2*x + 13. Let b(o) = -4*o + 25. Let j(q) = -3*b(q) + 5*t(q). Let p be j(7). Suppose -2 + p = 2*v. Solve -y = -0 - v for y.
1
Let m = 101 - 41. Solve 17*x = 5*x - m for x.
-5
Let m(t) = -11*t**2 - 2*t + 1. Let p be m(1). Let n be (-2)/(-3) + (-16)/p. Suppose n*r - 4 = 2. Solve 0 = -4*o + r*o + 3 for o.
3
Let v(i) = -i. Let n be v(-6). Let b = n - 1. Solve -b*s - 16 = -s for s.
-4
Let n = 563 - 553. Solve n = 18*h - 20*h for h.
-5
Let m = 104 + -101. Solve -m*i + 4*i - 2 = 0 for i.
2
Let n be (3/6)/((-3)/(-6)). Let k = n - -1. Let g be 2*k + (-2)/1. Solve h - g = 3*h for h.
-1
Let y = 5 - -3. Suppose y*x + 2*x = 2*x. Solve -c - 5 = -x for c.
-5
Let h(x) = x**2 + 2*x - 2. Let y be h(-4). Solve -5 = -a - y for a.
-1
Suppose -n + 16 = -5*x, -13*x + 10*x - 10 = -n. Solve -1 + n = -2*h for h.
0
Suppose 8565*b = 8575*b - 400. Solve -b = -0*q + 8*q for q.
-5
Let f be 4/1 - (-4 - 4). Solve 0 = 5*p + p - f for p.
2
Suppose -70*g + 386 = -69*g. Solve 389*n - g*n = -12 for n.
-4
Suppose 54*i - 41*i - 78 = 0. Solve -10 = i*p - p for p.
-2
Suppose 0 = -4*u + 2*t - t + 77, 0 = u - 4*t - 8. Suppose -11*m = -10*m - u. Solve -v = 3*v + m for v.
-5
Let c(m) = m**2 + 2*m + 2. Let v be -2 + -2*(-4)/(-8). Let d be c(v). Suppose -d*x + 14 = -3*s, 5 = 3*x - 5*s - 13. Solve -a - 6 + x = 0 for a.
-5
Suppose -4*i = -2*i - 56. Let y = i - 21. Let x = y + -7. Solve x = 5*v - 8 + 23 for v.
-3
Let s be -20*((-2)/(-4))/(-1). Suppose 9*w = -11*w + 18*w + 8. Solve 2 = -w*i + s for i.
2
Suppose 0 = 3*h + 3*g - 18, -g - 39 = -4*h - 0*g. Suppose 6*o - 3 = h. Solve 2 = o*l - 2 for l.
2
Let k(u) = u**2 - 7*u + 7. Let v be k(6). Solve r + 2 + v = 0 for r.
-3
Suppose -9*z - 8*z + 0*z = 0. Solve -4*b - b - 15 = z for b.
-3
Let x(f) = -f**3 - 4*f**2 + 4. Let v(s) = -s**3 - 3*s**2 + s + 4. Let b(z) = -3*v(z) + 4*x(z). Let g be b(-7). Let u = -23 + g. Solve 0 = -u*k - 3*k for k.
0
Suppose 5*g - w + 33 - 168 = 0, 27 = g - 5*w. Let t = -21 + -4. Let n = g + t. Solve -x = -n + 6 for x.
-4
Suppose -2*t + 10 = -4*t. Let s be (t/2*54/45)/(-1). Solve -s*i - 2*i - 15 = 0 for i.
-3
Let t(f) = -2*f**3 - f**2 - 2*f - 2. Suppose -6 = 2*w + w. Let m be t(w). Let l = m + -14. Solve -4 = h - l for h.
-4
Suppose -212*f + 211*f = 0. Solve f*m = 4*m + 12 for m.
-3
Suppose -5*p = -3*p - 4. Let f = 326 + -318. Suppose -f = -6*y + p*y. Solve -2 + 4 = y*s for s.
1
Let k(s) = -s**3 - 13*s**2 - 12*s + 8. Suppose r + 2 = -10. Let n be k(r). Suppose 3*u + 20 = 5, 3*u + n = -x. Solve 4*m - x*m + 6 = 0 for m.
2
Let u(f) = 5*f + 15. Let z be u(-6). Let n = -7 - z. Let d(v) = v**3 + 8*v**2 - 21*v - 7. Let m be d(-10). Solve n - m = -5*i for i.
-1
Let h = -290 - -304. Solve 16 + 12 = -h*o for o.
-2
Let l(b) = b**2 + 7*b + 8. Let g be l(-6). Solve 7*x = 5*x + g for x.
1
Let a = -2 - -4. Suppose a*d + 8 = -2*s - d, 9 = -5*s - 2*d. Let z = 1 + s. Solve -2*r = -z*r for r.
0
Suppose -14*d = -449 - 377. Solve -75 = 4*o - d for o.
-4
Let i = 283 + -279. Solve 0*w - 4 = -i*w for w.
1
Suppose -7*m - 3 = -8*m. Let j(i) = -3*i**3 + 2*i**2 + 1. Let u be j(2). Let p be (20/u)/((-2)/12). Solve m*a - p = a for a.
4
Let c(o) = 16*o**2 - 1. Let b be c(1). Let j = 15 - b. Solve j = f - 8 + 3 for f.
5
Let m(b) = -34*b. Let u be m(0). Solve 2*a + a + 12 = u for a.
-4
Let a = -1615 + 1660. Solve -6*f + 51 = a for f.
1
Let f(r) = -4*r**2 + 2 + 4*r + 3*r**2 + 6*r**2 + r**3. Let o(s) = -6*s + 2. Let p be o(1). Let i be f(p). Solve 6*w - 5*w - i = 0 for w.
2
Let g(z) = -3*z**2 + z + 1. Let h be g(2). Let d(u) = -u**2 - 11*u - 2. Let r be d(h). Suppose -6 = 5*x - r. Solve 1 = -x*w - 7 for w.
-4
Suppose -2*c - o = -3, 2*o + 3 = -5*c + 9. Solve c*l - 4 = l for l.
-4
Let d be ((-27)/(-6) - 5)*-2. Solve 0*s - s = -d for s.
1
Let i be (1/(-2))/((-22)/308). Let w(g) = g**3 - 7*g**2 - 2*g + 19. Let f be w(i). Solve -6*z + z = -f for z.
1
Suppose -10 = -4*f - 2. Suppose -3*z + 9 = f*k, 4*z - 3*k - 2*k = 12. Let c = -5 + 10. Solve -2 = -c*q + z*q for q.
1
Let m be (-26)/4 + (-24)/(-32)*2. Let f be (-9)/15 + ((-3)/m - -1). Solve -f = w - 2 for w.
1
Suppose -72 = -5*w + 11*w. Let u be w/(-72) + 11/6. Suppose -2*k - g = -28, -u*k = -0*k + 5*g - 12. Solve 0 = -4*q - 0*q - k for q.
-4
Let p(v) = v - 40. Let o be p(22). Let y be (o/(-10) - 2) + (-78)/(-15). Solve 5 = -y*q + 20 for q.
3
Let m be 6 + (-16 - -2)*-1. Solve -11*j - m = -6*j for j.
-4
Let x(r) = -4*r - 17. Let s be x(-5). Let l = -26 + 30. Solve 7*m = s*m + l for m.
1
Suppose 22*z = 2*w + 20*z - 12, 2*z - 6 = -4*w. Solve w*f + 5 - 2 = 0 for f.
-1
Let b(d) = 2*d - 4*d - d + 18 + 2*d. Let s be b(11). Let x = s - 2. Solve -7 = 4*u + x for u.
-3
Suppose 4*v = 3*o - v + 85, 0 = -2*o - 5*v - 40. Let g = -25 - o. Let w(k) = k**3 - 4*k**2 + 4*k + 4. Let d be w(4). Solve -d = 4*q - g*q for q.
-5
Suppose 4*w + 23 = m, 0*w + 5*m - 40 = 5*w. Let t be 0*w/20*2. Solve 0 = -x - 4 - t for x.
-4
Let f(z) = z - 3*z - 1 + 3*z + z. Suppose -2*p + 10 = -4*j - 0*j, 3*j - 15 = -p. Let c be f(p). Solve -c = 5*m + 8 for m.
-5
Let r be (70/20)/((-1)/(3 - 5)). Solve 3*k + 2 + r = 0 for k.
-3
Let j(g) = -2*g + 5. Suppose 0 = 2*u - 3 - 5. Let f be j(u). Let v be -3*8/12*f. Solve 20 = v*a - 2*a for a.
5
Suppose -5*j - 30 + 50 = 0. Suppose -2*m + 27 = m. Suppose s + m = 2*s. Solve -j*w + 7*w = s for w.
3
Let v = 39 - 34. Suppose 27 = 3*t - 3. Suppose -4*q + t = 2*s, -s + 6 = -3*q + 6*q. Solve -2*b - v - s = 0 for b.
-4
Let a(m) = m**3 - 4*m**2 + 2*m + 1. Let w be a(3). Let p be ((-4)/w)/((-24)/(-36)). Suppose -p*h - 2*c = -1, -17 = -2*h + 3*c + 1. Solve -t = 4 - h for t.
-1
Suppose -67 + 11 = -8*m. Suppose t + 4*t = m*t. Solve -w + t = 5 for w.
-5
Let y(z) = -z**3 + 16*z**2 + 2*z + 25. Let g be y(16).