o + h - 3 = 0, o - t = 0 for j.
2
Let j = 6 + -2. Suppose -2*x - 3*g = -4*x, j*x + 5*g - 22 = 0. Solve -3*m + x + 4 = 4*b, 0 = m + b - 3 for m.
5
Let j(m) = m**2 + 9*m - 12. Let p be j(-11). Suppose 4*g + p = -2*h, -4*h + g - 2 + 0 = 0. Let b = h + 5. Solve 3*z = b*l - 24, z = -l - z - 5 for l.
3
Let z be (-4)/1 - 77/(-11). Solve -z*a + 7 = -a + c, -5*a = -3*c - 12 for a.
3
Suppose 3*h = 5 - 2, -2*v = 5*h - 1. Let t be 44/3 - v/(-3). Let s = 12 + -5. Solve -2*u + s = -2*k + k, -5*k = -3*u + t for k.
-1
Let a be (-11)/4*12/3. Let b be -3 - (a + 2) - 3. Solve 0 = -b*y - 2*w - 4 + 5, -y = 5*w + 4 for y.
1
Suppose 7*f - 28 + 0 = 0. Solve -5*m = -20, 0 = a + 2*a - f*m + 4 for a.
4
Let b = 0 + 2. Suppose 0 = 2*q - b*p, -5 + 1 = -3*q + p. Suppose -2*c + 7 - 1 = 0. Solve 4*i - c*i - f = -q, 0 = 5*i + 2*f - 18 for i.
2
Suppose -9 = -3*o + 6. Suppose -m + 2*i = 4*m - 7, 5*m + o*i - 35 = 0. Let x be 20*(-2 + 4 + -1). Solve -2*j + w + 5 = -m*j, 0 = -5*j - 4*w - x for j.
0
Let d be 0 + 1/(-4)*0. Let m be (-3)/(-2)*(-2)/(-3). Let h be d/(-3) - -9 - m. Solve c = 2*c + 4*j - 17, -4*c + 3*j - h = 0 for c.
1
Suppose -4*u + 6*u - b = 12, 2*u - 3*b - 20 = 0. Suppose -3*c = u*h - 8*c - 11, -c = -3*h + 11. Solve 0 = 5*j - l - 9, h*j = -8*l + 3*l - 16 for j.
1
Let y(u) = -2*u + 34. Let w be y(15). Solve -4*f - h + 9 = -0*f, w*f + 4*h = 0 for f.
3
Suppose -5*o + 13 = -4*o. Let k(a) = -a**3 + 13*a**2 - a + 15. Let d be k(o). Solve s + 2*u - 2 = u, 2*s = d*u - 16 for s.
-3
Let s be 4 + -7 + 1 + 0 + 4. Solve s*i - 2*u + 2 = 0, 0*u - 3 = -3*u for i.
0
Let x(d) = -d**3 + 8*d**2 + 4*d - 9. Let w be x(7). Suppose -6*i + w = -2*i. Suppose 3*g - i + 5 = 0. Solve v - 4 + 12 = -g*f, 0 = -4*v for f.
-2
Suppose 5*b = 4*r + 230 - 12, 224 = 5*b - 2*r. Let a be 2/7 + b/(-14). Let u be (1 - 1)*(-2 - a). Solve 0 = -i - 5*m + 25, 5*m = 3*i - u*i + 25 for i.
0
Let c(p) = p**2 + 9*p + 8. Suppose -8*r - 40 = -3*r. Let l be c(r). Let u be (-6)/(-4) - 1/2. Solve j + k = 4*k + u, l = -4*k - 4 for j.
-2
Let b = -62 + 64. Solve -u = 5*g - 12, -1 = 5*u - b*g - 7 for u.
2
Suppose -2*k + 5*l + 11 = 0, -5*k + 9 + 7 = -l. Let v = 3 - 3. Let s = 5 + v. Solve -k*r = 3*y - s*r - 12, 4 = y + 5*r for y.
4
Suppose 9*x - 10 = 7*x. Solve -t + 3 = 0, -2*q = 2*q + x*t - 35 for q.
5
Let w(u) = 2*u**2 + 5*u + 2. Let p be w(-3). Solve a = r - 3*r + 1, -2*a + 2 = -p*r for r.
0
Suppose -3*t - 4 = -16. Let i(g) = -g**2 - 8*g - 9. Let r be i(-6). Solve r*y + t + 14 = -2*h, 0 = -3*y + 2*h - 6 for y.
-4
Let m = -2 + 5. Suppose m*o + 29 = -o - 5*z, -3*o - 4*z = 23. Let y(r) = r + 1. Let d be y(o). Solve 5*k + 5*x - 35 = 0, -2*k + 2*x - 5 - 1 = d for k.
2
Suppose -5*r + 101 = 91. Solve r*u - 8 = 4*b, 3*u - 6 = -0*u for b.
-1
Suppose -8 = -4*n + 2*n. Suppose 2*z = -2*h, -2*h - 3 = -n*z + 9. Solve i = t + z*i + 4, 0 = 5*t - 4*i + 11 for t.
-3
Suppose 4*x + x - 5*v + 50 = 0, 5*x + 4*v + 5 = 0. Let d = x - -8. Suppose -3*f = -d*l, -l + 18 = 3*f + 2*l. Solve 0 = 3*h - 7*h + f*p - 5, -2*p = -h for h.
-2
Suppose -n + 11 = 4*c, -3*c + 10 = c + 2*n. Let h(t) = -6*t - 9. Let z be h(-2). Solve -2*v - c*j + z = 0, -5*v - 4 = -6*j + 2*j for v.
0
Let c be 2 + (-1 - -1)/((-16)/8). Solve -5*k = 0, -c*y + 8 = k + 4 for y.
2
Let i(r) = 2*r**3 + 2*r**2 - 1. Let f be i(1). Suppose 0*z + 15 = u - 3*z, 10 = -u - 2*z. Solve -2*v + 4*t = -f*v - 8, -4*v + 2*t - 14 = u for v.
-4
Let p = -16 - -20. Let l(w) = w - 10. Let a be l(10). Solve -d - 5 = -5*o + p*d, a = -4*o + 5*d for o.
5
Let g(p) = -p + 1. Let l be g(-1). Let w be (l/(-6))/((-1)/3). Let k be -10 - -10 - (w + -1). Solve 0 = 4*b + 5*q + 41, q + k = 4*b + 11 for b.
-4
Let z be (4/2)/(3/6). Solve 0 = -5*o - z*b + 16, 3*o - 4*o - 2*b = -2 for o.
4
Let q be 9/(-12)*120/(-6). Solve -3*a + 16 = -i, -3*a + 0 + q = 0 for i.
-1
Suppose 4*d - 11 = -3. Let l be 5/(-3)*(14 - 17). Solve 0 = 2*t - l*z - 21 - 2, 2*z + 14 = d*t for t.
4
Let k(d) = d**2 + 6*d - 10. Let b be k(-7). Let f be 1 - (b - -1 - 1). Solve -6*m - 5*j - 20 = -2*m, 0 = -f*j for m.
-5
Suppose -12 = -4*b + b. Let i be 1/(-6) - (-111)/18. Suppose -6 - 4 = -5*j. Solve 2*f = b, 5*h + j*f - i = 3*h for h.
1
Let h = 7 + -5. Suppose -q + 12 = -3*c, 4*q - 5*c - 12 = -h*c. Suppose q = -0*a - 2*a + 46. Solve 2*d - 3*t - a = 2*t, d + t + 6 = 0 for d.
-1
Suppose 0*i = -5*i + 110. Suppose 5*s + 37 = 4*d + 8, 0 = -4*d - 4*s - 16. Let m be d - 1 - (0 - 2). Solve -2*l = -m*v + 2*l - i, -2*v = -5*l + 26 for v.
-3
Suppose 0 = 6*f - 11*f + 15. Solve f*r + h - 2 = 6*r, h - 2 = r for r.
0
Suppose -203 = -3*y - 4*y. Let s = y + -28. Solve -3*a - 3*n = 3, -a + 0 = -3*n + s for a.
-1
Let v(b) be the first derivative of 13*b**2/2 + 2*b + 4. Let q be v(1). Solve 2*p + 10 = r + 3*r, -2*r - q = 3*p for r.
0
Let b = -16 - -6. Let o = b - -15. Solve 4*g = -5*r - 1, -2 + 1 = -4*r - o*g for r.
-1
Let f(y) = -y**3 + y**2 + y - 1. Let p be f(1). Let m = 3 - p. Suppose -u = -5*u + 8. Solve 3 = m*d + 3*r, -7 = -d + 3*r - u*r for d.
4
Let g = 177 - 173. Solve -4*q + g*n - 5 = -1, -6 = 5*q - 4*n for q.
-2
Let m = -58 - -27. Let n = -6 - m. Solve -5*s - 3*i - n = i, -s = 3*i + 16 for s.
-1
Let g = 28 + -19. Let a = g - 4. Suppose -a*q + 6 = -2*q. Solve s + 2 - 4 = -3*j, s + j = -q for s.
-4
Let s = 34 - 19. Let p be (-52)/5 + 2/5. Let z = p + s. Solve 4*w = 2*d + w - 14, -z*w - 18 = -2*d for d.
4
Let j(u) = u**2 - 4*u + 4. Let m be j(4). Let a(p) = -p + 4. Let o be a(m). Let v = -17 + 37. Solve 5*k + 2*x + 3*x = -v, -2*x - 4 = o for k.
-2
Let v(h) = 2*h - 5. Let c be v(-4). Let g = 18 + c. Suppose -3*w + 2*w = 2*b - 85, -w + g = 0. Solve 2*k - 3*z = 5*k + 27, -4*k - b = 5*z for k.
-5
Suppose 7*s - 3*s = 20. Solve -4*q = -3*z + s, -z - z + 6 = 0 for q.
1
Suppose 4*h - 18 = -3*t, 10*h = 5*h - 5*t + 25. Solve -h*w + 5*z = -6*w + 10, -4 = -w - 2*z for w.
0
Let c(x) = -x**2 - 8*x + 6. Let o be c(-8). Solve -4*s = 2*r - 24, 0 = -2*s + o*r - 4*r for s.
4
Suppose 0 = -x + 2*w - 1, 38 = -2*x - 5*w. Let n be (-39)/x + (-1)/3. Solve 5*o + y = -10, -2*o - 13 = -n*o + 3*y for o.
-1
Let i(b) be the first derivative of 3*b**2/2 - b - 6. Let c = 9 - 2. Let g be i(c). Solve -3*w - 20 = -2*o, 4*w + g + 12 = 4*o for o.
4
Let i(w) be the first derivative of -5/2*w**2 - 5*w - 2. Let o be i(-7). Solve 0*t = -b - 2*t + 5, b + o = 5*t for b.
-5
Let a(r) = 2*r - 7. Let q be a(6). Suppose -3*o = -q*o. Let i be 15 + -2 - o/2. Solve 0 = 2*k + k - m - i, -4*k + m = -16 for k.
3
Let g = -1 + 3. Solve g*c - r - 9 = -c, 4*r = -5*c + 32 for c.
4
Let u(c) = -2*c + 2. Let t be u(1). Solve -2 = -2*m + 4*h, 0 = -t*h + 5*h for m.
1
Let s = 19 + -17. Suppose 2*l + s = 0, 2*p + 2*l - 37 = 5*l. Solve -5*a - 4*w = -p, 10 = 4*a + w + 3 for a.
1
Suppose -4 - 5 = 3*o - 4*j, 0 = -4*o + 5*j - 13. Let p be ((-2)/7)/(1/o). Solve 4*v - 21 = -3*c + 6*v, -p*v - 16 = -2*c for c.
5
Let w = 32 - 24. Let g(u) = u**2 + u - 4. Let d be g(-6). Suppose 5*l - 130 = 2*b, l - d = -4*b - b. Solve 2*a - a = h - w, -l = 2*a - 4*h for a.
-3
Suppose 0 = -3*s + 2 + 4. Suppose -4 - 6 = -5*t. Solve -s*b = 2*p - t - 4, 3*b - p = -3 for b.
0
Suppose 0 = -p + 22 + 13. Let w be 74/14 - 10/p. Solve 2*z = 3*k, z - w*k = -0*z for z.
0
Let b = 3 + 2. Let x = 0 - -2. Suppose -4*m = 3*g - 4, -7*g - 32 = -3*m - x*g. Solve 0 = -z + n + m, b*z - n + 12 = -4*n for z.
0
Let n(a) = -a**2 + a + 16. Let z(v) = v + 6. Let c be z(-6). Let o be n(c). Solve 3*j = 5*u + o, -4*u + 5*j - 10 = u for u.
-5
Let g be (21/35)/(1/10*2). Solve 7*i - 3*i - 3*m = -8, -6 = g*i + m for i.
-2
Let z(n) = n**3 + 3*n**2 - 3*n + 4. Let s be z(-4). Let o be (1 - (-6)/3) + s. Let l = o + 1. Solve -3*d - 24 = -l*p - 8, -3*p - d - 1 = 0 for p.
1
Let r(f) = -2*f**3 - 2*f**2 - f - 1. Let i be r(-1). Solve 4*w + 3*n = -4, w + i*w - 8 = -3*n for w.
-4
Let y(t) = t**2 + 2*t - 3. Let m be y(4). Let w = 6 - 6. Let v(l) = -l + 2. Let c be v(w). Solve 5*z - c*j + m = 0, -4*z - 6*j = -2*j for z.
-3
Let p = 23 - 20. Let d = 8 + -5. Solve -1 + 10 = d*h - 2*g, -3*g = -p*h + 6 for h.
5
Let j be 10/2*(-1 - -2). Suppose 8*p = j*p + 12. Solve -3*s - 19 = 5*u, 3*u + 2*u - p*s - 2 = 0 for u.
-2
Let b be (-2)/(-4) - 27/(-6). Suppose -3 = b*p - 23. Let q be (p/3)/(2/6). Solve -k - 20 = -5*k - q*c, 5 = k + 2*c for k.
5
Let c(a) = -a**2 + 14*a - 46. Let o be c(8). Solve o = -3*z - 5*l - 0, 0 = -4*l - 