 = -u*b - 1 + 12 for b.
2
Suppose 19*h + 15 = 24*h. Solve -j - h*j - 4 = -4*x, 5*j = 10 for x.
3
Suppose 4*v = -0*v. Let j(l) = -l**3 - l**2 - l + 2. Let q be j(v). Let k = 1 - -3. Solve 2*i = k*t + 4, i + q*t + 6 = -4 for i.
-4
Suppose -3*a + 8 = -a. Suppose 0 = w, -5*j + 0*w + 10 = 3*w. Let k(b) = b - 3. Let q be k(5). Solve q*t + 10 = a*t - j*h, 0 = -h for t.
5
Let t(s) be the first derivative of s**3/3 - 5*s**2/2 - 3*s + 9. Let c be t(7). Solve 0 = 4*n - 5*m - 21, 0*n - 3*m - c = -4*n for n.
-1
Suppose 2*u - 4*w + 14 = 2, -w = -3*u + 7. Solve 4*f = -m + 4*m - 9, 0 = u*f for m.
3
Let a = 8 + -6. Let o(g) = -2*g**3 + 25*g**2 + 11*g + 26. Let j be o(13). Solve 0 = -4*q - r + 18, a*q - 4*r + r - 2 = j for q.
4
Let r = -8 + 8. Solve 4*z - 40 = -5*d, -d - 1 = -z - r*d for z.
5
Suppose 5*m - 71 = -11. Solve 5*g + 23 + m = 2*s, g + 25 = 4*s for g.
-5
Suppose 9 + 13 = 3*o - 2*j, -j - 5 = 0. Let u = -1 - -1. Solve -o*b + 0*y + y = -12, u = 2*b - 2*y - 6 for b.
3
Suppose 11*t = 9*t. Solve -y - 10 = -3*s, y + s - 6 = -t*y for y.
2
Suppose 15 = 2*v + f + 4*f, 3 = v + f. Solve -h - 17 = 3*u, 0 = -4*h - v*h - 20 for u.
-4
Let d be 0 - (-4 + 4 + -4). Solve -5*n = d*q + q + 5, -n + 3 = 0 for q.
-4
Let p be (-180)/54*(-5)/(25/18). Solve 2*v - 16 = t - v, -2*v = -t - p for t.
-4
Let h(z) = 5*z - 8. Let i(m) = -m + 2. Let s(n) = -2*h(n) - 9*i(n). Let t be s(-7). Solve 3*o + 11 = 4*p, -5*p + t = -2*o - 0*p for o.
-5
Let z be 9*(-2 + 7/3). Solve 2*v - 4 + 24 = 5*o, -v - 12 = -z*o for v.
0
Let x = -3 - -6. Suppose -5*p = -5*o + 5, 9 = 5*p - 4*p + o. Suppose p = -3*z - s + 9, 0 = -4*z + 4*s - 20. Solve z = -3*v - 2*j - x, -3*v - v - 2 = 2*j for v.
1
Let k(i) = i + 12. Let c be k(0). Suppose -2*s - 3 = -5*u - 9, u = 4*s - c. Solve -4*x + s*v + 27 = -x, -3*x - v + 7 = 0 for x.
4
Suppose 0 = 9*u - 5*u. Let i(g) = g**2 - g - 4. Let k be i(4). Let l be (0 + 1 - k)*-3. Solve v + l = 4*r - u*v, 0 = -3*v - 15 for r.
4
Let d be (-20)/6*2/((-8)/30). Solve 0 = x - 5*m - d, 4*m + 7 + 9 = 0 for x.
5
Let o(u) = 3*u - 6. Let r be o(7). Suppose 0 = -0*z + 2*z + 3*m, 3*m + r = 3*z. Solve 3 = -z*k, -5*a + 0*k = -k - 21 for a.
4
Suppose 0 = -2*s - 1039 + 1045. Suppose 0 = -7*t + 3*t + 36. Solve u - 9 = 3*y + s*u, 0 = 3*y - u + t for y.
-3
Let q(d) = 3*d**2 - 3*d**2 + d + 3 + d**2. Let o be q(0). Suppose 5*j + 4*g = 37 + 21, 0 = 4*g - 8. Solve -4*v + 4*w + 25 = -w, -o*v = -2*w - j for v.
0
Suppose b = -5*g + 18, 5*b - 4 = 2*g + 5. Suppose -15 = -b*m + 3*s, -5 + 1 = m + 2*s. Solve 0 = 2*c + m*c - p + 11, 5*p + 20 = -5*c for c.
-3
Let y be ((-1)/2)/((-9)/90). Solve 4*l = -y*d + 14 + 7, -3*l - 2*d = -14 for l.
4
Let h(c) = -3*c + 3. Suppose 0*x = -3*x - 9. Let o be h(x). Suppose 0 = -i + 4*i - o. Solve y = -a - a + i, -2*a = 2*y - 8 for a.
0
Let d(t) = 2*t**2 + 7*t + 4. Suppose 5*j + 14 = -6. Let g be d(j). Suppose 3*v - 8 = -3*x - v, 5*x = -4*v + g. Solve -6*c + 7 = 2*h - c, x = 2*c - 6 for h.
-4
Let x(p) = p + 1. Let f be x(3). Let o = 2 + -4. Let k = o + f. Solve u - 15 = k*u - 5*t, 4*u - 8 = 3*t for u.
5
Suppose -3*f + 0*f - z = -8, 0 = -f - 4*z - 12. Let q(t) = -3*t + 1. Let s be q(4). Let p = 15 + s. Solve 0 = -2*o + 5*r, p*r = 3*o - f*o for o.
0
Let r = 1 - 0. Let f = r - 4. Let k = -3 - f. Solve 5*x - 4*z + 45 = k, 0 = -0*x - 3*x - z - 10 for x.
-5
Let f(u) = 5*u**2 - 1. Let t be f(-1). Solve 3*l - 2*a + t*a = -2, -2*l + 4 = -4*a for l.
0
Let u(t) = t**3 + 6*t**2 + 5*t + 7. Let j be u(-5). Let g be j + -3 + (-1)/(-1). Suppose 0 = g*i - i. Solve v - 2*y - 4 = i, -4*v + 5 = y + 2*y for v.
2
Let m(j) = -j**3 + 7*j**2 + 2*j - 14. Let r be m(7). Solve 0 = -2*g, 2*y + 10 = -r*y - 5*g for y.
-5
Suppose 3*m - 7*m - i + 4 = 0, i = -4. Suppose 0 = -5*l - 4*u + 32, -l + 31 = 3*l + 5*u. Solve m*z - 10 = k, -5*z - l*k = k - 25 for z.
5
Let x be (1 + 1)/((-12)/(-24)). Solve x*i - 10 - 10 = 0, 3*i = -5*k - 5 for k.
-4
Let g(n) = -n**2 + 9*n + 13. Let j be g(10). Suppose -5*r + 2*v = v - 16, -3*v = j. Solve 2 = -5*d + l, -6*l + l = r*d + 18 for d.
-1
Suppose -86*p = -88*p + 10. Solve 2*l + p*j + 25 = -3*l, 5*l - j - 5 = 0 for l.
0
Suppose 4*q + 7 = 19. Solve -4*j = -q*z + 25, -2*j + 2*z = -j + 10 for j.
-4
Suppose -7 = -3*r - 28. Let m = r - -7. Solve 4*x - x = s + 5, 5*s + 5*x - 15 = m for s.
1
Suppose -k - 2 + 5 = 0. Let d be (0/(k - 5))/(-1). Solve 4*w = -3*m - 1, -22 = -d*w - 5*w + 4*m for w.
2
Let d = 42 - 38. Solve 4*z = -z + 5, -d*s - 3*z = 17 for s.
-5
Let g be 0 - (-3 - -20)*-1. Solve -4*b + 2*r + g = b, b = -r + 9 for b.
5
Let t be (-1 - 0) + (8 - 5). Let y be 12/42 + (-10)/(-14). Solve -3*p = -5*l - 34, t*l = 4*l + 3*p + y for l.
-5
Let k be (36 - 1) + (-6)/(-6). Suppose 0 = 5*r - k + 11. Solve u + 4*a = -2*u + 27, 4*a = -r*u + 37 for u.
5
Let z(m) = 2*m - 4. Suppose 0 = 4*l - 12. Let h be z(l). Solve 2*v + 10 = 0, h*w + 3*w - v = 0 for w.
-1
Let w(c) = -c**3 + 2*c**2 + 2. Let y be w(3). Let d be 2/y - 172/(-14). Suppose h = -2*h. Solve -3*m - 5*r = -9, -4*m + 3*r + h = -d for m.
3
Suppose -5*q = -t - 25, 0*t - 3*t - 2*q = -10. Let u be (1 - -11) + -1 - -1. Let g be 1*(12/2 - 1). Solve -g*n - u = 3*c, -2*n = -t*n + 3*c + 12 for n.
0
Suppose 4 = 2*s + 3*w, -5*s + w = -3*s + 4. Suppose -13 - 7 = -5*d. Let t = d - s. Solve 0*x + 3*o - 12 = t*x, o - 2 = x for x.
-3
Let i be (-4)/(-10) + (-426)/15. Let o = 7 - i. Let a be 10/o + 33/7. Solve 0 = -4*c + 8, -a*t - 8*c = -3*c - 15 for t.
1
Let p be (8 - 7)/(1/(-2)). Let v = p + 2. Solve -15 = -v*j - 3*j, 3*s + 37 = 5*j for s.
-4
Suppose -23 = -5*r - 3. Suppose 0 = -4*z + y + 12, 0*z + 22 = 3*z - r*y. Solve -w - z*w = 3*j + 27, w + 21 = -4*j for j.
-4
Suppose 23 = 2*q - q + 3*y, 0 = 4*q + 3*y - 74. Suppose 2*c = -3*v + q, -4*v + 16 = -c + 2*c. Solve f - 3 = -2*f - 2*a, -2*a = -v*f + 15 for f.
3
Let n(k) = k**2 + 4*k + 6. Let y be n(-4). Let a(w) = 0*w**2 - 7*w + 8 + w + w**2. Let f be a(y). Solve 6*t = 3*q + t - 11, -4*q + 5*t + f = 0 for q.
-3
Let s = -12 + 19. Solve p = -4*f - 17, 4*f + s + 13 = 0 for p.
3
Suppose -4*p = -5*n - 49, -p - 3*p + 76 = 4*n. Let k be ((-4)/8)/((-1)/p). Suppose 4*m + 0 = 8. Solve -m*d = -4*t + 12, -t = -2*d + t - k for d.
-2
Suppose 8*c - 12 = 12. Solve 4*i + c = h, i - 7*h = -3*h + 3 for i.
-1
Let q = 17 - 13. Solve 0 = 2*w + w - q*i - 22, 5*w = 2*i + 18 for w.
2
Let q be (-2)/(4 - 2) - -1. Suppose q*y = y. Let g(t) = t**2 + t + 2. Let b be g(y). Solve -30 = -5*x - 5*f, b*x = 7*x - 4*f + 6 for x.
2
Let u(k) = -k**3 + 7*k**2 - 5*k - 1. Let a be u(6). Let j = 19 - 11. Let g = 12 - j. Solve -c + a*c = f, -g*c = 0 for f.
0
Let l = 0 + 4. Suppose -4*y - 2*h = 4, l*y - 8 = 2*y + 4*h. Solve 0 = -p - y*p + 5, 3*p - 30 = -5*r for r.
3
Suppose 7*l + 4 = 9*l. Solve -r = -2*r - 5*n + 4, 2*r + 4*n = l for r.
-1
Suppose 0 = -5*s - 2*y + 63, s + 4 - 3 = 3*y. Let n = s + -7. Solve -n*u = -3*k + 27, -5*k + 3 = -2*u - 28 for k.
5
Let t be ((-12)/8)/(3/(-14)) - 4. Solve n = -5*j + 7 + 15, 2*j - 19 = t*n for n.
-3
Let c be (2 - -5) + (-1 - -3). Let j = c - 5. Solve -2*q + 1 + j = s, 0 = 2*q - s - 7 for q.
3
Let g(b) = -b**2 - 6*b + 1. Let n be g(-6). Solve 3*i + 5*m = -8, -i = -3*m - n - 1 for i.
-1
Suppose i - 3 - 7 = 0. Suppose -2*b = -5*g + 11, -b + i + 4 = 4*g. Let v = g - -1. Solve 2*c + q = 4 - 0, -q = -v for c.
0
Let d(f) = f**3 - 12*f**2 + 21*f + 12. Let m be d(10). Solve 5*x + 8 = -n + 5*n, -2*n = 4*x + m for x.
-4
Suppose 3*k - u - 3*u = 32, -2*k + 27 = 3*u. Solve -2*l = 4*t - k, -2*l + 3 = -1 for t.
2
Suppose -s - 2 + 5 = 0. Solve u + 4 = -0*a + 4*a, 0 = -3*u + s*a + 6 for u.
4
Let g(f) = 5*f**2 - 3*f + 1. Let t be g(1). Solve t*x - 2 = -4*y - y, 0 = -2*x + y + 10 for x.
4
Let u = -20 - -36. Let h be (-15)/(-3)*(-10)/(-25). Solve -4*i + 5*r - u = 0, -5*r = h*i + 12 - 4 for i.
-4
Let g = -15 + 11. Let x(f) = -2*f**3 - 6*f**2 - f - 4. Let y be x(g). Solve 4*a + 3 - 11 = -2*u, -3*a = -5*u - y for a.
4
Let t(m) = m**2 + 17*m + 1. Let u be t(-17). Solve 3*y + 5 = 5*y + 5*z, -z = -5*y - u for y.
0
Suppose -10 = -4*x - 5*s, -s = x - 0*s - 2. Let u = 1 + x. Solve 5*f + 2*m - 14 = u, 5*m - 26 = -f for f.
1
Let t = 15 - 11. Solve -t*v + 2 + 5 = p, -5*p + 5*v = -10 for p.
3
Let v(y) = y**3 + 6*y**2 + 4*y - 3. Let d be v(-5). Suppose -d*t + 9 = t + 3*k, -11 = -t + 3*k. Solve -3*s - t*c - 46 + 11 = 0, 41 = -5*s - 4*c for s.
-5
Le