r j.
-1
Let x = 2 + 2. Let z = 9 - x. Let d be -2 - 2*(-1 - 1). Solve -4*w + 5*r - 11 = d*r, 0 = z*w + 4*r - 25 for w.
1
Let u(n) = n**3 + n. Let i be u(1). Solve 0 = y - 4*o - 12, 0*o = -o - i for y.
4
Let p be 1/(((-2)/(-5))/(-6 + 8)). Solve 0 = -v + 2*f - 1, -3*v + p*f = v - 5 for v.
5
Let f = 3 - -6. Let v = 3 + f. Solve -v = 3*o - 4*n, 2*o + 6 + 2 = 3*n for o.
-4
Suppose -3*w - w - 12 = 0. Let t be 3/(w + 6)*8. Solve -2*y + 4*o + 10 = 0, 2*y = 6*y - 2*o - t for y.
1
Let i = -38 + 49. Solve -b + 3*f = 2 - 3, -3*b + f + i = 0 for b.
4
Let l be 118/5 + (-4)/(-10). Let r = l - 16. Let p = -3 + r. Solve -3*y + 10 = 2*f, 2*y - p*f = -3*f for y.
2
Let z(c) = -c**3 + 5*c**2 + 2*c + 4. Let d be z(4). Suppose 0 = b + 3*b - d. Solve b*v + i - 14 = 2*v, -4*v = -4*i - 16 for v.
3
Suppose -4*r - 4 = -0*r + 4*z, -z = -r - 3. Let s = 0 - r. Solve -s*v + n = -10, -n - 22 = -3*v + 4*n for v.
4
Let d = -6 - -6. Suppose -h + 5*p = d, -5*h + 0*p = -2*p. Suppose -2*n - 6 = h, -5*n = -4*u + 6*u + 11. Solve -2 = -m, 5*r = -3*m + u*m + 12 for r.
2
Suppose 4 - 12 = -4*l. Suppose l*i + 15 = -3*i. Let r = 0 - i. Solve 4*u + r - 1 = 2*n, 5*u = n - 10 for n.
-5
Let y(d) = -2*d**3 - 3*d**2 - 4*d - 2. Let o = -2 + -1. Let i be y(o). Solve 22 = -p - 5*x, -4*p + 5*x + i = -0*x for p.
3
Let a be (1/(-1))/((-1)/4). Solve -4*x - 20 = y, a + 6 = -2*x - 2*y for x.
-5
Let q(r) = -r**3 - 5*r**2 - 6*r - 6. Let d be q(-4). Solve 0 = 3*b - 0*t + d*t + 25, 4*b = 5*t + 5 for b.
-5
Let z(q) = -2*q - 7. Let m be z(-5). Let g(r) = -r**2 + 31*r + 32. Let o be g(32). Solve w + 5*f = -8, 0 = -o*w + w - m*f for w.
-3
Let f(b) = 2*b**2 - 7*b + 4. Let s be f(4). Suppose 0 = 4*q - 3*v + s, -3*v = 2*q + 3*q + 10. Let j = 0 - q. Solve 4*x + 3*l = 12, -j*l - l + 9 = 3*x for x.
3
Suppose y + 0*y + 5*d - 33 = 0, -5*d = 3*y - 79. Solve -5*s + 2*b = -31, 1 - y = -5*s - b for s.
5
Suppose 0 = 5*l - l - 8. Suppose 2*t = 4*t - 4. Suppose 7*o = t*o. Solve 2*i = 5*k - o - 23, -3*k + 13 = -l*i for i.
1
Suppose 0*c = -c + 25. Solve -r - 2 = -m - 4, 2*r = -5*m + c for m.
3
Let q = 31 + -22. Solve -3 = -3*j + 2*a, j - 5*j + a = -q for j.
3
Let n(y) = -2*y + 13. Let w be n(5). Solve 5*t + w*s + 8 = 0, -3*t + 6*t = 4*s + 1 for t.
-1
Suppose 0 = 4*k - 217 + 57. Suppose k + 72 = 2*d. Let y = d + -6. Solve 4*p - y = -p + 5*s, 3*s + 5 = -2*p for p.
5
Suppose -3*v + 25 = 4. Let g be 31/v + 4/7. Solve -a + 2*x + 5 = 3*x, -g*x = -5*a + 15 for a.
4
Suppose 5*t = 7*t - 10. Solve -2*m - m + 1 = a, -t*m + 7 = -a for m.
1
Suppose -5*h + 3*h + 4 = 0. Suppose h*p + p = 0. Solve r = -p*r - 5, 0 = -2*z - r - 13 for z.
-4
Let r be (0 - -14) + (-2)/(-2). Suppose -8*c + 41 = -3*c + 2*s, c - 3*s = r. Let q be 172/36 - (-2)/c. Solve -j - 4 = 2*o, 0 = 5*j - q*o - 0 + 5 for j.
-2
Suppose -3*v = -2*p - 12, -v + p - 12 = -4*v. Solve -v*c - 20 = 0, -2*d + 10 = 2*d + 2*c for d.
5
Let t = 7 - -5. Let h be 1 - t/3 - -7. Solve 0 = 2*x, h*l - 4*x + 10 = -6 for l.
-4
Suppose 3*r + 2 = -1. Let j be 3*r*1*-1. Solve t + 3*t = -2*b + 12, -b - 14 = -j*t for t.
4
Suppose -2*p = -3*w - 10, -10*w + 15*w = -p - 8. Solve 3*s - 5*s + 5 = -a, -3*s - p*a = -25 for s.
5
Suppose -3*d + 24 = -15. Suppose -5*m + d + 137 = 0. Solve -3*n + 7*n + 12 = 0, 0 = -3*k + 5*n + m for k.
5
Let j = 0 + -5. Let f be (-1)/j - (-19)/5. Solve -c + 8 = 3*b, -2*c + 2 = b - f for b.
2
Let a = 2 - -2. Let l be (-12)/30 + 54/10. Solve x + 2 = b, 2*x - 3 = -a*b + l for b.
2
Let g(k) = -k + 3. Let q be g(1). Solve -q*m - 2*c = -12, -3*c + 2 = -5*m - 0*c for m.
2
Suppose 4*p - 2 = -0*p - 2*u, 2*u + 19 = 3*p. Suppose 3*z - 9 - 10 = v, 17 = 4*z - 3*v. Solve z = 4*f - t, -5*f + 3 = -0*f - p*t for f.
3
Suppose 0 = -3*s - 5*b + 17, 5*s + 0*b - 18 = 2*b. Solve -s*j = 5*o + 9, 4*j = -4*o - j for o.
-5
Let d = 76 - 113. Let f be d/(-7) - 20/70. Solve 5*j = -4*o + 10, 28 = -f*j + 5*o - 7 for j.
-2
Let q = -29 + 32. Suppose -a - 9 = 2*u, -5*a + 20 = 2*u - 5*u. Suppose a = -2*p + 11. Solve -q*i - 4 = -2*o, p*i + 40 = -3*o - 2*o for o.
-4
Suppose -14 + 42 = 4*f. Solve 0 = -2*z - n - 3*n, 5*n = z + f for z.
-2
Let l = 16 + -1. Suppose 4*w - 3*k = l, 4*w + 9 = -5*k - 16. Suppose 0 = -2*s + u + 8, 3*s = 2*s - 5*u + 4. Solve w = -4*j - 4*b, s*j - b - 3*b - 24 = 0 for j.
3
Let s(v) be the first derivative of v**3/3 - v**2/2 - 9. Let u be s(-1). Solve 2*k - 4*k - 14 = u*p, -2*k - 11 = p for k.
-4
Suppose 3 - 43 = -5*v. Solve -3*x + 5*t - 1 = 0, -3*x - 7 = -v*x + 4*t for x.
3
Suppose 5*f - 14 = j, -3*f + 11 = -3*j + 5. Suppose z = f - 1. Solve 2*n - k - z = k, -2*k = -4*n + 6 for n.
2
Suppose -6 = 3*o, 3*o = -3*h + o + 2. Solve -v + 13 = -4*k, -k - 2*v = h*k + 18 for k.
-4
Let q(s) = s**3 - 6*s**2 - 8*s + 8. Let a(t) = -t**3 + 6*t**2 - 3*t - 3. Let x be a(5). Let k be q(x). Solve f + 0 - k = -d, 5 = 5*f + 2*d for f.
1
Let h = 7 - 4. Let y(f) = -7*f**3 + f. Let p be y(-1). Let i = 26 - -5. Solve 5*b = 4*w + i, -3*b + p = -5*b - h*w for b.
3
Let j(q) = -q**3 - 12*q**2 - 10*q + 13. Let l be j(-11). Solve -p + 26 = p - 4*o, -31 = -l*p + 5*o for p.
3
Let f(n) = n**3 - 5*n**2 + 5*n - 4. Let s be (-12)/20 + (-92)/(-20). Let h be f(s). Solve h = -2*l + p, 3*l - p - 4 = 5*l for l.
-1
Let x(l) = l**3 + 9*l**2 + 13*l - 7. Let s be x(-7). Let p = -5 - -37. Solve s = -3*n - d - d - 1, p = -4*n + 5*d for n.
-3
Let r be 8/10 + (-64)/(-20). Solve r*c - 8 = 0, 0 = -4*k + 2*c + c + 6 for k.
3
Suppose -5*y = -0*y. Let s = y - -3. Solve -s*w + 21 = -0*j - 2*j, w + 4*j = -7 for w.
5
Let m = -7 + 10. Solve -5*q = -m*z - 10, -3*q + 7 = -3*z + z for z.
-5
Let x(t) = -t**3 + 10*t**2 - t + 10. Let p be x(10). Solve p = 2*l + 2*l + 5*z, 5*l - 4*z = 0 for l.
0
Suppose -f - 5*z - 4 = 0, -f + 4*f - 8 = -5*z. Let i be 10*-1*(-16)/20. Solve 3*n + i = 5*t, 5*n - 36 = 2*t - f*t for t.
4
Let o = 1 - 0. Let y be o/3 - (-11)/3. Solve -5*d = -d - y*f, -2*d - f + 9 = 0 for d.
3
Let f = 0 + 3. Solve 2*q + 1 = 5*d, 12 = f*d + 4*q + 1 for d.
1
Suppose -4 + 19 = 3*v. Solve -q = -c - 1, -c = 4*q - v - 9 for c.
2
Suppose 2*u - 10 = 4*u. Let g = -3 - u. Suppose 3 + 1 = 2*d, -g*d - 11 = -3*j. Solve -10 = -2*i - 3*z, 2*i + 6 = j*z - 0 for i.
2
Suppose 3*f + 79 = 5*u, 4*u + 107 = -7*f + 2*f. Let a = 28 + f. Suppose 5*v - 11 = 9. Solve 0 = v*l + 5*n, -18 = -l - a*n - 3 for l.
-5
Let x be (0 + 3 - 3)/(-1). Suppose x*w = -w. Solve w = 3*l - 3*o - o, l - 4*o = 0 for l.
0
Suppose 0 = -2*l + l + 4. Suppose 4*v - 4*y - 16 = -0*y, y = -5*v + 26. Solve 0 = -x + l, -v*x + 7 = 2*g - 13 for g.
0
Let u = -7 + 12. Solve 2*i = 5*k + 33 - 3, 0 = 3*k + u*i - 13 for k.
-4
Let x = -134 + 149. Solve 2*o + 31 = 5*z + 10, 0 = -5*z + 5*o + x for z.
5
Let x be 2 + (1 - 3) + 3. Suppose 4*f - x*p - 31 = -f, 23 = 5*f + p. Solve -9 = 3*r + 3*b, f*r + b + 6 = r for r.
-1
Let r = 17 + -12. Solve 4*j - 17 = -r*n - 0*n, -5*n + 29 = -2*j for j.
-2
Let y be 25/(-10)*(-1 + 3). Let n = y + 5. Suppose n = 5*v - 11 - 9. Solve 0*m + v*m - 19 = k, 2*k + 6 = 0 for m.
4
Let h be (10 - 6) + (-4)/2. Solve 0 = h*i - 8, -2*n + 18 = i + 3*i for n.
1
Let d be (5/((-15)/(-18)))/((-4)/(-12)). Let o(u) = -7*u - 1. Let w be o(-1). Let x be (-10)/(-4)*w/5. Solve x*y + d = 3*n, 2*y + 5*n - n + 6 = 0 for y.
-5
Let w(o) = o**3 + 3*o**2 + 2*o. Let z be w(-2). Solve 8 = -4*j - 4*l, -3*j + z*j - 2*l - 1 = 0 for j.
3
Suppose -3*j + 62 - 2 = 0. Solve -4*w - 2*p + 0*p = -20, -4*p + j = 3*w for w.
4
Let x = 14 + -14. Suppose x = 3*n - n - 50. Solve -3*m - 2*z - 4 = -3, 4*z - n = 3*m for m.
-3
Let o(c) = c**2 - 12*c + 25. Let p be o(10). Solve -5*x + p*u = 15, 3*x + u + 9 = -2*u for x.
-3
Suppose 6 = 3*o - 12. Suppose -o*r + 2*r + 8 = 0. Solve r*y = 4*y + 10, -5 = 5*c + 5*y for c.
4
Suppose j - 8 = -j, 4*j - 18 = -k. Suppose 0*v = -k*v + 10. Suppose 0 = 2*i - i. Solve -5*w = 5*t - v - i, -2 = 5*w - 2*t for w.
0
Let p = -23 - -14. Let v = -10 - -5. Let s = v - p. Solve 28 = -0*g + 4*g - 2*x, s*g = 5*x + 40 for g.
5
Let w be 1/3*(-2 - 0 - -17). Solve 4*u = w*d + 25, u = -0*u for d.
-5
Let o = 10 + -3. Suppose -v - o = -3*j, v + 2*v = -j + 9. Let m(d) = -d**2 - 7*d - 5. Let y be m(-5). Solve -3*k = -v*c - 16, -21 = -k + 3*k + y*c for k.
2
Let t(y) = 18*y. Let g be t(0). Solve 3*f - 20 + 5 = -3*c, 3*c - 12 = g for f.
1
Let d be 1 + (-1)/(1/(-6)). Let p be (-2)/(-7) + (-2)/d. Let q(z) = z. Let x be q(p). Solve 6