, -3*m = -5*l - 20. Solve 2*o + m = 4*o for o.
5
Let a be ((-175)/(-20))/(1/4). Let j be (12/7)/(10/a). Solve 0 = z - 4*z - j for z.
-2
Suppose -87*u + 16 = -85*u. Solve -5*n - u = -9*n for n.
2
Let r = 15 + -1. Let o be (-6)/12 - r/4. Let n(l) = l + 9. Let x be n(o). Solve x*a + 12 = a for a.
-3
Let u be 1 - (4 + -1 + -5). Suppose 3*a = -5*j + a + 78, -u*j = -4*a - 26. Suppose 3*f + 5*q + j = 0, 6 = f - 2*f - 2*q. Solve f*z - 3 = z for z.
3
Suppose -4*p + 0*k = -k + 4, 2*p = 4*k - 16. Let a(x) = x**3 + 8*x**2 - x - 2. Let m be a(-8). Suppose c - m = -c + 5*w, 4*w = 0. Solve p = -c*o + 2*o for o.
0
Let r be (-36)/(-2) - 31/(93/18). Let x = 9 - 5. Solve x*i - r = -4 for i.
2
Let q be (-20 + 8)*(-10)/6. Let y be (3/6)/(2/q). Solve -y*w + 17 = 2 for w.
3
Suppose -2*v + 50 = -5*o, -4*v + 32 = o - 24. Solve -7*s + v = -2*s for s.
3
Let d be 3 - 1/(1/4). Let p be d + 3 + (-15 - -23). Solve a = -a - p for a.
-5
Suppose -37*b = -35*b - 40. Suppose 3*t - b = 25. Solve 3*g = 6*g + t for g.
-5
Suppose 4*b - 4*m = -3*m + 105, 3*b = 2*m + 75. Solve b*f = 24*f + 6 for f.
2
Let m be 193/7 + (-9)/(-21). Let l = 31 - m. Let g be 2*l/6 - -3. Solve 0 = -g*j + j for j.
0
Suppose -5*r + 3*u = -5 - 37, -4*r + 4*u = -40. Let o be 1 - (-3)/(0 + 3). Suppose o + 9 = 3*y + n, 5*y = 4*n - 10. Solve -r*h + 12 = -y*h for h.
3
Suppose 2 = -g + 4*i, 3*g + 6*i - 10 = 2*i. Suppose g*m = -5*v + 20, 0 = -v - 3*m + 17. Solve -6*n = -v*n + 8 for n.
-2
Let g(v) = 2*v - 1. Let w be g(2). Suppose w*l - s = 11, 4*l - 3*s - 23 = -0*l. Solve -10 = l*m - 4*m for m.
5
Let h be 24/9*(-12)/(-8). Solve -h - 2 = 2*w for w.
-3
Let a be ((-6)/(-27))/((-10)/(-9) - 1). Solve a = 4*w - 2*w for w.
1
Let b be (-1 - 0)/((-2)/14). Suppose 0 = 4*v + 4*z - 44, -2*v + 2*z = -v + 4. Suppose -v*d + 7 = -d - 3*g, 5*g - 5 = 0. Solve d*n - b = -3 for n.
2
Let w be 3/2 - 1/(-2). Let b = w + 3. Let x be 40/(-12)*15/(-10). Solve x = -b*i - 15 for i.
-4
Let v(i) = -13*i - 41. Let r be v(-6). Solve r*a = 41*a - 8 for a.
2
Suppose 4*l - 4*j - 36 = 0, 2*l + 4*j + 0*j + 6 = 0. Suppose -2*k - k = -9, -4*i + 3*k = -39. Solve l*z + i = z for z.
-3
Suppose 5*k - 235 = -5*z, 5*k + 2*z - 154 = 66. Solve -39*u - 9 = -k*u for u.
3
Let z(m) = m**3 + 4*m**2 + 4*m + 5. Suppose -o - 3*y = 3*o + 21, 5*y = 5*o. Let n be z(o). Solve -n = -2*p - 0*p for p.
1
Let i be 22/6 - (-1)/3. Solve -h = -i + 2 for h.
2
Let f(l) = -4*l**3 + 4*l**2 + 4*l - 1. Let j(d) = 7*d**3 - 7*d**2 - 7*d + 2. Let t(c) = 5*f(c) + 3*j(c). Let o be t(3). Solve -2*m = 2*m + o for m.
-4
Let h = 20 - 16. Suppose t - 4 = h*u + 5*t, -5*u = -5*t - 25. Suppose -u*p + p = 0. Solve 5*v + p*v = -25 for v.
-5
Let u(j) = 26*j**2 + j + 2. Let w be u(1). Solve w*q - 26*q = 0 for q.
0
Suppose -24 = -2*t - 2*t. Let v(n) = 0 - 1 + 2 - 2*n + 0 + t*n**3. Let x be v(1). Solve -8 = -x*c + c for c.
2
Let s = -39 + -15. Let f = 54 + s. Solve f*h = -4*h for h.
0
Let u = 22 + -15. Let x(s) = -s**2 + 7*s + 1. Let z be x(u). Solve l + 0 = -z for l.
-1
Let c(w) = -w**3 + 4*w**2 + 19*w + 14. Let r be c(7). Solve r*x - 18 = -6*x for x.
3
Let l = -4 - -7. Suppose 3*m + 3 = 2*k - 3, -2*m = 2*k - 6. Let a(q) = 6*q. Let p be a(k). Solve 3*o - l = -p for o.
-5
Let i(v) = 2*v - 6. Let y be i(0). Let p = -4 - y. Solve r = p*r + 4 for r.
-4
Suppose 4*i - 12 + 0 = 0. Suppose -i*k + 30 = -k. Let q = 21 - k. Solve -3*a = -a + q for a.
-3
Suppose -2*m + b = -3*m + 26, 2*b = -4*m + 108. Solve 27*t - 4 = m*t for t.
-4
Let y be (-3)/(-2) - (-24)/16. Suppose 0 = l - y*l. Solve 5*o - 13 + 38 = l for o.
-5
Let y(i) be the second derivative of -i**3/6 - 17*i**2/2 - 4*i. Let v be y(-14). Let h = v + 6. Solve 0 = -h*z + 8*z + 20 for z.
-4
Let u be (1 - -2) + (-4 - -3). Let p(r) = 7*r + 36. Let a be p(-5). Suppose i + 0 + 1 = -t, -1 = i. Solve q + a + u = t for q.
-3
Let c(m) = -m**2 - 6*m + 1. Let q be c(-6). Let g(o) = -o**2 - 11*o - 8. Let u be g(-10). Let r be -5 - -7 - u/1. Solve 0 = -h - r + q for h.
1
Let f = -112 - -209. Let n = f - 97. Solve -j + 1 + 4 = n for j.
5
Let d = 1732 - 1727. Solve -d*t + 24 = 19 for t.
1
Let w be 0 + (-9)/(-12) + (-26)/(-8). Solve 4*n + 4 = -w for n.
-2
Suppose -3*i = 3, 3*h + 33 = -4*i + 359. Solve 0 = x - 23*x + h for x.
5
Let d(w) = w - 13. Let y be d(15). Suppose 2 + 6 = y*i. Solve 2*j - i*j - 10 = 0 for j.
-5
Let t be 4*-1 + (7 - -1). Suppose 24 = 5*c + t. Solve -c*d - 2 = -2*d for d.
-1
Suppose -3*o + 15 = 0, 0 = -5*t + o + 16 - 1. Suppose 9*a + t = 40. Solve 0 = -q + a*q - 12 for q.
4
Let t = -353 + 356. Solve -11 = -2*m - t for m.
4
Let l be (-84)/(-24) - 2/(-4). Suppose -2*f - 2*f + 38 = 3*m, -5*m + l*f = -42. Let n = m + 0. Solve -n + 4 = 3*u for u.
-2
Let h be 1/5 - ((-174)/30 - -6). Let j(l) = -2*l - 9. Let i be j(-6). Suppose 0 = b + i*b. Solve h = -5*o - b - 15 for o.
-3
Let n be 1 - -1 - (-16 + 19). Let l be -4 - (n - (1 + 2)). Let a = l + 4. Solve a*q + 10 = -q for q.
-2
Suppose -y + 15 = -0*y. Suppose -n - 9 = -15. Solve -y = n*x - x for x.
-3
Suppose 0 = -28*d - d + 232. Solve -d*c - 20 = -4*c for c.
-5
Let p = -373 - -379. Solve p*u + 10 + 2 = 0 for u.
-2
Suppose -s - 1 + 7 = 0. Suppose -5*y - s + 21 = 0. Let a be 1/(-2)*(y + -5). Solve 2*j - a + 9 = 0 for j.
-4
Let r = -1 + 4. Let o = -90 + 48. Let f = o - -45. Solve 6*d - f*d - r = 0 for d.
1
Let k(c) = -c**2 + 30*c + 34. Let o be k(31). Suppose -8 = 4*u - 36. Solve -u*y - 12 = -o*y for y.
-3
Suppose -25 + 9 = -8*r. Solve 0 = -r*h - 2*h + 4 for h.
1
Let z = -56 + 58. Suppose -t = -0*t + 2. Let u = z - t. Solve q - u = -0*q for q.
4
Suppose -362*y = -363*y + 4. Let g be -4*-1*1 + 0. Solve -y*t + g = -4 for t.
2
Let v(t) be the first derivative of 10*t + 7/2*t**2 - 11 - 1/3*t**3. Let a be v(8). Solve 0 = -a*w + 3*w + 3 for w.
-3
Let u(n) = -9*n**2 + 9*n + 4. Let g(h) = -5*h**2 + 5*h + 2. Let s(i) = 5*g(i) - 3*u(i). Let t be s(-2). Let q = 14 - t. Solve -q*z - 2 = -3*z for z.
-2
Let z = 3 + -2. Suppose -x + z - 12 = -s, -4*x - 14 = -2*s. Solve 4*r - r = s for r.
5
Let p = -172 - -182. Solve p = y + y for y.
5
Let f = -12 + 13. Let r = 1 - -2. Solve -f + 13 = -r*g for g.
-4
Suppose -3*i + 400 = 2*i. Let a = -78 + i. Solve -a*u - 12 = 2*u for u.
-3
Suppose 0*u = 4*u - 12. Suppose u*w - 70 = -11*w. Solve w*t = -0*t + 10 for t.
2
Suppose -3*c + 2*c + 11 = 0. Suppose -c*a = -16*a + 35. Let p(v) = v**2 - 6*v + 2. Let r be p(a). Solve r = -4*s + 1 for s.
-2
Let v(g) = g**2 + 21*g + 72. Let f be v(-17). Let u(o) = o**2 + 15*o + 26. Let l be u(-13). Solve l*w + f = -w for w.
-4
Let i be (2/(-4) - 0)*-4. Suppose 3*d = 0, d - 6*d = -w + 27. Let j = -22 + w. Solve f - i*f = j for f.
-5
Let a(v) be the third derivative of -v**4/6 - 2*v**3 + 10*v**2 - 3*v. Let b(s) = s - 1. Let x be b(-4). Let l be a(x). Solve 3*g + l = g for g.
-4
Let y(b) = -b**3 - 7*b**2 + 8*b + 2. Let v be y(-8). Let d be (20 + -21)/(v/(-4)). Solve d*c - 6*c = -12 for c.
3
Let o(c) = -c**3 - 13*c**2 + 16*c - 4. Let b be o(-14). Let z be b/(-3) + 1/3. Suppose 4*w = q + z, -q = 5 - 2. Solve -j + w*j = 4 for j.
4
Let s(x) = 2*x**2 - 40*x + 133. Let d be s(16). Solve -1 - d = -6*p for p.
1
Let w(p) = -p**3 - 17*p**2 - 29*p + 18. Let x be w(-15). Let g = 7 + -7. Solve -t + g = -x for t.
3
Suppose -1 - 22 = -r + 2*p, 0 = -5*r - p + 82. Solve r*b - 22*b = 20 for b.
-4
Let z = -104 - -104. Suppose -j - 1 = 3. Let t be (4/(-3))/(j/36). Solve 2*y + 2*y + t = z for y.
-3
Let l = -946 + 966. Solve 2*y = 6*y - l for y.
5
Let u(w) = -w**2 + 3*w + 1. Let a be u(2). Suppose -a*n + 2*c = 9, 0*c = -2*n - 4*c - 6. Let g(y) = y**2 + 3*y + 4. Let f be g(n). Solve -f - 8 = -4*d for d.
3
Suppose -n + 39*n = 0. Solve 5*c - 67 + 72 = n for c.
-1
Let o = 16 - 11. Suppose d - 1 + o = 0. Let c be 0 - d - (12 + -10). Solve -c + 6 = 2*h for h.
2
Let q(h) = -h**3 + 13*h**2 + 19*h - 69. Let b be q(14). Solve 0 = 5*c + b - 11 for c.
2
Let s(a) = 2*a**2 + 21*a - 1. Let w be s(-10). Let r(v) = -v**2 - 11*v + 6. Let b be r(w). Solve -z + 3*z - b = 0 for z.
3
Let i = 47 + -47. Suppose i = -5*d + 3*b + 13, -4*b - 3 + 14 = -d. Solve d - 1 = 4*x for x.
1
Let b(w) = -11*w**3 - 27*w**2 - 18*w + 110. Let r(j) = -7*j**3 - 18*j**2 - 12*j + 73. Let f(a) = -5*b(a) + 8*r(a). Let s be f(-8). Solve -5*v = s + 2 for v.
-4
Let k be 0 + 2 + 2 + -2. Let i(a) = 37*a**2 + a + 2. Let c be i(-1). Let w 