 j + s - 2, -j + q*s = 9 for j.
1
Let r be 2 + (-2)/((-2)/3). Suppose -2*i = -h + r, -2*i = 5*h - 3*i - 34. Solve 2*l + 0*l - 2*b - 2 = 0, 2*l + 3*b = h for l.
2
Let r = -11 + 13. Suppose -r*h + 63 = 21. Solve -b = -s, -4*s + h = 2*b + b for s.
3
Let x = 70 + -151. Let b be (-2250)/x + (-2)/(-9). Solve 2*o - b = -3*o - c, 5*c - 20 = -o for o.
5
Suppose 0 = -5*t - 3*l + 27, 4*l + 3 = 5*t + 4. Solve -2*h = -t*q, 2*q - 6*q - 11 = h for q.
-2
Let g(r) be the first derivative of r**3/3 - 5*r**2/2 + r - 5. Let a be g(7). Solve 5*y + a = -3*f - 2*f, 0 = -4*y - 16 for f.
1
Suppose -8 = -2*j - 4*m, 2*j - 3*m - 2*m - 8 = 0. Solve 3*q - 4 = 5*c - j*c, 3*q = 3 for c.
-1
Let v(d) = d - 8. Let s be v(8). Let z be 3 + 2 + s + -1. Solve -j - 2*o - z = 0, 4*o + 32 = 3*j + 4 for j.
4
Suppose -2*j + 27 = -j. Suppose 30 = 5*k - g - g, 3*k - j = 3*g. Suppose 0 = -r + 15. Solve k*s = s + r, i = -3*s + 11 for i.
-4
Let v(w) = w**2 + w + 4. Suppose -3*q = -2*q. Let p be v(q). Let k be (-4)/(-6) + 58/3. Solve 0 = p*n - 9*n - 3*z + 13, -k = 5*z for n.
5
Suppose j + l = -j + 10, 5*j + 3*l = 27. Solve -4*z - b - 3*b = 4, 0 = -b + j for z.
-4
Let w(f) be the first derivative of 7*f**2 - 5. Let l be w(1). Solve 4*c = 4*m + 20, 2*c + 0*c = 4*m + l for m.
-2
Let h be -3 + 7 + 4/(-1). Solve -6 = -2*w - h*j - j, 6 = 4*w + 5*j for w.
4
Let h = 141 + -139. Solve -4*p = 12, 4*t - 3*t + h = -p for t.
1
Let u = 6 - -2. Suppose -35 = -3*j - u. Solve x - n - j = 0, 0 = 2*x - 3*x - 3*n - 7 for x.
5
Suppose -k = -5*l - 15, l - 5*k - 13 = -2*l. Let n = 28 + -20. Let s = l + n. Solve -4*c + s*x = c - 5, -2*c + 2 = -2*x for c.
1
Suppose -104 = 53*v - 57*v. Solve 5*i - 3*h - v = 0, -2*i - 6 = -5*i - 3*h for i.
4
Suppose 3*u + 2*u + 25 = 0, -2*u = 5*x - 5. Solve -4*l = 5*d - 25, 5 = d - x*l + 6*l for d.
5
Let r be ((-12)/9)/((-6)/9). Let c = 10 - r. Let f be -2*2/c*-4. Solve 4*m - f*d = -30, 2*m + 0*d + d = -5 for m.
-5
Suppose 5*i - 4*o + 3 = -7, -2*o + 2 = -4*i. Let q = -2 + i. Solve 4*d - g - 4*g - 14 = q, 6 = 4*d - g for d.
1
Suppose -6*s + 4*s = 0. Suppose s = 4*h - 5*k, 2*k = 3*h - k. Solve 2*w = -5*d + 7, -2*w - d + h*d = -3 for w.
1
Let m = 0 - -5. Suppose -11*k + 12 = -m*k. Let t = -3 - -5. Solve -t*q - 3*v - 17 = 0, -k*v + 5*v - 3 = 3*q for q.
-4
Suppose 7*t + 3 = 17. Solve 0 = -4*k + 2*i + 3*i + 3, t*i = 2 for k.
2
Let d(i) = -2*i - 12. Let u be d(-9). Solve 4*v + 2 = 2*f + u, 2 = 2*v - 4*f for v.
1
Suppose 7 + 8 = 3*r. Let m(t) = 2*t + 2. Let g be m(2). Suppose 5*y - 21 = 2*y. Solve -5*s - x = -g*s - y, 0 = r*s + 5*x + 15 for s.
-5
Let c = 62 + -41. Suppose -4*j = -2*f + 3*f - c, 2*j + 4*f - 14 = 0. Solve -2*r + 7*r = -j*t - 5, 5*t = r + 19 for t.
3
Suppose -2*r - 3*t = -0*t + 78, 0 = 5*t. Let o be -1 - 4/(12/r). Suppose -4*j + 2*j + 8 = 0. Solve -4*d = -4*c + o, -5*d = -j*c - 2*d + 11 for c.
2
Let l(d) = 4*d - 12. Let t be l(4). Solve -v = 4*m - 12, 2*v - 3*m + t = -5 for v.
0
Let s(w) = -3*w - 2. Suppose -3 - 6 = 3*t. Let n be s(t). Suppose -x = -2*x + n. Solve -j + x = 2*d, -3*d - d + 15 = 3*j for j.
1
Suppose l - 36 = 4*y + 48, -20 = -5*y. Let s be ((-4)/10)/((-2)/l). Suppose -7*t + 3*t + s = 0. Solve -w = -t*n + 27, -3*n = -4*w - 8*n + 17 for w.
-2
Let l(p) = p**2 - 2*p - 4. Let d be l(4). Suppose 3*k + d*t = 20, -2*k + t = -6*k + 5. Solve -5*u - 5*z + 5 = k, 4*u + 3*z - 4 = 4*z for u.
1
Suppose -2*u + 20 + 56 = 0. Let v be 6/(-8) - u/(-8). Solve 0 = 5*q + 3*x - 32, -q - x = -3*q + v for q.
4
Let f(k) = k**3 - 5*k**2 + 5*k - 6. Let l be f(4). Let o = l - -2. Let i = o - -4. Solve -5*h + 2*r = r + 8, 2*r = -i*h + 2 for h.
-1
Let z(p) = 2*p - 2. Let y be 6/9 - (-4)/3. Let x be z(y). Solve 5*d = -0*n + x*n + 20, 5*n = -4*d + 16 for d.
4
Let u(x) = -x**2 + 4*x - 3. Let t be u(2). Suppose 0 = -0*o + 4*o. Suppose o*s = -s + 6. Solve 8*k - 4*k + 5*v = -t, -s = -5*k + v for k.
1
Let a(l) be the second derivative of l**4/6 - 2*l**3/3 + l**2 + 3*l. Let i be a(2). Solve -3*b + 14 - 34 = 5*w, 0 = 2*w + i*b + 12 for w.
-1
Let m(x) = -2*x**2 + 15*x - 2. Let h be m(7). Solve 5*u + 0*u - h = 5*w, -4*w + 12 = 0 for u.
4
Let f = -11 + 3. Let b be 2 - 14 - (-1)/1. Let g = f - b. Solve -4*l + 20 = -4*c, -g*c - 3*l - 9 = 2*c for c.
-3
Let g(d) = -d - 7. Let u be g(-5). Let t(h) = h**2 - 3*h - 2. Let j be t(u). Solve 2*v - 3*n + j*n = -30, v + 5*n + 25 = 0 for v.
-5
Let u = 84 + -79. Solve -2*t = -u*f - 8, 0 = 2*t + 6*f - 2*f + 10 for t.
-1
Let u(t) be the third derivative of -t**5/60 + t**4/6 + t**3/3 - 2*t**2. Let m be u(4). Solve -25 = -3*k - m*l, -l + 2 = -3 for k.
5
Suppose 0 = b - 1, -5*j - 6*b + 18 = -3*b. Solve 5 - 15 = -5*v, -j*r + 5*v - 25 = 0 for r.
-5
Let o = 17 - 21. Let h be 2 + (-3 - 1)/o. Solve v + 4 = h*u, v - u - 4 = -2*u for v.
2
Suppose 0 = -s - 2*r + 35, -4*s + 32 = -4*r - 48. Solve t + 4*w = -w - s, 0 = 5*t + 2*w + 33 for t.
-5
Let l = 23 - 19. Solve l*j + 2*n + 2 = 0, 2*j - 4*n = j + 22 for j.
2
Suppose 0*y + y = 2. Suppose -2 - 8 = -y*n. Solve -19 = -5*r + g, -2*r = -n*r - g + 5 for r.
3
Suppose -15*z = -11*z - 20. Solve 20 = 4*p - 4*w, -2*p - 10 = -z*p - 2*w for p.
4
Let s = 29 - 26. Solve -m = -s*d - 10, 2*d + 8 = m - 0*m for d.
-2
Suppose 0 = -3*c - 3, -5*y + 0*y - 4*c + 86 = 0. Solve -2*i + 5*i = 12, 0 = -2*t + 3*i - y for t.
-3
Suppose 0 = 2*v + 2*v - 48. Let n be (-2 - 10/(-4))*32. Suppose 11*j + n = 15*j. Solve 0 = -j*w + 2*p - v, -3*w + 2*p - 16 = 2*w for w.
-4
Suppose -4*d = -0*d - 8. Solve -4*o - 2*p = 0, 2*o = -3*o + d*p for o.
0
Suppose 7 = 2*g - 1. Solve -4 = -g*x, 4*x = v + v + 4 for v.
0
Suppose 21 = 5*u + 6. Suppose 0 = 2*h + h - 24. Suppose 0*r = 4*r - h. Solve 0 = 3*d - 4*m + 1 - r, -u*m = 3*d - 15 for d.
3
Let t be ((-8)/3)/(2/(-3)). Suppose 2*z - 3*x = -3 + 4, -x = -t*z + 17. Solve 4*r + 16 = c, z*c + 3*r + 11 + 1 = 0 for c.
0
Let c = 53 - 50. Solve 2*j + w + 1 = c*j, 2*j + 8 = -3*w for j.
-1
Let z(j) = -6*j**3 - 3*j**2 - j + 1. Let r be z(-1). Suppose 159 = 4*w - 5*a, -r*w + 265 - 82 = -a. Solve -4*n + w = -4*q, 2*n + 3*q - q - 2 = 0 for n.
5
Suppose 5*v + 4*l = 120, 0*l = -4*v - 4*l + 92. Solve -2*j - 5*z = -v, 38 = 4*j + 5*z + 2 for j.
4
Let b = 126 + -60. Suppose -2*f + 13 = 3*m - 8, -3*m = 5*f - b. Solve -2*o - 20 = -2*c, 0 = o - 3*c + f + 5 for o.
-5
Let x = 0 + 14. Solve 5*a = 3*f - 3 - x, 0 = 2*a + 2*f - 6 for a.
-1
Suppose 5*j - 55 = -3*o, -7 + 2 = -o. Suppose j*u = 20 + 12. Solve 2*a + 3*a = -3*p + 22, p = u*a - 21 for a.
5
Let y(k) = 2*k**2 + 2*k - 2. Let h be y(-2). Suppose 2*s - 2 = h. Solve 5*v - 17 = 2*w + 7, -2*w = -s*v + 12 for w.
-2
Let w(l) = 5*l**2. Let t be w(1). Let p be 102/4*8/12. Suppose t*d = f - 4*f, -4*f + p = d. Solve 0 = -5*y + 3*v + 19, 3 = -f*v + 4*v for y.
2
Suppose -3*w - 8 = 4*k + 7, 0 = 5*k - w - 5. Suppose k = 2*b - 6*b. Solve -l - 3*l + 5*p - 10 = b, -33 = 5*l + 4*p for l.
-5
Let n(w) = 5*w + 2. Let l be n(-1). Let i be 0/((-3)/l - 3). Solve b - 2*p = i, 3*b - p = b + 3 for b.
2
Suppose 0 = -8*k - k + 27. Solve -2*d = -2, 7*r - 3*r = k*d - 3 for r.
0
Let o(s) = s**3 + 6*s**2 + 4. Let m be o(-6). Let x be 0*(0 + -2)/m. Solve -g = 3*g + d + 19, -3*g - d - 14 = x for g.
-5
Let q be (-56)/9 - 10/(-45). Let w be q/21 + 90/21. Solve 3*g - 3 = -3*i, i - w*g + 1 = 2 for i.
1
Suppose 3*m = 4*m. Suppose m = 3*n - 2*n. Solve 3*l - 2 = -5*y - 0*y, n = -3*l + 2*y + 16 for l.
4
Let m = 12 + -6. Suppose h + 5*y = 14, -4*h + m = -4*y - y. Solve -i + 0*i + 9 = -2*u, -3*u + 3 = h*i for i.
3
Let r = -16 - -19. Solve r*i = j + 14, 1 + 8 = 3*i for j.
-5
Let h = -164 + 166. Solve -3*w + h = -3*f + 2*f, -4*f - 25 = 5*w for w.
-1
Let o be ((-15)/3)/((-2)/2). Let c be (-2)/(-5) + 28/o. Suppose -c + 2 = -k. Solve 3*b - 2*b = 3*n - 4, k*n - b = 6 for n.
2
Let c be 7/(-7) - (-2 - -1). Solve d + b = c, -d + 5*b + 12 = 3*b for d.
4
Suppose -3*g - 3*w = -3, 3*w - 3 = 4*w. Solve -g*r = a - 6, -1 = -r - 2*r + a for r.
1
Let k = 1 + -1. Let v = 2 - k. Suppose 4 = c + v. Solve -4*m + c*y = 0, m + 2*y = -m for m.
0
Let s(p) = -p - 1. Let h(l) = l**3 + l**2 + 3. Let u(j) = h(j) + s(j). Let z be u(0). Solve 3*d - k = d + z, -3*d + 3*k = 3 for d.
3
Let n(o) = -o + 2 - o**2 + 0*o**2 - 7*o - 7. Let z be n(-7). Solve z*f + 5*u = -10, -f + 2*u - 5 = -u for f.
-5
Let h be (-2 + 2)/(4 + -5). Suppose 0 - 17 = -q - 4*r, h = -q + 5*r - 10. Solve -2*i - 5*s 