x = -g*x - l for x.
5
Let u be (-1)/1*-1*5. Let m be -2*2 - (-2 + (-16)/8). Let r = m + u. Solve -r*o - 6 = -1 for o.
-1
Let o = -489 + 491. Solve o*b + 23 - 15 = 0 for b.
-4
Suppose a - 4*a - 94 = -5*q, 4*q - 83 = 5*a. Let j = q + -15. Solve -u - 15 = j*u for u.
-5
Let f be (0/14)/(-1 + 2 + 1). Solve f = -v - 2*v + v for v.
0
Suppose 0 = 7*z - 30 - 47. Suppose 15*g = z*g + 48. Solve -2*q = q + g for q.
-4
Suppose 0 = -8*h + 4*h - 4*n - 8, 0 = 2*n + 4. Solve -4*z = -h*z + 20 for z.
-5
Let t be 4/(72/(-42))*(-7 - -4). Solve -11*n - 90 = t*n for n.
-5
Let q be (186/24 + -4)*(-8)/(-6). Let u(p) = p**2 + 11*p - 9. Let v be u(-12). Solve q*k + 17 = -v for k.
-4
Let a = 4 + -5. Let z be (2 + a)*(-2 - 1). Let q be (-7)/(-4) - z/12. Solve -5*b = -27 + q for b.
5
Let y be ((-195)/(-13) - 12) + 1 + 16. Solve -15*d - y = -10*d for d.
-4
Suppose 0*p - 18*p = -18. Solve 11 - p = -5*o for o.
-2
Let t be (-152)/(-2) - (-19)/((-190)/70). Solve -2 = 70*y - t*y for y.
-2
Let b = 157 + -154. Suppose b = -2*t + 3*t. Solve -t*p + 8 = -5*p for p.
-4
Let z(s) = s**3 + s + 9. Let b be z(0). Suppose b*n = 14*n. Solve n = p - 2*p - 5 for p.
-5
Suppose 2*u - 3*s = -2*u + 10, -s = 2. Solve 9 = -8*h + u for h.
-1
Let j = -1512 - -1518. Solve 3 = -j*o + 21 for o.
3
Let f(x) = -20*x + 24. Let r be f(1). Solve -r*y + 2*y - 10 = 0 for y.
-5
Suppose 5 = 2*s + 4*b - 5, 5*s + 3*b - 18 = 0. Suppose v + 15 = s*l, -l - 3*v - v = -5. Let z be 1 - (-5 + -2)/1. Solve z*q + l = 3*q for q.
-1
Suppose -4*w - 36 = 2*w. Let c be (-90)/(-12) - (15/w + 3). Solve c*m = 2*m - 10 for m.
-2
Suppose 5*q + 8*o = 10*o + 143, -5*o - 24 = -q. Solve -16 = 33*t - q*t for t.
-4
Let k = -90 - -134. Let c = k - 40. Solve -c*o + 0*o = 0 for o.
0
Let m = -14 - -16. Let k = m - -2. Suppose 0 = k*r + r. Solve 0 = -r*z - 3*z for z.
0
Let x(g) = g**2 - 13*g - 21. Let v be x(11). Let r = 47 + v. Solve 9*b - r*b + 15 = 0 for b.
-3
Let b(w) = 2*w**3 - w**2 - w. Let v be b(-1). Let a = 7 - v. Let d be (a/5)/((-18)/(-60)). Solve -22 + d = -4*p for p.
4
Let t = -113 + 119. Let y(j) = 8*j + j**2 + 0*j**2 + 10 - 3. Let k be y(-7). Solve k = t*a - 3*a + 12 for a.
-4
Suppose -s = -5*b + 22, 0*s + 6 = -s - 3*b. Let v(q) = q + 11. Let m be v(s). Let g = m - -4. Solve -r + 12 = g*r for r.
3
Suppose 1281*m = 1286*m - 120. Solve -m*u - 16 = -16*u for u.
-2
Suppose 36 + 0 = 3*y. Let q be -21*(-1)/(-3)*-1. Let z = -3 + q. Solve y = -z*g + g for g.
-4
Suppose 19 = -2*l + 2*a + 3, 2*a - 2 = 0. Let u = 15 + l. Let v be 20/(-8)*(-1 + (-2)/(-10)). Solve v*f + 0*f = u for f.
4
Let s(k) be the third derivative of -k**6/120 - 3*k**5/10 - 17*k**4/24 + k**3 + 14*k**2. Let r be s(-17). Solve -r = -0*p + 3*p for p.
-2
Suppose 5*q = -7*q + 36. Suppose 0*m - 5*m = 25, -5*m = -q*d + 37. Solve -d*v + 14 = 2 for v.
3
Let t = -643 + 727. Solve -12*l = t - 24 for l.
-5
Suppose -2*t + 3*t - 2*r - 6 = 0, -4*r + 44 = 5*t. Let u be (-4)/18 + (183/(-27) - -7). Solve u*h - t = -4*h for h.
2
Let i(d) = 0*d + 0*d - 5*d - 10 + 3*d. Let z be i(-9). Solve -m - z = -4 for m.
-4
Let i(j) = -13*j + 44. Let m be i(3). Solve -a - m*a = 6 for a.
-1
Suppose -2*k + 32 = 2*d, 0 = -0*d - 5*d - 2*k + 92. Suppose -47 = -3*i - d. Solve 2*q - i = -3 for q.
3
Suppose -4*c - 14 = -2*q, 3*q = -2*c - 8 + 13. Solve 8*n + q = 9*n for n.
3
Let q(c) be the second derivative of c**5/10 + 17*c**4/12 + 7*c**3/6 + 7*c**2/2 + 25*c. Let g be q(-8). Solve -3*b - g = -0*b for b.
-5
Let r(t) = 6 + t**3 - 3 + 0 - 5*t**2 - t. Let p be r(5). Let y be -6*1*p/3. Solve -y*c - 5 = -3*c for c.
-5
Let x(i) = -2*i**3 + 9*i**2 + 27*i - 7. Let q(h) = -h**3 + 5*h**2 + 14*h - 3. Let c(w) = -5*q(w) + 3*x(w). Let t be c(4). Solve 5*a + 9 = -t for a.
-3
Let c(y) = 27*y - 12 - 14*y + 33 - 14*y. Let b be c(18). Solve -b*x + 2*x = 4 for x.
-4
Suppose -3*o = 2*q + 4, 5*o + q - 3*q - 4 = 0. Suppose d + 6*g - 2*g - 11 = o, 7 = 3*d - g. Suppose d*t - 8 = t. Solve t*i - 4 = 3*i for i.
4
Suppose -2*u - 44*d + 94 = -42*d, 4*d + 217 = 5*u. Solve -43*o = -u*o for o.
0
Suppose -2*m = -10, 3*c + m = 7*c - 11. Let r(b) = -b**2 - 9*b + 286. Let o be r(-22). Solve o*i = c*i + 4 for i.
-1
Let q = 108 - 107. Let s be 15/(-25)*q*(-5 + 0). Solve s*l - 4 + 19 = 0 for l.
-5
Suppose -3*k + 6*k = 0. Let x(s) = -s**2 - 4*s + 5. Let b be x(-4). Suppose -2*w + b*r + 7 = 28, 0 = 4*w + 5*r - 33. Solve k*f = -2*f - w for f.
-1
Suppose 0 = -3*v + 7*v + 24. Let j be (-21)/12*(v + 2). Let a be 2 + -3 - (j + -8). Solve a = -3*s - 3 - 0 for s.
-1
Suppose -2*a + 6*a = -16. Let s be 22/(-33) + a/(-6). Solve s = f + 3 - 2 for f.
-1
Let n be (-42)/4*(-800)/280. Solve 26*z + 20 = n*z for z.
5
Let p be (5 - 12/(-6)) + 5. Solve -10 = -7*r + p*r for r.
-2
Let q = 31 - 27. Let i(m) = m**2 - 2*m + 12. Let a be i(q). Let y = a + -19. Solve 3 - y = v for v.
2
Suppose n - 4*h - 6 = 4, -3*n - 4*h = -14. Let x be (8/(-3) - 16/(-24))/(-1). Let t = 40 + -24. Solve -n*z - t = -x*z for z.
-4
Suppose -5*f - 19 = -2*p, -3*p = p - 5*f - 23. Suppose 8 = -p*g - 0*g. Let c be 2/g*(1 + -19). Solve 3*n + 0*n + c = 0 for n.
-3
Let h(j) = j**3 - 4*j**2 + j. Let l be h(4). Let a(t) = -t + 8. Let r be a(9). Let g be r + (-3 - -7) - 2. Solve g = -b + l for b.
3
Let i = 14 + -12. Let p(h) = -8*h**i + 7 - 3*h**2 - 2*h**3 + h**3. Let b be p(-11). Solve b = 4*r - 1 for r.
2
Let k(q) = -7*q - 7. Let w(s) = 10*s + 10. Let v(g) = -7*k(g) - 5*w(g). Let a be (38/76)/(2/(-20)). Let t be v(a). Solve 2*x + 0*x - t = 0 for x.
2
Let k(h) = 6*h - 2. Let x be k(3). Let t = -40 - -28. Let w = x + t. Solve p - 1 = -w for p.
-3
Suppose 0 = -4*i - 34 + 42. Solve -i*r + 8 = 2*r for r.
2
Suppose -2*n = 3*h - 20, 2*h = -2*n - 0*n + 16. Solve n*u - 4 = -24 for u.
-5
Let a(m) = m**3 - m**2 + m + 3. Let y be a(0). Let v = 28 + -14. Suppose 2*p - v + 6 = 0. Solve -l - y*l = -p for l.
1
Let q(v) = -16*v. Let w be 13*1 - (-2 - -5). Let s = w - 11. Let i be q(s). Solve 3*a + a = -i for a.
-4
Suppose -145 = 4*f + 127. Let w be f/(-6) + 2*(-6)/9. Solve -m + 6*m - w = 0 for m.
2
Let k(a) = a**3 - 27*a**2 + 2*a - 36. Let d(b) = -2*b**2 + 25*b - 23. Let t be d(10). Let v be k(t). Solve 3 = 3*n + v for n.
-5
Let w(j) = j**2 - j - 2. Let t be w(-2). Suppose -2*p + 6 = t*c, -3*p - 1 = -0*p + c. Let l = p + 4. Solve 7 + 8 = l*h for h.
5
Let a = 2 + 22. Solve 5*f = -a + 39 for f.
3
Suppose n + 2*k - 10 = 0, n = 2*k - 5*k + 15. Suppose 3*m - 4*m - 3 = 0, 0 = -4*p - 2*m + 18. Let r be 2/6 - (-16)/p. Solve r*w + n*w = 9 for w.
3
Let a be 1/1 + (5 - 18/(-3)). Solve -a = 3*s - 0*s for s.
-4
Let j = -15 + 15. Suppose j = 5*w + c - 32, 4*w - 44 = -w + 3*c. Solve w*d + 5 = 2*d for d.
-1
Let n(d) = -d**3 - 17*d**2 + d + 21. Let s be n(-17). Let k(i) = -i**3 + 5*i**2 - 5*i + 4. Let v be k(s). Solve v = -7*c + 2*c - 15 for c.
-3
Let l(f) = -2*f**3 - f**2 - 48. Let j be l(0). Suppose -a - 59 = -4*y, 3*y + 5*a + 5 - 32 = 0. Let i be j/(-28) + 4/y. Solve i*m = 1 - 5 for m.
-2
Suppose -5*l = v - 5*v + 17, -6 = -2*v. Let z = l - -1. Solve z*k - 1 = k for k.
-1
Let a(k) = k + 1. Let b be a(-1). Let t = b - -8. Suppose 0 = 5*h - 107 + 7. Solve 3*x + h = t*x for x.
4
Let r = 9 - 15. Let z(n) = n**3 + 9*n**2 + n + 6. Let o(t) = t**3 + 10*t**2 + t + 6. Let q(w) = 3*o(w) - 4*z(w). Let l be q(r). Solve -2*g + 2 + 2 = l for g.
2
Let o(j) = -3*j**3 + 13*j**2 + 14*j - 20. Let n be o(5). Solve n*b + 5*b - 20 = 0 for b.
4
Let s = -5189 + 5192. Let b(i) = -2*i**2. Let q be b(1). Let c be ((-56)/20)/(q/10). Solve 0 = -s*p + 2 - c for p.
-4
Let r(z) = -7 + 10 - z + z - z**2. Let c be r(0). Suppose 0 = 2*x - 5*k - 16, c*x + k - 13 = 3*k. Solve -x*s + 0 = -12 for s.
4
Let z = 32 + -45. Let l(d) = 18 - 11 + 14*d**2 + d**3 + 9 + 14*d. Let n be l(z). Solve n = -3*y - 12 for y.
-5
Suppose 259 - 709 = -30*m. Solve 2*s - m = 5*s for s.
-5
Suppose 3*k - 111 = -0*k. Let l(o) = -33*o - 187. Let a be l(-5). Let y = k + a. Solve 0*b - 3*b = y for b.
-5
Suppose 3*z - 5*u - 37 = 0, -4*z + 5 = z + 3*u. Solve 4 = -z*b - 0 for b.
-1
Let c(d) = -37*d + 527. Let u be c(14). Solve -67 = u*m - 85 for m.
2
Suppose 0*s + 2*s - 3*v = 27, -3*v - 9 = 0. Suppose 2*p + 4*d - 12 = 0, p + 3*d - s = -3*p. Solve 1 = -n - p for n.
-1
Suppose 15*o - 36 = 11*o. Let i(k) = 3*k - 17. Let d be i(o). Solve 0 = -13*t + d*t - 15 for t.
-5
Let h = -10 - -21. Suppose -3*t + h = 