ose -6*c = -f*c - u. Solve c*i + 25 = 0, 2*m + 0*m - 12 = 2*i for m.
1
Suppose 3*p - 5*n = 806, 2*n = -2*p + 539 + 25. Let v = p + -158. Let d = v - 84. Solve 5*i = 5*x + d, 0 = 4*i - 2*x - 3*x - 32 for i.
3
Suppose 0 = -4*u + 460 - 4. Let n = 114 - u. Solve -4*q = -19 + 3, n = 5*y - 3*q - 3 for y.
3
Let j(q) = -q**3 - 53*q**2 - 284*q - 9. Let i be j(-6). Solve y + 29 = -3*a + 23, 0 = i*a - y + 12 for a.
-3
Let g be 1/(1*-3 - 824/(-274)). Suppose 124 = 3*h - 2*u, -4*u = -5*h + g + 67. Let s = h + -39. Solve 0 = -x + 4*q + 5, 3*q = s*x - q + 7 for x.
-3
Let q be (-1833)/(-234) + 2*1/12. Let v be ((-1)/2)/(q/(-128)*4). Solve 0 = d + 3*s + 2*s + 14, 0 = -5*d - v*s - 24 for d.
-4
Let p be 14/3*(-144)/(-56). Suppose z - 4*u = -p, 3*z - 2*z - 5*u = -16. Solve 2*c - 23 = -3*f - 2*c, -z*c + 20 = 0 for f.
1
Let t(v) = v**2 - 18*v - 21. Let c be t(15). Let o = 67 + c. Solve -4*w - 1 = -3*w + k, -3*w = 4*k + o for w.
-3
Let i be ((-1808)/565)/((-2)/10). Solve -2*q + a + 4 = 0, i*q = 12*q - 2*a + 8 for q.
2
Suppose -71*s - 27 + 134 = -35. Solve 1 = s*b - v - 4*v, 5*b + v + 11 = 0 for b.
-2
Let h = -4 + -14. Let k = 32 + h. Let f = -11 + k. Solve -3*u - 2*r = -r - 4, 5*u - 30 = f*r for u.
3
Let k be (-30)/375 - (-306)/75. Let j(h) = -12*h + 53. Let a be j(k). Let b be 1/(-3)*(-6)/1. Solve 0 = 4*f - a*n - 9, -b*f + 5*f = -5*n - 2 for f.
1
Let v = -7346 - -7359. Solve 6 = -3*x + 2*h, 16*x + h = v*x - 6 for x.
-2
Suppose 7*o + 52 - 66 = 0. Solve -3*r = -l - 13, -o*l = 5*r + 4 - 33 for l.
2
Let k = -26 + -128. Let h = -5425 + 5436. Let x be 2/h*k/(-14). Solve -2*v - 2*o = x + 2, 2*o + 14 = 3*v for v.
2
Let l(h) = -3*h - 72 + 15*h**2 - 7*h**2 - 7*h**2 + 58. Let t be l(6). Solve -12 = 2*p + t*q, -4*p + p = 3*q + 6 for p.
2
Let f(l) = -39*l**3 + 3*l**2 + 3*l + 1. Let x be f(-1). Suppose 0 = 5*c - 25 - x. Let q be c/5 + (-5)/(25/3). Solve 0 = q*h, 3*p + 4*h - 12 = -0*p for p.
4
Suppose -4*m = 2*m - 228. Let w = m - 36. Suppose -5 = -5*a + 5*h, -w*a - h = h - 6. Solve 2*l = 4*r, a*r = r + 2*l - 3 for r.
1
Let a(y) = -7*y**2 + 102*y + 26. Let s be a(15). Let j = s - -23. Solve -4*v + 12 = -u, -8*u + 4*u = -3*v - j for u.
4
Let l = 12529 - 12464. Solve -3*c = z + 18, -3*z + 3*c - l + 83 = 0 for z.
0
Let u = 4834 + -4830. Solve 4*r - 4 = -u*k, -56 + 60 = -4*r - 2*k for r.
-3
Suppose 2*y - 2 = 4. Suppose -x + y*p = 16, -5*x + 2*x = -3*p + 36. Let q(u) = u**2 + 8*u - 11. Let i be q(x). Solve 2*b - i = l, -b - l + 1 = 2*b for b.
2
Let g = 273 + -269. Suppose -3*t + g*t = -3*t. Solve -5*k = -0*k + 5*w, t = -5*k - 4*w + 5 for k.
5
Let b = 121 - 114. Suppose 5*f = b*f. Let l(c) = -c**3 - c**2 + 4*c + 6. Let y be l(-2). Solve f = -z + 3*n - 3, -4*z - 2*n = y*n - 20 for z.
3
Let d = -2326 - -2328. Solve d*z - 36 + 24 = -2*l, 2*l - 2*z = -4 for l.
2
Let h(v) = -11*v + 22. Let p be ((-6)/(-27)*-6)/(6/(-9)). Let k be h(p). Suppose -75 = -4*d + d. Solve 5*i - 4*z - 45 = k, 0*z = i - 4*z - d for i.
5
Let w = -17692 - -17694. Solve 5*b - 5*h + 16 = -9*h, 2*b + 10 = w*h for b.
-4
Suppose 5*k - 2*x - 3 - 7 = 0, 2*k - 4 = x. Suppose -2*m = k*m - 20, -r + 27 = -3*m. Suppose 47*j - r*j = 20. Solve 4*t = -h + 2*h - 16, t + j = -4*h for t.
-4
Suppose 0 = -98*n + 103*n - 25. Solve -3*m + n*m - 3*w = -16, 5*w = -2*m for m.
-5
Let c be 16/3 - 2/(-3). Let x(v) = 25*v + 114. Let l be x(-4). Suppose l = c*u + u. Solve -3*b - 5*o + 14 = -u*b, b - o + 4 = 0 for b.
-1
Let j(i) be the first derivative of -2*i**3/3 - 5*i**2 + 3*i + 2. Suppose 2*m = -14*m - 177 + 97. Let v be j(m). Solve 0*o + 2*o = -3*t - 7, -2*t = o + v for t.
1
Let k be 6 - (24 - 15) - -8. Suppose 5*o = -3*b + 127, -2*b - 32 = 2*o - 86. Solve -3*r - 3*d - o = -k*r, 5*r + 3*d = 5 for r.
4
Let q(d) = -d + 0*d + 25*d**3 + 9 - 9*d**2 - 24*d**3. Let h be q(9). Let s be (6 - -5) + -1 - 7. Solve k + 8 = s*t, -3*k + h*k = 6 for t.
2
Suppose v + 2*j = 7*j - 34, 10 = 5*j. Let o = -9 - v. Solve -2*l = -10, o = 3*i + l + 2*l for i.
0
Suppose 0 = -t + 2*z + z - 12, 2*t - z + 4 = 0. Suppose -d + 6*d - 10 = t. Let f be 3 - 4 - (-1)/d*6. Solve 3*y = 5*g - 22, -4*y + 0*g + 14 = f*g for y.
1
Let n(u) = 2*u. Let m be n(1). Let z(w) = -1559*w + 31184. Let r be z(20). Let k be (4 - 2)/(-4)*-4. Solve r*j - 22 = -4*b + m, k*j = b for b.
4
Suppose 4*y - 5*y = -4. Let b be 2 + 1 + (10 - 21). Let h be 0*(56/(-21))/b. Solve 2*x + h = -5*z + 28, -3*z = -y*x + 4 for z.
4
Suppose 31*z - 4*p - 48 = 23*z, 2*z - 14 = 2*p. Solve -4*a + 25 = 5*i, 116*i - 15 = 113*i - z*a for i.
5
Suppose r = 15 - 16. Let s be (-36)/(-5 + 2) - 3/r. Let x(o) = -2*o**3 - 26*o**2 + 5. Let h be x(-13). Solve -5*p - 3*t = s, 2*p + 25 = 3*p - h*t for p.
0
Suppose -47*i - 27 = -50*i. Solve -5*b - 41 = -3*z - i, 5*z + 5*b = 0 for z.
4
Suppose -20*b + 2*c = -15*b - 52, 2*c = -b + 20. Let k(a) = -7*a**2 + 85*a - 10. Let y be k(b). Solve 0 = -4*s - m + 20, -2*m = -y*s + 1 + 9 for s.
5
Suppose 0 = -5*s, -4*v + 24 = -0*v - 2*s. Suppose v*g = 5 - 11. Let o be (g - 3) + (18 - -6). Solve -5*a = 7*i - 3*i - 5, -o = -3*a + i for a.
5
Let m be ((-8)/(-6))/((-46)/(-621)). Let t(l) = 3*l - 50. Let h be t(m). Suppose 0 = -5*s + 10 + 10. Solve s*q - 20 = -5*f, h*q - 20 = 4*f - 2*f for q.
5
Let u be (0 + 3)/3*(-237)/(-3). Suppose -9*p = -u + 7. Solve -v - 23 = 5*s, 2*v - 5*s - p = -2*v for v.
-3
Let j = -8534 + 8539. Solve j*f - 10*f + 24 = 3*a, 0 = -a + 5*f - 32 for a.
-2
Let p(z) = 4*z - 13. Let m be p(5). Let j = m - 3. Suppose 0 = -l + 18 + j. Solve v + 2*g - 2 = 5*v, -l = -v - 4*g for v.
2
Let u(l) = 4*l**2 - 4*l + 1. Let s be u(3). Let d = s - 97. Let m = -70 - d. Solve 4*k - 5*x = m*k + 5, -2*k - 3*x = 3 for k.
0
Let w be (-8)/32 - 147/(-28). Solve -2*t - 10 = x, x - 5 - w = 3*t for x.
-2
Suppose b = 6*b - 10. Let m be 2*(-3)/6 - (-7 + 3). Suppose 6*a - 16 = m*a - 4*n, 3*n = 3. Solve 4*f = -2*u - b*u, -a*f + u - 20 = 0 for f.
-4
Let l(z) = z**2 - 61*z + 283. Let v be l(5). Solve -c - v = 4*n, -3*c = -5 - 10 for n.
-2
Let l(d) = d**3 + 35*d**2 + 34*d + 32. Let b be l(-34). Suppose 3*w - 30 = -0*w. Suppose 0 = g + w - b. Solve 5*j = 2*z - g, -9 - 9 = -2*z + 4*j for z.
1
Let m(y) = -898*y - 2689. Let x be m(-3). Solve 4*n - 20 = -x*a, 3*n - 15 = 27*a - 31*a for n.
5
Suppose 20*j - 72 = 26*j. Let s(z) = -z - 8. Let y be s(j). Suppose 26 = 2*i + 2*v, 0*i = 3*i - y*v - 32. Solve 2*b + o + 3 = 0, 4*b = b + o - i for b.
-3
Suppose 32 = 3*d + 4*c, -2*d - 5*c + 23 = -10. Solve -5*l - 2*b = -5*b - 7, -4*l + 4*b = -d for l.
2
Suppose -4*f + 63 = -13. Suppose 0*i - i = -4*d + f, 5*i = 3*d - 10. Solve -d*k - 17 = 4*g, -16 = 2*k - 6*g + 3*g for k.
-5
Let p be 4/22 - (-50470)/110. Let i = -457 + p. Solve 3*d = -5*k + 7*d + 35, -k = d + i for k.
3
Let z = 11 + -8. Let h be -4 + z - -4 - -2. Let o be 3/(-30) + 1029/490. Solve 2*b = 2*i + o, -i + h = 4*i for b.
2
Let c = -25 + 27. Let g be (3 + -2)*(c - 4). Let h be 16/(-24) - g/3. Solve -2*z - 6 = 5*m, 3*m + 4*z - 2 = -h*m for m.
-2
Let n(d) = -22*d**2 + 398*d - 34. Let c be n(18). Solve 0 = p + 4*h + 22, -38 = 5*p + c*h - 0*h for p.
-6
Let w = 83 + 60. Let z = w - 141. Let d = -5 - -8. Solve 2*k - i + 2*i + d = 0, 0 = -k - z*i - 9 for k.
1
Suppose 126 - 1 = 25*f. Suppose 3*r = f*g - 104, -4*r + 0*r = g - 7. Solve 5*m - g = -o, 5*o + 5*m = -10 + 25 for o.
-1
Suppose 181*q - 225 - 318 = 0. Solve -q*z + 2*u + 7 = 0, -3*z - 3*u - 19 = z for z.
-1
Suppose 117*p - 2*y = 116*p - 14, 35 = 2*p + 5*y. Let m be (1 - -4)*(-40)/(-25). Suppose m = h + h. Solve 13 - 1 = -3*u + 3*j, 5*u + h*j + 29 = p for u.
-5
Suppose 29 = -5*o - 356. Let b = o + 82. Suppose 0 = 2*v - 8, -2 = -b*q - 2*v + 21. Solve -6 = 4*k - 3*r - 0, 6 = 4*k + q*r for k.
0
Let c(v) = v**3 + 3*v**2 + 11*v + 18. Let k be c(-2). Solve k = 5*p + 5*x + 5, -15*x = -4*p - 10*x - 4 for p.
-1
Let s be 1 + 444/10 - 414/1035. Let r be (-10)/s - 20/(-90). Solve -4*p = i + 20, r = 3*i + 2*i - 3*p + 8 for i.
-4
Let f = 3138 + -3133. Solve -37 = -3*q - f*j, -2*q + 27 = 4*j - 1 for q.
4
Suppose 9*o - 34 - 11 = 0. Let p be (3/(-4))/((-5)/180). Let r = p - 18. Solve -o*c = -0*c - 2*y - 19, -3*y - r = -c for c.
3
Let q be (1 - 340/(-9)) + (-4)/(-18). Suppose -14*d + q + 17 = 0. Solve y = d*w + 20, 1 - 21 = -5*y for w.
-4
Let i(t) = t**3 + 5*t**2 + 6. Let m be i(-5). Suppose -l = l + m. Let c be ((-4)/l)/((-52)/12 + 5). Solve c