2*y - 4*s + 34 for y.
3
Let v = 34 + 0. Let p = -14 + v. Suppose 0 = -3*a - 3*j + 21, -a + p = 4*j + 4. Solve -4*h = -a*s, 2*h - 15 = 3*h - 4*s for h.
5
Let w = -158 - -208. Suppose -w*u = -45*u. Solve -5*l = u, -2*l = 3*y + 2*y for y.
0
Let l be 17 + 1 + (-1 - -1) + -12. Suppose -5*t = -10*t + 10. Solve -2*o - 8 = 0, -l*b + t*b = o for b.
1
Let a(q) = -q**3 + 9*q**2 - 8*q + 12. Let f be a(8). Suppose 4*i = -3*x, -5*i = -9*i - 4*x. Solve -t - f = -2*k - 4*t, -4*k - 3*t + 12 = i for k.
0
Let z be 74/(-12) - (-4)/24. Let b be (9 - 3) + z - (0 - 3). Solve -d - 4*d + 2*i - 29 = 0, 0 = -d - i - b for d.
-5
Suppose 74*b - 71*b = 15. Suppose 26*u - 25*u + a - 24 = 0, b*u = a + 108. Solve -40 = 5*i + 7*p - 2*p, -p + u = -5*i for i.
-5
Suppose 80*r - 85*r - 47 = -2*y, -2*r = y - 55. Solve -5 = 40*s - y*s, s + 11 = 4*l for l.
4
Suppose 142*g - 1041 = -615. Solve -g*y - 677*o = -674*o - 3, 4*y - o = -21 for y.
-4
Suppose -2*b = 2*b. Suppose -r + 5 + 1 = b. Suppose -5*z = -20, r*l - 2*l + 4*z = 32. Solve -4*u - 2*o + 14 = 0, 5*u + l*o - 19 = 6 for u.
1
Suppose -2*s - 4*u + 66 = -u, -2*u = -8. Let m = s + -23. Solve -23 = -3*l - 5*i - 3, m*i - 16 = 0 for l.
0
Let s be ((-150)/9)/(((-52)/(-12))/(-13)). Suppose s*o - 1 + 1 = 0. Solve -3*q - 25 = -5*w, o = w + q + q + 8 for w.
2
Let k = 633 + -633. Solve k = -3*v - 4*c - 12, 0 = v - 2*v - 4*c - 4 for v.
-4
Suppose -17*p + 42*p - 15*p = 0. Solve -7*u + s = -8*u - 3, 5*u + 2*s = p for u.
2
Suppose -4*w + 45*k = 47*k - 28, -4*k + 47 = 5*w. Solve 130*j = 135*j + 4*u - 13, -4 = 2*j - w*u for j.
1
Let x(o) = -o**2 + 11*o - 20. Let w = 123 + -141. Let r be 41/5 + w/90. Let c be x(r). Solve -2*y = -2, -2*t - y - c = y for t.
-3
Let o = -1386 - -1389. Solve 2*f = 5*w - 35, 34 = 4*w - o*f - 1 for w.
5
Suppose 4*b = -11 - 1. Let i be 49 + (-10)/2*b/5. Let h = -50 + i. Solve v + h*v - 28 = 5*j, 0 = -5*j + 2*v - 27 for j.
-5
Let o = 7 - 10. Let y be (-4)/6*o/1. Let g be ((-559)/(-258))/(((-284)/24 - -8) + 4). Solve 3*d + g = 4*p, -1 = -3*p + y*p for d.
-3
Suppose -p + 2*b + 11 = -0*b, -17 = -p + 4*b. Let c(z) = -3*z**3 + 34*z**2 + 25*z + 10. Let v be c(12). Solve 5*m - 3*l = -16, -p*m + 3*l - v = 2*l for m.
-5
Let z(c) = 6*c**2 - 19*c + 56. Let x be z(9). Suppose 0 = -374*g + x*g + 6. Solve 4*k = -3*b + 3, -g + 10 = 4*b + 4*k for b.
5
Let b be 4/7*-4*(-63)/24. Let o be -1*(-1 - -7 - b). Solve 0 = 4*x + 4*h + 8, 3*x + x - 5*h + 35 = o for x.
-5
Let j(t) = 38*t**2 + 2. Let m be j(2). Suppose -m = -15*a + 11. Suppose -3*i = a*i. Solve i = -4*b - u + 2, 0 = 6*b - b + 2*u - 1 for b.
1
Let n = -2843 - -2870. Solve 2*v + s = -14, n = -3*v + 6*s - 9*s for v.
-5
Let a(g) = -g**3 + 3*g - 15. Let o be a(-3). Solve n + 4*q = 19 - 26, -12 = o*n + 3*q for n.
-3
Suppose 26*p + 467 = 571. Solve 5*d - 5*g + 9 - 34 = 0, 5*d - 24 = p*g for d.
4
Suppose 10*s + 18 - 58 = 0. Solve -7*m + 16 = -5*n - 3*m, -s*m + 16 = 0 for n.
0
Let k = 1063 + -1058. Solve 0 = -2*d - k*i + i - 20, 4*d + 7 = 3*i for d.
-4
Let k = 7343 + -7324. Solve -4*o - 3*r = -k - 17, o - 4*r = -10 for o.
6
Let b(l) = -15*l + 105. Let q be b(7). Suppose 3*p + 11*z - 12*z - 22 = 0, q = 4*p + 2*z - 36. Solve 4*x - 2*g + 0 = 16, 4*g - p = 0 for x.
5
Suppose 0 = -5*i - 19*i - 408. Let h(a) = 8*a + 149. Let o be h(i). Solve -y - o = 4*q, 3*q + 5*y - y = -26 for q.
-2
Let j = -38 + 43. Suppose 53 + 97 = -j*k. Let v = k - -34. Solve 0 = 3*m - 3*i + 5 - 23, 5*i + 3 = -v*m for m.
3
Let v be (-2)/5 + 2388/20 + -3. Let x = 119 - v. Let z(b) = -b**2 - 4*b + 5. Let f be z(-4). Solve f*h = -x*i + 17, h = 3*h + 2*i - 6 for h.
4
Suppose -4*f + r = 65, -r = -3*f - 15 - 34. Let b be ((-6)/21)/(f/224). Solve -t + 4 = -n, 3*t - b*t - 12 = 3*n for t.
0
Suppose 0 = -l + 29*y - 30*y + 2, 3*l = 5*y - 10. Solve -8 = -2*x + u, 4*x + 4*u - 9 + 17 = l for x.
2
Let b(i) = -178*i + 6765. Let q be b(38). Solve -h = 4*f - 5, -q = -h - 0 for f.
1
Suppose -88*j = 117*j - 159*j - 92. Solve -2*g - 2 = -j*l, 4*l + 1 = -13*g + 12*g for g.
-1
Let i = -26 - -37. Let u be 2/(-4)*(-5 + -3 + 2). Let o(a) = -a**3 + 4*a**2 + 4*a + 5. Let l be o(5). Solve -u*z + q - i = l, -2*z - 5*q = -z + 25 for z.
-5
Suppose -2*f = -35 - 25. Let v(a) = -a**3 + 9*a**2 - 11*a - 11. Let k be v(7). Let j be ((-2)/k)/(144/f - 5). Solve -j = -h + 4*t, -h + 0*t - 7 = 4*t for h.
-3
Let y = 3496 + -3496. Solve 12 + 6 = 4*f + 2*r, 5*f - 4*r - 3 = y for f.
3
Let k(q) = 51*q**2 - 1. Let c be k(1). Suppose 0 = -c*v - 3 + 553. Solve 4*z = -4*f - 16, v = -z + 5*z - 5*f for z.
-1
Suppose -5*a + 11 = 36*f - 33*f, 5*a = 5*f - 85. Solve 0 = 3*z - f, 3*z - 27 = -8*j + 3*j for j.
3
Let k be (-1 + 1 + -1)*(0 - 0). Let t be (-4)/(-10) + k + (-700)/(-125). Let l be (-61)/(-2) + (-3)/2. Solve 2*m = -4*n - t, -n = 5*m - 2*n - l for m.
5
Let j = 3 - 1. Let s(u) = -u**3 + 15*u**2 - 18*u - 12. Let n be s(13). Suppose 0 = -18*w + n + 214. Solve 4*g + w = l + g, 2*l - j = -2*g for l.
5
Let n = 235 + -236. Let j be ((46/(-4))/(-23))/(n/(-10)). Solve 4*g - 8*g = 4, -j*x - 2*g = -3 for x.
1
Suppose 0*s - 56 = -5*s - 3*a, s - a = 8. Solve -6*f + 5*f - p = 0, 5*f - s = 5*p for f.
1
Suppose 121*x - 1122 = -88*x + 3476. Solve 0 = -4*d - 3*i - x + 29, -d - 2 = 2*i for d.
4
Suppose 0 = -21*p + 22*p + 3*a + 5, p - 5*a = 35. Solve 3*r = 0, -p*r + 6*r - 3 = -3*g for g.
1
Suppose 5*p - 7*p + 558 = 3*s, -s + 186 = -2*p. Let j = 191 - s. Solve -3*b + 6 = -5*y - j*b, 0 = 2*y - 3*b + 10 for y.
-2
Let j(t) = -5*t**2 - 7*t + 8. Let r(c) = c**2 + 2*c - 2. Let w(p) = -2*j(p) - 9*r(p). Let l be w(4). Solve -2*h - 35 = 5*v, -4*h = -8*h - l*v - 30 for h.
-5
Let q(l) = 28*l - 11. Let r be q(-3). Let g = -90 - r. Let j(o) = -o**3 + 14*o**2 - 12*o - 8. Let t be j(13). Solve -x + g*k = x + t, 3*k = 3 for x.
0
Suppose 0 = -2*z - 935 + 939. Solve 0 = v - 5*a + 28, -8 = z*v - v - a for v.
-3
Let n be ((-248)/155)/((-12)/30). Solve 0 = n*v + 4*o - 24, 3*v + 5*o = 2*v + 22 for v.
2
Suppose -10 = -8*h - 2*h. Let x be (h - -1 - 4)/1. Let n be (-17)/(-68) + x/8. Solve w = 4*c - 21, 3*w + 18 = 3*c - n*w for c.
5
Let m(a) = a**3 - 6*a**2 + 3*a - 16. Let c be m(6). Let u be (-9)/(1 + c + 234/(-76)). Let g = 121 - u. Solve 4*v = b + 11, 0 = -0*b + b + 5*v - g for b.
-3
Suppose -648 = -74*z + 73*z - 5*r, -2*r = -2*z + 1236. Let p = z - 621. Solve 5*i + 18 = -2*v, 5*v = -p*i + 4*i + 13 for i.
-4
Let q(y) = 10*y - 87. Let f be q(9). Suppose 5*h - f*h = -5*h. Solve 0 = -4*x + 4, h = -2*d + 3*d - 4*x - 1 for d.
5
Let j be (-6)/(-1)*-15*10/(-180). Solve -11*u = -2*k - 8*u, -j*k - 3*u = 0 for k.
0
Suppose d = -r + 10, -8*r + 11*r - 20 = -d. Solve -l = 4*g - 13, -4*l + 2*g + g = d for l.
1
Suppose 0 = 3*l - 3*g - 7 - 26, -g + 37 = 5*l. Let z be 0/(-4*(-4)/l). Let b be (z + 0)*(-2)/4. Solve 5*a + 5*w + 11 = -19, b = -4*w - 20 for a.
-1
Let b be 5/(-10)*8*1. Let f be 1/b - (-54)/24. Solve -s + 2*g + 3 = -f*g, s - 3*g = 3 for s.
3
Let g = 11 - 6. Suppose -2*q + 4*q = -b + 7, 2*q + 2*b - 10 = 0. Let m be (-3)/q*(7 - g)*-1. Solve 0 = -5*x - m*i - 24, -4*x - 3*i + 7*i = 0 for x.
-3
Let d(k) = 4*k**3 - 3*k + 2. Let v be d(1). Suppose -h + 6*w - 12 = v*w, 0 = 2*w - 10. Solve -3*f - 4*o = 1 - 3, 5*o + h = -f for f.
2
Suppose 2899 = 5*l + 8*l. Let k = l + -223. Solve k = 5*t + 4*d - 6, 0*t - 2*d = 2*t - 4 for t.
-2
Let i = 109 + -36. Suppose -9*l - 208 = -i. Let d = l + 20. Solve -2*b - 6 = -0, 23 = d*a - b for a.
4
Let i(h) = h**3 + 25*h**2 - h - 19. Let x be i(-25). Let w be (-7)/(-3*x/54). Solve 3*d - 3 - 12 = -2*m, -5*m - 2*d + w = 0 for m.
3
Let u be ((-60)/9 - 360/(-216)) + 45. Solve -4*m = -2*j + u - 52, 0 = 2*m - 4*j - 6 for m.
3
Suppose 2*l + 4*w = -l + 12, 2*l + w = 8. Solve -m - y = 9, 5*m + 0*m - l*y = 0 for m.
-4
Suppose 2*l - 1 = 3. Suppose -4 = -2*b - 100. Let w = 52 + b. Solve w*o = g + 26 - 6, -4*o = -l*g - 20 for o.
5
Suppose -2*r = 3*p + 430, r = -20*p + 15*p - 726. Let a = -143 - p. Solve 6*b - 15 = -5*j + 7*b, -j = -3*b - a for j.
3
Let s be 40/7 - 110/154. Let u = 806 - 803. Solve u*p = 4 - 1, 11 = -4*j - s*p for j.
-4
Suppose -131*w + 460 + 195 = 0. Solve 4*f + 2*b + 10 = 3*f, -w*f - 15 = 3*b for f.
0
Suppose 2*x - 68 = 2*q - 60, 3*q = -2*x + 13. Solve -4*j - j + q = w, -w - 2*j - 2 = 0 for w.
-4
Suppose -727 = 4*b + 2*q - 767, -32 = -2*b + 2*q. Solve -36*i + 3*y + b = -41*i, 0 = -5*i + 5*y + 20