 -5*w + 5*o - 5 for w.
-1
Let i be 4/(-2) + 11 + -2 + -3. Let k be i/(-14) + (-230)/(-70). Solve 2*m = k*z - 1, 3*m + 5 = -z + m for z.
-1
Let w be 30/40 + 52/16. Solve 0*z = 2*z - w*d + 18, 3*z - 18 = -3*d for z.
1
Let n be 4 - 6/(-8 + 11). Solve -6 = -3*v - 3*c, 5*v - n*v - 1 = 2*c for v.
1
Suppose -2*m - 8 - 8 = 0. Let h = 9 - m. Suppose h*g - 15 = 14*g. Solve 0 = g*b - 2*z + 1, -z - 4 = z for b.
-1
Suppose 32*b = -491 + 555. Let w be 4 + -2 + (-1 - -1). Solve g = v + b + 4, v + w = -3*g for g.
1
Let j = -3 + 13. Let u = -1 + j. Solve -3*o - 6*l = -l - u, 4*o - 12 = -3*l for o.
3
Let r(w) = 17*w + 15. Let t be r(10). Suppose -g + 190 - t = 0. Solve 0 = 2*k + 2, -2*k = g*c + 3*k + 30 for c.
-5
Let j be (4/(-12))/(2/(-30)). Let b be 41/13 - (-96)/(-624). Solve 5*y = 5*u - j, -4*y + b*u + 24 = 6*u for y.
3
Let m(v) = v**2 - 2*v - 1. Let a be m(3). Suppose q = -4*q - 4*d - 5, -a*d - 22 = -4*q. Suppose q = -7*o + 8*o. Solve -2*y + 0*y + 4 = 0, -g + o*y = 1 for g.
5
Let p = 282 - 280. Solve -3*f - 2 = -2*q, -3*f + 3*q - 4 = p*f for f.
-2
Suppose 9 = 301*v - 298*v. Solve 3*s = -0*h - 3*h - 3, s + v = 0 for h.
2
Suppose -32 - 5 = f. Let n = -28 - f. Solve 2*w - n = -5*v, -2*v + 2*w - 7 = -5*v for v.
1
Suppose -3*c - 15 = 6. Let v(p) = -p**2 - 6*p + 9. Let l be v(c). Solve 0 = -l*q + 4, 4 - 1 = -3*a - 3*q for a.
-3
Let g be (-4)/8*2 - (4 - 5). Solve 20 = -n - 5*x - g*x, -2*n - 3*x = 12 for n.
0
Let b(p) = p**3 - 2*p**2 - 6*p + 1. Let m be b(4). Let r = m - 5. Suppose a + 6 = -5*s, r*s = -5*a + 5 + 7. Solve 7 = -j + a*x, 0*x + 5*x = 3*j for j.
5
Let x = -350 - -358. Solve -j = v + 2, 0 = -3*v + v - 4*j - x for v.
0
Suppose 2*q = -0*n + n, -3*n + 8 = -2*q. Let t be (-28)/(-42) + q/6*13. Solve i - 13 = -3*i + s, 0 = 2*i - s - t for i.
4
Let f(y) = y - 1. Let m be f(4). Let a = -4 - -4. Suppose a = 2*k - 9 + 1. Solve h + 6 = 2*h + m*n, -5*h = -k*n - 11 for h.
3
Let c = 31 - 1. Let h = c + -20. Solve 5*o = 4*m + 2 + h, o - 2*m = 0 for o.
4
Let x be 45/10*(-4)/(-6). Suppose x = -3*t + 12. Let z(a) = -a**3 + 12*a**2 - 13*a + 25. Let m be z(11). Solve -5*k - 30 = -5*i, t*k - 7 = -m*i + i for i.
5
Suppose 0 = 112*x - 117*x + 70. Suppose -3*r + x + 1 = 0. Solve 0 = 5*q + 15, q = -r*f - 2*q - 29 for f.
-4
Let h(b) = b**2 - 23*b + 59. Let k be h(21). Solve 3*p + k = 2, 0 = 2*l + 4*p + 30 for l.
-5
Suppose 408 + 406 = 37*g. Solve -22 = -m + k - 6*k, -5*m - 3*k + g = 0 for m.
2
Let y be (-1 + 1)*(0 + (-1)/3). Let j(b) = b**3 - 3*b + 2. Let i be j(y). Solve i*g - 2*w = w + 6, 0 = w + 2 for g.
0
Let b be (-4)/(-22) - (-1)/(44/80). Solve 3*h + 14 = b*w, -h - 5 = -3*w + 9 for h.
-2
Let t = -1 + -3. Let c = t - -9. Suppose -c*i + 9 = -1. Solve u = 2*a - 6, -4*u - 6 + i = -4*a for u.
4
Let m(y) = -57 + 2*y**2 - 20 - y**2 + 29 - 13*y. Let c be m(17). Solve -4*j + c = -8*j, 5*k = -2*j - 5 for k.
1
Let q(i) = i**3 + 10*i**2 + 9*i + 4. Suppose 0 = -4*r + 7 - 43. Let w be q(r). Solve -3*g - 16 = w*t, -3*t - 2*g = -3*g - 1 for t.
-1
Let o = -10 + 27. Suppose -o*q = -14*q - 9. Solve -3*u + 1 + 7 = g, -11 = 2*g - q*u for g.
-1
Let o(m) be the third derivative of -m**6/120 - 7*m**5/60 + 2*m**4/3 - 5*m**3/3 + 8*m**2. Let s be o(-9). Solve 0 = 2*r - p - 3, 0 = -2*r - r - 2*p + s for r.
2
Let j be (2 + 6/(-4))*0. Suppose j = 2*y - 5*y. Let v be (-5)/((16/4)/(-4)). Solve -2*x + v*x + 37 = -5*p, -2*p - 2*x - 18 = y for p.
-5
Let g be (8 - 10 - 6/(-4))*-8. Solve -4*j - 6 = -4*a + j, -g = -2*j for a.
4
Suppose 15 = d + 3*d - 3*o, -2*o + 13 = 5*d. Suppose -d*f + 32 = 11. Solve -3*m + 2*a = f, 3*m = 2*m + 3*a for m.
-3
Let p be (22 + 2)/((-15)/(-10)). Let u(a) = -a**2 + 9*a - 1. Let y be u(9). Let j be y + (0 - 3)/(-1). Solve 1 = -4*f + 3*n + 7, 4*f = -j*n + p for f.
3
Suppose 2*k = -5*h + 105, 21 = -0*h + h + 2*k. Let a = -16 + h. Solve 9 = -w + 3*r - 5*r, -w = a*r + 18 for w.
-3
Let w(x) be the first derivative of x**4/4 - 7*x**3/3 + 5*x**2/2 - 31*x + 13. Let s be w(7). Solve s*z = n - 19, 2*n + 3*n = 2*z + 5 for n.
-1
Let l(v) = v**3 + v**2 - v + 3. Let i be l(0). Suppose i*t + t = -4, t = -s + 4. Solve 3*f + 1 = -s*o, -26 + 10 = 2*o - 4*f for o.
-2
Let o(q) = -3*q - 7. Let v(j) = j**2 + 5*j - 4. Let u be v(-6). Let d be (-92)/22 - u/(-11). Let p be o(d). Solve -3*h + p*a - 9 = 0, 0*a - a = -3 for h.
2
Let u = 44 + -63. Let m = u - -34. Let s be 36/60 + 14/10. Solve -3*y = 2*r - m, s*y - r - 20 = -2*y for y.
5
Suppose -36 = -h + 5*h. Let k = h + 14. Let v(o) = o**3 - 6*o**2 + 6*o - 4. Let f be v(k). Solve 5*w - 4*u - 2 = -f, 2*w - 6 = -4*u for w.
1
Let v(c) = -3*c + 2. Let m be v(0). Suppose -p + 5*k = 0, 3*p - m*k + 7*k = 60. Solve 0*g + g + 3*b - p = 0, -3*b = -g - 9 for g.
3
Let h = 109 + -99. Solve 0 = 5*j + 5*f - h, f + 4 = j - 0*f for j.
3
Let a(i) be the third derivative of i**4/6 - i**3/2 + 8*i**2. Let u be a(2). Solve -2*y + 21 = -u*o, 5*y + 29 = -3*o + 4 for y.
-2
Let q = 31 - 28. Suppose -q*m - 3*w = 15, -2*w - 5 = -2*m - w. Let s be 11/3 - (-4)/(-6). Solve s*t = -0*t - 9, m = -3*z - 3*t - 15 for z.
-2
Let f be (4 - 2) + -19 - 0. Let m = 19 + f. Let t = -86 + 86. Solve 2*x + 2*h = -m*x - 18, 5*h + 5 = t for x.
-4
Let z = 27 + -25. Let u be ((-54)/8)/(z/16). Let s be u/63*28/(-6). Solve -3*b + s = -y + 18, 0 = 3*b + y + 4 for b.
-3
Suppose 16*l - 18*l - 17 = -5*o, 4*o + 2*l = 28. Solve -5*n + 0 = 5*b - 10, 5*n = -o for b.
3
Let n be (12/(-66))/((-7)/154). Solve 3*u + 2*f = f, n*f = -3*u for u.
0
Let n be (2/7)/(26/364). Solve -4*k + 10 = 5*r - 3, -n*k + 3 = -5*r for r.
1
Let f = 30 - 77. Let r = 70 + f. Let v = 6 - 4. Solve v*g + r = -5*h, 0 = g + h + 3*h + 19 for g.
1
Let n = -302 - -316. Solve 3*v + 18 = -3*l, -3*l - v = -2*v + n for l.
-5
Suppose -5*q - 8 = 32. Suppose 3*a - a = 26. Let t = q + a. Solve -t*j - 13 = -4*j - 4*f, 3*j = 5*f - 11 for j.
3
Let k = -2708 - -2717. Solve -13*c = -12*c - 4*u - k, 5*u = -2*c - 8 for c.
1
Suppose -4*i + 3 = 15. Let b = 63 + -64. Let w be 3*b + 6 + i. Solve -k + w*j = -j + 2, 1 = -2*k - j for k.
-1
Let c(o) = 2*o**3 - 18*o + 8. Let l be c(0). Solve -4*d + 0*g + 5*g + l = 0, 0 = 4*d + 5*g - 8 for d.
2
Suppose -t + 6*t - 3*x + 9 = 0, 15 = 5*x. Suppose -2*w - 3*w + j = -16, j = w. Solve 5*y - 4*y + w*h = 17, -4*y + h = t for y.
1
Let h(a) = 2*a + 3. Let z be h(-3). Let r be (-1 - 0)/(-4 - z). Let q be (12 - 14) + 2*r. Solve -p = 3*y - 6, 0 = 2*p - q*p - y + 2 for p.
0
Let n be (-230)/(-35) - ((-180)/(-35))/9. Solve -s + 13 = 4*q, 2*q - n*q + 10 = 2*s for q.
4
Let t be (3/(-1))/(6/36). Let s = -10 - t. Suppose 3*w - s = y, -2*y - 3 = -3*w + 4. Solve -3*g + 3*f + f = 20, -3*f = w*g + 6 for g.
-4
Let d(w) = w - 50. Let z be d(52). Solve -z*b - 2*q = 3*b - 21, -12 = -3*b - q for b.
3
Suppose 4*n = -4*d + 24, 0 = 4*d - 9 - 7. Let h be (4/2)/(-1 + 0). Let w be 0*1/(-4)*h. Solve 4*c + 12 = w, 2*o + o + 15 = -n*c for o.
-3
Let k(u) = u**3 - 4*u**2 - 14*u + 14. Let v be (0 + 0)/(-5) - -2. Suppose 8 - v = y. Let d be k(y). Solve 0 = d*r - 2*w, 2*w = -0*w - 10 for r.
-5
Suppose v - 8 = -r, 3*r + 4*v = -4 + 33. Let y = 258 + -258. Solve 4*u = -y*u + r*h + 12, 3*h + 12 = 0 for u.
0
Let d be 1/4 - 93/(-12). Let h be d/(-10)*(-7 - -2). Let i be ((-6)/h)/((-3)/4). Solve 0 = -i*y + 4*y + 3*a + 19, 4*a = 2*y - 16 for y.
-2
Suppose -3*u + 13 = -4*t, 0 = 3*u - 0*t + 5*t - 4. Solve -x - 2 = -3*v - u, 0 = -x + 4 for v.
1
Let k be 6/(10/15*3). Solve -5*a - k*r + 4 = 0, -3*a - 5*r + 2 = 6 for a.
2
Suppose k + 1 = -3*d + 6*d, -5*k = -3*d - 31. Solve b = -f + 5, -3*f + k = f + b for f.
1
Let r(h) = h**3 - 10*h**2 + 8*h + 9. Let g = 12 - 6. Let v = g + 3. Let o be r(v). Solve d + 0*d = o, 0 = 2*w + 5*d + 6 for w.
-3
Let i(s) = 9*s + 104. Let x(z) = -4*z - 52. Let f(r) = -2*i(r) - 5*x(r). Let d be f(-24). Solve 5*p = 4*t - 17, -4*t = -2*t + 2*p - d for t.
3
Let k = 328 - 326. Solve -3*a - 4*h - 19 - 3 = 0, -k*a - 16 = 3*h for a.
-2
Let k be 1*5/3*3. Suppose 2*r = -r - 3*z + 12, -k*z = 0. Solve 0 = 5*u + r*v + 11, 3*u - 4*v = -3*v + 7 for u.
1
Let m(w) = w**2 + 2. Let r be m(0). Suppose -1 = -r*p + 1. Let y(c) = 20*c - 1. Let j be y(p). Solve 3*h - 3*d + j = d, -h = 5*d for h.
-5
Suppose -2*j + n - 6 + 13 = 0, 31 = 5*j + 2*n. Solve -g - j = 5*a, 0*g - 15 = 2*a + 3*g for a.
0
Let q(m) = -2*m**2 + 4*m + 7. Let b be q(4). Let d be -2 - b/6 - (-28)/8. Solve -5*h -