-g + z for g.
2
Let f be (1 - (1 + 0))/(-2). Let q be -6 - 44*15/(-60). Solve -q*z = -f + 5 for z.
-1
Suppose -3*q + 8 = q. Suppose -4*j - 2 = 2*n, -2*j + q*n - 6*n - 16 = 0. Solve 0 = j*t + 1 + 5 for t.
-3
Let h(t) be the first derivative of t**2/2 + 4*t - 8. Let c(k) = -3*k - 7. Let m(i) = -2*c(i) - 5*h(i). Let o be m(7). Solve -y = 4 - o for y.
-3
Let a = 607 + -602. Solve -21 = -8*g - a for g.
2
Let q(l) = -5*l - 3. Let h be q(-5). Suppose -2 + h = 4*t. Solve -2*y = t - 1 for y.
-2
Suppose 2*l = -0*l - y + 7, 0 = l - y - 8. Suppose 5*t - 48 = l*a - 2*a, 0 = -3*t + 2*a + 28. Solve 5*z - 2 + t = 0 for z.
-2
Suppose 0 = 24*t - 11*t - 26. Solve 8 = -t*c - 0 for c.
-4
Let c = -55 - -67. Suppose 0 = 9*l - c*l + 24. Solve 0*y = 4*y - l for y.
2
Let b = -306 + 306. Solve -8 + b = -8*q for q.
1
Let i = -17 + 17. Suppose 4*n = -0*y + 5*y - 13, 5*y = 25. Solve i = n*j + j for j.
0
Let p(y) = 2*y**3 - 2*y**2 - 3*y + 3. Let a be p(2). Suppose a*s = w + 54, -5*w + 21 + 9 = 5*s. Solve 2*c + 4 = s for c.
3
Let k = 5 + -2. Suppose 0 = -s + 2*o + 18, -14*o + 20 = -18*o. Solve -u = -k + s for u.
-5
Let h(a) be the second derivative of -a**5/20 - a**4/2 - a**3/3 + 8*a**2 + 3*a. Let k be h(-5). Solve 2*o = 9 + k for o.
5
Let l(y) = 3*y**2 - 58*y + 9. Let q be l(20). Let i(w) = -30*w**2 + w. Let j be i(1). Let r = j + q. Solve r - 5 = 5*h for h.
3
Suppose 4*m + 3*r = -87 + 17, 0 = m + 5*r + 26. Let q = 19 + m. Solve -q*c + 2 = -2*c for c.
2
Let j = 8 - 8. Suppose -25 - 15 = -10*n. Solve -8 = -j*h + n*h for h.
-2
Let s(g) = -g**2 + 24*g - 21. Let f be s(23). Suppose 2*t - f*x - 3 = 1, 3*t - 2*x - 4 = 0. Solve v = -t + 5 for v.
5
Let y(z) = 4*z + 10. Let v(r) = -r**2 + 10*r + 7. Let c be v(11). Let b be y(c). Let w be b/(-21) + 4/(-14). Solve w*g = -5*g + 5 for g.
1
Let z be 1*-1 - (2 - 3). Suppose 8*c - 35 = 3*c. Let l = c + -4. Solve z = f - l*f for f.
0
Let l be ((-8)/(-20))/(17/15 + -1). Solve -5*n + l = -7 for n.
2
Let h(b) = b**3 + 3*b**2 - 40*b + 8. Let g be h(5). Solve g - 4 = p for p.
4
Let b(w) = 14*w - 6 - w**2 + 2*w**2 - 7*w - 4*w. Let m be b(-5). Solve -m*a = -0*a - 20 for a.
5
Let t be (66/(-12) + 2)*(-12)/14. Solve -7*q - t*q = -10 for q.
1
Let n be (0 + 0/(-1))/2. Suppose 4*b - 8 = -n*b. Let a be (b/(-6))/((-4)/72). Solve -a*z = -2*z + 12 for z.
-3
Let l be -2*1 - (1 + -17). Suppose 12*d - l*d = -6. Suppose d*z = -z. Solve -4*r - 12 = -z*r for r.
-3
Let f(y) = -y**2 - 7*y + 8. Let c(z) = -z**2 - z. Let x(q) = -2*c(q) + f(q). Let b = -6 - -12. Let o be x(b). Solve -5*k - 1 = o for k.
-3
Let d be (3 + 0)*1*-7. Let k = 23 + d. Suppose -8*l + 9*l - k = 0. Solve -3*r = l*r for r.
0
Let b(w) = w**2 + w - 13. Let i be b(0). Let r(n) = 4*n + 36. Let v be r(-12). Let h = v - i. Solve h = 4*o + 17 for o.
-4
Suppose -4 = 11*l - 4. Suppose l = -10*z + 5*z + 15. Solve -3*n - z = 9 for n.
-4
Let c = -424 - -441. Solve 5*t + 3 = -c for t.
-4
Suppose 0 = -0*h + h + i - 3, i = 3. Suppose 2*r + c = -c + 6, h = 3*r - c - 13. Solve -r + 8 = -4*x for x.
-1
Let x = -18 + 20. Suppose 28 = 3*n + c, -2*n - x*n - 2*c = -36. Solve 25 = 5*m + n for m.
3
Let o = -330 + 335. Let x = -1 + 1. Suppose -3*w = -0*s - o*s + 56, 2*s - 4*w - 28 = x. Solve -s = -4*k - 30 for k.
-5
Suppose -10*g + 20 = -8*g. Suppose 0 = 7*f - 4 - g. Solve 3*b - f*b = -3 for b.
-3
Let b(n) = -4*n - 114. Let d be b(-30). Solve p + 4 = d for p.
2
Let d be (-22)/77 + 65/7. Solve -7*t - 2 = -d for t.
1
Let g be 13/4 + ((-10)/(-8))/(-5). Suppose 5*a - g*l = 24, 3*a + 4*l + 3 = -0*l. Solve 3 = -a*d + 6 for d.
1
Suppose 91 = -5*q + 116. Solve g + 2 = q for g.
3
Suppose 5*r - 29 = -2*k, 10*k + 22 = 14*k - 2*r. Solve -k = -5*b + 8 for b.
3
Let t(x) = 2*x**3 + 27*x**2 + 14*x - 8. Let h(l) = -2*l**3 - 26*l**2 - 13*l + 7. Let f(y) = -6*h(y) - 5*t(y). Let w be f(-10). Solve 0 = -13*i + w*i for i.
0
Let y be 1 + (14 - 4 - 2). Let k be (12/y - 1/3) + 10. Solve -3*z - k - 1 = 0 for z.
-4
Let r(z) = z**3 + 4*z**2 + 4*z + 6. Let f be r(-3). Let q = 1 + f. Suppose -2*p = -q - 2. Solve p*h = 8*h + 20 for h.
-4
Suppose 0*c - c = 3*p, -5*c - 4*p = 33. Let q be -1 - (1/2 + c/6). Solve q*u = -2*u for u.
0
Let u(i) = -i**2 - 2*i + 4. Let y be u(-3). Let c(l) be the third derivative of l**5/60 - 3*l**4/8 + 2*l**3 + 4*l**2. Let t be c(8). Solve -y = -t*a + 3 for a.
1
Let v(z) = -55*z - 53. Let s be v(-1). Solve s*a = 4*a - 0*a for a.
0
Let u be (4 - 25)/7 - (-3 - -1). Let o be ((12/4)/(-1))/u. Solve 0 = o*r - 0*r for r.
0
Let z = -8 - -12. Suppose -3*n + 7*n = z. Let s be n + (0 - (0 - 1)). Solve -s*q = -7*q + 5 for q.
1
Suppose 17*k - 8 = 26. Suppose -3*a + 3 = -k*a + r, a - 5*r = 9. Solve -a*x + x = 3 for x.
-1
Let s(k) = 3*k - 14. Let z be s(6). Suppose -4*g = -i - 7, -z*i = 5*g + i - 15. Suppose -4*x + 36 = 3*u, 0 = 3*x - 4*u - 0*u - 2. Solve g = 2*b - x for b.
4
Let h(j) = -j - 9. Let o be h(-9). Suppose 4*r = -o*r. Suppose -4*s + 0*s = 0. Solve -b + s + 3 = r for b.
3
Let q(m) = -m**2 - 6*m + 11. Let c be q(-7). Let t be c + -2 - (-5)/(-7 + 2). Solve z - t + 2 = 0 for z.
-1
Suppose 0 = 7*c - 64 - 27. Solve -6*j - 17 = c for j.
-5
Let g = 9 + -1. Let s = -526 + 529. Solve 7 = -s*u - g for u.
-5
Let h(g) be the third derivative of -g**4/24 + 31*g**3/6 - 17*g**2. Let k be h(19). Solve -5*o + o = k for o.
-3
Let b be 2/10 + (-240)/(-50). Suppose k - 7 + b = 0. Solve -3*y + y - k = 0 for y.
-1
Suppose 5*k - 141 - 59 = 0. Suppose -4*g - k = -9*g. Suppose 5*i - 8 = 4*o, 3*i = o + 7*i - 19. Solve g*z - o*z = -20 for z.
-4
Let n(f) = f - 9. Let t(r) = -6*r - 6. Let h(o) = o**3 - 3*o**2 - o. Let k be h(3). Let a be t(k). Let p be n(a). Solve -p = -4*y + 17 for y.
5
Let v(j) = -j**2 - j. Let b(n) = -3*n**2 - 5*n - 2. Let z(q) = -b(q) + 4*v(q). Let k = -6 - -5. Let x be z(k). Solve x*i + 8 = 2*i for i.
4
Let h be (-12)/(-8)*8/6. Let t(g) be the third derivative of g**6/120 - g**5/20 - 8*g**2. Let n be t(3). Solve n*a - h*a = 10 for a.
-5
Let n(d) = 2*d - 20. Let h be n(11). Solve h - 14 = 3*p for p.
-4
Let t(k) = 759*k - 9864. Let l be t(13). Suppose -7 = -x + 4*a, 0*x + 4 = 2*x + 2*a. Solve 0 = l*w + x - 0 for w.
-1
Let h = 38 + -35. Suppose -5*z - t + 40 = 0, 5*z - 4*t - 4 - 11 = 0. Solve -z*l = -h*l + 12 for l.
-3
Let m(p) = -p**3 + 41*p**2 + 2*p - 89. Let t be m(41). Let r = 12 - 5. Let c = t + r. Solve u - 6*u + 10 = c for u.
2
Let f(w) = -2*w**2 - 93*w - 127. Let j be f(-45). Solve -14 = -2*h - j for h.
3
Let y = 48 + -30. Suppose 22*q - 4 = y*q. Let b be -2 + 1 + (-2 - -3). Solve j + q = -b*j for j.
-1
Let x be (-3)/15 + 55/25. Let o be 3*(-6)/(-6) - (1 + x). Solve y + 0 - 1 = o for y.
1
Let j = -720 - -752. Solve 0 = -10*p + 18 + j for p.
5
Suppose -4*a + 3 = -9. Suppose 15 = a*z + 3*m, -m = 3*z - 9 - 2. Suppose -z*i + 55 = 2*i. Solve -i = 3*u + 1 for u.
-4
Let x = -336 + 173. Let r = -163 - x. Solve 3*g - 2 + 17 = r for g.
-5
Let l(k) = k**2 - 2*k - 4. Let b be l(-2). Suppose 2*u + b = 4*n - 2*u, -5*n = -u - 17. Solve 0 = -n*r + 7 + 13 for r.
5
Let x = -567 - -569. Solve 22 = x*d + 30 for d.
-4
Let t = -181 + 189. Solve -2*c - t = -6*c for c.
2
Suppose -6*b = -b - 25. Suppose v = 11*p - 13*p + 34, p + 4*v - 24 = 0. Solve -l = -b*l - p for l.
-4
Let v(d) = d**3 + 14*d**2 + d + 16. Let y = 9 - 8. Let j be 3*((-28)/6)/y. Let t be v(j). Solve t*i - 8 = 2 for i.
5
Let u be (8/28)/((-1)/(-7)). Suppose 2*o - g = 6, -o - 4*o + 33 = u*g. Suppose -f = 3*f + o*l - 26, -5*l + 18 = 2*f. Solve 2*r = 3*r - f for r.
4
Let t = 325 + -125. Let b be t/(-15) + (-2)/3. Let m = b - -16. Solve 0 = 4*j + 6 + m for j.
-2
Let h(i) = 7*i - 11. Let k(o) = -3*o + 5. Let w(a) = 4*h(a) + 9*k(a). Let p be w(11). Let c = p - 11. Solve -c = d + 1 for d.
-2
Let v be (23/(-4))/((-1)/4). Solve v*l - 22*l = -3 for l.
-3
Suppose -28*z + 63*z = 175. Solve 4 = -z*s - 6 for s.
-2
Let p(b) = -b**2 + 79*b - 594. Let q be p(70). Solve -40*v + 16 = -q*v for v.
4
Let w(z) = z**3 - 4*z**2 + 4*z + 1. Let p be (-6 - -12)*(-1)/(-2). Let o be w(p). Let n(m) = m**3 - 3*m**2 - 5*m + 4. Let l be n(o). Solve -6 = -3*q - l for q.
2
Let o be 24/56 + (-22)/(-14). Let f be (-9)/(-21) + 60/7. Suppose -o = -f*v + 7*v. Solve 0 = 2*y - v + 9 for y.
-4
Let m = -266 + 306. Solve 39*j - m*j = -5 for j.
5
Let f be (2/3)/((-2)/(-36)). Let d be 75/7 + (-2)/(-7). Let u = f - d. Solve 0 = -2*x