f + 11 = 0, -m + f + h = -6 for m.
3
Let k(d) = -5*d - 3. Let n be k(-3). Let p = n + 0. Solve 3*r - 11 = b, 2*r + b = -3*b + p for r.
4
Let p(x) = 2*x - 14. Let f be p(8). Solve 0 = -5*t - q + 19, -t - 2*q = -f*t - 5 for t.
3
Suppose 9*m = i + 4*m - 25, -5*i + 3*m + 37 = 0. Solve 3*c + 9 = s, 4*c + 0*s + i = -s for c.
-2
Suppose j - 5 = -4*j. Solve b = -u + 1, 0 = -5*b + 4*u + 6 - j for b.
1
Let d(h) = -h**2 - 18*h - 12. Let p be d(-17). Solve 0*k - p*x + 22 = -k, 0 = -4*x + 20 for k.
3
Let n = -3 + -4. Let x = 4 + n. Let b = -1 - x. Solve -b*w - 2*w + f + 4 = 0, -4*w = -4*f + 8 for w.
2
Let i(t) = t - 3*t - 2 + 3*t + 3. Let h be i(5). Solve 4*n = -0*n + 5*f - 11, h = 2*f for n.
1
Suppose -w = 5 - 6. Let p = -1 + w. Solve -3*b - 2*c = 0, p*b + 2*c + 4 = -5*b for b.
-2
Suppose -u + 55 = -0. Suppose 2*f + u = p, -2*p - 5 - 10 = f. Let l = -9 - f. Solve -2*v = -5*n - 5, -l = -4*v + 5*n - n for v.
5
Let m be 12 + -9 + (1 - 1). Solve -5*x = 2*u + 19, m*u + 2*u + 7 = x for u.
-2
Let y(r) = r**2 + 13*r - 5. Let t be y(-14). Let s(j) = -j**2 + 6*j. Let z be s(5). Solve z*k + h = -2 - 11, -5*h - t = -3*k for k.
-2
Let m = 2 - 2. Let s be 0*(1 + m)*-1. Suppose s*l - 2 = -l. Solve l*w + 3*w = 4*n + 33, 3*w + 5*n = 5 for w.
5
Let w be 2 + (1 - -1) + 0. Suppose 2*f = w*f - 6. Let z = 2 - -2. Solve 0 = f*x + 5*c - 3 - z, -3*c = -6 for x.
-1
Let i be (-3 - 0) + (-13 - -1). Let t be i/(-4)*(-48)/(-18). Solve -5*o + 17 = 4*z, -t = -o - 3*o - 5*z for o.
5
Suppose -5*d = d - d. Solve 5*s + d*u + 5 = -3*u, -5 = 5*s + 4*u for s.
-1
Let d(t) = -t**2 - 7*t - 8. Let l be d(-6). Let v be 1 + l/2 - -2. Solve -v*r + 3 = n + 11, -4*n + 23 = -3*r for n.
2
Let j be 4/(-18) + (-7)/9. Let t be (j + 1)/(-2 + 3). Solve r + t*r = -4*z + 10, r + 3*z = 8 for r.
2
Suppose -p - 5*y = 4*p + 25, -4*p = 2*y + 16. Let s be (-36)/p + 2 + -4. Suppose -2*l = -12 - s. Solve l = -3*a + 4*v, 5*a - 40 = -4*v - v for a.
3
Suppose -h - 4*k = -22, -4*k = -5*h - 1 + 15. Let z = h - 3. Solve z*d + 2*r = 8 - 2, -4*d = r - 8 for d.
2
Let o(f) = 3*f + 4. Let a(i) = 1. Let q(x) = -a(x) - o(x). Let y = 7 - 12. Let m be q(y). Solve m = 4*j - 3*r + 5*r, 5*r + 3 = -3*j for j.
4
Suppose -b + 5*c + 23 = 3*b, 2*c + 2 = b. Solve -4*p + b = t, -2*t = -5*p + 20 - 5 for t.
0
Suppose 3 = -x + 9. Solve 4*n = 3*h + 7, 3*h + 2*n - 5*n + x = 0 for h.
-1
Let n(x) = -6*x**2 - 8*x + 2. Let b(f) = 7*f**2 + 8*f - 3. Let k(t) = 5*b(t) + 6*n(t). Let p be k(-7). Solve p*s - 14 = -3*y, 2*y = -0*y + s + 2 for y.
2
Let j = -4 - -6. Suppose -5*s = -l - 17, 2*s - j*l - 14 = -3*s. Suppose 0 = -3*q + 4*q - s. Solve 3*n - 23 = 5*b, -5*b - q*n - 17 = -n for b.
-4
Let a be -15*6/(-2 + -16). Solve -5*x + 3 - 18 = 0, -a*o = 2*x + 16 for o.
-2
Suppose -5 = -3*x + 13. Suppose 2*y + 8 = 6*y. Solve -4*q - 2*u = y, -3*q + x*q = 5*u - 21 for q.
-2
Let y = -128 - -130. Solve -u + 11 = 3*p, 3*p + y*p + 2*u = 20 for p.
2
Suppose 7*t - 2*t = 50. Let d = t - 5. Suppose d*n = -0*g - g + 22, 2*n + 2*g - 12 = 0. Solve 0 = i + n*z - 9 - 4, i + 15 = 3*z for i.
-3
Suppose 7*y - 25 = 2*y. Solve 4*v + 36 = 5*z, 0*v + 2*z = -y*v - 12 for v.
-4
Let w = 10 - 14. Let j(a) = a**2 + 2*a - 3. Let z be j(w). Solve s = y - 8, 8 = 2*y - z*s - 20 for y.
4
Let n(w) = -2*w**3 - 4*w**2 + 4*w + 1. Let f be n(-3). Solve 2*j + 0*l + 25 = 5*l, -l - f = 2*j for j.
-5
Let w(j) = j**2 + 4*j + 2. Let s be w(-7). Let c = -8 + 10. Solve 4*q + c*f = -q + s, -4*f = -16 for q.
3
Let k(w) = w**3 - 7*w**2 + 7*w - 3. Let p be k(6). Let x be 12 - (-7)/(21/9). Solve -2*v - x = p*v, -4*q = v - 13 for q.
4
Let f = 17 + -12. Solve -5*d = -4*d + 2*q + 7, -f*q = 2*d + 16 for d.
-3
Let t = -1 - 1. Let r be 2*3/((-12)/t). Solve -r = -3*z + h - 0*h, 2 = 4*z - 2*h for z.
0
Let d be 2/4 + (-26)/(-4). Suppose -4*m - 39 = -3*t - d, -24 = 3*m + 3*t. Let z = -1 - m. Solve -p + z = -0*r - 3*r, -r = -3*p - 3 for r.
-3
Let q(l) = 2*l**2 - 3*l + 3. Let m be q(2). Suppose -m*b = -4*t + 9, -3*t + 1 + 2 = 0. Let x = b + 4. Solve -2*c + 5*c = -2*w + 3, -w - 3*c = -x for w.
0
Let q(o) = 5*o**2 + 3*o. Let p(d) = 3*d**3 + d**2 - d - 1. Let m be p(-1). Let c be q(m). Solve 5*a - 3*a - c = -4*w, -4*w = a - 13 for a.
1
Let f(y) = -y**2 + 6*y - 5. Let n = -17 + 20. Let l be f(n). Solve 5*c = -2*h + 8, -3*h - c + l = -2*h for h.
4
Let h be ((-3)/1 + 1)*-1. Solve -22 = h*n + 3*y, 2*n - y + 3*y + 18 = 0 for n.
-5
Let n(u) = u**3 - 4*u**2 + 2*u - 4. Let o = -4 + 4. Suppose -k + 4 = -o*k. Let i be n(k). Solve -t + 3 = -i*t + 4*j, -2*t - 2 = 3*j for t.
-1
Let h(g) = g**3 - 9*g**2 + 10*g - 11. Let z be h(8). Suppose j + 3*j = u + 7, -5*j - z*u + 40 = 0. Solve -7*o + 2*d + 4 = -j*o, 5*o - 5 = 3*d for o.
1
Let i(x) be the second derivative of 0 + 1/2*x**3 + 1/20*x**5 + 1/2*x**2 + 2*x + 5/12*x**4. Let s be i(-4). Solve -s = y, 4*g - 5 - 21 = 2*y for g.
4
Let m be (0*(-3)/(-12))/3. Suppose 0 = 3*v - 2*s - 23, -4*v - 2*s = -m*v - 12. Solve 18 = 3*r - v*h, h + h + 8 = 2*r for r.
1
Suppose 2*v = x - 8, 13 = -3*x - 2*v + 5. Let a(j) = 2*j. Let w be a(5). Suppose x = -2*m + w. Solve -g + 0*g - 12 = -m*z, -5*g + 3*z = 16 for g.
-2
Suppose -2*m - 4 = -g - m, 5*g = 3*m + 18. Suppose g*d - 7*d + 36 = 0. Solve d = 3*k, c + 4*c - 10 = -5*k for c.
-1
Let l be -1 - (-5 - -2) - -7. Suppose -i + l = 1. Let s be ((-276)/(-115))/((-4)/(-10)). Solve i = 3*y + m, -s*y - m + 16 = -y for y.
4
Let c = 6 + -2. Suppose 2 = v, -3*b = -4*v + c - 2. Let h = b + 0. Solve h = -0*s + 2*s - 2*k, -3*s + 4*k + 8 = 0 for s.
-4
Let q(i) = i**3 + 8*i**2 + 6*i - 2. Let a be q(-7). Suppose 12 = a*x - 8. Solve 5*u - 2*n + 16 = 0, 6*u - 3*u + x*n + 20 = 0 for u.
-4
Suppose -2*y + 2*i + i + 7 = 0, -5*i + 30 = 5*y. Let f(r) = -4*r - 1. Let q be f(-1). Solve 4*s + 20 = -y*n - s, n = q*s - 8 for n.
-5
Let l(g) = -g**3 - 16*g**2 - 14*g + 17. Let b be l(-15). Solve b*a - 15 = 3*a - 2*t, -2*a + 5 = 3*t for a.
-5
Suppose -10 = -3*d + 38. Solve 2*i - 19 + 7 = 3*g, 4*g = 2*i - d for g.
-4
Suppose -3*l + 10 = -4*y, -3*l + 5 = -3*y + 4*y. Suppose -5*c + l*c + 9 = 0. Solve 0 = -c*i + 7*i + 2*j + 2, 2 = -i - 2*j for i.
0
Let t be 1*11 + -2 + 3. Let u be (-18)/(-10) + (-1)/(-5). Suppose b = -u*b + 9. Solve -b*o = t, 4*z - 2*o + 7*o + 36 = 0 for z.
-4
Let l = -8 - -11. Suppose 0 = 2*r - 4*t - 4, l*r + 3*t = -t - 4. Solve r = 2*h - 4*v + 6, 5*h - 2*v - 3 = 2*v for h.
3
Let r be 133/(-9) - 4/18. Let d be (-66)/r + (-2)/5. Solve -20 = d*l + 5*z, 4*l - 3*z = l - 15 for l.
-5
Let a be -10 - (2 - 4)/2. Let o be 18/8*(-24)/a. Suppose 3*n = -0*n + o. Solve -n*j + 6 = -4*g, j - 4*g + 2 = 3 for j.
5
Let z = 0 - -3. Let c = 5 - z. Suppose c*q + 28 + 16 = 2*t, 4*q = 8. Solve n = f - 9, -4*f = 5*n - 6*n - t for f.
5
Let k = 13 + 6. Let o be -4*k*(-5)/10. Solve 3*b + 8 = -4*w, 5*w = 3*b - o + 1 for w.
-5
Let z(m) = m**2 - 9*m. Let y be z(9). Solve 4*g + 20 = -w + 2*w, -2*g + 4*w - 24 = y for g.
-4
Let d be 12 + (-4 + 5)*0. Solve -5*v + 13 = g, 5*v - 3*g = 3*v + d for v.
3
Let f(d) = -d + 10. Let x be f(-7). Let v = x - 17. Solve v = j + 6*b - b - 12, j + 2*b = 3 for j.
-3
Let o(a) = a**3 - 10*a**2 + 9*a + 4. Let c be o(9). Solve -v - 9 = 3*u + 2*u, -2*v - 12 = c*u for v.
-4
Suppose u + 2*i - 10 = 0, -5*u = -i + 5*i - 26. Solve 4*s = -2*y - 2, u*s - 4 - 5 = -3*y for s.
-3
Suppose 0 = -5*y - 45 + 55. Solve 4 = -h + 5*h + y*w, 4*w = h - 10 for h.
2
Let j(s) = -s**3 + 5*s**2 + 1. Let o be j(5). Let a be (-6)/(-9)*(-3)/(-2). Let y = o - a. Solve y = -0*x - 2*x + 4, 4*x - 33 = 5*q for q.
-5
Let s(u) = -u**2 + 15*u + 20. Let h be s(16). Suppose -h*p - 4 = -4*n, -3*n - 2*p = -p - 15. Solve o = -2*o + 2*w + 7, w = n*o - 6 for o.
1
Suppose 0 = 4*w - 2*w - f - 3, -f = 4*w + 3. Solve 2*l - 5*z + 8 = 0, 4*l + w*z + 3*z = 10 for l.
1
Let s be (-1)/(-2) - (-15)/(-10). Let k = s - -6. Suppose -4*n + 3*t + 8 = 0, 0 = n - 4*t + 3 - k. Solve -n*l + 0*l = -5*d + 18, -2*l = 4*d for d.
2
Let y = 5 + -2. Suppose -5*t = 3*w - 0*w + 9, 0 = w - t - 5. Let k be (1 - w)*(-3 - 0). Solve 2*v - 7 = -k*p, -y*p - v = -6*v + 28 for p.
-1
Let o be ((-3)/(-12))/(3*2/168). Solve o = -j + 3*a, -j + 1 = a - 0 for j.
-1
Let x(p) = p + 10. Let q be x(-6). Let t = -109 + 109. Solve 0 = -q*i + 2*a - 14 - t, -2*i + 5*a = 3 for i.
-4
Let i = 8 - 3. Let q be 10/((-3)/6*-4). Suppose -i*s = q - 45. Solve 2*g - 3*g + 2*o = -s, 5*g = -2*