ve 3*z + 5*o + 15 = 4*z, -5*o - v = -2*z for z.
0
Suppose 0 = -4*w - 5*b + 1 - 0, -5*b = w + 11. Let g be 5*w/16*4. Solve g = t + 2*l, 2*t + 14 = 2*l - 0 for t.
-3
Let i be 15 - (-4)/12*-3. Let a(d) = -d**3 + 14*d**2 + 3. Let p be a(i). Solve 3*j + 7 = -2*j + 2*m, 3*j = -p*m - 21 for j.
-3
Let v be (-5)/(-10) - -2 - 2/(-4). Solve -2*h = -2*k, v = 2*k - 3*h - 0 for k.
-3
Let u = -159 - -163. Suppose 5*z - 5*p = -5, 4*z - 3*p - 28 = -7*p. Solve u*o + f + 10 = 2*f, 3*o = -z*f for o.
-2
Let z(i) = -i**3 - 8*i**2 - 6*i + 9. Let k be z(-7). Solve 0 = -5*b + f, 0 = k*b + 3*f + 2*f - 27 for b.
1
Suppose 0 = -c + 4*b + 3 - 19, -26 = -4*c - 2*b. Suppose 8 - 22 = -2*o. Suppose o*u = c*u + 6. Solve v - 1 = -x, -u*x - v + 5 = 2*v for x.
-2
Let o(y) = y**3 - 5*y**2. Let g be o(5). Suppose g*j + 3*j = -6. Let h be (-2 - 0) + 4 + j. Solve -2*f + 2*a + 10 = -h*a, -5*a + 2 = 4*f for f.
3
Let u(b) = -2*b - 12. Let i be u(-6). Suppose -g + i*g = -4. Solve -z - 16 = 2*z + g*p, -2*p + 18 = -5*z for z.
-4
Suppose -3*z - 4 = -5*z. Solve 21 = -4*v - n - 0, 4*v + z*n = -22 for v.
-5
Let m = 17 + -14. Suppose -53 = -5*l + 3*c, -5*c + 1 = 2*l - 14. Solve l = -5*v, m*w = -4*v + 2*v + 8 for w.
4
Let n be 8 - (6 + (-7 - -4)). Solve -n*h + 2*c - 8 = 0, -3*c + 12 = -0*h - 2*h for h.
0
Let g = 9 + -5. Solve -3*t + 19 = -g*f, 0 = -4*t + 2*f - 3*f + 19 for t.
5
Let l be (0 - (0 - 0)) + 11. Let x = l - 9. Solve -3*o + 7*o = 2*n + 8, -x*n + 20 = 3*o for o.
4
Let s be (48/9 + 0)/(12/36). Let l be 17 - (2 + 0 - 1). Solve -5*h + i + 0 = l, -2*h = 2*i + s for h.
-4
Let z(j) = 4*j + 2. Let o = 1 - -2. Let y be z(o). Let p be 60/y + 10/(-35). Solve 0 = 2*k + p*s + 20, 2*k + 17 = -4*s + s for k.
-4
Let n be (4/12)/((-1)/(-15)). Suppose 0*i = -3*i. Suppose i = n*j - j - 20. Solve 5*d - 3*b = 1, -3*d - j*b = -2*b + 9 for d.
-1
Let g = 18 + -11. Let h be g + 6/(-3) + 0. Let o be h/((6/(-3))/(-2)). Solve -17 = -5*x - 2*n - 0, -7 = -4*x + o*n for x.
3
Let x(a) = -15*a - 101. Let o be x(-7). Solve y = 2*n + 11, -n - 25 = o*n - 2*y for n.
-3
Let p = -10 + 29. Let m = p - 17. Solve -2*g = -7*g - 3*y - 1, -2*y = 4*g + m for g.
-2
Let w(t) = -2*t - 2. Let z be w(-3). Let c be (-1 + 1)/(-6 + z). Solve -3*v - 8 = -c*v - 4*m, 17 = -2*v + 5*m for v.
4
Suppose -4*w = -w - 9. Suppose -2*j = j - 3*a - 54, w*j - 86 = -5*a. Solve 7 = 2*p + i + j, 3*p - 10 = 5*i for p.
-5
Let i(k) = -3*k + 1. Let d be i(3). Suppose 4*m + 0*m - 44 = 0. Let u = m + d. Solve 0 = -y + 2*y + 1, -v - u*y = 3 for v.
0
Suppose -10 = 6*g - 34. Let q = 3 + 1. Solve -g*r = -4*f - q, 0*r - 4*f + 6 = -2*r for r.
5
Let d(o) be the third derivative of o**6/120 + 13*o**5/60 - o**4/12 - 7*o**3/6 - 10*o**2. Let r be d(-13). Solve -g + r = 6*f - 2*f, 0 = 5*f - 2*g - 14 for f.
4
Suppose 3*w - 4*h = -8, -w - 2*h + 4 = 3*w. Solve 23 = k - w*n + 4*n, -2*k + 1 = -n for k.
3
Suppose 5 = x + 1. Suppose h - 1 = -2*h + 2*q, -x*q + 28 = 4*h. Solve -3*s = -i + h, -5*i + 0*s = -s - 1 for i.
0
Let h(y) = 13*y - 3. Let g(v) = -38*v + 8. Let n(c) = 6*g(c) + 17*h(c). Let t be n(5). Let z = 2 - t. Solve -3 = -s - k - 4, -5*s + 4*k = -z for s.
4
Let m = 16 + -12. Let t be (m + 2)/3 - -1. Solve 5*s = -t*k - 25, 1 + 0 = -3*s + k for s.
-2
Suppose 0 = 3*b + 4 + 5, 4*q - 4*b - 20 = 0. Suppose -2*v = -q*k - 10, -v + 2*v + k = 3. Solve 5*a = -2*s + 3*s - v, -3*a - 8 = -2*s for s.
4
Suppose 0 = 4*x - x - 15. Solve 3*o - 27 = -x*z, 3*z + 3*o - 21 = -0*z for z.
3
Suppose 3*t = 6*t. Suppose t = -5*j - 3*i + 6*i + 6, 4*j - 2 = i. Let n be 2 + (0 + 3 - j). Solve 2*b - n*q = 13, 0 = b + 2*q + 3 - 5 for b.
4
Let k(a) = a**3 + 2*a**2 - 9*a + 1. Let q be k(-4). Solve 4*b = 4*c - 16, q*b + 0*b + 5*c - 10 = 0 for b.
-1
Suppose -4*p = -9*p + 20. Let k be ((-2)/(-3))/(p/6). Solve -4*n + k = -3*u, 6*u + 5*n - 40 = 2*u for u.
5
Let p(d) = d + 32. Let b be p(-11). Solve 5*i + 3*s + 3 = 31, -b = -5*i + 4*s for i.
5
Let x(y) = y**2 + 18*y - 15. Let o be x(-19). Suppose -7*j - 2*d + 2 = -3*j, 0 = j + d + 1. Solve -3*v + 5*h = 2*v - 15, 0 = -j*v - o*h - 24 for v.
-2
Let r = 147 + -143. Let d = 138 + -58. Suppose -d = q - 5*q. Solve 3*a = -r*z - q, -4*a + 5*z - z = -20 for a.
0
Let r be (-2 + 6/3)*-1. Suppose 5*c - 6 = 14. Let x(h) = 2*h - 3. Let u be x(3). Solve r = c*p + 5*a, u*p + a + 0*a - 11 = 0 for p.
5
Suppose 0 = p - h + 24, 0 = 3*p - p - 5*h + 57. Let a = -13 - p. Let i be 3/(-12) - (-26)/a. Solve -i*l = -2*y - 11, 2*y + 2*y - 23 = -3*l for y.
2
Suppose 5*j = 2*j + 84. Suppose 32 - j = q. Solve 5*g - 2*n = -q, 4*n = 4*g + g + 8 for g.
0
Suppose 5*f = 4*r - 1, 6*r - 18 = 3*r - 2*f. Solve -3*c = -5*x - 3, -r*c - 31 = 6*x - x for x.
-3
Let x(s) = 2*s**2 + 2*s - 1. Let y be x(1). Let t = -7 - -13. Suppose -v + 5*n + 34 = 0, t*v - v - y*n = 60. Solve -3*r = -4*g + v + 5, -5*g = 5*r for r.
-2
Let d(z) = -z**2 + 2. Let o be d(0). Solve -2*h = 5*f, o*f = -3*f for h.
0
Suppose 5*h - 3 = -2*a + 2, -a = -2*h - 16. Solve 0 = -5*i - 5*o + a, -3*i - 4*o + 13 = -4*i for i.
-1
Suppose 7*l - 35 = -4*s + 2*l, 0 = -3*s + 3*l + 6. Suppose -1 = 2*y + 5, -4*z = 2*y - 2. Solve 4*h = s*g - 10, 0*g + 5*h = g - z for g.
2
Suppose -22 = -5*s + 2*x + 30, -3*s - 2*x + 44 = 0. Suppose -4*c + 8*c - s = 0. Let r be 5 + (-2 + 1)*2. Solve -3*q = -3*y - 2*y + 10, -r*q + c*y - 6 = 0 for q.
0
Let z(x) = 2*x**2 + 2*x + 10. Let m be z(0). Solve -4*j + m = 5*q + 50, 2*j - q + 6 = 0 for j.
-5
Suppose -17*w + 18*w - 13 = 0. Solve -3*b + b = -3*g + w, -12 = 3*b + 3*g for b.
-5
Let t(r) = 3*r - 4. Let y be t(4). Let l(v) = 0*v**2 + 0 - v**2 - 4 + 9*v + 0*v**2. Let d be l(y). Solve -28 = -4*w - d*f, -f + 9 = 5*w - 6 for w.
2
Let q be 4*3*(-3)/6. Let u be 4*((-9)/q - 1). Let m be (-2 - -4)/2*2. Solve m*r = 2*a + 14, -1 + u = -a - r for a.
-4
Let h be (32/(12/3))/2. Solve h*p - 3*p = -y + 2, 0 = -3*p - 2*y + 1 for p.
-3
Let u be 3 + (-4)/(12/3). Solve 3*h - u*h = -3*o - 10, 3*h - 18 = 3*o for o.
-4
Let w(u) = -3*u - 14. Let x be w(-6). Solve -4*z - x = -2*z + 3*b, 3*z = 3*b + 9 for z.
1
Let t be 3 - ((1 - 0) + 0). Solve 4*x = -t*b + 13 - 3, b = -4*x + 5 for b.
5
Suppose 0 = -0*s - s + 12. Suppose x + s - 39 = 0. Solve -p = 0, -11 + x = 4*q + 2*p for q.
4
Let t(n) = n - 3. Let i be t(7). Suppose 8*d = 3*d + l + 34, i*d = -l + 20. Solve -d = k - 4*k - 4*r, -15 = -5*r for k.
-2
Let q = 15 + -12. Suppose -3*c = -4*a, 4*c - 25 = -q*a - 0*c. Solve 0 = -t - 5, -k + a*k + t = -11 for k.
-3
Let x(i) = 3*i - 2. Let b be x(8). Let l = b + -15. Solve 2*y + 2*r - 19 = l*r, y = -4*r - 23 for y.
-3
Let f = -39 + 44. Solve -4*h - 20 = h, -2*h - 33 = f*l for l.
-5
Suppose -7*q = -5*q. Solve -4*h - 2*r - 3*r - 11 = q, 2*h - 11 = 3*r for h.
1
Let q = -10 - -10. Suppose 25 = -5*d, -16 = k + 5*d - 2. Solve 3*v + t + t + 10 = q, -t - k = 3*v for v.
-4
Let y be (-2)/6 + 13/3. Suppose 15 + 15 = 2*k. Solve -y*p + 7 = -m - k, 2*m - 1 = -p for m.
-2
Let d(g) be the first derivative of g**2/2 - 6*g - 1. Let q be d(13). Solve -5*n = j + q, 0 = -3*n + 2*j + 7 - 19 for n.
-2
Suppose -2*d + 7 = -11. Let w be 13 + (-3)/((-6)/(-4)). Solve -a - 4*a - 4*z = w, 3*z + d = -4*a for a.
-3
Let a(y) = 5*y**2. Let n be a(1). Let f = n + 6. Let p = f - 8. Solve 1 = -p*h - 5*m, -4*m + 1 = 3*h + 3 for h.
-2
Let o(k) = -2*k**3 + 3*k**2 + 3*k + 3. Let a be o(-2). Let m = a - 35. Let g be 2/(-4) - 55/m. Solve -g*x + 4 = -4*i, 5*i = 2*x + 3*i for x.
4
Let u(o) = -o**2 - 9*o - 15. Let j(q) = q**3 - 11*q**2 + 11*q - 16. Let y be j(10). Let d be u(y). Solve -4 = d*h + 2*v, 3*v + 7 = -5*h - 0 for h.
-2
Let i(h) = 1 - 2*h**2 + h**2 + 10*h + 13. Let c be i(11). Solve 2*s = 3*p + p - 20, -2*p + 14 = -c*s for s.
-2
Let a be (-92)/22 - 4/(-22). Let h be (-1 - 2) + (-4 - a). Let n = -2 - h. Solve 0*s + n = -3*s + x, 3*s + x + 11 = 0 for s.
-2
Suppose 4*d - 12 = -5*t - 0, -3 = 5*t - d. Suppose t = -4*w + 3*w + 9. Solve s - 4 = 3*g, 0*s + 5*s - 4*g = w for s.
1
Let b be 12/(-15)*1*-5. Suppose w = z, -4*z = 4*w - 12 + b. Solve -4*y - 5*f = 0, 3*y = 3*f - 7*f + w for y.
-5
Let o be ((-20)/(-8))/(3/6). Solve -5*c + o = 5*f, 2*f + 5 = f + 2*c for f.
-1
Let o be (-1)/(3 - 0)*-15. Solve -2*i + o = -3*i, -3*i = -a + 19 for a.
4
Let g(x) = -4*x**3 - 2*x**2 + 1. Let q = -7 - -10. Let u = -4 + q. Let v be g(u). Solve 0*p = -3*p + 3, v*o + p = -14 for o.
-5
Let t = 21 - 16. Solve -3*f - 2*f 