m = u - 6*u + 14 for m.
2
Let h = -4 + 8. Suppose -85 = -h*p + 39. Let u = 16 - 13. Solve -24 = 3*z - u*l - 0, -5*z + 2*l = p for z.
-5
Let j = 68 - 39. Suppose 0 = -j*x + 30*x - 36. Solve 3*y = 4*m - 0 - 8, 0 = 4*m + 4*y - x for m.
5
Suppose 4*k - 5*k + 4 = 0. Let i(t) = 4*t**2 + 127*t - 21. Let v be i(-32). Solve k*b = 0, 4*q + v = 3*b - 1 for q.
-3
Let p(h) = h**2 - 8*h - 22. Let s be p(12). Solve 5*c = 4*r - s, -2*r - c - 18 = -6*r for r.
4
Suppose 5*b - 5*c - 18 = 17, 5*b + c - 5 = 0. Suppose b*h + 40 = 5*d - 3*h, -4 = -2*d - 4*h. Solve u = -3*i - 9, 4*i + d = -6 for u.
0
Suppose 0 = h + 1 - 4. Let s(j) = -2*j**3 - 24*j**2 - 38*j + 23. Let u be s(-10). Solve 5*d = -h - 17, u*n = d + 4 for n.
0
Let v(b) = -8*b - 67. Let c be v(-10). Solve -4*y - 5*x = -c, 0 = y - 2*y + 5*x - 3 for y.
2
Let l = 42 + -41. Let p be ((-3)/(-9))/l - (-8)/3. Solve 4*h + u - 7 = -0*u, -2*h = -p*u + 7 for h.
1
Suppose -6*a + 2*a + 4 = -4*v, 4*v = 2*a + 6. Suppose -11 = -o + 4*r, -a*r = o + o - 9. Suppose 4*j = o*j. Solve 2*m - 4*w - w - 3 = j, 0 = -5*m - w - 6 for m.
-1
Suppose -40*v = -38*v - 8. Suppose -4 = -4*r, 3*h - v*r + 9*r - 17 = 0. Solve 5*f = -5*a + 10, a + 6 = 3*a + h*f for a.
1
Let q = 103 - 98. Solve -15 = 5*y + q*l, 29 = -5*y + l + 8 for y.
-4
Suppose w - 5*g - 24 + 5 = 0, -g = -4. Suppose -6 = -4*b - m - w, 3*m + 19 = -2*b. Let o = -6 - b. Solve o*r + 1 = f, -3*f + 5 = -2*f for r.
2
Let s be 132/77 - 2/(-7). Suppose 4*u - 9 = -m, -5*u = -3*m - 5 - 2. Let v = u + -2. Solve 0 = -4*g - 6*i + i + 25, 5*g - s*i - 23 = v for g.
5
Let m(x) = 2*x**2 + x + 10. Let a(i) = 5*i - 1. Let h be a(-2). Let w = h - -8. Let z be m(w). Solve -5 = s + b, -4*s + 0*b = 5*b + z for s.
0
Let h be -22*((-2)/7)/(12/21). Solve b - 4*r + 19 = 0, 3*b + 6*r - h = r for b.
-3
Suppose -61*w + 69*w = 72. Let f be 1 - ((-1 - -2) + -3). Suppose 2*a - 7 - f = 0. Solve 0 = -s - 3*s + 2*u - 6, -a*s + 4*u = w for s.
-1
Suppose 3*w = -w + 22*w. Solve -v - 2*x = -4, w = 3*v - 5*x - 1 - 11 for v.
4
Let i be 2/45*5*(32 - -13). Solve 4*z = 2*y - i, 4*z + 3*y = -z - 18 for z.
-3
Let v(t) = t**2 + 3*t. Let z be v(-2). Let j be ((-3 + 1)/6)/(z/24). Solve -3*q + 1 = u + 8, 5*u - 41 = j*q for u.
5
Let n = -55 + 75. Let t be 5/n + 47/4. Solve 5*v - 4*u + 35 = u, 4*v - t = -4*u for v.
-2
Suppose 5*q + 62 = 7*q. Suppose 2*r = -3*o + 5 - 4, 0 = 4*r - 5*o + q. Let w be (-4 - -3) + (-2 - r). Solve -2*m = -5*m + 5*g + 1, w = g for m.
2
Let j = -46 - -58. Solve -2*n + 5*p - p - j = 0, -n - 8 = -4*p for n.
-4
Let r be (-171)/95*(-10)/6. Solve 2*j + 31 = -r*j + 2*x, 0 = 5*j - x + 28 for j.
-5
Let x = -253 - -257. Solve -x*r + 2*a = 4*a + 6, 0 = -2*r - 4*a + 6 for r.
-3
Let g be (-7 - -3 - 4)*1/(-2). Suppose 0*r - g*r = r. Solve 4*i + 5*c - 11 = r, i + 0*c = 2*c + 6 for i.
4
Let d be -7 + 2 + 3 - -2. Suppose 5*t + 28 - 48 = 0. Solve t*m - 11 = -r - 4*r, 5*r + 5 = d for m.
4
Let u be (50/20)/((-2)/(-16)). Suppose 0 = -5*s - 5*n, n = 2*s + s - u. Solve s*v - 2*i = v - 20, -3*v = -i + 14 for v.
-4
Suppose 0 = k - 16*k + 225. Solve -3*g = -k, -2*g = -h + 3*g - 30 for h.
-5
Suppose -4*n + 5*p + 1 = 106, -4*p + 78 = -3*n. Let o = 33 + n. Let l(x) = x**3 - 4*x**2 + 6*x - 7. Let s be l(o). Solve 31 = 5*z + 6, -s*r - 11 = -3*z for r.
2
Let x(q) = -4*q - 4. Let r be x(-3). Let k(p) = -p**2 - 6*p - 9. Let h be k(-7). Let w be 42/r + 4/h. Solve -f + 0 = -2, w*t - 5*f + 5 = 0 for t.
1
Suppose -2*i - 2*c - 2 = 0, 0*c = 3*c + 9. Let b be 0 + (-99)/(-7) + i/(-14). Solve -2*l = 5*k - 19, -2*l + b - 4 = 2*k for l.
2
Let g be (2 - 2)*1/(-2). Let f = g + 3. Let b be (-18)/(-6) + -5 - (-5 + 1). Solve -26 = 2*z - 5*y, -b*z + f*y + 0*y = 18 for z.
-3
Let f be ((-6)/5)/(2/(-5)). Let o(s) = -5 - s - s**f - 6*s**2 - 3*s**2 - 4*s**2 + 2*s**2. Let m be o(-11). Solve -8 = 4*b - 4*p, 4*b - m*b - 5*p = -31 for b.
3
Let p(n) = n**2 - 4*n - 27. Let i(z) = 4*z**2 - 16*z + 8. Let b be i(4). Let m be p(b). Solve -4*s = 2*o - 26, -s - o = -m*o + 16 for s.
4
Let m = 311 - 137. Let o = 174 - m. Suppose 4*k + 25 = 5*b, -2 = 2*b + 2*k - 6*k. Solve -3*n - b = o, 5*r - 4*n + n + 6 = 0 for r.
-3
Suppose 5*f - 7*f = -2*i - 4, -3*i + f - 2 = 0. Solve 4 = 2*j - i, c + 1 = 3*j for c.
5
Suppose -3*q + 4*a + 4 = -6*q, 3*q - 4*a = 28. Let f be (23/q - 5)*12. Solve -4*c - 25 = 5*y, -2*c - y + 4 = f for c.
0
Let y = -27 - 41. Let k = -65 - y. Solve -5*m - 5 = -n, -n + k*n = -3*m - 16 for m.
-2
Let l be ((-1)/(-2))/(1/4). Let y(x) = -2*x**3 - 2*x**3 + x**l + 5*x**2 + 3*x**3 + 2. Let k be y(6). Solve -3*m - 8 = 2*m + 2*j, -k*m + 5*j = -20 for m.
0
Suppose -13*c = -16 - 101. Solve -m + 5*m - 5*q + c = 0, 32 = 3*m + 4*q for m.
4
Let o be 1 + -3 + (-1 - 20/(-5)). Solve 2*s + 1 = 3*u, -s - o = 2*u - 2*s for u.
-3
Suppose -a = -52 + 41. Suppose -a*l + 74 = -25. Solve 5*j - 2*i = 5, 7*j - 3*j + i + l = 0 for j.
-1
Suppose -4*y - 3*x = -0*y - 1, -3*y = 4*x + 8. Suppose y*a = -a + 15. Suppose 12 = m - 5*d + d, d = -a. Solve 10 = -3*i - m*s - s, -2*i + 3*s - 3 = 0 for i.
-3
Let k = 81 + -45. Suppose -k*z + 55 = -31*z. Solve -t = -2*u + 2*t + z, -4*u + 12 = 4*t for u.
4
Suppose -2*m + 68 = 2*m. Suppose -4*h = 0, 2*g - 15 = -3*g - 3*h. Solve g*o + 2*n + m = 0, -2*o + 6*n = n - 14 for o.
-3
Suppose 6*p - p - 15 = 0. Let b be (4 + 0)*(-16 - -19). Let x = b - 5. Solve 4*q = 2*r + 3*r + x, r - p*q - 3 = 0 for r.
-3
Let x(b) = -6*b - 9. Let n be x(-3). Suppose 9 = 3*i - n. Solve -i*s = -s, 2*p - s - 6 = 0 for p.
3
Let q be (-412)/(-34) + -9 - 4/34. Solve 2*o - b = 5*o + q, 2*b + 4 = -4*o for o.
-1
Let k = 41 - 37. Suppose 5*q = -5*r, -r - k*q - 2 = 2*r. Solve 5*l - r*h = 4, 0 = 3*l + 2*h - 7 - 5 for l.
2
Let v be -2 - (4 + -3 - 0). Let g(x) = -2*x - 1. Let f be g(v). Solve 2*t = c + 3, t - c = f*t - 3 for t.
1
Let l(f) = f**2 + 5*f - 79. Let v be l(7). Solve 2*z - 1 = y - z, v*z = -5 for y.
-4
Let g be (-31)/(-2) - 1/(-2). Let a be (-16 - -18)*(-1 + -1 + 3). Solve -7 = 4*m + 2*k + 17, -a*k = -4*m - g for m.
-5
Let c(o) = -o**3 - 5*o**2 - 8*o - 13. Let u be c(-4). Suppose -3*k + 4*h = -5, 5*k + 10 - 28 = -u*h. Solve 5*y + 2*p + 0*p = -9, -2*p = k*y + 7 for y.
-1
Let f(s) = -s - 17. Let r be f(-11). Let u(i) = i**2 + 5*i - 4. Let j be u(r). Let k be 98/8 - (-4)/(-16). Solve j*l = 4*l + 3*z + 8, 4*l = -4*z - k for l.
-1
Let d(q) = 7*q - 17. Suppose 22 = 5*a - 3. Let r(x) = 6*x - 16. Let y(h) = a*d(h) - 6*r(h). Let j be y(6). Solve 4*o = -3*i + 1 + 13, -20 = -5*o - j*i for o.
2
Let x be 9*(-1 + 4 + -1). Let k(j) = -j**3 - 5*j**2 + 4. Let b be k(-5). Solve 3*m = -b*h - 2 + x, -4*h = m - 16 for h.
4
Let k(p) = 0*p**2 + 5*p**2 + 12 - 4*p**2 - 14*p. Let b be k(13). Let u be b/(-2)*-2*-5. Solve 3*v = 4*v + u*z + 14, -4*z = 12 for v.
1
Let d(a) = a**3 - 10*a**2 + 11*a - 8. Let s be d(10). Let q = s + -97. Solve -q*w + 25 = 0, o - 2 = -w - 0 for o.
-3
Let v = 17 + 3. Solve 4*t - v = -s, -3*t + 32 = s + 4*s for s.
4
Suppose -2*s - 3*s + 10 = 0. Suppose 5 = t, -8 = -4*p - s*t + 2. Solve p*m - 3*c = -3*m - 9, 3*m - c + 13 = 0 for m.
-5
Let x(f) be the first derivative of -f**2 - 22*f + 7. Let l be x(-12). Suppose 0*c - 8 = -l*c. Solve g = c*o + 25, 2*o - 13 = -4*g - 3 for g.
5
Let b = -12 + 14. Let c be -3 + (-13 - -1)/4. Let n be (b/3)/(c/(-45)). Solve 0*y - 4*u + 1 = n*y, -4*y = 5*u + 1 for y.
1
Let a(l) = 9*l - 5. Let w be a(1). Solve -3*o + 3 = -0*c - 3*c, -w*c - o + 21 = 0 for c.
4
Let p(z) = z**2 - z - 4. Let f be p(3). Suppose -7 = -f*b - 1. Suppose 18 + 34 = 13*j. Solve 3*a + 4*x = -j + 5, -b*a = -2*x + 5 for a.
-1
Let f be -6 - ((3 - 4) + 1). Let z be (-3)/9 - f/18. Suppose 3*u - 4*a - 66 = z, -5*u + u + 57 = 5*a. Solve -4*v - 20 = -3*d - 1, 2*v = -4*d + u for d.
5
Let b(h) = -39*h - 114. Let k be b(-3). Solve 3*v = k*d, -3*v = -5*v - 6 for d.
-3
Let v = -262 + 267. Solve -15 = 5*p + 4*m, -v*p - 5 = 3*m - m for p.
1
Let y(k) = k**3 + 4*k**2 + 3*k. Let o be y(-3). Suppose o = -2*q - 5*m + 24, -3*m + 16 = 4. Solve 0 = q*z + 5*x - 28, 0 = -3*z + 5*x - 7 - 1 for z.
4
Let a = 238 + -233. Solve k + 4*o = -5, o = a*k - 2*k - 11 for k.
3
Let j be ((-24)/3)/(-4) + 1 + -65. Let s = j + 69. Solve z - t + s = 3*z, 3*z = -5*t + 14 for z.
3
Let v be 1*3/(6/8). Suppose 2*z - 5*o + 3 = 8, z - v*o - 1 = 0. Solve 5*c - 22 = -z*h + 8, -3*c = 4*h - 22 for c.
2
Let n = 97 + -96. Let d be (n - (-12)