0, -k*h + 0*c = c - 3 for h.
-1
Let r be 84/39 + (-66)/429. Let b be ((-2)/(-5))/1*5. Let c be 2/2 + b + 0. Solve 24 = 3*l - c*q, 2*q + 20 = 4*l - r for l.
3
Let w = -13 + 18. Suppose -4*y - p = -5, -y + 3*p + 1 = 16. Suppose w*o = -y*r - 2*r + 70, 5 = r. Solve 0 = -k - k - 3*f + 9, -4*k + o = 4*f for k.
0
Let w be (1 + 1 + 1)/1. Let l be (45/(-65))/(22/(-286)). Solve 3*o = -l, -f + 5 - 18 = w*o for f.
-4
Let x(h) = h**3 - 4*h**2 + 3*h - 37. Let m be x(5). Solve 2*l + 18 = 3*l + 4*f, 4*l - 20 = -m*f for l.
2
Let q be (-1 - (-3)/6)*0. Suppose -5*n + 32 = 12. Solve -4*b - 2 = n*z - 2*b, q = 5*z + b + 1 for z.
0
Let m(o) = -4*o**2 + 8*o + 2. Let d(j) = 3*j**2 - 9*j - 3. Let b(z) = 5*d(z) + 4*m(z). Let k be b(-12). Solve 0 = 4*v + k*t - 6, 0 = -5*v + 3*t - 8 - 3 for v.
-1
Let n = 566 - 566. Solve h + 8 = -3*g - h, 5*g - h + 22 = n for g.
-4
Let j = 1516 - 1499. Suppose -16 = -4*p + 4*u, 0 = 3*p + 5*u + 24 - 4. Solve b - 2*s - 2*s = -13, p = -3*b + s - j for b.
-5
Let h be 1/((1 - -1)/4). Let j(s) = s**3 - 5*s**2 - 25*s + 20. Let b be j(8). Let v = b + -11. Solve m + 6 = -5*n, n + v = -2*m + h*n for m.
-1
Let o = 43 + 48. Suppose -d - 75 = -3*t - 4*d, 0 = 4*t - 5*d - o. Solve 3*v = 4*k - 1 - 20, 5*k - t = 3*v for v.
-3
Let x(k) = 5*k - 50. Let q be x(10). Solve q = -3*w + 2*w - 5*f - 11, -4*w - 5*f = 14 for w.
-1
Let w(f) = -f**2 - 11*f - 16. Let v be w(-9). Suppose v*m - 19 = -3*j, -6 - 1 = -2*m + j. Solve -4*t = m*p - 9, 6*t - 3*p = 3*t for t.
1
Let s be 6*(-5)/30 + (2 - 1). Solve 5*c + s = z - 22, 3*c + 2*z = -8 for c.
-4
Let d = -1315 - -1320. Solve 0 = 5*f - 4*b + d*b, -2*b = f for f.
0
Let a be 1/(2/(-32)*-4). Suppose -4*c - a*c = 40. Let y(x) = -x - 1. Let n be y(c). Solve -3*i - 11 = -m, 3 = 2*m + n*i + 1 for m.
5
Let g be (4/3)/(14/378). Suppose 4*v + g = 13*v. Solve -v*y + 2*w = 5*w + 10, -4*y + 4 = -4*w for y.
-1
Suppose -10*n + 3*u = -15*n + 39, 5*u = -2*n + 8. Solve -n = k - 2*f, -22 = -2*k - 8*f + 4*f for k.
1
Let t(p) = 5*p**3 - 2*p + 1. Let h be t(1). Suppose 0 = -5*w + 14*w - 351. Let m = -37 + w. Solve -h*s - s - 4*y = 30, 24 = -m*s - 4*y for s.
-2
Let q(h) = h**3 - h**2 + 4*h - 3. Let x be q(2). Suppose -x*o + 6*o = 0. Suppose o*p - p = -2*v - 18, -p = v - 3. Solve 3*z - p*z - 5 = 0, 3*z = -2*u + 7 for u.
5
Suppose -4*z = 2*j - 12, -3 + 11 = 3*j - 4*z. Suppose 0*f + j*f = 12. Solve -h + 2*n - 1 = 0, 0 = f*h - 0*h - 3*n - 6 for h.
5
Suppose -10*z - 36 = -6*z. Let p = z + 13. Solve -k - p*k = o + 16, -20 = 2*k - 3*o for k.
-4
Suppose t - 191 = -4*j - 4*t, 3*j - 5*t - 187 = 0. Suppose 0 = 4*h + 12, -2*h - 3*h = -3*p + j. Solve -1 = -4*b + 3, -b + p = -3*g for g.
-4
Let c be (-32)/(-80) + 32/20. Solve -3*o = -3*x + 6, 3*o - c = -2*o - x for o.
0
Suppose 8*d - 152 = -0*d. Solve 0 = -b + 4*b - 3*u - 6, -4*b - 5*u = d for b.
-1
Let g be 1701/28 + (-6)/8. Suppose -4*z = -8*z + g. Solve 33 = -5*j + 4*x, 0 = -4*j + 2*x - z - 9 for j.
-5
Let u(l) = l**3 - 5*l**2 + 2*l - 7. Let f be u(5). Solve 3*a = 2*m - 1 + 4, f*a = 3 for m.
0
Let t = -309 - -314. Solve 2*o + 1 - t = -5*j, 3*j = 5*o - 10 for o.
2
Let l(m) = -m**2 - 8*m + 14. Let z be l(-7). Let k = 36 + -31. Solve 3*x - 2*x - z = k*i, 3*x = 4*i + 8 for i.
-5
Suppose 5*x = -5*k + 25, 15*x + 4*k = 20*x - 61. Solve -6*l + 15 = -2*l + f, x = 4*l - f for l.
3
Let a be (-3)/(-1) + -4 - -3. Suppose -4*g - 5*i + 23 = 0, -a*g + 4*i = -i + 11. Let j be (-20)/(-9) + 10/(-45). Solve g*p = 5*m + 9, 2*p + 12 = -j*m - 0 for p.
-3
Let u(z) be the second derivative of -z**3/6 + 3*z**2/2 - 6*z. Let f be u(3). Solve 5*g = -f*g + 4*r - 29, 5*g - 5*r + 30 = 0 for g.
-5
Suppose 10*b + b = 396. Suppose h + 32 = b. Solve -d - 2*d = h*l + 35, 3*l + 30 = -3*d for l.
-5
Let n be 16 + -7 - 4 - -5. Solve 0 = -a - 4*m - n, -14 = 2*a + a + 4*m for a.
-2
Let n(q) = q + 2. Let f be n(-8). Let k be ((-9)/f)/((-15)/(-20)). Solve 4*t - 16 - k = 2*y, -4*y = -4*t + 28 for t.
2
Let n(g) = -12*g - 12. Let j = -129 - -128. Let k be n(j). Solve k = -2*o + 4*y - 0 - 14, 3*y = 4*o + 8 for o.
1
Suppose 4*k + 174 - 546 = 0. Let s(w) = 17*w**2 - w - 4. Let m be s(2). Let x = k - m. Solve -2*t - 2*z + 2 = 0, -3*t - t + 3*z = x for t.
-4
Suppose 11 - 9 = y. Suppose n - 20 = 5*o, -o - y*o - 9 = 0. Let t(g) = -g**2 - 3*g + 1. Let h be t(-3). Solve -3*k = -15, -4*k + 6 = -n*j + h for j.
3
Suppose 0 = 5*x - a - 41, 4*x - 2*a = -a + 33. Let t be 34/x - (4 - (-45)/(-12)). Solve -8 = 2*i, -i + 4 = t*r - 2*i for r.
0
Suppose -5*v + 17 = -2*r, -5*r + 3*v + 3 = -2. Solve -l - 7 = 2*j, j + 2*l - r = 6*j for j.
-2
Let m(c) = -c**2 + 17*c - 14. Let u be m(16). Solve -u*o + 5*z + 10 = 0, 2*z + 15 = 3*o + z for o.
5
Suppose 3*g = -1 - 11. Let f(n) = -n**2 - 3*n + 7. Let a be f(g). Solve a*u + 2*m + 4 = 0, 0 = -u + 2*m - m + 7 for u.
2
Let j = -40 + 27. Let x = -10 - j. Solve 0 - 5 = -t, x*n - 2*t = -25 for n.
-5
Let s be (4 - 46)*(-3)/2. Let n be 63/12 - (s/12 - 5). Solve 3*w + 3 = 2*k + 19, -30 = n*k - 5*w for k.
-2
Let t = -38 - -70. Let u = t + -28. Solve -3*s = -2*s - u*o - 3, 6 = 2*s + 2*o for s.
3
Suppose 4*b - b = -4*f - 6, 0 = 4*b - 3*f - 17. Suppose 4*r - 2 = b*r. Solve -3*m - h + r - 10 = 0, 5*h = -2*m - 19 for m.
-2
Let h be -27*(6 - 5)/(-3). Solve 5*s + 6 = -2*v, v + h = -3*s - 2*v for s.
0
Suppose 11*b - 193 = -17. Let f be (-5)/20*-4 - (1 - b). Solve 2*a = 7*a - q - f, q = -1 for a.
3
Suppose 52*r - 6*r = 0. Solve -4*o - 3*z - 13 = r, 3*o - 2*o = -3*z - 1 for o.
-4
Let j(f) be the first derivative of f**3/3 - 9*f**2 + 17*f - 13. Let a be j(17). Solve a*n + 3*n + 1 = -i, 0 = 3*n for i.
-1
Suppose -31*m = -45*m + 28. Solve -2*r + 7*r - m = 4*d, -d - 3*r - 9 = 0 for d.
-3
Let o = -24 + 37. Let f = o - 1. Solve 4*h + 1 = b - f, -7 = 2*b + 3*h for b.
1
Let v be ((-49)/(-2) + -1)*2. Let x = v + -44. Solve -x*a + 7*a - 5*r = -15, -1 = a - 4*r for a.
-5
Suppose -3*d + 0*d = -81. Suppose -2*c - 2*c = 5*a - d, -5*c + 4*a + 3 = 0. Solve -2*i - 4*j + 18 = -6, 20 = c*i + 2*j for i.
4
Let l be (6/(-60) + (-4)/10)/((-6)/24). Let s = 6 + -1. Solve 0 = -3*q - q + 3*m - 1, s*m + 33 = -l*q for q.
-4
Let o be ((-18)/(-6))/(4 + -1 + -2). Solve 3*x - 22 = -2*b - o*b, 3*b = 6 for x.
4
Suppose -10*z = 10*z - 240. Suppose -4*d + 4*q - z = -2*d, -3*d = 2*q - 22. Solve -d*y + 31 = 3*b, -5*b - 2*y + 17 = -4*y for b.
5
Let d(f) = f**2 - 6*f. Let r(m) = -m. Let i(w) = -d(w) + 3*r(w). Let p be i(0). Solve -4*o = q - 24, o + p*o + 5*q - 25 = 0 for o.
5
Suppose 15*v = -23*v + 13*v. Solve -h + 3*f + v = 2, -3*h + 4*f = 11 for h.
-5
Let l(b) = -20*b + 7*b + 6*b. Let a be l(1). Let c be 3*2 - (a + 10). Solve -c*s = d + 13, 5*s = 2*d - d - 11 for s.
-3
Let q = -3 + 3. Let z = 945 + -665. Let k be (3*4/6)/(20/z). Solve -5*b + 4*u = 8, 4*b = -q*b - 4*u - k for b.
-4
Suppose 3*t = -2*t + 75. Suppose -w + h - 3*h + t = 0, -5*h = -2*w - 15. Solve w*j - 2 = 2*o - 14, 2*j = 2*o for o.
-4
Suppose 11*z + 31 = 64. Solve -z*t = -g, 0*g = -4*t + 4*g - 8 for t.
1
Let b = -1 - -5. Let f = 5 - 1. Suppose 3*s - 3*d = 2*s - 7, 16 = 2*s + f*d. Solve b*k - 32 = -0*p + 5*p, 0 = s*p + 3*k - 1 for p.
-4
Suppose -5*v = 30 + 20. Let j be 4/v*10*-1. Let l be (1/(-2))/((-2)/28). Solve -j*c + l = t, -t + 5*c = 7*c - 5 for t.
3
Suppose 2 = x + 5. Let r = x + 13. Solve -2*b = -r, 0*h = 4*h + 5*b - 45 for h.
5
Suppose 3*y + 5*r = 14, 5*y + 4*r = 2*r + 17. Let n(t) = t**3 - 8*t**2 + 2*t + 4. Let o be n(8). Let j = o + -8. Solve -y*z + 6*l + 15 = l, 4*l = 5*z - j for z.
0
Let h be 42/5 - (-4)/(-10). Let i(z) = 2*z**3 - 9*z**2 + 760*z - 371*z - 5 - 380*z - z**3. Let r be i(h). Solve -4*p - 13 = -5*v, 0 = -r*v - 0*v + p + 5 for v.
1
Let b(u) = -u**3 - 7*u**2 - 7*u - 2. Let c be b(-6). Let j be c*-5*(-4)/20. Solve -5*q + 9 = -2*q + 2*s, -j*q + s = -12 for q.
3
Let t(b) = b. Let i(y) = 20 - 20 - 2*y. Let a(c) = 3*i(c) + 5*t(c). Let j be a(-4). Solve 0 = -4*f - 4*s + 2*s + 14, 4*s - j = -2*f for f.
4
Suppose 16 = 4*z - 0. Let o be 6 - z*1/4. Suppose 2*q - 10 = 7*q, -2*m + o*q + 18 = 0. Solve 0 = -2*g - j - 0*j + 8, -2*j - m = 0 for g.
5
Let z(r) = -r + 2. Let h be z(0). Suppose -t + 5*q - 7 = 0, -4*t - h*q + 14 = -3*t. Suppose -2*o - t = -6*o. Solve -o*n - 3*k = 3, -8 = 2*k - 2 for n.
3
Let i = -546 - -549. Solve 5*l + 2*k = -3, -i*k = k + 16 for l.
1
Let y = -51 + 56. Suppose f - 10 = -y*s, s = 2*s - f -