- 3*h - 5*m for h.
2
Suppose 3*z - 9 = -3*v + 3, z = v - 4. Solve 5*k + 24 = -z*i - 2*i, 6 = -2*k + i for k.
-4
Let o = -534 - -536. Solve -4*b = o*s - 8, 0 = 5*s + 4*b - 10 - 4 for s.
2
Suppose -3*f - 35 = -j - 4*j, -5*j - 4*f = 0. Let a = 5 + -3. Suppose -2*i = -6 + a. Solve -j*x - i = y + 6, -4*x + 2*y = -4 for x.
-1
Let r(u) = -u**2 - 8*u + 18. Let g(h) = -2*h**2 - 17*h + 35. Let z(m) = 6*g(m) - 11*r(m). Let w be z(-14). Solve -y + 0*c - 2*c + w = 0, 2*c = 2*y + 6 for y.
2
Suppose 13 = -3*i + 19. Solve -i*a - 4*b + 28 = 2*a, -b = -a - 1 for a.
3
Let a = -28 - -30. Let s = 8 - a. Solve -s = -5*m + 5*f + 19, 0 = m - 2*f - 5 for m.
5
Suppose -2*n = -4*s + 10, -4*s + 41 - 10 = 5*n. Let j be (-1)/(-2)*7 + (-6)/s. Solve -w = 2*x - 7, 4 = 2*x - j for w.
1
Let x(j) = -j**3 + 12*j**2 - 8*j - 13. Let p be x(11). Suppose 2*l = 5*z - 6 + 14, 5*l + 3*z = p. Solve -a = l*n + 17, -2*a - n = 3*a + 9 for a.
-1
Let g(p) = p**3 + p**2 + p + 6. Let l be g(0). Let f be (-29)/(-3)*18/l. Let v = f + -7. Solve -4*u = u - a + v, 5*a = -u - 20 for u.
-5
Let c(f) = -14*f + 2. Let v be c(0). Solve 3 = -2*y + 5*w, v*w = 3*y - y for y.
1
Suppose 4*o = w + o - 3, -2*w = 5*o - 6. Solve -w*c - 8 = -c - 4*n, n - 3 = c for c.
-2
Suppose 0 = 2*r - 2*j, j = -11*r + 8*r + 20. Solve -r*w + a + 1 = -a, -11 = -4*w + 5*a for w.
-1
Suppose -3*w + 4 = w, 5*r = 3*w + 167. Suppose -5*s - 14 = -r. Suppose 30 = 7*d - s*d. Solve -4*j + 15 = 3*o - 0, 2*o + 5*j - d = 0 for o.
5
Suppose 0*k - 5*k - 2*m + 90 = 0, -5*m - 65 = -2*k. Let o = k - 18. Solve 9 = -z + 4*v + 20, o*z + v = 4 for z.
3
Let r(y) = -y**2 - 4*y + 9. Let k be r(-8). Let j = 30 + k. Let m = 2 + 3. Solve p - 3*b + 19 = j, -16 = m*p - 4*b for p.
0
Suppose 7*i - 21*i = -504. Let c = i - 36. Solve c*f - 4*f = -2*o, 5*o = f for f.
0
Suppose 0 = 10*v - 17 - 3. Solve 0 = -3*q + 3*o - 6, -3*o - 1 + 2 = -v*q for q.
-5
Suppose 0 = -2*u + 11 - 15. Let r be (-4 + (-4)/u*2)/1. Solve 2*d + 2*j - 3 - 1 = r, -8 = 2*d - 2*j for d.
-1
Suppose 14*o - 19*o = -2*u - 5, 2*o = -4*u - 46. Let k be (-2)/(-4)*2 - -15. Let w = k + u. Solve 5*t = j + 7, 0*j - w = -2*j for t.
2
Let x = -94 - -94. Suppose x = 5*h - 3*m - 130, 3*h - 5*m = -2*h + 140. Solve -4*g - g - 2*c = -h, -20 = -4*g - 2*c for g.
3
Let s(x) = -4*x**3 - x**2 + 2*x + 2. Let w be s(-1). Suppose -4*f + 5*v = -1, 0 = 3*f - 4*v - v + w. Solve -f = 3*d + 11, 4*a - 2*d - 6 = 0 for a.
-1
Suppose 8*v + 17*v - 50 = 0. Solve 4*w - 1 = 4*b + 3, -v*w + 16 = 5*b for w.
3
Let z(p) = 3*p - 1. Let x be z(1). Let t(q) = -q**2 - 11*q + 93. Let r be t(-16). Solve 0 = -5*v + 5*c + 30, -4*v + c + x = -r for v.
3
Let u(n) = -n**2 + 16*n + 2. Suppose -16 = -0*s - s. Let z be u(s). Solve -z*x + 2*l = -x + 8, -4*x - 4*l = -28 for x.
2
Let z = -1 - -1. Suppose 1030*m = 1023*m - 21. Let q = z - m. Solve 3*o - q*b = -15, -4*o + 3*b + 7 = 8*b for o.
-2
Let f = -14 + 15. Let d be (-9)/(-4) + (f - (-15)/(-12)). Solve 0 = -v + 5*s + 14, 0 = d*v - 3*v + 3*s + 8 for v.
-1
Let m(r) = -r - 10. Suppose -14*o - 39 = -11*o. Let d be m(o). Solve -s + 14 = -d*p, 2*p + 5*s = -13 - 2 for p.
-5
Let l(n) = 5*n + 5. Let r be l(0). Suppose -2*x + x + 7 = d, 2*d - 26 = -r*x. Solve 4*c + d*s - 1 = 0, 2 = -s - 3 for c.
4
Let n(j) = -j - 4. Let s(g) = 2*g + 12. Let q(f) = 8*n(f) + 3*s(f). Let z be q(2). Solve l - 5*i + 20 = z, -3*i = -5*l + 11 - 45 for l.
-5
Let w(u) = 2*u**2 - 22 + 32 - 19 - 3*u. Let q be w(5). Solve -5*f - q = 5*a + 14, 0 = -3*f - 2*a - 19 for f.
-3
Suppose -b + 49 = y, 2*y + 189 = 4*b - y. Let m = -41 - -62. Let g = b - m. Solve 5*v - g = 2*f - 0*v, 4*v - 23 = 3*f for f.
-1
Let m be (-1 + 1/2)*0. Solve z - 9 = -2*w - m*z, -5*z = 2*w - 5 for w.
5
Suppose -3*m = -5*m + 32. Suppose -5*l = -l - m. Suppose l*g + 8 = 6*g. Solve 3*o - 12 = 3*x, g*x + 14 = 2*o + 4 for x.
-1
Let t(r) = 10*r + 17. Let y be t(-2). Let o be 64/48*y/(-2). Solve -a = 0, -o*d = d - 2*a - 12 for d.
4
Let a = 298 - 294. Solve -3*x = 2*x - 4*l - 35, -32 = -a*x + 4*l for x.
3
Let j be 8/((-3 - -1)*(1 + -2)). Let n = j - 0. Solve 0*h - 6 = -2*h + w, -n*h - w + 6 = 0 for h.
2
Let s(p) = p - 9. Let o be s(11). Suppose -3*m - 160 = o*m. Let b = 45 + m. Solve b = 4*u + u - f, 3 = 3*u - 3*f for u.
3
Suppose 4*o = -3*s + 15, -s - o + 0*o + 5 = 0. Suppose 2*m + 54 - 58 = 0. Solve -s*f + m - 12 = -4*x, x - 5 = 0 for f.
2
Suppose 9*i + 435 - 462 = 0. Solve 2*s + 2*s + 2*d = 4, 18 = 2*s - i*d for s.
3
Let n be (-10)/(-15)*(-18)/(-4). Suppose 2*b = -2*g + 2, -4*b + n*g + 14 = -25. Solve -j + b = -3*q - 4, -q = -4*j + 7 for q.
-3
Suppose 0 = 5*s - 2*y - 7, 3*y = -5*s + 11 + 16. Solve -6 = o - 5*k - s, 5 = o + 3*k for o.
2
Suppose 1 = -q + 3*y, y = -0*q - 2*q - 9. Let t be 3 + 3 + q - 0. Solve 3*z - z + 5*a - 4 = 0, t*a - 19 = 5*z for z.
-3
Let f = -20 + 15. Let k(l) = l**2 + 5*l + 2. Let a be k(f). Solve -p - 6 = a*t, 4*p = 7 + 1 for t.
-4
Suppose -53 = 4*f + 2*o + 7, -4 = -2*o. Let d = f - -23. Suppose 3*m + d = 10. Solve m - 2 = j - x, j - 4*x = 11 for j.
-5
Suppose 2*p = -2*p - 5*n - 63, n - 33 = 3*p. Let t = -19 - p. Let k be t/(7/3) + 5. Solve k*c - 2*m = -16 - 0, -2*m = 2*c for c.
-4
Let i(p) = 2*p**2 - 12. Let w be i(4). Suppose 3 = 4*t + 4*d - 5, 2*t - 2*d - w = 0. Solve 3*s - 9 = 0, -5*f - 9 - t = -5*s for f.
0
Let f = 40 - 16. Let w be 6/f - (-2)/(-8). Solve 0 = -d - 5*h + 2*h - 14, w = 2*d + h + 3 for d.
1
Suppose -t - 26 = 9. Let p = t - -39. Solve -3*b - 5*a = -0*b, 0 = -p*a - 12 for b.
5
Suppose 0 = 3*n - 4*q + 12, n + 3*q = -3*n - 41. Let s = -3 - n. Let m(t) = t - 2. Let x be m(s). Solve -4*c - v = -4*v + x, v = -2*c - 9 for c.
-3
Let w = -60 + 63. Let f(v) = -v**2 - 2*v + 6. Let d be f(-6). Let m = -9 - d. Solve -3*c + 5*a = 9, -a + 0 = w*c + m for c.
-3
Suppose g - 122 = -119. Solve g*w - 8*w + 11 = 4*z, 11 = 3*w - 2*z for w.
3
Suppose -4*d + 20 = 4. Let g be 1/(1 + (-2 - 6/(-4))). Suppose 4*y - 8 = g*y. Solve r - 6*r = n + 24, y = 3*r - d*n for r.
-4
Let r = 23 - 26. Let o be (1 - (-2 - r)) + 13. Suppose -o = -5*q - 3. Solve -6 = -q*c + 4*x, 2*c + x + 1 = 3*c for c.
-1
Let i(g) = g + 1. Let k be i(-6). Let h be k - (1 + 0) - -2. Let n be (-136)/(-12) - h/6. Solve 25 = 3*l + 5*d, 2*l - 6*l + n = -4*d for l.
5
Let t be (21/(-35))/(4/(-80)). Solve 4*j + 22 = -3*s - 1, t = 3*s - 3*j for s.
-1
Let i = -274 + 277. Solve -3*n - d = -1, 2*n - i + 5 = 2*d for n.
0
Suppose 0 = 9*n + 4 - 193. Solve 3*r - 5 = -2*d + 18, -d - n = -5*r for r.
5
Let n(w) = -w - 2. Let v be n(-2). Suppose -60 = -4*b + 4*x, 2*b - x = -108 + 134. Suppose -2*f - 10 + 28 = 0. Solve 3*s - f = v, b = -3*h + 2*s - 1 for h.
-2
Let m be (4/(-6))/(25/(-225)). Solve -5*d - 4*y - 37 = 0, -5*d - m = y + 22 for d.
-5
Suppose 5*a - 5 = -5*w, -5*a = 2*w + 2 - 1. Solve 3*v + 5 = -5*c, 0 = -2*v - 3*v - w*c - 21 for v.
-5
Let o = 16 + -12. Suppose -o*z + 20 = z. Suppose 3*n - z = -2*r, 4 - 10 = -3*n - 3*r. Solve -4*s = 3*m + 3, n = -9*m + 4*m - 5 for s.
0
Suppose 13*q + 12 = 25. Suppose q = y, 2*i = 7*i + 3*y - 13. Solve -1 + 3 = 5*u + i*w, 0 = -u - w + 1 for u.
0
Let r(v) = v**3 + v**2 - 4*v - 2. Let y be r(-2). Solve 9 = -y*t - 5*z, 4*z + 4 = 4*t - 20 for t.
3
Let h(m) = m**2 + 2*m + 5. Let l be h(0). Suppose n = -s, 4 = l*s - 3*n - 20. Solve -16 = -0*c - 4*c - 4*r, -3*r - 6 = -s*c for c.
3
Let m = -339 + 343. Solve 16 = m*u, -5*a - 2*u = -6*u + 6 for a.
2
Suppose -3 = -y + l, -4*y + 3 = 2*l + 3*l. Let t = -32 - 8. Let a = -35 - t. Solve 4*d + y*x - 20 = 0, -a*d - 4 = -5*x - 14 for d.
4
Let l be 1 - 0 - (0/(-1))/1. Let o be l*((-1)/1 - (0 + -2)). Solve -6*v + v = q + 13, -3*v - 4*q - o = 0 for v.
-3
Let v = -41 + 55. Suppose 5*u - x = -2*x + v, 2*x - 18 = -5*u. Solve -l - 2*l + 2*n + 7 = 0, 0 = l + u*n - 5 for l.
3
Suppose 0 = -3*n + n - 6, x = -2*n + 119. Let h = -125 + x. Solve -m - 3*o + 5 = h, -2*m - 2*m - 13 = o for m.
-4
Let k = 7319 + -7309. Suppose -5*u - 2 = h, -3*u - 5*h - 10 = 2*u. Solve 2*i = 4*i - l + k, -4*l = u for i.
-5
Let q be 2/(1 + 1) - 336/(-84). Solve 0 = -k + q*w - 5, 0 = 2*w for k.
-5
Let y = 215 - 211. Solve -f = -t + 2*t, -y*t - f = 3 for t.
-1
Let z be -6 + 4 - -3 - -22. Suppose 3*d + 3*k = 30, -9*d + 4*k + z = -4*d. Suppose 6*v - d = 5. Solve 4*h = 4*x + 8, -5*h - x + 2 = v*x for h.
1
Let t = -1 + -1. Let c be (-3 + 13)*t/(-5). Let x = c + 2. Solve -2*b + k = -x