- 2*q = 21 for z.
3
Let z(b) = 11 + 5*b**2 + 90*b + 0*b**2 - 131*b. Let h be z(8). Let v be (-2)/9 - (-114)/27. Solve 0*r - r = -2*s + 3, v*r = -h*s - 1 for s.
1
Suppose -19*j = -41*j + 13*j + 45. Solve -a = a - 4*q + 12, 0 = 4*a + j*q - 2 for a.
-2
Let z = 34 + -20. Suppose z = -m + 2. Let x = m + 14. Solve 2*u + 9 = -2*l - l, -x*u = 5*l + 11 for l.
-1
Let s(a) = -a**3 - 9*a**2 + 35*a + 254. Let r be s(-10). Solve 5*c - p = 25, -r*p - 15 = -3*c - 7*p for c.
5
Let f = -31 + 30. Let r be f/((5 + -2)/(-66)) + 2. Suppose 2*t + 48 = 6*t + 4*h, t = 5*h + r. Solve 4*q + 20 = -2*k, 2*q + 0*q - t = 5*k for k.
-4
Let q(u) = 3*u + 48. Suppose -90 = 2*f + 4*f. Let h be q(f). Solve -33 = h*o - 3*z - 6, -4*z = o - 16 for o.
-4
Let z(f) = -11*f**2 - 35*f + 38. Let s be z(-4). Solve -2*a - 4 = s*g, -4*g + 0*a + 2*a + 16 = 0 for g.
2
Let j(g) = -2*g**2 + 2*g + 226. Let z be j(-10). Solve x - z*x + 1 = -3*f, 3*x + 9 = 5*f for f.
3
Let k(v) = 2*v**2 + 8*v. Let g be k(-3). Let i(c) = -c**2 + 7*c + 82. Let p be i(g). Solve -5*h + z + 3 = -8, -p*h + 3*z = -11 for h.
2
Suppose 0 = 4*r + 5*f - 35, r - 2*f - 7 = 5. Solve l + r = -p, p = -l - 2*p - 22 for l.
-4
Let k(n) = n**3 - 25*n**2 - 28*n + 57. Let o be k(26). Let l(s) = -s - 11. Let t be l(-17). Solve -25 = -i + o*a, 0 = -2*a - 2 - t for i.
5
Let a(z) = 172*z - 1204. Let u be a(7). Solve -2*o - 5*g - 11 = u, 0 = -3*o + g - 4 - 4 for o.
-3
Let d = -4185 + 4188. Solve -13*x + 9*x + 3*c + d = 0, -4*c - 4 = 3*x for x.
0
Let g(j) = -20*j + 81. Let q be g(3). Let n = q + -16. Solve -3*d + 18 = 3*z, 2 = -n*d + 22 for z.
2
Suppose o - 3 = 2*p - 0, -p + 1 = -3*o. Let j be 1 + p/(-20)*5*0. Solve -2*t + 4*t + 5*z = j, 0 = -4*t + 3*z - 11 for t.
-2
Suppose 3*x - 3791 = -5*h - 3783, 2*h - 5*x - 28 = 0. Solve -j = 2*a + 9, h*a - 14 = 5*j - 39 for a.
-5
Suppose 4*m = 5*v - 13, -5*m + 9*v - 5*v - 5 = 0. Solve -o + 8*p = 3*p + 15, -1 = -o - m*p for o.
-5
Let c = 36 - 33. Suppose -b - 5*v = 19, 0 = 5*b + c*v + 8 - 1. Let t = 4 + b. Solve z + t = 4*g + 4*z, 0 = -g - z for g.
5
Let b(o) = -2*o**3 - 9*o**2 + 7*o + 11. Let i be b(-5). Suppose i = 37*z - 73. Solve -c - z*j + 9 = 2*j, -4*c - 3 = 3*j for c.
-3
Let z(i) = 2*i**2 + 5*i - 20. Suppose -v + 12 = 17. Let b be z(v). Solve -2*g - 3*r = 10, 2*g + 0*g = b*r + 22 for g.
1
Let d(k) = -k**3 + 84*k**2 - 165*k + 98. Let i be d(82). Solve -4*l + 12 - i = 0, 5*p = -l - 11 for p.
-2
Suppose 0 = 30*u - 27*u - 153. Solve 5*d + 2*o + u = 18, -40 = 4*d + 5*o for d.
-5
Let l = 279 + -274. Let t(c) = 26*c - 119. Let r be t(l). Solve s = -5*y + r, -4*s + 4*y - 2 - 2 = 0 for s.
1
Let l be -16 + 24 - (33/(-22))/(1/(-2)). Suppose -2*h + 6*h + 52 = 4*p, -p - 4*h = -3. Solve -v - 9*t + l*t = p, -2*t = 4 for v.
-3
Let i(c) be the second derivative of -c**3/2 - 49*c**2/2 + 14*c - 1. Let b be i(-18). Solve -z + 6*z - 5*k - 5 = 0, 0 = -5*k + b for z.
2
Let s(d) = d**3 + 17*d**2 + 19*d + 30. Let k be s(-15). Suppose -k*m + 204*m - 45 = 0. Solve -4*r - 4 = -3*l, -6*r = -l - m*r for l.
-4
Let j(u) = -u**3 - 11*u**2 - 47*u - 83. Let t be j(-5). Solve 31 = 4*d - 5*q - 0*q, t*q - 6 = -3*d for d.
4
Let v(j) = -6*j - 24. Suppose 48 = 16*w - 12*w. Let o be v(w). Let m = 100 + o. Solve -2*h = -3*r - 14 + 4, m*r = h - 15 for r.
-4
Let f = -521 + 525. Suppose -7*t + 11*t = f*y - 4, 2*t + y = 10. Solve 0*u = t*u - 3*x - 3, 5*x = 3*u - 13 for u.
-4
Let k be 1 + 52 - (1 - -1). Let r(i) = -i**3 + 46*i**2 + 12*i - 528. Let a be r(46). Let f be k/1*8/a. Solve 5*b - l - f = -5, 0 = -5*l - 10 for b.
2
Let x be 58/174*6*-1. Suppose 0 = v - 2*t - 16, -2*t - 17 = -v + t. Let m be x/v - (-1)/(28/32). Solve 0 = -i - 5*b - 0*b + 17, m = -i + b for i.
2
Suppose -q + 3*x + 23 = 0, -54*q + 59*q - 45 = 5*x. Solve -2*m = -5*v - 33 + 36, 5*v + q*m = 7 for v.
1
Let w be (-286)/(-55) + (84/80 - 2/8). Solve -l = -4, -4*j + 3*j - w = -2*l for j.
2
Suppose 0*l = -5*l + 50. Suppose -k = 5*z - 12, -14*z = -l*z - 4*k. Solve -9 = -4*b - r, -3*b + z = -3*r - 1 for b.
2
Suppose -74 = -3*s + 2*u - 45, -s - u - 2 = 0. Solve s*o + h - 27 = 0, 28*o + 5*h - 5 = 29*o for o.
5
Let m(o) = -8*o - 189. Let q be m(30). Let x be 2/7 + q/(-91). Solve 2*c - 4*c + 28 = -4*h, x*h = 2*c - 33 for c.
4
Let g be (-1)/(-7)*-1 - 19323/(-21). Let j = -916 + g. Solve -3*x + y = 2, -4*x + 3 = -j*y + 19 for x.
1
Let p = 362 + -346. Solve 29 = -m + 5*c, 3*c - p = -m - c for m.
-4
Let x(l) = 89*l + 42. Let z be x(-2). Let k = z + 167. Solve -3*c = 5*r + k, 2*r + 3*c + 21 = -r for r.
-5
Suppose -225*z = -142*z. Suppose h = -4*j + 8, 3*h - 5*j - 6 = 1. Suppose -h*q - 2*o = 2*o + 4, 0 = -o - 5. Solve 0 = q*l + x - 4, -x + 3*x = z for l.
1
Let s(j) = -819*j**2 + 10*j - 2. Let h be s(1). Let x = h + 814. Solve 0 = x*r + k + 11, -5*k - 27 = 5*r + 8 for r.
-2
Let d = 34 - 29. Suppose 0 = d*a - 0*a. Suppose -3*f - f + 12 = a. Solve i = -4*t + 4*i + 15, 9 = 2*t - f*i for t.
3
Let f be 1*10 - ((-27)/((-351)/(-104)) + 15). Solve -3*a - 8 = -5*t + 7*t, f*a - 3*t + 3 = 0 for a.
-2
Let k be 34/12 - (0 + (-3)/18). Let o(j) = -4*j - 31. Let m be o(-9). Solve -m*s - 2 = -n, k*s + 3 - 11 = -4*n for n.
2
Suppose -4*l = 3*z - 6*z + 30, 2*z - 4*l = 24. Suppose -y = -5*q + 2*y + 4, -5*q = y - 12. Solve f - z = -5*c + 2*c, q*c - 21 = 5*f for f.
-3
Let p be (-2)/(4/(-18))*(-23)/(-1587)*23. Solve -p*n - 7 - 16 = -5*a, n - 11 = -3*a for a.
4
Let c be 7 + 161/(-21) + 28/6. Suppose -19 + 11 = -c*g. Solve -n - 5 = 0, m - 15 = 5*n - g*n for m.
0
Let n(p) = -p**3 - p**2 + 7*p + 6. Suppose -4*d = -2*i + 22, -17*d + 5*i - 28 = -16*d. Let x be n(d). Solve -4 = -t + y, x*y = 4*t + 7*y - 16 for t.
4
Let z = -1518 - -1523. Solve -3*w = -2*w - 5*r + 6, -5*r = z*w for w.
-1
Let x = 31953 + -31948. Solve -x*f = 5*a + 5, -17 = f + 2*a - 21 for f.
-6
Let u = -6314 + 6318. Solve 40*a - 7 = 39*a + 2*x, 0 = -u*a - x + 1 for a.
1
Let h be (-5)/(-15 + -5) - 1781/4. Let y = 449 + h. Solve 0 = -2*f + 5*d + 15, -y*d - 12 = -0 for f.
0
Suppose 11*z - 28 = 4*z. Suppose -c + 6*c = z*u - 22, 0 = 2*u + 3*c. Solve u*l = 2*k + 7*l + 16, 15 = -3*l for k.
2
Let r(u) = 142*u + 10227. Let g be r(-72). Solve 3 = g*t + 3*v, -8*t + 4*v = -3*t - 32 for t.
4
Let m be (0 + -14)*161/(-46). Suppose m = 14*h + 7. Solve 4*r + 30 = -5*a, -h*r + 0*a + 3*a = 9 for r.
-5
Suppose -k = -k + 3*k. Suppose k = 3*x - 2*x + 22. Let n = x - -24. Solve n*o + 5*y = 1 + 10, y - 1 = 0 for o.
3
Let v = -85 + 67. Let y be 80/12 - (-12)/v. Let z be (((-14)/y)/(-1))/(12/72). Solve 2*x = -5*s + 29, 2*s + 2*s = 3*x + z for s.
5
Let o be ((-10)/(-15))/(4/36). Suppose o*j = 12 + 18. Solve j*b + 2*q + 9 = 0, -5*q - 9 = -5*b + 4*b for b.
-1
Suppose 29 = -3*r - 61. Let m = -17330 - -17300. Let s = m - r. Solve 5*q - 26 = k - s*q, 23 = -3*k + 4*q for k.
-1
Let d(y) = 13*y - 54. Let o be d(10). Let l = o - 62. Suppose -20 = l*x - 16*x. Solve 0 = k + 5*s + 2 + x, -6 = 2*k + s for k.
-2
Let j(g) = 22*g + 176. Let s be j(-8). Solve -4*r + 4 = -2*k + 14, s = k + 3 for r.
-4
Suppose -6*g - 40780 + 40864 = 0. Solve -3*b - 64*f + 59*f + g = 0, 0 = 4*b + 2*f - 28 for b.
8
Suppose 4*p - 4*s = -116, -5*s - 1 = -6. Let k = -52 - p. Let w be (9/12)/((-6)/k). Solve r + w*r + 5*x = -10, -r + x + 2 = 0 for r.
0
Let l be ((-2)/(-3))/(7 - (-1248)/(-180)). Let s be (-596)/(-23) + l/115. Solve 0 = 5*r + z - 5 + s, -2*r - 14 = -z for r.
-5
Let k(x) = 18*x + 1171. Let d be k(-65). Solve -l - 5 = -v, -d = v - 14*l + 15*l for v.
2
Let t(i) = 74*i - 1475. Let d be t(20). Solve 5*k - d*c + 35 = 0, -3*k = c + 6 + 7 for k.
-5
Let t(d) = -4*d**3 - 39*d**2 - 10*d - 196. Let z be t(-10). Solve z*y = 2*b + 7*y + 1, 4*y = -3*b - 3 for b.
-5
Suppose 4*w - 8 = 8. Let i be w + 1 - (0 - 0). Solve -5*n - 50 = i*d, d - 3*d = n + 15 for n.
-5
Suppose 419 = 38*q + 47*q - 431. Solve -4*p + 3*x = 7, -5*p + 4*x = -0*p + q for p.
2
Let w(q) = -q**3 + 3*q**2 - 17*q + 214. Let n be w(6). Solve 0 = -j - 5*g - 20, 9*j - 10*j + g = -n for j.
0
Let h = -1744 + 1745. Solve -y = -2 + 1, -h = -2*l + 3*y for l.
2
Suppose 0 = a - 5 - 7. Let t be ((-16)/(-6))/(a/18) - -2. Suppose 7*q - t*q = 15. Solve 0 = -5*p - 2*m - q, 2*p = 4*m + 10 + 8 for p.
-1
Suppose -4*n - 5*o - 75 = n, 4*n + o = -45. Let z be (-2)/n - (-42)/15. Let g be (-9)/(-3) - (4 + -1). Solve -x = -z*y - 16, 4*x - 4 + g = 0 for y.
-5
Let h = 6337 + -6337. S