+ 1, 2*u - a = -l for l.
-3
Let l be (-3)/(-2)*(-8)/(-6). Suppose l*c - 4*c = -34. Let k = 0 - -4. Solve -2*s = -k*a - 35 + 13, 3*s - c = 2*a for s.
3
Let d(l) = l + 14. Let g be d(-9). Suppose 3 = -z + g. Let x = 7 - z. Solve -3*b = -2*h - 11, -x*b + 3 + 10 = 2*h for h.
-1
Let p = 23 - 20. Solve 0 = -5*c - 4*s - p + 19, 4*c - 3*s + 12 = 0 for c.
0
Let d(b) = b**2 + 9*b + 14. Let a be d(-10). Let y = a + -24. Solve y = -2*g - k, g + 9 - 23 = 3*k for g.
2
Suppose 4*a = -2*l + 26, 4*a - 14 - 15 = -3*l. Solve 0 = 5*k - 5, a*k - 10 = 5*j + 10 for j.
-3
Suppose -5*d + 3*l = 16, -2*d + 0 = -4*l - 2. Let p be (34/(-3))/((-12)/(-18)). Let b be 2/d + p/(-5). Solve 3*t + 3*i = 0, 5*i + b = t - 3 for t.
1
Let a = 0 + 3. Suppose 3*l - 1 = a*d + 5, -3*l = 2*d - 16. Solve 2*w + d*w + 3*x - 3 = 0, 5*x + 12 = -w for w.
3
Let k = 6 + -3. Suppose 3*u = 3*z - 21, -6*u = -2*u - 5*z + 33. Let q(m) = -m. Let w be q(u). Solve -k*p - 3*b = -6, -4*b + 3 = w*p - 9 for p.
-2
Let p(i) = -i**3 - 4*i**2 + i + 6. Let z be p(-4). Suppose -2*h + 10 = 3*h. Solve 5*g - 2*u = 4, 2 = -h*u - z for g.
0
Let s(g) = -g - 2*g**2 - 4*g**2 + 0 - 3 - g**3. Let t be s(-6). Solve 4*d = 12, -d = 4*j - t*d - 14 for j.
5
Let w be 5 - (1 + (-12)/(-3)). Solve r - t + 2 + 0 = w, -2*r - 3*t + 1 = 0 for r.
-1
Let h(p) be the second derivative of -3*p**5/10 - p**4/12 + p**3/6 + p**2/2 + 7*p. Let v be h(-1). Solve 0 = 2*t - 5*t - v*y - 13, 0 = 3*y + 6 for t.
-1
Let t(r) = -r. Suppose 0 = 4*h - 12 + 32. Let m be t(h). Solve m*a = -4*v - 9, -3*v + v + a + 13 = 0 for v.
4
Let r be ((-8)/(-5))/((-14)/(-245)). Solve -3*f = -4*i + r, i - 27 = 4*f - 7 for i.
4
Let d(c) = 4*c**2 - 2*c - 2. Let v be d(-3). Suppose 0 = -5*k + v + 40. Solve -2*z = -2*p - k, -8 = 3*p + 4 for z.
4
Suppose -8*h + 3*h + 4*w + 44 = 0, -h + w = -9. Suppose -3*u = -12, 0*f = -f + 2*u - h. Solve f = 4*b - 2*j - 24 - 2, -4*j + 13 = 5*b for b.
5
Let x(b) = b - 4. Let l be x(3). Suppose 0 = -2*g - 4*t + 12, -4*t + 9*t - 21 = -4*g. Let u = l + g. Solve -1 + 3 = u*j - 2*f, 5*j + 4*f + 26 = 0 for j.
-2
Let f(s) = s + 9. Let m be f(-6). Let w be (-8 - -7)/((-1)/m). Solve -w*t + 14 = -l, 5*t - 2*t = -2*l - 1 for l.
-5
Suppose -2*y - 4*m = -30, 5*m = -0*y + y + 13. Let g = 3 - 3. Let c = g + 2. Solve -4*h = -3*w - y, c*w - 3*h - 11 = 3*w for w.
-5
Let z be 39/12 + (-2)/8. Solve 0 = -z*u + 5*g + 2 - 10, 3*g + 2 = -5*u for u.
-1
Let h = 6 + -13. Let j(z) = 0*z - z**2 + 10 + 2*z - 8*z. Let q be j(h). Solve -4*y + 5*w + 40 = -9*y, -2*y - 19 = q*w for y.
-5
Let g(f) = 4*f**2 - 23*f. Let v be g(6). Solve -i - 3 = -2*n, v*i - 5*n + 5 = i for i.
1
Let n be 10*(15/2)/(-5). Let x = n + 38. Solve -5*a + x = 2*j, 2*j - 13 = 2*a - 5*a for j.
-1
Suppose 0*p = p - 3. Solve -23 = p*m + 4*w, -w = -4*m - m - 23 for m.
-5
Suppose 0 = s - 3 - 5. Suppose -s = -3*g - 2. Solve 3*t = -3, 5*t - 4 = -g*f + t for f.
4
Suppose 7*n - 6 = 4*n. Suppose 0*q = q + 4*i - 9, 4*i = -4*q. Let v be 11/3 - 1/q. Solve 0 = -v*p - r - 2*r - 9, -n*p + 6 = -2*r for p.
0
Let q(x) = 8*x**3 - 6*x**2 + 0*x**3 - 7*x**3. Let y be q(6). Solve -2*d = -y*g + g + 4, 5*g = 4*d + 36 for d.
-4
Let z be 0/(-4) + 4 + 1. Let a be 3*(4/6)/2. Solve -2*l - z = -a, -2*y - 5*l = 0 for y.
5
Suppose 6*g = -2 + 266. Solve -5*s - 4*a + 3 - g = 0, 1 = -s + a for s.
-5
Let o = 95 - 95. Solve -5*k - 15 = -2*p - 0*k, -2*p - 2*k + 8 = o for p.
5
Suppose -204 = 3*r + r. Let i be r/6 + 1/2. Let j = i - -11. Solve 0 = 2*b - 5*k + 15, 0*b + 5*k - 20 = j*b for b.
-5
Suppose -8 = -3*g + 4. Let y be (45/(-36))/(2/(-8)). Solve 2*d - y*i = 2, -2 + 6 = g*d - i for d.
1
Suppose 0 = 5*f - 5*v + 5, 2*f + 3 + 2 = v. Let m(b) = b**2 + 4*b + 5. Let c be m(f). Solve 0 = -3*s - c*w + 15, 3*s + w - 3 = -0*s for s.
0
Suppose -9*r - 3*r = -36. Solve -c + 3*a + 8 = 0, 3*a + 7 = 2*c + r for c.
-4
Let n be (5 - 11)*2/(-4). Suppose 0 = -2*v + n + 5. Let a = -5 + 7. Solve 3*b = 5*c + 25 + a, c = -v*b + 13 for c.
-3
Let c = 50 + -24. Suppose 5*a = c - 6. Solve 0 = q + a*r - 5, -q - r + 0*r = -5 for q.
5
Suppose 0*r - 2*r - 2*o + 14 = 0, 5*r = 2*o. Solve 0 = -3*l - 2*l + 2*u - 16, l + r*u + 8 = 0 for l.
-4
Suppose -7 - 3 = -2*f. Solve 5*m + 4*r = -37, -4*m + 8*r = 3*r + f for m.
-5
Suppose 0 = -8*b - 9*b + 34. Solve -2*k + 3*p = -9, -15 = p + b*p for k.
-3
Suppose -f + 21 + 11 = 0. Let c be f/6 + (-1)/3. Let h = 9 - c. Solve -k = 2*t - h*k - 10, -k - 2 = -2*t for t.
-1
Suppose -z + 18 = 11. Solve -4*n + z*n + k + 11 = 0, -40 = 4*n - 5*k for n.
-5
Let c = 5 + -1. Suppose -w + 23 = 4*p, 5*w + 10 = 9*p - c*p. Solve u = -4*u, 15 = p*h + 5*u for h.
3
Suppose -42 = -4*s + 74. Solve -11 + s = -b - 4*h, -h = -2*b + 9 for b.
2
Let h be (-21)/2*10/(-15). Solve 5*y = -2*j - 16, j - 14 = 5*y - h for y.
-2
Let q be 1/4*(126 - (3 + -1)). Solve -3*t - r + 6*r = -q, -4*r - 14 = 3*t for t.
2
Let p be ((-8)/(-10))/((18/15)/6). Solve -7 = -2*q - p*u - 1, 4*q = u - 6 for q.
-1
Suppose 0 = g - o - 7, -2*o + 30 = 4*g - 7*o. Solve 23 = 2*s - 3*y, 2*s - g*s - 3*y = 3 for s.
4
Let t = -22 - -26. Solve 0 = -5*f + 2*k, 0*f + t*k + 16 = 2*f for f.
-2
Let w be (0 + (-1)/4)*0. Solve w = -2*z - 0*h + h + 12, 5*z + h - 23 = 0 for z.
5
Let r(p) = -p - 2. Let o be r(-6). Let d = -3 + 1. Let c = d + 4. Solve 2 = 3*x - o*n, -c*x = 3*x + 4*n - 14 for x.
2
Suppose 3*i = -2*r - 11 + 38, 3*i - 3*r = 27. Suppose 5*q = -5*m - 40 + 115, 15 = m - q. Solve 5*f + m = 2*b, -f - 2*f - i = -b for b.
0
Suppose 0*f = -3*f + 45. Solve 5*n - r - 3 = 2, -2*n + 3*r = -f for n.
0
Let a(m) = -3*m**2 + 2*m + 1. Let s be a(-1). Let q = 7 + s. Suppose -x + 2 = -2*x + 2*i, q*x - 5*i + 4 = 0. Solve 3*t + x*c = 2, 0 = 4*t - 2*c - c - 14 for t.
2
Let r(x) = -x**3 - 5*x**2 - 6*x - 2. Suppose -4*z = -z + 12. Let s be r(z). Solve -4*h = -d + 12, -2*d = -2*h - 0*h - s for h.
-3
Suppose 2*d - 9 = -5*w - d, d = 5*w + 3. Suppose -u - u = -24. Suppose w*s - 4*s = -u. Solve 3*g = -4*o + 2*g + 1, s*g = -2*o + 13 for o.
-1
Let v be -2 + 8 - 0 - 2. Solve -4*i + 6 = 2*a - 3*a, -3*a - v = -5*i for i.
2
Suppose -o = -4*o + 6. Solve -3*h + o*m + 2 = 4, 4*h - 2*m = -6 for h.
-4
Let b(m) = -m**3 - 5*m**2 - 7*m + 1. Let j be b(-3). Solve 0 = -2*a + i + 5, -9 = -j*a - a - i for a.
2
Let f = 14 + -10. Suppose -f*c + 3*c = -2. Solve -1 = d + v - 3*v, -c*d + v = -7 for d.
5
Suppose 3*n - 24 = 3*r, 2*n - 2*r = n + 13. Suppose 2*k + 14 = n*g, -k + 3 = 2*g - g. Solve -5*a = 3*i + 19, -6 = 2*a - 5*a + g*i for a.
-2
Let l = 5 - 3. Suppose l*r = 4*r - 14. Solve 3*v = 2*i, 0 = 2*v + i - r for v.
2
Let k(c) = c - 6. Let d be ((-4)/6)/(5/(-60)). Let a be k(d). Solve a = 2*i - 5*s - 8, -2*i = -4*s - 10 for i.
5
Suppose 0 = -5*m - z - 1, -4*m + 2*z - 1 = -3. Suppose m*s = s. Suppose s = q + q - 4. Solve -q*t + 7 = 3*x, -3*t + 8 = 3*x - 1 for x.
1
Let p = 140 + -136. Solve -4*y = 5*b + 20, -4*b - 7 - 9 = p*y for y.
0
Suppose -o - w = 2*o, 0 = -3*o + w. Solve -3*c + 2*v + 5 = 0, 3*v = -c - o*v - 13 for c.
-1
Suppose -3*x = f + 9, -3*f - 12 = -0*x + 4*x. Solve 3*n = -9, f*z - 2*n - 1 = -z for z.
-5
Suppose 0 + 4 = p. Solve -p*l + 3*l + 1 = 2*g, -3*l + 5*g - 30 = 0 for l.
-5
Let o = -105 + 105. Let x(z) be the second derivative of -z**3/6 + 29*z**2/2 - z. Let g be x(o). Solve -u - 9 = -2*s - 0*s, -4*u = 5*s - g for u.
1
Suppose -3*x = -5*x - 8, 8 = -2*w - 5*x. Solve w*h - h + 5*n = -5, -5*h + n = 17 for h.
-3
Let n be 4/(-14) - (-984)/14. Suppose -2*k = 3*k - n. Suppose 18 + k = 4*o. Solve 2*s - s = -3*v + 10, o = 4*v for s.
4
Suppose 3*v - 22 = 5*p, 0 = 2*v + 3*p + 2 - 4. Solve 2 = l, 2*z - v*l + 17 = 1 for z.
-4
Suppose -m + 19 = 5*j - 19, -5*j + 30 = 5*m. Solve -2*o - 16 = -3*i + 1, 0 = 2*o + j for i.
3
Let z(j) = j**3 + 5*j**2 + 6*j + 8. Let l be z(-4). Let i be (-4 + 2)/2 - -3. Solve 2*g + 5*a + 1 - 11 = l, 4*g = a - i for g.
0
Let i be (-1 - -2*1)*-4. Let n be 2 + ((-2)/2 - i). Solve -n*h + 0*b + 6 = -2*b, 2*b + 2 = 3*h for h.
2
Suppose 0*k + k = 3. Suppose b + 1 = 5, k*b - 10 = l. Suppose 11 = -2*j - 4*n + 1, -2*j - 2*n - l = 0. Solve -3*v + 8 = 2*p - 1, 4*p - 9 = j*v for v.
1
Let s = 13 - 9. Suppose -4*t = -5*n - 10, 0*t = -s*n + t + 3. Let u(j) = -j + 12. Let w be u(0). Solve -3*b + w = 3*x, b = 3*x + n*x - 8 for b.
2
Let y = -6 - -8. Suppose -y*s + 2 = g, -s + 6*s = g + 12. Let m = 2 + g. Solve m = 3*k - 6, 3*q - 5*k + k + 17 = 