 = -16 for z.
-4
Suppose -24 = -3*g - 0. Solve 5*z - z = g for z.
2
Let a = -42 - -46. Solve -11 = -a*c - 31 for c.
-5
Let j(i) = -i**3 + i**2 - i + 10. Let f be j(0). Suppose 0*n - 20 = -5*n. Suppose 4 = n*w - 12. Solve -w*q - q = -f for q.
2
Suppose z = -2*z + 18. Solve -2 + z = -w for w.
-4
Let o(l) = l**3 - 11*l**2 + 3*l - 5. Let c be o(11). Solve 3*y = 16 - c for y.
-4
Let h be (-50)/(-18) + 2/9. Let x = 5 - h. Solve 2*j = -0*j - x for j.
-1
Suppose 15 - 81 = -3*l. Let h = l - 15. Solve 3 = 5*n - h for n.
2
Let u = -31 - -36. Solve 4*a = u*a for a.
0
Suppose -6 = -a - 3. Solve -a*p = -p for p.
0
Let l(s) be the second derivative of -s**3/6 + 5*s**2/2 + 3*s. Let f be (0*(-1)/2)/(-2). Let d be l(f). Solve 3 + 7 = d*n for n.
2
Let l = -38 + 84. Suppose 2*c - l = -5*i, 4*i + 6*c - 2*c = 44. Suppose -2*d = -6 - i. Solve -d = 5*z - 2 for z.
-1
Let g be (-18)/(-36) + (-35)/(-2). Solve 0*w = 6*w - g for w.
3
Suppose -d - 1 = k, 2*d - d + 4*k + 4 = 0. Suppose d = -0*w + 5*w - 25. Solve -w*s = -6 + 26 for s.
-4
Suppose 0 - 2 = -f. Suppose 8 = -f*p + 4*j, p - 3*j = 2*j - 19. Solve p = 2*t - 2 for t.
4
Let l be ((-3)/(-4))/((-15)/(-40)). Suppose r + l*r - 6 = 0. Solve 12 = -r*b - b for b.
-4
Suppose 5*f - 15 = -0*f. Suppose 5*w + 3*k - 66 = 5*k, 57 = 4*w - f*k. Suppose -8 = -5*h + w. Solve h*z = 6 + 2 for z.
2
Suppose 6*u - 8 = -4*i + 2*u, -5*i - 3*u + 10 = 0. Let r be (i/6)/(2/54). Solve -z - 2*z = -r for z.
3
Let v = -78 + 82. Solve -2*p - v = -p for p.
-4
Let m = 48 - 48. Solve m = -4*j - 4 for j.
-1
Suppose z + 45 = 4*z. Let n be 1/4 - (-6)/(-24). Solve n = 2*h + h - z for h.
5
Let v be 9/(-6)*(-6)/9. Suppose -2*q = -4*i + 2, 2*i - v - 30 = -5*q. Solve q - 2 = -l for l.
-3
Suppose -4*n + 0*n = -2*w + 20, 3*n + 15 = 4*w. Let z(v) = -1. Let x(g) = -g. Let b(y) = x(y) - 4*z(y). Let c be b(w). Solve c*j + 0*j = -12 for j.
-3
Suppose 0 = -u - 2*a + 2 - 10, -4*a - 10 = 5*u. Solve u*t = 6*t for t.
0
Let g = 41 + -27. Solve g + 6 = -5*s for s.
-4
Let d = 8 + -8. Let g be -4*-1*1/2. Let y be 21 + (d + 1 - g). Solve c - y = -3*c for c.
5
Let b be (-4)/4*(0 + -4). Suppose b = -4*c - 4*q, -2*c + 5*q = 3*c - 5. Solve c*h = 3*h + 15 for h.
-5
Suppose 0 = 3*p - 26 - 28. Suppose -2*s + p = s. Suppose -3 + s = q. Solve 0 = -5*v - q + 13 for v.
2
Suppose 8*v = -19 + 107. Let s = 1 - -1. Suppose -d + s = -2. Solve d*t + 1 = -v for t.
-3
Let c = -9 - -26. Solve -5*v = -c - 3 for v.
4
Suppose -4*l = -3*l - 3. Suppose -6*v = -v. Suppose 5*y + 4*m - 48 = 0, 2*y - 6 = -v*m + 5*m. Solve -l*x = -x + y for x.
-4
Suppose 0 = 4*l + l - 15. Let b = l - 1. Solve -z = 5 - b for z.
-3
Let p = 18 + -30. Let n = 4 + -8. Let f be (-21)/p - 1/n. Solve -2*j - 8 - f = 0 for j.
-5
Suppose -c + 2*b + b + 8 = 0, -2*b + 4 = 0. Solve 0 = -4*q - c + 6 for q.
-2
Let s be 1/((-44)/12 - -4). Solve d = -0 + s for d.
3
Suppose d - 4 + 2 = 0. Solve -d*w - w = -3 for w.
1
Let q be 0 - (-1 + (-2 - 0)). Suppose -3 - 8 = 2*b + 5*o, -q*b + 3 = o. Suppose 0*d = d. Solve d = b*y + 7 - 3 for y.
-2
Suppose 14*r = 18*r - 8. Solve j - 12 = -r*j for j.
4
Let o(l) = l**2 - 5*l + 2. Let s be o(5). Solve 0 = -z - 3 - s for z.
-5
Let y(c) = c - 1. Let s(f) = 5*f - 3. Let n(h) = 2*s(h) - 9*y(h). Let l be n(-6). Let p be (l - -7 - 0)*1. Solve -p*m + 20 = m for m.
4
Let l = -26 - -30. Solve -9 = -l*n + n for n.
3
Let f = -13 - -18. Let z = -3 + f. Let s be z/(-9) - 116/(-36). Solve s*c = -0*c for c.
0
Suppose 0 = 3*v - 0*v + 2*m + 7, 0 = -4*v + 2*m. Let c be 5/3*(v - -4). Solve c*s = 9 + 1 for s.
2
Let i(v) = v**2 - 2*v - 38. Let s be i(-6). Solve s = 4*l - 2*l for l.
5
Let f(u) = -2*u - 11. Let v be f(-13). Suppose 5*t + 15 = -2*q, -4*t + 2*t = 5*q - v. Solve 0 = 3*g - q - 10 for g.
5
Let t be 6/(-2) + -3 + 10. Solve 0 = -2*u - 4 - t for u.
-4
Let n be -2*(-1)/(-2) - 186/(-31). Suppose 6*u - 4*j - 72 = 2*u, -u + 38 = -5*j. Solve -n*v = 7 + u for v.
-4
Let h(p) = -13*p + 5. Let d be h(-7). Suppose d = 4*n - n. Suppose -n = -4*s - 4*y, 3*y = y + 4. Solve 0*j - s = -3*j for j.
2
Let u(i) = -3*i. Let b be u(5). Let a = b + 31. Suppose -40 = -4*z - a. Solve 0 = -c - z + 2 for c.
-4
Let q = -20 + 22. Solve -2*g = -0*g + q for g.
-1
Let w be 4/(-18) - 87/(-27). Solve w*q = q + 2 for q.
1
Suppose -f - 3*f = 112. Let r be (-4)/(-10) + f/20. Let x be (-2 - r) + (-24)/(-6). Solve 0 = x*b - 0*b + 6 for b.
-2
Suppose r - 3*a = -7, 3*r - 3*a - 3 + 0 = 0. Let s = -5 + 5. Solve 0 = -s*z - z + r for z.
5
Let s(j) = j**2 + 4*j. Let v be s(-4). Suppose 4*g - 5 - 51 = -4*f, f + 34 = 2*g. Suppose 0*i = -4*i + g. Solve v*a - 8 = -i*a for a.
2
Let g = -53 - -55. Solve g = w + 1 for w.
1
Let r(c) = 3*c**2 - 21*c + 38. Let x(u) = -u**2 + 7*u - 13. Let d(w) = 4*r(w) + 11*x(w). Let b be d(6). Solve -f - b - 1 = 0 for f.
-4
Let g be 1 - (-6)/(-4)*4. Let h(p) = -p - 3. Let j be h(g). Solve -3*t - 1 = -j*t for t.
-1
Let f be -2 + 0 - -1*5. Solve 1 = w - f for w.
4
Let a(v) = -v. Let j be a(-7). Solve 0 = 3*x - j + 22 for x.
-5
Let j be (0 - -52)*2/8. Let p = j + -11. Solve 2*s - p = -0*s for s.
1
Suppose 2*m - 3*x = -x + 28, 3*m = -x + 30. Let h(j) = -j**3 + 12*j**2 - 11*j. Let i be h(m). Solve -p + 4 - 3 = i for p.
1
Let l(t) = t. Let a(k) = -9*k + 7. Let x(n) = -8*n + 7. Let z(c) = 4*a(c) - 5*x(c). Let g(b) = 5*l(b) - z(b). Let p be g(-7). Solve p*r - 25 = 5*r for r.
-5
Suppose 11 = -2*m + 3*m. Suppose 1 = 4*g + n, 3*g = -2*n + 2 - 5. Solve -m - g = 3*r for r.
-4
Suppose 0 = -2*n + 3*n. Solve n = 5*o + 11 + 4 for o.
-3
Let g = 86 + -82. Solve -g*z = -z for z.
0
Let a be 16/4 + 4/(-1). Solve 7*x - 3*x + 4 = a for x.
-1
Let d(m) = 9*m**2 - m - 2. Let a be d(-1). Solve -3*p + a = -p for p.
4
Let g = 37 + -22. Solve 0*q - 5*q - g = 0 for q.
-3
Let w(n) = n**3 + 3*n**2 + n + 6. Let h be w(-3). Solve h*v = v + 8 for v.
4
Suppose 3*b + 2*b + 5*w - 20 = 0, -14 = -5*b - 2*w. Solve -3 = p - b for p.
-1
Suppose -3*i + s - 45 = 0, -5*s + 10 + 5 = 0. Let b be 7/i + 22/4. Solve 2*y + b = -3*y for y.
-1
Suppose 5*s - d + 13 = -27, -2*s - 16 = -d. Let y be 1 + (-1)/(2/s). Solve -6 + 1 = -y*r for r.
1
Let a = 15 + -11. Let w(s) = -s**3 + 7*s**2 + s**2 + 2*s**3 + 7*s + 2. Let d be w(-7). Solve -d*g - a = -g for g.
-4
Let t = -30 - -35. Solve t = 3*m + 17 for m.
-4
Let g(l) = -l**2 - 6*l + 1. Let d be (9/(-12))/((-6)/16). Suppose -5*s + 10 = -3*v, -d*v + 2*s - 8 = -0*v. Let h be g(v). Solve -25 = -h*n + n for n.
5
Suppose 0 = -5*f + 54 - 14. Let r be 1 + -1 - (-12 + f). Solve -r*u - 15 = -u for u.
-5
Suppose -5*w + 13 = -4*b, -2*w + 1 = w + b. Let q = 1 - w. Suppose 1 = -4*f - 5*r - 7, 2*f + 5*r + 14 = 0. Solve f*c + c - 12 = q for c.
3
Let k = 1 - -1. Suppose -3 = 3*b + 3*f, 0 = b - k*b + f + 5. Solve -b*i = -3*i + 5 for i.
5
Suppose 0*t + 9 = 3*t. Suppose 0 = n + 5*x - t*x - 14, n - 3*x = 19. Solve 4 = -5*g - n for g.
-4
Let b(h) = h + 18. Let u be b(-15). Solve -u = 2*o + 7 for o.
-5
Let k(x) = 5*x**3 + 3*x**2 - 2*x - 1. Let t be k(1). Solve t = s - 0 for s.
5
Let u be (66/4)/((-4)/8). Let c be (-3)/2 + u/(-6). Solve -c*y + 3 = -y for y.
1
Suppose 5*k = 2*i + 2*i - 12, -4*k + 12 = 4*i. Solve k + 1 = y for y.
1
Let o = 4 - 1. Solve -o*t + 10 = -5 for t.
5
Let k = 145 - 76. Let z be k/6 + (-2)/4. Let g = z - 6. Solve s + g = 6*s for s.
1
Let o(c) = 2*c**2 - 11*c - 6. Let l be o(6). Solve 3*y + y + 8 = l for y.
-2
Let d(p) = -p**2 + 1. Let w be d(1). Solve -6*s + 3*s = w for s.
0
Let b = 40 - 35. Solve 0 = 3*p - 2 + b for p.
-1
Suppose -1 = -m - 0. Let t be 7/((-21)/(-12)) - m. Solve 0*w = t*w - 15 for w.
5
Let h = 17 - 12. Solve h*a = -2 + 22 for a.
4
Suppose y - 27 = -2*y. Solve 4*o + y = o for o.
-3
Let l = -19 + 22. Solve 2*i + l + 5 = 0 for i.
-4
Let c(h) be the first derivative of 2*h**2 + 4*h - 1. Let y be c(-3). Let a(i) = -i. Let t be a(y). Solve 2 + t = -5*u for u.
-2
Let z(f) = f**2 - 4*f - 3. Let y be z(5). Suppose y*x + 4 = 8. Let a be (12/x)/(8/4). Solve -6 = m - a*m for m.
3
Suppose 0*c + 4 = c. Let b = c + 8. Solve 2*u - b = 5*u for u.
-4
Let s = 21 + -20. Solve 0 = 5*i + s + 24 for i.
-5
Let f(q) = -q + 15. Let b(n) = 2 - 3 + 2. Let r(d) = -3*b(d) + f(d). Let z be r(0). Solve k = -3*k - z for k.
-3
Let k(n) = -n**3 - n**2 + 5*n - 3. Let m be k(-4). Suppose 2*b + 2*h - 4 = 3*h, -5*h = 5*b - m. Solve -1 - b = 4*u for u.
-1
Let k be ((-1)/2)