3*c + h - v = 0 for c.
5
Let q = 25 + -18. Suppose -4*p + 69 - 17 = 0. Solve -4*z = -q - p for z.
5
Suppose -18 = -5*m + 2. Suppose -23*n - 28 = -22*n + 4*r, -4*n + 5*r = 28. Let u be 33/(-3*m/n). Solve 0 = 5*j + u - 13 for j.
-4
Let y be (18 - 12)/((-6)/(-6)). Solve 3*i + 6 = -y for i.
-4
Let g(i) = i - 2. Let y(n) = -n - 1. Let o(v) = g(v) + 3*y(v). Let p be o(4). Let h = p + 13. Solve h = -0*b + b for b.
0
Let o be (9 - 8/1) + 2. Solve -o*i = -32 + 26 for i.
2
Let c = 332 - 327. Solve -6*t + c*t = 0 for t.
0
Let q = -111 - -113. Solve 0 = -0*p - q*p - 10 for p.
-5
Let j = 22 - 9. Suppose 2*y + 6 = -3*t - 2*y, -j = -2*t + 3*y. Solve 0 = 3*h + t*h - 5 for h.
1
Suppose -7*b + 729 = 74*b. Let m = 9 - 4. Let s = b - m. Solve -s = i - 3 for i.
-1
Let u be 19*(6 - 4) + 2. Let i be (-5)/(4/u*-2). Suppose 4*s - 32 = -3*t, -s - i = -6*s. Solve 5 = t*j - 5*j for j.
-5
Let x = 1910 - 1906. Solve -x*z + z = -9 for z.
3
Suppose -l + 11 = 2*s - 12, l - 13 = -s. Solve -19*z = -s*z + 18 for z.
-2
Suppose -3*x + 1 = p - 7, 0 = 5*p - 5*x. Let n be (-10)/(-2) + 4/2. Suppose -3*f = -3*o - 18, -n = 5*o + 8. Solve -f + 5 = p*i for i.
1
Suppose 3*h - 8*h = -240. Suppose 2*b = -5*r + h, -3*r + 6*r + 2*b = 32. Let z = 740 - 737. Solve v + z*v = -r for v.
-2
Suppose 0 = 61*j - 5*j - 896. Suppose -4*r - 2*x = -18, 3*x = 4*r + 2*x - 3. Solve r*g + 2*g = -j for g.
-4
Let a(c) = 2*c - 2. Let z = -33 - -36. Let s be a(z). Suppose 5*q - 2*u = 8 + 10, 5*q + u - 6 = 0. Solve -2 = q*d + s for d.
-3
Let w be (-1)/((15/(-6))/5). Suppose 88 = w*l + 2*l. Suppose -6 = -2*f - h, -5*h + 2*h = -4*f + l. Solve r + f*r + 20 = 0 for r.
-4
Let l be -7 - -14*(3 + 3/(-2)). Solve 12*t + 2 = l*t for t.
1
Let i = -175 - -180. Solve 0*k + i = k for k.
5
Let a(f) = -f + 15. Let p be a(10). Suppose -24 = 4*o + p*g - 9, 4*o + g = -3. Suppose o = 4*i - 0 - 12. Solve k = i*k for k.
0
Suppose 36*j - 25*j = 220. Solve j = -4*l - l for l.
-4
Suppose -5*b - w = -34, 0 = w - 3*w + 8. Let p(s) = s**3 - 6*s**2 + s - 4. Let f be p(b). Let t be f/(-9) - 370/(-45). Solve -3*g + 20 = -t*g for g.
-4
Suppose -5*u + 10*u = -95. Let w be 11/(-22)*(u - -1). Let p be (-1)/2 + 15/6. Solve 5*s - p*s = w for s.
3
Suppose -4*y = 2*h - 24, h + 51 = 6*h + y. Let i(x) = -x**3 - 16*x**2 - 15*x. Suppose 0*d + 45 = -3*d. Let n be i(d). Solve -5*a = -n*a + h for a.
-2
Let g(v) = v**2 - 47*v - 215. Let p be g(-5). Solve -p = -4*f - 5*f for f.
5
Suppose 10 = -7*z + 6*z. Let u be (-1 + 2)/(5 - (-45)/z). Solve -i - u*i + 6 = 0 for i.
2
Let i(u) = -u**3 - 4*u**2 + u - 11. Let h be i(-5). Let q(p) = 7*p - 2. Let a be q(2). Suppose c + a = 3*k + 1, c + 5*k - 21 = 0. Solve 5*x = h + c for x.
2
Suppose 5 = -7*c + 26. Let p be (18/c)/(2/1). Solve -p*a = -11 + 2 for a.
3
Let x(p) = 13*p - 170. Let u be x(14). Solve -3*g = g + u for g.
-3
Let n(r) = r**3 - 7*r**2 + 8*r + 7. Let j be n(5). Let k be (2 + j + 3)/1. Suppose -3*u + 10 = -v, 6*u - 20 = k*u + 3*v. Solve u*o = 6*o + 20 for o.
-5
Suppose -32*p - 20 = -34*p. Solve 2 = 4*m - p for m.
3
Suppose 14*b - 9*b - 20 = 0. Suppose 4*p - 3*f - 6 = 11, 0 = p - b*f - 14. Solve -4*t + p*t = 0 for t.
0
Let b = 222 + -209. Solve 4*k + 5 = b for k.
2
Suppose -25 = -32*v + 167. Solve -v*u = 10 + 14 for u.
-4
Suppose -4*a = -0*s - 2*s - 84, -a + 35 = -4*s. Suppose -2*o = -5*w - 190, 2*w + 3*o + 76 - a = 0. Let i be (-8)/w + 25/9. Solve -3*r + 15 - i = 0 for r.
4
Let i(q) = q**2 - 4*q - 18. Let l be i(8). Let a = l + -12. Solve 2*r - 2 = a for r.
2
Let g(c) = -8*c**3 + 2*c**2 - 1. Let h be g(-1). Suppose -24 = -3*a - 4*q - 11, -4*a = q - 26. Solve 0 = -a*n + 4*n + h for n.
3
Suppose -5*o = -o - 52. Suppose -w = 2*d - o, 4*d - 5*w + w = -4. Solve -d*k + 2 = 10 for k.
-2
Let a(t) = 3*t**2 + 4*t - 31. Let m be a(3). Solve -m = 33*v - 29*v for v.
-2
Let p(x) = -x**3 - 4*x**2 - x - 2. Suppose -6*u + 24*u + 72 = 0. Let k be p(u). Solve 5*l = k*l - 12 for l.
-4
Let w(p) = p**3 + 13*p**2 + 1. Let n be w(-13). Let k(d) = d**2 + 13*d - 46. Let h be k(-16). Solve -h*g + 3 = n for g.
1
Suppose 124*v = 132*v - 56. Solve 18 = -v*t - 3 for t.
-3
Let o(u) = -u**2 + 9*u - 10. Let b be o(7). Suppose -n + 18 = -3*q, 4*n - 2*n - 27 = -3*q. Suppose n*r - 10 = 10*r. Solve -r*p - 2*p = b for p.
-1
Let b(u) = u - 9. Let h be 1 - 1/((-1)/44). Suppose -s + h = 4*s. Let t be b(s). Solve 2*j + t = -2 for j.
-1
Let j be ((-6)/27 - (-38)/36)*(-1314 - -1320). Let w(h) = -h**3 - h**2 + 5*h + 2. Let a be w(-3). Solve j*u - a = 15 for u.
4
Suppose 3 + 9 = 4*k + 2*i, -3*i + 4 = -k. Let t be k*(3 + 1 + 0). Let j = 11 - t. Solve 0*f + j*f = 3 for f.
1
Let x be 21 + -2 - (1 + 4 + -1). Let s = 3 - 1. Suppose -s*z = j - x, 5*z - z - 36 = 4*j. Solve 4*y + 8 + z = 0 for y.
-4
Let n be 8 + -8 + (8 - 7). Solve -6*d + n = 1 for d.
0
Let d(s) = -2*s**2 + 46*s - 199. Let l be d(6). Solve c = -0*c - l for c.
-5
Let w be 1 + 12/(3 - -1). Let j be (24/(-18))/(w/(-6)). Solve m + 1 = j for m.
1
Let u(f) = f**2 - 19*f + 31. Let l be u(17). Let v be 0/(l/(-6) - 14/4). Solve -3*m + 5 - 2 = v for m.
1
Suppose -3 = 3*y - 12. Let j be (1 - (-15)/y) + -4. Solve 0 = 3*c + j*c - 10 for c.
2
Suppose 5*r + 2*r = 35. Suppose r*c = 5*h - 25, h - 8*c + 3*c - 5 = 0. Solve h*t = t - 16 for t.
-4
Let h(l) = 3*l + 64. Let k be h(-13). Solve -4*m + k = m for m.
5
Let f be (-3 + -1)/(6/(-12)). Let l(m) = -m**3 - 3*m**2 + 3*m + 4. Let p be l(-4). Suppose 9 = -5*g + 3*v, -3*g - 1 = -3*v + p. Solve -i - 3 + f = g for i.
5
Let o(g) = -g**3 + 3*g + 2. Let t be o(-2). Let u be -5 + 2 + (t - 2). Let i be (-2)/(-8)*0*u. Solve 0 = -3*a - i*a for a.
0
Let q = 37 - 37. Suppose 2*s + 2*j - 6*j - 18 = 0, 2*s + 4*j = -6. Solve q = -s*a + 4*a + 5 for a.
-5
Suppose -2*g - 5*i - 27 = -6*g, 3*i + 15 = 2*g. Suppose 31*q - 28*q = -132. Let f = 44 + q. Solve -y + g = -f*y for y.
3
Let s(z) = -z**2 - z + 3. Let j be s(0). Let a = -2 + j. Let o(x) = -437*x - 2183. Let f be o(-5). Solve -a + f = -r for r.
-1
Suppose -4*f + f = -12. Suppose -r = f*r, 5*y = 4*r + 10. Solve -5*i = -y*i - 3 for i.
1
Suppose -a - 5 = 4*s + 8, -s - 7 = -a. Let v(w) = 8*w + 7*w**2 + 3*w**a - 4*w**3 - 14*w. Let m be v(5). Solve 0 = g + 3*g + m for g.
-5
Let u = -7 + 16. Let z = 17 - u. Suppose 4*m - z = 3*x + 25, 4*m - 30 = 2*x. Solve m*w + 25 = w for w.
-5
Let s = -406 + 508. Solve 8 = -100*v + s*v for v.
4
Let z = 190 + -183. Solve -z*p + 3 = -4*p for p.
1
Suppose -6*s = -2*s. Suppose 0 = -0*q - 2*q. Let h be (q/4 + (-3)/(-9))*27. Solve s = -4*g + 7 + h for g.
4
Let q = 10 + -17. Let j(u) = -u - 4. Let m be j(q). Suppose -5*z - 2*k + 8 = 0, 3 = 4*z + 3*k - 9. Solve z = -2*v + m*v for v.
0
Let z(m) = -m**2 + 7*m - 6. Let d be z(6). Let j(h) = 2*h + 8. Let y be j(d). Suppose -3*l + y*p = 3*p - 15, 9 = -2*l - 3*p. Solve l - 5 = -5*g for g.
1
Let a be (-24)/(-3 + -1) + 0 + -1. Solve -j + 4 = a for j.
-1
Let c = -15 - -20. Suppose -l + 30 + 11 = 0. Suppose -l + 31 = -c*v. Solve -y + v = -2 for y.
4
Suppose 25*u - 57 = 22*u. Suppose -23 = -7*g + u. Solve -6*q + g = -9*q for q.
-2
Let k = -108 - -8. Let p = -92 - k. Solve l - 5 = -p for l.
-3
Let q be (7 + 10 + -17)*2/(-2). Solve q = -4*f + 14*f for f.
0
Let a = 374 + -374. Solve 4*b + 8 + 0 = a for b.
-2
Let y(z) = 2*z**3 - 3*z**2 + 2*z - 1. Let a be y(2). Let v(c) = c**3 - 5*c**2 - 15*c + 7. Let b be v(a). Solve 0 = -b*q - 4*q + 20 for q.
5
Suppose 2*s + 5*h - 65 = 0, 5*s + 50 = 8*s - 2*h. Solve 0 = 4*v - 12 + s for v.
-2
Let k be (0 + -3 - 22)/((-31)/62). Solve 7*g + k = -3*g for g.
-5
Let k(h) = -h**3 + 17*h**2 - 19*h + 52. Let r be k(16). Solve r = -2*d + d for d.
-4
Let v(f) = 2*f - 20. Let r be v(12). Suppose -3*j - 5*m = -r, 3*m - 10 = -2*j + 7*m. Solve 0 = l + 1 - j for l.
2
Suppose h - 30 = -4*u, 5*u + 2*h = -h + 41. Let f(i) = -i**2 + 14*i - 46. Let y be f(u). Solve 5*m = y + 2 for m.
1
Let j(p) = p**3 + 32*p**2 + 31*p + 6. Let v be j(-31). Solve y - v*y = 25 for y.
-5
Suppose 29*v - 36*v + 56 = 0. Suppose 0*a = -4*a. Solve 0 = -2*n - a*n - v for n.
-4
Suppose -4*o + 0 = 3*i - 17, -5*i + o = -13. Let y(j) be the first derivative of -5*j**4/4 + j**3/3 + j**2/2 - 2. Let d be y(-1). Solve -d*t + i = -7 for t.
2
Let b be ((-4)/(-16)*-10)/(1/(-6)). Suppose -4*g - 3*o - 7 = -0*g, -g + 5*o = -27. Solve -l = g*l - b for l.
5
Let o(t) = -5*t**2 + 0*t**3 + t**3 + t**2