2*v + 5*t = -5 for v.
5
Suppose -3*g + l = -18, g = -l - 2*l - 4. Suppose g*f = 4*f + 2*v - 6, f + 4*v - 12 = 0. Solve 4*j + 0*u + 2*u + 28 = f, -4*j + 5*u = 0 for j.
-5
Let i(m) = -4*m + 41. Let k be i(9). Solve -k*b + 40 = -5*q + q, 4*q = -5*b for q.
-5
Let k = -104 + 107. Solve g - 3 = a, -k*a + 2*g = -3*g + 9 for a.
-3
Suppose 3*b + 29 - 107 = 0. Suppose s = b - 14. Solve -5*r - s = -j, 5*j - r - 10 = 2 for j.
2
Let k(y) = -2*y**3 + 1. Let l be k(-1). Let h be 0 + 9 + (6 - 9). Solve -q + w = -l*q + 1, h = -2*w for q.
2
Let x = -56 + 106. Let a be (2 + (-8)/5)/(5/x). Let o = 5 - 3. Solve z = a*s - s - 5, 2*s = -o*z - 2 for s.
1
Suppose p = 1, -7*s + 3*p + 37 = -3*s. Solve -2*z = -5*c + 2 + 4, 0 = 2*c + 3*z - s for c.
2
Suppose -4 = -4*m + 2*b, 3*b - 10 = 2. Solve 4*f + 4 - 18 = -3*h, m*f - 8 = -h for f.
2
Let c(d) = -d**3 - 7*d**2 - d - 4. Suppose -4*o = -2*i - 10, 16 = -0*i - 2*i - 2*o. Let s be c(i). Solve 3*m = 6 - s, 0 = -3*n + 5*m - 5 for n.
0
Let u(z) = 2*z**2 + 3*z + 1. Let p be u(-2). Let r(o) = -o**2 - 10*o + 4. Let y be r(-10). Solve 5*f - 35 = -3*t, p*t + y*f - 41 = -2*t for t.
5
Let w = 134 - 133. Solve -3*u - 13 = u - 3*c, 0 = -2*u - c + w for u.
-1
Let n(h) be the first derivative of h**2 - 6*h + 9. Let k be n(7). Solve r + 3*v = -k, -4*r - 4*v - 2 = 6 for r.
1
Let d(q) = -q**3 + 4*q**2 + 58*q - 6. Let b be d(-6). Solve 0*p + b = -2*o - 4*p, -13 = -o + 2*p for o.
5
Suppose 0*b + b - 7 = -5*r, -5*r + 19 = -3*b. Let o be (r - 1)/(1/3). Suppose -3*m = o*s, 0 = -3*s + 2*m + 11 + 4. Solve -2*w = 5*l + s, -4*w - 1 = l - 4 for l.
-1
Let n(u) = -u**3 + 5*u**2 - 4*u + 2. Let h be n(4). Let f(v) = -3 - h + 1 - 8*v. Let l be f(-3). Solve -4*s = -q + 18, s = -5*q - s - l for q.
-2
Let n(d) = -6*d - 4. Let i(s) = -13*s - 8. Let x(p) = -4*i(p) + 9*n(p). Let y be x(6). Let a be (3/6)/((-2)/y). Solve 3*r - 6 = -f, -a*r - 2*f + 9 = r for r.
3
Suppose 0 = -14*j + 13*j + 2. Solve -3*k + i - 4 = j*i, 5*i = 3*k - 20 for k.
0
Let d(i) = i**2 - 6*i - 8. Let l be d(-6). Let v be l/30 + (-3 - 301/(-105)). Solve -2*x - 2*g = -8, 3*x = v*x + 2*g + 7 for x.
5
Suppose -4*b + 80 = 5*h, b + 35 = h - 2*b. Let z(c) = 7 + 21*c - 4 - 19*c. Let i be z(0). Solve -s = 5*w - h, 4*w = -0*w + i*s + 35 for w.
5
Let q be (-6)/(-8) + 276/(-48). Let k(v) = -9*v - 41. Let c be k(q). Solve 0 = -3*a - 2*p - 11, -c = 2*a + 3*p for a.
-5
Let z be 5*3*(-6)/(-15). Suppose 0*r = -4*r - 6*r. Suppose 4*g - 5 = -j - 0*j, r = -2*g. Solve -z*s = -s + 3*y + 14, 3*y = 4*s - j for s.
-1
Let v(d) = d**2 - 4*d. Let p be v(6). Let n be 3/(p/(-4))*-2. Solve u + 2*j + n = -2, -4*j = -3*u - 12 for u.
-4
Let l be 17/1 - 60/15. Suppose -l = 3*g - 13. Solve -q - 2*v + 3 = g, -7 = -q - 2*v - v for q.
-5
Let g = -608 - -612. Solve -y + 3*u - 7 = g*y, -15 = y - 4*u for y.
1
Let c = -82 + 15. Let x = 124 + c. Suppose 5*z - 4*v - 53 = x, 3*v = 4*z - 87. Solve -2*l - z = -0*l - 2*k, 2*l + 30 = 5*k for l.
-5
Let z(p) = 6*p**2 - 11*p + 3. Suppose -2 = -u - 0. Let i be z(u). Solve -i*n + 16 = 2*c, -3*n + 2*c = -0*n for n.
2
Suppose -42 + 0 = -7*f. Suppose -3*h + 7*h + 4*x - 8 = 0, 0 = -2*h + 4*x + 10. Solve 0 = -5*i + 2*t + f, 9 = 4*i + i - h*t for i.
0
Suppose -24 = -3*x - 4*b, -18 = -3*x - 4*b + 2*b. Suppose 11*s = 12*s + 8. Let a = 0 - s. Solve a = -0*t + 4*t - 2*z, x*z + 16 = 4*t for t.
0
Suppose -2*d = 5*s - 33, 25 = 5*d + 58*s - 57*s. Solve d*r = g + 23 - 7, -5*g - 17 = r for r.
3
Let a = -1302 + 1308. Solve -4 = -i - z, 3*z = 3*i - 0*z + a for i.
1
Let g(m) = m**3 - 6*m**2 - m + 5. Let i be g(6). Let a = i - -4. Solve -a*h - 7 = -4*s - 0, -h - 2 = -s for s.
1
Let p(z) = z**3 - 3*z**2 - 5*z + 6. Let x be p(5). Let r = -7 - -10. Suppose -r*g - 2 + 11 = 0. Solve -4*q + g*s + 3 = x, -24 = 4*q - 2*s for q.
-4
Let k(f) = f**2 + 4*f - 10. Suppose 4*o = -m - 5, -5*m = -2*o + 4*o + 79. Let q = m - -11. Let r be k(q). Solve 5*z + 0*n - 2 = -r*n, 2*n = z + 2 for z.
0
Suppose 4*n - 17 = 3. Solve -4*o + 0*o = 4*v, -15 = -n*v for o.
-3
Let v(q) = 3*q + 11. Let a be v(8). Let c = -28 + a. Let y be 4/14 + (-10)/(-14). Solve -5*b - y + c = n, 4*b = 4*n for b.
1
Let l be (-2)/9 + (-14)/(-63)*-179. Let j = 46 + l. Let q be (-3 + 0)/((-18)/30). Solve -j = n + 2*d, q*n + 4 = d + 2*d for n.
-2
Suppose 0*j = -4*j + 72. Let u be (-71)/(-2) + (-9)/j. Solve -4*s + 3*d + u = 0, d = s + 2*s - 20 for s.
5
Suppose f + s + 10 = -4*s, -5*s = 15. Suppose -4*o - 5*q = -q + 56, f*q + 53 = -4*o. Let m = 29 + o. Solve -2*w = 4*k - m, 8 = 3*w - k + 4 for w.
2
Let x = 698 + -674. Solve 5*o - x = 3*s, 0*o - 4*o - 4*s = 0 for o.
3
Let d be 2/3 - (-20)/15. Solve 2*u - a - a + d = 0, -4*u - a = 19 for u.
-4
Let g(y) = -y - 6. Let k be (-40)/(-4)*(-8)/50*5. Let d be g(k). Solve -4*i - a + 3 = -3*i, 22 = 5*i - d*a for i.
4
Let j = -329 + 331. Solve -4 = -j*f, 9*i - 4*i = -f + 27 for i.
5
Let n = -32 - -36. Suppose -w + 4*r = 9*r + 22, 5 = -5*w - n*r. Solve -4*u + 4*f - 16 = 0, -w*u + 2*f - f = 10 for u.
-3
Let k = 1722 - 1718. Solve 0*c + 4*c + 20 = -5*m, k*c + 20 = 3*m for c.
-5
Let l = 5 + 2. Let s be ((-2)/(-6))/(l/105). Suppose 0 = s*w - 22 - 3. Solve 0 = -2*c + 1 - w, 0 = -i + 4*c + 12 for i.
4
Suppose 4*s = -p + 17, 10*p - 13*p = -4*s - 3. Let n = 26 - 17. Solve 2*u = -2*u - 3*l - s, 0 = -3*l + n for u.
-3
Let q(n) = -n + 29. Let h be q(2). Solve -3*d + 6*d + h = -3*f, 5*d + 5 = 3*f for d.
-4
Let f be ((-12)/(-42))/1 - 12/(-7). Solve 0 = m + h + 3, 3 = -2*m - h + f for m.
2
Let m(y) = y**3 + 11*y**2 + 15*y - 3. Let z be m(-9). Suppose z*w - 60 = 9*w. Solve f = 0, 20 = w*d + 2*f - 4*f for d.
5
Suppose 3*p - 4*f - 25 = 0, 6*p = 2*p + 5*f + 32. Solve 3*x - 20 = d, p*d + d - 2*x = -30 for d.
-5
Let l(k) = -2*k**3 + 14*k**2 - 17*k + 32. Let y be l(6). Solve y*h + 2*t + 12 = 0, 0 = 3*h - 2*t - 2 for h.
-2
Suppose 0*t + t = -4, 0 = 3*g + 5*t - 34. Let s = g - -6. Let j be (-6)/(-4) + 1/2. Solve 0 = 5*y + 4*h + 4, -j*y + 4*h = s for y.
-4
Suppose 2*t + 5*j + 16 - 3 = 0, 4*j = -4*t - 32. Let c = -29 - t. Let a = -18 - c. Solve 0 = 3*x + 4*p - a, -2*x - p = -7*x - 12 for x.
-2
Let t be -2*(7/14 + -4). Solve -5*d = -5*y, 0 = 2*y + d - t + 16 for y.
-3
Let z be (-72)/(-12)*1/3. Suppose 0 = 3*c + z*l - 50, -2*c - 3*l + 34 = -l. Solve -2*m + 4*m = 2*h + 10, 5*h - 2*m + c = 0 for h.
-2
Let z = 327 - 220. Suppose -10*n + 23 = -z. Solve 0 = 5*o - 2*b - 2 - n, 3*b = 2*o - 6 for o.
3
Let c be 54/15*15/6. Suppose l = -2*l + c. Solve -l*f + 18 = 3*a, 4*a = -2*f + 6*f for a.
3
Let j = 252 - 246. Solve -5*h = 3*k + 18 + j, -h = 3*k + 12 for k.
-3
Let m be 12/5 + (-18)/(-120)*4. Suppose m*g - 15 = -3*n, 0*n = n - 2*g - 2. Solve 3*f - 2*r = -n*r + 10, -3*f + r - 5 = 0 for f.
0
Suppose 0 = w + 2*w - 12, -4*w = -2*r + 86. Suppose 49*t - r*t = -82. Solve 5*p + 4*a = -a - 5, 4*a = 5*p + t for p.
-5
Let h be (-3 + 3)/(1 - 3). Let z(m) = 18*m + 257. Let w be z(-14). Solve -3*q + i + w = h, 3*q + i = 7 + 6 for q.
3
Let v be (-2 - (-5 - 0)) + -1. Let j(m) = -38 + m + 17 + 18. Let t be j(7). Solve 2*u + 4*n + 3 = 1, v*u - t = -n for u.
3
Let v(x) = x**2 + 5*x - 5. Let y be v(-6). Let j = 9626 - 9623. Solve -4*b = 4*d - 35 - y, -12 = -j*d for b.
5
Let y(b) = b**2 - b + 1. Let t be y(-1). Let a be t/9*-3 + 11. Solve 0 = 2*v - a, 3*v = 3*j + 2*j for j.
3
Suppose 21*x - 16*x = 0. Suppose x = -12*m + 10*m. Solve m = 2*a - 5*l + 1, a - 5*a - 3*l - 15 = 0 for a.
-3
Let x(t) = -t - 7. Let b = 12 + 27. Suppose -5*i - b = 6. Let p be x(i). Solve -p*r + 20 = 4*y, 4*r - 5*y = -r - 10 for r.
2
Let h = -99 - -104. Let z be h + (-5 - -1) - -3. Solve -m - 3*w = -14, -w + z + 14 = 3*m for m.
5
Let z(w) be the third derivative of -w**5/60 + 3*w**4/8 - 5*w**3/6 - 4*w**2. Let k be z(9). Let f = 8 + k. Solve -14 = g - 2*n - 3*n, -3*g = -2*n + f for g.
1
Suppose 5*t - 8 = 3*t. Let i(k) = -7*k**2 - 8 + 2*k**2 - 15*k + 4*k**2 - 1. Let s be i(-14). Solve -17 + s = -t*p + 4*x, -5*x - 9 = -2*p for p.
2
Suppose u + 4 = -2*m - m, 20 = -3*m - 5*u. Suppose m = 6*v - v - 10. Let j = v - 2. Solve 11 = -b + 4*z, 0 = -j*z + 3*z - 6 for b.
-3
Suppose -4*x - 3 = -7*x. Let q be (-1 - x/(-4))*-4. Suppose q*w + 12 = 33. Solve 4*f - 2*f - w = 3*b, -1 = -b for f.
5
Let t = 13 + -13. Suppose t*u + u - 1 = 0. Let p = 5 - u. Solve v + 0*v + 5*m = 12, -18 = -5*v - p*m for v.
2
Suppose 2*q + 43 = 53. Solve 9 =