g - 25 for g.
-4
Let o = -59 + 53. Let f = 6 + o. Solve 3*w - w = f for w.
0
Let t(a) = -21*a + 129. Let d be t(6). Solve k + 8 = d*k for k.
4
Let p = -1622 - -1666. Solve 0 = -9*s + 31*s - p for s.
2
Let v(o) = o**2 + 2*o - 15. Let d(k) = -k**2 - 1. Let z(u) = -2*d(u) - v(u). Let x be z(0). Suppose x*g = 14*g + 42. Solve -5*n = -g - 11 for n.
5
Suppose 0*i - 4 = -i. Suppose 4*g + 8 = -4*j, j - 3*g - i - 6 = 0. Let h be (-3 - (-1 + -2))/j. Solve 4*x + 0*x - 20 = h for x.
5
Let o = 22 - 20. Suppose 3*z - 1 = -2*k + 15, -20 = -5*z. Solve 0 = o*c + k*c for c.
0
Suppose 680 = 419*k - 411*k. Solve k*t - 12 = 89*t for t.
-3
Suppose 0 = -3*t + 4*b + 22, 2*t + 2 = b + 10. Solve -f - t = 1 for f.
-3
Suppose x - 26 = 6*x - t, 0 = -4*x - t - 19. Let o(w) = w**3 + 6*w**2 + 6*w + 8. Let m be o(x). Solve l - m = -5 for l.
-2
Suppose 0 = -6*a - 183 + 243. Solve a*x + 35 = 3*x for x.
-5
Let u be 1/(1/2*4/34). Suppose -6*h + u = 5. Solve 0 = 5*z + 17 - h for z.
-3
Let r(n) = -n**3 + 8*n**2 - 9*n - 13. Let o be r(6). Solve 0 = -o*g - 2 + 17 for g.
3
Let v be (-48)/(-5) - (-2)/5. Let n = v + -6. Let w(t) = -4*t - 38. Let k be w(-10). Solve n*r + k - 6 = 0 for r.
1
Let z be (3/(-12))/((-2)/40). Suppose 5*j - 2*d + 15 = 3*d, -2*j - z*d + 29 = 0. Let l(f) = f**2 + 3. Let c be l(-3). Solve -j*y - y + c = 0 for y.
4
Let z be (-645)/(-43) + -5 + -2. Solve z*r = 5*r + 9 for r.
3
Let i(v) = -v**3 + 6*v**2 - 5*v + 2. Let g be i(5). Suppose 2*r = -g*r. Suppose r = -5*x + 1 + 14. Solve -k = -x*k for k.
0
Let u be -9 + -9 + 7 - -32. Solve -5*s + 11 = u for s.
-2
Suppose 0 = 8*f - 3*f - 50. Let w = 7 - f. Let i = w + 6. Solve -i*g = g - 20 for g.
5
Suppose 6*l - 2*l - 4*o - 28 = 0, 0 = 2*l - 3*o - 15. Suppose l*t = 9*t. Solve k + 5 = -t for k.
-5
Let d(y) = y**3 + 4*y**2 + 3*y. Let w be d(-3). Suppose w = -0*r + r. Let c = 365 - 359. Solve r = -c*n + n for n.
0
Let z = 23 + -21. Suppose -z*u = u + h - 5, -u + h + 3 = 0. Solve 2 = v - u for v.
4
Let c = -6 + 6. Suppose c - 16 = w. Let r be 2 + -3 + w/(-4). Solve -8 = -r*i - 2 for i.
2
Suppose -3*g + 40 = 2*l, 0 = 2*l - 0*l + 4*g - 44. Solve -3 = -l*y + 11*y for y.
1
Let b(r) = 3 + r + 1 - 4 + 1. Let u be b(1). Let p(a) = -a**3 + 8*a**2 - 8*a + 9. Let o be p(7). Solve o = -u*s + 4 for s.
1
Suppose -13*d + 475 - 150 = 0. Solve -6*n = -1 + d for n.
-4
Let n be (1 + 0)/((-3)/(-66)). Let k(d) = -d**3 - 6*d**2 - d + 4. Let c be k(-3). Let r = c + n. Solve -16 = -2*s - r*s for s.
4
Suppose 1652 - 1642 = 2*k. Solve -k*g = 21 - 6 for g.
-3
Let n(x) = x**2 - 12*x - 11. Let d be n(13). Suppose 0 = -0*q + q - 5. Solve d = -3*a + q*a for a.
1
Let k(c) = 2*c**2 - 2*c - 7. Let l be k(6). Let t = -51 + l. Solve -2*b + t = -4*b for b.
-1
Let d(m) = 10 + 35*m + 4 - 14*m - 20*m. Let b be d(-8). Solve 2*n - b*n - 12 = 0 for n.
-3
Let m = -9 - -12. Suppose 5*i - 40 = -4*l, 2*l - l = m*i - 7. Solve 6 = i*t - 14 for t.
5
Let s be -44*(4 - 119/28). Solve s*l - 8*l + 15 = 0 for l.
-5
Let r(z) = -6*z**3. Let s be r(-1). Suppose 17 + 13 = s*l. Solve l = -i - 0 for i.
-5
Suppose 4*b - 84 = 7*b. Let f be (-1 - (-1)/(-2))/(6/b). Solve -5*l + f*l - 10 = 0 for l.
5
Suppose -x + 5*r + 4 = -3, 3*x - 4 = -2*r. Let h(g) = -7*g**2 + 6*g**2 + x*g**2 + 12 - 7*g. Let s be h(6). Solve 2*a = -2 - s for a.
-4
Suppose -6*h + f = -h, -2*f = h - 11. Let v be (-20)/14 + h + 432/28. Solve -x - v = -6*x for x.
3
Suppose 4*k - 3*b = -11, -4*k = -0*k - 4*b + 16. Solve -8*j + 15 + k = 0 for j.
2
Let r(a) = 4*a**2 - 19*a + 3. Let s be r(5). Solve s*k - 9*k + 5 = 0 for k.
5
Suppose 5*c = 58 + 62. Solve c = -5*v + 11*v for v.
4
Let x(v) = -v + 16. Let q be x(14). Let a be -1*(q - (1 + 1)). Suppose -p + 3*s = -5 - 6, 2 = -5*p - 4*s. Solve -p*z - 3*z = a for z.
0
Suppose -w + 4*v = -6*w + 40, 5*v = 5*w - 40. Let x = -6 + w. Suppose s - x - 3 = 0. Solve s*c = c for c.
0
Let y be (55/(-22))/((-2)/(-8)*-2). Solve -y*x = -9*x for x.
0
Let n(s) = s**2 - 2*s + 1. Let v be n(-3). Suppose -2*a = 7*q - 3*q - 8, 4*a - 4*q = v. Suppose 0 = -a*c + 5 + 55. Solve -4*o - o = -c for o.
3
Let r(i) = 6*i. Let c be r(0). Suppose 11 = u + 3*h - 4, u = 4*h - 20. Suppose -2*l - k - 1 = u, -5*k = l + 12 + 11. Solve l*o - o = c for o.
0
Suppose 5*h = -i + 13, -7*h = -2*h - 2*i - 4. Let g(p) = p - 1. Let v(a) = 7*a + 1. Let x(u) = -6*g(u) + v(u). Let r be x(8). Solve 0 = -3*j - h*j + r for j.
3
Suppose -2*r + r = 12. Let y = -5 - r. Suppose -3*z = 4*v - 69, 4*v - 2*z - 59 = -y*z. Solve -4*q - 1 = -v for q.
5
Let p be ((-352)/66)/(4/(-6)). Solve 3*w = 5*w - p for w.
4
Let i = 79 - 79. Suppose 0 = 2*t - 6. Solve t*g - 2*g = i for g.
0
Suppose -2*p - 16 = -4*j, 0 = -5*p - 0*p + 4*j - 10. Solve 0 = -h + p for h.
2
Let k = 21 - 16. Suppose -4*u - k*s - 27 = 0, -2*s - 15 = -4*u + 7*u. Let v be (1/u)/(14/(-504)). Solve 0 = b - 4*b - v for b.
-4
Let z(i) = i**3 + 7*i**2 - 48*i - 29. Let y be z(-11). Let r(u) = 2*u**2 - 2*u - 2. Let s be r(2). Solve y = s*d + d for d.
5
Let m(o) = o**3 + 6*o**2 - 10*o - 9. Let j be m(-7). Let k(y) = -y**2 - 9 + 15*y - 12*y + 10*y. Let i be k(j). Solve -i*c = 2*c for c.
0
Let f be 3*(3 - (-7)/(-3)). Suppose -f*a = -0*a. Let z be ((-10)/(-4))/(15/30). Solve a - z = 5*q for q.
-1
Let r(x) = 54*x**2 + 9*x - 10. Let b be r(1). Solve -54*o + b*o = 0 for o.
0
Let v = -634 - -634. Solve v*n - 3*n - 3*n = 0 for n.
0
Suppose 4*q + 28*z = 26*z + 20, 4*q - 5*z = 48. Solve 27 - q = 4*w for w.
5
Suppose 25 = 4*t + 13. Solve t*p + 0*p - 9 = 0 for p.
3
Suppose -3*c - 2 = -4*x, 3*c = -5*x + 2*x + 12. Solve 0*h - c*h = 10 for h.
-5
Suppose -5*r + 10 = -20. Solve 5*l = r*l - 2 for l.
2
Suppose 2*g + p = 4*g - 11, -3*g + 4*p + 14 = 0. Solve x - g = -10 for x.
-4
Suppose 0 = 5*d - 9*d + 16. Suppose -d*a + 2*a = 0. Suppose 4*l = 5*l - z - 4, -5*l + 2*z + 20 = a. Solve -8 = -l*u - 24 for u.
-4
Let f be (-5434)/(-234) + (-2)/9. Solve -8*d - 9 - f = 0 for d.
-4
Let k be 4/(16/36) - (1 - 2). Suppose -2*o + k = 2*m, 0 = 4*m + 5*o - 7*o - 26. Solve 2*y = -y - m for y.
-2
Let a = 235 + -233. Suppose 0*v - 2*x - 4 = -4*v, 4*v - 5*x - 10 = 0. Solve -a*p + 8 = -v*p for p.
4
Let r be ((-110)/6)/(-1) + (-345)/(-207). Solve 0 = r*p - 17 - 63 for p.
4
Suppose -2*n + 3 = 4*o - n, o = 3*n + 17. Let u(j) = -j**3 + 13*j**2 - 18. Let f be u(13). Let h = f - -18. Solve h*b = b - o for b.
2
Suppose -4*m + 3*u + 85 = 0, -5*m - 5*u + 124 + 26 = 0. Solve m = -11*d + 6*d for d.
-5
Let v = 62 + -47. Suppose 2*j - 3*n + v = 0, n - 3 = 5*j + 2. Solve -w = -j + 2 for w.
-2
Let m(y) = 2*y**2 + 16*y + 35. Let x be m(-5). Solve -x*h - 21 = -6 for h.
-3
Suppose 32 = 2*h + 18. Solve -a = -h*a - 12 for a.
-2
Let w be (-15 - -3)/6 + -10. Suppose -3*j = -6*j + 48. Let b = j + w. Solve 2*n + b = -0 for n.
-2
Let y(t) = -20*t**2 - 2*t. Let s be y(1). Let a = s + 22. Solve 4*r - r = a for r.
0
Let l(w) = -w**2 - 8*w - 4. Let u(n) be the third derivative of -n**4/24 - n**3/6 + 7*n**2. Let f be u(3). Let v be l(f). Solve -2*k = 2*k - v for k.
3
Let k = 14 + -10. Suppose -81 + 17 = -k*i. Suppose -5*q - 17 = -w, -5*q + 1 = i. Solve 2*v = 8 + w for v.
5
Let j(y) = -4*y - 13. Let x be j(-4). Suppose -x*r - 1 = -7. Solve 0 = -r*f - f for f.
0
Suppose -19 = -2*t + 7. Suppose t - 19 = -3*c. Solve m + c + 2 = 0 for m.
-4
Let p(x) = x**3 - 6*x**2 + 3*x + 5. Let s be p(5). Let j be ((-8)/s)/(8/(-20)). Let y be j/(-8 + 0)*4. Solve 0 = w + y + 1 for w.
-3
Let y(m) = -3*m - 13. Let d be y(-8). Suppose d*g - 12*g + 2 = 0. Solve -g = x - 4 for x.
2
Let z be (3 - 12/10) + 33/165. Solve 56*i + z = 57*i for i.
2
Let m(h) = -h**3 + 6*h**2 - 6*h + 7. Let w(u) = -2*u - 5. Let s be w(-5). Let n be m(s). Let l be 42/7 - (-5 + 11). Solve 5*f - n*f = l for f.
0
Suppose -2*g - 12*g + 126 = 0. Solve 0 = 4*z + g*z + 13 for z.
-1
Let o(a) = -2*a**3 + a**2 + a + 1. Suppose 5*z - 14 + 19 = 0. Let s be o(z). Solve -s*l = -0 - 9 for l.
3
Let g = -275 + 279. Solve -13*r = -11*r + g for r.
-2
Let g be ((-198)/(-330))/((-14)/20 + 1). Solve 5*t + g*t = t for t.
0
Let f be ((-2)/1)/((-6)/12). Suppose 3*o = -b + 2, -o = f*o - 4*b + 8. Solve o = -2*d - 0*d for d.
0
Let z(o) = -o**2 - 19*o - 83. Let v be z(-8). Solve 0 = 3*j - 4*j + v for j.
5
Suppose 0 = 5*i - 3*b - 5, 3*i + b = i + 13. Suppose 4*x - 6 = 3*q + 20, 4*q - 8 = 0. Solve i*s = x*s for s.
0
Let q = -55 - -36. Let d = 