for z.
2
Let w(y) = -14 - y + 3 + 4 - 6*y. Let b be w(5). Let q = b + 45. Solve q*t + 2 = 5*f, 0 = 5*t - 3*f + f + 16 for t.
-4
Let p be (-243)/(-135) + 1/5. Suppose -9 = -9*t + 18. Suppose k - 37 = -2*s - s, 0 = s + 2*k - 14. Solve -p*a + s = -x + a, -t*a = 3*x for x.
-3
Let n(v) = -56*v + 1259. Let q be n(22). Solve -q*o + 31*o - 5 = -5*z, 0 = -2*o - 2*z for o.
-5
Suppose 2*y - u - 22 = 0, -39*y = -40*y - u + 8. Solve -z - 5*q + y*q + 18 = 0, -z + 2*q + 6 = 0 for z.
-2
Let m(l) = 2*l**3 - 72*l**2 - 2*l + 74. Let f be m(36). Solve 4*u = 3*j, 0 = -6*j + j - f*u for j.
0
Let q be (-9490)/(-30) - 8/(-12). Let m = q + -308. Solve 2*c + 9 = 5*x - m, 5*x + 2*c - 2 = 0 for x.
2
Suppose 10*j - 7*j + 9 = 0, 0 = -5*t - 2*j - 816. Let p be 9*(36/6)/t*-12. Solve -5*v - 9 = -0*v - 4*z, 5*v + z + p = 0 for v.
-1
Let v be 4/16 - (-14)/8. Suppose 14*l = 9*l + 15. Let i be (-6 + (-47)/(-7))/(3/21). Solve -v*w + i*t = -w, 0 = -l*w - 5*t for w.
0
Let s = 7968 + -7964. Solve 0*n - 5*h - 6 = -3*n, 3 = 3*n - s*h for n.
-3
Let o(j) be the third derivative of -j**5/10 + j**4/12 - j**3/2 - 19*j**2. Let k be o(3). Let v = -48 - k. Solve -n + 5 = -b, n + 4*b + v + 12 = 0 for n.
1
Let y be ((-8)/10)/((-6)/615). Let m = y - 86. Let k be (m/2)/(-5 - -3) - -1. Solve 5*s = -3*a - 11, -2*a = s - 4 + k for a.
3
Let y be (-220)/(-66) + (-5)/3*(-35)/(-175). Let x be 8/5 + 4/10. Solve -5*w + x*n = n + 25, y*n = -5*w - 25 for w.
-5
Suppose 0 = 4*t - 4*f - 12, -3*t - 1063*f = -1064*f - 3. Solve -2*a = -3*a + 3*g + 4, -3*a + 3*g = t for a.
-2
Suppose -74*y = -80*y. Let f = 57 - 17. Let p be y + (32/f)/(2/20). Solve 3*q = 2*z + p, 19 + 1 = 5*q - 5*z for q.
0
Let s(o) = -o**3 + o**2 + 10. Let m be s(0). Suppose -2*d + m = -0. Suppose 44*k + 10 = 46*k. Solve a - i - 16 = -d*i, 4*a = k*i + 1 for a.
4
Let b(j) = -j - 7. Let d be (-2)/(-6) + ((-70)/21 - 6). Let g be b(d). Solve 4*p - g + 11 = -3*t, 0 = -2*t - 2*p - 6 for t.
-3
Suppose -86*k - 330*k = -832. Solve 2*q + 2*t + 8 = 0, -2*q - 4*t - k - 4 = 0 for q.
-5
Let s be 12/2*(-6)/(-18). Suppose w + 10 = 5*i, 8*w + 8 = 3*w + 4*i. Solve 5*t - 2*m = -14, w = -t + m - 3 + s for t.
-4
Let j = -1 - 2. Let w = j + 8. Let y be ((-52)/(-39))/(12/27). Solve 13 = -4*z + y*v, -6*z + w*v - 18 = -3*z for z.
-1
Let w(b) = -b**3 + 6*b**2. Let j be w(6). Suppose -3*c + 3 = -j*c. Let y be ((-6)/(-7))/(11/(-14) + c). Solve -y*q - 4*g = 0, -5*g = 2*q + 2*q + 1 for q.
1
Let j(u) = 2*u**2 - 2*u. Let r be j(3). Suppose -4*g = -g - r. Suppose 21 = 3*l + g*l. Solve -s + 4*n = 4*s + 33, l*s + 5*n + 5 = 0 for s.
-5
Let q = -24 + 8. Let j(c) = 2*c + 24. Let a be j(q). Let b(y) = -y**2 - 7*y + 11. Let p be b(a). Solve n - s = 9, -p*s = -n - 0*n + 19 for n.
4
Let p = -110 + 112. Suppose -3*g = -2*u + 21, -4*u + 5*g - p*g = -27. Solve -6 = q - 4*h, 2*q + u*h + 4 = 7*h for q.
2
Let n(h) = 7*h**2 + 7*h - 4. Let t be n(-6). Let z = -203 + t. Solve -3*d - g - 5 = -4, 11 = -d - z*g for d.
1
Suppose s - 26*y - 19 = -24*y, 2*y = 4*s - 52. Solve -5*z + 7*n = s*n - 35, 8 = z + n for z.
3
Let n = -157 + 160. Suppose -3*h = 5 + 7. Let q be (-40 - 0)/h - 2. Solve -5*v - q = r, v = -3*r - n*v - 13 for r.
-3
Let r be (3 - (-1 - -3))/(56/1736). Solve d + 32*f - r*f + 2 = 0, 0 = -f - 4 for d.
2
Suppose 2*j = 4*u - 34, 39*j - 40*j + 7 = 2*u. Solve 4*h - u + 20 = 3*g, 4*g = 5*h + 18 for g.
2
Let a(p) = p**3 - 3*p + 4. Let s be a(1). Suppose 2*g - 5*g = -h - 12, -3*h - 8 = -s*g. Solve -y - 3*y - 4 = h, -6 = -4*q + 2*y for q.
1
Suppose 11*f = 17 + 5. Suppose -2*i + 3*o = 2*o - 2, i + f*o = -9. Let s be i + 1 + (16/4 - 0). Solve -2*z - 11 = 3*z + s*v, -z - 6 = -3*v for z.
-3
Let v = 5 - 3. Let z = -468 + 816. Let g = -345 + z. Solve 4*l = g*f + 4 + 6, -5*f = -2*l - v for f.
2
Let k = -1841 + 1844. Solve k*b + 2*b + 10 = 2*z, 3*z - 15 = 2*b for b.
0
Suppose 0 = 4*i + 5*n - 31, 202*n - 26 = -5*i + 200*n. Solve 5*f = i*a + 17, -5*f = -2*a - 12 + 1 for a.
-3
Suppose -4*p - 8 = -4*j, 3*j + 3065 = -3*p + 3101. Solve 10*r - p*r + 5*l = 0, -3*l = -5*r + 32 for r.
4
Let o = 7622 - 7577. Solve -3*b + 5*r = 25, 0 = -4*r - 37 + o for b.
-5
Let g(v) = -v**3 + 23*v**2 + 26*v - 38. Let l be 28 + (-30)/12*(-24)/(-15). Let a be g(l). Solve 2*x - 1 = -2*w + 9, a = 2*x for w.
0
Suppose -5*o = -25, 6*t - 5*o + 85 = 9*t. Suppose -g = -2*m - 5, -8*g = 2*m - 12*g + t. Let n = 10 - 7. Solve 0 = -x + n*s - 1, -2*x - 5*s - 2 = m for x.
-1
Let l(s) = s + 6. Let g be l(-4). Suppose 5*h - 17 = 5*v - g, 0 = -2*h - 2*v + 26. Suppose -x = -h*x - x. Solve 4*k - c = -17, k + 5*c - 33 + 11 = x for k.
-3
Let j(g) = 7*g + 67. Let r(l) = 3*l - 45. Let h be r(12). Let c be j(h). Solve 3*o = 2*s + o - c, 2*o = -5*s - 11 for s.
-1
Suppose 231 = -3*o + 72. Let w be o - ((-2)/4)/((-1)/4). Let s = -53 - w. Solve 5*m - 4*c + 30 = 0, -3 = -m - s*c + c for m.
-2
Let n be 98*14/84*(0 + 9). Let i be (-1)/7 + 756/n. Solve 3*s = i*l + 11, -5*s - 3*l = -s - 5 for s.
2
Suppose 21*m - 12*m - 23*m = -350. Solve 5*k - 25 + 0 = -r, 3*r - 5*k = -m for r.
0
Suppose -82 = 37*i - 8. Let f be 1/10 + (i - 39/(-10)). Solve -3*x + 4 + 2 = 0, -f*x = -4*r + 16 for r.
5
Suppose 6*f = 12*f - 18. Suppose f*m - 60 = -m + 4*c, m = -5*c + 9. Suppose k + k - m = 0. Solve 0 = j + 4*x + 13, -3*j + 3*x = -j - k for j.
-1
Let w(y) = 3*y - 19. Let t be w(13). Let j = -297 + 317. Let b = t - j. Solve -4*f + b - 3 = -p, 0 = 4*p + 3*f + 26 for p.
-5
Let c = 26 + -12. Let i = -10 + c. Suppose 0*x = i*x - 20. Solve x*k - 3*m = -12 - 13, 2*k + 10 = m for k.
-5
Let c be (-20)/(-120)*258*(0 + 0 + 1). Solve 0 = 4*k - 5*n - 18, 3*k - 2*n + 33 = c for k.
2
Let q = 1996 + -1991. Solve -5*p = 4*d + 1 + q, -p - 4*d = -2 for p.
-2
Suppose 3*z = -3*z + 12. Let s = 227 + -227. Solve x + a + 13 = 5*a, x + z*a + 1 = s for x.
-5
Let l be 10*183/(-12)*138/(-115). Let h = l - 178. Solve 4*b + 7 = k, 4*k - h*k + 5 = -3*b for k.
-1
Suppose -2*q + 123 = 117. Suppose 4*u - 3*u = -b + 3, -q*u - 26 = -4*b. Solve z - b*r = 20, -z - 5 = 3*r - 1 for z.
5
Let w be (9 + (2 - 1))/2. Let z(u) = 7*u**2 + 150*u - 492. Let l be z(3). Solve 2*p - w*g = 0, 7 - l = 4*p - 3*g for p.
-5
Let n(r) = r**3 + 2*r**2 + 2*r - 16. Let f be n(-5). Let o = 56 + f. Let u = o + 45. Solve 2*l - a - 1 - 1 = u, 5*a + 5 = 5*l for l.
1
Let i(g) = -16*g**3 - 3*g**2 + 6*g - 5. Let j be i(2). Let c = -132 - j. Solve -2*b + 6*b = -3*t - c, -3*b = -2*t - 12 for t.
-3
Let o be (126/117)/((-118)/(-767)). Suppose 4*d - 8 - 16 = -3*u, 2*u - 5*d + 7 = 0. Solve t - 3*j = -j + o, -3*j - 16 = u*t for t.
-1
Suppose -19 + 55 = -12*x. Let c be (-1 - 11)/x*(-9)/(-12). Solve 3*f - 4 = -2*k, c*f - 11 - 8 = -5*k for k.
5
Let k = -14 + 8. Let o(r) = 2 - 24 - 9*r + 18 - 44. Let x be o(k). Solve 0 = 2*n + l - x*l - 20, -4*n - 3*l + 14 = 0 for n.
5
Suppose -3*i - 8 = -3*o - i, 5*o - 8 = -2*i. Suppose 0 = -7*p - o*p + 18. Solve -r + 2 = -k, -5*r - 2*k - 27 + p = 0 for r.
-3
Let t(i) = i**2 - 6*i + 5. Let c(q) = 6*q - 1. Let k be c(1). Let l be t(k). Let y be 1/(-3)*l/8. Solve -5*o - 12 = -4*x, -4*o + 5*o + 5*x + 14 = y for o.
-4
Suppose -6*z = 17*z - 368. Let g be ((-6)/2)/(z/((-704)/33)). Solve 5*c = g*b, 3 = -b - 2 for c.
-4
Suppose 17*d - 851 = 1580. Let z = 143 - d. Solve 3*n = 5*a - 4*a + 13, z = 3*n + a - 11 for n.
4
Let y = -52 + 55. Let j be 12/((-133)/(-190) + 8/10). Solve -y*o = -3*s + 6, 22 = -3*s + j*s - o for s.
5
Suppose 6*f - 2*f = f. Let n(l) = l + 3. Let y be n(f). Solve 5*a + 14 = -h, -3 + 12 = -2*a + y*h for a.
-3
Let q = 9 + -2. Let l = q - -14. Suppose -202*h - 8 = -483 - 131. Solve -3*a - 2*b + l = 0, -h*a = -0*b - 3*b - 6 for a.
5
Let q = -41 - -54. Suppose 3 = -4*c + 7, -2*c + 22 = 5*k. Solve -k*b + 2*y - 26 = 0, 5*y = -5*b + y - q for b.
-5
Let o be (-7)/5 + (-9 - (-603)/45). Solve 2*i + 6 = -4*n, -15*i + o*n + 6 = -16*i for i.
3
Let h = 3092 - 3090. Solve -h*i - 3*c - 2 + 8 = 0, 0 = 3*c for i.
3
Let a(j) = -13*j - 61. Let z be a(-5). Suppose v = z*b + 23 - 2, v - 3*b = 16. Solve -2 = -c, 4*w = -2*c + v + 23 for w.
5
Let x = -18 - 36. Let w = x + 57. Solve i = -4*i - 2*m + 20, -w*i = -3*m - 12 for i.
4
Let q be 18/4*((-372)/(-18) + -4). Let i = 80 - q. Solve 5*a - 35 = 5*x, -3*x = -i*a - 3 + 30 for x.
-4
Let d(h) be the first derivative of -h**2 + 12*h + 15. Let i be d(6). Suppose 0 = -3*t - i*t + 15. Solve -n - 2*c =