 Solve 13 = -5*c + 4*u, d = -3*u + 7 - 1 for c.
-1
Suppose 4*w = -5*v + 165, 2*v = 3*w - 2*v - 85. Solve r + r - 5*o - w = 0, -o - 5 = 0 for r.
5
Suppose m = -5*v + 12, -4*m + v = m - 164. Let h be m/4 - (6 + -3). Solve 2*i + 5*p - 1 = -4, 4*i + h*p = -1 for i.
1
Let x = 5 + 43. Let r = x + -46. Solve -5*s - 20 = -r*n, -n + s + 3 + 4 = 0 for n.
5
Let k(v) = -31*v + 93. Let d be k(3). Solve m = 4*z - 3*z - 3, d = m + z - 5 for m.
1
Let d(z) = -z**2 - z + 1. Let y be d(-2). Let o be y + (0 + -5)*120/(-100). Solve 0*b - 2*b + 3*j - 16 = 0, -20 = -o*j for b.
-2
Let g = 396 - 394. Solve g*w + 3 = -y, 3*w - 4*y = 2 + 10 for w.
0
Let g(b) = -19*b**3 - b**2 + 2*b + 3. Let h be g(-1). Solve 0 = -4*y + 5*o + 10, h - 49 = -4*y - 5*o for y.
5
Suppose w - 33 = -2*y - 0*w, -31 = -2*y + w. Let m(a) = -a**2 + 17*a - 16. Let i be m(y). Solve 8*u - 4*u - 12 = 0, i = -5*q - 5*u + 40 for q.
5
Suppose 2*q - 5*w - 14 = 0, 4*q - q + 5*w = -4. Solve -3*u + 7 = 4*k, 3*u + 5*k = -q*u + 15 for u.
5
Suppose 44*j - 8*j - 108 = 0. Solve -1 = -4*h - j*t, 6 = -5*h + 5*t - 19 for h.
-2
Let g be (2 - 56/10)*(-5)/2. Solve 0 = 3*f - 4*f + 1, -5*p - g = -4*f for p.
-1
Suppose 2*c + 2*c = 0. Let o(l) = -35*l + 247. Let j be o(7). Suppose -2*p + 8 = 2*p. Solve c = -5*x + j*t + 25, -3*x - p*t - 1 = -0*x for x.
3
Suppose -52 = 4*s + 4. Let h = 36 + s. Suppose g - 2*i - h = -6*i, 4*i - 20 = 0. Solve 5*p + 2*o = -g*o + 9, -p = 5*o + 15 for p.
5
Suppose -4*u - 8 + 12 = 0. Let r = u - -4. Suppose -r*k + i = -0*k - 24, -3*i = 2*k + 4. Solve 3*o + k*v = 11, 4*v = -4*o - 0*v + 12 for o.
1
Let m = 8 - 16. Let v be (-9 - (m + 4))/((-1)/2). Let a be (1*15)/((-6)/(-4)). Solve 4*d + v = u - 9, 2*u = -4*d - a for d.
-4
Suppose 19 = 5*y - 16. Suppose -2*w = -y*w. Suppose w = 3*l + 3*l - 36. Solve -2*c + g + 6 = -l, 0 = 4*c + 3*g - 14 for c.
5
Let l = 13 + -8. Suppose r - 3*g + 0 = 20, -l*r + 10 = 3*g. Solve -5*a - 18 = -d, 0 = 2*d + 2*d + r*a + 3 for d.
3
Let i(n) = n**2 + 8*n + 15. Let r be i(-6). Solve -4*f = 5*m - 19, 2*m - 3*m + r = 0 for f.
1
Suppose l - 39 = 4*u - 18, -15 = l + 5*u. Solve 2*z - v - 11 = -2*z, l*z - 1 = -3*v for z.
2
Let i(r) = -r**3 - 11*r**2 + 14*r + 12. Let n be i(-12). Let a be (-3)/(n/(-5) - 3). Solve -a*b - o = 21, 4*b - o + 12 = -12 for b.
-5
Suppose -4*w = w - 50. Let j(d) = d**2 - 6*d - 40. Let b be j(w). Solve -2*a + 20 = 4*m, b*a + 22 = 5*m + a for m.
4
Let a = -135 + 90. Let j be (a/12 + 3)/(3/(-12)). Solve 4*x + 2*v = 3 + 3, 0 = j*x - 4*v - 32 for x.
4
Suppose 3*c - 132 = -3*z, -4*z - 4*c = -5*z + 39. Suppose -5*b = -3*h - z, 4*b = -2*h + 28 + 24. Solve 4*u + d - 2*d - b = 0, -30 = -5*u - 2*d for u.
4
Let l(r) = -r**2 - 6*r + 3. Let k be l(-5). Let q = -9 - -12. Solve 0 = 5*h - 4*o - k, -q*h = h + o + 2 for h.
0
Suppose 8*d - 93 = -21. Suppose d*y - 110 = -y. Solve -5*s = c - 15, 2*c - s - y = 5*c for c.
-5
Let q = -408 - -425. Solve 4*s + 3 = 23, -u = 3*s - q for u.
2
Let o(v) = -v + 4. Suppose -2*m = -4*m. Let j be o(m). Suppose 0 = -6*k + 4*k + j. Solve -8 = -2*c - k*a, -2*c - 8 = -4*c + 4*a for c.
4
Suppose -a = -6*a + 15. Suppose -26 = -w + 3*b - a, -b = -3*w + 61. Suppose -9*i + 14*i = w. Solve i*o - 3*t = 11, 4*o - o - 4*t - 17 = 0 for o.
-1
Let h = -383 - -385. Solve -4*l - 1 = -3*m, -6*m + m = h*l + 33 for m.
-5
Let z be 1*-1*(6 + -16). Solve 0 = 4*b - 5*a + 7, -2*b - 1 - z = 5*a for b.
-3
Let q(g) = g + 2. Suppose p = 3*p - 4. Let i be q(p). Let n(x) = 2*x**2 + x + 2. Let b be n(-2). Solve -1 = -y + 4*m - 3, i*y = 5*m - b for y.
-2
Let m(d) = -2*d - 3. Let q = 14 - 16. Let y(b) = -b**3 - 2*b**2 + 4*b + 5. Let n be y(q). Let w be m(n). Solve -w = 5*h + 2*i, h + 3*i = -2*h for h.
-1
Suppose -13*z + 11*z + 3*c + 25 = 0, -2*z + c + 19 = 0. Solve 0 = -2*n + z, 0 = 2*r + r + 2*n - 20 for r.
4
Suppose -10*h = -10 - 10. Suppose -17 = -4*d + p, -h*d + 2 = -2*p - 2. Solve d*l + 9 = -2*q, -3*q + 22 + 2 = -5*l for l.
-3
Suppose a - t = -3, 11*a - 7*a = 2*t - 2. Solve 2*y = 3*s + 16, -4*s + a*y - 13 = y for s.
-2
Let j(l) = l**3 + l**2 + 4. Let f be j(0). Let u(r) = 2*r + 4*r - 5 + 0 - 8*r. Let w be u(-5). Solve 2*k + k - w = -5*t, 0 = f*k - 2*t + 28 for k.
-5
Let r = -83 + 86. Solve r*p + 2 = -h - h, -4*h = 4*p + 8 for h.
-4
Suppose 2*k = -8*i + 3*i - 73, 0 = -4*k - 5*i - 161. Let b = -41 - k. Solve b*a = 5*x - 16, -5*x + 0*x + 10 = -5*a for x.
5
Let q = 13 + -10. Let o be q + 3 + (-3 - -2). Suppose m = -4*m + o. Solve -3*d = -l + 2 + m, -l - 5 = 5*d for l.
0
Let a(u) = u**2 + 31*u + 38. Let m be a(-30). Let l be -6*(8/3)/(-1). Solve -2*o - 4*g = l, 4*o - 2*g - m = -0*g for o.
0
Let u be -1 - (-15)/(15/5). Suppose 0 = 7*w - 5*w - u. Solve -3*l + w = 2*s, s - 5*s = -l + 10 for s.
-2
Let i be 4/(-8)*2 + 4/1. Solve -18 = i*p - 3*d, 6*p = p - 5*d + 10 for p.
-2
Suppose 5*o - 24 = -2*i, 2*i + o - 21 + 13 = 0. Solve 12 = -5*l + i*l, 3*x = -2*l - 20 for x.
-4
Suppose -8 = 2*h - 6*h. Suppose 3*m - 6*w - 10 = -h*w, 5*m - 5*w - 15 = 0. Solve 3*c - 2*g = -20 + 4, -c - 8 = -m*g for c.
-4
Let i(f) = 8*f**2 - f + 1. Let m be i(1). Let v = m + -8. Suppose 3*y = 10 + 17. Solve 2*p - 10 = 0, s = -p + y - v for s.
4
Let p(z) = z**3 + 11*z**2 + 11*z + 24. Let k be p(-10). Let i be 13/((-182)/(-24)) - (-4)/k. Solve -i*b - 2*l + 6 = l, 4 = -3*b + 2*l for b.
0
Let n be 1/(-6) - (-247)/78. Solve 37 = 11*y - 14*y - 5*k, -5*y - 35 = n*k for y.
-4
Let r(g) = 26*g**2 - 5*g + 9. Let k be r(2). Let f = k - 93. Solve j + 5*m = f, -j + m - 1 = 1 for j.
0
Let o be (34 + (-1 - 2))*(-2)/(-2). Let x = o + -29. Solve -n = -x*u + 4, -n = -6*n - 4*u + 22 for n.
2
Let x be ((-1)/(-3))/((-9)/(-270)). Let c = -5 + 8. Let z(s) = -s**3 + 4*s**2 - s + 3. Let q be z(c). Solve 2*g - q = 3*b - 23, -4*g = 3*b + x for b.
2
Let w(y) = -y**2 - 11*y - 12. Let j be w(-9). Suppose -2*b + 6 = p, b + 4*p = -b + j. Solve 8*d - 3*d - 2 = -c, b*c = 2*d - 11 for c.
-3
Let g(j) = 2*j**3 - 14*j**2 + j - 5. Let l = 68 - 61. Let a be g(l). Solve 0 = -5*w - 5*v - a - 3, -3*v - 1 = 4*w for w.
2
Suppose 8 = 14*f - 10*f. Let h be f*(-2)/(-12)*9. Let z(g) = -g**2 - 4*g + 5. Let s be z(-4). Solve 4*n = -s*m + 21, h*m + 17 = 6*n - n for m.
1
Let q be 1 - (0*(-5)/(-30))/1. Solve 4*c - 33 = 5*h, -20 = 2*c + 5*h + q for c.
2
Suppose -4*a = 3 + 9. Let h be 6 + a - 4 - -3. Solve 6*c - c = o - 25, -h*c = -4*o + 28 for o.
5
Suppose 0*v + v = 6. Let m be (-119)/(-13) - v/39. Suppose 4*d - 35 = -3*d. Solve -3*u + d*y = 20, -4*y + m*y - 20 = -2*u for u.
0
Let q be (2 - -4)*((-1)/1)/(-2). Solve -4*r - q = -5*n, 12 = -2*n - 2*r - 3*r for n.
-1
Let t be ((-10)/(-2))/(75/60). Suppose 2*v = 3*y + 8 + 8, t*y = 2*v - 20. Solve -2*c + 3 = -c - 4*z, 3*c = v*z + 9 for c.
3
Suppose -3*i + 34 = -41. Suppose -4*j + 2 = -2*j. Suppose 3*p - j = -4*l - 4, 4 = 2*l - 4*p. Solve 2*x = 3*y - 6, 4*y + l*x + 3*x = i for y.
4
Let j(d) = d**2 + 16*d. Let b be j(-16). Suppose -5*o + b*o + 15 = 5*c, 5*c = 4*o - 30. Solve -2*l - 2*l - 13 = 5*n, n = -o for l.
3
Suppose -4*b - 30 = 6. Let q = -7 - b. Suppose -3*g = -q*g. Solve -v = -2, g*v - 6 = -4*f - v for f.
1
Let u = 7626 - 7622. Let n be 10/4 - (-2)/4. Solve u*o + 4 = 0, 2*l - n*o = -o + 8 for l.
3
Let x = -421 + 424. Solve -5*r = x*w + 34, 0 = 2*r - 7*r - 2*w - 31 for r.
-5
Let s(x) = -5 + 3*x + 27 - 4*x - 6. Let y be s(0). Solve 2*p + 6 = p + 5*a, 2*a + y = 5*p for p.
4
Let x(k) be the first derivative of k**3/3 - 2*k**2 + 11*k + 13. Let c be x(5). Solve -4*m - 5 = -i - c, -14 = -3*m - 5*i for m.
3
Let k = -11 - -11. Suppose k*m = -3*m + 330. Suppose -a + 9 = 4*y - 146, 0 = -3*y - 2*a + m. Solve 5*r - y = -5*c, c - 6*c - 3*r = -30 for c.
3
Let j(y) = 3*y**3 + y**2 + y - 2. Let t be j(1). Suppose -49 = -4*h - h - t*i, 0 = -3*h - i + 27. Solve 0 = -4*d + 4, 3*g - 2*d + 1 = h for g.
3
Suppose 0 = 7*b - 9 - 26. Solve -b*f - 4*s = 13, -5*f - s - 4*s = 15 for f.
-1
Suppose 25 + 11 = -4*t. Let h(l) be the first derivative of l**4/4 + 8*l**3/3 - 9*l**2/2 + l - 55. Let x be h(t). Solve 3*y - x + 0 = -4*r, 1 = 3*r + 2*y for r.
1
Suppose r - 4*u = -50, -4*r - u = -5*u + 236. Let y = -57 - r. Solve y*g - 3*k = 12 + 3, -2*g = 4*k - 6 for g.
3
Let a be (3/5)/(5/100). Suppose -15*f = -11*f - a. Solve i + f*r = -8, -5*r - 2 = -8*i + 4*i for i.
-2
Let d(r) = -2*r - 3. Let u be d(3). Let j = 11 + u. Let v be 2/(1/4*2). Solve 4*q