- 5, -x - 5*t - a = u for x.
-1
Suppose -45 = o - 2*o. Let k = o - 40. Solve h = 4*u - 0*u + 25, -k*u + 5*h - 50 = 0 for u.
-5
Let g be 4/7 + 157/7. Let o = 28 - g. Solve 4*j = -i + 8, 8*j - o*i - 32 = 4*j for j.
3
Suppose -2 = -w - 0. Suppose -14 = -w*b - 3*i, 2 - 12 = -5*b + 5*i. Let o = 9 - 6. Solve -b*t + 26 = -5*u, 0 - 2 = o*u + t for u.
-2
Suppose 0 = 5*b - 0*b - 40. Suppose 0 = -15*l + 10*l + 30. Solve l*w = 2*w + 3*k - 4, w + k = -b for w.
-4
Suppose 21*t - 39 = 8*t. Solve 7*v + 1 = 2*v - 3*j, 11 = -v + t*j for v.
-2
Let q = -58 - -26. Let a be q/(-56) + (-66)/(-7). Suppose -7*v - a = 2*r - 3*v, 4*r = -3*v. Solve r*u + m - 17 = 0, 5*m - 41 = -2*u - 2*u for u.
4
Let d = 58 + -48. Suppose -d = -w - w. Solve -3*u - 10 = -w*l - 5*u, 5*l = 2*u - 10 for l.
0
Let t be 0*(-11 + -1 - -11). Solve 0*n - 5*n + 3*g - 7 = t, 0 = 3*n - 3*g + 9 for n.
1
Let l(h) = -7*h**3 + 2 + 11*h**3 - h + 29*h**2 - 30*h**2. Let c be l(1). Solve -2*j = 3 + 1, -3*v - c*j = 8 for v.
0
Let j = -3117 - -3122. Suppose -4*q = -n - 16, 2*q + 2*q - 28 = 4*n. Solve 0*y - 5*k = 2*y - 9, y = -q*k + j for y.
2
Suppose 54 = -38*j + 44*j. Solve 25 = -3*h - 5*c, -j = -h + 2*h + 2*c for h.
-5
Suppose 3*j - 16 = -j. Suppose 1 = -2*b + 5. Suppose b*s = 2*a - 26, 3*s + 0*s = 5*a - 75. Solve -j*i - 14 = -2*d, 4*i - a = 9*i - 3*d for i.
-3
Let u = -37 + 17. Suppose 0 = -4*o - o - 5*i - 115, -o - 2*i = 26. Let q = o - u. Solve 2*n = y - q + 1, 2*y = n - 2 for y.
-1
Suppose 2*h = -5*i + 21, -h + 6*h + 2*i - 21 = 0. Solve -3*g + 2*g = -2*v + 9, -h*g + 4*v = 23 for g.
-5
Let q be ((-56)/(-70))/((-2)/5). Let s be q/8 + 36/16. Suppose 3*x + 0 = 4*i - 2, -3*x + 2*i = -s. Solve -4*n - x*p = -p - 4, 3*p + 2 = 2*n for n.
1
Let a be (0/(-1))/(-1*1) - -5. Solve c - q + 4 = 6, 3*c + a*q = 22 for c.
4
Let m = -547 + 552. Solve -d + 2*d = -4*r - 5, r = -4*d - m for r.
-1
Let f(b) = b**2 - b - 1. Let w = 25 - 27. Let l be f(w). Solve -15 = -l*a - 5*g, 2*g - 4*g = -10 for a.
-2
Suppose -17*n = -15*n - 4. Solve -5*v + 6 = p, -n*v + v + p = 0 for v.
1
Suppose -4*j + 3*f = -21, -3*j + 38 = 5*f - 14. Suppose -3*o - 5*k + 4 = -3*k, 0 = -4*o + k + j. Solve 21 = 5*c - o*p, 0 = -5*p - 23 + 8 for c.
3
Let v = 1018 - 991. Solve -6*m + m = -2*g + v, 4*m = 5*g - 25 for m.
-5
Suppose -q = 4 + 14. Let u be q/(-4)*(-2)/(-3). Solve -5*m - 25 = 0, -u*g = -7*g + 5*m + 5 for g.
-5
Suppose u + 0*u - 5 = 0, -4*u - 49 = -3*t. Suppose 0 = -5*d + 2*d + 6. Let g be 2/(4/6) + d. Solve 3*a - t = -3*x + 7, -a = g*x - 30 for x.
5
Let i be (-11)/(-4) - -1 - 28/(-112). Suppose -i*l = 2*l - 84. Solve -9 = -3*v - 5*a + 22, -2*a = 2*v - l for v.
2
Let h be ((-84)/70)/((-6)/20). Suppose -5*s + 9*s = h. Suppose -q + 6 = s. Solve -2*z + q*z = n - 12, -2*n - 16 = 2*z for n.
-3
Suppose 24*w - 21*w = -3*q, -2*w + 2*q + 20 = 0. Solve -2*u + 5*f = 35, 0 = -w*u - f + 4*f - 40 for u.
-5
Suppose 56*u = 60*u - 8. Suppose -5*h - 3*y + 12 = 0, -6*y + u*y = 5*h - 16. Solve -5*x + 18 = -i, h = 4*x + x + 5*i for x.
3
Suppose 0 = 14*j + 226 - 282. Solve 0 = -j*h - u - 9, h = -u - 0*u - 3 for h.
-2
Let m be 51/119 - (-2 - (-130)/(-7)). Solve 1 = -2*y - 3*u - 0, -3*y + 3*u + m = 0 for y.
4
Let v be (-54)/(-10) - (-6)/(-15). Let o(j) = 2*j**2 + 11*j - 38. Let f be o(-8). Solve 1 = -v*x + x + 3*h, -5*h + 11 = -f*x for x.
2
Suppose -16 = -3*l + 2*o - 57, 5*l - 4*o = -67. Let v = -11 - l. Suppose v*b = -4 + 20. Solve -2*i + b*t = 2*i + 12, i + 5*t = -9 for i.
-4
Suppose 6 = -3*p + 12. Solve 3*i + 40 = -p*i + 5*f, 5*f - 20 = 0 for i.
-4
Let m be 0 + (-2)/(-13) + (-408)/(-221). Suppose -m*u + 9*u - 35 = 0. Solve -2*t = -p - 9, 2*t - 3 = u for p.
-1
Let f(w) = -2*w - 4. Let g be f(-6). Let q = -7 + g. Let t be -2*1/(-1)*q. Solve 3*i - 10 = -t*x - 2, -1 = -5*x + 2*i for x.
1
Let g be 10 - -1 - (1 - -2). Let t(c) = -2*c**2 + 47*c - 20. Let v be t(23). Solve -4*w = -2*s + 1 - v, -s - g = 5*w for s.
-3
Suppose 4*o = -p + 10, 0 = 4*p - 0*o - 3*o - 2. Solve -4 = -3*g + p*w, -4*g + 5*w + 9 + 8 = 0 for g.
-2
Let z = 20 - 6. Let s be -7 + (-198)/(-30) - 24/(-10). Solve -2*j + 10 = -f + 2*f, 0 = s*j + 2*f - z for j.
3
Let f(x) = 4*x**3 - 111*x**2 - 29*x + 34. Let p be f(28). Solve -5*m - t = -p*t, 0 = 5*m - 4*t - 3 for m.
3
Let w(q) = 2*q**2 - 3*q. Suppose 4*a - 4 = 2*a. Suppose p = -0*p + a. Let f be w(p). Solve 4*u - h = 4, 2*u - 2*h + f = 10 for u.
0
Let c(m) = 6*m + 80. Let k be c(-13). Solve k*h + 0*w + 4*w - 12 = 0, 10 = h + 3*w for h.
-2
Suppose -3*a - 3*l - 12 = 0, -l + 2 - 6 = 5*a. Solve 5*v - 4*v - 2*z - 2 = a, 0 = -2*v - 2*z - 2 for v.
0
Let o = 61 - 56. Let n(l) = -l**3 + 6*l**2 - 10*l + 11. Let q be n(4). Solve -2*b - 1 = -q*s, 3*b - 19 = -4*s + o for s.
3
Suppose 5*j - 3*q - q - 34 = 0, 2*q - 58 = -5*j. Let s be (-18)/(-12) + j/4. Solve 5*t = 4*d + 7, s*d - 5 - 9 = -2*t for d.
2
Let w be 16/20 + (-2)/(-10). Suppose 0 = x - 4 + w. Suppose -n = -5*f + 14, -5*f = -x*n - 8 - 4. Solve 3*v - 22 = 4*i - f, -i - v = 3 for i.
-4
Let i be (-5 + -3)*(-2)/4. Suppose -5*g + i = -2*s, 5*g = -3*s + 4*s + 7. Let f be 2 + -4 + g + 3. Solve 1 = k - f*m, -2*k + 3*m = 2 - 1 for k.
-2
Suppose 89*y - 85 = 72*y. Solve -a + 3*a + y*k = -25, 0 = 3*k + 15 for a.
0
Let q(u) = u**2 + 8*u + 2. Let b be q(0). Solve 4*y - 5*l + 7 = 0, -b*l = 3*y - 7*l + 9 for y.
2
Let x be 3 + -10*((-84)/15 - -2). Let m be (-2)/(-6) - (-182)/x. Solve -m*b - 8 = 3*u, 5*b - 4*b + 2*u = 4 for b.
-4
Suppose -4*a + 40 = 4*c, 2*c - 29 = 4*a - 3*a. Let f = c + -11. Solve 5*s = 3*m - 3 - f, 3*s + 2*m = -22 for s.
-4
Let y(h) = h**2 + 9*h - 133. Let z be y(-17). Solve 5*a + 4 = -2*f, -a + 0*a - 6 = z*f for f.
-2
Suppose -4*o + 13*s = 9*s - 20, 5*o - s = 25. Solve -r + o*r - 5*y + 27 = 0, 5*y = -4*r + 3 for r.
-3
Let p be ((-10)/4 - -2)*20. Let d = 9 - p. Let j = 8 + -4. Solve -c - y + d = -j*c, 4*y - 11 = -c for c.
-5
Let q be ((-3)/2 - -2)*(6 + -6). Solve -r + 2*w - 9 = -2*r, 2*r - 4*w + 6 = q for r.
3
Let f be (-1419)/(-24) - 1/8. Let g = f + -53. Solve 5*c + 21 = 4*x, g*x = 4*x + 2*c + 10 for x.
4
Let f = -47 - -72. Suppose -23 + f = k. Solve -5*q + 2*l = -4, -5*q = -k*l - l - 1 for q.
2
Suppose p - 76 = -3*p + 3*r, 0 = -3*p - 5*r + 28. Let x be 3 + 3 + 1 - 1. Let q = -2 + x. Solve -4*m + 4*b - q + 12 = 0, -5*m + 3*b + p = 0 for m.
5
Let s(d) = 2*d**2 + 10*d + 2. Let z be s(-5). Suppose z*q = 3*v - 73, -3*v + q + 94 = v. Solve 3*p - v = 4*f - 0*f, 2*f + 2*p + 8 = 0 for f.
-5
Suppose -519*d + 525*d - 12 = 0. Solve -1 = -f + d*a, a - 9 = 3*f - a for f.
-5
Let d = -231 + 232. Solve -5*n + 1 - 4 = -2*a, -3*n = -2*a + d for a.
-1
Suppose 0 = 11*j - 12*j + 2*z + 22, j + 5*z - 43 = 0. Solve -j = 3*g + 4*q, 7*g = 2*g - 5*q - 40 for g.
-4
Let o = 167 + -165. Solve -q + o*p = 9, -6*q + 3*q = 2*p - 5 for q.
-1
Let n(h) = -16*h + 2. Let f be n(-1). Suppose f = 3*g - 0*g. Solve -4*q - 8 = d, -2*q + 2 - g = 2*d for q.
-2
Suppose -2*g + 2*h = h - 3, 5*h - 25 = 0. Solve 5*f = -3*q - 1 + 5, 0 = -4*q + g*f + 16 for q.
3
Suppose 0 = 3*y - 2*y + j, 5*y - 15 = -2*j. Let b(k) = k**2 + k**2 - k**3 + 0*k - y + 3*k + 8. Let u be b(3). Solve -o - z = -3, -5*o - u*z + 13 = -4*o for o.
-2
Let s be (-1 - -1)/(-41 - -43). Solve s = 2*o + 3*o - 10, 3*g + 2 = -2*o for g.
-2
Suppose -4*b = -23 + 63. Let r(s) = -s - 8. Let i be r(b). Solve 3*f = -5*t + 31, 19 = 3*t - i*f + 4*f for t.
5
Let z(i) = -i**2 - 14*i - 45. Let n be z(-6). Solve -3*s - 31 = s - n*k, 5*s - k = -25 for s.
-4
Let r(u) = 4*u**2 + 21*u + 9. Let g be r(-5). Suppose 4*f = f. Let z be (1 - 2 - -2) + 1. Solve -z*s + 8 = -5*v, s - g*v - 4 = -f*s for s.
4
Suppose 0 = 139*k - 112*k - 297. Solve 0 = 3*n - f + 4 + 9, 0 = -3*n + 2*f - k for n.
-5
Suppose -101 = -7*o - 31. Let d be (6/4)/((-4)/(-8)). Solve 5*v - 23 = -d*y, y - o = -3*v + 3 for y.
1
Suppose -34 = -p - 30. Let j(v) = v**2 + 7*v + 10. Let z be j(-6). Solve -4*b + 0*u + 36 = -5*u, -z*u - 32 = -p*b for b.
4
Suppose 3*l + 7 = 2*l. Let s = l - -7. Solve 5*r + 4*m = -5, s*m = -2*m for r.
-1
Let p(m) be the first derivative of m**3/3 + 2*m**2 - 5*m - 12. Let w be p(-5). Solve 2*d + 4*b - 14 = -0*d, w = -5*d - 4*b + 17 for d.
1
Let p(z) = z**3 + 15*z**2 - 17*z - 13. Let x be p(-16). Let l = 12 + -18. Let d be (-7 + 1)*2/l. Solve 4*o = 3*q + d, -x - 11 = 4*o + 5*q for o.
-1
Let r = -651 + 664. Solve -4*o - 2*h + 0 = 6, -3*o +