Let w(f) = -f**3 + 3*f - 3. Let l be w(2). Let a be ((-12)/5)/(l/c). Solve -4*i = -5*k + a, k - 5 = -3*i + 5 for i.
2
Let i(f) = -f**2 - 6*f + 10. Let k be i(-7). Solve 2*z + 2*d - 6 = 0, -k*d + 4 - 1 = z for z.
3
Let x be 20/50 + 8/5. Solve 4*i + 30 = -4*v + x*i, -3*v = i + 20 for v.
-5
Suppose 11 = -v - 4*t - 5, -5 = -t. Let q be (-2)/9 + 136/v. Let l be 10*(-6)/q*1. Solve -l = 5*k - 3*n, -3*k + 6*k + 4*n + 9 = 0 for k.
-3
Let o = -1 + 6. Let h be 8*(0 - (-4)/16). Suppose -3*c - s = -15, -1 = -h*s + 5. Solve -o*l + c*l = z - 9, -4*l = 2*z - 26 for l.
4
Let a = 11 - 18. Let r be -2 + (1 + a)*1. Let m be (-2)/8 + (-26)/r. Solve y = -0*p - 2*p + 8, m*y - 4 = -2*p for p.
5
Let y be ((2/4)/(-1) + 1)*4. Solve 5*q + 9 = 4*m, 5*m = q + y*m + 4 for q.
-1
Suppose 5*k = 4*r - 0*r + 49, -19 = 4*r + k. Let o(j) = j**2 + 4*j + 4. Let i be o(r). Solve 4*g = -5*y + i, y - 2*y + 4 = g for y.
0
Let a(x) = -5*x - 1. Let u be a(-1). Suppose 6 + 22 = -u*v. Let n = 11 + v. Solve 0 = -5*s - 5*t, -5*s + 0*s - 3*t - n = 0 for s.
-2
Let i(z) = 5*z**3 + z - 1. Let q be i(1). Solve q*k = 3*n + 4, -k = -5*n + 5 + 3 for n.
2
Suppose 4*z - 20 = 0, 14*z = a + 18*z - 42. Solve -m + a = 4*m + 3*h, -h - 6 = -m for m.
5
Suppose m + 7 = -3. Let q(s) = -s**2 + 2. Let v be q(2). Let p be v/(4/m - 0). Solve 5 = 4*g + 4*x - 3, p*g - 5*x - 30 = 0 for g.
4
Let c be (0 + 13/(-2))*-2. Let t = -9 + c. Let s = 2 + t. Solve -k = -2, 3*a = k - s*k + 7 for a.
-1
Let a be (-400)/(-150) + 2*(-1)/3. Solve 3*d = -3, 4*u + 10 = -0*u + a*d for u.
-3
Let n(l) = 8*l - 67. Let r be n(9). Solve 3*y - 9 = -3*o, -r*o = -3*o + 3*y - 5 for o.
4
Let o(r) = 3*r - 8. Let s be o(4). Solve -s = -2*f, 2*v - 4 = 4*v - 2*f for v.
0
Suppose 0*r - 4*r = 0. Let a(d) = d - 1. Let m be a(-4). Let y be (5/2)/m*0. Solve y = u + 6 - 4, r = -2*o + 2*u + 2 for o.
-1
Let c(q) = -q**3 - 5*q**2 - 7*q - 1. Let f be c(-3). Solve f*a + 5*s + 22 = 0, 0 = -0*s - 2*s - 8 for a.
-1
Let a(g) = 2*g - 6. Let w be a(3). Suppose -3*x + 2*z + 10 = w, 14 = 4*x + 3*z - 5. Solve -2*r - 5*c = 13, -3*r - c = -x*r - 3 for r.
-4
Suppose 3*x = 2*t + 15, 6*t + 20 = 2*t + 4*x. Solve 0 = 6*h - h - 5*o, 2*o + 2 = t for h.
-1
Let y be (-15)/75 - (-32)/10. Solve 2*c = y*k, 0*c - k = c for c.
0
Suppose 0 = 5*b - 6*b + 3. Suppose -5 = -g - b. Suppose 0 = -g*x + 38 + 8. Solve -4*y + 5*r = -0*r - 30, -5*y = r - x for y.
5
Suppose 0 = -o + 2 + 6. Let b = -3 + o. Solve 13 = 3*y + 4*t, b*y - 4*y - 1 = 2*t for y.
3
Suppose -17 = -2*k - 3. Solve 2*h = -4*v, -12 = 3*v - k*v + h for v.
2
Suppose -2*h + 4 = -4*h. Let u = h - -2. Suppose -3*z + z = u. Solve z*p - 4*v + 6 = p, -p = v for p.
-2
Suppose 7*o = 3*o + 72. Solve -5*a - o = -l, -3*l - 4*a - 10 = 12 for l.
-2
Let j be (-12 + 12)/(6/2). Solve -5*g - 5*i + 5 = j, -i - 9 = -4*i for g.
-2
Let d = 11 + -6. Let i be 16/6 + (-2)/3. Let c = 0 + i. Solve d*u = -4*r + 5 - 19, 5*r = -c*u - 9 for u.
-2
Let o = 214 - 355. Let h be (3/9)/((-1)/o). Suppose 5*q = -0*g - g + 31, -2*g = -5*q - h. Solve g = -3*f + 5*v, 4*f - v = 3 - 15 for f.
-2
Suppose 5*q = 5*g + 14 - 79, 2*g - 5*q = 29. Let y be 0 + 17*(1 + 1). Suppose -y = -h - g. Solve 2*u - h = -3*v, 4*v - 3 = -5*u + 38 for u.
5
Let q(n) = n**3 + 4*n**2 + 2*n. Let o be q(-2). Suppose o = 4*i - 2*i. Solve -i*v + 8 = 4, 3*v = -3*z for z.
-2
Suppose -3*s + 3 = -9. Suppose -5*f = -s*a - 26, 2*f = -0*f - a. Solve -2*z = -3*h - 9, 3*z - 1 = f*h - 0 for z.
-3
Let u(k) = k**3 - 1. Let a be u(1). Let v = -314 - -325. Solve -4*g + v = 3*x, 0*x - x - 2*g + 7 = a for x.
-3
Let p = 49 + -31. Suppose 3*l - p + 3 = 0. Suppose 0 = -4*u + l*u - 2. Solve -u*g = 2, 4*g = 2*w + 2*g for w.
-1
Suppose -i = 3*i. Suppose 2*n - 2*m + 8 = -6*m, i = 4*n + 3*m + 6. Solve l - s + 2 + 1 = 0, -4*l - s - 12 = n for l.
-3
Let m(q) = q**3 - 5*q**2 + 6*q - 4. Let u be m(4). Let n(w) = w - 1. Let c be n(u). Solve -c*y - 4*k + 8 = -7*y, 4*y + 7 = 5*k for y.
-3
Let l(s) = -s**2 - 17*s - 11. Let g be l(-16). Suppose -4*m - m = 2*w, 10 = -g*m - 4*w. Solve v - 4*i - 14 = 0, 5*i + 10 = 4*v - m for v.
-2
Let o = -24 + 36. Let n(r) = r + 2. Let k be 1/(-2)*(7 - 7). Let m be n(k). Solve -4*v = 4*x + o, 5*x + m*v = 2*x - 9 for x.
-3
Let s = 0 - 1. Let x be 7/2 - s/(-2). Solve 2*u + 5 = -x*u, -d - 3 = 5*u for d.
2
Let d be 3*1 + 8/(8 - 16). Solve -2*j + 3 = s + d*s, j = s + 4 for j.
3
Let k = -4 - 4. Let u = -5 - k. Solve 4*q + 8 = 5*q - d, -u*d + 11 = 4*q for q.
5
Let f = -102 - -107. Solve -f*v + 3*v = 4*o + 24, 3*o - 3*v + 9 = 0 for o.
-5
Suppose 38 = 5*p + 13. Solve -p*f + z = -22, f + 0*f + 5*z = -6 for f.
4
Suppose -4*f + 31 = -0*f + 5*q, -3*q + 21 = 3*f. Solve -f*k - 4 = p, -3*p - 12 = 2*k - 0*p for k.
0
Suppose q = -l - 4*q + 1, 5*l - 5 = 2*q. Solve -l = -o - 2*p + 5*p, -3*o = -p + 5 for o.
-2
Let q = -41 - -45. Solve -2*i - 5*r + 0 = 2, -4 = i + q*r for i.
4
Let s(m) = m**2 + 7*m - 6. Suppose -3*g - 23 = t, -44 = 5*t - g - 9. Let n be s(t). Solve -n*q = -5*q + d + 14, 5*q - 2*d - 24 = 0 for q.
4
Suppose 2*m = 2, -2*n - 8*m + 20 = -6*m. Solve -3*w - 4 = 2*v - 21, n = -v + 2*w for v.
1
Let y be ((-2)/5)/(28/(-210)). Solve -5*p - y - 2 = k, -4*k = p + 20 for k.
-5
Let d(c) = -c**2 + 12*c + 16. Let b be d(13). Solve -4*o + 3*k + 9 = -5*o, -b*o = k + 3 for o.
0
Suppose 2*m + 8 = u, 2*m = 3*u + 2*u. Let j be m/(-20) + (-38)/(-8). Let t(c) = c - 2. Let s be t(j). Solve 3*w = -o - 3, 6*o = -2*w + s*o + 5 for w.
-2
Let y = -13 - -18. Let v(d) = d + 2. Let p be v(7). Let m be (5 - p/3) + 0. Solve -y*w - 3 = u - 2, -m*u + w + 9 = 0 for u.
4
Let j = 6 + -3. Let d(q) = 3*q + 1. Let r be d(-1). Let k be (-9)/r - 1/(-2). Solve 5*w - k*x = 15, 0 = -7*w + j*w + 2*x + 16 for w.
5
Let l(i) = -i - 6. Let j be l(-8). Let g = j + 2. Solve 4*k = 5*z - 0*k + 28, -g*z - 14 = k for z.
-4
Let i = 9 - 5. Suppose 14 = 4*z - 2*x, -3*z + 6*x + 8 = 2*x. Suppose -2*d = -i*d + z. Solve -2 = -5*w - d*l - 8, -2*l = 4*w + 4 for w.
-2
Let s = 6 - 6. Let i(r) = 5*r - 35. Let l be i(8). Solve -d + 1 = -2*m - m, -2*m + l*d + 21 = s for m.
-2
Suppose 2*h = -2*f + 8, 6*f - 2*f - 13 = -h. Suppose 0 = -0*l - 5*l - 35. Let x = l - -12. Solve 2*i + i - q = h, x*i = -q - 9 for i.
-1
Let u(i) = -11*i**2 + 4*i - 1. Let m(s) = 11*s**2 - 3*s + 1. Let l(a) = 4*m(a) + 3*u(a). Let f be l(1). Solve 2*x + 3*x - 3*o = 11, 0 = -4*o + f for x.
4
Let b = -6 - -3. Let m(t) = t**3 - 6*t**2 + t - 1. Let y be m(6). Let w = b + y. Solve 0 = -4*p - w*g + 18, g = -4*p + 6*g + 25 for p.
5
Let p be 1/(12/(-16)*2/(-3)). Solve -m + 7 = p, -a + 2*m - 5 = 0 for a.
5
Suppose -7*f + 10*f = 9. Solve -2*i - f*a + 18 = 2*a, 0 = 3*a - 6 for i.
4
Suppose 2*v - 15 = -3*v. Solve -p + 5*a + 14 = -4*p, -v*a + 12 = -5*p for p.
-3
Let g(f) = f**3 - 2*f**2 + 5*f - 2. Let l be g(3). Suppose 0 = -k + 1 + 23. Solve 4*n - 3*n - 5*j = l, 2*n = 5*j + k for n.
2
Let c(z) = 7*z - 4. Let f be c(2). Let m = f - -4. Solve -4*w = -b - 6, -4*b = -3*w + m - 3 for b.
-2
Let d(i) = i**2 + 3*i + 3. Let p be d(-2). Let z = p - -2. Suppose 3*u + z = 0, -4*f + f + 9 = -3*u. Solve o + 3*c + f = -0*o, -4*o + c = 8 for o.
-2
Let c = 10 + -7. Let w = 178 + -178. Solve c*b - 2 = -w*k - 2*k, -2*b - 2 = 2*k for k.
-5
Let w = -1 - -4. Solve 0 = w*t - 2*b - 6, 0 = 2*t - 6*t + 3*b + 9 for t.
0
Let r = 3 + 15. Suppose 4*h = -5*a + 10, 2*a + 5*h - 6 = -2. Suppose -a*s = -6*s + 16. Solve r = 3*w - 0*d + 5*d, -5*d = -s*w - 11 for w.
1
Suppose -y - 14 = -5*t + 3, -5*y + 4*t - 1 = 0. Let f(b) = 2*b - 2. Let g be f(y). Solve 3*s + 17 = g*k - 0*k, -5*s + 5*k - 20 = 0 for s.
1
Suppose 5*m - 23 = -3*x - x, 0 = -x + 5*m - 13. Suppose 5*o + 3*p + 23 + 7 = 0, 29 = -3*o - 4*p. Let j = x - o. Solve 1 = 2*a + j, 5*z = 2*a - 11 for z.
-3
Let d = 9 - 14. Let a be -3 + 6 + 0 - d. Solve -4*y + 4*m + a = 0, 3*m = -4*y - m + 16 for y.
3
Let a(d) = -2*d + 14. Let r be a(-10). Solve -4*c - 2*i - 8 = -30, 5*i - r = -3*c for c.
3
Let n be ((-28)/(4 + 0))/(-1). Solve s + 5*p = -0*p + 11, -4*s - 3*p = n for s.
-4
Suppose c - 1 = 0, 5*u - 2*c = 2*c + 16. Solve 3*o - 2*q = -3, -3 = 3*o - u*q + q for o.
-1
Let l(y) = -8*y**3 - 2*y**2 - 3*y - 1. Let s be l(-1). Solve -3 - 3 = -3*g + 3*u, u + s = 4*g for g.
2
Suppose 2*n - 1 = -45. Let m be n/(-5) + 8/(-20). Solve -4*l - 2 - 2 = 0, m = -4*d + 4*l for d.
-2
Let f be (((-6)/(-4))/1)/(72/384). Let u(l)