4*k for y.
-1
Let h(r) = 61*r - 729. Let o be h(12). Solve -5*q - o*z - 2*z = 30, -q = -2*z - 3 for q.
-3
Suppose 0 = 4*r + 20, 4*a - 5*r = -3*r + 74. Suppose 5*u - 29 = -2*p, -4*u + a = 5*p - 14. Solve 5*v - b - 14 = -3*b, 2*v + p*b = 8 for v.
2
Suppose 4*m = 4*g + 48, m - 12 = g - m. Let z be (g/(-28))/((-3)/(-21)). Solve 0*x - 3*x + z*w = 3, 2*x + w = -14 for x.
-5
Let h be (-8 - 1) + (9 - (6 - 11)). Let v be 1 - 4/1*-1. Solve u - 19 = v*z, h*z + 8 = 2*z + 4*u for z.
-4
Let k(u) = -u + 12. Let d be k(10). Solve i + i = 4*n + d, -2 = i + n for i.
-1
Let v = -14 - -8. Let l = v - -11. Solve 4*b + 14 = -3*s, 3*s = l*b + 24 + 7 for b.
-5
Let c = 1770 - 1767. Solve -2*j - v = 4*v + 29, -4*v = -c*j + 14 for j.
-2
Suppose 2*m - 3 = -y + 2*y, -5*m + 6 = -4*y. Suppose -4*f - 4*o + 40 = 0, f = -0*f + 2*o + 16. Solve -5*u + 2*r - 13 = 0, 2*r = 3*u - y + f for u.
-1
Let q = -750 - -754. Solve -6 = a - q*a - m, -5*m + 12 = -3*a for a.
1
Let z(q) = 3*q + 6. Let v be z(-1). Suppose 0 = i + 2*t - 12, 34 = 7*i - v*i + t. Solve -5*b = -3*g - g - 30, 4*b - i = 0 for g.
-5
Suppose 5*r = 6*r - a - 1, 4*a - 8 = 0. Suppose r*m + 2*l = 0, -5*m = -l + 5*l + 2. Solve -f - 7 = 3*i + 2, -2*i + m = -2*f for i.
-2
Let u = 220 - 217. Solve 0*s + 2*s - u*b + 1 = 0, -s - 2 = -b for s.
-5
Let v(g) = 2*g**2 - 59*g + 29. Let l be v(29). Solve l*o = 3*h + o - 18, 0 = -5*h + 5*o + 10 for h.
5
Let w(u) = -u + 5. Let v be w(6). Let f be -6*v/2*1. Let k = -286 + 290. Solve -k*g + 12 = 4*n, n = -2*g + 2*n + f for g.
2
Suppose 0 = -5*w - z + 24, 5*w - 14*z + 11*z = -12. Let n = -6 - -9. Suppose -u = n*u - 16. Solve u*q - 3*q + 1 = -v, -w*v - 15 = -q for q.
3
Suppose -25*z = 7*z. Solve 3 = -o + 2, -2*j + 2*o + 10 = z for j.
4
Let l(r) = -r + 12. Let d be l(7). Let y = 13414 - 13411. Solve 13 = -c - 0*c - y*q, 4*q = -d*c - 21 for c.
-1
Suppose -d + 3 = 2*p - 11, p - 13 = -2*d. Let m be (-18)/(-4)*16/12 - 0. Solve -k - 3 = 4*f, -p*f - 24 - m = -4*k for k.
5
Suppose -5*q + 677 - 657 = 0. Solve 0 = 5*n - 2*z - 14 - 4, -q*n - 2*z + 18 = 0 for n.
4
Let x(y) = 3*y**3 - 2*y**2 + y - 5. Let g(q) = -q**3 + q**2 - q. Let b(w) = 2*g(w) + x(w). Let u be b(3). Solve -5*v + 3*m - 2 + 9 = 0, 5*m + u = v for v.
-1
Let x = -4 + 9. Let p be x - (4 - (-4)/(-4)). Solve -u = -0*u - 2*a + 6, p*u = 3*a - 11 for u.
-4
Suppose 29 - 445 = 13*x. Let k be (6/(-4))/(24/x*1). Solve -3*b = -5*v - 1 + 20, -k*v + 4*b = -16 for v.
2
Let s be ((-42)/147)/(3/(-21)). Solve 4*i - 2 = -s*v, -5*v - 13*i + 8*i - 10 = 0 for v.
-5
Suppose 2*u = 3*x - 10, 5 = -5*u + 4*u. Solve 3*m + 6*o = o - 25, x = 4*m + 4*o + 20 for m.
0
Suppose 0 = m + 3*m + 24. Let q be m/((-11)/4 - -2). Solve r = 2*u + q + 2, 15 = 5*r - 3*u for r.
0
Let z = -153 + 81. Let l = z - -132. Suppose -l = p - 4*p. Solve h - 2*r + 0 = 1, -h = 5*r + p for h.
-5
Suppose -2*l = -i - 1, -4*l + 7*l + i - 14 = 0. Let g be 1/l - 80/(-30). Let v = 8 - g. Solve -v*y = p + 9, 5*p + 19 = -2*y + 3*y for p.
-4
Let r = -9 - -33. Suppose -4*j + 11 - 1 = g, -4*j + 22 = -5*g. Let n be 200/60 - (-2)/j. Solve 3 - r = -x - 5*o, 2*o = -n*x + 12 for x.
1
Suppose -2 = -2*l - d, l - d = -4*d - 4. Suppose 0 = -x + l*x. Suppose -4*c - 2 + 30 = x. Solve 2*p - c*p = -2*h + 29, 5*p = -h - 23 for h.
2
Let l(f) = 2*f**2 - 4*f - 1. Suppose 0 = 5*d + 4*p - 32, d + 3*p + 5 = 6*p. Let c be l(d). Solve -5*a = -5*i - 45, -c - 18 = 5*i - 2*a for i.
-5
Let s(u) = u + 8. Let b = -3 + 3. Let m be s(b). Suppose m + 18 = 2*t + 5*w, 12 = 3*w. Solve -t*r - 6 = -3*l, 17 = -5*r - 2*l - 0*l for r.
-3
Let k = 65 + -60. Let a = 37 - 35. Solve -a*s + 5*i + 12 = 0, s + 5*i = -4*s - k for s.
1
Let f = 1343 - 1338. Let g = 7 + 11. Suppose -f*v + g = 3. Solve -v*y + t = -7*y, y = -2*t for y.
0
Let t(o) be the first derivative of -3*o**2/2 - o - 23. Let w be t(-1). Solve -a + c - 4 = -0*c, -w*a - 5 = -5*c for a.
-5
Let g be 28/((-24)/6) + 9. Solve 3*r + 5 = 2*f, 0 = -2*f + 4*r - g*r for f.
-5
Suppose 469 = g + 457. Solve 2*w + 6 = -2*w - 2*m, 0 = 4*w - 4*m + g for w.
-2
Suppose 0*j + 7*j - 161 = 0. Let q = 27 - j. Solve 5*a - s = -3, q*a + 4*s = s - 10 for a.
-1
Let o = -3827 + 3827. Let k be 2/8 + (-158)/(-8). Solve o = -f - 5*r - k, -2*f + 2*r = 4*r for f.
5
Let z = -1131 - -1131. Solve -h + 0*q = q - 5, -q + 1 = z for h.
4
Suppose -1 - 79 = -16*z. Solve 3*f - 2*h - 1 = 0, 3*f + 34 - z = -4*h for f.
-3
Let a(f) = f**3 - 7*f**2 + 6*f + 2. Let o be a(6). Solve -o*j - 4*w + 21 - 3 = 0, -3*j = w - 7 for j.
1
Let w(h) = 2*h**3 - 16*h**2 - 9*h + 74. Let l be w(8). Solve 0 = 2*a + l*g - 6*g - 8, g = -2*a + 8 for a.
4
Let r = -51 - -81. Suppose 2*q - 4*o - 12 = 0, r = -7*q + 12*q + 4*o. Solve -5*v = 5*y, -v + q*v - 15 = -2*y for v.
5
Suppose 3*l - 6 = 6. Suppose -38 = -5*a + l*x, 4*a + 2*x - 28 = 4*x. Solve 0 = 3*r + a, -2*v + 17 = -5*v - 4*r for v.
-3
Suppose -4*x = -3*d - 3*x - 17, -2*d - 5*x = 0. Let a be 4*(d/(-10))/1. Suppose 8*h = 4*h + 20. Solve -5*c - a*l = 10, h*l = 3*l + 10 for c.
-4
Let u(d) = -d + 11. Let m be u(6). Solve -4*k - 1 = 4*j - k, m*j = -5*k for j.
-1
Let c be (6 - (-8 + 4)) + -8. Solve -4*t - 5*q - 5 = -15, 0 = c*t - 2*q + 4 for t.
0
Suppose -114 = -6*a - 32*a. Solve z = y - a, -3*z - 7*y + 11*y - 8 = 0 for z.
-4
Let l = 5 + -7. Let v = 0 - l. Let b(j) = j**3 + 14*j**2 - 10*j - 128. Let z be b(-14). Solve -3*r - 36 = -4*f + v*r, -z = 3*r for f.
4
Let p = -993 + 997. Solve -p = -3*h + h + o, -2*h = 3*o - 12 for h.
3
Let x = -61 - -66. Solve -5*l + 6*f - 36 = 2*f, -x*l - 4 = 4*f for l.
-4
Let m(c) = c**2 + 14*c + 43. Let b be m(-11). Solve -5*v - b = -5*z, 2*v - 4 = -4*z - 2 for v.
-1
Suppose -m - 8 = -w, 0 = -2*w - 6*m + 7*m + 11. Solve p - 17 = 3*n, -w*n - p + 0 = 7 for n.
-4
Suppose 34 - 106 = -2*w. Suppose w + 48 = 6*q. Solve j = -4*d - 12, 0 = -d + 3*j - 6*j - q for d.
-2
Let p = 201 + -197. Solve 0 = -2*w - w - 3*g - 3, p*w - 2*g + 4 = 0 for w.
-1
Let p be (-4)/6 - (-16)/6. Suppose 0 = p*x - 0*x - 90. Let m = x + -32. Solve -2*d = 10, c = -3*c + 5*d + m for c.
-3
Suppose 0 = -2*z + 5*m - 12, -z + 7 = 2*m - 5. Let d = 47 - 18. Suppose 8*v + 5 = d. Solve -v*n = z*o + 13, 0 = -3*o - 2*o + 2*n - 22 for o.
-4
Let k be 9 - ((-6)/2 + 5). Let o be 50/4*8/10. Solve 3*r = 3*i - 30, -2*r + o = k*i - 3*i for i.
5
Suppose -9*o + 2594 = 2549. Solve -5*g + 4*l = 20, -18 + 6 = 3*g - o*l for g.
-4
Let z(i) = i**2 - 10*i - 8. Let h be z(11). Let g = 0 + h. Solve -g*k + 13 = t - 3*t, -k - 4*t - 5 = 0 for k.
3
Suppose 5*j - 23 = -3*y - 28, -2*j = 2*y + 6. Solve j*x = -4*v + 14, 0 = -3*v - 4*x + 3*x + 11 for v.
4
Suppose 3*x = 3*l + 102, 2*x - 118 = -x - 5*l. Let q be 126/x*8/7. Let z be 5 - (0 - -4)/q. Solve 14 = 2*v - 0*v - z*s, 4*v = -s - 8 for v.
-1
Let a = -147 + 152. Solve 0 = d - 2, -n + 3 = -a*d + 8 for n.
5
Let k = -24 + 34. Suppose t + 4*t + 145 = 0. Let h = t + 34. Solve a + 3*s = -k, -4*s - 7 = a + h for a.
-4
Let i(s) = -s**3 - s**2 + s + 14. Let n be i(0). Let p = n - 9. Solve p = -a - 0*u - u, -u - 21 = 5*a for a.
-4
Let k(p) = -p**3 - p**2 + 2*p - 5. Let o be k(-3). Suppose -o*f + 12 = -3*f. Solve 3*z - 2*z + 5*j = -3, -f*j = -5*z + 13 for z.
2
Let w(o) = -4*o**3 + o**2 + o + 1. Let x be w(-1). Let i be (-1 + 12/21)/(x/(-35)). Solve -b + 0*b = i*y - 10, 0 = -4*b - 4*y for b.
-5
Suppose 5*z - 2 = 4*z. Suppose 145 = -6*o + 157. Solve 0 = -o*m - 2*k - 16 + 2, 0 = -z*k - 4 for m.
-5
Let o be (4/(-3))/((-31)/(-33) + -1). Suppose 6 = 5*w - 2*w + 3*x, -2*x - 45 = -5*w. Let h be 4/(-8) + w/2. Solve -3*r - 5*m - o = -h, -4*r = -3*m - 23 for r.
2
Suppose -14*t = -15*t + 3. Suppose 0 = -2*w + 7 - t. Solve -6 = -w*b, 0 = -4*l - 3*b + b - 14 for l.
-5
Let p be ((-24)/(-60) - 2/2)*-35. Suppose 3*l + 6 = p. Solve 9*x - 2*n + 33 = 4*x, 0 = 4*x + l*n for x.
-5
Let u be -3 - -3 - (-8 + 6). Solve 2*y - y + 4*o = 0, u*y - o = 0 for y.
0
Let m(w) = -2*w**3 + w**2 - 4*w + 4. Let k be m(3). Let y = k + 89. Solve 0 = 2*h + a + 4, -8*a + 3*a = -4*h - y for h.
-4
Suppose -5*j = -2*a, -5*j + a + 5 = -0. Suppose -v - j*i - 1 = -12, i + 26 = 4*v. Suppose l = v*l - 30. Solve 0 = -5*c + 4*k - 2*k, -5*c + l*k - 15 = 0 for c.
2
Let p(f) = -f**2 + 9*f - 2. Let j be p(2). Solve -4*z + j = 2*g, 6*g - 16 = 2*g for z.
1
Let t(z) = 3*z**2 - 3*z - 3. Let u be t(2). Suppose -u*q + 4 = -2. Solve -5*j - q*p + 5*p + 2 = 0, 5*p - 9 = -4*j f