 3*u - 16 for u.
-3
Suppose -2*s = -6*s + 32. Suppose 0 = -3*j + s*j - 10. Solve 0 = 6*i - 3*i - c - j, 4*c = -2*i - 8 for i.
0
Let t be 1 - 20/4 - -7. Solve 0*g - 5 = -g, -h = -t*g + 10 for h.
5
Let p(g) = -2*g - 1. Let h be p(-3). Let d(i) = 4*i**2 + 0*i**2 - i**2 - 1 + i. Let s be d(1). Solve s*z - j = -11, -3*z + h*j + 15 = -2*z for z.
-5
Let t(c) be the third derivative of -c**4/24 + c**2. Let u be t(-2). Solve 2*g = -2*j + g + u, -4*g - 2 = 3*j for j.
2
Let q(i) = -2*i - 4. Let j be q(-5). Let s = 9 - j. Solve 4*l + 4 = 4*y - 0*l, 4*y + s*l = 11 for y.
2
Suppose -2*d = -2*z - 0*d + 36, 4 = -4*d. Solve -q - i - z = -5*i, -q - 2*i + 7 = 0 for q.
-1
Let c(g) = 7*g - 2. Let i be c(1). Solve -i*f - 10 = 5*j, -f + 3*j = 2*j + 6 for f.
-4
Suppose -9*x + 0 = -27. Let y be 0/(1*2/1). Suppose t + y*t - x = 0. Solve 5*w + t*i = -0*w - 2, 0 = 2*w - 4*i - 20 for w.
2
Suppose -5*o = 3*r + 4, 4*o + 11 + 1 = 2*r. Suppose -6*s + 3*s = -6. Solve s*g - 20 = -r*g + n, g - 2*n = 12 for g.
4
Suppose 0 = -77*s + 76*s + 4. Solve 2*g - s = -5*l + 5*g, 0 = l - g for l.
2
Suppose -2*f + 6 = -2. Suppose -3*u - 2*u + 20 = 0. Let o = 11 + -6. Solve 0 = -o*t - 4*n + 3*n - 1, u = -f*n for t.
0
Let a be 2/(-3 - 119/(-39)). Suppose 5*m - 4*f = -92, -3*m - 2*f - a = f. Let i = -11 - m. Solve -q = 4*q - 4*r - 25, -10 = -i*q + r for q.
1
Suppose -2*r = -7*r. Let s = r + 2. Let p(u) = -u - 6. Let c be p(-6). Solve c = 5*d + s*l + 5, 5*l = 5*d + 3*l - 15 for d.
1
Suppose 3*i - r - 12 = 0, -4*i + 18 = -r + 2. Solve 5*c - z - 3 = 2, -i*c = -2*z + 2 for c.
2
Let m be (-3)/(-6) - (-10)/(-4). Let c be (m - (2 - 0))/(-1). Let y = 4 - c. Solve 31 = -3*k - 0*k - 4*l, y = 5*k - 4*l + 9 for k.
-5
Let a(v) = v + 14. Let p be a(-11). Solve -2 = f, -2*f - 15 = o + p*f for o.
-5
Let q be (-2335)/(-15) - 1/(-3). Suppose -3*z - 2*w - 2*w = -156, 3*z - 2*w - q = 0. Let t be z/3 - 3/9. Solve -3*k - 2*k - t = 2*p, 0 = 5*p + 4*k for p.
4
Let n(q) = 3*q - 1 + 0 + 6*q. Let p be n(3). Solve 2*y - p = -4*u, 3*y - 40 + 11 = -4*u for u.
5
Suppose -7*z = -320 + 61. Solve 6*i = i - 4*m + z, -12 = -4*m for i.
5
Let s(f) = f + 10. Suppose 0 = -2*c + 6*c + 20. Let y be s(c). Suppose -5*t = -3*r - 5, -4*r + 4 = -t + y*t. Solve 3*h + 2*a = 11, 2*a = -2*h - r*a + 10 for h.
1
Let t be (-16)/40 + 261/15. Solve -o + 4 = -i, t = 5*o - 3*i - 5 for o.
5
Let o = 8 - 6. Let y(u) = -3*u**3 + 1. Let h be y(-2). Suppose -6*j + 4*g = -j - h, 0 = -3*g. Solve -z + o*z = -3*q - 15, -z + j = -2*q for z.
-3
Let r be 9 + 2 + -2 + 0. Suppose q + 1 = r. Solve -4*h + 4*n - q = -3*h, -n - 3 = h for h.
-4
Suppose -4*f - f + 5*x + 20 = 0, -5*f + 20 = -3*x. Solve 0 = -5*k - f*s - 26, -3*s = k - 0*s + 14 for k.
-2
Let q(o) = -o**2 - 6*o - 1. Let t be q(-5). Suppose 3*b - 30 + 0 = 0. Solve -a - 3*w - b = 4*a, t*w = -5*a - 10 for a.
-2
Let i be (-1 + -1)*3/(-2). Suppose 2*a + r = 2 + i, -6 = -5*a + 4*r. Solve -a*y + 5 = -2*u + y, -u = y for u.
-1
Let l be 8/(-10)*(-75)/(-6). Let x = l - -12. Solve -7 = -i - 4, x*i - 7 = -h for h.
1
Suppose 0 = -3*w + 24 + 12. Suppose w*l - 4 = 11*l. Solve 0*a - 3*x - 6 = 2*a, l = -a - 2*x for a.
0
Let m(t) = -8*t + 48. Let k be m(5). Solve l - 3*y = -6, 2*l + 2 = 5*y - k for l.
0
Let z = 93 + -20. Let c = z - 43. Solve -5*j + 5*l - 5 = c, 4*j = -2*l + 2 for j.
-2
Let x(k) = k + 14. Let v be x(-12). Solve -4*i - 7 = -v*o + 17, -3*o + 5*i = -31 for o.
2
Suppose -5*r - 25 = -4*w, -2*w - 1 = 4*r - 33. Solve -5*j - 5 = 0, 3*h + 0*h - w = -5*j for h.
5
Suppose 3*u - 53 = -14. Let m = -9 + u. Solve 4*s - 25 = m*h + 11, -5 = -s for h.
-4
Let d(b) be the second derivative of -b**3/6 + 7*b**2 + 5*b. Let l be d(14). Solve 4*h + 18 = w - 0*w, l = w - 2 for h.
-4
Let w(q) = -7 - 2*q - q + q. Let a be w(-6). Suppose 3*t - 3 = 0, 2*t - a = -2*p + 1. Solve 4*c - 15 = 4*z - 7, -p*z = -c + 2 for c.
2
Let v(r) = -6*r - 1. Suppose 4 = u - 5*u. Let y be v(u). Suppose -1 = k - y. Solve 25 = -2*p + 3*p + k*d, -p - 5*d = -30 for p.
5
Suppose 4 = -7*z + 18. Let m = -13 - -18. Solve 16 = m*d + z*y - 4, 2*y = 0 for d.
4
Let k be 2 + (-3 - -2) + 0. Let y(l) = -2*l + 3*l + k + 4*l. Let z be y(1). Solve 4 = 2*j + 2*c - z, 4*j = -3*c + 20 for j.
5
Let p be ((-12)/15)/((-3)/15). Solve 2*x + w = 0, -2*x + p*x + 2 = -2*w for x.
1
Let g = -20 + 20. Solve 3*h + 1 + g = -4*c, 2 = -2*c - 2*h for c.
2
Let m be (0 - 1) + 1/(-1). Let w be (1 - 2)/(m/6). Suppose 2*g = -o + 8, 0 = -0*o - 3*o - g + 14. Solve l = w*v - o*l + 14, -l = v + 2 for v.
-3
Suppose 14 = 2*y + 2*g - 3*g, -5*g = 2*y - 2. Let p = 9 - y. Solve 6 = 4*x - p*j, -6*x + x - 8 = 4*j for x.
0
Let q(i) = -i. Let f be q(-5). Solve 3*a + 2 = f*h - 16, a + 16 = 5*h for a.
-1
Let f be 140/25 + (-3)/5. Solve 0 = j - w + 5, -4*w - f = j for j.
-5
Let x = -202 - -207. Solve -2*s + 2*k = -8, x*s - k - 28 = -8 for s.
4
Let m(b) = -b**2 - 6*b - 4. Let j be m(-4). Solve 10 = -5*k, 2*t - j*k = 5*t + 8 for t.
0
Suppose -14 = -3*m + 2*u, 0 = m + 2*u - 3 + 1. Suppose m*y - 175 = -y. Solve -3*g - 3*l + 8*l = y, -l + 4 = 0 for g.
-5
Suppose 0*k - 4 = 4*v - 4*k, -5*v + 35 = 3*k. Solve 5*x + v*f + 12 = 0, -4*x - 3*f - 9 = -9*x for x.
0
Let c be 6 + (0/1)/1. Let y(f) = 2*f**2 + 6*f + 0*f**2 + 4*f**2 - f**3 - 4*f + 2. Let t be y(c). Solve -7 = 2*j - 3*x, -5*j + t = -4*j + 2*x for j.
4
Suppose 0 = l - 4*b - 9, -5*l - 6 = 4*b - 3. Suppose 2*f + 4*j = -j - 4, f - 1 = -j. Let v = f - l. Solve -2*u = -5*p, v*u - 5 = 3*p - 1 for p.
2
Let q be ((-24)/(-15))/(10/25). Solve 19 = 2*k + 5*d, -q*k = k - 5*d + 5 for k.
2
Suppose 12 = -6*t + 10*t. Solve 0 = m + m + w, t = 3*m + 3*w for m.
-1
Suppose -2*s = s - 39. Suppose -1 = -2*x - l, -7*l + 2*l = x + s. Solve -32 = -3*g - x*g + 3*h, 3*g + 3*h = 0 for g.
4
Suppose -9 = -4*z + 3*o - 0, 2*o = -5*z + 17. Let a(t) = t**2 - 3*t - 5. Let k be a(6). Solve 4*h - k = 2*h + n, 21 = z*h - 2*n for h.
5
Let s = -736 + 1842. Let q be 2/15 - s/(-30). Solve 0 = -4*k - 4*p, q = 5*k - 3*p - 3 for k.
5
Let p(i) = -2*i - 2. Let o be p(-5). Solve 3 = -n - 2*b, o + 3 = -n - 4*b for n.
5
Suppose 3*b - q = 11, -b - 4*q = 3*b - 36. Let z = b - 11. Let j be 1 + z*6/(-9). Solve 3*c + j*w - 19 = 0, c - 4*c - 4*w = -14 for c.
-2
Suppose 0*i = 3*i - 9. Let p be (-16)/(-2) + 6/(-2). Let t = p + 0. Solve -h - 7 = -t*m + 23, -2*h - 25 = -i*m for h.
-5
Let t(h) = 3*h**3. Suppose -y - 4 = -4*w, 3*w - 2*y - 2 = 1. Let q be t(w). Let x = -296 + 300. Solve -2*i + q = 2*s - 3, 3*s = x*i - 26 for s.
-2
Suppose 5*z + 0*c + c = 27, z = 2*c + 12. Solve -10 = -2*v, -v + 10 = -l + z*l for l.
1
Let b(k) = 3*k - 5. Let y be b(4). Suppose 0 = -2*x + 9 + y. Solve -x = -4*m, -9 = 2*t + 3*t - 2*m for t.
-1
Let a(f) = -f**2 - 10*f - 4. Let l be a(-9). Solve 31 = -l*v + 3*n, v + 3*n - 3 = -n for v.
-5
Let g(s) be the third derivative of s**4/24 + s**3/6 + 4*s**2. Let k be g(0). Let z(r) = 2*r - 2. Let d be z(3). Solve 18 = -d*c + 2*m, -2*m + 8 = -c - k for c.
-3
Let a(z) = 4*z**2 + z - 4. Let k be a(-4). Let n = k - 26. Solve -3*x - 2*h = 3*h + n, -10 = -x + 5*h for x.
-5
Let r be ((-3)/(-9)*0)/(-1). Suppose r = -k - 5*o + 2*o - 9, -3*k + 5*o + 15 = 0. Solve y - 8 = 3*y - 4*j, k = -2*y - 3*j + 6 for y.
0
Let w(f) = -f**3 - 14*f**2 - 12*f. Let q be w(-13). Let g(i) = -3*i - 7. Let c be g(q). Solve 0 = -2*n + p + 1 - 3, -c = 4*n + 5*p for n.
-3
Let r(j) = -2*j + 1. Let f be r(-1). Solve -2*a + 4*x = -x - 25, 2*a + f*x = -15 for a.
0
Let u(w) = -2*w + 11 + w**2 - w - 7*w. Let s be u(8). Let n(i) = -i**2 - 6*i - 4. Let x be n(s). Solve -2*f + d + 2*d = -x, -2*f - 4*d + 8 = 0 for f.
2
Let m = 56 + -54. Solve -5*y + 4*n + 3 - 2 = 0, 4*n = m*y + 2 for y.
1
Suppose -2*m + 3*b - 6*b + 32 = 0, -3*m = 2*b - 38. Let g be m/14 - 10/(-35). Solve z + g = 5*h, -4*h + h = 3*z - 15 for h.
1
Let t = 15 - 11. Suppose -2*d + 4 = -o, 3*d - 13 = -3*o + 4*d. Let x be (-20)/o*(-24)/20. Solve t + 3 = -n + 3*z, x*n - 4*z = -20 for n.
-4
Let w = 9 + 2. Let b = w + -8. Solve -b*j + 4*l = 17, 5*j - 4*l + 17 = -3*l for j.
-3
Let n = -4 + 7. Suppose a + 2*a - 33 = 0. Solve a = n*q - t, 4*q - 2*t = 3*t + 22 for q.
3
Suppose 4*p = 6 - 2. Let g be (p - -30) + (-2 - 0). Solve 8 = d - 2*s, 2*d = -0*d - 5*s - g for d.
-2
Let n(r) = 6 + 3*r - 2*r + 8. Let s be n(-11). Solve -26 = f - 5*c - 8, -s*f = -5*c + 24 for f.
-3
Let c(v) = -7*v**2 - 10*v. Let x