r u.
2
Let p = -7 - -4. Suppose 2*v + 3 = -4*f + 13, 5*f = -4*v + 20. Let m = p + v. Solve 3*i + 5*d = i + 5, -3*i = -m*d - 17 for i.
5
Let v(m) = 4*m - 37. Let c be v(11). Solve 2*l + 4*s = 20, -2*s = -c*l + 2*l + 14 for l.
4
Suppose 0 = 3*z - 51 + 9. Suppose -a + z = 3*w, 0*w + 5*a + 15 = 2*w. Solve -2*i + 2 = w*v, 3*v - i - 14 = i for v.
2
Suppose -2*w = 3*g - 49, 0 = 3*w - 5*g + g - 48. Solve 0 = 5*m, m + w = -4*u + 6*m for u.
-5
Let p be (2/5)/((-4)/(-40)). Suppose p*o = -0*o + 20. Let v(m) = -m**2 - 8*m - 9. Let i be v(-6). Solve o = -2*u - i, -c = -u for c.
-4
Let f(c) = c - 5. Let h be f(7). Solve -5*n - j - 9 = 0, -5*j = 18 + h for n.
-1
Let w be 108/(-8)*(3 - 5). Let m be (-1)/(w/(-6) - -4). Solve -4*t + 4*l + 8 = 0, -2 = 3*t - m*l - 4 for t.
-2
Suppose -10*m - 3 + 13 = 0. Let n = 177 - 105. Let j = n + -43. Solve -f - 5*p + m = -j, -2*f = -2*p for f.
5
Let b = 36 - 26. Let q = 4 + -4. Solve 2*h - b = -o, 1 = o - q*o - h for o.
4
Let l be (-12)/10*(-70)/28. Solve -g + 3*o = 6, g + l*o = -3*g - 9 for g.
-3
Suppose -3*a = a. Solve 2*v = 5*r + 14, -4*v + 2*v - 6 = a for r.
-4
Suppose 0 = 4*f - 1 - 15. Suppose 4*g = -f + 20. Solve -5 = -3*v + 5*v + 5*b, -4*v + g*b = -32 for v.
5
Let i be 7/(-2) + (-2)/(-4). Let a(d) = d + 7. Let g be a(i). Solve 4*f - g*b = b + 3, 5*f - 11 = -b for f.
2
Let t = -151 - -156. Solve -3*l + 8 = 5*y - 1, 4*l = t*y - 23 for y.
3
Suppose 5 = 3*m - 1. Suppose 0 = -4*x - m*w + 70 - 2, 5*x - w = 92. Solve -n + 2*p + 5 = -2, -2*p = 4*n - x for n.
5
Let f = -47 - -72. Solve -3*k = -a + 13, -4 = -5*k + 2*a - f for k.
-5
Suppose 5*q + 4 = n, -5*n - 2*q + 23 - 3 = 0. Solve -5*y - 25 = -n*w - 0*y, 2*w - 3*y = 13 for w.
5
Let r(m) = 16*m**2 + 91*m + 50. Let l(y) = -3*y**2 - 18*y - 10. Let d(x) = 11*l(x) + 2*r(x). Let q be d(-15). Solve 4*v + 3 = z + 6, -2*z + 20 = q*v for z.
5
Let p be (-2)/(1*-1*1). Suppose -28*c = -518 - 210. Solve -4*w + 24 = -p*d, 4*d - d - 4*w + c = 0 for d.
-2
Suppose 0 = 3*l + 2 + 4, -5*l + 35 = 5*h. Let a be -1 + h - (-2 - -2). Let y be a*(1 - (-6)/4). Solve -2*m - 3*r = 6, 0 = 4*m - 2*r + y - 8 for m.
-3
Let f = -5 - -10. Suppose f*n - 33 = 4*s - 8*s, -3*s = -3*n + 9. Solve -n*t = p + 10, -t - p = -4*t - 14 for t.
-3
Let z = 133 + -131. Solve -2*f = -2*n + 4*n - 2, -3*f - z*n = 1 for f.
-3
Let c(l) = -l + 28. Let m be c(13). Solve 3*f + 15 = -3*k, 6*k + m = -5*f + 3*k for f.
0
Let n = -14 + 16. Let w(g) = g**2 - 2*g - 3. Let v be w(-2). Suppose -6 = 3*s - v*s. Solve -n*i + p = -2 - s, i + 3*p = -8 for i.
1
Let r be -5 + 4 + -2 + 2 + 3. Solve r*q = -2*g + 8, 0 = -q + 3*g - 2*g - 2 for q.
1
Let a be 44/8 - 2/(-4). Suppose -a*c = -4*c - 6. Suppose -c = 2*u + 1, -f = u. Solve f*d - 4 = 0, 0*h - 5*h - 3*d + 26 = 0 for h.
4
Suppose -5 = m + 3. Let r = m - -13. Suppose r*w = 2*w + 12. Solve s - 2 = 2*c + 3*c, c + 13 = -w*s for s.
-3
Let b = 7 - 4. Let j(c) = 2*c - 4. Let s be j(b). Solve 4*q - 3*a - 1 + 7 = 0, -4*a - 14 = s*q for q.
-3
Let y = -15 + 17. Let b be 1/2*3*y. Solve -10 = -5*h - 2*w + 7*w, -b*h - 3*w + 12 = 0 for h.
3
Suppose -4 = -5*p - 4*m + 34, -3*m = -p. Suppose p*b - 8*b = 0. Solve b = 3*d - 4 - 8, 4*g = 3*d for g.
3
Let i = -8 + 15. Let c be (-2)/i - 216/(-21). Let x(l) = l**2 + 5*l + 6. Let n be x(-4). Solve 13 = -2*s + n*w + 3*w, -4*w + c = -2*s for s.
1
Let g = -1 + 1. Suppose g*u = -5*u. Suppose 0 = -2*z - 5*t - 10, u = -4*z + t + 24 - 0. Solve -2*v - 4*w + 0*w - 24 = 0, z*v - 5 = 3*w for v.
-2
Let b(g) = g**3 + 4*g**2 + 2*g - 1. Let y be b(-3). Suppose -32 = -4*u + 16. Let c be (-4)/u - 10/(-3). Solve y*p = 3*s - 4 - 6, -5*p - 7 = -c*s for s.
4
Suppose 0 = -h - h. Solve 5*r + 5*l - 40 = h, -r = -3*l + 2 + 2 for r.
5
Let v be 4/(-20) + (-1)/(-5). Suppose 0 = 4*x - v*x - 120. Solve 5*s = -d - x, -2*s + 6*s + 4*d = -40 for s.
-5
Suppose -2*t = 2*t - 8. Solve g - 2*s + 25 = -4*g, -t*g + 2*s = 10 for g.
-5
Let w be (-6)/(-4)*(-48)/(-12). Let c = -3 + w. Solve -12 = -0*y + c*y, -3*t = -5*y - 5 for t.
-5
Suppose -5*d = 4*n + 5, 6 - 4 = 2*n - 2*d. Suppose -k = -n*k. Solve -4*c = 4*o - c + 2, k = 4*o + 4*c for o.
-2
Suppose -2*h + 39 = -37. Let i = -26 + h. Let t be i/10*160/6. Solve 4*r = 4*x + t, 2*x + 30 = -x + 5*r for x.
-5
Let h be -1 + 1 + 19 + (-48)/12. Solve -3*m - h = x - 0*m, -4*x - m - 16 = 0 for x.
-3
Let c(m) = m - 8. Let b be c(12). Suppose 0 = -b*k - k + 15. Solve k*x = 2*v - 13, v + 2*x - 18 = -3*v for v.
5
Let o(m) = m**3 - 5*m**2 + 5*m - 4. Let a be o(4). Solve 3*n + 10 = -5*i, a = 3*n - 7*n - 20 for i.
1
Let n = -12 + 17. Let d(o) be the first derivative of o**3/3 + 7*o**2/2 + o - 8. Let t be d(-8). Solve t = -n*j - 3*q - 19, -2*j = 5*q + 15 for j.
-5
Let n = -34 - -34. Solve j + q - 6 = 0, -2*j = -n*j + 5*q - 21 for j.
3
Suppose 50 = f + 4*f. Solve -3*r - 3*k + 5*k - f = 0, -2*r = -5*k + 3 for r.
-4
Let a = -11 + 42. Suppose x = 2*b + 10 - 3, -2*x - 31 = 5*b. Let m = a + x. Solve 2*j = 5*t + 22, 5 = -3*j + 5*t + m for j.
1
Let a(z) = z**2 + 2*z + 7. Let u be a(0). Solve 4*t + u = 5*d - 6, 0 = 2*t + 5*d - 1 for t.
-2
Let t = -19 - -29. Let j = t + -7. Solve 0 = -v - z - 7, -j*v + 4*v + 4*z = -19 for v.
-3
Suppose -5*x = v + 7, -x - 14 = -v - 3*v. Suppose 2 = v*n - 10. Solve 0 = f - w + 2, -f = w + n*w - 4 for f.
-1
Let g(o) = -2*o - 5. Let x be g(-5). Let d = 50 - 45. Solve 4*p = x*s - 19, 0 = d*p + 5 for s.
3
Let a be 0/((40/(-24))/((-2)/(-6))). Suppose -v + 8 - 1 = 2*u, 2 = -5*u + 4*v. Suppose -2*x = o - 0*x + 6, -2*x - 10 = 0. Solve -o*y = -a*y, y - 8 = u*h for h.
-4
Let b be 50/5*-1*2. Let s = b + 38. Solve s = -2*x - 0*x - 4*h, -2 = h for x.
-5
Let b = -14 + 8. Let i be -2*((-9)/b + -2). Suppose i = -m + 6. Solve c + m*s + 9 - 30 = 0, -4*s + 20 = 4*c for c.
1
Suppose -3*n - 2*p + 2 = -5, -3*n = -3*p - 12. Solve n*j = 7*j - v + 3, 3*v + 7 = -4*j for j.
-1
Let a(x) = -x**2 - 10*x + 4. Let m be a(-10). Solve -5 = w - 2*w + r, 0 = -m*w - 3*r + 6 for w.
3
Let w = 8 + -5. Suppose s + 3*g - w - 1 = 0, -5*g = 5*s. Let h be (-117)/(-12) + s/(-8). Solve 2*a = k - 15, -4*k + h = 3*a - a for k.
5
Let u(y) = -y**2 - 4*y + 1. Let p be u(-4). Let a be p*4*(-3)/6. Let d be 1 + (-1 - a) - -1. Solve -s + d = 0, 2*n - 2*s + 2 = -0*s for n.
2
Suppose 0*m - 2*m + 34 = 0. Let l(k) = k**3 + 6*k**2 + 4*k - 2. Let o be l(-5). Suppose -o*v + 0*v = 0. Solve -s - m = 4*z, v = -2*s - 5*z - 31 + 6 for s.
-5
Suppose 4*j + 10 = 2*h + 2*j, -5*h - 4*j = -16. Solve -2*y + t = 1, -2*y - h*t - 18 = -2 for y.
-2
Suppose -20 = -4*y - 8. Suppose y*c = c + 4. Suppose o = 3*o - c. Solve 10 + 2 = 2*p + v, -3*v + o = -p for p.
5
Suppose 3 = -5*w + r, 3 = r - 0. Suppose 5*y - 11 + 1 = w. Solve -16 = -5*p - n, 5*p + n - y*n = 14 for p.
3
Suppose -3*d + 4*o + 33 + 5 = 0, -4*d = 5*o - 30. Let s(h) = -2*h - 6. Let a be s(-4). Suppose a*v + 2*v = 0. Solve 2*p - d = 0, v*b + 3*p - 15 = 3*b for b.
0
Suppose -8*h + 8 = -4*h. Suppose -25 - 7 = -4*s. Let o be (s/5)/((-10)/(-25)). Solve 4 = 4*a - o*w, 5*w + 13 = 5*a - h*a for a.
-4
Suppose 1 = -5*z - d, -d = -6*d + 20. Let f = -1 + z. Let y be 1/f*(-3 - 1). Solve -10 = -2*k - 3*k - y*h, 3*k - h = -5 for k.
0
Suppose -3*g = -4*f, g + g + 4 = 4*f. Solve 0 = -2*b + 5*c - 30, g*b - 2*c = -28 - 0 for b.
-5
Let k = -21 + 24. Solve 3*z = 4*f + 2 + 3, k*f = -6 for z.
-1
Suppose g + 44 = 5*g. Let p(a) = -a**2 + 12*a - 4. Let w be p(g). Solve 3*h = -u + 7, -4*h + 5*h - 2*u + w = 0 for h.
1
Let d(y) = y - 4. Suppose 9*w - 4*w - 35 = 0. Let m be d(w). Suppose 0 = 3*c - 0 - 12. Solve m*n = 2*n + c, -22 = -3*r - 4*n for r.
2
Let h be (27 - 2) + (-5)/(-5). Suppose 5 = -3*r + h. Solve -2*u + 4*u - 3*n = -r, -3*n + 5 = -u for u.
-2
Suppose 45 = 5*b - 5*c, 4*b + b - 4*c - 40 = 0. Suppose -b*q + 68 = 3*o, 0 = 3*q - 0*o + 2*o - 52. Solve -2*x - 5 = -3*r - 20, 4*r + q = 4*x for x.
0
Let y(i) be the first derivative of 1/2*i**2 + 8*i - 3. Let b be y(-8). Solve 5*m - 5*o = 5, -5*m - 4*o = -b*m - 14 for m.
2
Let r(b) = -b**3 - 4*b**2 - 2*b - 3. Let l be r(-4). Suppose 102 = 3*o - 2*n + 5*n, -l*o = 3*n - 176. Solve a + 11 = -3*s, -2*a = -5*s + a - o for s.
-5
Suppose 3*b = 4*l - 17, -5*b - 10 - 3 = l. Suppose 3 = l*r - 5*r. Let d(j) = 12*j**2 - j - 1. Let p be d(r). Solve -p = 3*h + 3*c, 0*c - 2 = 2*c for h.
-3
Let t(u) = 3*u - 55. Let l be t(20). Solve -5*h + 16 = -l*x + 1, 15 = 2*h - 5*x 