 = x + 4*z for x.
1
Let r = -5 + 2. Let d be -3*(r - (-28)/(-3)). Solve -5*m + 4*u - d = 0, 4*m - u + 5*u = -8 for m.
-5
Let j(k) = -k**2 - 3*k + 4. Let w be j(-4). Let i = w + 12. Solve -h - i = -4*x, -h - 2*h = -2*x + 6 for x.
3
Suppose l + 0*l = 6. Solve -t - l = -2*x + 1, -5*t - 30 = -5*x for t.
-5
Let l = -96 + 58. Let r be l/4 + 3/(-6). Let y = r - -13. Solve j = t + 4*j, 3 = y*j for t.
-3
Let j(t) = t**3 + 4*t**2 - 7*t - 6. Let o be j(-5). Solve -2*x - 11 + 3 = 3*d, 0 = o*x + 2*d for x.
2
Let r = 21 + -26. Let g(z) = 21*z - 3. Let a be g(-3). Let f be a/(-15) - (-2)/r. Solve -f*y - 4 = -4*n, 3*y - 1 = 5*n - 6 for n.
1
Let o be (-6)/(-3) + -3 - -1. Suppose o*a = -5*a + 55. Solve 1 = 3*f - 2*k + 3*k, -f = 3*k - a for f.
-1
Let f(x) = -x**3 + 7*x**2 - 6*x + 8. Let u be f(6). Let p be -1*(-1 - 1) + u. Solve i = 4*t - 17, 2*t + 5*i + p = -9 for t.
3
Let v be 2 + 1 + -1 + -1. Solve -3*o + v = 4*i, 0 = -3*i - 3*o + 6*o - 15 for i.
-2
Let x be 5 - (-2 - -4) - 1. Suppose -c = 2*c - 12. Suppose -2*b - 2*s + 12 = 0, 2*b + 3*s - 4*s - 3 = 0. Solve -t - 9 = -b*d + x*t, -c = -2*t for d.
5
Let c be (10/4)/(1/2). Suppose -3*y = -c*w - 8*y + 15, w = 2*y. Let m = 6 - 4. Solve -2*q + 18 = m*q - w*o, 4*q - 20 = 4*o for q.
4
Let y(q) = 5*q**3 - q**2 + 1. Let v be y(1). Solve n - 2*n - 4 = 0, -v*d = -5*n for d.
-4
Let l = 16 + -11. Suppose -4*a - 2 + 7 = 3*f, -5 = -3*a - f. Solve -22 = -a*h + 4*k, -2*k = l*h - 5 - 14 for h.
5
Let i(d) = d**3 - 5*d**2 - 4*d. Let n be i(5). Let o be (-36)/(-10) + 12/n. Solve 0 = 2*j + o*l - 3, 3*j + l = 3 - 2 for j.
0
Let i be 4/12*6 + (-3)/(-3). Solve 3*o - i = h - 17, 0 = -2*h - 5*o - 16 for h.
2
Let a = 1 + 2. Let d(x) = -x - 16. Let t be d(-12). Let b = -1 - t. Solve 6*j - a*j = -b*r, -2*r + 4*j = 24 for r.
-4
Let v be ((-4)/(-3))/((-1)/(-3)). Suppose -v*t - 11 - 9 = 0. Let d be 2/5 + (-13)/t. Solve -3*j + 9 = -2*x, 2 + d = -2*x - j for x.
-3
Suppose 2*x = 4*x - 16. Let g(l) = l**2 + 2*l - 3. Let i be g(-4). Suppose i = z - 0*z. Solve -2*u - x = z*a, -u = 2*a - 2 + 6 for u.
-4
Suppose 5 = -4*y - 43. Let h = y - -5. Let d = 10 + h. Solve -5*b - 1 - 7 = -2*f, -2*b + 12 = d*f for f.
4
Suppose 4*b - 3*f - 30 = 38, -12 = -3*f. Let i = b + -20. Solve 3*w - q = 3, -5*w - 3*q + 8 + 11 = i for w.
2
Let k = -77 + 80. Solve -o - 3 = 0, -2*o = 4*q + k*o - 5 for q.
5
Let x = -19 - -22. Solve -w = -2*w - x*z + 13, -13 = 3*w - 4*z for w.
1
Let l be (-4 + 2)*(-9)/6. Suppose -2*t = l - 9. Solve -t*p + 5*i + 11 = -5, -4*p = 2*i - 4 for p.
2
Let b be 1/(4/32*4) - -2. Solve b*m = -6 - 2, 3*m = 2*f - 10 for f.
2
Let q(u) = -u - 4. Let o be q(-9). Let k = o + -3. Solve 2*t + k = -t + 4*c, -c - 1 = 0 for t.
-2
Suppose 1 - 13 = -4*z. Let r(u) be the third derivative of u**5/60 - u**4/12 - 2*u**2. Let q be r(z). Solve -4*s - k = -13, 5*s - q*k + 4*k = 15 for s.
2
Let h = 12 - 6. Let p(o) = -4 + o**2 - 2*o**2 + 7*o - 3*o + 3*o. Let s be p(5). Solve h = -3*x, -t + x + 3*x = -s for t.
-2
Let t be (-10 - -14)*(-2)/(-4). Solve 11 = -t*j + 5*d, -3*j - 3*d - 6 = -0*j for j.
-3
Let i be 18/2*(-7)/(-7). Solve q = -3*b + 2*b + i, -2*q - 17 = -5*b for q.
4
Let l = 83 - 82. Solve 5*y + 3*w = 40, 0 = 2*y - 3*w + l + 4 for y.
5
Let m be 4 + -7 - (-4 + -3). Let h be (-68)/(-11) - m/22. Let z be 4*(1 + (-2)/8). Solve 0 = -2*f + 3*p + 12, -z*p - 3 - h = -f for f.
3
Let v be (-2 - 1)/(3/(-2)). Suppose -3*m + 18 = -3*j, -m - 10 = 3*j - 2*m. Let g be v + 0 + 2 + j. Solve 22 = -3*b - 2*u, 5*b + 2*u + 40 = -g*u for b.
-4
Let h(q) = -q + 1. Let x be (-1 + 9/6)*-4. Let u be h(x). Suppose u*o = o + 6. Solve -4*b + o*t = 23, -2 = -2*b - t - 1 for b.
-2
Let c be 187/33 + (-2 - (-10)/3). Solve 3*b = -0*l + 3*l - 3, 3*b - 5*l = -c for b.
1
Let v be (-2 - 0)/(-2*1). Let m(a) = 3*a + 3. Let u be m(4). Solve -3*d = -5*y + 2*d - u, 3*y - d = v for y.
2
Let u = -8 - 4. Let b be (0 + -30)/(u/8). Let g(o) = o**3 + 10*o**2 + 11*o + 22. Let s be g(-9). Solve -s*t - 4*p = -b, p = -t - p + 5 for t.
5
Suppose -3*w = -h + 24, 17*w = 4*h + 12*w - 82. Let m = -8 + 11. Suppose 0 = -4*o - 4*j + m*j + 3, -j = -5*o - 3. Solve -3*b = -o*b + q - h, 0 = 3*q - 9 for b.
5
Let m(o) be the first derivative of -7/2*o**2 - 1 - 2*o - 1/3*o**3. Let u be m(-3). Solve 4*k + 6 + 2 = 4*y, 5*y = -5*k + u for k.
0
Suppose -2*i + 3*c = -0*c - 10, -4*i = -c - 10. Solve j = -3*j - 3*x - 10, -2*x - 4 = i*j for j.
-4
Let k = -161 - -166. Solve 3*b + 5 = -v - k, -b = 4*v + 18 for b.
-2
Suppose a + b + 2 = 3, 2*b = -4*a + 12. Let m = 3 - a. Let s be ((-11)/2 + 3)*m. Solve 0 = 3*w + 5*x - 11, -5*w + s*x - 26 = 9 for w.
-3
Suppose -2*q = -3 - 3. Suppose -2*b + q*p + 15 = -1, 2*b - 5*p - 16 = 0. Solve -3*c = d - 4, -3*c + 2*d = -b - 2 for c.
2
Let l(z) = z - 2. Suppose 8 = 3*f + f. Let s be l(f). Solve a - t = -9, 5*a = -s*a + t - 29 for a.
-5
Let o be ((-40)/6)/((-1)/(-3)). Let m = -11 - o. Let k be 3 + 1/((-3)/m). Solve -3*w = 5*r - 16, k = -w - 0*w + 3*r - 18 for w.
-3
Suppose -3 = w - 2*w, -3*u - 5*w + 33 = 0. Suppose -9 - u = -3*c. Solve -c*t - 3*p = -34, -7 + 19 = 4*p for t.
5
Let m = 95 - 90. Solve -2*t + f + 7 = -2*f, -f = m for t.
-4
Let c(j) = -j + 14. Let g be c(9). Solve 4*t + 25 = -5*h, 0*h - 3*t + g = -h for h.
-5
Let y be ((-1 - -2) + -1)/(1*2). Solve y = -2*x + 6*x + 2*v - 14, -4*v = 2*x - 16 for x.
2
Let w be ((-16)/(-6) - 2)*15. Let z be 12/16 + w/8. Solve g = o - 3, 0 = -g - 2*g + z*o - 10 for g.
-4
Let n be (1 - 3)/((-10)/15). Solve 3*i - 3*z = -0*i - 9, n*i = 5*z - 17 for i.
1
Suppose 0*f = 2*f - 4. Let l(i) = 3*i**2 - 3*i - 1. Let v be l(4). Solve 0 = -2*g - 3*p - f*p - v, g - 20 = 5*p for g.
-5
Let p(u) = u**3 + 5*u**2 + 5*u + 6. Let l = -2 - -5. Suppose l*f - 6*f - 12 = 0. Let n be p(f). Solve 0 = -3*c - 2*w - n, 4*c = -0*c + w + 12 for c.
2
Let z(b) = -b**2 - 9*b - 6. Let j be z(-8). Suppose -j*f + 0*f + 2*a = -42, 4*f + 3*a = 77. Suppose -4*n = n - f. Solve 0*x - 3*x + 15 = 0, x = n*c + 25 for c.
-5
Let x(w) = -w**2 + w + 2. Let l be x(2). Solve 4*z - 4*u = -8, l + 8 = -3*z + u for z.
-3
Let d be 6/(-4)*2 + 9. Let v be 2/(1 + (-5)/d). Solve 3*w + 2 = 5*n + v, 4 = -2*w - 2*n for w.
0
Let z be -1 + -1 + 4 - -1. Let l be 3*6 + 39/(-13). Let d be l/(-3) + z - -7. Solve -d*m + 3*c = -12, -2*m + c - 5*c = -10 for m.
3
Let d be (0 - -3)*(-39)/(-9). Let o = 7 - 6. Solve -4*y = -3*m + o, -d = -2*y - 5*m + 2*m for y.
2
Suppose 5*h + 4*o = 6, h + 0*o + 2*o = 0. Solve y + y = 2*r - 12, -h*y + 4*r - 20 = 0 for y.
-2
Suppose -i + 5*h = -24, 4*i + 3*h + 2*h = -4. Let d(j) = -j + 4. Let o be d(i). Let r = 11 - 6. Solve q + 4 = 3*c, 30 = 3*q - o*c + r*c for q.
5
Suppose 0 = -4*u - 99 - 1. Let z = u - -27. Solve d - 6 = -o, -d + 4*o = z + 2 for d.
4
Let c(p) = -4*p - 1. Let w be c(-1). Suppose -w*t + 4 = -2. Solve -u - 3*s + 14 = -6, t*u + 5*s = 35 for u.
5
Suppose 0*w + 3*w + 9 = 0. Let u be (-6)/8*(-1 + w). Solve -4*h = m - u - 14, -3*h = m - 13 for m.
1
Let c = -2 + 5. Suppose -4*x = x - 15. Suppose o - 11 - 3 = 3*w, x*o - 4*w = 27. Solve 3 = -v + c*v + t, 5*t - 15 = o*v for v.
0
Let m(o) = o**3 + 10*o**2 + 7*o - 14. Let d be m(-9). Let b(t) = -t**3 - 2*t**2 + 3*t + 2. Let a be b(-4). Solve 3*h = d*v - 10, 0*v = -5*v - h + a for v.
4
Suppose 5*x = -2*f - 15, 9 = 4*f - 5*x + 2*x. Suppose 0 = 3*g - w - 19, 4*w = -2*g - 6 - f. Solve g*k - 30 = -3*b, 0 = -4*b - 5*k + 7 + 28 for b.
5
Let k(w) = -w**3 - 5*w**2 + 7*w + 8. Let v be k(-6). Let a(u) = 3*u - 2. Let q be a(2). Solve v*r - 2 = q*b, -r - 3*r - 4*b = -16 for r.
3
Let a be -1*3 + 1 + 6. Let s be (a/(-8))/((-3)/24). Solve 4 = 4*p - 4*o, -3*o - 5 = s*p + 2*o for p.
0
Let m(v) = -v - 1. Let s be m(-2). Let r = -1 + s. Let i = 7 + -3. Solve -j + i*j + 5*b - 6 = r, 2*j - 4*b + 18 = 0 for j.
-3
Suppose 0 = -6*c + 3*c. Let m(f) = -2*f - 2. Let z be m(-2). Solve z*v + 5*w + 15 = c, -4*v - 2*w - w - 9 = 0 for v.
0
Suppose 2*q + 24 = 5*q. Let w be ((-6)/8)/((-2)/q). Suppose 2*o = -3*p + 5*o + 33, 3*o + 1 = p. Solve 0 = 4*b + p, 4*z + b = w*b - 4 for z.
-3
Let q(o) = -o**3 - 10*o**2 + 11*o + 4. Let r be 6/10 - 464/40. Let h be q(r). Solve -3*g = -h*p - 7, 3*g + 3 - 2 = -4*p for p.
-1
Suppose -4*f = -2*p - 16, -5*p + 0*p - 3*f - 27 = 0. Let v = p - -11. Let l = v - 0. Solve a - 28 = l*m, a + 2*a - 3*m - 24 = 0 for a.
3
Suppose 5 - 18 = -o. Solve 0 = 2*d - v + 7, -6*