= r*i - 3 - w for j.
-4
Let n = 225 - 237. Let w(t) = -4*t + 7. Let v be w(6). Let q = n - v. Solve -x = 5*z - 3, 0*z - q*x - 7 = 3*z for z.
1
Suppose -1 + 4 = -3*r. Let y be r/(3/2 - 2). Let s be y/5 + (-32)/(-20). Solve s*w = 6*w, -3*n + 15 = 4*w for n.
5
Let v = 226 + -221. Solve 0 = -v*h - n - 4, 4*n - n = 3 for h.
-1
Let y be (-3 - -4) + (2 + -11 - -1). Let a be (-1)/y + (-164)/(-28). Solve -2*f - 2*f - q - 15 = 0, 5*f - 3*q = -a for f.
-3
Let b be (-4)/(-10)*(-40)/(-16). Let g be (0 - (0 + b))*-2. Solve 3*s - 6 = g*l - s, s - 6 = 5*l for l.
-1
Let y be ((-75)/(-6) - 5)/(-6)*-4. Solve q = l - 7, 0 = 2*q + l - y*l + 18 for q.
-5
Suppose -10 = 4*x - 6*x. Let u(m) = -5*m + 13. Let d be u(2). Solve d*y = -4*s - 21, -s - 4 - x = 2*y for y.
-3
Let c(k) = -1405*k - 3*k**2 + 1407*k + 15 - 3*k**2 + k**3. Let n be c(5). Solve -2*h + f = -10, -4*h - f = -n*f - 14 for h.
4
Let i be (-2 - -1)*3*5. Let q = 21 + i. Let a be (9/(-6))/(q/(-20)). Solve 0*y - 4*v = -y + 13, 4*y - a*v - 8 = 0 for y.
-3
Let i be (16/(-40) - 7/(-5))*0. Suppose i = -8*y - 16*y + 48. Solve -y*z + 6*z = 2*x + 12, -5*z = -3*x - 17 for z.
1
Suppose -87 = -23*c + 5. Solve c*u = -4*z, 1 = 2*u - 1 for z.
-1
Let j(l) = 3*l**2 + 52*l + 21. Let m be j(-17). Solve 3*h - 4*r = 14, 2*h - m*h + 3*r + 10 = 0 for h.
2
Let v = 239 + -144. Let n = -95 + v. Solve 6 = -4*y - 2*j, -4*y + 0*y + 4*j + 24 = n for y.
1
Let c = -22 - -26. Suppose 3*d + d = 0. Suppose 0 = -4*q + 44 - 0. Solve 0 = g + 4*o + c + q, d = 2*g - 5*o - 22 for g.
1
Suppose 4*n = -3*y + 22, -5*y + 7*y = n. Solve -n = o + 3*m, 5*o - 3*m = -12 - 8 for o.
-4
Let a be 215/45 + 2/9. Solve 0 = 2*l - 5*l + 3, -3*d + a*l = 14 for d.
-3
Let p be (-1)/((-50)/140 + 2/(-14)). Solve -o + s + 7 = 3*s, p*o - 12 = -2*s for o.
5
Let q(w) = 2*w - 14. Let a be q(6). Let t be a/(-15) + 160/(-75) + 2. Solve 0 = -4*f - 2*j + 12, 4*j + t - 14 = -3*f for f.
2
Let y(k) = -2*k + 6. Let j be y(3). Let l be 10 + -6 - j/(-1). Suppose l + 0 = d. Solve 4*s - 32 = -d*w - 0*w, -2*s - 2 = -4*w for w.
3
Suppose 3*u - 8*s + 4*s + 7 = 0, -27 = -5*u - 3*s. Solve -5*v = -2*v + u*d - 12, -v - 4*d = -16 for v.
0
Suppose 368*z - 359*z - 18 = 0. Solve -a - 4*y + 10 = 0, 2*a - 3*y + z = -0 for a.
2
Let y(o) = 16*o - 110. Let v be y(7). Solve -3*m + 2 = -l, 0 = -4*m - 3*l + 4*l + v for m.
0
Let n(f) = f**2 - f + 6. Let g be n(0). Suppose -48*a + 51*a = -6. Let i = a + g. Solve -2*d = d - 12, 0 = i*b + 5*d - 32 for b.
3
Suppose 4*w - 4*b + 4 = 0, 5*w + 7 = 4*b + 2. Let s(m) = -24*m + 1. Let c be s(w). Let f = -18 + c. Solve -3*u = -2*r + 2 + f, 4*u + 2*r + 26 = 0 for u.
-5
Let c be ((-32)/72)/((-70)/(-18) - 4). Let x = 3 - 3. Solve x = y + 2, 0 = c*d + 2*y + y - 10 for d.
4
Let h = -28 - -31. Suppose -h*x + 10 = -5. Solve 2*z + 31 = -x*j, -j = 1 + 4 for z.
-3
Let j(a) = -a + 10. Let v be j(11). Let m be -1 + -1*(-2 - v). Let w(f) = 27*f**2 - 1. Let u be w(-1). Solve 0 = 2*q + r - 3, 4*q = 2*r - m + u for q.
4
Let l be 3/2*-1*(-22)/33. Solve 3*y = -5*x + 3, -l = -5*y + 4*y - x for y.
1
Let c = 77 - 83. Let j(p) = p**3 - p + p + 7*p**2 - 9 + 2*p. Let w be j(c). Solve r = -2*r - w, 2*r + 6 = q for q.
-4
Suppose 6*k + 274 = 3*w + 4*k, 0 = 3*k + 15. Let g be (w/(-3))/2*6/(-4). Solve 5*x - 3*a = g, -2*x + 3*a + 1 + 6 = 0 for x.
5
Let o(f) = -f. Let j be ((-3 - -4) + -4)*-1. Suppose 10 = -j*u - 5. Let r be o(u). Solve r*x = -15, -4*k - 1 = -x - 0*x for k.
-1
Suppose 23*o - 18*o = -5*c, 0 = 5*c - 3*o - 8. Solve -2*b + 7 = c, 2*a = 2*b for a.
3
Let q = 42 - 27. Suppose -i = 4*i - q. Suppose 0 = 3*d - 36*z + 34*z - 24, 3*z - 15 = -4*d. Solve 9 = i*v - 6*x + x, -2*v = 4*x - d for v.
3
Suppose 0 = -4*s + n + 10, 0 = 3*s + s + 5*n + 2. Suppose s*f = -f + 21. Let r = 9 - f. Solve 3*i + q = -14, 0 = -i + q - 0 - r for i.
-4
Suppose 0 = -41*y + 45*y - 8, -3*b - 2*y + 10 = 0. Solve 2*p = v + 3, -b = -3*p + 4*v + 5 for p.
1
Suppose -9*k = -5*k - l - 70, -5*k = 2*l - 94. Suppose 0 = 4*u + 2*o - 3 - 3, -3*o - k = -3*u. Solve 15 = 3*y + 5*q, 5*y = 3*y + q - u for y.
0
Let g be (-3 - -4) + (3 - 2). Suppose -6*f = -g*f + 12, -f - 3 = -2*q. Solve -s = -2 - 3, q = -l + 2*s - 10 for l.
0
Suppose -4*m + 34 = -18. Suppose 3*a + 3 = -2*t, -5*t + 4*a + 14 + m = 0. Solve t*n + u - 16 = 0, 0 = -3*n - 0*n + 5*u + 10 for n.
5
Let h = -821 + 835. Solve 3*c + h - 4 = 4*b, -5*c = 2*b + 8 for c.
-2
Let v(c) = 4*c + 40. Let w be v(-6). Solve 0*f - f = 4*x - 19, 0 = 4*f + x - w for f.
3
Let h be (3/9)/(1/(-6)). Let b be 3/(4 - h/(-2)). Let j = 255 - 246. Solve -b = x + j*c - 4*c, 2*x - 5*c = 13 for x.
4
Let d = 386 - 376. Solve 0 = 4*v - z + 1 - 6, d = -v + 4*z for v.
2
Let b(l) = l**2 + 8*l - 14. Let c be b(2). Solve -4*h = -h + 5*g - 8, -2*h - 4*g = -c for h.
1
Let t = 335 + -321. Suppose 3*r + 1 = -4*a, -a - r - 11 = -5*a. Solve -q + 11 = -3*q - 3*h, -a*q + t = -2*h for q.
2
Let q(i) = 3*i - 23. Let y be q(9). Solve -3*b + 15 = 0, y*b - 15 = 2*s - b for s.
5
Suppose 2*j - a = -2*a - 5, 0 = 2*j + 3*a + 15. Suppose -2*x + 4*x - 6 = j. Suppose -x*t + 2 = -16. Solve -d + 27 = -5*g, -d = -3*d - 2*g - t for d.
2
Suppose 63 + 0 = 21*v. Solve -3*m + v = x + 3*x, 12 = -2*m + 2*x for m.
-3
Let z = -18 - -29. Let p(q) = -q**2 + 11*q + 5. Let f be p(z). Let y be 14/(-35) + 27/f. Solve -2*b + 8 = g - 3*g, -y*g = 3*b - 4 for b.
3
Let o = 2 - -1. Let c(l) = 2*l**2 - 3*l - 3. Let r be c(4). Let b = r + -12. Solve -3*x - o*n + 11 = -7*n, 4*x = -b*n + 25 for x.
5
Let l = 307 + -307. Solve 2*v - 2*w - 4 = -l, 7 = -4*v + w for v.
-3
Suppose -4*y = 2*j - 6, -4*y - 2*j + 4*j = -26. Let n be 0 + 9/(9/y). Solve -4*i - 3*z - 5 = 0, -n*i - 4 = -4*z - 20 for i.
1
Suppose 10*w = 2*w - 912. Let p = w - -137. Solve 2*s + 4 = 2*l - 4, 2*s = 5*l - p for l.
5
Let i(z) = -z**3 - 8*z**2 - 10*z + 30. Let p be i(-5). Solve -g = -p*q - 22, -2*q - 4*g - 12 = 10 for q.
-5
Let x(w) = -w**3 + 7*w**2 + 16*w - 64. Let l be x(8). Solve 5*h = 4*t - l*t + 1, 14 = 2*h - 5*t for h.
-3
Let g = 802 + -787. Solve 2*b = -3*b - g, -b - 8 = 5*j for j.
-1
Suppose 14*k - 49 = -7. Solve n - 4*y + 25 = 0, 6*n - n + 40 = k*y for n.
-5
Suppose 14 = 2*y - 2*q, 7*q - 3*q + 25 = 3*y. Solve 2*t = y*w + 13, -3*w - 4*t + 16 = -7*w for w.
-5
Suppose -3*s + 12 = 3*l, 3*l - 6 = -5*s + 8. Suppose -3*i = -l - 12. Solve i*m + 16 = 5*z - 9, 2*m + 2*z = 6 for m.
-1
Suppose n + 2*m = 1, -8*m + 4*m = -4*n + 28. Solve 2*w + n*a + 7 = 6*a, -3*a + 10 = 5*w for w.
-1
Let v(z) = 2*z + 12. Let h = 1 + -5. Let w be v(h). Solve -4*r = -5*o - 16, -2*r + w*o = -0*r - 14 for r.
-1
Let t be 5*-3*(-1)/3. Suppose -t*o - j + 35 = 0, 2*o - j - 3 = 4. Let r be -7 + o - 52/(-2). Solve 5*v - 4*d = -d - r, 4*v + 20 = -d for v.
-5
Let n(f) = -f**3 - 6*f**2 - 7*f - 3. Let u be n(-5). Suppose u + 27 = 2*a. Let v = a - 15. Solve 4*k = 6*k - 2*m + 4, 5*k + v*m - 11 = 0 for k.
1
Suppose -r + 4*w + 40 = -w, 5*w + 120 = 5*r. Suppose 2*d - 4*a - r = 0, 3*a = -3*d + 14 + 16. Solve n - 5*h = -4*n + 10, -2*h - d = -5*n for n.
2
Let v = 923 - 919. Solve -35 = 4*z - 3*p, v*z - 2*p + 45 = 3*p for z.
-5
Let h = -10 + -4. Let r = -9 - h. Suppose -5 = -r*v + 10. Solve 0 = v*z - n + 13, 2*n + 7 = -2*z + n for z.
-4
Let g(a) = -a**3 - 10*a**2 + 40*a + 17. Let s be g(-13). Solve -s = -4*i - 4*q - 0, 4*i + 36 = 4*q for i.
-4
Let m(t) = t**3 + 7*t**2 + 7*t + 18. Let l be m(-7). Let w = 34 + l. Solve 0 = -2*h + 2*n - 6, -w = 2*h - h + 3*n for h.
-3
Suppose -p + 6 = -5*y, 4*p + 3*y = -y - 24. Let t be -2 - ((p - -7) + -11). Solve -3*m + 2*j + t = -4*m, -3*j = -m - 1 for m.
-4
Let z(c) = -4*c - 20. Let l be z(-14). Let s = 41 - l. Solve s*w - 2 = -n, w + 4 = 5 for n.
-3
Let k = 3 - 0. Suppose 3*s = k*o + 72, -o - o + 27 = s. Suppose 2*c - 4*u = -20, u - s = -c - 4*u. Solve c = -t + 4*t - 5*m - 19, 0 = -4*m - 8 for t.
3
Let s be ((-48)/(-10) - (-7)/35) + -1. Solve 2*z + 4*g = 16, 3*z - 14 = 2*z - s*g for z.
2
Let k(l) = -l**3 + 5*l**2 - 4*l + 2. Let w be k(5). Let o = 36 + w. Let d = 13 + -8. Solve -a = -d*b + o, 5*a + 3*b = 4*a + 6 for a.
-3
Suppose -19 + 115 = 12*z. Solve -z*r = -x - 4*r - 3, 3*x + 9 = -3*r for x.
-3
Let g(j) be the second derivative of j**5/20 - 19*j**4/12 - 19*j**3/6 - 8*j**2 - 23*j. Let p be g(20). Solve -m - 12 = -2*s - 3*m, m + p = s for s.
5
Let j = -920 + 565. Let r be j/2*(-8)/10. Suppose 97 = 3*d + 4