. Let h be j(4). Let w = 10 + h. Suppose -4*q - 2*g = -w, 2*g + 3 = 3*q + 4. Solve o + 3*o - 5*u + 31 = 0, q*o = 3*u - 21 for o.
-4
Let r(z) = z**2 + 7*z + 4. Let a = -16 - -9. Let p be r(a). Let x = p - 4. Solve 2*s = -x*s - f - 6, -3*f + 32 = -4*s for s.
-5
Let k = -174 - -177. Solve 2*v + 7 = -k*f, 5*v + 21 + 9 = 5*f for v.
-5
Suppose -2*a + 3*t = -6, 5*a - 8*a + 6 = -3*t. Solve 0*y - 3*y = -5*s - 11, a = -2*y + 3*s + 7 for y.
2
Let r = 13 - 0. Suppose 0 = -4*l - 15 - r. Let w = l + 7. Solve w = -4*z + 2*k - 6, -k = 2*z - 3*k for z.
-3
Let q be -4 + (-7)/(7/4). Let b(r) = -r**3 - 7*r**2 + 8*r + 5. Let w be b(q). Let k = w + 2. Solve -3*m + 2 = -5*s + k, 4*m = -s + 1 for s.
1
Suppose 4*g - 2*q = 6, -88*g + 84*g - 2*q + 26 = 0. Solve g*j + 24 = 4*c, 2*j + 6 = 4*j + 4*c for j.
-3
Let w = 682 + -677. Solve 0 = 5*a + 3*u + 12, 0*a + w*u = 4*a + 17 for a.
-3
Let k be 1/(-3) - 21/(-9). Let r = 6 - 6. Let w = k - r. Solve 2*t + 4 = 5*n - w, -2 = -5*n + 4*t for n.
2
Suppose 5*o - 4*x + 9*x - 15 = 0, 11 = o - 3*x. Let a be 1 - (-4 - (o - 10)). Solve a = -3*i + 4*v - 3*v - 2, -3*i = -4*v - 10 for i.
-2
Suppose 5*v + 17 = -33. Let z be (-2 + v/3)*3. Let d = -12 - z. Solve -7*a - 8 = d*x - 3*a, -3*x = -3*a - 6 for x.
0
Suppose 181*h - 58 = 152*h. Solve 0 = 5*i + 5*o - 20, 0*i = h*i - 3*o + 7 for i.
1
Suppose -103 - 51 = -22*h. Solve k = 2*l - h + 3, 5*k + 5 = -5*l for k.
-2
Let z = 24 + -24. Let t(g) = -2*g - 2. Let f be t(-8). Solve z*v - 2*v = 2*x + f, 4*x + 5*v + 31 = 0 for x.
-4
Suppose 0 = 5*h + 2*c - 11 - 14, 4*h + c = 17. Suppose -h*g - 32 = -38. Solve -3 = -g*o + w - 2*w, -4*w = 3*o + 8 for o.
4
Suppose 3*b - 7*b = 208. Let c = -44 - b. Solve 0 = 2*r + 4 + 2, -t + c = -r for t.
5
Suppose 12 = -r - 6. Let l = r - -18. Solve l = -4*c - i - 9, -3*c + 4*i = -i + 1 for c.
-2
Let s(m) = -m**3 - 12*m**2 - 19*m + 13. Let d be s(-10). Solve c + 4*k = d, -3*k = 5*c - 9 - 6 for c.
3
Let p(b) be the first derivative of 7/2*b**2 + 1/3*b**3 + 8 - 13*b. Let q be p(-9). Solve -5*f - q*g + 30 = 0, 2*f + g - 16 = -2*g for f.
2
Let l be (-2 + 48/20)*35. Let r = 11 - l. Let o = r + 6. Solve 3*b - m + 3 = m, 4*b - o*m = -4 for b.
-1
Suppose 76 = 5*m + 461. Let w = -72 - m. Solve 3 = -w*g - i + 14, 0 = -2*g + 3*i + 18 for g.
3
Suppose 5*t - 30 = 4*r, 0*t + 13 = 4*t - r. Suppose i = -4*u + 5*i + 12, 3*u + 4*i = 9. Solve -u*w - 3 = -4*p + 4, 2 = -p + t*w for p.
4
Suppose 0 = -3*y - 4*p - 7, 4*y = p + 2*p + 24. Solve -12 = 4*u, -5 = -y*a + 4*a + 3*u for a.
4
Let p be 0 + (-1 + -5 - -4) + 4. Solve -n - p*n - y + 11 = 0, -2*n + 5*y + 13 = 0 for n.
4
Let g be 13 - (-25)/(-10)*24/10. Solve -4*a = r - 15, -4*r + 5*a - 10 = g*a for r.
-5
Let d = 26 + -22. Suppose 4*z - d = 8. Suppose -11 = -4*o - s, z*o + 2*s = 2 - 0. Solve w - 28 = 5*x, 3*w - o*x - 24 = -x for w.
3
Let y(f) = 4*f. Let t be y(3). Solve 0 = l + 2*w + t, 0*l - 3*l - 5*w - 31 = 0 for l.
-2
Suppose 5*m - 16 = -4*t, -3*t + 6 = -6. Suppose m*b - 10 = -5*b. Solve -s - 5*f = -17, b*s + 8 = 2*f - 6 for s.
-3
Let o(a) = a**3 - 7*a**2 + a - 7. Let c be o(7). Suppose c = -15*f + 14*f + 25. Solve 0*w + 4*w = 5*z - f, -2*z = w - 10 for z.
5
Let c = 1136 - 1121. Solve 5*v - q = -25, 3*q - c = 3*v + q for v.
-5
Let k(g) = g + 7. Let a be k(-4). Suppose -p = 3, x - a*p = -3*x + 17. Solve -5*m + 3*n - 22 = 0, -m - 3*n = x*n + 10 for m.
-5
Let s(p) = -p**3 + p**2 + 2*p. Let i(k) = -k + 10. Let o be i(8). Let y be -3*2*o/(-6). Let z be s(y). Solve -3*w + 29 = -4*j, z = -2*j - 0*w + 3*w - 19 for j.
-5
Suppose -2*l = l. Let m = 5 + l. Suppose 0 = 4*g + m*y + 9, -5*g + 3*y + 3 = -32. Solve -4*x + 0*i - 4 = 4*i, 4*x - 3*i + g = 0 for x.
-1
Let l be 8/(-8)*(-12)/(-2). Let k = l + 11. Suppose k*v = v. Solve -4*y = -v*n + n, 2*n = 5*y - 13 for y.
1
Let m = 6 + 18. Let j be 2 + 3 + -7 - -5. Suppose 2*c = -s + 8 + j, s = 5. Solve 5*x = 3*x + p - c, m = -x - 4*p for x.
-4
Suppose 0*g + 3*g = 9. Suppose -g*n - 20 + 65 = 0. Let h = -2 + 5. Solve -h*t + 8*v = 3*v + n, 0 = -4*t + v - 3 for t.
0
Suppose 0 = 10*v - 6*v + 8. Let n be (-1)/((-25)/85) - v/(-5). Suppose 0*b - y = -3*b + 10, 4*b - 12 = y. Solve 2*s + 3*h + h + 4 = 0, -2*s - n*h = b for s.
2
Suppose 2*g - 5*v - 14 = 0, 0 = -3*v - 2*v. Suppose 18 = g*l + 2*l. Solve -5*a = 2*z - 9, -7 = 3*z - l*a + 8 for z.
-3
Let v = -78 - -78. Suppose v = -19*m + 18*m + 3. Solve k + 0*h + h = 5, 0 = 2*k + m*h - 12 for k.
3
Let u = -19 + 20. Suppose -u = 6*f - 13. Solve -6*h + k - 6 = -h, 8 = f*h - 3*k for h.
-2
Let y(x) = 2*x - 6. Let h be y(4). Solve 14 = -5*z - 4*t, h*z - 3*z = -2*t for z.
-2
Suppose 26 = 4*i + 2*b, -3*b + 4 = 3*i - 20. Solve -2*g = -i*p + 21, 4*p + 3*g - 5*g - 16 = 0 for p.
5
Suppose 24 - 4 = 5*v. Let g = v - 2. Let j(x) = 5*x - 33. Let f be j(9). Solve 4*r + g*q - 32 = 5*q, 3*q + f = 0 for r.
5
Suppose 5*s - 30 = -5*k, -3*s - 4*k + 2 = -5*k. Suppose -y + 6*y - 125 = 0. Solve 0*f + 2*o = s*f, f - y = -4*o for f.
5
Suppose 0 = -4*y + 4*r + 24, 4*r - 5 = -5*y + 7. Solve -5*m - 12*a = -15*a - 5, -m - y*a = -24 for m.
4
Suppose -5*b = 3*r + r + 23, 4*b - 20 = 0. Let m(o) = -3*o - 33. Let z be m(r). Solve 2*d + d + 18 = -3*y, z*d = y - 10 for d.
-4
Let d(c) = -c**3 - 2 + 3*c + 5 - 1. Let n be d(-2). Let a be (-4 - 154/(-55))*(-10)/1. Solve -2 = 2*j + j - 5*h, 0 = j + n*h + a for j.
-4
Let v = -13 + 10. Let y be (-3 + (1 - -2))/v. Suppose s + 4 = j - y*s, 4*j + 3*s - 30 = 0. Solve -q = -4*t + 14, 2*t + 4 = 3*q + j for q.
2
Let i be (-10 + 12)/((-4)/(-8)). Solve 3*w - 18 = 5*s, i*w = 3*s - s + 10 for s.
-3
Suppose 3*g - 8 = 7*g. Let k = g - -7. Suppose 2*v - k*j = -2*j + 23, j = 2*v - 13. Solve -v = -2*w - 2*a, 4*a = -0*a for w.
2
Let x = 788 + -785. Solve x*q + 17 = -4*h, 3*q = -3*h - 11 - 4 for h.
-2
Let h(n) = -n**3 - 9*n**2 - 9*n - 6. Let k be h(-8). Let y = 4 + k. Suppose 2*z - 3 = z. Solve 3*p = -a - 1, -z*a = -4*p - 2*a - y for p.
-1
Suppose 3*a + 232 - 241 = 0. Solve -i = 4*i + 3*r + 16, -a*i + 4 = -5*r for i.
-2
Let a = -228 + 232. Solve 5*v + 2*z + 3 = -16, 2*z + a = 0 for v.
-3
Suppose 52 = 26*t - 0. Solve 0*w = w + 3*g, w = t*g for w.
0
Suppose x + 0*x = 0. Let k be 1 - -3*15/9. Suppose u + 2*u - k = x. Solve 5*i + 35 = -5*d, 0 = i + u*d + 3*d + 15 for i.
-5
Let z(g) = g**3 - 5*g**2 + 7*g - 10. Let u be z(4). Solve 0 = f + u*a, -3*a - 4 = -2*f - 11 for f.
-2
Let q = -35 - -43. Let r(i) be the first derivative of -i**3/3 + i**2 + 1. Let b be r(2). Solve 2*d = -3*w + q, 0 = 2*d - b*w + 4*w - 10 for d.
1
Suppose -44*y + 8 = -42*y. Solve 2*a - 2 = y*b + 10, 4*a + 5*b + 28 = 0 for a.
-2
Let z(n) = n + 0*n + 8*n + n**2 - 2*n**2 - 6. Let m be z(6). Let p = 15 - m. Solve 4*o = g, 0 = -4*g + 2*g + p*o + 5 for g.
4
Let p = -64 + 72. Suppose -p*r + 9*r = 3. Let k = -4 - -7. Solve 0 = k*f - 4*s + 31, -r*s = 2*f - 1 - 1 for f.
-5
Suppose -38 = 7*r - 52. Solve p - 7*d + 12*d = 0, d = r*p for p.
0
Suppose -3*z = 3*l - 12, -3*l + 0 + 16 = z. Suppose 5*u + 30 = 2*p, 4*p + p - u - 52 = 0. Solve 4*f + p = -2*a, l*f + 5*a = f - 25 for f.
0
Let s be (-1)/2 + (-266)/(-28). Solve -2*u + s - 1 = 4*n, -u = -5*n + 3 for u.
2
Let q(b) = -4*b - 11. Let j(h) = h - 22. Let m be j(18). Let y be q(m). Let c = y - 4. Solve -r - c = 3*z, -1 + 2 = -r for z.
0
Suppose 2*b + 7*a - 4*a = -4, -2*b - 5*a - 12 = 0. Solve b*n + 5*p + 10 = -11, -3*n - 2*p - 14 = 0 for n.
-4
Suppose -28*b = -23*b - 75. Solve 3*o = 3*j - b, 4*j + o = -4*o + 20 for j.
5
Let w be 1 + (-10)/(-10)*(0 - -1). Solve -2*u + v = -5, -2*v + 0 - 2 = -w*u for u.
4
Suppose -10*z + 8*z + 2 = -n, 2*z + 6 = -3*n. Solve z = -4*w + 4*v + 20, -w = -5*w + 3*v + 15 for w.
0
Suppose 0 = -7*i + 16*i - 27. Solve 2 = i*g + h + 8, -5*h + 18 = -g for g.
-3
Let k be 0 - (-2)/2 - -3. Let w be 1/(-2) + -6*(-20)/48. Let c = k - w. Solve -2*q - 2*i = -c, 0 = q - 5*i + 29 - 12 for q.
-2
Suppose -28*w - w + 116 = 0. Solve 5*h = 4*u + 18, -2 = w*u + h + 4 for u.
-2
Let j = -789 + 799. Solve r + 2*n - 1 = j, n - 4 = 0 for r.
3
Suppose 13 - 7 = 3*m. Suppose -3*l = -m - 7. Suppose 0*y + 15 = -l*y, -4*x + 11 = y. Solve 3*t + t - 3*z + 1 = 0, 4*t - x*z - 4 = 0 for t.
-4
Suppose -5*s + 287 - 262 = 0. Solve -s*m = 5*b + 25, 0*b + b = -4*m - 11 for m.
-2
Let g = -1073 - -1091. Solve 0 = -4*c - c + i + 23, -g = -4*c + i for c.
5
Suppose -3*c + 20 = -5*q, 0 = -0*c + 2*c + 2*q