 -j + 8, p = 4*z + j for z.
3
Let b(x) = -2*x - 15. Let k be b(-10). Solve 0 = -i - 2*y - k, -3*i = 3*y + 5 + 7 for i.
-3
Let l be (-1)/(-8) + 2/(-16). Suppose -4*s + 3 + 13 = l. Solve 0 = 2*j - 2*x + 10, -j = -s*j - 4*x - 1 for j.
-3
Let o be (-2)/(-3) - 56/(-24). Let k = 8 - o. Solve -s + k = -0, 4*h + 5*s = 25 for h.
0
Let g = -31 + 31. Solve g = 4*j + a + 10, 3*j - 4*a + 17 = -0*a for j.
-3
Let c(t) = -t**3 + 2*t**2 - 2*t + 2. Let p be c(0). Solve -9 = -f - z, -5*f - p*z + 0*z = -33 for f.
5
Suppose -64 = h - 2*i + 188, 0 = 3*h - i + 776. Let r be (-2)/(-6) - h/12. Solve y + 2*u = 8, 0 = 2*y + 3*y + u - r for y.
4
Let k be (13 - 12)*(-1 - -6 - 1). Solve 5*a = 15, 9*a = -4*h + k*a + 35 for h.
5
Suppose -3*s - 31 = 5*k, 6*s - 25 = 2*k + 3*s. Let m = k - -15. Solve -m = -a + 3*f, a - f - 2 - 1 = 0 for a.
1
Let b be 0/(-3*2/3). Suppose z + 4*z - 15 = b. Solve -5*w - z = 2*l, -4*w - 5*l = -5 + 4 for w.
-1
Suppose 3*j + 11*j - 56 = 0. Solve -j*h + l - 3 = -2*h, -h - 9 = l for h.
-4
Let a be -5*1/(-10) + (-19)/(-2). Solve 3*d + j = -10, 2*d = -0*d - 4*j + a for d.
-5
Suppose 0 = g + 2*g - k - 2, 0 = -5*g + 5*k + 10. Suppose 6*j - j = 15. Solve -2*a - a + n - 8 = g, -a + j*n + 8 = 0 for a.
-4
Let k be -8 + -1 + -2 + 1. Let b = -7 - k. Suppose -p + b*p + 1 = -m, m + 3 = -3*p. Solve 7*z + 14 = -i + 2*z, m*i + 8 = 2*z for i.
-4
Let s be (-2)/9 - 116/(-36). Let v be -7*2/((-56)/20). Let d be ((-1)/3)/((-4)/60). Solve -3*c = -4*j + j - s, -v = 5*j + d*c for j.
-1
Suppose 4*n = 7*n + 45. Let c be (11/(-3))/(1/3). Let o = c - n. Solve -5*y = -15, -2*s + 8 = 2*s - o*y for s.
5
Let w(p) = p**2 + 3*p - 36. Let z be w(5). Solve -f + 3*s - 1 = -6, -z*s = -4*f + 12 for f.
2
Suppose -2*h = -2*l - 2, h - 3*l + 0 + 1 = 0. Solve f - 4 = 5*z, 2*f + h*z + 6 = -2*f for f.
-1
Suppose -14 = -d + 6. Suppose -4 - d = -4*k. Solve 4*p + k*b + 8 = 2*b, 3*b + 12 = -5*p for p.
-3
Let i be 3/4 + (-1)/(-4). Let q be ((2 + 0)*2)/(-1). Let d be (1 + (-2)/q)*2. Solve 0 = -3*b + 4*o + 8, -5*b + 18 = -d*o + i for b.
4
Let v(o) = -11*o**2 + 3*o + 2. Let t(g) = 21*g**2 - 5*g - 3. Let z(k) = 3*t(k) + 5*v(k). Let s be z(-1). Solve -5*y = -4*a + 10 - 3, -3*a - s = y for y.
-3
Let g(q) = -q + 4. Let t be g(4). Let s be (-40)/(-6)*(3 - t). Suppose 25 = 5*i + 4*l, -5*i + 3*l + 25 = l. Solve 5*v + 2*b = v + 4, i*b - s = 0 for v.
-1
Let y = -8 + 9. Let q be 1 + (8 - 1) + y. Solve -6*t + q = -o - 2*t, 3*t - 13 = 2*o for o.
-5
Suppose 0 = 3*t + 2*t. Suppose t*r + 4 = r. Solve 2*x + 7 = 4*s - 1, -2*x + s = -r for x.
4
Let c = -5 - -12. Let g be 39 - 3/((-6)/2). Solve 5*v = -c*x + 3*x + g, -4*x - 2*v + 28 = 0 for x.
5
Let i = -14 - -35. Let t be (i/(-6))/((-1)/2). Suppose -t*a = -3*a - 36. Solve -3*k + p + 1 = 0, 2*k + a = 3*p - 2 for k.
2
Let m be (-294)/(-15) + 6/(-10). Let a = -11 + m. Solve 0 = -2*g - 2*c, -c - a = -4*g + 3*c for g.
1
Let q = -95 + 85. Suppose -f - 16 = f. Let i be (q/f)/(6/24). Solve 4*d - 3*d + 3 = 0, -11 = 2*l + i*d for l.
2
Let a be 2/((-1 - 1)*-1). Let d = -1 + a. Let k be (d - 0)*1/(-2). Solve 3*y + k*y - l = 9, -5*l + 3 = y for y.
3
Let b be 6/3*14/4. Suppose 5*w - 56 = t - 5*t, t = -4*w + 36. Suppose -w = -5*h + 12. Solve h*d = 2*g, 9 = d - b*g + 2*g for d.
-1
Let j be (2 - 3/2)*-2. Let o = 2 - j. Solve 0 = 2*b + o*z - 13, 0 = 2*b - 4*b - 2*z + 12 for b.
5
Let b = 6 - -2. Suppose -4*i + 27 = -3*z + 8, i - 4*z - b = 0. Solve 2*a - 8 = 4*n, i*a = -n + 4*n - 4 for n.
-4
Suppose y + 12 = 28. Let l be y/(8/(-4)*-1). Solve 4*i - 5*u + l = -6, u = -i + 1 for i.
-1
Suppose 0 = -2*u + 4*u - 32. Let w be 10/25 - 16/(-10). Solve -w*p + 13 = -v + 6*v, -4*v + u = -4*p for v.
3
Let f = -12 - -36. Solve -28 = 5*m + 2*c - 4*c, -3*m - f = -3*c for m.
-4
Let k = -15 + 20. Solve 12 = 3*q - 2*r + k*r, -11 = q - 4*r for q.
1
Let j be (2 - -1) + 2/(-2). Solve 3*g + 1 = -4*w, -3 = -j*w - 5 for g.
1
Let h(o) = o**3 + 9*o**2 - 3*o - 22. Let p be h(-9). Solve -4*u = -2*j - 22 + 4, 5*u + p*j + 15 = 0 for u.
2
Let w be 25/(-5)*3/(-5). Suppose -w*p - 4 = -4*p. Let f be (1 - 4)*10/(-6). Solve t - p*x + 17 = 0, f - 17 = -4*t - 4*x for t.
-1
Let w = -96 + 99. Solve 4*b - b = 6, g + 4*b - w = 0 for g.
-5
Let g = -1 + 3. Solve 2*x = -2*r + 6, 3*x - g*r - 7 = -3*r for x.
2
Let s(m) = -m + 8. Let q be s(6). Let f be (3/(-9))/((-2)/(-12)). Let r = q - f. Solve 3*v - 3 = 5*y + 5*v, v + 3 = -r*y for y.
-1
Suppose b - 3*w = -w + 12, -b - 2*w = -8. Let u = -7 + b. Solve -f + 5*n = f + 18, 3*n = u*f + 18 for f.
-4
Let v(y) = -y + 13. Let j be v(9). Solve 14 = i + j*i - 4*o, -2*i = o - 3 for i.
2
Suppose 2 + 10 = 4*o. Solve a - 2*m - o*m = 0, 0 = -m for a.
0
Let k(a) = -a + 11. Let g be k(8). Let m be 12/(-9)*(-6)/8. Solve -3*o - m = -3*n - 7, -g*n - 14 = o for o.
-2
Let o(x) = -x - 6. Let y be o(-8). Suppose -5*s = -y*n - 7, -4*n + 5*n = 4*s - 5. Suppose j = 3 + s. Solve 5*l = 2*f, -l - j*f + 13 = -7*f for l.
-2
Let c(l) = 5*l**2 + 5 - 4*l**2 + 2*l - 5. Let s be c(-2). Solve 2*k + 18 = -4*t - s*k, 0 = 5*t - 2*k + 9 for t.
-3
Let q(o) = -4 + 3 - o + 3. Let g be q(-4). Suppose -5*x + 19 = -g. Solve -8 + 33 = -x*u - 4*j, -2*u - j - 7 = 0 for u.
-1
Suppose 8 = 3*x + 5. Solve x = r, r = k + 2*k - 11 for k.
4
Let z(d) = d**3 + 4*d**2 + 6*d. Let t be z(-4). Let h = -10 - t. Let n be (1 - (-1)/1)*h. Solve v + 6*o + 6 = 4*o, -5*o = -4*v + n for v.
2
Suppose 2*j = 5*d - 1, -3*j + 0*j + 9 = 3*d. Solve 4*r - 2*b + 8 = 0, 0 = -2*r - 4*b - 3 - d for r.
-2
Let v be (-68)/(-14) + 2/14. Suppose f - 2 = -2*i, 3 - 5 = -f + 4*i. Solve 5*z = 3*z + f*l + 2, -5 = -v*z - l for z.
1
Suppose -5 = 5*s - 30. Solve -p = -s*t - 23, p = -5*t + 4*p - 29 for t.
-4
Let t be (-74)/(-8) + (-3)/12. Let a(s) = -s + 11. Let y be a(t). Solve y*w = -5*r - 31, -3*w = -8*w + 3*r for w.
-3
Let t(c) = 5*c - 1. Let i be t(1). Let w = 17 + -17. Suppose w = -2*m + f + 44, 3*m - 92 = f - 6*f. Solve -4*n + m = -i*v - 0, -v + 3 = 2*n for n.
3
Suppose 3*f = -12 + 3, 2*f + 6 = 2*t. Let a(z) = -z + 8. Let v be a(t). Solve -v = 4*l + p - 2, 2*l - 4*p = -12 for l.
-2
Let h(q) = 8*q + 13. Let p(u) = 4*u + 6. Let m(t) = 3*h(t) - 7*p(t). Let k be m(-2). Solve -5*d = -k*j - 0*d - 5, 0 = -3*j + 5*d - 5 for j.
0
Suppose -5*j = -j - 56. Let k be (16/j)/2*7. Solve k = -3*q + 4*v - 15, -5*q = -4*v + 29 for q.
-5
Let x be 3*(10/(-3))/(-5). Suppose x*j + n = j + 4, -3*j + 16 = -n. Solve 6*a - 4*f = a - j, 2*a = 5*f - 2 for a.
-1
Let q(i) = -i**3 - 3*i**2 - 5*i - 2. Let x be q(-3). Suppose 4*s - 3*b - 2*b = 52, -b - x = -s. Solve -3*h + 2*v - s = 0, 3*h - 2 = -0*v - v for h.
-1
Let y(v) = -v + 23. Let a be y(11). Let w be (-32)/2*(-15)/a. Solve 4*x = -3*o - 4, 3*o + w = -0*x + 4*x for o.
-4
Suppose k = h + 4*h + 25, k + h = 19. Solve x + 14 = -5*b, 5*x - k = 6*b - b for x.
1
Let t(l) = -7*l - 4*l**2 - 10 + 0*l**2 + 5*l**2. Let n be t(8). Let h = n - -14. Solve -3*o - h = -5*y, 8 = -3*o + o - 5*y for o.
-4
Suppose -2*v = 2*c, -4 = -v + 3*v + 4*c. Let r be (1/(-3))/(v/(-30)). Solve 5*q = -r*i + 15, 2*q = -3*i + 2 + 3 for q.
4
Let t(k) = k**3 - 2*k**2 - 3*k. Let j be t(3). Suppose -5 = -4*a + 3*x, -5 = -5*x - 0*x. Solve j*w - a*w + 10 = 4*r, 3*w = -r + 15 for r.
0
Let b be (6/(-7))/(2/(-14)). Let t be (-2)/((-10)/6 + 1). Solve 4*h - t*l + 14 = -0*l, -b = 3*l for h.
-5
Let o = 16 + -11. Suppose 3*t + 2*t - 5 = 0. Let y = t - -3. Solve -o*z - 3*n + 17 + 12 = 0, 4*z = 4*n + y for z.
4
Let r(w) = 5*w + 27. Let t be r(-5). Let b be 5/3 + 3/9. Let u = -2 + 4. Solve -3*x + t = b*z, -2*z - z - u*x + 3 = 0 for z.
1
Let v(j) be the second derivative of 2*j - 2/3*j**4 - 1/20*j**5 + 2*j**2 - 7/6*j**3 + 0. Let h be v(-7). Solve -2*d + d - 3*x = 10, -2*d = h*x + 10 for d.
5
Let b be -1 - (1 + 3)*-1. Suppose -2*c + 5*t - 17 = 0, -c = 3*t - 13 - 6. Solve -c*r + 17 = b*l - 0*r, -3*r = 5*l - 21 for l.
3
Suppose 0 = 5*c - 12*c + 28. Solve c*g = -5*s + 19, -s + 2 + 2 = g for s.
3
Let s be (4/(-12))/((-3)/(-9)). Let y be (-1)/(-4)*0 - s. Let n be 1/(-3) + (-44)/(-6). Solve 3*t - n = 2*i - y, 3*i + 9 = -5*t for t.
0
Let q(p) = p**2 + 9*p + 4. Let i be q(-9). Solve 0 = -n, 13 = 4*u + i*n - 7 for u.
5
Let r be 1*(-10 - (-2 + 2)). Let h be (9/15)/((-2)/r). Solve -h*z = 5*m - 20, -4*m + 5*z = -14 - 2 for m.
4
Suppose 2*f - 2 = 2. Let u be f/8 + 57/12. Solve -21 = -3*a - 0*z + 2*z, u*a - 4*z = 37 for