r l.
1
Let q be (-2 + 1)*(-4)/(20/25). Let h = 6 - 2. Suppose d = -h + 9. Solve d*r - 20 = -2*k - k, -k = -q*r + 20 for k.
0
Suppose 0 - 6 = -3*i. Suppose -142 + i = -4*f. Solve 0*r + 4*h - 22 = -r, -5*r - 5*h = -f for r.
2
Let o(b) = -b - 1. Let i be o(-2). Solve 0 = -2*x + 3 + i, -24 = -5*s - 2*x for s.
4
Let i(z) = -z**3 - 25*z**2 + 121*z + 150. Let o be i(-29). Let w be 1/(3 - 2)*-2. Let m be 1 - w/((-2)/(-9)). Solve 3*b = -n + 2*b - 1, 0 = o*b - m for n.
-3
Suppose -m = 15 - 18. Solve -18 = -4*u + o + o, -m*o + 9 = 3*u for u.
4
Let q(y) = y**3 - 15*y**2 - 33*y - 12. Let a be q(17). Suppose 4*v - 11 = 33. Solve a*g = -4*k + 1, -4*k + 14 + v = -3*g for k.
4
Let a = 34 + -32. Suppose -6*i + 32 = a*i. Solve -4*v - 3*j = 4, i*v - j + 2 = -2 for v.
-1
Let m(g) = -3*g - 26. Let k be m(-12). Suppose -22 = -4*f - k. Solve 0 = -h + f, 2*h = d - h + 12 for d.
-3
Suppose 4*l + 4*s = 13 + 11, l + 2*s = 8. Solve -l*k + 7 = y, 10*y - 2*k = 6*y - 26 for y.
-5
Suppose -5*k + 29 = -3*m, -20 = -5*k + m + 3. Let q = -16 - -22. Let o = -1 + q. Solve 7*r + 6 = k*r - 5*x, -21 = -o*r + 2*x for r.
3
Let h(b) = 2*b + 24. Let a be h(-11). Suppose 5 = 5*i + x, 8*x + 21 = -a*i + 3*x. Solve -2*u = -2 - i, -3*u - 19 = -5*l for l.
5
Suppose -3257 + 3221 = -12*j. Solve 4*f - 8 = j*d + 12, 0 = -2*f + 10 for d.
0
Let q(b) = -b**3 + 3*b**2 - 2*b. Let n be q(2). Suppose n = 2*j + 2*j. Let m be 3/(j - 3/(-2)). Solve -g - 1 = 2*s, 4*g + 0*s = m*s + 16 for g.
3
Let s = -30 + 30. Suppose -3*i + 4*i - 4 = s. Solve 6 = y - w, -y - i*y = 3*w + 10 for y.
1
Let o(i) = -8*i**2 - 2*i - 1. Let b be o(-1). Let s = b + 7. Let n = 182 - 180. Solve s = -3*z + 2*k - 8, 8 = -3*z + 4*k - n for z.
-2
Suppose 0 = -20*b + 15*b + 120. Suppose 3*f - b = -9. Solve -4*w + 2 = f*v - 8, 4*v = 2*w + 8 for v.
2
Let p = 8 + -17. Let z(o) = 2*o**2 - o + 1. Let j be z(-2). Let v = p + j. Solve 3*f = -v*l + 7, -2*f - 25 = 5*l - 3*f for l.
-4
Suppose -8*r + 10*r = 248. Suppose 19*h - r = 104. Solve -4*o - 20 = -5*k, -o + h = 3*k - 2*o for k.
4
Suppose 2*z + 1344*u + 6 = 1342*u, z + 4*u = -21. Suppose 0 = 5*t + 2*b - 88, 5*b + 67 = 4*t + 23. Solve -g - t = -5*k, -z*g + 4*k - 17 = 2*g for g.
-1
Let w = 38 - 68. Let f be 14/4 - w/20. Solve -2*p + 0*p = 5*u + 10, 0 = -f*u - 4*p for u.
-4
Suppose 2*a + 16 = 9*i - 5*i, 0 = -4*i - 3*a - 4. Solve -2*d = 2*o - 8, i*o + 2*d = -2*d + 18 for o.
-1
Suppose 4*h = 0, k - 3*h = 6*k - 10. Solve 2*u - 8 = -5*w, 5*u - k*u - 2*w = 12 for u.
4
Let d(a) = -a**2 + 4*a + 9. Suppose 12*l - 15 = 7*l. Suppose 0 = -3*v - 5*j + 7, j + 0*j = -v + l. Let u be d(v). Solve 5*k + 5 = -5*x, k + u = 2*x - x for x.
4
Suppose -r + 3*r - 10 = 0. Suppose 7 = 2*u + 5*g - 19, -r*g + 35 = 5*u. Suppose 140 = -2*s + 9*s. Solve -u*k = 4*x + s, -x - k + 4 = 9 for x.
-5
Let t(g) = -g - 1. Let m be t(-3). Let d = -5 - -8. Let r(o) = 16*o - 222. Let i be r(14). Solve -i*u + 10 = 0, -41 = 4*w - d*u - m*u for w.
-4
Let s = 9 - 3. Let a = s - 3. Let z = 2 + a. Solve -35 = -5*x + z*o, -3*x + x + 5*o + 23 = 0 for x.
4
Suppose 5*g - 12 = 2*g. Let f(l) = -4*l**2 - 2*l + 3. Let q be f(-3). Let k = q + 55. Solve -3 + k = -i - g*s, 0 = 3*i - 3*s for i.
-5
Let s = 69 + -71. Let g be s/(-4) + (-6 - 78/(-12)). Solve -m + 2*k + 7 = -0*k, -k + g = 4*m for m.
1
Let f = -63 - -32. Let k = 31 + f. Solve -o + d - 3 = k, -2*o = 3*o - d - 5 for o.
2
Suppose -95 = -4*u - 5*m, 0 = 11*m - 13*m - 2. Solve -3*f + 5*p + 7 + 6 = 0, u = -5*f - p for f.
-4
Suppose -14 = -4*n - 2*z - 8, -2*n - 1 = 5*z. Solve y = n*v + 3*v - 4, -v - 4 = y for y.
-4
Let y = -1317 - -1317. Solve y*s + 4*s - 16 = 3*o, 2*s - 3*o = 14 for s.
1
Let m(q) = -q**3 + 9*q**2 - 9*q + 10. Let j be m(8). Suppose v = l + 3, 3*v + j*l + 3 = 7. Solve v*i + i = -5*g - 13, -16 = -4*i for g.
-5
Let a be (15*(-4 + 3))/(-1). Let y = 22 - a. Let p be y + 3 + 20/(-4). Solve 5*o - p = 0, 2*l - 4*o + 11 = o for l.
-3
Let t be 14/7 + 24/(-3). Let k(i) = -i - 2. Let r be k(t). Solve -2*h - h = 4*z + 12, -3*z + r = -h for h.
-4
Let i(q) be the first derivative of q**3/3 - 2*q**2 - 4. Let v be i(4). Solve -g - 19 + 5 = -5*z, v = -3*z + 6 for g.
-4
Suppose -3 = k, -2*k + 0*k = 3*h. Let y be 320/(-240) - 1/((-6)/32). Solve -v + y = a + h*v, -5*v = -3*a + 12 for a.
4
Suppose 5*z = 3*z + 8. Suppose -p - z = 5*x, -4*x + 5*p + 20 = -x. Suppose x = 5*w - 4*w - 23. Solve -w + 2 = -5*i - 2*q, -5*i + 35 = -5*q for i.
5
Let q = -9 - -15. Suppose -q*o + 15 = -o. Suppose 3*t = 4*f - 11, 4*f + o*t = -0*t + 5. Solve i = -0*i - 4*p - 1, -27 = 5*i - f*p for i.
-5
Let g = -16 + 31. Let a = g - 15. Let v be 2 + (a/2)/(-3). Solve 2*x + 4*k = -2*x, v = 4*x + 5*k for x.
-2
Let m = 70 - 80. Let w be 25/m*(-24)/15. Solve -5*q = -q + 16, -2*q = 2*p + w for p.
2
Let q be (-2)/(-19) + (-280)/133. Let k be q/(-15) + (-18)/135. Solve -2*n - 4*b + 2 = k, -4*b + 11 = 2*n + 3*n for n.
3
Suppose -2*q + 2*v + 3*v + 28 = 0, q + 8 = -3*v. Suppose q*l + 5*r - r - 24 = 0, 24 = 5*l - r. Solve 0 = l*h - 20, -2*h + 6*h = -2*b + 12 for b.
-2
Let h(q) = 4*q**2 + 205*q + 56. Let n be h(-51). Let f be 8/(-5) + 2/(-5). Let o = f + 6. Solve o*j - n*p - 3 = -12, 4*j + 5*p - 1 = 0 for j.
-1
Suppose -3*k - 4*p + 1 = -5, -p + 4 = 2*k. Suppose -k*i = -0*i. Let n = 5 + i. Solve -4*f = 2*x - 18, -11 = -n*x - f - 2 for x.
1
Let z be 210/(-35) + (-22)/(-2). Solve 0 = -3*r + 12, 0 = z*f - 4*r + 10 + 11 for f.
-1
Let o(f) = -f**2 + 12*f - 19. Let x be o(8). Suppose -20 - x = 3*u. Let h = -10 - u. Solve 6 = -3*w, -q - w + 2 = h for q.
3
Let z = 1687 + -1682. Solve 15 = t - z*q, 9 = t - 2*q + 3 for t.
0
Let k(b) = -b**3 + 11*b**2 + b - 10. Let z be k(11). Suppose -3*u = 3*v + 6, 4*v + z + 19 = 2*u. Solve -1 = -5*y + u*f + 2, -5*f = -5*y + 15 for y.
-1
Suppose 7 = 3*x - y - 7, -x = -4*y - 23. Let m be (-1)/x + (-200)/(-15) + -1. Solve 3*r - 3*w + m = 0, -4*r + 0*w - 16 = -3*w for r.
-4
Suppose 17*w + 11*w = -11*w + 78. Suppose 0 = z - 3*l + 7, -5*z + l + 1 = -6. Solve -6*a - 22 = -a - 4*h, -2*h = w*a - z for a.
-2
Let a(r) = -4*r - 3. Let v be a(-2). Suppose 9*d - 20 = v*d. Solve 5 = d*h, -h = 2*c + c - 16 for c.
5
Let a = 0 - 2. Let d be (-4)/a + (-4 - 2/(-1)). Solve y = c + 3, -3*y + 16 - 1 = d for c.
2
Let b(w) = 3*w**2 - 4*w + 2. Let p be b(2). Let m = 5 - 3. Suppose 0 = 3*z - m*i - p, -4*i - 6 = -4*z + 2. Solve z*u - c + 0 = 4, 0 = -5*u - 3*c + 21 for u.
3
Let v = 126 - 129. Let n be (3/v - 4) + 10. Solve 0 = -s - n*c - 15, -4*c - c + 10 = -4*s for s.
-5
Let h(o) = 6*o. Let w be h(1). Solve 0 = -3*x - 4*t - w, -x - 6*t - 2 = -4*t for x.
-2
Let w be (-32)/(-80) + (-237)/5. Let n = -42 - w. Solve -x + 1 = f, -2*x + f + 4 = n*f for x.
0
Suppose 0 = 3*v + 3*k - 33, -5*k = -2*v - 2*k + 42. Solve l - 2*l - 2*f + v = 0, 5*f - 45 = -4*l for l.
5
Let q(t) = -t**3 + 6*t**2 - t - 2. Let u be q(5). Suppose 12 = -6*l + u. Solve -2*b - 2*o = -3*o - l, 2*b = -4*o + 16 for b.
2
Suppose -18 = -13*c + 8. Suppose -c*k + 1 = j - 2, 5*j = 3*k - 24. Solve -3*a = -5*i + 6 + 7, k*a - 5 = -4*i for a.
-1
Let t be ((-3)/10)/3*-50. Solve -3*h = -t*r - 20, 2*h = 2*r + 3 + 5 for r.
-4
Suppose q - 4*q + 5*h + 12 = 0, 4*q - 16 = -h. Suppose 2*m - 9 + 1 = -4*o, -q*m = -o + 2. Solve 0 = -4*k - 5*u + 25, -k + o*u = -2*u + 20 for k.
0
Let q be (3 - 11/4) + (-71)/(-4). Let d(s) = -s**3 + 19*s**2 - 17*s - 18. Let h be d(q). Solve -2*p - 2 = 0, -f - 2*p = -h*f for f.
2
Let k be 2 + 35/(-15) - (-21)/9. Solve 5*m = 4*w - 17, m + 0*m = k*w - 1 for w.
-2
Let j(v) = v + 4. Let k be j(-4). Suppose k = w - 0*w. Solve 5*x + r - 4*r + 32 = w, 5*r = -5*x for x.
-4
Let l be (-95)/38*(-16)/10. Let t = 2 - -1. Suppose -3*c - 22 = -5*o, -3*o - 3 = -t*c - 15. Solve -o*y - r + 17 = 0, l*r + 2 = 2*y + 2*r for y.
3
Suppose -4*l - 5*q = -22, l + 4*q - 17 = -2*l. Let m be 1/l + 11/3. Suppose -11 = a - 3*v, 5*v - 23 = -2*a - 1. Solve s + 2 = -2*u + a, -m*s + 16 = -2*u for s.
3
Let j = 120 + -114. Solve 2*n = 5*z - 17, -4*n - j*z - 1 = -5*z for n.
-1
Let s be 1/(2/(-1 - -13)). Suppose f - s = -4. Suppose z = 3*k - 16, -3*k - k + 3*z = -23. Solve 0 = 5*t + 3*b - 16, -k*t + 2*b = -2*b - f for t.
2
Let g be (-1)/2*(-10 - -4). Solve -3*y = -2*q + 4, -g*y + 31 = 4*q + q for q.
5
Let w = -1442 + 1451. Solve 4*x + 18 = -2*m, 2*x + w = -x for m.
-3
Let r = -882 + 890. Solve b - 13 = -4*s + r*s, 0 = s + 