 w. Solve u - 4*u + 12 = 4*v, 0 = -5*v - g*u + 15 for v.
3
Let s = 11 + -7. Suppose 20 = 5*r - 5*p, 6*r = 3*r - 5*p - 4. Solve 0 = u - 3*u + r*k - 10, 0 = s*u - k + 11 for u.
-2
Let d(m) = -2*m - 4. Let u be d(-6). Suppose 5 = j - b, 2*b = 4*j + 7*b - 11. Solve 3*y - u = -l, -4*l + j*y = l + 17 for l.
-1
Suppose y + 3 = -2*t, t - y = 2 + 4. Solve 3*v - 2*w = 8*v + 12, 3*v - 5*w = -t for v.
-2
Suppose 2*j + 0 = 8. Solve -b - d + 11 = 2*d, -4*b + 12 = -j*d for b.
5
Suppose -3*z + 3 = -0*z. Solve 0 = -3*x + 2*i - z, 5*x + 5 = 2*x + i for x.
-3
Let w(u) = u + 5. Suppose 5*s - 4*s - 5 = 0. Let n be w(s). Suppose 9 + 6 = 5*l. Solve 3*t = -l*f + 15, -f + 2*t = f + n for f.
0
Suppose 2*d + 3*d + 68 = 4*w, -w - 3*d = -17. Suppose i + 1 = 7. Suppose -3*p = -8*p. Solve 2*f + p = -k + i, 3*k - w = -5*f for f.
1
Let n = -87 + 90. Solve -n*h = -l + 4, 0*l - 5*l = -5*h + 10 for h.
-3
Suppose -25 = -5*o - 10. Suppose -15 = 3*z, -z - z = -o*a + 37. Solve 4*q = -2*v - 20, 4*v = 1 - a for q.
-4
Suppose 3*a + u - 14 = 0, 4*u = 4*a - 12 - 28. Solve -v = v - r + 2, a = -4*v + r for v.
-2
Suppose -3*h = -0*h - 9. Let v = h - 1. Solve -y + 4*g = -0*g + 3, 0 = -v*y + 5*g for y.
5
Suppose 0 = 5*x + 8*n - 4*n - 117, 0 = 5*x - 3*n - 131. Suppose -s + 6*s = 15. Suppose s*v - 9 = 6. Solve -f + 20 = v*g - 4, -5*f - x = -4*g for g.
5
Suppose h - 2*h = -4. Let r be (-4)/(-14) + (-54)/(-7). Let z = -5 + r. Solve -p + 3*i - 1 = 0, p - 2*i + h = -z*p for p.
-1
Let i(h) = -h**2 - 7*h - 10. Let k be i(-4). Solve -k*b = 3*l + 3, 3*l - 8*l - 5 = 2*b for l.
-1
Let q(u) = u**2 + 16*u - 26. Let r be q(-18). Solve 6 = -l + 4*l - 5*j, 5*j - r = -5*l for l.
2
Suppose 11*v = 10*v + 5. Solve -4*c = 3*m + 2, 3*m + 0*c = -v*c - 4 for m.
2
Suppose 0 = -2*x - 3*x + 45. Let w be 0/((x/(-3))/3). Suppose -3*d - 3*v = 12, 3*d + 2 = -v - w. Solve -b = -d + 3, -i = b + 4 for i.
-2
Suppose -3*i = w - 26, 2*w - i = -w + 58. Let p be ((-66)/(-5))/(6/w). Suppose 4*c + p = 8*c. Solve a - 2 = 2*k - c, 0 = -k - a - 3 for k.
2
Suppose 3*m + 2*m = -5. Let f = 4 + m. Suppose 2 = 2*d - 4. Solve -3*u - d = 0, f*n + 5*u - u = -10 for n.
-2
Let o = -3 - 4. Let c = o - -12. Solve -c*s = 4*u - 24, -u = 4*u - s - 1 for u.
1
Let n = -1 - -2. Let f be n*-5 + (1 - -1). Let t = 6 + f. Solve -16 = 4*o - 4*x, -4*o + t*o - 4 = -3*x for o.
-4
Let l be (-4)/(-6) - (-20)/6. Let x(r) be the first derivative of 4*r**3/3 - r**2/2 + 1. Let p be x(-1). Solve -p*b - 5*g = -5, 0 = -5*b + g + l*g + 5 for b.
1
Let b be (-4)/26 + 301/13. Suppose 3*s = 5*u + 5*s - b, -1 = s. Solve -i = -0*i + 3*c - 12, i + 12 = u*c for i.
3
Let j(p) = p + 27. Let h be j(-4). Solve -4*n - h + 7 = 0, 3*n - 4 = -4*o for o.
4
Let w(f) = f - 10. Let p be w(7). Let d(o) = o + 6. Let b be d(p). Solve 0*q - x = -b*q + 3, -4 = -4*q + 5*x for q.
1
Let f(h) = h**3 + 10*h**2 + 14*h - 10. Let s be f(-8). Solve 2*k - 4*v = 5*k + s, -3*v - 10 = 5*k for k.
-2
Suppose -2*f = 8 - 2. Let h be 0 + -3 - (f + -2). Solve -4*k + h*k = -n + 10, -4*k - 20 = 2*n for n.
0
Let c(h) = -h + 1. Suppose 0*k + 2*k = 4. Suppose -2*q - 2 = k. Let i be c(q). Solve -5*t + 10 = i*v, 3*v + 0*t = -t + 14 for v.
5
Suppose -2*m + 103 = 7. Suppose a = -2*a + m. Solve 17 = 4*g + 3*l - 11, -3*l + a = g for g.
4
Let u = 0 + -10. Let m = -17 - u. Let z = 11 + m. Solve -5*f + z*a - a = 10, 2*a = 0 for f.
-2
Let t(l) be the third derivative of l**5/60 + 11*l**4/24 + l**3/3 - 2*l**2. Let w be t(-11). Solve 0 = k - w*g - 10, 3*g + 15 = 4*k - 5 for k.
2
Let y be (-1)/(3 - 4) + 3. Solve c + 4*r = -21, 0*c - y*r = -4*c + 16 for c.
-1
Let m be (-392)/18 - 4/18. Let x be ((-1)/2)/(1/m). Solve 13 = -0*o + o - 4*y, -5*o = -y + x for o.
-3
Let j(x) = x**3 - 5*x**2 - 2*x - 1. Let g be j(6). Suppose 18 = -p + 6*p + w, 4*w = -2*p. Solve -p*q - 13 = 5*a, q + 4*a + g = 2*q for q.
3
Let y(i) = -i - 3. Let g be (-13)/3 - (-1)/3. Let j be y(g). Let v = 2 - j. Solve 3*b - 2*p = -3, -4*b - 5 - v = -2*p for b.
-3
Let c(j) = j**2 - 9*j + 8. Let m(u) = u + 2. Let z be m(0). Suppose z*q - q = 8. Let h be c(q). Solve 2*p + 6 = h, -4*p - 12 = 4*g - 0*p for g.
0
Let g = -3 + 14. Let q be (-2)/11 - (-123)/g. Solve 0 = -3*p - 4*h + q, 3*p - 5*h = p - 8 for p.
1
Suppose -2*n + 4*c + 0*c - 4 = 0, -c - 2 = -2*n. Let b = 4 - n. Solve -2*o + u + 0*u = -4, -b*o = -2*u for o.
4
Let i = -2 + 7. Let u(k) = -k**3 - 5*k**2 - 4*k. Let p be (-3 - (-2 - 0)) + -3. Let g be u(p). Solve i*b - 22 = -g*b - l, 3*l = 6 for b.
4
Suppose 0*c - 2 = 2*c. Let d be c - -1*(-2 + 5). Solve -3*t - d*g = 2*t + 5, 4*g - 20 = 0 for t.
-3
Suppose -i = 4*x + 1, 5*x - 7*i - 4 = -3*i. Suppose -a - 3 = -x. Let h be (-1)/a - (-28)/6. Solve -4*d - 6 = -y - y, -5*y - 45 = h*d for y.
-5
Let u(q) be the first derivative of q**4/4 - q**3/3 - q**2/2 + 3*q - 2. Let m be u(0). Solve 0 = -m*t - 8*j + 4*j - 16, -5*t - 25 = 5*j for t.
-4
Suppose -16 = 4*o + 4. Let v be -2*3/6*o. Solve -h = -4*m - 2*h - 4, v*h + 3 = -3*m for m.
-1
Let o = 30 - 25. Solve -3*d - 2*p + 8 = -o*d, 0 = -3*d + 5*p - 22 for d.
1
Let n(g) = -5*g**3 - g**2 - g. Let a be n(-1). Solve 0 = 3*m + m - a*l, m + 5*l + 25 = 0 for m.
-5
Let b be 23/7 - 4/14. Suppose b*c = -c. Suppose 5*x - 2*x = c. Solve x = -g + j - 4, 15 = -g + 6*g + 2*j for g.
1
Let k(u) = -2*u - 6. Let r be k(7). Let x = -12 - r. Solve 4*c + 8 = 0, -x*p + 3*p - 2*c + 6 = 0 for p.
2
Let f = -10 - -16. Suppose 2*l + 2 = f. Suppose 16 = l*g + 2*g. Solve 4*s - 4*r + 8 = 0, 2*r + 0*r - g = -5*s for s.
0
Suppose 0 = 2*n + 6*n. Solve -v + g = -2*v, n = -5*g + 5 for v.
-1
Let b(x) = -x**3 + 8*x**2 - 5. Let z be b(8). Let a(s) = s**2 + 5*s + 5. Let m be a(z). Solve m*k + 4*l + 11 = 0, -k = 2*k + 5*l + 17 for k.
1
Suppose -v - 5*p = -4*v - 13, 2*v - 4*p + 10 = 0. Let b be (v + 3)/((-2)/6). Let f be (-1)/(-2)*(-2 - b). Solve -2*u - 16 = -4*r - f, 4*u = -4*r - 16 for u.
-5
Suppose f + 8 = 4*f + c, -20 = -f + 4*c. Solve -2*y = 8, t + 0*t + f*y + 15 = 0 for t.
1
Let o(b) = b**3 - 4*b**2 + 4*b - 3. Let u be o(3). Suppose u = -2*p + 18 - 10. Solve 4*n + 8 = -4*s, 4*n + 12 = -n - p*s for n.
-4
Suppose -5*l = -4*s - 3, -3*l - 2*s + 8 = 15. Let v be 8/16*(9 + l). Solve 2*f + 6 = j - 5*j, 0 = v*f - 2*j - 8 for f.
1
Let s(t) = 2*t + 2. Let b be s(1). Solve -8 = -4*z + 3*d, 5*z - b - 6 = -2*d for z.
2
Suppose a - 30 = -4*a. Solve 2*c + 4*d - a - 14 = 0, 2*c = -2*d + 12 for c.
2
Let d = -12 + 18. Suppose -4*g + 2*g + d = 0. Solve 4*t = -g*m + 5*m - 10, 4*m + 28 = -4*t for m.
-3
Let i be ((-8)/6)/((-2)/3). Solve 3*r - 31 = -4*v + 1, 2*r - i*v + 2 = 0 for r.
4
Let y = -4 + 6. Suppose -1 = -2*g - 0*z + z, -2*z = -y*g. Let l = g + 3. Solve 3*j + h = -8, l*j - 2*h - 21 = 3*h for j.
-1
Suppose 2*t + 5*m = 3*t, -2*t = 4*m - 14. Let q be t/2 + (-1)/(-2). Solve u - 5*v + 11 = q*u, -2*v + 8 = -u for u.
-2
Suppose 2*x - 7 = 5. Suppose 0 = -x*o + 5*o + 2. Solve -f = -5, 6*s - o*f = 2*s - 30 for s.
-5
Let t(p) = -2*p**2 - 20*p - 13. Let o be t(-9). Solve -o*h = -f - f - 4, -2*f + 2 = -2*h for h.
2
Let y be -7*10/14*-78. Let f be (-2)/(-4) - y/(-20). Suppose -4*d = -5*s + f, -25 = 5*d - 4*s - 9. Solve d = -5*h - 5*b - 25, -2*b - 10 = -3*h - 0*b for h.
0
Suppose 4 = 4*k - 2*k + 4*p, -5*k - 5*p + 35 = 0. Suppose 44 + k = 2*v. Suppose 0*d + 4*d = v. Solve d*l - 2*r - 14 = 2*l, -r = -3 for l.
4
Let o be 18*(5 - 1) + 2. Suppose 2*v = -8, -v - 4*v - o = -3*y. Suppose 2*b = -0*b + 8. Solve b = 5*d + 2*t + 9, d - 3*t = -y for d.
-3
Suppose 4 = f + 23. Let w = 27 + f. Let d(b) = -4*b**3 - 2*b - 1. Let n be d(-1). Solve -10 = 2*g - 2*i, -n*i + 17 = -w for g.
0
Suppose -3*t + 13 = -2. Solve 0 = 3*j + 2*c + 3, -7*c = t*j - 3*c + 3 for j.
-3
Suppose -23*c + 17*c + 30 = 0. Solve c*u = -3*m - m + 13, -3*u = -4*m + 5 for u.
1
Suppose -3 + 23 = 4*p. Suppose -p*f = -39 - 1. Solve 2*s - 4*b + 9*b + f = 0, -5*s + 5*b = -15 for s.
1
Let n(l) = l**2 + 14*l - 4. Let y be n(-15). Solve -i = -o + 9, 0 = 4*i - 5*i - 4*o + y for i.
-5
Let u be 4 + 0/(1 + 1). Suppose -u*z = -8 - 0. Suppose 0 = -z*b - 0 + 10. Solve -r + 19 - b = -2*c, 3*c + 4*r = 1 for c.
-5
Let w = -138 - -142. Solve 4*o + w = 4*p, o + 0*o = 3*p + 7 for p.
-4
Let h = -37 + 42. Solve -4*z + 9*z = -5*v - 20, -h*v = -2*z - 1 for v.
-1
Let y(v) = v + 10. Let b(w) = -w**2 + 8*w + 12. Let o be b(10). Let k be y(o). Solve 5*f = k*g - 28, 1 = -f 