s = -4, 7 = f + 2*s - 6*s for f.
-1
Let h = -37 - -39. Solve 2 = 2*i + 2*s, s = -5*i - h*s - 1 for i.
-2
Let m = -3 + 7. Solve 5*s - 2*w + 3 = -8, m*w + 14 = -2*s for s.
-3
Suppose -2*g = -2 - 6. Solve -g*w + m + 1 + 4 = 0, 2*w - 2*m - 4 = 0 for w.
1
Suppose 0 = q - 3*i + 6, -4*q + 5*i - 10 = -5*q. Let w(m) = -m**2 - 10. Let b be w(q). Let k = 14 + b. Solve -k*a - 17 = -3*x, -a + 0*a + 3*x = 2 for a.
-5
Let a(n) = -3*n**2 + 10*n - 9. Let f(j) = -16*j**2 + 51*j - 46. Let q(o) = 11*a(o) - 2*f(o). Let s be q(7). Solve s*u - 25 = -2*i + 5*u, 3*i - 25 = 5*u for i.
0
Let j(b) = 2*b**2. Let z be j(2). Let x be (-2)/8 - (-2)/z. Suppose x = 4*v - 0 - 16. Solve -3*i - w - 8 = 0, -i - v*w = -4*i + 17 for i.
-1
Let o(b) = b**3 + 11*b**2 + 8*b - 7. Let c be o(-10). Let k(w) = -w + 15. Let a be k(c). Solve r + r = -4*n - 24, 0 = -a*r - 4 for n.
-5
Let q(w) be the second derivative of w**3/2 - 3*w**2/2 + 3*w. Let p be q(2). Solve -4 = -4*r - p*c + 4, -3*r - 3*c = -9 for r.
-1
Suppose 3*b + 1 = 13. Let r(p) = -p - 3. Let n be r(-5). Let s be b/2*(-1 + n). Solve s*q + 12 = -2*x, q = 2*x - 0*q + 6 for x.
-4
Let q(f) = -f**3 + 5*f**2 - f + 7. Let k be q(5). Let m = -2 + k. Suppose -3*d + 2 + 16 = m. Solve -p = 5*t + 12, 0 = 3*p + d - 0 for t.
-2
Let p be (-54)/(-27) + (-1 - 3*-1). Solve -4*d - p*y - 10 = 2, -2*d + 4*y + 18 = 0 for d.
1
Suppose -3 - 2 = -5*w + 2*t, 2*t - 16 = -2*w. Suppose 3*f + 4*a = -4 + 11, -6 = -3*f - w*a. Solve -c + f = 5*s - 3*s, -2*s - 1 = 3*c for c.
-1
Let f(i) = -2*i**3 - 2*i**2 + 4*i + 4. Let k be f(-2). Solve 19 = -k*x + 4*v - 13, -3*x + 5*v = 34 for x.
-3
Let f = 119 - 117. Solve -5*w + f*n = -21, 9 = -2*w - 0*n - 5*n for w.
3
Let o(m) = -2*m - 9. Let s be o(-6). Suppose -3*j = -5*q - 5*j + 21, -5*q + 24 = 3*j. Solve 13 = 3*i - 2, -3*b = q*i - s for b.
-4
Let t(u) = 2*u - 12. Suppose 5 + 3 = w. Let q be t(w). Solve 3*k - 2*b - q = 0, 5*k - b + 25 = -4*b for k.
-2
Suppose -d = -m - 6, 0 = -6*d + d - 2*m + 16. Solve -d*y - 28 = 3*p, -3 = 2*p - y + 1 for p.
-4
Let i(h) = h + 1. Let o be i(5). Let u = 5 + -5. Solve l + 4*l + 18 = -d, l - d + o = u for l.
-4
Let w(l) = 2*l + 53. Let t be w(-24). Solve -3*s + 2*o = 6, 3*o + 4 = -t for s.
-4
Suppose -5*m + 2 = -3*k, -k - 4*m + 18 = -m. Let r = 11 - k. Suppose 2*f = r*x + 5, 0 = f - 2*x - 1 - 2. Solve s - 30 = -f*v - 7, -2*v = -s - 5 for v.
4
Suppose -6*s + 4 = -8. Suppose -2 = -i - 0*j - 3*j, s*j + 36 = 4*i. Solve 0*v + r = 2*v - i, 0 = v - r - 5 for v.
3
Suppose 3*c - 5 + 20 = 0. Let t = 9 + c. Suppose -f = -t*f + 36. Solve 5*v + 2 = f, 5*g + 4*v = 28 for g.
4
Let h(g) = -g - 2. Let y be h(-2). Suppose 31 = 5*b + 2*w, -5*w = -b - y - 10. Solve -5 = b*f, 0 = -2*q - 2*f - 0*f + 6 for q.
4
Let q = 401 - 269. Let x be q/60 + (-2)/10. Solve 0 = 5*z - 5, 0 = -x*t + z - 7 for t.
-3
Let v be 1*(-7 - -3)*-1. Suppose 4*c - 12 + v = 0. Let f(t) = 2*t**2 - 6*t - 6. Let l be f(6). Solve -c*h + p + l = 5*p, p = h for h.
5
Let z(m) = -39*m - 4. Let a be z(-1). Solve -5*n + x + 2 + 28 = 0, -5*n + 2*x + a = 0 for n.
5
Let a(z) = z**2 + 5*z - 4. Let t be a(-6). Suppose -t*y - l = -56, -l - 84 = -3*y - 5*l. Suppose -y = -2*d + 4. Solve f - 2*q - 3 + 2 = 0, -4*f = 2*q + d for f.
-3
Suppose -2*j + 70 = -5*m - 13, 39 = -2*m - 5*j. Let f = m + 20. Solve 0 = -f*z - 8*s + 3*s + 30, 4*z - 29 = -3*s for z.
5
Let s be -6*((-1)/3 + -1). Suppose 0 = 2*t - 2 - s. Solve d - t*p + 15 = -2*d, -p = -5*d - 25 for d.
-5
Let z = 17 + -2. Solve i - 2*o = -5 + 2, 2*o - z = -3*i for i.
3
Let a be (24/20)/((-3)/(-10)). Let c be (-2)/(0 - a/10). Solve -2*k = q - 6, 9*k = 4*k + c*q for k.
2
Suppose 2*n + 0*n - u - 47 = 0, u = 4*n - 97. Solve -2 = 3*a + 3*h + 1, -n = -3*a + 4*h for a.
3
Let u be 18/8 - (-3)/(-12). Solve -5*b = u*d - 22, -3*b = -5*d - 10 + 3 for d.
1
Let r = -8 + 5. Let c be 23 + 4 + r + 0. Solve -4*m + 3*m - 15 = -4*u, -4*m + c = 5*u for u.
4
Let v = 1 - 0. Suppose -l = -4 + v. Suppose 5*u = 12 + l. Solve u*c - 12 = -4*a - 5, 5*a - 29 = 3*c for a.
4
Suppose 25 = 2*k + 3*k. Suppose -2*p - k*d + 20 = 0, 2*d = -3*p - 1 + 9. Solve p = -u - r - 7, -3*u = -7*u - r - 13 for u.
-2
Let f(a) = -5*a + 2. Let k be f(-4). Solve -5*p + k = 2*c + c, 6 = c + p for c.
4
Let n(v) = -v + 12. Let m be n(10). Solve -3 = d + m*y - 10, 11 = 3*d + 4*y for d.
-3
Suppose -3*l + 28 = 4*l. Solve -5*v = -l*v - 3*w + 7, 3*w = 2*v + 5 for v.
2
Let s = -102 + 106. Solve -3*r - 27 = -3*q, 9 = 2*r + s*q - 3 for r.
-4
Let w(j) = 2*j + 6*j + 17*j**2 - 3*j - 6*j. Let t be w(-1). Solve 0 = -4*a + o + t, -3*o + 1 = -0*a - a for a.
5
Let v = 5 + -2. Solve -3*d - 2*l = -8*d - 7, -d - v*l = 15 for d.
-3
Let l(q) = q**2 - 3*q. Let i be l(3). Solve -w - 23 = -0*w + 4*z, -w - z - 8 = i for w.
-3
Let y(m) be the third derivative of -m**4/12 - m**3/3 - 6*m**2. Let k be y(-8). Let h = 8 - 5. Solve -h*x = -5*b - k, 1 + 0 = 2*x + 5*b for x.
3
Let n = -51 + 51. Solve -5*b = -n*g - 3*g - 6, b - 9 = -2*g for g.
3
Let i = 4 + -2. Solve -n + 3*m - 2 = 0, -n = 4*m - i*m + 2 for n.
-2
Suppose -4*t = 2 - 10. Solve 5*f - 7 = 3*x, -2*f = x + t*f - 9 for x.
1
Let c be (-7 - (-2 + 0))/(-1). Solve -5*g + 6 = -c*h - 24, -5*h = 2*g + 2 for g.
4
Suppose 5*b - 22 = -3*c, -2 + 20 = -b + 5*c. Solve -13 = 4*z - g, 5*z + 7*g - b*g + 35 = 0 for z.
-4
Let k be -33 - (1 - (-6)/(-3)). Let d = 19 + k. Let w be (-2)/5*(3 + d). Solve 5*o - 2*c + w*c = -29, 4*o + c + 22 = 0 for o.
-5
Let m be (-1)/(-7) - 108/(-126). Solve 0 = 2*i + 3*o + m, -7*i + 2*i - 5*o = 10 for i.
-5
Let b(a) = 2*a + 2. Suppose 0 = -p + 6*p. Let s be b(p). Solve 5 = 4*d + y, -s*d = -2*y - 10 - 0 for d.
2
Suppose 3*r - 8 - 7 = 0. Solve 0 = -y + 3*k + 10 + r, 0 = -y - 2*k - 10 for y.
0
Let s(c) = c**2 + 7*c + 6. Let r be s(-6). Let q(l) = r + l**3 - 4 - 1 - 7*l - 7*l**2. Let i be q(8). Solve -2*n - 11 = h, h - 1 = n + i for h.
-1
Let c be (-2 - -7) + 2 - 2. Suppose 0*r + 2*m + c = -r, 0 = 5*r + 4*m - 5. Solve d - 32 = -3*d - r*g, d - 2*g = -5 for d.
3
Let i be (-44)/(-3) - (-1)/3. Suppose 3*u - u + 4*b = -4, -i = -5*b. Let y be (3*-1)/(12/u). Solve -2*r - 45 = 5*l + y*r, -25 = 4*l + r for l.
-5
Let d = -39 - -58. Suppose -s = -6*s + 3*k + d, 4*s - 30 = -5*k. Solve -4*l = s*z + 27, -9 + 0 = 3*z for l.
-3
Let n = -12 + 14. Let c be 1 + 1 + 0/(-1). Suppose -4*l + 10 = -c. Solve -n*b = -u - 6 - 4, 3*u = -5*b + l for b.
3
Let r(h) = -h**2 - 11*h - 1. Let p be r(-8). Solve 2*x - p = -b + 6*b, 5*b + 26 = -x for b.
-5
Let z(l) = -3*l - 34. Let h be z(-12). Solve -3*g - h*b - 9 = 0, 2*b + 9 = -3*g + 5*b for g.
-3
Let n = 12 - 9. Suppose -n*h = 5*c - 16, c + 12 = 4*h + 3*c. Solve 3*t - t - l - h = 0, l - 12 = -5*t for t.
2
Suppose -5*z - 15 = -5*u, -4*u - 5*z + 7 = 4. Solve -4*y + 3 - 27 = u*d, 4*d + 2*y = -18 for d.
-2
Suppose 0 = -5*p + 15. Suppose 2*n = n + 3. Solve 4*g - 5*h - p + 2 = 0, -g - 4 = n*h for g.
-1
Let n be (3 - 0/3) + 0. Suppose -n*c + 6*c = 4*g + 18, -2*g = 0. Suppose 0*j + 24 = 3*k - 3*j, -3*j - c = 3*k. Solve -10 = k*o + 5, -20 = 3*b + o for b.
-5
Suppose 5*f = x + 4, -2*x - 1 = x - 4*f. Let s be (-10 + 4)/(x/(-5)). Suppose 2*u = -3*u + s. Solve 2*i = -u, -2*o + 0*i + 6 = -2*i for o.
0
Let b = 8 - 5. Suppose -3*y = 4*y. Suppose b = q - y. Solve 3*r = 6, 2*d - 2 = -2*d + q*r for d.
2
Let j = -16 + 24. Solve -5*w + 3*v = -10, 0 = j*w - 3*w - 5*v for w.
5
Suppose 9*s - 9 = 6*s. Suppose s*v = -3 + 18. Solve 2*d = -4*h - 12, 2*d - v*d = 0 for h.
-3
Suppose 0 = -z - b + 4, -z = 2*z + 4*b - 13. Solve -11 = 3*k - x, 3*k + 0*x + z*x + 15 = 0 for k.
-4
Suppose 2*p - 7 = 1. Let v = p - -22. Let m = v - 7. Solve 4*s + 5 = -5*d, -s + m + 1 = -3*d for d.
-5
Let y(w) = -2*w - 30. Let j be y(-16). Solve 5*t - 3*r = -7, 0*r = -j*t + 3*r - 1 for t.
-2
Let o be (4/(-2))/((-24)/180). Suppose 21 + 27 = -2*u. Let k be o/2*(-16)/u. Solve 3*l + 2 = l + 2*b, -k*l + 3*b = -3 for l.
3
Let s(b) = b**3 + 3*b**2 + 2*b - 2. Let u be s(-2). Let l = u - -4. Solve l*x = 5*n - 18, -5*x + 2*x = 2*n - 11 for n.
4
Suppose 0 = y - 3. Suppose p + 5*u = -y + 9, -18 = -3*p - 2*u. Solve 0 = 4*r + l + 12 + p, -5*l = -5*r - 35 for r.
-5
Let s be (-1)/(0 + 1/(-4)). Let f(h) = -h**2 - 17*h + 33. Let u be f(-18). Solve 2*v = -5*o - 0 + 3, s*v + o = u for v.
4
Suppose 19 = 5*v - 5*g - 26, -5*v = 5*g - 15. Let t be 12/v + (-41)/1. Let x = 67 + t. Solve -2*z = 