= i*o + 3*h for o.
-3
Let f(m) = 6*m + 47. Let p be f(-7). Solve -j + 4*j = -6, 0 = -p*l + 5*j + 15 for l.
1
Let c(u) = u - 7. Let q be c(7). Solve q*p + p - 8 = -5*i, -2*i = -4 for p.
-2
Let s(t) = -4*t**3 - 1. Let r = 3 - -1. Suppose r*f = -1 - 3. Let o be s(f). Solve -5*d + l = 0, d = -o*l - l for d.
0
Let p be 14 - (-1 + -2 + 0). Solve 3*o - 6 = -3*y, 4*o - 8*o = y - p for y.
-3
Let t(y) = -2*y**3 + y**2 - 3*y + 3. Let r be t(2). Let u = r + 19. Solve 0*p + u*l + 12 = 2*p, 3*p = -l + 4 for p.
2
Let o = -76 + 81. Solve -2*h + o*z - z - 10 = 0, -z + 10 = h for h.
5
Let u be (-88)/(-20) - (-6)/(-15). Solve -3*d + 10 = -5*n, 6 = -0*d + 2*d - u*n for d.
5
Let b = -34 - -58. Solve 4*q + b = 2*s, 6 = -s + 4*s for q.
-5
Let s = 13 - 4. Let v be (-6)/24 + s/4. Let q be 18/8 - (-1)/(-4). Solve -5*t = -5*d + 5 - 0, q*d = -v*t - 2 for d.
0
Let l(k) = -3*k. Let c be l(-1). Let x = -6 + 8. Solve -c*d + d - x*o = -2, 5*d - o = 11 for d.
2
Let q(h) = 10 - 3 + 0*h + 2*h. Let f be q(9). Suppose 0 = 3*u - 2*o - 6 - 4, 0 = 3*u - 5*o - f. Solve 0 = -n - 5*y + 16, u*n = 2*n + 2*y for n.
-4
Let c = -1 - -1. Suppose 0 = -n + 4 + 4. Suppose -4*o = 4*h - n, 3*h = h + 2*o + 12. Solve 0*y = -5*p + 4*y, p - h*y - 16 = c for p.
-4
Suppose -2*t = 5*h - 23, -4*h - t = -0*h - 16. Solve 5*c - 3 + 2 = 4*v, -h*v = -3*c for v.
1
Suppose 0 = 5*f - 5*g - 35, 0 = 4*f + f - g - 23. Suppose -2*s - 24 = -f*s. Solve 0 = 3*i + h + 5, 5*i + 3*h - 5*h = -s for i.
-2
Suppose -3*q - 20 = -2*v - q, -4*v + 5*q + 45 = 0. Solve -2*b - 2 = -2*o, -1 = v*b + 5*o - 36 for b.
3
Let g = 3 + 0. Let h(n) = 3*n - 2. Let m be h(2). Solve -3*s - m = g*b + b, b + s + 1 = 0 for b.
-1
Let m = 11 - 6. Let b = 2 + 0. Solve 6*o = o - b*d - 16, m*d = -4*o - 6 for o.
-4
Suppose 7*d = 10*d - 3. Solve 5*y = -5, 0 = -3*r + y + d + 9 for r.
3
Let k be (2/(-4))/((-5)/40). Suppose -26 = 4*p + h - 103, -2*p + 28 = k*h. Suppose 6*n - p = 2*n. Solve -3*c - n*j - 12 = -6*c, j = -3 for c.
-1
Let m(x) = x**3 - 25*x**2 + 4. Let k be m(25). Solve r = -k*f - 10, -r - 10 = -6*r for f.
-3
Let m(z) = -2*z + 1. Let a(p) = p + 1. Let h(t) = t - 11. Let d be h(8). Let v be a(d). Let g be m(v). Solve -4*x - g*b = -21, 2*x - 5 + 17 = 2*b for x.
-1
Let y(o) = -o**2 - 14*o - 20. Let v be y(-12). Solve v = -4*d - 3*r, -4 = -4*d - 4*r + 3*r for d.
2
Let m(l) = -l**2 - 4*l + 1. Let j be m(-3). Suppose -j*w = -3*z + 102 + 15, z - 4*w - 47 = 0. Solve 2*f - 6 = 2*y + 12, 0 = 3*f - 5*y - z for f.
5
Let m(o) = -2*o - 3. Let t be m(-3). Solve 4*h - 3 = t*s, -3*s - s - 11 = -3*h for s.
-5
Let t be (2/(-4))/(2/(-24)). Suppose -d = -2 - 7. Let s = d + -5. Solve -2*i - s*u + 30 = 0, 5*i + u - t*u = 0 for i.
5
Suppose 3*o - 4*s = o - 4, -2*o - 4*s = -28. Solve 2*i = 4*m - o, 2*i + 0*i - m - 6 = 0 for i.
5
Let j be (1 - 1)/((-4)/2). Let c = 0 - j. Suppose 5*k + 0*k = 3*t + 13, 0 = 5*k + 2*t - 33. Solve c = -5*s - 5*x - 10, 2*x - k*x - 3 = 0 for s.
-1
Suppose -4*p = -2*b - 82, 3*b = -3*p - 0*b + 48. Let y(o) = 2*o + 20. Let r be y(-9). Let g be 2/4 - 18/(-4). Solve -r*u + g*t = t - 22, 5*u + 2*t = p for u.
5
Let y(f) = 3*f**2. Let g be y(-1). Suppose g*k = m - 2*k - 14, -k - 37 = -4*m. Solve -m = -3*a, 2*a + 7 + 7 = 5*r for r.
4
Let u = 78 - 65. Let c be (1 - 10)/(1 - 0). Let r = u + c. Solve p - 3*a = -8, 2*p + 3*p = -r*a + 17 for p.
1
Let f be (0 + 19)/((-1)/(-5)). Suppose -2*h - 3*h = -f. Let s be h/4 + 3/(-4). Solve -3*i = 4*l - 12, -s*l - 5*i + 5 + 7 = 0 for l.
3
Suppose 9*q = 4*q + 20. Solve 0*k + 4*k = -q*j - 16, -27 = -2*j + 5*k for j.
1
Let l(n) = -n**2 - 6*n + 6. Let r be l(-5). Suppose -r = -3*x - 2. Solve -2*s - 5 = x*v - 3, 0 = 3*v + s + 4 for v.
-2
Let h = -145 - -169. Solve h = -3*s - 3*t + 6*t, -7 = 4*s + t for s.
-3
Suppose 2*f + 21 = -f. Let v = -5 - f. Let o be (0 - 6/(-4))*2. Solve -3 = 4*b + o*s, 0 = 4*b + v*s - 0*s + 6 for b.
-3
Suppose -20*i + 88 = -12. Solve 2*y + i*p = -2*y - 32, 4*y - 4 = 4*p for y.
-3
Suppose -2*x = x - 12, -x - 11 = 3*u. Let q = 0 - u. Solve -m = -3*a - q*m - 17, -2*m - 7 = a for a.
-3
Let a(c) = 3 - c - 3 - 1. Let k be a(-3). Suppose 0*p - 15 = -5*p. Solve t - p*t - 4 = 5*b, 0 = -4*b - k*t - 4 for b.
0
Let j(f) = f - 6. Let g be j(7). Suppose 2*o = g + 11. Solve -2*u = -4*u - z - o, 0 = 3*u - z + 4 for u.
-2
Suppose 0 = -0*i - 3*i + 24. Suppose 0 = -3*v + 4*j + 7 + i, 0 = -5*j + 15. Let w = 4 + -2. Solve -3*m - 36 = -4*d - v, 4*d - 2 = -w*m for d.
3
Suppose 0 = 3*a - a. Let h be (a - (-1 - -1)) + 2. Let z(q) = 10*q - 3. Let i be z(2). Solve -k - i = 2*k - h*g, 5*g - 10 = k for k.
-5
Let u = 19 + -9. Suppose -5*n - u = -0*n. Let h be (-3)/(n/((-8)/(-3))). Solve -5*o = -0*o - h*y + 20, 0 = o + 4*y - 20 for o.
0
Let k be (-1 - (-2 - -2))*9. Let z be 40/6 + (-3)/k. Suppose 2*m + 15 = z*m. Solve 2*o - 8 - 15 = -5*q, q + m*o = 2 for q.
5
Let m be -3 + -1 + 9 - 1. Suppose -g - 1 = r, 3*g + 2*r = m*g - 2. Suppose 4*v - w + 3 = 18, v - 4*w = g. Solve -4*s + 7 = 5*n, -2*n = -v*s + n + 15 for s.
3
Let s(l) = l**3 - 5*l**2 + 5*l - 1. Let g be s(4). Solve 2*y + b + 3*b - 12 = 0, -2*y + 5*b = -g for y.
4
Suppose 5*w + 11 + 9 = 0. Let t = -3 - w. Let h = t + 2. Solve -21 = -d - 2*d + 4*a, 2*d = -a + h for d.
3
Suppose 12 = 4*f - 4. Suppose -1 = v - 4. Suppose -4*k + f = -v*k. Solve 0 = 2*x + 4*j - 2*j + 16, -k*x - 11 = -3*j for x.
-5
Suppose -6 = a + 3*d, 2*d - 1 = 5*a - 5. Suppose -18 = -a*i - 3*i. Solve -3*m - 1 - 5 = 0, -n = 5*m + i for n.
4
Let g = -2 + 5. Suppose -6*j = -5*j + 3. Let v be j*(-2)/3 - 0. Solve -3*l = -3*b - 21, g*l - v*b = -b + 17 for l.
5
Let j = -3 - -19. Suppose 3*o - j + 1 = 0. Solve 0*r = 2*r + k + 2, -o*r - 5 = -2*k for r.
-1
Suppose -14*r + 15 = -9*r. Solve n + 12 = -r*b + 4*n, -4*b + 3*n = 15 for b.
-3
Let w(i) = i**3 - 3*i**2 + 2*i - 3. Let d be w(3). Let g(x) = -x**2 + 6*x + 8. Let y be g(6). Solve 3*t + d*q = 0, -y*t + 3*t - 4*q - 1 = 0 for t.
-1
Suppose -2 = 4*b - 10. Suppose 0 = -4*n - m + 21, b*m = 2*n + 6*m. Solve 2*f - n = 2*c, -2*f = 5*c + 2*f + 24 for c.
-4
Let q be -232*2/(-12)*-3. Let k be q/(-6) + 4/6. Solve 4*o - 15 = -3*x, -6*x + 2*x - 4*o + k = 0 for x.
5
Suppose 3*z + 1 = 5*c - 6, -2*z + 6 = 2*c. Let t be (c - 5)/(-1) - 1. Solve v - 3 = 3*k, 3*v - t*k = -0*v + 2 for v.
0
Let p = 34 - 10. Suppose 2*s = 5*h - 84, h + 0*s = -2*s + p. Solve k - b = -5*b + h, -3 = -k - b for k.
-2
Let s = 4 + 6. Suppose v = 3*z - s, -3*v + 12 = 3*z - 6*v. Suppose i - z = -0. Solve 3*k + 4*x - 9 = -0*x, 0 = -2*k + i*x + 6 for k.
3
Suppose a = -1 + 4. Solve -3*l + 6*l = a*f, -f = 2*l + 3 for f.
-1
Let f = 72 + -69. Solve -x + 4 = -f*x - 2*g, -3*g = -3*x + 18 for x.
2
Let i be 6 + (-2)/(-2)*-1. Solve 0 = -3*b + 7*b - 5*w + 33, -i*w = 2*b - 21 for b.
-2
Let f(p) = p**3 + 19*p**2 + 17*p - 15. Let i be f(-18). Solve i*h = 2*u + 6, 2*h + 5 = 7*h - 5*u for h.
4
Suppose -5 - 5 = -2*n. Solve 6 = -n*i - 2*p, 12 = i - 7*p + 3*p for i.
0
Suppose 4*d + 4*l = 0, -d + l = -l - 9. Let x = 247 - 242. Solve 0 = -5*k - w - 23, 4*k - x*w = d*k - 15 for k.
-5
Let v be ((-2)/(-6))/((-2)/(-162)). Let p be 2/(-9) + 6/v. Solve -3*k + u - 5*u + 4 = 0, p = -k - 3*u - 2 for k.
4
Suppose 2*p = 4 + 6. Suppose p*u - 10 = 15. Solve -u*v + 8*v - 2*d - 5 = 0, v - 25 = -4*d for v.
5
Suppose 215 - 7 = 13*r. Solve q - 6*q + 10 = -j, r = q - 3*j for q.
1
Suppose -5*p + 2*r + 9 = 0, 4*r - 3 - 3 = 2*p. Suppose 70 = p*a + m, -2 = -3*a + 5*m + 62. Solve v + 3*v = w - 19, -a = -2*w + 5*v for w.
-1
Suppose 30 = 6*z - 0*z. Solve -3*y + 5*y = 2*t + 2, 0 = -z*y - t - 25 for y.
-4
Let v(y) = 4*y + 6. Let t(z) = 2*z + 3. Let a(f) = -13*t(f) + 6*v(f). Let w be a(-3). Solve -4*p + 3*j - 23 = 0, 5*j = -w*p + 2*j + 9 for p.
-2
Let m = 17 + -10. Suppose 2*l = 4*r + 28, m*l - 3*l = -5*r - 22. Let i be (-5 - r)/(1/4). Solve -w = -0*w - s - 5, -i*s = 12 for w.
2
Let g = 9 - 2. Let m = g - 5. Solve -2 = 3*q + m*n, 0 = -3*q - 2*q - 2*n - 2 for q.
0
Let w = 9 + -5. Suppose -2*i = -3*i + 4. Solve -5*f - 10 = o + i*o, 4 = -2*f - w*o for f.
-2
Let i = 29 + -14. Let s be 0 - (4 - 1 - i). Solve -4*p = 2*a + s, -2*p + 14 = -a - 6*p for a.
2
Suppose 0 = 4*s - 5*r - 26, -2*r + 0*r = -s + 8. Suppose -72 = -2*b - 2*p, 0 = -0*p - 5*p + 20. Solve 0*i - 4*l + b = -s*i, -2*i + l = 12 for i.
-4
Let q = 9 + -5. Let w(v) = v**3 + 2*v**2 - v + 8. Let r be w(-3). Solve q