-2*q for s.
1
Let c = 6 - 4. Let z be c/6 + (-10)/(-6). Solve -5*g - 28 = -4*l - g, 0 = -z*l - 5*g - 14 for l.
3
Suppose 25 = 9*m - 4*m. Solve 5*j - m*g = -15, 5*j - g + 2 - 7 = 0 for j.
2
Let y(g) = -g**2 + 18*g + 9. Let s be y(18). Solve w + 12 = 3*t, 0 = -4*w - t - s - 0 for w.
-3
Let m = -12 + 16. Solve 0 = -3*p - 3*o + 21, 2*p + 5 + 11 = m*o for p.
2
Suppose -2*o = 1 - 13. Let d be o/3 + (-1)/(-1). Solve 8 = d*y + 4*v, 0 = v - 4 - 1 for y.
-4
Let g = -16 - -16. Solve 3*j = -2*i - 14, g*i + 3*i = 4*j - 4 for i.
-4
Let s(w) = w**3 + 4*w**2 + 3*w + 3. Let c be s(-3). Solve -3*h - 2*j = -24 + 3, 0 = h - c*j + 4 for h.
5
Let v = -47 + 56. Suppose -5*h - 24 = 3*q - 3, 15 = 5*q. Let u = h + v. Solve -3*p + 40 = -5*b, -u*p - 5 = p + 5*b for p.
5
Suppose 3*s - 17 = 16. Solve 2*i + 2 = -2*u, -i + 5*i - s = u for u.
-3
Let u(b) = b**2 - 3*b + 2. Let y be u(5). Suppose 5*k - y = -72. Let x = k - -39. Solve -4*v = -5*r - x, 0 = -r + 6*r + 15 for v.
3
Let x = 1 - 3. Let n be x/(3 + -1 + -3). Solve 3*p - 2*j + 7 = 0, -n*j = -5*p - 5 - 4 for p.
-1
Let w be 5/(-15) - (-16)/3. Solve -5*j + 35 = -w*z, z + j - 1 = -0*j for z.
-3
Let b be (-12)/(-5) - 12/30. Suppose 2*l = b*d, 3*d + d = 5*l - 2. Solve 2*x + 0*h - l*h + 10 = 0, 0 = h for x.
-5
Let m be (3 - (-1 - -5)) + 1. Solve -s + p + 4*p + 7 = m, 2*p = 3*s - 8 for s.
2
Let w be ((-4)/3)/(2/(-3)). Suppose 3*c = w*c + 4. Solve -2*t - 3*t + 3*j = -1, -c*t - 3*j = 10 for t.
-1
Let j(z) = -z**2 + 7*z - 6. Let i be j(6). Suppose i = s + 4 - 7. Solve 5*x + 19 = -s*n, 3*n = -2*n - 2*x - 19 for n.
-3
Let c be -4 - (4 + 27/(-3)). Solve -2*l = -w - 8, -c = -w + l - 6 for w.
-2
Let u be 4/(-14) + (-23)/(-7). Suppose 0 = -d + u*d. Suppose 2*l - 4*y - 34 - 4 = d, 1 = -l - 2*y. Solve 5*h = -f - l - 5, h = -f - 6 for f.
-4
Let k = -21 + 24. Solve 0 = 3*t - 4*o - 32, -t = -o - k*o - 24 for t.
4
Let y be 3/((-18)/4)*-3. Let v = -54 - -64. Solve 5*a - v = 0, t - 2*t + a + y = 0 for t.
4
Let u = -7 - -12. Suppose -u*i + 4*i = 0. Suppose -g = 4*d + 12, -4*g + i*g = 3*d - 4. Solve 0 = -5*z + 20, -g*z - 3 = x - 6*z for x.
5
Let h be (-6 + 9 + -4)*-3. Solve -13 = g - h*z, g + 2*z + z - 11 = 0 for g.
-1
Let l = 2 - 0. Let u = 4 + 2. Let h = u + -4. Solve 0*n = h*c - n - 4, 3*c - l*n - 6 = 0 for c.
2
Let k = -7 - -26. Let d = 22 - k. Solve 4 = -d*m - o, 2*o + 2*o = 5*m + 18 for m.
-2
Suppose -26 = 3*p - 35. Solve d - 4*d + 12 = 0, -2 = -p*y - 2*d for y.
-2
Suppose 65 = 5*l + 5. Solve -3*i - 5*z + 1 = 0, 5*z = l - 2 for i.
-3
Let x = 10 + -6. Suppose x*j - 3*j = 0. Solve 4*u + 5*s + 25 = -0, j = -5*u - 2*s - 10 for u.
0
Let a be (-12)/3 + (1 - -7). Solve a*c = 2*n - 4, 4*n - 3 = 2*c + 5 for n.
2
Let j be 4/((-1)/(-1)) - -1. Let o(m) = 2*m**2 + 6. Let y be o(5). Suppose 0 = j*b - 9 - y. Solve -r + 5 = h + h, -2*r - 5*h = -b for r.
-1
Suppose 2*v - 2 = -4*r, -5*v + 4*r = 2*r - 17. Solve -2*f - 19 = 4*h - 7, 5*f - v = h for h.
-3
Suppose -20 = -5*y, 0 = -3*v - y - 7 + 23. Solve -4*x + 8 = d, -4*d - 6 = -7*x + v*x for x.
2
Let a be 1/5 + (-2)/10. Let i = -182 + 185. Solve a = i*u - 15, 0*l + 20 = -4*l + 4*u for l.
0
Let u = 86 - 86. Solve u = -4*b + 2*d - 2, -3*d = -2*b + d - 16 for b.
2
Let d be 32/48*(-3)/(-2). Solve y - 17 = 4*j, 2*y = 2*j - y + d for j.
-5
Let g be 1*-3*8/12. Let j be g/((-2)/1) - -3. Solve -2 = -2*z - 2*m + m, 4*m - 4 = -j*z for z.
1
Suppose 2*y + 5*o + 8 = 0, 5*y + o = -0*y + 3. Let u be (1 - y)*(-2 - -1). Solve -3*l - 3 = -u*l + 3*i, -i = -l + 5 for l.
2
Let y be (-2)/4*6/1. Let n = y + 5. Let c = n - -1. Solve 4 + 10 = -b + 5*l, -l - 10 = c*b for b.
-4
Let f = 3 + 1. Suppose c = -f*c - 170. Let k be (-3)/12 + c/(-8). Solve 4*v + 2*h = 24 - k, -4*h + 22 = 2*v for v.
3
Suppose 3*r = 4*n - 10, 19*r = 18*r - 5*n + 22. Solve 5*c = -0*w - 4*w - 13, -21 = -r*w + 3*c for w.
3
Let m = 47 - 41. Solve 4*i - f = m, 0*f - 4 = 2*f for i.
1
Let l = 17 + -26. Let c be 3/l - (-2)/6. Solve -7 = -j + w, c = 3*j + 3*w - 3 for j.
4
Let k(t) be the first derivative of t**4/4 + t**3 + t**2 + t + 4. Let l be k(-2). Solve -h = 2*w - 14, 4*w - 3*h - l = 7 for w.
5
Suppose 0 = -5*u - 0*u. Solve -p = b + 3*b + 23, -p + 2*b + 7 = u for p.
-3
Let j be 24/3 - (1 - -2). Let q be 1/(1/(-3)) + j. Solve 0 = -4*y + y - q*k + 7, -3*k = 4*y - 8 for y.
5
Let g(z) = z**3 - 7*z**2 + 7*z - 1. Let u be g(6). Suppose 5*n = s - 11, -s - 4*s + 35 = -u*n. Let f = s - 4. Solve -f*y - p = -11, 3*y = -p + 4*p + 3 for y.
4
Let i(b) = -b + 2. Let p be i(3). Let s(a) = a**2 + 2*a + 1. Let n be s(p). Solve 4*k - 3*o - 2 = n, 2*k - o = o for k.
2
Suppose 8 - 2 = 2*s. Suppose s*u - 8*u + 30 = 0. Suppose -i = -u*i. Solve -5*y = x - 5, -4*x + 5 = 5*y - i for x.
0
Suppose -3*r - 2*r - 31 = -2*q, -4*q = -3*r - 27. Solve -16 = q*y - 8*y + 2*p, -2*p = 3*y for y.
2
Let z = 19 - 9. Solve 0 = 2*d + z, m + 2*d + 20 = -2*d for m.
0
Suppose 5*f = -f + 12. Solve -4*l + 3*h + 16 = -h, -f*l = -5*h - 17 for l.
1
Let p be (0 + -2 - -5) + -3. Let r = 5 - p. Solve -5*n + 1 = 4*i - 24, -3*n - r*i = -28 for n.
1
Suppose -16 = 3*h + 4*q, -3 = 2*h + 5*q + 17. Let t(o) = o**2 + 3. Let j be t(h). Solve 15 = w - 5*f, 0*w + 3*w + 27 = -j*f for w.
-5
Let c = -3 - -5. Suppose 0 = -3*i - c*h + 3, 3*i - h - 12 = -0*h. Solve i*d = -4*y + 7, -4*y - 2*d + 4*d = 18 for y.
-2
Let l be 1/6 - (-22)/12. Suppose -l*k = 9 - 1. Let o = k - -9. Solve 5*w = -b + 11, 4 = 3*b + o*w - 9 for b.
1
Let y be ((-2)/(-6))/(2/(-6)). Suppose b = -j + 6, 4*j + 20 = 8*j. Let g be (-1 - y) + (b - -6). Solve 2*w = -3*t - 3*w + g, -4*t + 3*w - 10 = 0 for t.
-1
Suppose 5*n - 2*t - 30 = 0, -3*n + t + 2 = 3*t. Solve n*s + 4*y + 2 = 5*y, -s + 7 = -4*y for s.
-1
Let u = 3 - -15. Suppose 0 = 3*t - 5*m + 6, 5*t + m - u = -0*m. Solve 0 = 2*a - t*p + 12, -3*a + 8*p = 4*p + 16 for a.
0
Suppose 0 = 3*l + l. Let a = l - 0. Solve 3*t = -5*w + 6, a = 4*w + 3*t - 3 for w.
3
Suppose 2*w = -w - 33. Let b = -8 - w. Solve 0 = m + b*d - 15, -7 = -3*d + 5 for m.
3
Let k(j) = j**2 + j + 1. Let u be 8/2*6/(-8). Let x be k(u). Let d = x - 3. Solve -d*m + 0*f - f + 19 = 0, -4*m + 4*f = -24 for m.
5
Let x be (-3)/(-2)*4/3. Let b be (1/x)/(2/8). Let w be ((-2)/(-3))/(1/3). Solve w*p = -0*p - 2*m + b, 2*p = 4*m + 26 for p.
5
Let j be ((-4)/8)/((-2)/(-20)). Let d be 1/(((-10)/4)/j). Solve d*i = 2*a - 2, 3*i - a = 4*i - 5 for i.
2
Suppose -3*s = -5*l - 15, 5*s = 3*l - 2*l + 3. Solve 20 = -5*g + 2*m - s*m, 2*g + 5*m = -8 for g.
-4
Suppose -2*b + 18 = -u, 2*b + 0*u - 22 = 2*u. Let x = b + -4. Solve -4*o + x*n - 17 = -6, -2*o + 5*n = -5 for o.
-5
Let d be (-1)/(-4) + 342/8. Suppose 0 = 5*x - 2*v - d, x + 3*v - 13 = -v. Let a be ((-6)/x)/(4/(-78)). Solve 0*z - 5 = -u - z, -5*z + a = 2*u for u.
4
Let d be 1/(1/3)*(-70)/(-105). Solve 3*s + d*s = -j, 0 = s - 1 for j.
-5
Let b be 18/(-4)*(-4)/3. Suppose 2*p = 3*u - 1, -4 = 2*p + 2*u - b*u. Solve -20 = -5*h + 4*s, p*h - 2*s - 2*s - 20 = 0 for h.
0
Let j(a) = a**2 + 5*a - 13. Let g be j(-7). Solve -3*l + 5*r - 1 = r, g = -l + r for l.
-3
Let g(d) = d**2 - 31. Let b be g(-6). Suppose 0 = -0*z - 2*z. Suppose z*h + 2 = h. Solve -p - 19 = p - b*s, h*p - 2*s + 10 = 0 for p.
-2
Let f = 8 - 6. Let z(p) = 0 + p**2 - 2 + 3*p + p**f - p**3 + 2*p. Let u be z(3). Solve t - u = -4*k - k, 4 = 4*k for t.
-1
Let h be ((-8)/10)/(6/(-15)). Suppose j + 3 = u, 11 = 3*u - h*j - 0. Solve -3*d + 3*b + u = -b, 3*d + 7 = -2*b for d.
-1
Let a(g) = g**2 - 8*g + 5. Let s be a(8). Let o = 2 - -1. Let z be ((-8)/10)/(o/(-15)). Solve 0*l - z*d - 40 = s*l, 4*l - 2*d + 6 = 0 for l.
-4
Suppose -3 = -2*t + 1. Solve 0 = 2*a + 3*o + t*o, -5*a = -4*o for a.
0
Let a = -2 + 5. Let j be (-6)/(-2)*(2 - 1). Suppose -a*l + l + 44 = -2*p, -3*l = j*p - 54. Solve x = -2*y - 4, 5*x - y + l = -5*y for x.
-4
Suppose -45 = -4*q - 1. Suppose 5*f = 9 + q. Let h(v) = v**3 + 7*v**2 - 2*v - 12. Let z be h(-7). Solve u + f*s = -19, 6 - z = -4*u + 2*s for u.
-3
Let a(f) be the first derivative of f**3/3 + 4*f**2 + 9*f + 1. Let y be a(-7). Solve 4*u + 4*w = -12, y*w - 4 - 5 = u for u.
-5
Let o(a) = 9*a. Let h(c) = -c**2 - 5*c - 2. Let g be h(-4). Let i be (0 + g)*1/2. Let x be o(i). Solve -3*l = -4*l, 3*y - l - x = 0 for y.
3
Let p = 17 + -3. Let i = -11 + p. Solve 2*t - 14 = -4*n, i*n + 4*t - 2*t = 9 for n.
5
Let w = 5 + -2. Suppose 3*i - 21 = w. Suppose -3*j - 3 = -