*h, -f = -h - 3*m for h.
-5
Let h be 15*1 + 0 + 0. Let g be (0 - 0)/(4 - 2) - -3. Suppose -4*w + w = -g*b - h, 3*b = -4*w + 13. Solve 0 = 3*u + w*t + 35, -4*u + t = -t + 10 for u.
-5
Let a be (-15)/(-3) - ((-6)/6 - 2). Solve -26 = -5*z + 3*u, -2*z + 2*u + a + 4 = 0 for z.
4
Let l(r) = 5*r - 2. Let u be l(2). Suppose 4*s - u = -5*i, -s + 3*s - i - 4 = 0. Let v = -4 + 19. Solve -2*a + s*d + 12 = 0, -4*d - 5 - v = -3*a for a.
4
Suppose -4*x + 21 = 5*p, 0 = 18*p - 15*p - 5*x - 20. Solve r = p*s + 5, -6*r + 2*r = -5*s + 10 for r.
-5
Let g(x) = x**2 - 14*x + 53. Let f be g(6). Solve 0 = -4*q - 3*k + f*k - 2, 0 = -3*q - k + 11 for q.
2
Suppose 0 = 4*a - m - 3*m + 8, -3*a = -5*m + 16. Solve 0 = h + a*k - 3 + 1, 4*h - 17 = -3*k for h.
5
Suppose -11*a + 36 - 3 = 0. Suppose q + h + 0 + 3 = 0, a*q = -4*h - 14. Solve 3*f + 15 = -5*t, -q*t - 4*f + 8 = 28 for t.
0
Let i be (-2)/(2 - 5/2). Suppose -10 = -9*h + i*h. Suppose h*j + j = 24. Solve q - j = -n - q, -n - 16 = -4*q for n.
0
Let h be (-4)/((2/(-3))/(-1)). Suppose 17*l = 20*l - 117. Let f be (l/(-26))/(h/16). Solve -4*i = -3*p + 10 + 21, p - f*i - 21 = 0 for p.
5
Let k(c) = -c**3 + 10*c**2 - 13*c - 10. Let l be k(8). Suppose l*x + 15 = 17*x. Solve -x*i + 2*u + 3*u = 20, -4*i + 3*u - 16 = 0 for i.
-4
Suppose 2*r + a + 12 = -3*a, a = -4*r + 4. Let n be (-2)/(r/(-1))*1. Let k be (n - 3)/(7/(-42)). Solve 7*b = 3*u + 4*b + k, 3*u + 5*b = 12 for u.
-1
Let r be 21/(-3)*(-19)/((-1463)/(-374)). Solve -5*n + r = t - 4*t, 0 = -n + 5 for t.
-3
Let q(m) = m**2 + 11*m - 22. Let i be q(-13). Solve -7 = i*t + 1, t = -4*g + 2 for g.
1
Let u be ((-48)/(-8))/(0 - -2). Suppose -2*c + 10 = u*g, 7*c - 16 = -5*g + 3*c. Solve -t - g*t + 3 = 2*o, t = 1 for o.
-1
Suppose 3*z = 0, 5*s - 15 = -5*z + z. Solve 2*v - 1 = 5*b, 4*v - 3*b + s = -2 for v.
-2
Let q = 33 - 13. Let h = q + -16. Solve f + b + 0 = 4, -b + 4 = -h*f for f.
0
Let y(t) = -2*t + 14. Let s be y(6). Solve -2*p = -2*i + 12, -7*p + s*p = -4*i + 28 for p.
-4
Suppose -10*d = 7*d + 10*d. Solve d = 3*q + k - 7, 0 = -q + 5*k - 1 - 2 for q.
2
Let d = 101 + -119. Let h be 14 + (-12)/d*(-6)/(-4). Solve 3*a - 17 = 4*x, 5*x + h = 5 for a.
3
Let p be 112/((-2)/1) - 4. Let c be 2/(-6) + p/(-18). Let s be 4*1/(6/c). Solve -2*x + 5*x = -s*k + 12, 0 = k - 4*x + 16 for k.
0
Suppose -16*a + 11*a = 15. Let c be 2 + ((-21)/(-6) - a/(-6)). Solve r = 4*v + 3*r - 12, 5*v - 5 = -c*r for v.
5
Suppose 5*x + 0*r + 2*r - 32 = 0, x + r = 4. Solve 10 = -5*u, x = -3*o + 2*o - 4*u for o.
0
Suppose 3*z - p + 1 = 0, 3*z + 2*p - 3 = -1. Suppose -l + z + 5 = 0. Suppose 8 = c + l*v, 0*v - v - 14 = -5*c. Solve 0 = -d - o + 1, 4*d + c*o + 3 = 2 for d.
-4
Suppose -3*s + 16 = 5*g, -5*s + 7 = -3. Let d be g*7/((-21)/(-6)). Solve -4*t - d + 0 = 4*y, -4*y + 41 = -5*t for t.
-5
Suppose 2*o = s + 3*s, 3*o - s = 0. Suppose -3*m = -o*m. Suppose 1 = 4*r + l - m, 5*l - 5 = r. Solve -k - p = r, 0 = 3*k + p - 7 + 1 for k.
3
Suppose -2*b = -5*t + 30, 0 = -4*b - 26 + 6. Suppose -x - 20 = -5*x. Suppose 4*r - x*r = -3. Solve 0 = r*n + 3*q + 3, n - 2*q + 2 = t*n for n.
4
Let m be 14/3*36/14. Suppose 2*v - b - m = 0, 2*b - 4 = 5*v - 34. Suppose 4*z - s = 19, s - 10 = -3*z + v. Solve 3*a - 20 = -2*a - z*o, 5*o = -2*a + 20 for a.
0
Let r be 7/1 + 3*-1. Let a be 0*4*r/48. Suppose 4*n = -4*s - a*n + 132, 4*s + n = 123. Solve -4*l - s = 3*b - 8*b, 0 = 3*b + 4*l + 14 for b.
2
Let a be (-2)/(-10) + (-32)/10. Let r(q) = 16*q. Let h be r(2). Let f = h + a. Solve -5*v + 9 = -3*j, -8 = 3*j + 5*v - f for j.
2
Let j(z) = -48 + 14 + 14 + 11 - 7*z. Let b be j(-2). Solve -l + b*i = 10, -2*i - 2 + 6 = 2*l for l.
0
Suppose -4 = -5*p + 2*n, 0 = 4*p + 3*n + 13 - 7. Solve 15 = -p*j - 5*j, 2*x + j + 5 = 0 for x.
-1
Suppose -9*k - k - 26*k = 0. Solve k = 3*p - 2*d - 9, -2*d + 3 - 2 = -p for p.
5
Let s = 335 - 316. Solve -s = -6*z + 2*z - 3*d, 0 = 4*z - 2*d - 14 for z.
4
Let f(r) = -r**3 + 8*r**2 - 6. Let h be f(8). Let m = 1 - -2. Let z be (-2)/h*2*m. Solve -z*s = -k - 5, -s + 3*k = 5*k - 15 for s.
5
Let s(l) = 3*l - 51. Let i be s(15). Suppose p - 1 + 15 = -4*w, p = 5*w + 22. Let y be 2*p/(-12)*i. Solve -9 = 2*b + z, 4*b - y*z - 2*z + 12 = 0 for b.
-4
Suppose 3*x - 15 = -0*x - 3*l, 0 = -4*l. Let f be (6/(-4))/((-1)/36). Suppose 2*p = x*p - f. Solve 4*r + 40 = -5*q, -2*q + 2*r + p = -4*q for q.
-4
Suppose -2*k + 4*j + 20 = k, -64 = -5*k - j. Let s = -8 + k. Suppose 604*c - 605*c = 4*o - 10, 5*o = -4*c + 7. Solve s*z = -2*g - 16, -o*g + 2*g = z + 6 for z.
-2
Suppose 2*q + 0 = 3*b - 42, 5*q + 3*b + 126 = 0. Let k be (2 - -1 - 2)*q. Let h be 8*(-4)/k*3. Solve 0*g + 10 = y - 3*g, 4*g = -h*y - 8 for y.
1
Let l be ((-2)/23 - 2312/391) + 8. Solve -3*z = 5*x + 11, -4*x = -l*x - 5*z + 23 for x.
-4
Suppose -71*n + 289 = -54*n. Solve -4*i + 4*j = -12, -4*i - j + 0*j = -n for i.
4
Let g be (-51)/(-34)*16/3. Suppose -g*o - 308 = -22*o. Solve 4*i + 12 = 5*u - 0*i, o = 4*u + 3*i for u.
4
Let a(g) = -7*g**2 - 5*g + 5. Let r be a(2). Let l = -9 - r. Solve 3*m - l = -5*y, -6 - 9 = -5*m for y.
3
Let g = -434 + 440. Solve 5*a + g = -4*r, -5*r + 0*a - 26 = -3*a for r.
-4
Let l = 3 - 11. Let o be (3 + 5)*(-4)/l. Suppose -x + 2 = -d, -7*x + 12 = -2*x - o*d. Solve -y = x*y - 4*c - 21, 0 = -y - c + 6 for y.
5
Suppose 4*l + 5*w + 99 = 0, 4*w = 3 + 17. Let v = -21 - l. Solve 0 = 5*b + 2*q - 18, -4*q = 4*b - v - 14 for b.
2
Let f(b) = -2*b - 3. Let p be f(-2). Suppose 4*k + 5*m - 27 = -12, 5*k - 2*m = 27. Solve 3*a + k*s + 10 = 0, -a = -4*s + p + 8 for a.
-5
Let c(o) = -2*o - 11. Let i be c(-4). Let p(f) = f**2 + 2*f - 3. Let w be p(i). Solve -4*q - 4*v + 7*v + 14 = w, 3*v + 16 = 5*q for q.
2
Let y(l) = -l**3 - 42*l**2 - 43*l - 79. Let h be y(-41). Solve 3*w = o + 2, 0 = -4*o - 0*w + h*w - 8 for o.
-2
Suppose 0*z = 2*z - 2. Suppose -7*d + 28 = -3*d - k, -3*k = d - 20. Suppose -p = -13 + d. Solve z = 5*x + 2*a - 3, x + p*a = 10 for x.
0
Suppose -8*t + 290 = 114. Solve 5*a - 7*l - t = -6*l, -3*a = -5*l - 22 for a.
4
Let u be (-4)/6*1/((-4)/30). Solve 3*g - u*g = 5*h + 11, 0 = 5*g - 5*h + 10 for g.
-3
Let r(i) = 5*i + 51. Let u be r(-9). Solve 4*y = -2*n + u, 6*y + n - 3 = y for y.
0
Suppose 147 = 4*z + 119. Solve -20 = -5*w - 4*p, -4*w - 11*p + z*p = -16 for w.
4
Suppose 2*v = -2*r + 60, -13 - 12 = -2*v + 5*r. Let y(j) = -j + 3 + v - 17. Let i be y(7). Solve m - 4*o = -10, i*m - m = -2*o + 12 for m.
2
Let n be 1/((-5)/1 + 4) + 9. Solve n = -4*v, 0 = i - 0*i - 3*v - 11 for i.
5
Let k(m) = 3*m - 2. Let b be k(-1). Let f(q) = q**2 + 4*q - 2. Let y be f(b). Solve 14 = h - y*d, -26 = -2*h + 3*h + 5*d for h.
-1
Let f be 1/(-5 + (387/48 - 3)). Solve 3*v = -4*z - 9 - f, -v - 23 = 5*z for v.
-3
Let o = 3 - 0. Suppose 9*l = 4*l + 30. Suppose -5*x + 0*k + 118 = -k, -5*x + 2*k = -116. Solve -2*r = -l*r + 5*u - x, 4*r = o*u - 16 for r.
-1
Let x be ((-1)/(-2)*-3 - 173/346) + 5. Let z(m) = 14*m**3 + 2*m**2 - m. Let w be z(2). Let d = -82 + w. Solve x*l + k = -19 + 2, 4*l + d = -4*k for l.
-4
Let j(m) = m**2 + 5*m - 4. Let y be j(-6). Let g(r) = 2*r**2 - 5*r + 4. Let o be g(y). Solve -7*x - 6 = -o*x + n, 0 = 3*x + 5*n - 14 for x.
-2
Suppose -30 = -2*z + 5*s, -2*z + 0*z - 2*s = -58. Let u = z + -5. Suppose 0 = -0*v + 4*v - u. Solve -3*g = g - x - 22, 3*g - 25 = v*x for g.
5
Suppose 0 = 2*i + 1 - 7. Suppose 0 = -i*n, -2*n + 6*n - 40 = -5*g. Solve -6*u = -2*u + 3*a - g, 5*a = 5*u - 10 for u.
2
Let a = 32 + -88. Let x = -51 - a. Solve -b = 2*m - 15 + 5, 0 = -b - m + x for b.
0
Let f(u) = -u**3 + 17*u**2 - 15*u - 23. Let d be f(16). Let t = d + 10. Solve 0 = -5*z + t*x - 1, 10 = 5*x + 25 for z.
-2
Let c be (-24)/(-2) - (2 + 0). Let d be 6 - 6 - (c - 0). Let f be 4/(-8) - d/4. Solve -o = -2*q + 2*o - 1, 3*q + f*o + 8 = 0 for q.
-2
Let x(k) = -3*k**3 + 3 + 44*k**2 - 46*k**2 - 3*k + 4*k**3. Let a be x(3). Solve -a*c = -0*c - 4*o - 22, -3*c + 3*o = -18 for c.
2
Let l be (4/(36/15))/((-9)/(-27)). Solve -2*o + 2 = -o, 12 = 2*d + l*o for d.
1
Let j = 2 - -9. Let b = 16 - j. Solve -b*u = l - 2, -4 = -3*l + 5*u + 2 for l.
2
Suppose 0 = -9*o + 6*o + 15. Suppose 4 = o*w - 21, 17 = -4*q + w. Let s be 0*q/(-6)*-1. Solve x + a - 4 = 0, s*x - 2*x = 3*a - 9 for x.
3
Let j = 841 + -841. Solve 4*o - 12 - 9 = -5*u, -4*u - 2*o + 18 = j for u.
5
Let y be (-23)/(-2) - (-3 + (-20)/(-8)). Suppose -10 = 2*s, 10 = 3*