/6 - 2*j. Let k be f(8). Solve 4*n = -o + 4 - k, 0 = 3*n + o + 15 for n.
-5
Let u = -4 + 7. Let p be (u - (-3 + 3))*-1. Let a be (-43)/(-2) - p/6. Solve -5*h = 5*r - 5, -2*r - a = -3*h - 9 for h.
3
Let v be 1/(6/4 + -1). Let t be 1/v - 4/8. Suppose 0 = 3*a + 3, 2*s + 6*a - a - 3 = t. Solve 0 = -2*x + u + 3, -4*x = -9*x + s*u + 15 for x.
-1
Suppose -b + 13 = y + 4*b, y + 7 = 5*b. Solve y*m = 3*c - 2*m + 30, 0 = -4*c - m - 17 for c.
-5
Let j(a) = a**2 + 2*a - 3. Let h be j(-3). Suppose 4 = n - h. Solve w - n = 5*w, 3*w + 7 = -4*p for p.
-1
Suppose 0 = -2*f - 4, 0 = 2*g + 2*g + 5*f - 10. Solve 0 = -5*q - g*w - 3 + 8, 2*q + 5*w = -4 for q.
3
Suppose 4*f = -2*g + 4, 3*g + 13 = -f - g. Solve 2*o + f = o - 4*j, 2*j + 29 = 5*o for o.
5
Let v be 12/7*70/20. Let w(k) = 4*k + 3. Let h be w(v). Solve 0 = 5*m - 2 + h, a = 5*m + 23 for a.
-2
Let u = 49 - 9. Suppose 2*c + 2 = u. Solve -4*p + 8 = 5*h, -5*p - 16 = -5*h + c for h.
4
Suppose -20 = -2*b - 2*j, 0*j = -j. Suppose -b = -z - z. Solve 0 = w - 4*w - z*y - 19, -4 = -2*w + 5*y for w.
-3
Let d be 1/(-2) + 76/8. Solve -37 = 2*w + 3*w + 3*v, 4*v = 5*w + d for w.
-5
Suppose k + m - 5*m - 25 = 0, 0 = -2*k + m + 15. Let f(j) = -j. Suppose 3*d + 4 = -2. Let s be f(d). Solve 4*h + s*r + 22 = 0, 5*h + k*r = h - 31 for h.
-4
Suppose -1 = y - 0*r + 5*r, -5*y + 5*r = -25. Solve o = y*k + 11, 3*k + 6*o - o = 9 for k.
-2
Suppose 0*o = 4*o - 20. Suppose -l - o = -3. Let y = l - -5. Solve -y*i - 2*t - 21 = 0, -t + 1 = 5*i + 29 for i.
-5
Suppose -5*g - 8 = -g. Let q(r) = -3*r - 1. Let i be q(g). Solve 9 - 4 = -2*z - c, 0 = -z - i*c + 11 for z.
-4
Let x = -3 + 1. Let h = x - -11. Solve -2*l = -3*w - 5*l + h, -3*w = -3*l + 21 for w.
-2
Suppose 0*m = -5*m + 160. Suppose 4 = 2*f - m. Solve -3*t + f = -5*y, -5*t + 11 = -3*y - 3*t for y.
-3
Suppose 0*g - 3*g = 0. Suppose g = -5*r + 6*r - 5. Solve -3*q - r*u + 4 = 0, -4*u = -5*q - 3*u - 12 for q.
-2
Let x be 68/12 - 2/3. Suppose -h + 6 = x*o, 0*o - 24 = -2*h + 2*o. Solve -2*q + 5*w = -h, 0 = -3*q + 5*w - w + 6 for q.
-2
Suppose 2*l = l + 4. Solve 3*f + l*g - 6 = 2*f, 5 = 2*f + g for f.
2
Let t(b) = 17*b - 99. Let u be t(6). Let j be (5/(-2))/(2/(-4)). Solve -3*p = -4*f + 11, u*p + p = j*f - 13 for p.
3
Let q = -73 - -73. Solve i - o + 1 + 4 = q, 3*i + 14 = 2*o for i.
-4
Let r(d) = -d. Let f be r(-6). Suppose v + 0 - 4 = 0. Suppose -12*g - 4 = -14*g. Solve f*j = -3*m + j - v, 2*m = -g*j for m.
2
Suppose 33 = 7*t - 4*t. Suppose 0 = 3*o - 16*o - 91. Let n = o + t. Solve 0 = -4*h + n*q, 0 = -q + 1 + 3 for h.
4
Let d = -10 - -14. Suppose -2 = -y - r, -y - d*r = -2*y + 12. Solve -y*p - 9 = 4*s - 33, -s + 1 = -4*p for s.
5
Let i be 3 - ((-2)/(-3))/((-2)/(-9)). Solve i*d - 5*d - 6 = -o, -5*d + 4*o + 6 = 0 for d.
-2
Let u = 0 + 2. Solve -3*v + h - 9 = u*h, 0 = 5*v - h + 15 for v.
-3
Let u be ((-4)/(-10))/(2/10). Let c be u + -2 - -1 - 1. Suppose -3 = -4*i - r - 8, -5*i + 5*r + 25 = c. Solve -b + 3*y - 3 = i, 3*b - 8 = -b + 2*y for b.
3
Suppose -2 = -h + l - 0, -2*h = -5*l - 10. Let c(y) = -y**2 - 3*y + 4. Let p be c(-4). Let b = h - p. Solve b = z + 3 - 4, 0 = -j - 5*z + 8 for j.
3
Let a(k) = k**2 + 7*k - 6. Let l = 30 + -17. Let v = l + -21. Let f be a(v). Solve 0 = 4*i - d + 11, 4*i - 5*d - f = 7 for i.
-4
Let s be -5 + 2 + 1 - -3. Suppose -4*k - s = -17. Solve w - 20 = -3*p - p, k*w + 5 = p for w.
0
Let r(n) = -n - 3. Let c be r(-17). Solve -2*f = 4*p + 16, 0 = -5*p - 0*p - f - c for p.
-2
Let t(q) = 2*q**3 - 2*q**2 - q + 1. Let c be t(-2). Let v be (-6)/14 - 72/c. Solve 2*a + 4*n + 2 = 0, 5*n - 1 - v = 4*a for a.
-1
Let n be -1*(0 + 1)*-4. Suppose 4*t - 6*t = -2*i - 4, -t = 2*i - 11. Solve n*g = 3*p - 22, t*p - 26 = 5*g - g for p.
2
Let q(g) = -g**2 + 3*g + 2. Let u be q(3). Suppose -1 = t + l, -2*t + 0*l + u*l + 2 = 0. Solve 3*r + t*k = 3*k - 12, -5*r - 20 = -3*k for r.
-4
Suppose 12 - 22 = -5*z. Solve -14 = -n - z*s + 5*s, -n + s + 8 = 0 for n.
5
Let m(y) = -y**2 - 7*y + 4. Let x(a) = 2*a + 4. Let t be x(-5). Let w be m(t). Let i be ((-24)/30)/((-4)/w). Solve f + 13 - 1 = 3*l, 0 = i*f + 3*l - 3 for f.
-3
Suppose 2*f - 19 - 19 = i, -f + 5*i + 19 = 0. Solve f = 4*z + p, -z = 3*z - p - 21 for z.
5
Suppose 40 = 2*g + 2*g. Let x = g - 8. Solve 3*s - 3 = -x*s + 3*k, -5 = 5*k for s.
0
Let t = 8 + -16. Let u be t/(-2) - (2 + -2). Solve -3*i - 5*b = -i - 5, 4*b + 24 = u*i for i.
5
Suppose -3*o - 4*h + 12 = -5*o, 2*o + 3*h = -19. Let w = o + 4. Let g = 4 + w. Solve 5*t + 4*b + 7 = g, -5*t + 11 = -2*b + 30 for t.
-3
Suppose -3*y + 8 = w, -5*y + 2*w = -2*w - 2. Let t = 103 - 68. Let l = t + -23. Solve -3*j - l = -2*j - y*c, -j + c - 7 = 0 for j.
-2
Suppose -2*c + 11 = 1. Suppose -4*d + 20 = -0*d, c*d - 4 = 3*w. Solve -20 = 3*x - 5*p, 19 = -3*x - 3*p + w*p for x.
-5
Let m(c) be the second derivative of -c**3/3 - 2*c**2 - 2*c. Let g be m(-3). Solve -g*i = -5*s + s + 2, -4*s = 4*i + 4 for i.
-1
Let y(s) = s**2 + s + 15. Let j be y(0). Suppose -2*h = -0*h - 8. Suppose -j = -h*d - d. Solve -5*f - 3*t - 17 = 0, -t = -d*t + 2 for f.
-4
Suppose -9*c + 8 = -5*c. Solve 0 = -a - p - 4, 0 = a - c*p + p + 6 for a.
-5
Suppose -4*p - 36 = -8*p. Let t be (20/(-6))/((-4)/6). Solve -t*a = -3*y - p, 0*y = -2*a - 2*y + 10 for a.
3
Let n = 481 - -365. Let v = -4 + 8. Let w be v/(-14) + n/21. Solve 15 = k - 4*k, 5*f + 3*k + w = 0 for f.
-5
Let v be ((-8)/(-1))/2 + -2. Suppose 0 = -3*i + 5*i - 16. Solve -v*x + 4*m - 10 = 0, 4*m + i = 5*x + 5*m for x.
1
Suppose -25*k + 34*k = 18. Solve 0 = -y - 4*w + 11, 4*w - 5 = -5*y + k for y.
-1
Suppose -2*a + 2 = -2*o, 0 = 3*o + o - 20. Let r be (-4)/((a/3)/(-1)). Solve 2*t = -0*b + r*b, 2*b + 3 = -t for t.
-1
Suppose 0 = -2*w + 7*w - 25. Let k be (17/6 + -2)*6. Let v(g) = 2*g - 7. Let p be v(k). Solve -3*q + 3*o = 15 - p, -w*o + 25 = 0 for q.
1
Let h(m) = -2*m**3 - 4*m**2 - m + 2. Let a be h(-2). Suppose 23 = 4*u - 9. Solve a*x = 6*y - 3*y - u, 0 = 2*y - 5*x - 10 for y.
0
Let n = 7 + -3. Let j = -1 + n. Solve -10 = 2*w, 3*w = -j*g + g - 13 for g.
1
Let s(q) = -q**2 + 18*q - 17. Let t be s(17). Solve -20 + 0 = 5*n + 5*d, 2*n - 2*d - 12 = t for n.
1
Let i = 2 - 1. Let y be (9 - (1 + i))/1. Suppose 4*r = 3*a - 2, -r + y = 3*a - 0. Solve 5*o = -5*x + 15, 2*x - 14 = 4*o - a*o for o.
-2
Let z(i) = 4*i - 8. Let b be z(2). Let u = -1 + 3. Suppose -2*t + 0*t + 4*s + 20 = b, -t = u*s - 26. Solve 3*w + 8 = 4*d, -3*w - 3*d + 9 = -t for w.
4
Let v = -4 + 8. Solve -3*g = -u - 15, 0*u = v*g + 2*u - 20 for g.
5
Suppose -4*r = -3*f - 2, -5*f - 3*r - 2*r = -20. Suppose -1 = h - f. Let a(d) = d**3 - 4*d**2 + 3. Let u be a(4). Solve -u = -3*x + 3*t, h = -2*x - x - t for x.
0
Suppose -5*x + 16 + 9 = 0. Let t be (3 - 2)*-5 + 1. Let h be (-60)/(-25) - t/(-10). Solve 0 = h*y + 3*b + 25, 2*y - x*y = b + 20 for y.
-5
Let w(r) = -r + 0*r**2 - 4*r**3 - 2*r**2 + r**3. Let a be w(-1). Suppose 0 = g + g - 12. Solve -a*c = -2*t - g, -3*c + t = -0*t - 1 for c.
-1
Let w(t) = -t**3 + 6*t**2 - 3*t + 1. Let q = 2 - 0. Let y be w(q). Solve 3*n = -2*u - 14, -3*u + 4*n + 2 + y = 0 for u.
-1
Let d be (-3)/(-6)*0/(-2). Suppose d = -h - 4*h + 15. Solve -h*v + 16 = -r - 7*v, -3*r + 4*v = -16 for r.
0
Suppose 31 = 4*n - 3*j, n - 3*j - 11 = 8. Solve -4*s = -2*l - 6, 0 = -3*s - 1 + n for l.
-1
Let o(d) = -d**2 + 5*d - 1. Let x be o(4). Suppose 11 = -2*n - x*l, 0*l = -2*l - 10. Solve -4*h = -5*b - 15, 3*b + n*b = 5*h - 20 for h.
5
Let w(m) = -m + 2. Let i be w(-4). Suppose -4*q = -3*s - i*q + 14, 5*s - 3*q + 2 = 0. Suppose 0 = 2*d + s*d. Solve -3*j + 2*j + 4*n + 5 = d, 0 = -5*n for j.
5
Let b(z) = 11*z + 3. Let o be b(2). Let d = -3 - 1. Let f = d - -9. Solve -f*a + 5 = -j, 6*j + o = j - a for j.
-5
Suppose -3*o + 22 - 10 = 0. Solve 0*q = 4*q + o*y - 16, -22 = 2*q - 4*y for q.
-1
Suppose 5*i + 2*u - 6 = 0, 2*i = -2*i + u - 3. Solve i = -3*r + 5*l - 10, 35 = 6*r - 2*r + 3*l for r.
5
Let n = -60 + 64. Solve 0 = -n*z + 3*h + 12, -2*z + 5*h + 0*h = -20 for z.
0
Let y(v) = -v**2 + 8*v - 7. Let k be y(7). Suppose k - 9 = -3*q. Suppose -9 = -q*n - 0. Solve -2*t + n*o + 2 = 0, -3*o + 6*o + 37 = -5*t for t.
-5
Suppose 4*f - 11 = o, -5*f + 0*f + o + 15 = 0. Let h be (-6)/4*(-4)/6. Let a = f + h. Solve -2*l = a*k + 3*l - 25, 2*l - 20 = -4*k for k.
5
Let y(x) = x**2 + x - 2. Let a be -2 + 4 + 1 + -1. Let u be y(a). Suppose 0 = 4*r