 o = 4*d for j.
-2
Let r(w) = -w**3 + 4*w**2 + 6*w - 4. Let x be r(5). Solve 0 = -2*h - 4*c + 2, 4*c - x = -h + c for h.
1
Suppose -24 = 3*q + 24. Let t = 35 + q. Solve 3*v - 5*i = t, 3*v - i - 14 = -v for v.
3
Let y be (-259)/(-91) + 4/26. Solve -7 - 6 = 5*g - 2*p, -p + y = g for g.
-1
Let a = -5 + 8. Let l be -2 + 10 + a + 2. Solve -4*z + 5 - l = -4*j, z = 4*j - 11 for j.
3
Let w = 7 - 5. Suppose p + 5 = w*p. Solve 0*m - 3*m = -4*g - 11, g = 3*m - p for g.
-2
Let h = 13 - 11. Suppose -3*t - 13 = h, 0 = -4*o + 2*t + 10. Solve o = 2*b - q, -2*q - 16 = -2*b + 3*q for b.
-2
Let y be (12/(-16))/(1/(-28)). Solve -g + 2 = -2, 0 = r + 4*g - y for r.
5
Let t(i) = -5*i - 21. Let x be t(-5). Solve -10 = -0*v + 2*v + x*b, -4 = -4*v + 4*b for v.
-1
Let d be 5/(3/(-42)*-2). Solve r = 4*u - 0*r - 25, 3*u - d = 4*r for u.
5
Let i = -20 + 23. Let f = i - 0. Solve 12 = -3*z + 4*p - 3*p, p + 6 = -f*z for z.
-3
Let d(f) = f + 2. Let g be d(-4). Let o(j) = -j**3 - j**2 + j. Let a be o(g). Solve 0 = a*h, 3*h - 8*h + 2 = p for p.
2
Suppose 5*j + 2*v = 9, 2*j - 2*v - 18 = -6. Let i = 5 - j. Suppose 5*p - 4*y + 9*y = 45, -21 = -5*p + 3*y. Solve 4*r - 3*t = -0*r + p, -3*r - i = t for r.
0
Suppose d - 6 + 2 = 0. Suppose -1 = s - 4*o + 1, 4*o - 6 = -s. Solve 5*c - 5*u + 3 = -s, -2*c + d*u = 0 for c.
-2
Suppose 0 = -6*n + n + 35. Solve -5*k - n = -o - 0*k, 3*k + 1 = -o for o.
2
Suppose 10*y - 4 = 26. Solve -11 - 1 = y*f, -25 = -z + 5*f for z.
5
Let f(o) = 2*o**2 - 4*o - 5. Let n be f(4). Let w = n + -7. Let s(d) = d**2 - 6*d - 4. Let p be s(7). Solve w*u + p + 2 = c, 0 = 2*c - u + 4 for c.
-3
Let c = -5 + 8. Let g be 1/(c*(-3)/(-63)). Suppose -3*k + 30 + 15 = 0. Solve -g*y + 2*y - 5*m = -k, -m + 4 = 2*y for y.
1
Suppose -5 = -2*l + 3. Let k = 17 - 10. Suppose k - l = u. Solve 4*d + u*f = f + 8, f = d - 8 for d.
4
Suppose 0 = -2*t + t + 4*j, 0 = 4*j. Solve t = -5*b + 4*b - d, 9 = -2*b + d for b.
-3
Suppose 4*m = 2*j + 3 - 9, -4*m - 9 = -3*j. Suppose -j*u = -u. Solve -2*q + 0*q = 2*n - 2, -q + 3*n + 9 = u for q.
3
Let n(x) = -3*x - 6. Let k be n(-2). Suppose -b - 3 - 2 = 0. Let c(u) = -u**2 - 4*u + 7. Let y be c(b). Solve k = -s + 4, -v - 3*s + 11 = -y*v for v.
1
Let l = 8 - 5. Let p(w) = w**3 + 2*w**2 - 2*w - 4. Let c be p(-3). Let r = c + 7. Solve 4 = q - 5*i, -q + l*i + 5 - 1 = r for q.
4
Suppose -4*y + 23 = -17. Suppose 5*a + g - y = 0, -2*a + 4*a - 31 = 5*g. Solve -2*n - 2*n + 4*s = 0, -s = a*n + 16 for n.
-4
Let r(n) = -n**2 - 2*n + 4. Let x be r(0). Suppose 0*g + 4*g = 16. Solve 3*z = -x*p + g, z = 5*z + 3*p - 3 for z.
0
Let d be (-4)/(-22) + 4/(-22). Let z be -10*((-3)/(-6) + d). Let y be 25/(-10)*4/z. Solve 0 = -4*k + 8, -u + 3*u = -y*k for u.
-2
Suppose -16 = -6*v + 38. Solve -3*x - 12 = 0, 0 = 5*l + 3*x + 8 + v for l.
-1
Let d = -14 + 6. Let n(c) = c**2 + 10*c + 12. Let v be n(d). Let z be 5*v/(-10)*8. Solve 0 = 4*h - f - z, -9 = -2*h + 3*h + 3*f for h.
3
Suppose -a - 5 + 1 = 0. Let k = 7 + a. Solve 15 = k*i - 4*t, -i - 6*t = -t - 5 for i.
5
Let k be (26/(-4))/(1*7/(-14)). Solve 2*o - 3*i - 2 = -i, -o + 4*i + k = 0 for o.
-3
Let x(g) = -g**3 + 15*g**2 - 15*g + 15. Let w be x(14). Solve 2*n - r = w, 0 = 2*n + 4*r + 14 for n.
-1
Suppose -p + 3 = 2*s - 3, 4*p = -2*s + 36. Let g(d) = 2*d + 2. Let y be g(p). Solve -5*l + 5 = 5*u, u - 5*l + 7 + y = 0 for u.
-4
Suppose -3*h = -6*h. Solve 3*l - 2*c - c - 9 = h, -c = 5 for l.
-2
Let g(l) = 3*l**2 - l - 1. Let a(j) = j**2 + 2*j - 1. Let r be a(-2). Let c be g(r). Suppose 3*p - 3 - c = 0. Solve -o - 4*o - 20 = 5*f, p*f = 3*o - 8 for o.
0
Let l = -47 - -47. Solve 4*q + l*k = -3*k, 3*k = q for q.
0
Let i = 8 - 4. Let x be -2 + (-1)/((-2)/i). Solve -3*n - 1 = -s, 3*n + 3 + x = 3*s for n.
0
Suppose 0 = -2*s + 4*s - 6. Suppose 13 + 2 = s*b. Solve 2*u - 7 = -5*j, 2*j = -u + b - 2 for u.
1
Let l be 2/8 + 22/8. Let g(a) = a - 5. Let o be g(5). Suppose 5*c + 0*d = -d, o = -4*d. Solve -3*j - 6 = -l*f, -f + 5*j - 3*j + 2 = c for f.
2
Suppose 60 = -7*j + 10*j. Suppose 2*b = -3*m + j, 0 = 3*b - m - 4*m + 8. Solve 26 = 2*n - n - 5*i, b*i = 5*n - 25 for n.
1
Let m be (15/10)/((-1)/(-2)). Let b(j) = -j**2 + 11*j + 2. Let q be b(11). Solve -5*r - 11 = q*p + 2*p, -5*r - m*p = 12 for r.
-3
Suppose 4*g - z - 15 = 0, 3*g + z - 13 = -0. Solve 5 = -h + 2*a - 7*a, 0 = -5*h - 4*a - g for h.
0
Let y(f) = 5*f**3 - 6*f**3 - 5*f + 2*f**2 - 1 + 5*f. Let s be y(1). Solve 0 = -5*c - s*d - 2*d, 4*c - d = 13 for c.
2
Suppose 5*a = -6 + 31. Solve -j = k + 3, -k - 18 = -a*j - 3 for k.
-5
Let b(s) = -11*s**3 + s**2 + s + 1. Let u be b(-1). Solve -12 = -4*r, 3*r = -q - 2*r + u for q.
-3
Let o = 7 - 3. Solve -6 = -2*u, 0*n + 3*n = -o*u + 18 for n.
2
Let x(f) = f**3 - 6*f**2 + f - 3. Let g be x(6). Let p be 48/(-30) + 4/(-10). Let b be (-2)/(p + 0) + 7. Solve 5*d = d + 2*n - b, 0 = -2*d + g*n for d.
-3
Suppose k - 59 = -3*s, -51 = -s - 3*k - 18. Solve -2*x + 5*f = 1 + 30, x + s = 3*f for x.
-3
Suppose -s = -5*s + 4. Suppose n - 5 = -2*q - 4, n - s = 5*q. Suppose b = -q*b + 15. Solve 4*h + 2*m = m - 13, 5*h = -m - b for h.
-2
Suppose -5*d = 15, -d = -0*x - 5*x + 28. Let o = 3 - 3. Let r(q) = q**2 - q + 13. Let g be r(o). Solve 0 = 3*p + 2*z - 5, x*z - 6 = -p + g for p.
-1
Let w(l) = -l**3 + 5*l**2 - 3*l - 2. Let i be w(4). Solve 0 = -j - j + 2*o - i, -4*j + 5 = 5*o for j.
0
Let y = 134 - 76. Let g be 8/(-36) + y/18. Solve r = -g*u - 10, u = r - 0 + 2 for r.
-4
Suppose 0 = b - 2 + 1. Suppose c - b = 8. Solve 5*m - 4*y + c = 1, -6 = -4*m - 3*y for m.
0
Suppose 0 = -9*d + 5 + 13. Solve 2*h = -2*b - 0*b + 18, d*h - 13 = -b for b.
5
Suppose 0 = 2*z + 2*f - 4, z + 4*f + 12 = 2*z. Let t(y) = -y**2 - 4*y. Let g be t(-4). Suppose g*j + 6 = 3*j. Solve -j*n + 0*n = 3*u - z, n - 2*u - 2 = 0 for n.
2
Let i = -4 - -7. Solve 4*q = s - 5*s + 16, -i*q - 5*s + 18 = 0 for q.
1
Suppose -2*g = 5*d - 4*d, -4*d - 4*g = 0. Suppose d = 2*l + 2*l - 4. Let q = 16 + -11. Solve 5*w = 5*f + l - 11, 0 = -q*w - 10 for f.
0
Let u = 0 + 4. Suppose 3*c - u*i = 14, -c - 5*i + 11 = -19. Suppose -15 = -4*l + l. Solve -y + 3*y = -3*k + 21, 5*y = l*k - c for y.
3
Suppose 0 = -2*m + 13 + 13. Let v = -9 + m. Solve w - h = v*w - 12, -2*w + 8 = 3*h for w.
4
Suppose 1 = 4*m - 3, 5*m + 15 = 4*t. Let u be (16/(-20))/(1/t). Let v be (-23)/u + 3/(-4). Solve -v*z - 3*r - 2*r = 30, 5*z - 5 = 2*r for z.
-1
Suppose 4*u = 6*u - 24. Suppose -5*p = -6*p + 6. Suppose -p*y + 16 = 4. Solve 4*l - u + 42 = y*g, -4*g + 45 = -5*l for l.
-5
Suppose 0*b - 112 = -2*b. Suppose 4*n - b = -4*g, -g - 58 = -6*g - 2*n. Suppose 1 = -5*o + 21. Solve -2*l + o*h = l + 20, -2*h = 3*l - g for l.
0
Let c(j) = -j**2 + 9*j - 16. Let l be c(5). Solve -3*n + 7*t = l*t + 21, n = 4*t - 13 for n.
-5
Let c(f) = -7*f + 1. Suppose -w = -5*u + 6, 2*u = -2 + 4. Let d be c(w). Solve -3*p - 2 = 4*v, -p + 6*p + d = -2*v for v.
1
Let z(f) = -f**2 + 10*f - 8. Let g be z(8). Solve -2*v = 6*c - c + g, -3*v - 5*c = 12 for v.
-4
Let i = 3 + 1. Let x be (-81)/(-15) + i/(-10). Suppose -5*v + 19 + 3 = 2*n, 2*v = -x*n + 13. Solve -v*u = q - 23, -2*u - 2*u + 8 = -4*q for u.
5
Let m = -103 - -150. Suppose -169 = 4*b + m. Let p be b/(-10) + (-6)/15. Solve -p*s - i = 10, 4*s - 5*i + 0*i - 21 = 0 for s.
-1
Let p be (-12)/10*150/(-20). Let a(c) = -c + 10. Let v be a(p). Solve 2*x - v + 18 = -3*o, 2*x + 5 = o for o.
-3
Suppose 4 + 2 = 2*g. Suppose g*c = 3*m + 27, 6*m = 2*m - 16. Solve 4*l - 4*j + 8 = 0, -c*l - 2*j - 31 = -0 for l.
-5
Let d be ((-4)/(-5))/((-4)/(-20)). Suppose d*n - 20 = -n. Solve 19 = -3*z - 0*o - n*o, -5*z + 5*o = 20 for z.
-5
Let x = 12 - 4. Let f be (-3)/(-12)*x/1. Solve f*o + g + 10 = 2*g, 4*g + 25 = -5*o for o.
-5
Let w = 10 + -6. Suppose 2*o - 2*c = -o + 7, -w*o + 5*c = 0. Solve h + o*v + 1 = -1, -2*h - 5*v = 4 for h.
-2
Suppose -4*c + 6 = 2. Suppose 5*t - 6*z + 3*z = -c, 2*t - 4 = -z. Solve -a - t + 2 = 3*f, -1 = -f - a for f.
0
Let j(l) = 3*l**2 - 2*l - 4. Let f be j(3). Solve -m = -5*z + f, -23 = -0*z - 5*z + 4*m for z.
3
Let r(i) = i**3 + 7*i**2 + 8*i + 6. Let b be r(-5). Let g = -6 + 6. Suppose g = -3*l - 2*l. Solve -m - m + 4*x + b = l, 5*m = -x + 7 for m.
2
Let y be (-4)/(-10) - 46/(-10). Let c(m) = 3*m**2 - 35*m - 4 + 21*m + 0. Let t be c(6). Solve -5*i + t = -y*g, g + 15 + 1 = 4*i for g.
0
Suppose -4*q = 333 - 349. Solve 5 = -2*f - 3*