for y.
-1
Let c = -907 + 913. Let a be c/(-4) - 903/(-86). Solve -3*u + 3*g = a, 4*u + 0*g - 3 = -g for u.
0
Suppose 5*d + 1833 = -3*j + 6*d, -3*d - 1845 = 3*j. Let b = j - -615. Solve 4*s + 2*i = 0, -s = -2*s + b*i + 7 for s.
1
Let t(y) = 11*y + 70. Let b be t(-6). Suppose -3*s + b*a + 4 = 0, 3*s + 3*a + 5 - 23 = 0. Solve -3*k - 24 = -s*f + 2, 5*f - 33 = 4*k for k.
-2
Let p be 5 - 1 - (-88)/8. Suppose -4*b + 2*o = p - 41, -2*b + 2*o = -10. Suppose b*k = 2*k - 2*k. Solve 4 = -4*d - 3*y, -2*y = 3*d - k*y + 3 for d.
-1
Let o(s) = s**3 + 87*s**2 + 92*s + 519. Let c be o(-86). Solve -12*u + 4*r - 15 = -9*u, -2*r + 9 = -c*u for u.
-1
Suppose -2*n - 5*m + 167 = 0, 1559*m - 1558*m = -2*n + 155. Solve n*o + 5 = 71*o, 21 = 5*k - o for k.
4
Let b(f) = -427*f + 4294. Let z be b(10). Solve -3*j - 4*s - 1 = 0, 5*j + z*s - 19*s = 0 for j.
1
Suppose -5*a = 2*i - i - 7, 5*a = -3*i + 1. Suppose a*o + 4 = -2*d, o = -3*o - 3*d - 4. Solve -w = -2*n - o + 1, w = n + 2 for w.
3
Let t = -230 - -264. Suppose 5*i - 95 = -5*y, -y - 3*i = i - t. Suppose 0 = b + 3*b - 8. Solve 6*c - l - y = c, b*l = -c - 6 for c.
2
Suppose 2*f + 1 = 5. Suppose 2*g - 8 = -f*g. Let j be (-7 - -10)/(30/60). Solve -j = -3*t, 3*w = -5*t - g + 6 for w.
-2
Let r be -125 - -129 - (-1 - -3). Solve 2 = -2*t - r*f + 6, 5*t + f + 2 = 0 for t.
-1
Suppose -5*s = -4*c + 65, -6*c + 62 = -2*c - 2*s. Let v be 12/(-5)*(-25)/c. Solve f - v*a + 10 = a, -2*f - a = 9 for f.
-5
Suppose 29 = 43*n - 100. Solve 5*c = -n*r - 14, 3 = 2*c + 2*r + 7 for c.
-4
Let o(z) = z**2 - 59*z + 117. Let f be o(57). Let n be 1 - (22 + -1 + 1). Let j = -18 - n. Solve f*b - p = -0*b + 4, -j*b - 4*p = 16 for b.
0
Let g be (-1)/(-4) - 3*2/(-8). Let v be g/(-6) + (-57)/(-18). Suppose -v*u = -6*u + 9. Solve -3*w - 14 = -2*n, -w + n + u*n - 8 = 0 for w.
-4
Suppose 0 = -4*f + 745 - 737. Suppose -f*l + 5*a + 28 = -0*l, 3*l + 4*a - 88 = 0. Solve 0*u - 2*t + 14 = 4*u, l = 5*u - 4*t for u.
4
Suppose b = 4*x - 5, 12*x - 2*b - 2 = 8*x. Solve -2*j = -3*n + 8*n, x*n = 0 for j.
0
Let o = -172 - -172. Suppose o - 14 = -7*c. Solve 3*i - 5*n = 3, c*n + 6 - 3 = 3*i for i.
1
Let k(p) = -p**3 - 28*p**2 + 60*p - 78. Let d be k(-30). Let t(w) = 12*w + 3. Let h be t(-7). Let o = d - h. Solve 7 = 2*a + o, 4*v - 3*a = 14 for v.
5
Let w be 2 - -1 - 24/(-12). Suppose 66*f = w*p + 71*f - 20, 4 = p - 3*f. Solve -p*u - 5*d - 24 = 3, 6 = 3*u - 5*d for u.
-3
Suppose -5*j + 18 = -12. Suppose -1 + j = t. Let x = 1674 - 1662. Solve p = 3*z - x, -4*z + 0*z = -t*p - 27 for p.
-3
Let r(l) = -4 - 9*l**2 + 12*l + 2*l**2 + 15*l + 3*l**2 - 9*l. Let g be r(4). Solve -g*c + 2*z + z = -3, 5*z = 2*c - 5 for c.
0
Let w = -190 - -193. Suppose 5*g - w*r = 2*g + 15, 6 = -3*r. Solve -g*v - z + 16 = 0, -z - 4 = -5*v + 3*z for v.
4
Let u(q) = -q**3 - 30*q**2 + 29*q - 60. Let x be u(-31). Solve 5*p - 2*n = 8 - 1, -x*p + 3*n + 5 = 0 for p.
1
Suppose 20 = -5*y, 9*l = 8*l - 2*y + 11. Solve 3*i = -2*q - l, i + 2*q - 1 = 5*q for i.
-5
Let n be 8 + -8 + (-1 - -3). Suppose 2*q - 2*k = -316, n*k + 602 = q - 5*q. Let z be (-34)/q + 68/18. Solve -4*x + 4*a = 8 + z, -2*x - 3*a + 19 = 0 for x.
2
Let s(i) = 91*i + 1459. Let w be s(-16). Solve -16 = 2*o - 3*y, 5*o + w*y + 1 = 3 for o.
-2
Let d = 560 + -556. Let i(u) be the third derivative of -u**5/60 + u**4/2 - 2*u**3 + 2*u**2. Let n be i(8). Solve -d*o + 0*o + n = 4*w, -3*o = 0 for w.
5
Let i be 1/(2/(16/8)) - -8. Solve -q + 2*m = -i, -q - 3*m - 2 + 1 = 0 for q.
5
Suppose 1072 = 36*t - 19*t + 50*t. Solve 0 = 4*z - 2*k - 18, t*k = z + 15*k - 7 for z.
2
Let k be 2196/84 + 6/(-42). Let d be (4 - k/8)*(-8)/(-2). Solve 0 = -2*t + d*i - 3, t + i - 1 - 5 = 0 for t.
3
Let w be -6*((1 - 7 - -3) + (-26)/(-12)). Solve -3*l - 4*g - 3 = -g, 2*g - 1 = -w*l for l.
1
Suppose 5*q = 2*o - 7, -3*o + 2*q = 63 - 68. Solve -3*r - 13 = 2*i, -i - o = 18*r - 22*r for i.
-5
Let c = 1 - -3. Let x(a) be the first derivative of a**4/4 - a**3/3 - a**2 + 4*a + 381. Let y be x(2). Solve c*m + 7 = v, 0 = y*v - 2*v + 5*m + 25 for v.
-5
Let j be -16*2/(-4) + 2. Suppose -2*g - 6 = -5*b - 17, -4*g - 2*b = -j. Let n be 4/2 - (-1 + 1). Solve 5 = 2*z - g*u, -z - 3*u = n - 9 for z.
4
Let s(y) = 3*y**3 - 3*y + 3. Let a(g) = -g**3 - g**2 - 2*g. Let o(d) = a(d) + s(d). Let k be o(2). Solve k*w = -4*n - 12 - 12, -2*n + 14 = -4*w for n.
-1
Let f be 1/(-3)*60/4. Let t be 34/6 + f/(-15) - 4. Solve 5*l - t*m - 3 = 0, l + 0*m = 4*m + 15 for l.
-1
Let l(r) = -1442*r - 8648. Let y be l(-6). Solve -10 = 23*j - 18*j - 2*h, -2*j + 3*h = y for j.
-2
Let k = -289 - -330. Suppose k = -4*s + 53. Solve -m = -3*i - 17, -i = 2*i + 3*m - s for i.
-4
Let h be ((-25)/(-2) - (-9)/6) + 4. Suppose -5*g + 2*t + h = 0, 5*g - 19 = g - 3*t. Solve -4 = 4*f, g*f - 14 = -4*v + 2*f for v.
4
Let g = 1 - -17. Suppose -g*d + 14 = -11*d. Solve -d*x - 2 = 0, -3*n - n - 5*x = 9 for n.
-1
Let a(f) = -64*f + 4034. Let v be a(63). Suppose -3*q - 3*j = -12, 2*j = 2*q - 3 - 5. Solve 4 = -q*b, -4*y + v*b = 1 - 3 for y.
0
Let z(k) = k**2 - 356*k + 1408. Let s be z(4). Solve -h + 4*o - 8*o + 15 = s, -3*o = -h - 13 for h.
-1
Suppose 3 = 2*k - 5*a + 27, -2*a + 2 = 3*k. Let n be 11*-2*k*(-4)/(-16). Solve 3*b + 3*x + n = 2*x, 3*b = 4*x - 16 for b.
-4
Let u be (-88)/(-8) + (-6)/(-2). Suppose 96 = 5*z - q, 4 = z + q - u. Suppose -3*o + 26 = -z. Solve 3*c - 3*v + 15 = 0, 2 = 3*c + 5*v - o for c.
-1
Suppose 47*k = 59*k - 60. Solve -4*p + 3*z + k = 0, -5*p = -6*p + 3*z - 1 for p.
2
Suppose -d + 3*q = 0, -d + 6*d + 28 = q. Let c be 60/(-80)*(2 - (-28)/d). Solve 0 = 4*o + y + 17, -3*o - 5*y - 40 = c*o for o.
-3
Let g be (-8 - 1/(-1)) + 12. Suppose 3*h = 3*q - 3, -3*q - 5 = -g*h - 2. Solve -3 = 3*d - 5*o, 5*o + h = 3*d - 6*d for d.
-1
Let l(j) = -132*j - 912. Let n be l(-7). Solve -n = -4*h, 3*k + h + 9 - 12 = 0 for k.
0
Let r be (27/2)/(3/4). Suppose -2*d + 9 = t + 2*d, r = 3*t + 3*d. Let z = 16 + 14. Solve 5*u + z = -t*b, 0 = -5*b + 2*u - 7 - 2 for b.
-3
Let w(o) = 10*o**2 - 25*o - 407. Let m(k) = -3*k**2 + 8*k + 136. Let g(s) = 7*m(s) + 2*w(s). Let b be g(-9). Solve p = -n + b, 9 = 2*p + 4*n + 1 for p.
2
Suppose -5*t + z = -9*t + 2900, -5*t + 3*z + 3608 = 0. Let r = 724 - t. Solve -3*v + 3*x = -r*v - 15, 20 = 4*v + x for v.
5
Let b(u) = -4*u - 25 - u + u. Let k(g) = -3*g**3 + 72*g**2 - 8*g + 185. Let o be k(24). Let v be b(o). Solve 4*x - 5 = -h + 4*h, 3*x + v*h = -12 for x.
-1
Suppose 745 = 4*b - c, 12*c = -3*b + 13*c + 558. Let y = -185 + b. Suppose 0 = 2*h - 4*h. Solve h = y*f + f + 3*q - 12, -f = -2*q + 11 for f.
-1
Let c = -369 + 376. Let d be (-3 + c)*(-3 - 45/(-12)). Solve -5*f + 2*f - 3 = -2*n, d = -f for n.
-3
Let j = 4845 + -4839. Solve j*n + 6 = -u + 3*n, -5*u - 3*n = -6 for u.
3
Let b(a) = -a**3 + 7*a**2 - 18*a + 9. Let g be b(7). Let v = -113 - g. Solve 16 = v*p + 5*j, 0 = -7*p + 2*p + 3*j - 17 for p.
-1
Suppose 0 = -7*t + 3 + 11. Suppose -2*m = -4*h - 26, t*m - 2*h + 14 = 4*m. Solve 0 = -i + 2*q + m, -7*q - 28 = 3*i - 2*q for i.
-1
Let f(c) = 44 + 0*c - 31 - 15*c - 23. Let r be f(-1). Solve 4*g = -5*l + 3, r*g - 3*l + 4*l = 9 for g.
2
Let z(p) = -2*p**2 + 166*p + 10. Let r be z(0). Solve -k - 2*m + r = -3*k, -3*k - 15 = -5*m for k.
-5
Let s(p) = 2*p**2 - 3*p + 44. Let l be s(-10). Let z = 298 - l. Solve 14 = 3*k - 2*b, 3*b + z = 4*k - b for k.
2
Suppose -114*b + 203 + 54 + 1111 = 0. Solve 3*h = b, q - 161 + 171 = 3*h for q.
2
Suppose 670 = 97*w - 31*w + 68*w. Solve -5 = -l - w*p, -2*p = 3*l + 5 + 6 for l.
-5
Suppose 3*c = -28 - 107. Let q = -40 - c. Suppose q*b = -2*g - 12 + 43, b + 5*g = 20. Solve s = -3*z + 10, 3*s = -b*z - 0*s + 10 for z.
5
Let j be ((-90)/(-12) + -5)*-2. Let z(q) = 2*q**3 + 10*q**2 - 6*q - 26. Let v be z(j). Let c = 4 - 2. Solve -4 = -4*u - v*w, c*u = -u - 4*w for u.
4
Let f(t) = t**2 + 6*t - 7. Let w be f(-7). Let d(k) = 46*k - 4273. Let x be d(93). Solve w = x*c - 3*q - 3, -3*c + 0*q + 4*q + 4 = 0 for c.
0
Suppose 2*h + 3*p - 18 + 33 = 0, -h - 95 = 14*p. Solve 36*o + r - h = 35*o, -17 = o - 4*r for o.
-1
Let r be 1*(-3)/(-4) - 17/(-4). Suppose -5*v - 7 = 5*d - 22, r*d = 3*v + 39. Solve -k - m + d = 0, 2*m = -3 + 9 for k.
3
Let i be 245/77 - (9/(-12))/((-33)/8). Solve -l = -u - 2, i*u + 3*l = 1 + 23 for u.
3
Suppose -6*i + 2*i = 45*i - 147. Solve 3*j - 12 = -i*y, -4*y - 12 = -5*j - 19 for j.
1
Let l be (