3*w - 3*m + q for w.
4
Let b = -31 - -34. Suppose b = -2*n - 3*p - 2, -2*p = 3*n. Solve n*d = 5*u - 2, 3*d - 2 = 5*d for u.
0
Let n(m) = -m + 20. Let r be (-18)/5*1/(-1)*5. Let q be n(r). Solve -x - q*a + 14 = -5*a, -2*x - a = -7 for x.
5
Let s be (9/18)/(1/4). Suppose s + 0 = l. Suppose -l*d = -7*d + 4*b + 14, -3 = d + 5*b. Solve -8 = 5*i - d*u + 3, i = 2*u - 7 for i.
-1
Suppose -o = 1, -5*g + o + 38 - 12 = 0. Solve -29 = 3*d + 11*b - 6*b, 17 = d - g*b for d.
-3
Let b(o) = -o**3 - 4*o**2 + 22*o + 80. Let i be b(-3). Let u = -52 + 84. Solve i*l - 8 + u = -2*z, 0 = l - 2*z for l.
-4
Let z(s) = 4*s**2 + 3*s + 3. Let q be z(-1). Suppose 0 = -n + q*w + 23, 5*n - 4*w - 58 - 25 = 0. Solve -3*u = 4*r - r + n, -2*r = 2 for u.
-4
Suppose -2*q - 10*m = -5*m - 3, -37 = -9*q + m. Solve -q*f = 3*g - 15, -4 = 5*g + 4*f - 7*f for g.
1
Suppose 0 = 5*a - 5*n - 5, -a - 5*n = -2*a - 15. Suppose -19*k + 11 = -27. Solve -a*p = -2*y + 4, k*y + 0*p = -5*p + 4 for y.
2
Let u(l) = -l**2 - 3*l + 4. Let s be u(-3). Suppose 6 = q + 5*w, -118*q + 120*q + 3*w = 12. Solve -1 = 3*k - 2*h - q, s*k = -5*h + 45 for k.
5
Let z be 0 + (1 - -3) - (5 + 3). Let c(g) be the first derivative of -g**3/3 - 3*g**2 - 5*g - 1. Let k be c(z). Solve o = -3, 4*v - 6*o + 3 = -k*o for v.
-3
Suppose -1866*j + 189 = -1857*j. Solve f - 2 = 0, -c - 3*f + j = -4*c for c.
-5
Suppose -3*v = v. Suppose v*g = g. Let q(l) = -l**3 + l**2 + 5. Let h be q(g). Solve h*f - 21 = -b, -b - 3*b = -4 for f.
4
Suppose 5*t - 18 = 2*t. Suppose -3*k + t*k = -3. Let p(b) = 3*b**2 + 2*b + 1. Let h be p(k). Solve -2*u - 3*x = -3 + 4, h*x + 6 = 4*u for u.
1
Let u = -31 - -32. Suppose 0 = -r - u - 18. Let t = r + 21. Solve 5*o + 5*s = -10, -t = 3*s + 4 for o.
0
Suppose -11*u + 95 = -6*u. Suppose 2*l + u = -1. Let c be 45/(-18)*8/l. Solve -c*i + 4*f = 0, -7*f + 3*f - 6 = -5*i for i.
2
Suppose 5*w = 59 + 16. Let d(u) = -2*u**2 - 7*u + 2. Let q be d(-5). Let y = w + q. Solve -5*g = 0, -2*k + y*g + g = -8 for k.
4
Let r = -9 + 14. Suppose 3*f = r + 10. Suppose 6*a - 2*a - 6 = -f*t, a + 3 = t. Solve -g + 2 - 5 = 0, 5*u - t = -g for u.
1
Let l = 465 - 462. Solve -m + l*t = -16, -4*m + 6*t + 32 = 2*t for m.
4
Let q be 2/(-1*2/(-20)). Suppose 0 = 5*r - 0*v + v + 4, 5*v + q = r. Suppose -s + r = -11. Solve 0*w - 3*t = -w + s, 2*t + 8 = 0 for w.
-1
Let z be 4 - (-2 - -2 - -2). Solve z*t - 1 = t - 4*d, -3*t + 2*d = 11 for t.
-3
Suppose -2*d = -13 - 19. Suppose 5*c - 4 = d. Solve -4*o + 7*o + 4*n + 8 = 0, -o + c*n = 8 for o.
-4
Suppose 4*c + 0*c = 16, 2*k + 14 = -3*c. Let l = k + 31. Solve -a + l + 2 = 3*p, p - 25 = -4*a for a.
5
Let p = 15 + -10. Suppose 2*a - 104 = -16. Suppose -a = -p*v + 41. Solve 1 = 4*i + c, -4*i - 5*c = -v - 4 for i.
-1
Let p(o) = -2*o**3 - 2*o**2 - 3*o - 3. Let j be p(-1). Solve -3*y = 2*y - 3*t + 12, 2*t - 8 = j for y.
0
Let l(q) = q**3 + 4*q**2 - 7*q - 7. Let k be l(-5). Suppose k*u + 0*u - 3 = 2*r, -4*r + 21 = 3*u. Solve -5*g - s = -u*g - 8, 4 = 2*g + 3*s for g.
5
Let j(w) = w**3 - w + 8. Let s be j(0). Let k be (1/(-4))/(1/(-4))*3. Solve -y - 15 + 2 = 2*x, k*x - s = 4*y for x.
-4
Let d(k) = -k**3 + 3*k**3 - k - 1 - 5*k**3 + k**2 - k**3. Let f be (1 + 0)*(-3)/3. Let a be d(f). Solve 7 = 5*r + h, 4*h + h = 5*r + a for r.
1
Suppose 4*j - 5*t = 706, 3*t + 56 = -4*j + 746. Suppose 7*n - n - j = 0. Solve -5*d + n = r, -r - d = -6*r + 15 for r.
4
Let d be 0*((-5)/2 - -3). Suppose 5*u = -l + 3, -2*u + 4*l = -d*u - 10. Solve 5*b + u = -9, -2*b + 8 = -3*w for w.
-4
Let p = -2 + 5. Let h = -19 - -41. Let f be (0*(-3)/6)/(-1). Solve -p*a = -s + 4, f*a + h = -5*s + a for s.
-5
Let u(l) = -l + 11. Let n be u(11). Solve g + 0*g - 1 = n, -2*g = -5*w - 7 for w.
-1
Suppose 3*i = y + 4*i - 5, 4*y + 2*i = 20. Solve -y*d = -5*h + 20, -5*d = -0*h - h + 20 for d.
-4
Let p(c) = 9*c**2 + 20*c + 5*c + 16 + 6*c**2 + c**3 - 26. Let b be p(-13). Solve b*y = j - 1, 5*y + 0 = j - 5 for j.
-5
Suppose -6*u = r - 11*u + 18, u = 2*r. Solve -j - j - 12 = 4*b, 2*b - r = j for j.
-4
Let r = -162 + 162. Solve -2*y = -3*o + 13, 4*o - 4*y + 3*y - 14 = r for o.
3
Let w be (10/(-4))/(5/20). Let i(g) = -g**3 + 21*g**2 - 2*g + 39. Let z be i(21). Let r be w/z*(-3)/(-2). Solve -3*a - 3*f = 0, 0*a + 3*a + 2*f - r = 0 for a.
5
Suppose -11 - 25 = -9*v. Suppose 2*c = 3*m + 65 - 14, v*m = -3*c + 34. Solve -5*i - 7 = -f - 3*f, -3*f - 4*i = c for f.
-2
Suppose 0*n - 5*g = -4*n + 45, 3*n - g = 20. Solve 3*b = n*i + 23, 4*b - 17 = -b + 3*i for b.
1
Let b be 2/(0 - 2) + 2. Let l be 54/(-6) - (-1)/b. Let y = 10 + l. Solve -3*v = -3*k, k + 3*v - y = 3*k for k.
2
Let o be 35*3/6*2*-1. Let g = o + 41. Suppose w - 8 + 4 = 0. Solve -2*q - 2*j = -g, -4*q + w*j + j = -30 for q.
5
Let z(v) = 3*v**2 + 2*v + 1. Let o be z(2). Let q be 2 + (9/1 - -1). Let g = q + -8. Solve 26 = 3*u - g*y, -4*u - 6*y - o = -y for u.
2
Let w = 3 + 0. Suppose -18*t + 50 = 7*t. Solve 20 = -5*a + a, 0 = w*u - a - t for u.
-1
Suppose 0 = -6*h + 10 + 2. Solve 2*u - 7*u + 5 = 4*g, 3*u = h*g - 19 for g.
5
Suppose i = 5*y - 6, 3*y - i = 2*i - 6. Suppose y*f = -5*p, 0*f = -3*f + p. Solve j + j - 2 = f, -2*w + 3*j = 1 for w.
1
Suppose 46*g + 20*g = 264. Solve 2*a - g + 6 = 0, 3*a = -3*w - 3 for w.
0
Let a be -35*((-6)/5)/3. Suppose 11*g + 18 = a*g. Let x be (5 - -5)*(-4)/(-10). Solve 3*z - x*z = 4*v - 7, 0 = 2*v - 2*z - g for v.
2
Let l be (-1 + -1)*7/(-2). Let v be -3*(-1)/(-1) + l. Suppose 0 = -3*a - 15, -v*q - 4*a + 5 = 17. Solve 2*s + 9 = -q*i - 1, 5*i = 3*s - 9 for i.
-3
Suppose 2*s + 0*h + 2*h = 2, 0 = s - 3*h - 13. Solve 2*g - 12 = 2*d, s*g + 4*d = 2*g - 12 for g.
2
Let t be (-6)/18*(-1 + 1). Suppose -4*n + 13 = z, 2*z + t + 2 = -n. Solve -2*f + n*b + 1 = 3*f, 2*b = f - 5 for f.
-3
Let f be (78/(-15) - -4)*(-60)/18. Solve 2*n - 20 = -4*j, 21 = 5*j - 4*n - f for j.
5
Let t = -109 + 114. Let b be t/(-30) - (-122)/12. Solve -5*l - 5*q + 0*q = b, l - q - 4 = 0 for l.
1
Let w be (-214)/14 + 8/28. Let r = -11 - w. Let t be -1 + 1/(5 - r). Solve t = -0*s - 4*s - 4*i + 8, -5*s + 5 = 4*i for s.
-3
Let d = -610 - -613. Suppose 0 = 3*m + m. Solve -p + 2*r + m*r - 11 = 0, 0 = -4*p + d*r - 24 for p.
-3
Let w = 16 + -13. Suppose -4*g + w*d - 48 = -140, -3*g = d - 69. Solve -3*u = 2*b - u - 16, -b - 4*u = -g for b.
3
Suppose -4*t = -38 + 22. Suppose -3*f = -3, -5*f - 12 - t = -3*k. Let j = k + -5. Solve 4*m + 4*i + 16 = 0, 7*m + 11 = 2*m - j*i for m.
-1
Let r(f) be the first derivative of f**2/2 - 7*f - 1. Let i be r(12). Solve -4*v + 3*s = 16, -20 = i*v - 3*s - s for v.
-4
Suppose -u = -2*a - 1, 5*a + 2*u = -2*u + 30. Let n(y) = y + 15. Let p be (14 - 6/3)*-1. Let i be n(p). Solve 3*j = -a*x, 0 = -0*j + i*j + 3*x - 3 for j.
-2
Suppose 3*r - 2*r = 0. Let l = -57 + 33. Let v = -24 - l. Solve r = -5*d + 5*o - 10, -d - 4*o = -v*d + 2 for d.
-2
Let c = -60 + 63. Solve -8*r + 5*q = -4*r + 12, 0 = r + 4*q + c for r.
-3
Let j be (-32)/160*(-1 + 26)*-1. Solve j*n = -c, 3*n + c = -c for n.
0
Suppose -33 = -3*k - 2*n + 4, 3*k - 2*n = 29. Suppose k*q = 10*q. Solve 2*d + 2 = q, -d + 6*d = -5*o - 10 for o.
-1
Let q be ((-1)/(-1))/((-2)/(-8)). Suppose -q*y - y = -30. Suppose o = -2*o + y. Solve 0 = 5*z - 4 - 6, -2*j - 6 = -o*z for j.
-1
Suppose 0 = 14*r - 5*r - 27. Solve -r*j - 5*f - 2 = -1, -2*f = -5*j + 19 for j.
3
Let o be 9*10/(-135) + 17/3. Solve 0 = -y - 4*h + 19, 0*y + 14 = -2*y + o*h for y.
3
Suppose -5*a + 720 = 5*o, 2*o = o + 5*a + 144. Let n be 32/o - (2 - 34/9). Solve -2 = 2*t - 3*m - 9, 5*t = n*m + 23 for t.
5
Suppose 4 = -4*g, p + g = -1 + 2. Suppose p*u + 22 = -3*w, u - 13 = 5*w + 2. Let l = w + 9. Solve 5*z = 5 - 0, -l*f = -5*z for f.
1
Let x be (16/(-6) - -3)*(10 + -4). Suppose x*r = -10 + 20. Solve -r*f - 3*a - 25 = 0, 5*f - 2*a + 25 = a for f.
-5
Let c be (-2)/17 + (-24)/(-204). Solve -v + 5*m = 10 + 5, -4*v + 5*m - 30 = c for v.
-5
Suppose 0 = 73*c - 76*c + 42. Solve -4*y + c = -3*j, 5*j = -3*y + y + 20 for y.
5
Let i(b) = b**3 - 17*b**2 - 20*b + 39. Let s be i(18). Solve -s*k + n + 7 = 3*n, -5*n = 2*k - 1 for k.
3
Suppose 0 = -3*f - 6*s + s - 14, 4*s = -2*f - 12. Solve -13*j + 4 = f*i - 11*j, 0 = -4*j for i.
2
Let n be -3 - (0 - (1 - -2 - -5)). Let i(j) = j**2 - 4*j - 2. Let y be i(n). Solve 3*g = -y*c + 6, 1 + 0 = 5*g - 4*c for g.
1
Suppose -n - 5*a = n - 15, 0 = 4*n + a - 21. Let p(z) = -9*z - 6