 -4 for z.
1
Suppose 2*g - 2*z + 4 = -5*z, 3*g + 6 = 5*z. Let h be (2/(-8))/(g/16). Solve 0 = h*v - 5*v + 15 for v.
5
Let n = -5 - -10. Suppose 31 = 4*t - 5*k, -7 + 22 = -n*k. Solve -1 = t*z + 3 for z.
-1
Suppose 0 = -2*m - 7*m + 9. Suppose -v - w + 8 = 0, -2*v - 11 = -5*w + m. Solve 0 = -d + 2*d + v for d.
-4
Let o(z) = 101*z - 200. Let l be o(2). Solve -l*k = -24 + 32 for k.
-4
Let m be (-216)/21 + 4/14. Let u be (-16)/m + (-2)/(-5). Suppose 5*k + 20 = 0, 2*k + 6 + 5 = s. Solve -u*z + s = -7 for z.
5
Let w = 13 + -10. Suppose w*d = d - 5*g + 10, g = 0. Let b be 1/(2/2 - 0). Solve -2*o - d = b for o.
-3
Let m = -1330 - -1365. Solve -25*w + 18*w = -m for w.
5
Suppose -2*n + 38 = 4*u, -3*u + 0*n = 4*n - 36. Solve -6 = -u*j - 46 for j.
-5
Let r(z) = -z**2 - 8*z - 16. Let u be r(-3). Let f(a) = -2*a**3 + a**2 + a + 1. Let w be f(u). Solve -m - 16 = w*m for m.
-4
Let f(k) = -k**2 - k - 18. Let i be f(0). Let s(t) = -t**2 - 19*t - 13. Let g be s(i). Solve -2*h - g = 3*h for h.
-1
Let k(u) = 3*u + 14. Let r be k(-8). Let f(w) = -w**3 - 11*w**2 - 9*w + 12. Let t be f(r). Solve -y + 1 - t = 0 for y.
-1
Suppose 2*a - 6 = -a. Suppose -14*y = -15*y + a. Solve 0 = y*n - 3*n for n.
0
Suppose 165*x = 164*x + 14. Let o(k) be the first derivative of k**2/2 - 13*k - 1. Let i be o(x). Solve -a = -2*a - i for a.
-1
Let t be 2/(-12) - (-1078)/132. Solve 0 = 7*u - 9*u - t for u.
-4
Suppose -69 = -2*y + j, 4*y - 4*j = j + 123. Suppose -4*l = -7*f + 2*f - y, 0 = -5*l - 4*f - 5. Suppose -t = -4*t + 21. Solve 5*p = -t - l for p.
-2
Let t be ((-1)/(-5))/(2/10). Let n = 5 + t. Solve h = n*h - 25 for h.
5
Suppose 24*r = 670 + 170. Solve -59*l + 52*l = r for l.
-5
Let l be (-6)/9 - 10/(-6). Suppose b - 2*i - 17 + 3 = 0, 3*i = -3*b + 6. Suppose -m - b = -4*m. Solve x = -l - m for x.
-3
Let m(f) = f**2 + 4*f - 6. Let h be m(-6). Suppose -2*d = -h*d + 24. Let u(t) = -8*t**3 - 166*t**2 + 40*t - 17. Let r be u(-21). Solve -d*o + o = r for o.
-5
Suppose -6*h = -3*o - 11*h, 4*o - 14 = -2*h. Let p(v) = -19*v - 209. Let y be p(-11). Solve y = 2*q + o - 1 for q.
-2
Let s be 16/(-1)*15/(-12). Suppose b + b + s = -4*c, 0 = -b - 3*c - 15. Solve b = 4*o - 6 + 26 for o.
-5
Let j(u) = -u + 7. Let q be -11 + -2 - (-1 + -1). Let k(a) = 6*a - 36. Let r(y) = q*j(y) - 2*k(y). Let s be r(-10). Solve 0 = s*v - 1 - 9 for v.
2
Let d(g) = g**3 + 6*g**2 + 2*g - 2. Let x be d(-5). Suppose -x - 14 = -p. Let r be ((-3)/2)/(p/(-36)). Solve l - 7 + r = 0 for l.
5
Let v(w) = 12*w**2 + 34*w + 63. Let l be v(-2). Solve 46*y - 9 = l*y for y.
3
Suppose 8*w = 6*w + 10. Suppose c + 10 + 3 = -2*n, 4*n - w*c + 47 = 0. Let i be -3*1 + (-2 - n). Solve 3*g = -3 - i for g.
-2
Suppose 0 = -4*c - c - 40. Let u = c + 15. Suppose -u*p = -p. Solve p = 4*z - 0*z for z.
0
Suppose 3*x + 16*p - 17*p + 12 = 0, -4*x = 5*p + 16. Let w(q) = -q + 4 + 5*q - 3*q. Let u be w(x). Solve -b - b = u for b.
0
Let d be (1/(-1))/(-1 + 310/315). Let t = d - 63. Solve -2*o + 6 - 10 = t for o.
-2
Let t = -446 + 449. Let x(o) = o**2 - 9*o + 4. Let z be x(9). Solve t*s = -z + 1 for s.
-1
Let u(o) = o**3 - 16*o**2 - 40*o + 95. Let p be u(18). Solve 0 = -17*d + p*d + 12 for d.
-2
Suppose g + 1 = c - 4*c, -19 = c + 5*g. Let m be ((-15)/(-3) - 0)/c. Solve l - m*l + 16 = 0 for l.
4
Suppose a - p - 4*p = 28, -a + 8 = -p. Solve 0 = m + a - 5 for m.
2
Suppose 11 = 5*q - 19. Suppose q*z + 6 = 4*z. Let j be -3 - z/((-12)/(-16)). Solve c + 2 = j for c.
-1
Let z(q) = -16*q + 1. Let x(t) = -t**2 + 11*t - 26. Let p be x(8). Let l be z(p). Let u = l - 30. Solve -u*n + 4*n + 5 = 0 for n.
-5
Let f(p) = -2*p**2 + 31*p - 10. Let i be (3/2)/(5/200*4). Let u be f(i). Solve -4*b + 3 = -u*b for b.
-3
Suppose 11*u - 6 = 14*u. Let m be 110/11*(-3)/u. Solve -5*d + 5 = -m for d.
4
Let p be (1/((-4)/(-20)))/(45/108). Solve 7*m = p*m + 15 for m.
-3
Let n = 331 - 319. Solve 0 = 8*r - n*r + 12 for r.
3
Suppose 4*w = -40 + 184. Solve -13*y + 4*y = w for y.
-4
Suppose -5*n + 4 = 2*a - 11, -5*n = 4*a - 25. Solve 0 - n = h for h.
-1
Let w(m) = -3*m. Let g be w(-6). Let q be (-1 + (-14)/(-4))*-6. Let a = q + g. Solve a*x + 0*x - 15 = 0 for x.
5
Let f = -35 - -37. Suppose -f*b = -d - 20, 3*b + 2*b - 80 = -5*d. Solve 5*m - b = 2*m for m.
4
Let j be 6/(30/35) + (3 - 1). Suppose 12*n = j*n + 15. Solve n*a - 6 = 14 for a.
4
Suppose -3*k = -2*r - r + 138, 15 = 5*r. Let x = k - -43. Solve x*h = -h + 4 for h.
4
Let i(a) = -a**2 - 40*a - 107. Let z be i(-37). Suppose 0 = -2*s + 5*l - 15, -13 = -5*s - 2*l + 22. Solve 3*v - s = z for v.
3
Let d be 3 + 25/(-9) + 6/(-27). Suppose 0 = -2*n + 2*z - 0 + 10, d = -5*z. Solve 11 = -n*s - 14 for s.
-5
Suppose -30 = -5*u - 0*u. Let b(k) = k**2 - u + 0*k + 1 - 3*k - 2. Let h be b(5). Solve -4 + h = z for z.
-1
Let i(y) = 5*y - 4. Let v be (-14)/(-6) + (-4)/12. Let d be i(v). Let j be -4*(-3)/d + 5. Solve 3 + j = 5*w for w.
2
Let t be (-1)/(-2) + -42*2/8. Let j(o) be the first derivative of -o**2/2 - 8*o + 3. Let f be j(t). Solve f*s + 3 = -3 for s.
-3
Let r(t) = -t**3 + 8*t**2 - 2*t + 20. Let j be r(8). Suppose -j*z + 36 = 4*d - 0*z, -z + 29 = 3*d. Solve 5*l - d + 5 = 0 for l.
1
Let n = 582 - 537. Solve -n = -2*a - 7*a for a.
5
Suppose -2*o + 4 = 2*f, -4*f = -o + 18 - 6. Suppose 2*y = -5*t + 1, -2*y = o*t - 1 - 3. Solve 0 = y*s - 3*s + 5 for s.
-1
Let c be -4 + 4 + -43 - -3. Let u = c + 40. Solve 0*s + 3*s = u for s.
0
Let a = 28 + -22. Suppose 2*c = 4*c + 5*i - 15, 0 = 4*c + 2*i - a. Let r be 8/3*3/2. Solve c*h - r*h = 16 for h.
-4
Let v(j) = j + 3. Let f be v(0). Let d be (f/(-9))/((-1)/15). Suppose -55 - 80 = -9*p. Solve -d*y + 0*y + p = 0 for y.
3
Suppose 2*a + 4 - 20 = 0. Let f(m) = 6 - 1 + 20*m**2 - 21*m**2 + 8*m + 5. Let j be f(a). Solve 0 = 3*s - s - j for s.
5
Suppose 94*c + 7473 = 141*c. Solve c = -5*b + 134 for b.
-5
Suppose 4*p + 66 = 2*p. Let u = 39 + p. Solve -2*d + 0*d = -u for d.
3
Let u be ((-8)/(-28))/(1/70). Suppose -36 = -4*w - 20. Solve -u = -w*h - 4 for h.
4
Suppose 3*m - 6*t = -t - 1, -2*t + 16 = 4*m. Solve 15 = 9*f - m for f.
2
Let y be (-5 + -21)*10/(-4). Suppose 4*h + 20 = 0, -4*j - 2*h = -j - y. Solve -3*v + 8*v = j for v.
5
Let n be 4/5 - ((-1323)/15 - 1). Suppose n = 19*s - 9*s. Solve s = 2*y - 1 for y.
5
Suppose 5*o - 3*x = 27 + 86, -70 = -2*o - 5*x. Suppose -9*q = -4*q - o. Solve q*p = -0*p for p.
0
Suppose -3*m - 29 = 3*i - 32, -5 = -3*m - 2*i. Let k(g) = g**3 - 6*g**2 - 7*g + 3. Let r be k(7). Let n = r + 1. Solve 0 = n*l - 3*l + m for l.
-3
Let y(s) = s**3 + 6*s**2 + 11*s + 20. Let n be y(-4). Solve -2*g = -10*g - n for g.
-1
Suppose -6 - 10 = -4*q. Suppose 0 = -t - 9 + 11. Let c be (-2)/q*-2 + t. Solve -5*j - c = -4*j for j.
-3
Let h = 8 + -6. Let g(c) = -1 - 3 + 20*c**h - c + 5. Let f be g(1). Solve 2*m + 2*m = -f for m.
-5
Let z be (10/15)/(5/15). Solve 0 = z*j + 4 + 2 for j.
-3
Let m be ((-15)/12 - 1)*-4. Let y(p) = 5*p**2 - 2*p - 5*p**2 + 1 + 5*p**3. Let g be y(1). Solve g*s - m = s for s.
3
Let j = 32 - 12. Let b = 27 - j. Solve -b*w - 10 = -5*w for w.
-5
Suppose 0 = -13*f + 17*f - 52. Solve f + 7 = -5*p for p.
-4
Suppose 31 = 8*o - 33. Solve -2 - o = 2*y for y.
-5
Let r = 156 + -150. Solve -8 - 4 = r*z for z.
-2
Suppose r + 20 = 5*b, 0 = -r - 4*b + 10 + 15. Let z = 2718 - 2699. Solve 0 = -r*j - 6 - z for j.
-5
Let v = -2634 - -2654. Solve -10*z = -6*z + v for z.
-5
Suppose 6*w = 11*w. Suppose -n = n. Solve n = 2*d - w - 6 for d.
3
Let l(i) = i + 2. Let n be l(12). Let t be (-8)/n + (-52)/(-91). Suppose 3 = 3*s - t. Solve -q - s = -0 for q.
-1
Suppose 7 = r + 23. Let o = r - -19. Solve 4*y - 2 = o*y for y.
2
Let a = -60 + 64. Solve a = -t + 1 for t.
-3
Let n = 60 + -53. Suppose 7*z = n - 0. Solve -3*t - z = -13 for t.
4
Let d(a) = 2*a**2 - 1. Let p(r) be the third derivative of r**4/24 + 8*r**3/3 + 4*r**2. Let y be p(-15). Let l be d(y). Solve 0*h = -h - l for h.
-1
Let t be (-15 - -19) + -6*3/2. Let i(d) = -2*d + d**2 - 3*d - d**3 - 7*d**2. Let v be i(t). Solve -q = -v*q for q.
0
Let n(d) = -3*d**2 + 51*d + 78. Let x be n(18). Solve 14*s - 18 = x for s.
3
Let g = -9 - -13. Let q(o) = -5*o - 2. Let t be q(-2). Suppose 3*c - 4*k - t = 0, k + k + 4 = 0. Solve -g*f + c*f + 20 = 0 for f.
5
Suppose i - 4*i = -9. Suppose -3*j - 20 = -5*u, -42*u + 38*u = 3*j + 11. Let v = i + u. Solve -z + 2 = v for z.
-2
Suppose 