or z.
1
Suppose 0 = -4*x + 3*k - 3, 2*k = -3*x - 2*x + 2. Let z = 77 - x. Let q = z + -71. Solve 15 = 5*l + 5*a, -l - 13 = -q*l - 3*a for l.
2
Let x = 488 + -483. Solve -10 = -4*w + 3*d + x, -3*d + 6 = 3*w for w.
3
Suppose -41 = 6*w - 11*w - 3*r, -3*r = 4*w - 37. Solve -5*c = -w*k - 37, -3*k + 4 - 33 = -4*c for k.
-3
Let b be -4 + 2 + -16*(-4)/4. Suppose -o = -y + b, -y + 3*o = 4*o - 4. Solve -2*f + f = 4*a + y, a = 2*f for f.
-1
Let f be (-13 + 8 - -6)*(7 - 3). Solve f*v = 2*b + 2, -b - 1 = 19*v - 14*v for b.
-1
Let b = 25996 + -25981. Solve i - b + 5 = 3*a, -2*a - 4*i - 16 = 0 for a.
-4
Suppose 3*w = 2*h - 23, -5 - 20 = 5*w. Suppose 4*o - 24 = -4*i, -h*o + 6*o - 14 = -3*i. Solve -9 = -5*a - i*l, 5*a - 5*l - 30 = -0 for a.
3
Let k(m) = m**3 - 6*m**2 - 9*m - 7. Let p be k(7). Let r(o) = -o**3 - 21*o**2 - o - 16. Let z be r(p). Solve 0 = 3*g + 4*w + 13, 3*g - 5*w - 18 = z*g for g.
1
Let z = -454 + 457. Let b be (0 + 0)*(-14 + 10 + z). Solve g + u - 4 = b, -3*g - u + 4 = -0 for g.
0
Let b(g) = -g + 9. Let j be 2*(-1 + 44/8). Let i be b(j). Solve -13 + 4 = -5*y + 3*x, -3*y + 2*x + 6 = i for y.
0
Let c(o) = -14*o - 3. Let s(i) = i. Let a(x) = -c(x) - 5*s(x). Let z be a(0). Solve 0*l = z*l + 2*q - 1, 4*l = -5*q + 13 for l.
-3
Let y(b) = -b**2 + 9*b - 15. Suppose 10*k - 4*a = 5*k + 42, -2*k = -3*a - 21. Let u be y(k). Solve -m + 1 = -5*w, -2 = m - u for w.
0
Let m = -64 + 116. Let x = m + -48. Suppose -5 + 13 = x*i. Solve 3*a - i = -5*d, 0*d - 2*d = 4*a + 2 for a.
-1
Suppose 0 = 5*z - 0*z - 60. Suppose g = -g - z. Let y be (-24)/16*8/g. Solve -4*o = -3*h + 16, -4*h + 18 = -4*o + y for h.
0
Suppose 5*x = -2*j + 2, 0 = -22*j + 24*j + 8. Suppose 4*m - 2*m - 5*p = 17, 0 = -3*m - x*p - 3. Solve 0 = -2*b + 5*l - m, -5*b = -0*b - 2*l + 13 for b.
-3
Let z be (-8)/12 - 195/(-9). Suppose -11*g + 147 - 125 = 0. Solve z = g*l - 5*r, -20 = -r + 5*r for l.
-2
Suppose -762 = 17*a - 2485 - 538. Solve -a*m + 137*m - 17 = 3*r, 4*m + r = 21 for m.
5
Let z be 16/28*(-28)/42*-42. Solve -2*d - z = 0, -3*d - 33 = -f - 11 for f.
-2
Suppose -b + 2*g + 41 = 0, 4*b + 3*g = g + 144. Suppose 4*z = 169 - b. Solve 5*c + 4*a - z = 2*a, 5*c - 4*a = 9 for c.
5
Let v(f) = -f**3 - f**2 + 7*f + 2. Let s be v(0). Let y be (-9 - (-282)/15) + s/10. Solve -2*a = -0*a - 3*o - y, 0 = 3*a - 4*o - 13 for a.
-1
Let m be (-4)/(-114) - (-820)/(-23370). Solve m = -2*k - 133*q + 137*q - 26, 2*q + 17 = -5*k for k.
-5
Suppose 0 = 3*m + 4*f - 88, f - 14 = 2*m - 58. Let z = -684 + 662. Let b = m + z. Solve -5*w + 7 = -b*i, -4*w = -4*i + i for i.
4
Let i(z) = z**2 + 2*z - 5. Let a be i(-4). Suppose -303 = 77*v - 178*v. Suppose o + 1 = d - 0*o, -o - 1 = d. Solve 2*f - 7*f + 15 = d, -v*f = a*k - 24 for k.
5
Let b = -6994 + 6999. Let v be -6*((-3)/(-9))/(-1). Suppose -3*u + 5 = -2*u + d, -15 = v*u - 3*d. Solve u*g = 5*g + 4*h - 8, 6 = b*g + 3*h for g.
0
Let a = -53 - -56. Let g = -7 + a. Let j be g/14 - (-180)/42. Solve -3*h - 18 = j*x - h, 19 = -4*x - 3*h for x.
-4
Let u(w) = -w**2 + 34*w + 83. Let j be u(36). Suppose -12 = -4*b - 6*c + 2*c, 0 = -3*b - c + j. Solve 4*t = 5*t - b*a, t + 4*a - 8 = 0 for t.
4
Let t(g) = -26*g + 123. Let z be t(4). Let a be z/57*6/1 - -2. Solve -4*i - l = -0*l + 14, -a*i + 2*l = 20 for i.
-4
Suppose 24*l = 12*l + 2*l + 50. Let h(m) = -m**2 + 6*m + 2. Let n be h(3). Solve -l*s + 9 = d, -5*s + 2*d = d - n for s.
2
Let r be 8/18 - 26855/(-1845). Solve 51*b + 3*s = 49*b + 19, -r = 5*b - 5*s for b.
2
Let p = -262 - -380. Let m = 121 - p. Solve -14 = -u - 4*r, 2*u - 12 = -m*r - r for u.
-2
Let f(r) = 5*r**2 + 114*r + 90. Let g be f(-22). Solve g*i = 5*l + 18, 19*l + 18 = 18*l + 4*i for l.
-2
Let r = -2 - -3. Suppose 0 = -904*h + 886*h. Solve 2*g - 5*b - r = -3, 4*g - b + 4 = h for g.
-1
Suppose -3*q + 65*w - 62*w + 24 = 0, 64 = 3*q + 5*w. Solve 3*c + 6 = 3*d, -q - 9 = -4*c - 2*d for c.
3
Let l(d) = -4*d**3 - 194*d**2 + 101*d + 150. Let v be l(-49). Solve -120 = f + 4*i - 103, 0 = -4*f - v*i - 29 for f.
-5
Suppose -41 + 221 = 15*c. Suppose -5*h - 25 = 0, -3*z + 4*h - c + 47 = 0. Solve -2*r - 3 = -0*s + s, 3*r = z*s + 28 for r.
1
Let r be 561/(-1309)*56/(-6). Solve -4 = r*n, -2*a - 4 = 3*n - 5*n for a.
-3
Suppose 3*w - 32 = 3*c + 19, 2*w - c - 28 = 0. Solve 5*s = -5*f - 30, f + 3*s = -w - 1 for f.
-3
Suppose -151*u + 164*u = 195. Solve -3*i - m + 3 = 0, 0*i = 2*i - 5*m + u for i.
0
Let u be 39 + (-61 - (-65 - -38)). Let o = -11 - -21. Let i = o + -4. Solve -3*y - 11 = -i*y + 2*z, -u*z - 21 = -y for y.
1
Let g = -9145 + 9149. Solve -58*s + 57*s = -v - 5, g*v = -3*s - 6 for v.
-3
Let d = 5614 + -5591. Solve 2*s + 2*s + 4*l = -4, -s + 7*l = -d for s.
2
Suppose 33 = 2*w - 31. Let r(h) = -3*h**3 + 12*h**2 + 27*h + 12. Let d be r(-2). Let z = w - d. Solve -3*l + 5 = -0*x + z*x, 5*l = 4*x + 1 for x.
1
Let a(i) = 13*i + 215. Let p be a(-15). Suppose 23*b = 18*b + p. Solve 4*r + 10 = 5*w - r, w - 3*r = -b for w.
5
Let h = -11 - -17. Let m be (-6 + 54/5)*40/h. Suppose -4*r + 28 = -3*k - 2, 0 = -5*r + k + m. Solve -r*z = -4*z - 4*u - 10, -5 = z + 3*u for z.
1
Let s(i) = 2*i**2 + 8*i - 24. Let v(c) = 10*c**2 + 41*c - 121. Let z(d) = -11*s(d) + 2*v(d). Let p be z(-5). Solve 2*f = 3*o + 1, -p*f - 28 = 4*o + 2*f for o.
-3
Suppose 58 = 4*f - 2*k, -5*f - 279*k + 80 = -274*k. Solve q + f = -5*c - 3*q, -2*q + 24 = -2*c for c.
-7
Suppose -2*m - 5*g + 2919 = 2946, 4*g = 3*m - 40. Solve -3*u = m*q - 11 + 20, q - 4 = -2*u for u.
5
Suppose -5*d - 51 - 174 = 0. Let k = -43 - d. Solve 0 = -5*a + 5*p - 20, -k*a = -5*a - 4*p + 9 for a.
-1
Let r = -205 + 206. Suppose -4*q + 5*a - 4 = 0, 3*a = -3*q + 30 - 6. Solve w - r + 12 = -4*t, 0 = -5*w - 3*t - q for w.
1
Suppose 0 = 19*a - 24*a + 2*o, -3*o = -4*a - 7. Solve a*k + 21 = -x + 28, 2*x + 3*k - 13 = 0 for x.
5
Suppose -9 = -3*a, -4*p + 3*a = -6400 + 6389. Solve -4 = -20*f + 24*f + 2*i, -12 = f - p*i for f.
-2
Suppose 3*m - 6*s = 12, 28*m - 31*m = -s - 22. Solve -4 = 2*x + t, -4*x + t - m = -2*t for x.
-2
Suppose -275 = -154*y - 33*y + 473. Solve 5*n = 4*q - 15, 4*q + y*n = -q - 12 for q.
0
Suppose 37*z - 4165 = -12*z - 36*z. Solve -5*q - o - 10 = 0, -22 + z = -4*q + 3*o for q.
-3
Suppose -351*f + 349*f = -14. Solve 2*h + 12*p = f*p + 2, 8 = h - p for h.
6
Let d = -22830 + 22832. Suppose 0*b - 2*b = -4. Solve -6 = -k - b*k, 2*k - d = -2*l for l.
-1
Let i(o) = 20*o + 139. Let t(p) = 1. Let q(f) = -i(f) + 2*t(f). Let x be q(-7). Solve 0 = -x*b - m - 0 + 3, 4*m - 12 = 4*b for b.
0
Suppose -3*i = o - 15, -4*i - 5 = -4*o + 7. Suppose -6*v + v = -0*v. Solve v = 3*a + o, -3 = y + 4*a + 9 for y.
-4
Suppose 21 = -5*t + 36. Let b be 177/21 - (-9)/(-21). Suppose -4*j = -3*z - 3*j + b, 5*j = 5. Solve a = -t*v + 9, a = -z*a + v + 10 for a.
3
Let w = 690 - 686. Solve 4*l - 4 = -5*p + 1, -4*p = -3*l - w for l.
0
Suppose 4*c - 4*c = c. Suppose 5 + 0 = x, c = j - x + 2. Suppose 4*v = i - 0*v + 7, -i = -j*v + 4. Solve -d - 18 = i*b, 4*d + d - 5*b = 0 for d.
-3
Suppose 146*z - 5*z + 11*z - 1216 = 0. Solve -y + 7 = -4*j, j + 9*y = z*y - 3 for j.
-2
Suppose 100*i - 3512 = 1388. Solve -i + 48 = s - 2*l, -2*l = -2*s for s.
1
Suppose -4*a = -12, 4*c + 3*a = -a + 76. Solve -4*n - 4*t = c, 0 = -5*t - 21 + 1 for n.
0
Let t(k) = 8*k**2 - 3*k - 23. Let l be t(2). Solve 2*a + l*f - 41 = -13, -23 = -a - 3*f for a.
5
Let c(t) = 407*t + 412. Let v be c(-1). Solve -5*j = 4*k - 12, -5*k + 9*j + 15 = v*j for k.
3
Let y = -40 - -44. Let x(c) = 4*c**2 + 8*c - 21. Let m be x(y). Let g = -66 + m. Solve -g = -2*t + 5*z, 0 = t + 2*t - 3*z for t.
-3
Suppose -4*z + 32 = 4*f, -23 = -4*z + 18*f - 19*f. Solve -5*b + z*p + 34 = -7*b, 3*b - 12 = 3*p for b.
-2
Let v(b) = b**3 - 19*b**2 - 35*b - 141. Let p be v(21). Let s(a) = 2*a - 10. Let l be s(6). Solve 2*z - p = -l*d, -2*d + 6 + 0 = -z for z.
0
Let k = 3871 - 3871. Solve k = a + 3*p + 5, -4*p + 6 = 2*a - 6*p for a.
1
Suppose 154*a = 29*a - 41*a + 498. Solve 11*n + l - 2 = 13*n, a*l = -6 for n.
-2
Suppose 168112*b + 437 = 168131*b. Solve -30 = -3*t + a - b, 10 = -2*t - 3*a for t.
1
Suppose 5*z - 244 = 5*c - 34, -2*z = c + 48. Let u = 43 + c. Let i be (-4 - 8/(-2))/u. Solve 5*f - k = -23, f - k + 4 - 1 = i for f.
-5
Let f(k) = 12*k + 80. Let a be f(-6). Let l be (-45)/(-18) + (12/a - -1). Solve -j = 3*g - 3*j, 5*g + 25 = -l*j for g.
-2
Suppose -2*c - 40 + 