= 3*w - 3 for w.
2
Let t be ((-26)/(-4) - 4)*2. Solve -8 = -5*u - 2*y, 0 = t*u - 2*y - 10 - 2 for u.
2
Suppose -3*c - 4 = -25. Solve 2*q + o + 3 = 0, 3*o + c = -3*q - q for q.
-1
Let p be (-2)/5 - 18/30. Let x be p/(2/16*-2). Solve -4 - x = -2*r + 2*z, -27 = 2*r + 5*z for r.
-1
Let u = 0 + 7. Solve -2*m + u = -3*z - 4, -4*m = 3*z + 5 for z.
-3
Suppose 3*t - v - 1 = -0*v, 3*t = -5*v + 31. Solve -3*d + 3*q - 8 = t*d, 0 = d - q + 2 for d.
-1
Let v(z) = -2*z - 7. Let u be v(-5). Suppose -u*f + 0 = -27. Solve 5*s + 3*p = -0*p + 15, 3*s = 4*p + f for s.
3
Let y = 2 - 4. Let z be (2 - -13)/3 - y. Suppose 0 = 2*h - z*h. Solve 2*p + 2*n = -6, -13 = 5*p + 3*n - h for p.
-2
Let t = 5 + -1. Let a = t - 0. Suppose a*z + 2*n = 8, 4 = -4*z + 6*z - 2*n. Solve z*u + 3*u + 4*x + 25 = 0, 2*u = 4*x + 18 for u.
-1
Let w(x) = x**2 - 14*x - 10. Let y be w(14). Let l = y + 15. Solve -2*f + 5*d - 4 = 0, -4*f - l*d = f - 25 for f.
3
Let r(x) = -2*x + 12. Let d be r(-4). Solve -4*j = -2*k + 4, 5*k - j + d = -6*j for k.
-2
Let s(a) = a - 5. Let q be s(5). Solve 19 = 3*k + 5*x, k - 18 = -q*k - 4*x for k.
-2
Suppose -1 = 5*u - 16. Solve -u = -o + z, o - 3 = 3*z - 7*z for o.
3
Suppose 3*k = 11 + 13. Suppose 3*w - 5*w = -k. Solve 15 = -f - 4*m, 16 = -0*m - w*m for f.
1
Let u = -99 - -104. Solve c = -3*k - c + u, -3*c + 14 = -2*k for k.
-1
Let i(r) = r**2 + 17*r + 4. Let h be i(-17). Solve 0 = -o - h*q + 18, -2*q + 20 = 3*o + 6 for o.
2
Suppose -25 = 5*b, 5*b + 67 - 18 = 4*m. Let w(i) = -3*i**3 + 2*i**3 - 10*i**2 - 9*i - 2*i - 11. Let v be w(-9). Solve 2*j + 2*a = m*j + 10, j + v = 2*a for j.
-1
Let a = 1 + 3. Suppose 0 = -2*u + a - 0. Suppose 0 = 2*b + 2*p - 12, -7*b + u*b = p - 26. Solve -b*y + 13 = d, 2*y + 0 - 8 = d for d.
-2
Let y be ((-1)/2)/((-2)/20). Let i be 10/(-6)*90/(-50). Solve y = -2*t - 4*b - 9, i*b + 18 = t for t.
3
Let c be 4/18 + 228/(-54). Let h be (-2 + 10/4)*0. Let o = h - c. Solve -5*m - o*z + 0 = -11, 0 = -3*m + 4*z - 19 for m.
-1
Suppose 16 = -5*b + 36. Solve -10 = -5*q - 5*m, -3*m - 1 = -b*q - 0*q for q.
1
Let z = -8 + 21. Let l = -7 + z. Let b = l + -3. Solve 3*i - 8 = 2*c, 1 = 2*i - b*c - 1 for i.
4
Let k = -3 + 7. Let v(z) = 25*z**3 - z**2 + z. Let s be v(1). Suppose 5*t = 3*p + s, -4*p - t = -4 - 1. Solve -3 = m - 2*f + 3, p = 2*m + k*f - 28 for m.
4
Let h be ((-18)/63)/(1/(-7)). Let z be -1*(2 - 1) - -4. Solve -h*g = 2*g - 5*m - 12, -z*m + 9 = 3*g for g.
3
Let l(f) = f. Let n be l(2). Suppose n*c - 39 = -3*c - 4*j, 5*c = -3*j + 38. Solve -k + 4 = -5*y, -2*k + c*k - 20 = -5*y for y.
0
Let n(k) be the third derivative of k**5/60 - 7*k**4/24 + k**3/3 - k**2. Let u be n(7). Solve 4 = -4*p + 4*x, -2*p + 10 = u*x - 0*x for p.
2
Suppose -3 = -0*n - n. Let r be 0/((4 - n)*-2). Suppose 3*h = -r*h + 24. Solve -3*x + 0 = -d + 6, d - h = 4*x for x.
-2
Suppose 4*x = 2*x. Suppose k - 5*k + 80 = x. Solve -2*f - 3*m + 4 - 2 = 0, 5*m - k = 0 for f.
-5
Suppose 30*x = 24*x. Solve -3*i + 2*o - 1 = -x, -4*i = -4*o for i.
-1
Suppose -b + 3 = -4*m + 18, 3*b = m - 1. Suppose -n + 3 = c - 0*n, -2*c = -3*n - b. Let r = 0 + 4. Solve p = l, r*p = c*p - 8 for l.
-4
Let x = -6 + 3. Let b(t) = -t**2 - 5*t - 2. Let m be b(x). Let n be -54*((-3)/(-9) - 1). Solve 0*g - 2*f = -g + m, -4*g - 5*f - n = 0 for g.
-4
Suppose -d = -4 + 2. Solve -3*v = -2*v, 3*v - d = q for q.
-2
Let r = 8 - -6. Suppose 2*s = -x + 1 - 3, x - r = 2*s. Solve -i + 2*i = -2*m + x, i - 4 = 0 for m.
1
Let z(x) = -x**2 + 7*x - 5. Let g be z(5). Suppose -a + 10 + 16 = 4*j, -j - a = -g. Solve m = 2*b - j*b - 29, -m - 24 = 4*b for b.
-5
Let v = 23 - 13. Suppose -4*f + 2*l = 4, l = f + 4*l - 6. Solve -2 = d - 2*s + 8, f = -d - 2*s + v for d.
0
Let t(a) = 2*a**2 + a. Let u be t(-1). Let j(d) = u - 3*d - 2 + d**3 + d**2 + 4*d. Let k be j(1). Solve k*p - 1 = 9, -4*p = 5*g + 5 for g.
-5
Let b(q) = -11*q + 2. Let h be 11/(-4) + (-2)/8. Let w = 0 + h. Let u be b(w). Solve 5*p = -5*l + u, -4*p = 5*l + 1 - 31 for l.
2
Let u be ((-3)/9)/((-1)/(-3)). Let t be (2 + u)/((-4)/(-8)). Solve -v = c - t, 5*c - 12 = 2*c for v.
-2
Let l(f) = 2*f**2 + 2*f - 1. Let d be l(-2). Solve p - 1 = 3*k, -2*k - d*k = 5*p - 5 for k.
0
Let o(h) = h + 5. Let i be o(-5). Suppose i = -n + 5*n - 100. Solve -d - 4*d - j - n = 0, 4*d - 4*j = 4 for d.
-4
Let b(t) = t**2. Let h be b(-2). Suppose n - 7 = -h. Let m be (-2 + n - 1)/1. Solve -3*a + 3*z + 4 = -4*a, m = 3*a + z + 4 for a.
-1
Suppose -15 = -4*j - 7*t + 2*t, 5*j + 5*t = 20. Solve j*u - x - 35 = -6*x, 0 = x - 2 for u.
5
Suppose -1 = c, -2*c - 9 = l - 0*l. Let i be 2 + (-2 - l) + -3. Solve z + 1 = 3*m - z, i*m + 2*z + 22 = 0 for m.
-3
Let p(q) = 3*q. Let r be p(4). Let o(n) = n - 5. Let v be o(7). Suppose -r - 12 = -v*h. Solve 4*g + 20 = -2*w, -4*w + 13 = -5*g - h for w.
0
Suppose -5*q + 19 = -4*p - 6, -3*p + 2*q = 10. Solve 2*b - a + 6 = -p*a, -3*a = -5*b - 17 for b.
-1
Let l be (-10)/(-4)*(-4)/(-5). Solve 4*q = -5*x - q + 5, l*q - 17 = -5*x for x.
5
Let k be (3 + 7)/(-1 + 3). Let c = 6 - k. Solve 2*z + 3*j = 5, -2*j + c = -2*z + z for z.
1
Let x = 8 + -3. Solve -t = 3*k - k + 13, t = -x*k - 28 for t.
-3
Suppose 12 = 2*i + 4*q - 8, -q - 1 = -i. Suppose 0 = i*w - 3*w - 4. Solve -y - 5 - 10 = w*t, 0 = 2*t + 6 for y.
-3
Let u be (12/(-20))/((-2)/(-10)). Let v be u + (11 - (2 + -3)). Solve -2*d - v = 5*f - 6*f, -14 = -2*f + 2*d for f.
5
Let s(i) = i**3 + i**2 + i - 1. Let j be s(1). Suppose -3*z - 2 = -8. Suppose 3*q - q - j*d + 2 = 0, 2 = q + z*d. Solve q = 2*r + 3*g, 2*r - 2*g = g for r.
0
Let b(n) = -n**2 - 11*n - 11. Let o be b(-9). Suppose -d + 68 = -0*d. Suppose 3*a - o*a + d = 0. Solve a = m - 4*i - 4, -4*i = 16 for m.
5
Let z(h) = h**2 - h + 1. Let r be z(2). Suppose -v = -r*v + 10. Solve 3*a - v*x - 17 = 0, 3*x - 2 = -5 for a.
4
Suppose 13 = 2*w + 3. Suppose 0 = 4*r + 4*d - 3*d - 20, 0 = -2*r - w*d + 28. Suppose 2*m - 6*m + 28 = 0. Solve -2*b - b - r*q = -5, 3*b - m = -2*q for b.
3
Let h = 9 + -5. Suppose 2*u + 1 = 4*t + t, 5*t = u - 2. Let v = u + h. Solve -o - 5*f + v - 5 = 0, -4*o = 4*f for o.
1
Let u be ((-9)/15)/((-2)/10). Suppose -2*s = 2*n, u*s = 4*n - 35 - 0. Solve 0 = n*x + h + 30, -x - 3*x = -4*h for x.
-5
Let b = -1 - -3. Solve 2*a = -2*m, -3*m - b*m - 3*a = 0 for m.
0
Let u(k) = -k**2 - 9*k + 2. Let f be u(-9). Solve j - 15 = f*g, 4*g - 2*j + 35 = j for g.
-5
Suppose 0 = 4*t - 20, 2*t - 6 = -4*q + 5*q. Suppose 4*g = 2*z - 6*z + 128, z - 41 = -q*g. Solve -2*c - 6*d + 2*d = -6, -5*c + d = z for c.
-5
Let b(h) = -h**3 - 12*h**2 - 10*h - 2. Let a be b(-11). Suppose -2*o + 4 = -3*j, 28 = j - 4*j - 4*o. Let l = j - a. Solve r = -3*k, 0*k - l = 4*r + 3*k for r.
-3
Let b(d) = 2*d + 7 - 2*d + 2*d - 4*d. Let z be b(6). Let n(l) = -2*l - 6. Let s be n(z). Solve -2*t + 5 = 5*v, -6*t + t + s*v = -29 for t.
5
Let q = 4 - 2. Suppose q*b = b. Solve b = -0*a + 2*a - x + 7, x = 3 for a.
-2
Let p be 1/1*(1 + 3). Let i(z) = 20*z**2. Let j be (-2)/(-1)*(-2)/4. Let o be i(j). Solve -3*x - 2*l - 5 = 5, p*l + o = -x for x.
0
Let r be ((-5)/(-3))/(4/12) + -2. Solve -r*g - 5*f - 12 = g, -4*f = 4*g + 12 for g.
-3
Let l(q) = q + 1. Let x = 24 + -15. Let c be l(x). Solve -f = 3*m + 6, -5 - c = 3*m + 4*f for m.
-1
Suppose -5*y + 2*k = 7*k, -2*k - 10 = 0. Solve 5 - 2 = m, -y*r - 2*m = -21 for r.
3
Let v(m) = -m**3 - 8*m**2 + 7*m - 2. Let l be v(-9). Let d be (l/5)/((-7)/(-70)). Solve 3*f + 2*g - 3*g + 8 = 0, -4*g = 4*f + d for f.
-4
Let f(x) = -2*x - 9. Let a be (1 + -1 - 0) + 9. Suppose a*b = 4*b - 30. Let y be f(b). Solve 5*z = -5*o + 10, 0 = z - 3*o + y + 7 for z.
-1
Suppose -2*f + 2*h = -h + 8, 20 = 5*h. Suppose w = f*k - w - 2, -7 = -k - w. Let a be (4 - 3) + 0 + k. Solve -5*u + 15 = -a*c, -c = 2*u - 6*u + 15 for c.
1
Let m be 5*-3*(-1)/3. Solve h + 11 = 3*r, 2*r + m*h - 17 = -r for r.
4
Suppose -f - 3 = -7. Solve -w - f = b, 3*b + 17 = -4*w - 0*w for w.
-5
Let r(l) = 7*l**2 - 5*l + l**2 - l**3 - 4 - 2*l + l**2. Let w be r(8). Solve d - 6 = -y, 5*d + w*y = 20 + 7 for d.
3
Let v = 26 + -26. Solve v = -4*o + c, -5*c = -7*o + 2*o + 15 for o.
-1
Suppose -5*o + 13 = -2. Let s(j) = 4*j. Let b be s(3). Let w be (-23)/(-7) + (-2)/7. Solve 8 = o*q - u + w*u, -3*q = 3*u - b for q.
0
Let w = 6 + -6. Let q(s) = 5*s + 3. Let x be q(3). Suppose -3*c + x - 6 = w. Solve 0*t = 2*t + c*p + 2, -30 = -3*t + 5*p for t.
5