r l.
-1
Suppose k = 16 + 18. Let a = -28 + k. Solve 4*h = 4*g, -h = -0*g + g - a for g.
3
Let w = 15 + -14. Let d = 1 + w. Solve -5*a = -d*o - 23, 7 = a + o + 1 for a.
5
Let k(w) = -2*w - 8. Let z be k(-6). Solve -c = -q + 2*q - z, -19 = -4*q - 5*c for q.
1
Let w(q) = 3*q**3 + q - 1. Let a be w(1). Suppose l - a = -0. Solve -l*o + 11 = 2*d, -5*d + 8*o + 16 = 4*o for d.
4
Let p(l) = -8*l + 3*l + 4*l. Let y be p(-4). Solve 0 + 16 = y*u, 2 = 2*j - u for j.
3
Let b be (4 - 5)/(1/(-25)). Solve b = 5*h, -2*h = -t + 6*t - 10 for t.
0
Suppose 12 = q - 9. Solve q = 5*n + 2*u, 2*u = n + n for n.
3
Suppose 4*a = 2*t + 14, -12 = -4*a + a + 2*t. Suppose -5*h = -3*x + 138, a*h + 90 = 2*x + 2. Solve 5*n + 2*j - j + 25 = 0, 4*n + x = -5*j for n.
-4
Let i(r) = -2*r - 2. Let z be i(-1). Solve -3*v + 5*x + 24 + 1 = 0, 3*v + 4*x + 20 = z for v.
0
Let x(v) = v**3 + 5*v**2 - 8*v - 8. Let h be -4*(9/2)/3. Let b be x(h). Solve 3 = s - 2*k, 3*k = 2*s - b - 3 for s.
5
Suppose 0*u + u = 3. Let x = -1 + u. Solve -3*l + f + 7 + 8 = 0, 0 = x*l + 2*f - 10 for l.
5
Let j(w) = w - 3. Let z be j(7). Suppose 3*x = -2 - z. Let y be 0 - ((x - -1) + -5). Solve -2*i + 2 - y = 5*k, -2*k = 4*i - 8 for k.
-2
Let w be 2*(-2 - -3) + -2. Suppose -5*l + 2 = 2*y, w = y + 4*l - 1 - 0. Solve 2*d = -5*o + 10, y = o - 2*d - 1 for o.
2
Let b(o) = o**3 - 9*o**2 + o - 9. Let f be b(9). Let y be 1*(-30)/12*(-16)/10. Solve 3*t - y = -f*q + 2*q, 0 = 5*t for q.
-2
Suppose -r = -5*a + 8, 2*a + 8 - 2 = 5*r. Let d be (0 - -9) + 0 + r. Let z = -8 + d. Solve 0 = -m + 4*j - 1, 13 = -z*m - 0*m + 2*j for m.
-5
Suppose 5*q + 16 = p, p + 0 = -4*q - 11. Suppose p - 5 = -a. Suppose 20 = 3*t - a*n, -4*t - n - 3 = 2. Solve 4*r - f + 0*f - 4 = t, 2 = 2*r - 5*f for r.
1
Suppose -2*p = 3 - 13. Solve -z - 5*b - 4 = 1, 0 = p*z + 3*b + 3 for z.
0
Let p(t) = t**2 + 3*t + 3. Let n be p(-3). Suppose -5*g + 0*g + 5 = 0. Suppose g - 7 = -2*s. Solve 3*a = s*v - 12, -a - n*v - 9 = 3*a for a.
-3
Let d = -15 - -19. Let t = 4 - d. Solve -3*r = -3*g + 21, t = 3*g + r + r - 11 for g.
5
Let w(a) = -7 + a**2 - 2 + 6*a + 4. Let o be w(-7). Solve -2*p = o*m - 0 + 6, -18 = -4*p + 2*m for p.
2
Suppose 1 = m - 2. Let a(s) = -3*s**3 + 3*s**2. Let o be a(3). Let d be 20/6*o/(-15). Solve -v = 5*r + 2*v - 12, -2*r = m*v - d for r.
0
Let l = -10 - -15. Let x(j) = j**2 - 3*j - 5. Let t be x(l). Solve -3*m + 5*b + 17 = 0, -25 = 5*m + t*b - 0*b for m.
-1
Suppose -h - h = 2*d, -4*h - 3*d + 3 = 0. Solve 16 = -3*i + n, -2*n - 2*n = -h*i - 19 for i.
-5
Let s = 1 - -4. Suppose -z - 27 = -5*c, z - 6 = -2*c + 9. Let j be c/(-21) - 23/(-7). Solve -2*g - 4*x + 20 = 0, 10 = -g + j*x - s for g.
0
Let a(h) = h**3 + 7*h**2 + 5*h + 1. Let j be a(-6). Suppose 27 = 5*k + j. Solve 0 = w + s + k, -2*s = -3*w - s - 4 for w.
-2
Suppose 12 = -3*h, -5*h = -5*j - h + 26. Suppose 5*k - 15 = -0*k + 5*d, 2*d = -j. Solve k*l = m - 8, 3*m = -5*l - 6 - 25 for l.
-5
Let z(x) = -x - 18. Let y be z(-23). Solve 3*a + 29 = -4*c, a = -5*c - y - 23 for a.
-3
Let p = 13 - 23. Let d be (0 + 0)*5/p. Solve c = -3*i - d*i + 5, -5*c - i = 17 for c.
-4
Let o be (8/(-14))/((-8)/28). Suppose -v + 27 = 5*b, 5*b - 17 = 2*v + 2*v. Solve -v*q - 12 = o*y, -15 - 3 = 4*q - 2*y for q.
-5
Let j be (2 - 0) + 0 + 1. Let s be (25/10)/(4/8). Solve -2*v = -j*v + 2*z + 7, -5*v - s*z = -5 for v.
3
Suppose 3*q = -6*p + 2*p - 15, -q = 2*p + 5. Solve p = g - a - 3, -3*a + a = -3*g + 7 for g.
1
Let g be 23/1 - (0 - -1). Let l = 3 + -1. Suppose 17 - 2 = 5*d. Solve -4*c - 2*f = f - 32, -d*f + g = l*c for c.
5
Suppose -h - 8 = o - 4*o, 5*o - 4*h - 18 = 0. Let f(x) = 2*x**2 - 2*x - 2. Let l be f(o). Solve 4*m - m = 5*a - 17, -5*m - 22 = -l*a for m.
-4
Let f be ((-4)/(-12))/(1/6). Let j be 2 - (2 - (f - 0)). Solve 4*p = -4*l + 8, j*p + 4 = -l + 9 for p.
3
Let m = -1 - -1. Let k(v) = 6*v + 1. Let l be (0 + -3)/((-6)/8). Let t be k(l). Solve t = -m*s + 5*s, -2*s + 6 = 2*i for i.
-2
Let n = -9 + 6. Let l = -3 - n. Suppose l = 2*p - 3*p + 1. Solve 3*f + 23 = -2*r, -3*r - 3 = -2*f - p for r.
-4
Suppose -6*n + 2*n + 20 = 0. Let r = -13 + 30. Let w = r - 12. Solve k - n = -4*y, w*k + 3*y - 6 = 2*y for k.
1
Let s be (-5 + 3)*(-34)/(-4). Let h = -14 - s. Solve h*m - 6 = 0, 3*t + m - 2 = 3 for t.
1
Let i be 5/25 - 48/(-10). Solve 35 = -3*s - i*u, -5*u - 7 = -3*s - 2 for s.
-5
Suppose 4*z - 79 = -23. Suppose 4*y - 18 = -5*s, 3*y + 2*s = 5*s. Solve -2*q + 26 = 4*w, -w + z = -0*w + y*q for w.
4
Suppose 2*s - 2 = -3*l, -2*l + 3*s + 2*s = 5. Solve l = m - 5*o - 15, m + o = -3*o - 12 for m.
0
Suppose -4*v - 2 = -3*v. Let b(q) = -q. Let o be b(v). Solve -o*g - m + 6 = 3*g, 2*g + 2*m = -4 for g.
2
Let r = 11 + -7. Suppose r*h = h + 9. Suppose h*g + 12 = 7*g. Solve 4*x + 2*t - 8 = 0, g*x + 0*x + t - 8 = 0 for x.
4
Let y be 3/2*(-16)/(-6). Suppose k - y*p = 5*k, p + 3 = 0. Solve 3*l = 6*g - g, 0 = 5*l - k*g - 16 for l.
5
Let z = -64 - -67. Solve h - 3*l = 6*h - 22, z*l - 8 = 2*h for h.
2
Let i be (-4)/1*(-5)/2. Suppose -i*z + 50 = -5*z. Solve -3*u = -2*c - 7*u - z, 3*c + 8 = u for c.
-3
Suppose 5*v - 6 = 3*v. Suppose h = 3*y + 4*h - 21, -v*y = 5*h - 31. Let d be 0/((-7)/((-7)/y)). Solve -g = 4*n - d*n - 4, -2*n + 2 = 0 for g.
0
Let i = 81 + -78. Solve y - 3 = i*n + 4, -n - y - 1 = 0 for n.
-2
Let d(t) = t + 10. Let s be d(-11). Let z be (-3)/s - (5 + -7). Solve 2*q + 2 = 2*u, 2*u - z*u + 4*q + 1 = 0 for u.
3
Let w(x) = -x**3 + 7*x**2 - 4*x - 7. Let k be w(6). Solve -4*i + 8*i + k*l = -33, -i = 3*l + 17 for i.
-2
Let d = 15 + -11. Solve 3*b = -3*v + 24, 0 = 4*v - b + d*b - 29 for v.
5
Suppose -v + 1 = -4. Suppose f = -0*f - 3. Let t = v - f. Solve 0 = -5*n + 2*d + t, 9 + 1 = 4*n + 2*d for n.
2
Suppose 0 = 6*l - 2*l - 8. Solve -4*o - 12 = -0*o + l*d, -2*o - 30 = -5*d for o.
-5
Suppose 0 = -4*h + 3*h + 2. Solve -h*k - 4*v + 4 = 0, -5*k - 1 = 4*v - 5 for k.
0
Suppose -4*q - 1 = -9. Let z(w) = -w**2 - 4*w + 1. Let v be z(-3). Suppose -3*a = -q*a - v*o - 12, -4*a = -2*o - 6. Solve -4*d = 4*b, -2*d = -a*d - 10 for b.
-5
Let f = 8 - 3. Solve d = f*a - 9, 2 = -0*a - 2*a - d for a.
1
Suppose 0 = -2*b + 4*s - s - 69, -2*s + 10 = 0. Let y = -25 - b. Solve -y*d - 22 = -5*c, d = -0*d - c + 3 for d.
-1
Let a(u) = -u - 10. Suppose q - 5 = 2*q + 3*g, -4*g = q + 4. Let o be a(q). Let s be 1 + o + 5 + -2. Solve -s*l + 3*l - 7 = -3*v, l + v = 3 for l.
1
Suppose -3*t + 8*t = 3*h - 7, 0 = -2*t + 2. Let f = 8 + 7. Solve h*x - 4*i = -x + f, 0 = 3*x - 4*i - 17 for x.
-1
Let s be (-48)/(-15) + 2/(-10). Solve -2*x + 5*x = 2*w, -s*w = 3*x + 15 for w.
-3
Let o = 56 - 38. Let l(a) = 2*a - 8. Let b be l(7). Solve b*m - m = -2*k - o, -5*k + 9 = -m for k.
1
Let b = -37 + 58. Let q be (-18)/b*(-6 - 1). Suppose 0 = 4*c + 2*d - 16 + q, -5*c + 5*d + 5 = 0. Solve -4*h - 2*o = -5*o - c, 0 = 2*h - 4*o - 6 for h.
-1
Let n = 27 - 25. Solve -4*b + 0 + 1 = v, -2 = -n*v + 4*b for v.
1
Suppose -17*d = -12*d - 20. Solve 3*h = d*p - 3, 2*h + 2 = -4*p - p for h.
-1
Let q be (-2)/8 - 6/8. Let t = q - -8. Solve t = -5*a - y, a - 2*a = 3*y + 7 for a.
-1
Let f = -9 - -21. Solve -2*k + 3*c + 6 = c, -k - f = 2*c for k.
-2
Let f be (-15)/(-5) + 2 + -5. Suppose f = -0*q + 5*q. Solve 2*h + 3*h + i + 30 = q, 30 = -h - 5*i for h.
-5
Let r(f) = 8*f + 2 - 5*f**2 + 7 + f**3 - 3*f**2. Let x be r(7). Solve 2*c = -d + 2*d - 6, -4*d + x = -4*c for d.
2
Suppose 0 = -2*s - 0*s + 28. Let i be 2/7 - 4/s. Suppose -2 = 2*y + 6, i = -5*p + 2*y + 23. Solve -p*q + 40 = 5*g, -3*g + 3*q = -q + 5 for g.
5
Let l be (-1*7)/((-5)/15). Suppose -11 = -3*a + u, -3*a + 3*u = 2*a - l. Solve p + a*p = v - 2, 4*p = -v + 2 for p.
0
Suppose -3 = -2*x + 3. Suppose 0 = o + x*o - 28. Solve 2*u = 3*t - o, -35 = -0*u - 5*u - 3*t for u.
4
Let f = -31 + 35. Solve 2*x - 16 = -f*o, 3*x = 3*o - 5*o + 8 for x.
0
Suppose 0 = -4*q - q + 10. Let b be -1 + 0 + 2 + q. Let m = 8 - b. Solve -2*c - 14 = 2*k, m*c - 8 = 5*k - 23 for k.
-2
Suppose 0*u - 3*u - 2*f + 28 = 0, 5*f + 44 = 2*u. Suppose -2*o = o - u. Let m = o - 0. Solve 0 = 4*k + v - 24, 0*k = -m*k + 5*v for k.
5
Let j(t) be the first derivative of -t**2/2 + 7*t - 7. Let f be j(5). Solve -f*s + 1 = -3*r + 2*s, s = r - 1 for r.
5
Let p = -62 - -64. Solve 0*m - n + 1 = m, -p*m = -3*n - 2 for m.
1
Let w = 26 + -24. Solve 5*b - 13 = -2*i, -4*b + 6 = w for i.
4
Suppose -33 = -z - 10. 