o for r.
2
Let r(d) = d**3 - 5*d**2 - 6*d. Suppose -h + 6*h - 38 = -4*s, 4*s = 8. Let b be r(h). Solve b = 3*g + 3, -2*o = -3*g - 5 + 2 for o.
0
Let d = 4 - -1. Let x be (-3)/25*(0 + -5)*5. Solve -3*b = -2*r - 2*r - 5, x*r = 4*b + d for b.
-5
Suppose 0 = -4*u - 37 + 97. Solve 8 = -2*x, 3*y + u = -x - 4 for y.
-5
Suppose -3*l = -0*l. Solve l*u - 5*u = -5*w, 3 = -4*u + 3*w for u.
-3
Let m = 13 + -18. Let f = m + 21. Solve 0 = -2*t + 2*p + f, -t + 2*p = -0*t - 11 for t.
5
Let f(t) = -16*t**3 - t**2 + 1. Let b be f(-1). Suppose 3*r + q - b = 0, 4*q + 0*q + 38 = 5*r. Solve r*n - n - 4*l = -35, -3*n + 16 = 5*l for n.
-3
Let f(p) = -p**3 + 6*p**2 - 2*p + 6. Let n be f(6). Let a = n - -8. Suppose a*t - 1 = 3. Solve -21 = t*h - 3*h - 4*d, -2*d = -8 for h.
5
Let i(c) = c**2 + 6*c + 3. Let z be i(-6). Suppose -3*w - 3*t - 24 = -6*w, w + z*t = -8. Solve -7 = 3*n + w*b, 4*n = n + b + 13 for n.
3
Let r(w) = -2*w. Let x(s) = -3*s + 1. Let m(b) = -10*r(b) + 6*x(b). Let p be m(-4). Let j be p/6 + (-7)/(-3). Solve -2*o - n = 1, -3*o + j*n + 2 = 2*o for o.
0
Suppose 12 = 3*q - 2*m, -m + 9 = 4*q - 18. Let k be q/(-8) + (-60)/(-16). Solve -4*v - k = 5*w + 5, -3*v - 5*w = 11 for v.
3
Let w(j) = 2*j**2 + 19*j - 8. Let z be w(-10). Solve d = 2*d + 3*x, -d = z*x for d.
0
Let i = 16 + -11. Suppose 4*o - i = 11. Suppose 3 = -o*r - 3*t + 16, 0 = 2*r - t + 1. Solve 0 = 5*s - y + 3*y + 20, r = -3*s + y for s.
-2
Suppose 12 = 8*i - 4. Solve 7*a = -4*n + 2*a - 18, -i*n + 6 = -5*a for n.
-2
Let w(u) = u**3 + 13*u**2 + u + 21. Let k be w(-13). Solve 4*d + 4 = 3*d + 3*q, 5*d - 3*q = -k for d.
-1
Let j(o) = -o**2 + 6*o - 3. Let k be j(5). Let q = 2 + 0. Solve q = z - 2*i - k, -5*i = -3*z + 10 for z.
0
Suppose -4*d = -16, 0*s - 2*s = 4*d - 24. Let k be 2/((-6)/(-3)) - -1. Suppose 0 = k*t - 4*t + s. Solve 4*y - p - 4*p = 6, 5*y + t*p - 24 = 0 for y.
4
Let o(i) = -i**2 - 2*i + 3. Let w be o(-3). Solve 5*l - 2*n - 9 = w, -6*l - 5*n = -l - 30 for l.
3
Suppose 5*o - 2*j = -1 - 42, 0 = o - 2*j + 15. Let u = 10 + o. Solve 0 = -z, u*z + 9 - 3 = 3*s for s.
2
Let o be 6/(-39) + (-178)/26. Let h be ((-2)/o)/(5/35). Solve -5*k + 22 = 2*v, -2*v - 8 + 2 = -h*k for k.
4
Let m = 0 + 0. Solve m = 3*o + 3, -a - 2 = -5*o - 9 for a.
2
Suppose 5*n - 3*n = 6. Suppose -3*m - 3 = -12, -n*g + 3 = -m. Solve -g*i + i = -d - 4, 0 = -2*d - 5*i - 15 for d.
-5
Suppose -9*g = -10*g + 9. Solve 9 = -3*r, 2*r = j - 2*j - g for j.
-3
Let r = -21 - -24. Solve 3*y + 6 = -i - r, -5*y + 2*i - 26 = 0 for y.
-4
Let d(t) = -t + 10. Let h be d(5). Suppose h*z + 4*f = 15, -z + f + 0 = -3. Solve z*s + 20 = s - 3*y, -16 = 4*y for s.
-4
Let v(r) = -4*r - 21. Let s be v(-6). Solve 2*k = -5*b - 8, 5*k - 3*b = s + 8 for k.
1
Suppose 8 = 4*d, -31 = -3*v - 5*d + 15. Solve -v = 2*s - 4*k, -2*s + 3*k = -2*k + 13 for s.
-4
Let c = 6 + -10. Let w be 1/(0 + (-2)/c). Let d be (w + 10/(-4))*0. Solve 2*f - 6 = d, 0*a = -a + f - 3 for a.
0
Suppose -p + 2*c + 2*c = -15, -2*p + 9 = -c. Let d be (p/(-9))/(1/(-9)). Let o = 0 + d. Solve -o*v + 10 = b, -4*v + v + 25 = -2*b for v.
5
Suppose -23 = -c - 21. Solve -15 = 3*t, 6 = -c*y + 4*t + 20 for y.
-3
Let u be 4/(-6) + ((-2040)/9)/(-10). Solve 0 = s + 3*s + 2*t + u, 5*t + 10 = -s for s.
-5
Let n(b) = 5*b**3 + b**2 - 2*b + 1. Let o be n(1). Suppose 4*j + 9*g - 4*g = 23, 0 = -o*j + 3*g + 1. Solve 5*m = -3*a - j*a - 20, a = m + 6 for a.
1
Let r = -74 - -75. Solve a - 2*z = 2, -11 = 4*a - 2*z - r for a.
-4
Suppose -5*w + 3 = -12. Solve 3*y = -w*b + 15, -5 - 5 = -2*b for y.
0
Let z be (-122)/(-5) + 10/(-25). Solve -q - 3 - 1 = 0, z = l - 5*q for l.
4
Let s = -44 - -50. Solve -3*f + s*f - 4*c + 7 = 0, -c = 4*f - 16 for f.
3
Suppose -2*w - 13 = 4*c + 3*w, 3*w = -5*c. Let i be (2 - 2) + 32/2. Let q = -11 + i. Solve -q*z - a = 3 + c, -5*a - 7 = 2*z for z.
-1
Suppose 0 = 6*f - 11*f + 10. Solve 0*d - d - 2 = -5*r, -f*d + 2*r = -4 for d.
3
Suppose 5*i = -q + 2*q + 18, -5*q + i = -6. Suppose 6 = q*d + d. Solve 4*w - d*m = 2*w + 8, 0 = -3*w - 2*m - 13 for w.
-1
Let x be (-2*1 - -2) + 3. Suppose x*z = z. Suppose 3*b - 6*b = z. Solve b*s = 2*k - s + 6, 5*s = -3*k - 35 for k.
-5
Let q(b) = -b**3 - 8*b**2 + b + 12. Let y be q(-8). Solve a - y*j + 13 = 0, -2*a - a + 2*j - 9 = 0 for a.
-1
Let q(i) = -2*i**2 + i**3 + 2*i - i - 3 - 2*i. Let k be 2 + (-9)/(-3) + -2. Let v be q(k). Solve -5 = x - 3*m, v*m = -2*x - 2 + 1 for x.
-2
Let s(i) = i**3 - 12*i**2 + 13*i - 6. Let c be s(11). Let v = 32 - c. Let z be 3*(2/6 + 1). Solve z*f + u = 7, 5*u - v = -2*f + f for f.
1
Let i be ((-40)/(-12))/((-2)/(-18)). Suppose 4*y = -y + i. Solve -2*j = -y, 5*u + 19 - 7 = -j for u.
-3
Suppose -4*j = -2*j. Suppose 12 = 3*w - j. Let q be (16/20)/(2/60). Solve 5*m = -5*o, 8*o = w*o + 2*m - q for o.
-4
Let y be (64/112)/((-2)/(-7)). Let q = 5 - 3. Solve -y*s + 0*t + 9 = -t, -q = 2*t for s.
4
Suppose 2*o = 5*o - 6. Suppose -3*p - o*m + m = -16, 2*m + 4 = 0. Solve -3*l + 2*c = -2, c + p = -2*l + l for l.
-2
Let v(j) = 2*j**2 - 10*j + 5. Let i be v(5). Solve i*m - 5*d = -15, -2*m - 5*d + 7 = m for m.
-1
Suppose 4*k = 19 - 7. Suppose -w + 6 = -k*i - 0*i, 0 = 2*w - 2*i - 8. Solve 0 = -o + 2*q + 4, 5 + 0 = 2*o - w*q for o.
-2
Let w(z) = z**2 - z + 28. Let r be w(0). Let g(j) = -3*j - 7. Let q be g(-5). Let d = -71 - -95. Solve -3*f + d - q = h, -4*h - 3*f = -r for h.
4
Let j = -25 + 25. Suppose 0*k - 2*k = j. Solve k = -3*v - 3*d - d - 2, -4*v - 2 = 5*d for v.
2
Let k(b) = 2*b**2. Let s be k(-1). Suppose 0 = u - 2*r - 16, -s*u = -r - 13 - 4. Solve 3*i = 3*z - u, -3*z + 5*i + 11 = i for z.
-3
Let q = -1 - -3. Let r be -3 - (q + (-17 - 3)). Solve s = -4*d + 3*s + 16, 3*d - r = 3*s for d.
3
Suppose -d - 5 + 3 = 0. Let x be (-3)/d + (-12)/(-8). Solve -h - 2*q - x = 0, 0 = 8*h - 3*h + 2*q - 17 for h.
5
Let k(s) = s**3 + 10*s**2 - 8*s + 35. Let b be k(-11). Solve 2*o - h - 4 = 0, 10 = b*o + 3*o - h for o.
2
Let n be 1 + (4*(-1 - 0) - -7). Solve c - 4 = n*l - 3, -c = -3*l - 2 for c.
5
Let t(u) = u**3 - 3*u**2 - 8*u - 6. Let r be t(5). Solve -2 = -5*d + o - 7, -r*d - 4 = -5*o for d.
-1
Let k be (-40)/6*(-48)/(-32). Let m be 2/k + (-77)/(-35). Solve m*y - f = -4, -y + 3*f - 8 = f for y.
0
Suppose -4*i - 5*l = -0 - 3, 7 = 5*i + 3*l. Let q(a) = a + 5. Let b be q(-4). Let o be b/2 - (-2)/4. Solve 4*f - i*w + 2 = 0, 2*f - 4 = 3*w + o for f.
-2
Let t be (-72)/(-16)*2*1. Let u(k) = -k**2 + 8*k + 10. Let x be u(t). Solve -4*s + 8 = -3*w - 7, x = s + 2*w for s.
3
Let p(m) = -m**2 - m + 2. Let o be p(0). Suppose -v + c + 1 + 2 = 0, 0 = -v + 5*c - 1. Solve -o*n = -h + 4, -5*n + v*h - 11 = h for n.
-1
Let j(b) = b**3 + 2*b**2 - 4*b + 1. Suppose 4*i = i - 9. Let m be j(i). Solve -4*g - m = -v + 3*v, -7 = g - v for g.
-3
Let k be 1 + (-2 - (-6 + -1)). Let c be (-1)/3 + 32/k. Solve -c*w = -a + 14, 0*a = 2*a - 3*w - 7 for a.
-1
Let j(b) = b**2 - 3*b + 3. Let p be j(3). Suppose 0*g - g + 3 = k, 0 = 2*g - p*k + 9. Solve -4*m + n + 4 = g, -4*m + 26 = -m + 5*n for m.
2
Let q(h) = h + 26. Let y be q(0). Solve 4 = b - k - 2, 0 = 5*b - 3*k - y for b.
4
Suppose -22 = -2*f + 6. Solve -16 - 1 = -5*g + m, -4*m - f = -2*g for g.
3
Let s be ((-8)/(-3) - 3)*-6. Solve s*l + 21 = -2*l - 5*o, -3*l + 5*o = -28 for l.
1
Suppose -8 = -2*l + 12. Let a be (3/2)/((-6)/(-8)). Let y be 7 + 8/(a*-2). Solve -5*t + l = -5*p, 0*p - y = 5*p for t.
1
Let u = 47 - 31. Suppose -u = -4*p, -6*j + j + 136 = 4*p. Solve 22 = -5*z + 3*v, 4*z - v + j = -5*v for z.
-5
Let i = -4 + -6. Let j = 11 - 8. Let p be (i/15)/((-1)/j). Solve 5*g - 3*t = p*t - 15, -4*t = -16 for g.
1
Let g be 138/7 - 8/(-28). Let v = -5 + g. Solve 0 = 5*s + v, 11 = r - 2*r - 4*s for r.
1
Suppose n = 5*n - 12. Suppose 0*d = n*d - 6. Solve v = d*v - m, -3*v - 2*m = 10 for v.
-2
Suppose -3*z + 4*m + 32 = 0, -4*z = -2*z - 4*m - 28. Let r = -12 + 17. Solve r*l = -z*b - 14, 1 = -0*b - b for l.
-2
Let f(i) = -7*i + 7*i**2 - i**3 + 4*i + 0*i - 7. Let l be f(5). Solve 0 = -v - 0*v - 5*x - l, 5*x = 5*v - 10 for v.
-3
Suppose 2*r = -5*k - 10, 2*k = -2*r + k - 2. Solve r = j - 3, 2*m + 4*j = -2 + 14 for m.
0
Suppose -3*g = 4*r - 52, -4*r - 2*g = 3*g - 60. Let v = -1 - -5. Suppose -2*c - r = -v*c. Solve -2*y + 5*d = 2*d + 14, -4*d = c*y - 11 for y.
-1
Suppose 0*d - 5*d = -30. Solve 4 = 2*f + q, -d*q + q + 4 = 2*f for f.
2
Suppose 0 = -6*b + 42 - 