0, u = -5*l + 3*m + m - 8 for l.
0
Let v = -18 - -20. Solve -2*r + 2*a = v, 0 = -2*r - 3*a - 4 - 3 for r.
-2
Let m(i) = -i + 14. Let y be m(10). Let a be 2 + y - (-1 - -2). Solve -4*f - 6 = b - 3*f, -a*b + 2 = -3*f for b.
-2
Suppose 3*l + 2 = l, l + 1 = 2*j. Suppose -2*o + j*o = -6. Suppose -5 + 16 = -2*i + 5*r, 20 = 5*i - o*r. Solve i = 2*d - 3, 3*s - d = -20 for s.
-5
Let o be ((-3)/9)/((-1)/12). Suppose 7*t - 3*t - 92 = 0. Solve -t = -o*p + 4*n + 9, 5*p = -n + 22 for p.
5
Suppose 3*r = 6*r - 6. Suppose -4*j + 4 = -r*j. Suppose -3*x + 8 = j. Solve -6 = 2*y, -x*k - 2*k = -4*y - 32 for k.
5
Let c(h) be the second derivative of -h**3/2 + h**2/2 - 2*h. Let n be c(-5). Solve b = -3*b - n, 4*k + 2*b + 20 = 0 for k.
-3
Let i(g) = -2*g**3 + 29*g**2 + 16*g - 10. Let o be i(15). Solve -2*q = -5*c + 1, -4*c + c + o*q = -12 for c.
-1
Let p = -32 - -23. Let s = p - -11. Solve 5*v = -4*x - 2, 0*x + s*x = 5*v - 16 for x.
-3
Suppose 0 = f + 4*f. Solve -2*h - 4*b = -7*h + 23, f = 5*h + 4*b - 7 for h.
3
Let u be (-18)/10*30/(-6). Solve -5*i + 0*i - t = u, 5 = -2*i + t for i.
-2
Let q(f) = 3*f + 12. Let l be q(0). Solve -4*k = l, 0 = -5*p - 2*k - 1 - 30 for p.
-5
Suppose 0 = 5*r + 25, -3*w + 3*r + r = -56. Solve -4*g = 3*h + 12, 0*g = 3*h + 3*g + w for h.
-4
Suppose 2*y + 5*p + 41 = -2*y, 5*y = 4*p - 41. Suppose 2*g - 27 = 5*g. Let d = y - g. Solve -4*x + 4 - 5 = w, d = 3*x for w.
-1
Suppose -4 = c - 5*l, 0*l + 2*l - 22 = -3*c. Solve 0 = 4*y + 5*p + c, 2*y - 2*p + p + 10 = 0 for y.
-4
Let z = 1 + 2. Let w be 0/2 + (-1)/1. Let i = z - w. Solve -2*s = 4*j + i, 9*s - 20 = 4*s for j.
-3
Suppose 4*h + 12 = 8*h. Solve 3*m = 3, 2*m - h = -3*b - m for b.
0
Let u be 8/(-12) + (-58)/(-6). Let t(w) = -w**2 + 5*w - 2. Let v be t(2). Let z be -1*5/(-10)*1*4. Solve v*k - 4 = -2*y - 0, k = z*y - u for k.
-1
Let h = -8 - -8. Suppose h = -x - x. Suppose x*y = y - 3. Solve w + y = 5*v - 17, 5 = -2*w + 3*v for w.
5
Let a be 3 - 2 - (-36)/9. Solve 4*f + f - a = 0, 4*f + 2 = 3*h for h.
2
Let c(j) be the first derivative of j**3/3 - 3*j**2 - 2*j + 2. Let l be c(7). Solve h = -5*u + 17 + 6, l*u - 29 = -3*h for h.
3
Let j be (-1 + 7)*(-1)/(-2). Suppose j - 6 = 3*z. Let p = 11 - z. Solve 4*s + 2 + p = 2*n, 0 = 3*n - 4*s - 19 for n.
5
Let i = 18 - 13. Suppose d + 93 = -0*w - i*w, -9 = 3*d. Let s be (6/(-9))/(4/w). Solve 0*o = z - s*o + 14, 4*o - 25 = -5*z for z.
1
Let c = 7 - -2. Suppose c*h - 9 = 6*h. Solve -50 = 5*d - 5*q, 8*q - h*q = -2*d + 15 for d.
-5
Let x(w) = -w**2 + 4. Let a = 1 - 1. Let s be x(a). Let i(z) = -z + 20. Let d be i(15). Solve -4*p - 11 = -3*f, -7 = -s*f + d*p + 8 for f.
5
Let c = 17 - 13. Solve -20 = -c*x, -4*x = -3*v - 2*x - 7 for v.
1
Let q(w) = -w**3 - 2*w**2 - 6*w - 5. Let p be q(-3). Solve -5*d - 2*i - 20 = 0, d - p + 9 = 3*i for d.
-2
Suppose 0 = 4*y + y - 65. Solve -3*o = -p + y, -4*o + o = 4*p + 23 for p.
-2
Suppose -3*z = 5*g + 12 - 4, 8 = 2*z. Let i be (-6)/12*g/(-2). Let w be (3/(-3))/i + 3. Solve -u + w*s - 19 = 0, 7*s - 2*s - 29 = -4*u for u.
1
Let o = -218 - -223. Solve o*k = 2*t + 7, 18 + 2 = 2*t + 4*k for t.
4
Let s(i) = 2*i - 8. Let y(d) = d**2 - 4*d + 4. Let w be y(4). Let o be s(w). Solve 2*m = 0, m = 3*l - o*m - 12 for l.
4
Suppose p = 5*p. Suppose p = 3*s + 5*y + 10, -y = -2*s + 1 + 1. Let d be s/(3/((-3)/(-1))). Solve 7 = c + 2*h - 2, d = 4*h - 8 for c.
5
Suppose -60 = -3*n - 3*n. Suppose 77 = 4*s + 5*i - 41, 5*s = 2*i + 164. Suppose 2*p - n = s. Solve 13 = 5*w + 3*c, -4*w - 2*c = 9 - p for w.
5
Let q(f) = f**2 - 7*f - 6. Let x be q(8). Solve -5*d + 3*l = 21, -x*d = -2*l + 13 - 3 for d.
-3
Let y = 19 + -14. Let h = 1 - -1. Solve h*m + 45 = y*c - 3*m, -3*c + m = -17 for c.
4
Let t be (-1 + -2 - 7/(-2))*12. Solve -p - y + 3 = 2, -4*y + t = 3*p for p.
-2
Suppose -a = -2*a + 4. Solve 3*t - a*n - 27 = 0, n + 17 + 1 = 3*t for t.
5
Suppose 3*j = 6*j. Suppose -2*k + 3*q + 1 + 14 = j, -15 = 3*q. Let s(b) = 3*b**2 - 5*b - 3. Let a be s(4). Solve c + 3 = 2*o - 7, 5*o - c - a = k for o.
5
Suppose y + 2*b = -3*y + 14, -5*b + 15 = 0. Let q(v) = v + 13. Let w be q(0). Solve 19 = 3*a + 2*o, o - y*o - w = -3*a for a.
5
Let o(w) = 9*w - 58. Let v be o(7). Let b = 1 + -4. Let x = 1 - b. Solve v*g - 16 = g + 3*j, -8 = -2*g - x*j for g.
4
Let c be 0 + -3 - (0 - 4). Solve 4*i + 5*q = -26, c + 5 = -i - q for i.
-4
Let z be 0 + -1 + 1*4. Let r(m) = -m**2 + 2*m. Let c be r(2). Suppose 5*s + c*s = 10. Solve 5 = -5*x + q + 4*q, -z*x + s*q - 6 = 0 for x.
-4
Let o = -90 - -93. Solve -5*n - 3*t = -26, -2*n = 2*n - o*t - 10 for n.
4
Suppose 5*h - 18 = 2. Solve 4*i + i - 10 = 3*r, -3*r - h*i = 19 for r.
-5
Let u be 8/3 + 16/(-24). Solve 0 = 3*h - 2*l - 5, 3 = 2*h - u*l - 1 for h.
1
Let j be 3/5 + 2/30*6. Solve p - 2*c = -4, -3*p + 3 = c + j for p.
0
Suppose 0*h + 5 = h. Let l = -4 + 1. Let i(w) = w**3 + 3*w**2 - w - 1. Let u be i(l). Solve 23 = r - 3*a - u*a, -h = a for r.
-2
Let b = -7 + 12. Suppose -26 = -b*j - a, 2*j - 4*a + 1 = 7. Let n be (2 + -6)*5/(-4). Solve -5*r = -j*t - 25, -n*t - 3*r + 10 = -r for t.
0
Let i be 2/(-3) + (-66)/(-18). Suppose -4*p = g + p - 3, -3*g + 25 = -p. Suppose 2*n + 0 = g. Solve o + 13 = -n*q, 13 = -4*q - i for o.
3
Suppose -3*m = -4*m + 6. Suppose 2*g - 7*o + 2*o - 11 = 0, 0 = g + 5*o + 2. Solve 2*k + 7 = 3*z, 9 = g*k - m*k + 4*z for k.
1
Let m = -1 + 2. Suppose -9 = -4*s - m. Solve -4*l + 8 = -5*z, -4*z + s*l + 2*l = 8 for z.
0
Let l(v) = v**3 + 6*v**2 - 7*v + 2. Let c be l(-7). Let k = 0 + 0. Solve -3*o - 7 = -5*m, -2*o - c = -2*m - k*m for m.
2
Let d(h) = 14*h - h**2 - 1 - h - 7. Let s be d(12). Solve -4*k + 3 = -3*m - 7, 2*k + s*m - 16 = 0 for k.
4
Let c(r) = -r + 1. Let m be c(-3). Let q(u) = 2 + 2*u**2 + 0 - 3 + 2*u**2. Let l be q(1). Solve 0 = l*j + 6*t - t - 10, m*j = -4*t + 8 for j.
0
Let o be (10/6)/((-2)/12). Let p = o - -18. Suppose -5*q + p + 52 = 0. Solve 3*d + q = 3*j, -2*d + 17 = -2*j + 5*j for d.
1
Suppose 0 = f + f. Solve 5*z - 22 = -2*o + 1, f = 4*o - 16 for z.
3
Let d = 10 + -5. Solve -10 = -2*n - k, 2*k + d = n - 0*n for n.
5
Let x be (-3 - -9)*(-6)/(-4). Suppose -2*m = 2*m - 5*w - 15, 4*m + 3*w + x = 0. Solve 5*h - 2 - 3 = m, -5*k + 3*h = -22 for k.
5
Suppose -t = 15 - 17. Solve f = 4*u + 14, t*f = -f - 6 for u.
-4
Let x = -3 + 5. Solve 9 = -5*l + 3*c + 30, -8 = -4*l - x*c for l.
3
Suppose 2*t + 2*t = s - 19, 0 = -5*s - 5*t - 5. Suppose -7 + 1 = -h. Solve -s*o - 20 = q, -h*o = -2*q - o + 15 for q.
-5
Let o(s) = -2*s - 1. Let q(y) = -y. Let k(v) = o(v) - 3*q(v). Let i be k(3). Solve i*l + f - 6 = 0, -4*l - 2*f = 3*f for l.
5
Suppose 3*j + 2 + 10 = 0, 0 = -2*n - j + 4. Let s be (2*-2)/4 + n. Solve -5*f - 2*k = -4*k - s, -2*f = k - 3 for f.
1
Let s = 27 + -17. Let a be 174/10 - 4/s. Solve 4*k = -f + 15, -4*f = -3*k + a - 1 for k.
4
Let s(t) = -t**3 + 4*t**2 - 2*t + 5. Let z be s(4). Let x = 7 + z. Solve 5*k = -4*p + 6, p + 2*k - x = -1 for p.
-1
Let v = -9 - -14. Let p(y) = -y + 3. Let j be p(4). Let n be 2 - (1 + j) - -8. Solve 5*c = 3*c + n, 4*c + v = 5*w for w.
5
Suppose -2*i = 5*s + 15, -21 - 9 = 3*s - 3*i. Let g be s/(-2 - (-3 + 2)). Solve -j = -3*j + g*b - 4, 4*j = -4*b - 8 for j.
-2
Suppose h = -4*f + 25, -h - 15 = -5*f + f. Suppose u = h*u - 140. Let g be (-23)/(-5) + 14/u. Solve 3*b + g*x = -23, 4*b + 16 = -4*x + x for b.
-1
Let n be 3/(-9) - 2391/9. Let q be n/(-63) + 2/(-9). Solve q*m + 8 = 0, -5*y + 32 = -4*m - 1 for y.
5
Let b = -2 + -4. Let q(n) = -n - 3. Let s be q(b). Solve -3*p - 4*d - 2 = -s*d, -2 = 4*p + d for p.
0
Let d(w) = -w. Let j be d(-5). Let k = 10 - j. Let u = k - 4. Solve -3*q + 25 + u = -4*n, 0 = 4*n - 4*q + 28 for n.
-5
Let i(y) = y**3 + 4*y**2 + 2*y - 2. Let f be i(-4). Let z be 12/(-15)*f/(-4). Let r = 5 + z. Solve -o - r*u = -2 + 6, 5*o - u - 12 = 0 for o.
2
Suppose -3*p + 4*c + 20 = -p, -p = 4*c + 20. Let u = 10 + p. Solve m + u = 4*y, -y = -4*m + 5 - 0 for y.
3
Suppose 0*c + 2*a = -c + 8, 5*c - 3*a - 40 = 0. Solve c = -4*f - 3*h + 2*h, -10 = 2*f - h for f.
-3
Let i(r) = -3*r - 7. Let j be i(-4). Solve 0 = -j*a, 3*a - 10 + 0 = -5*f for f.
2
Suppose -g - 3*o + 2 = 0, -2*g - 2*o - o = -7. Solve 0 = 5*s - 2*a + 7*a - 10, 3*a - 4 = -g*s for s.
-1
Let t = -54 - -8. Let j = 13 - 5. Let a be t/(-3) + j/12. Solve 3*c = 2*x - a, 5*c + 41 - 16 = 3*x for x.
5
Let m = 8 + -5. Let w be (-44)/(-