 Solve 4*u = n - 1, -2*n + b = u - n for u.
1
Suppose 0 = 4*v + 12, -2*f + 0 = v - 1. Solve 4*w + z - f*z = -20, w + 3*z = -5 for w.
-5
Let a = -12 - 0. Let j = a - -17. Solve -29 = -b + 6*b + 4*g, 3*b - j*g + 10 = 0 for b.
-5
Let i = -3 - -7. Suppose -2*r = w + 2*r - 30, -2*r - 40 = -5*w. Let f = 14 - w. Solve 4*j = i*s - f, -2*j - 11 = s + j for s.
-2
Suppose 0*d + 6 = -3*d. Let m = 0 - d. Solve 0*a + 2*c + 23 = -5*a, c = -m*a - 10 for a.
-3
Let j be (-13)/(-3) + (-2)/6. Solve 3*i + j*h = -2*i - 18, 4*h = -8 for i.
-2
Suppose 7*y + y = 24. Let x = 15 + -5. Let p be (-53)/(-5) + 4/x. Solve -2*o - 3*o = -a - 28, -4*o = y*a - p for a.
-3
Let f be 0/((-44)/(-10) + 18/(-45)). Solve f = -3*v - 4*n + 23, -4*n + n = 3*v - 18 for v.
1
Let x(p) = p + 14. Let u be x(-12). Let n be (-110)/(-8) - 1/(-4). Let w = 5 + -3. Solve t = w*k + n - u, -k = t + 3 for k.
-5
Suppose 21 - 9 = 3*w. Let a be 14/3 + w/(-6). Solve 2*l + a*j = -14, l - 7 = 4*j + j for l.
-3
Suppose -4*s + 4 = 3*j, j + 4*j + 3 = 3*s. Solve -2*a - 3*y = -0*a + s, 5*a - 2*y = 7 for a.
1
Let r(f) = f**3 + 7*f**2 - 2*f + 7. Let w be 2*(5/(-2) - 1). Let t be r(w). Suppose -t - 3 = -4*v. Solve -6 = -h - 2*h, 0 = -4*y - h + v for y.
1
Suppose 2*w - 3 = 1. Let n be 64/10 + (-6)/15. Let k be 0*(w - -1)/n. Solve 5*x + p + 15 = 35, k = x - 4*p + 17 for x.
3
Suppose i - l - 2*l = 16, -5*l - 20 = 5*i. Let y be 1/(i + 18/(-16)). Let z = -4 - y. Solve o = 4*g - 14, g - o - 1 = z for g.
3
Let j(g) = g**3 - 4*g**2 - 5. Let i be j(4). Let m(s) = s + 7. Let q be m(i). Solve -w - 5*p = 3, 3*w + q*p = -0*w + 4 for w.
2
Suppose 2*f = 4*j + j + 18, -3*j - 3*f = 15. Let i be (-3 - j/4) + 16. Solve -m + 4*k = -10, -2*m = -3*k - i + 4 for m.
2
Suppose -4*m = m. Let z = m - 4. Let r = z + 6. Solve 5*o + 5*q - 5 = 0, 4*o - 4 = -5*q + r for o.
-1
Let a = 54 + -49. Solve -a*o - 18 = 2*z, -2 = o + z + 4 for o.
-2
Suppose 4*d + 4*y + 12 = 0, -d + 2*y + 8 = -4. Let i = 5 - d. Solve p + 3 = -i*m - 2, 3*p - 5*m = -15 for p.
-5
Let n(b) = b**2 - b - 4. Let i be n(-3). Let g = 2 + i. Solve y - 5 = h, -2*y = -7*y - 2*h - g for y.
0
Suppose a - r = 5*a - 11, -5*r = -a + 29. Solve 4*v - a*m + 32 = 4, v = -4*m + 8 for v.
-4
Suppose -h - 4*j + 6 - 2 = 0, 1 = -5*h + j. Suppose r + 4*r - 150 = h. Suppose -2*o = 3*o - r. Solve -3*n + 3*b - o = 0, n + 2*b + 2 = 4*b for n.
-2
Suppose b + b - 4 = -3*a, -a + 16 = -3*b. Solve -a*x + 7 = -x - 4*k, 4*x + 4*k = -28 for x.
-3
Let r(g) = g**2 - 3*g - 3. Let z be r(-3). Suppose 20 = 5*v - 5*o, -2*v = -2*o - 3*o - 20. Solve 3*u - u + 3*m - 1 = 0, 5*m + z = v for u.
5
Let g(u) = -u - 7. Let o be g(-9). Solve 4*h - o = -2*j - 10, -2*h + 20 = -5*j for h.
0
Suppose -3*k + 3 = -9. Suppose -k*y - 5 = y. Let g be 0 + y/(-2)*2. Solve -3*f - 2 = -w + g, 2*w + f + 1 = 0 for w.
0
Suppose f - 5*f - 2*i = 0, 3*i + 20 = 4*f. Solve -y - 5*b + 1 = 0, -2*b - f*b - 5 = -5*y for y.
1
Let h(b) = -b**2 + 4*b + 21. Let s be h(7). Let z = 62 + -37. Solve s = -5*c + z, -2*c = 5*l + 3*c for l.
-5
Let j(c) = -c + 9. Suppose 4*k + 5 = 5*k. Let s be j(k). Suppose -4*a + s = -2*a. Solve 2*f = 7*f - a*y - 12, 5*f - 3*y = 8 for f.
4
Suppose -4*y + 13 - 1 = -4*a, -y - 5*a = 3. Solve -y*t = 2*t + 2*z + 24, -2*t = -z + 4 for t.
-4
Let v be (-6)/(-3*(-4)/3 + -5). Solve 4*w + h = 11, -5*w - 2*h + 7 + v = 0 for w.
3
Let h(q) = q**3 - 2*q**2 - 2*q - 4. Let r be h(3). Let n be (-5 - -2)/(-6)*2. Let y = n - r. Solve -3*u + y*x = -13, -2*u = 2*u + 2*x - 8 for u.
3
Suppose -4*q - 16 = -3*q. Let l be q/(-10)*(-5)/(-2). Let s = l + -1. Solve o - 2*j - 6 = -s*o, 2*j = -2 for o.
1
Let m(f) = -3*f - 3. Let x be m(-2). Solve -4*o = -3*l - 24, x = o - l - 4 for o.
3
Let n = -2 - -4. Suppose n*h - 8 = -2*h. Solve y = -y + a - 10, -h*y - 5*a + 2 = 0 for y.
-4
Let q be ((-2)/8)/((-4)/16). Solve f + q = -0*a - a, 5*a = -2*f + 1 for f.
-2
Let u(j) be the third derivative of -j**2 + 0 - 1/8*j**4 + 0*j + 0*j**3. Let r be u(-1). Solve -2 = -2*g - 3*c, -r*g + 4*c = c + 12 for g.
-2
Let h be 7 + (1 + -3)/(-2). Let s = h - 8. Solve 5*k - 2*c = c - 16, s = 2*k - 2*c + 8 for k.
-2
Let k be 11/2 + 1/(-2). Suppose k*q + 2 = 32. Solve f + q + 2 = -4*v, 5*f = -5*v + 5 for f.
4
Let x be 6 - (1/4)/((-8)/(-32)). Solve 13 = -p + x*p - 5*g, -p + 2*g = -4 for p.
2
Let t = -4 - 0. Let m be (t - -2) + -1 + 7. Solve -c = 2*r + 12, 2*c + 5*r = m*c - 12 for c.
-4
Let j(s) be the first derivative of s**2/2 - 7*s - 1. Let d be j(10). Solve -3*z - 2*v = 4, -d*z + 12 = -4*z + 2*v for z.
-4
Let i be (-4)/(-24) + (-267)/(-18). Solve -4*h + 3*l = -25, 6*h - i = 3*h + l for h.
4
Let f(j) = 1 + 0*j + 4*j + 2 + 3*j**2 + 0*j. Let p be f(-3). Let z = 0 + p. Solve -5*v - 5*c = -c - 37, -3*v + z = c for v.
5
Let w be (-102)/(-27) + 6/27. Suppose -5*c + 23 = -4*l, 2*c + 0 - w = -l. Solve -c*h - 3*u + 2 = -1, 3*h = -4*u + 5 for h.
-1
Let j be 3/(-1)*(-50)/(-15). Let b be 1/(-5) - 52/j. Solve 0 = c - a + 5, b*c - a + 14 = 1 for c.
-2
Let n(f) = -f**3 + f + 5. Let k be n(0). Solve -4*a + u = 14, -k*a + u - 22 = 2*u for a.
-4
Suppose -5*p + 6 + 19 = 0. Let v = p + 13. Suppose 3*i + 3 - v = 0. Solve -i*q - 4*j = -2*q + 2, 3*q + 9 = 3*j for q.
-2
Let t(h) = -2*h - 6. Let y be t(-4). Suppose f = -y*f + 12. Solve -4*g - 13 = u, -u - 2*g - 5 = f for u.
-5
Let u(d) = -2*d + 5 + 2*d**2 - 16 - d**3 - 10*d**2. Let q be u(-8). Let v(j) = -j + 3. Let y be v(3). Solve -36 = -0*i - q*i - 4*c, y = 2*i - c - 4 for i.
4
Suppose l - 6 = -1. Solve l*t + 21 = p + 1, 0 = 4*p for t.
-4
Let p(o) = o + 10. Let k be p(-7). Suppose 4*c = -k*t - 4 - 3, 3*c = -4*t. Suppose -5*s = -t*s. Solve s*n = -2*u + 2*n + 8, 5*u + 15 = -2*n for u.
-1
Suppose 2*w + 4*c + 2 = -0*c, 0 = 5*c + 15. Let x be (w/10)/(1/52). Solve 5*g - 20 = -4*h - 8, -5*h + 4*g = x for h.
-2
Suppose 3*n - 13 = -1. Solve 8 + 8 = -4*r - 5*k, -4*k - 16 = n*r for r.
-4
Let o(i) be the first derivative of -i**4/4 - 2*i**3 + 7*i**2/2 + 7*i - 3. Let l be o(-7). Solve 3*m - 3 = 3*z, -4*z + l = m + 1 for z.
1
Let l be (13 - -2)*(-180)/(-25). Suppose l = y + 5*y. Suppose 0 = -a + 5*f - 10, -4*f = -2*a - 8 - 0. Solve 4*v - 2*c + y = 0, 0 = -a*v + 5*v - c + 18 for v.
-3
Let w be ((-33)/(-6))/((-1)/(-2)). Suppose 2*s - 1 = w. Solve -6*j - s = -5*v - 5*j, -4*v = 2*j - 16 for v.
2
Let i(z) = z + 3. Let s be i(-3). Suppose -5*l + 25 = -0*l. Solve w + s*j - 8 = 2*j, -j = -l*w + 22 for w.
4
Let r be ((9 - 1)/4)/((-2)/(-3)). Solve -2*p + r*s = -2*s, -p - 5*s + 15 = 0 for p.
5
Let b be -5*(18/15)/3. Let f be b - 5/(15/(-12)). Let c be ((-2)/f)/(6/(-30)). Solve 5*h - 4*h = -2, -4*i - 2 = -c*h for i.
-3
Suppose 9 = 7*g - 4*g. Suppose -3 = -g*x + j + 10, x = -3*j - 9. Solve 3*k = x*o - 9, -k - 4*k + 4*o = 11 for k.
1
Suppose -5*u - 2*m = -25, -3*m + 14 = -1. Solve -3*a - 9 = 3*o, -2*a - u*a + 21 = -4*o for o.
-4
Suppose 0*m + 3*m - 3 = 0. Suppose w = o + 22, 4*o = -w + 13 - m. Suppose w = 5*c + 3*t - 1, 2 = t. Solve -3*x = p + 10, 0*x + x = c*p - 10 for x.
-4
Let n be (2 - 0) + 6/(-1). Let i be (1*-1)/(n/8). Solve 2*p - 4*p - i*j - 4 = 0, 0 = p + 3*j + 6 for p.
0
Let s be (-97)/(-9) - 6/(-27). Solve -i + 6*i - 2*b + s = 0, 3*b = -6 for i.
-3
Suppose k = -4 + 6. Let s = -3 + 5. Solve 0 = k*w + m + s, -5 = -2*m - 1 for w.
-2
Suppose 4*t + 15 = 35. Solve -2*m + 4*r - 11 = m, 2*r = -t*m - 1 for m.
-1
Let m = 13 - 8. Suppose s + 1 = m. Suppose -s*o = -10 - 2. Solve o*z - 2*p = -5, p - 6*p = 4*z - 24 for z.
1
Let a = -14 - -20. Suppose -4*k = -26 + a. Solve 0 = k*u + 2*m + 3, 0 = u + 2*m + 3*m - 4 for u.
-1
Let r = 8 + -5. Let c be 4 + (5 - 2) - r. Solve c*k + 8 = 5*j - 3, 3*k - 9 = -2*j for k.
1
Suppose 4*a + 2*s + 3 = 25, a + 5*s - 28 = 0. Solve 0 = -3*z - j + 1, a*z - 4*j + j = -3 for z.
0
Suppose 10 = -3*u - 20. Let m(k) = k**2 + 11*k + 13. Let d be m(u). Let p(j) = j + 1. Let z be p(1). Solve 3*i + z*g = 0, -i - d*i + g = 0 for i.
0
Suppose -4 = -4*c + 4*h + 4, -2*c + 4*h + 8 = 0. Suppose -2*z + 12 = -z. Solve -b = -4*j - 3, 4*j = 4*b - c*j + z for b.
-5
Let s(u) = u**2 - u + 2. Let i be s(0). Suppose 4*c - i*c = 0. Suppose -3*x + 28 - 1 = c. Solve 4*g - q = -3, 2*g - 3*q = 7*g - x for g.
0
Let a be (-1)/2 - (-7)/14. Suppose y + 2 = -a, 5*y + 22 = 3*k. Suppose 0*i = k*i. Solve 5*c - 4*b = 1, i*c + 4*b = 2*c - 10 for c.
-3
Suppose 0 = 4*o + n + 2 - 4, o - n = 3. Let i = 