 -z - 2*z - 5*f, 2 = -z + f for z.
2
Let r be 3/2 - 1/(-2). Suppose 7 = -r*j + 1. Let g(i) = -9*i + 3. Let p be g(j). Solve 4*v = -16, -2*w - p = v + 4*v for w.
-5
Let o(j) = -12*j + 123. Let q be o(10). Let m = 12 + 0. Solve -4 = y, -c + 2*y + m = q for c.
1
Let u(g) = -g**2 - 7*g + 1. Let y = -10 + 3. Let l be u(y). Suppose -v = -2*b + 5 + l, -v + 6 = b. Solve -4*w - 6 - 6 = 0, -v*q + w + 7 = 0 for q.
2
Let c(k) = k**3 - k**2 + k + 2. Let s be 0*(1 - 2)*-1. Let a be c(s). Suppose 15 = 4*r - 17. Solve -f + 9 = -a*d, 5*f + r = -2*d + 29 for d.
-2
Let r = -10 - -15. Suppose r*z = z. Solve z*s + 5*s + 16 = -2*j, 6 = 3*s - 4*j for s.
-2
Suppose 9*h - 75 = 4*h. Let p be 1/((h/12)/5). Suppose -2*s + 9 = s. Solve 3 = -p*n + s*x, -n + 3*x - 9 = n for n.
3
Let n be -5*(26/(-10) - -2). Solve -5*l - n = -h - 0*l, 0 = -4*h + 3*l + 12 for h.
3
Suppose 0 = 4*b - 5*p + 6*p - 17, 4*p + 12 = 4*b. Solve -30 = v + 4*v - b*j, 2*j - 6 = -2*v for v.
-2
Suppose -3*z + 2*j = -1 - 0, 0 = 5*z + 2*j - 23. Let n be 2 + 2/(-4)*-6. Suppose w = -n*g + 23, 0*g + g = 5*w - 11. Solve -3*y = u, -z*y = g*u + u - 12 for u.
3
Suppose 0 = -w + 2, -4*l + 6 + 0 = 5*w. Let s = l + 5. Solve -8 = 2*u - y + 3*y, 2*u + 12 = -s*y for u.
-2
Let t(o) = o**2 - 6*o + 4. Let h be t(8). Suppose -z - 4*z = -h. Solve -j + z = -3*f + 1, 6 = 4*f + 2*j for f.
0
Let z = -485 - -490. Suppose -2*a = -0 - 8. Solve 4*d = a, 2*t = -t - d - z for t.
-2
Let q be (4/(-5))/((-8)/20). Solve -3*g + 4*h + 25 = 0, g + 15 = -5*h - q for g.
3
Let i(a) = -a - 6. Let l be 161/5 - 1/5. Suppose -p - 3*p = l. Let k be i(p). Solve -3*v = -k*h + 4, -4*v - 2*h = 7 + 17 for v.
-4
Suppose -2*l = 4*l. Solve 3*z + 2*j - 7 = 0, -j - 2*j - 3 = l for z.
3
Suppose 5*b - 92 = -5*a + 23, 3*a - 4*b = 48. Suppose -4*g - 3*q = -a - 20, -g + 10 = -4*q. Let o be 26/g - (-4)/10. Solve c + 5*f = -c - o, -c - f = 0 for c.
1
Suppose 5*x + v = x - 4, 2*x + 4*v + 16 = 0. Solve -3*w = 2*b + 3, x - 6 = 2*b for w.
1
Suppose -4*u = 5*y - 18, 4*y - 12 = -3*u + y. Suppose -4*v = -u*v - 20. Solve 2*a = o + 6, o = -4*a + v + 8 for o.
2
Suppose -2*q + 8 = -0*q. Suppose k - 2 = f + 6, 0 = -5*k + q*f + 35. Let o be (-138)/(-4)*2/k. Solve o = 2*g + 5*r, -2*r = -g - g + 2 for g.
4
Let p be 2/2*(-1 + -2). Let v be 15/9 - 1/p. Solve -4*h - v = -5*l - 13, 3*h = -2*l + 14 for l.
1
Suppose 5*n + s - 6 = 9, 3*n = -s + 7. Solve -3*h + n*r = 11, -r + 7 = -h + r for h.
3
Suppose 2*h + 2*f + f = 40, -f = 4. Let g(t) = -t**3 + 8*t**2 - 15*t + 5. Let y be g(5). Solve 5*m + 2*l = 23 - 0, h = y*m - l for m.
5
Suppose 3*h + 52 = 145. Solve 2*u - 4*u - 4*o = -12, -4*u - h = -3*o for u.
-4
Suppose -6*o - 5 = -29. Solve 3*z + 3 = 0, 3*v - 6 = -o*z - 7 for v.
1
Suppose -5*v = -25, -5*o + 0*v + 4*v = 0. Solve 0 = -4*f - q - 4, 4 = -4*f + o*q - 0 for f.
-1
Suppose -d - 9 + 16 = 0. Solve -7 = -4*o + 4*q - d*q, 3*o - 8 = -5*q for o.
1
Let w(f) = f + 19. Let s be w(-17). Solve 0 = g - x - 2, -2*x = -g - 4*x + s for g.
2
Let v(a) = -3*a - 5. Let p be v(-4). Let q = 18 + -16. Let i = p - q. Solve -g + i = 0, u - 5*g + 37 = -3*u for u.
-3
Let r be 1/(3*3/36). Suppose -3 = 4*l - 3*p, l - r*l = -5*p + 16. Let q be (4/(-2) + l)*0. Solve -5*w + 5*k - 15 + 0 = q, 0 = -w + 5*k + 5 for w.
-5
Let t(u) = -u**2 - 12*u + 3. Let d be t(-12). Solve 0 + 5 = i + d*p, 5 = -5*i - 5*p for i.
-4
Suppose 6*i + 5 - 23 = 0. Let q(o) = -38*o**2 - 1. Let u be q(1). Let n = u + 61. Solve 5*s + n = -5*w - 3, 3*s = i*w + 15 for s.
0
Suppose -17 = -5*f + 3. Solve 0*v + 4*v = -5*n - 8, -f*v - n = 8 for v.
-2
Let a be (-1 - 2/4)/(12/(-16)). Solve 3*i + a*i - 20 = -4*q, -4*i = 0 for q.
5
Let o = -5 + 7. Let v = -19 + 17. Let x be (-24)/10*5/v. Solve -3*y = x, 3*y + o = c + 1 for c.
-5
Let v(u) = 3 + 3 + u - 2*u. Let o be v(3). Solve -o*t = -3*c - 12, -2*t + 3*t - 3*c = 2 for t.
5
Suppose -3*c + 6*c = 9. Solve -c*s - 6 = d - 2, d - 2 = 3*s for s.
-1
Suppose -2*v + 5 = -1. Suppose -v*k - 2*k = -10. Solve k*p = -5*l - 16 - 1, 21 = 4*p - l for p.
4
Suppose -5*i + 26 = -4. Let m(a) = 11*a. Let y be m(1). Let k be 11/y*3*3. Solve -2*c - i*d = -3*d + k, 0 = -5*d - 25 for c.
3
Let p be (-679)/(-35) + 6/10. Suppose -m = 4*m - p. Solve 2*y + 5*u = -14, 0 = -y - m*u + 3*u - 1 for y.
3
Let k(m) = 3 - 3*m**2 - 2 + 6*m + 5. Let x(b) = -7*b**2 + 11*b + 12. Let o(r) = -5*k(r) + 2*x(r). Let c be o(9). Solve c*h - p = p + 1, 13 = 4*h - 5*p for h.
-3
Let g = -5 + 9. Solve 3*b = -2*a + 4, g*b - 3*b - 5*a = -27 for b.
-2
Let d be 4/(-6) - (-231)/63. Solve -x = -q - d, 2*x = -0*x - 4 for q.
-5
Suppose 4*a - 2*a = 3*a. Solve a = -2*j + 3*o + 10, 4 = 4*j - o - o for j.
-1
Let h(r) = 7*r**3 + 6*r**2 + 6*r - 5. Let n(f) = -f**3 - f**2 - f. Let v(k) = -h(k) - 6*n(k). Let a be v(0). Solve 4*c + 4 = -2*b, -a*c + 5*b + 23 = -2*c for c.
1
Let d(f) = 10*f - 1. Let w be d(-2). Let c = -8 - w. Suppose b = 3 - 1. Solve 5*t + 0*t = -5, 0 = b*p + 3*t + c for p.
-5
Let f(r) = 5*r**2 + r + 2. Let s be f(-1). Solve u + 3*m - 7 = 0, -2*u + 2*m = 6*m - s for u.
-5
Suppose 5*v = 2*b + 9, 2*b - 4*v + 7 = 1. Solve 3*w = 12, -w - b = 2*z - 17 for z.
5
Let s(m) be the first derivative of m**4/4 + 4*m**3/3 - m**2/2 + m + 3. Let i be s(-4). Let w = -2 - -4. Solve -w*k - 1 - 1 = -4*g, -i*g = -5*k + 10 for k.
5
Let y be 8/5 + 6/15. Suppose 3*k + 4*s - 13 = -0*k, -s = -1. Suppose -4*v - 4 = 4*n, -4*n + k*v = v - 20. Solve -2*t = -0*t + 2*j + 12, -n*t + y = -2*j for t.
-2
Let u = 150 + -137. Solve 1 = -2*k + 3, -2*f = 5*k - u for f.
4
Let a = -3 + 5. Suppose 4*n = a + 6. Solve -2*j = -n*z - j - 6, -3*z - j + 1 = 0 for z.
-1
Suppose 5*q + 0*q = 20. Solve -3*o - o + 12 = -4*t, -q*o = 3*t - 5 for t.
-1
Suppose -2*j = 2*z + 2, 0 = -0*z + z + 1. Suppose -2*u + j*u = -8. Solve -25 = -5*a - 5*k, -u = 2*a - 6*k + k for a.
3
Suppose -2 + 12 = -2*s. Let f be 3/3*(-9 - -2). Let d = s - f. Solve -d*v + 0*v = -y - 8, 4*y + 16 = 4*v for v.
4
Let a be 7 - 0 - (5 - 4). Let y = a + -1. Let l = 8 - 4. Solve -9 = -l*d - c, 3*c + 6 = -4*d + y*c for d.
1
Let y be 2/(-6) - (-25)/3. Let z = 13 - y. Let t = 11 - 8. Solve q + t = z*p - 11, 2*q = -3*p - 2 for p.
2
Let z(t) = -t**2 - 13*t - 9. Let u be z(-12). Solve u*n - 2*a = a - 27, 3*n = -2*a - 7 for n.
-5
Let p = 17 - 15. Solve i = 2*k + p, -32 = 3*k + k + 5*i for k.
-3
Let u(j) = -j**2 + 10*j - 6. Let n be u(7). Suppose -n = q - 4*q. Solve -4*c = -2*t + 18, -3*c - 7 = q*t - 0*t for t.
1
Let x be ((-2)/(-4))/(3/12). Let d be ((-3)/x)/(9/(-12)). Suppose 15 = 5*m + w, 3*w - 10 = -5*m + w. Solve t + m = -f, 0*f - 8 = d*t - 3*f for t.
-4
Suppose 3 = -r - 4*o, -r + 1 = 4*o - 2*o. Solve -3 = -4*q + i - 15, -r*q - 8 = -3*i for q.
-4
Suppose -4*n + 24 = 2*l, 2*n - 4*l + 33 = 7*n. Let k = 7 - 5. Suppose -i + 19 = -4*d, 5*i + k*d = -2*d + 23. Solve -z + i = 4*u, 2*u + 1 + 0 = -n*z for z.
-1
Suppose 0 = 8*c + c - 36. Solve u = -0*u - c*i + 6, 5*i = -3*u + 11 for u.
2
Suppose -3*x = -3*g - 3, 21 = -3*g - x - 2*x. Let t = 4 + g. Suppose 2*c - 3*c + 4 = 0, 3*d + c - 70 = t. Solve -3*l = 2*l + s + d, -2*s = -6 for l.
-5
Let m = -5 - -7. Suppose 2*i = -2*k + 6*i + 18, 5*k - 9 = -m*i. Solve -k*y = -2*p + 2*y - 14, 0 = 4*y - 8 for p.
-2
Let d(r) = -2*r**2 + 2. Let t be d(2). Let q be (t + 4)*14/(-4). Solve 1 = -3*x + 5*y + 8, x = -3*y - q for x.
-1
Let c be ((-44)/12 + 1)*3. Let h = 18 + c. Solve -3*n - k - 2*k = 0, 3*n + k = -h for n.
-5
Suppose -6*j + 2*j = -8. Let a = -13 - -25. Solve -o + 5*w + a + 2 = 0, -2*w - 8 = j*o for o.
-1
Suppose -2*i = 11 - 15. Solve 4*d - d = -i*h + 7, 3*h + 4*d - 10 = 0 for h.
2
Suppose -4*h = -7*h + 6. Solve 1 - 11 = 2*n + h*s, 4*s = n - 15 for n.
-1
Let p = 3 + -1. Let h = 2 - p. Solve -2*c - 6 = h, 5*g - 16 = -2*c + 4*c for g.
2
Let b(h) = 2*h + 13. Let o be b(-5). Solve -2*x - 5*p + 4*p = 3, -4*x - 5*p = -o for x.
-3
Let o be (30/25)/(1 - (-2)/(-5)). Solve -o*b + 5 = -n, b = 4*n - 0*n + 6 for b.
2
Suppose 4*m - 8 = 20. Solve 4*x - 16 = 4*b, -b + m = 4*x + 1 for x.
2
Let z(l) = -5*l**3 - l**2 - 1. Let o be z(-2). Suppose 10 = -c + 3*c. Suppose 0 = c*w - 25, -4*w + 35 = 4*x - x. Solve 3*s = x*j - o, j = -3*s + s - 6 for j.
4
Suppose 4*i = -5*s + 7*i + 113, 2*i = 4*s - 92. Solve j - 2*j + 5 = 0, 5*q - 3*j + s = 0 for q.
-2
Let t = 78 + -77. Solve 2*y - 10 + t = 3*q, -5*y - 3*q = -12 for y.
3
Let j be (20/15)/((-1)/(-