ose 0 = v - 2*s - d - 11, -3*v + 19 = -2*s. Let q = 7 - v. Solve 28 = -q*y - 5*o, y - 4 = -o - 10 for y.
-2
Suppose 0*o + 19 = -3*o + 5*f, -2*o + 5*f = 21. Solve -o*g = -5*k - 1, 0*k - 3 = -3*k + 3*g for k.
-1
Let y(s) = s**2 - 2*s - 30. Let v be y(7). Solve 2*u + 2 = 0, -v*u = 3*f - 0*u + 2 for f.
1
Let j(f) = -f**2 - 6*f. Let d be j(-6). Let c(g) = -g + 10. Let i be c(8). Let q = i - d. Solve q*w + 21 = -5*v, 0*w + 9 = -4*w + v for w.
-3
Let r = 2 - 0. Let h = 0 + r. Let j be (-3)/(h + -3) - -4. Solve -2*m - 3*f = -0*m - j, m = 3*f - 1 for m.
2
Suppose 3*u + 2*u - 15 = 0. Solve -4*g + 2*n = 16, -g - u*n - 4 = n for g.
-4
Let v = -127 - -135. Solve -2*o - v = 4*m, 3*m + 5 = 2 for o.
-2
Let d(l) = -l + 3. Let o(b) = b + 11. Let w be o(-8). Let h be d(w). Solve 3*s + 20 = -5*i + 3*i, i + 4*s + 20 = h for i.
-4
Let c(m) = -m + 8. Let k be c(5). Suppose 0 = v + 2*v. Suppose 10 = 2*s - v. Solve -k*q - 6 = 2*r, -5*q - s*r = -2*q - 3 for q.
-4
Let z be (0 - 2)/(0/4 - 1). Solve 4*o + 4*a - 4 = z*a, -a - 7 = -o for o.
3
Suppose 0*z = z + 2, m + z = 0. Suppose -m*r + 4 = 5*i, -3*i - 4*r = 2*i + 2. Solve -16 = i*s - 3*h, 0*h + 17 = -3*s + h for s.
-5
Suppose 0 = -3*w - 6, -b + 6*w - 8*w = 0. Solve -b - 2 = 3*q - 5*a, -3*q - 2*a = -15 for q.
3
Let a(c) = -2*c**2 + 19*c - 3. Let m(r) = -r**2 + 9*r - 1. Let w(h) = 6*a(h) - 13*m(h). Let z be w(-2). Solve -o - 2*o + 5*d = 17, -z*d = -4*o - 21 for o.
-4
Let b(a) = -a**3 - 2*a**2 + 2*a**2 + 2*a**3 - 2. Let z be b(-2). Let q be (-45)/z*(-4)/(-6). Solve -10 = 4*u - 5*y, -1 - q = -2*y for u.
0
Let m = 60 + -56. Let w(l) = -l - 5. Let k be w(-7). Solve 0 = -a - 3*j + 12, -k + 0 = m*a + 2*j for a.
-3
Suppose -2*n - 3 = -21. Solve 2*g = -4*t - 24, -4*t - 3*g - 35 = -n for t.
-5
Suppose -5*z - 3*m = -32, 0*m - m - 16 = -5*z. Solve z*p = 3*l, 2 = 4*p - 6*p + l for p.
-3
Let m be (1 - -1)*(-3)/(-3). Let t be m/10 - (-130)/(-25). Let r = -3 - t. Solve -u = r*u - 3*n + 12, 4 = -u + 4*n for u.
-4
Let a = -200 - -202. Solve 3*s - 2*h = 8, -a*s - 2*h + 3*h + 6 = 0 for s.
4
Let f = 85 - 61. Solve -f = 3*w + 4*a, a + 8 = w - 3*a for w.
-4
Let j = -15 - -7. Let w be (-9)/2*j/12. Solve -2*g = -5*q + 3*g - 25, 0 = 3*q + w*g - 9 for q.
-1
Suppose -k + 5*z = 2*k + 5, 0 = 4*k + 5*z - 5. Suppose 3*b - 6 = -k. Solve -o - 5*h - b = -h, 5*h = -2*o - 4 for o.
-2
Suppose -h = 4*t + 2 - 10, h = -2*t + 6. Solve 3*v = 4*b + 2 + t, -19 = -2*v - 3*b for v.
5
Let f(r) = -r**2 + 3*r + 9. Let z be f(4). Solve 3*h - 3 = -3*t - 0, t + 15 = -z*h for h.
-4
Suppose -3*f - f = -48. Solve -4*w = -5*h - f, 0*h + h = 3*w + 2 for w.
-2
Suppose -3*p + 115 + 110 = 0. Suppose 0 = -g - 2*g + p. Suppose -3*t - g = 2*t, c = -t. Solve -3*i - 24 = -0*o - 3*o, -3*i = -c*o + 32 for o.
4
Let y be 2/7 + 19/7. Solve -a + 5*k - 27 = 0, -k + y*k - 10 = 0 for a.
-2
Suppose -5*r + 180 = 10*r. Let k = 5 + -3. Solve -4*f + 7 = 5*m - 21, -k*m = 2*f - r for m.
4
Let p(c) = c**2 - 4*c - 3. Let n be p(-2). Suppose 3*s - 24 = -n. Solve -16 = -4*k - 3*b, 3*b = -k + s*b - 7 for k.
1
Let q be (0 + -2)*1/(-1). Let d be 10/(-4)*(-22 - -20). Solve o - d*t = -12, -5*o - 1 = q*t + 5 for o.
-2
Suppose -3*o + 4 = -o. Solve 5*m - m - 18 = 2*v, 0 = -o*v - 2 for m.
4
Let n = 4 - 2. Suppose 15 = n*u + u. Solve -4*m + 4 = -2*v, -m - u*v = 2 + 8 for m.
0
Let g be ((-30)/4)/((-1)/2). Suppose 6*h - 4*h = -22. Let o = g + h. Solve -3*u - 4 = n, 5*n + 5*u = -6 - o for n.
-1
Let m(w) = -2. Let z(j) = -j + 5. Let l(u) = -5*m(u) - 2*z(u). Let g be l(1). Solve -3*k = 4*p - 4*k - 10, 2 = 2*p - g*k for p.
3
Suppose 0 = -4*r + 3*y + 26, 0 = 4*r + y + 4*y - 10. Solve 2*k + 5*s - 2 = 4*k, 0 = -5*k + r*s + 10 for k.
4
Let z = -3 - -3. Let r(g) be the first derivative of -g**3/3 - 3*g**2 + 2*g + 3. Let v be r(-5). Solve z = -0*u - 3*u + 5*l + v, -2*u - 8 = 3*l for u.
-1
Let x = 9 - 5. Solve x*a = s + 2*s + 31, -3*s - 5*a = -5 for s.
-5
Let j(v) = v + 5. Suppose 0 = -4*y + 27 + 1. Let z be j(y). Let l = 6 - 3. Solve l*b - 4*p - z = 0, -4*b + 6*p - 3*p = -9 for b.
0
Let t = 12 - 4. Solve -4*v + 14 = -2*a, 3*v - 3*a = t - 2 for v.
5
Let s = 0 - -2. Solve -d = s*r, 2*r + 2*d = r for r.
0
Let a(d) = -4*d. Let p be a(0). Solve 6 = -2*y - p*y + 4*z, 4*z = -3*y + 21 for y.
3
Let c(x) = -4*x - 58. Let u be c(-15). Solve 2*i + 21 = -5*l, 4*l - i + 26 = u*i for l.
-5
Let s = 21 - 13. Let w(d) = -d**2 + 3*d + 3. Let m be w(3). Let b = m - 3. Solve -8 = -4*t - 0*t - q, -4*t + 3*q + s = b for t.
2
Suppose 0 = -o + 9 - 5. Solve 4*z + x + o = -x, 4*x = 16 for z.
-3
Let m be (16/10)/((-5)/(50/(-4))). Solve 32 = -m*w + w + 4*r, -5*r = -w - 29 for w.
-4
Let x(h) = h**2 - 5*h - 2. Let c be x(6). Suppose -3*g = 2*g - 15. Let k = -1 - -1. Solve 3*t - t + 5*a - 3 = k, t + c = g*a for t.
-1
Suppose 5*a - 70 - 75 = -4*k, 5*k - 130 = 4*a. Suppose 0 = u - 4*u + k. Solve -y = -3*i + 2, -3*i - 3*y + 4 - u = 0 for i.
0
Suppose u - 20 = -3*u + o, -15 = -3*u + o. Suppose 6 = u*v - 4. Solve 2*j = 3*j - 5*m, 2*j = v*m for j.
0
Suppose -6 = 4*t - 2*t. Let b = t - -7. Suppose 5*v - b*u - 9 = 0, v - 21 = u - 5*u. Solve v*n + 4*q = -5, -2*n + q = -7*n + 10 for n.
3
Let m(x) = -x**3 + 7*x**2 - x + 7. Let v be m(7). Let h = v - -3. Solve 4*g + 4 = 2*t, h*t + 3*g + 1 = 7 for t.
2
Let c be (-4)/5*35/(-14). Solve 5*r - c + 1 = 2*h, 2*r + 4*h = -14 for r.
-1
Suppose 0 = -3*n - 3*l - 3 - 0, -n - 2*l = 2. Let p be 8 + n - (2 + 1). Solve -m + 3*m = 2*i + 18, 0 = p*i + 4*m for i.
-4
Let v(s) = -s + 1. Let n be v(-2). Let l be n/(-3) + (0 - -2). Solve -9 = -5*g + 3*d, -g - 5*d + l = -6*d for g.
3
Let u(q) = -q**2 + 14*q. Let f be u(14). Suppose f*t - r = -2*t + 9, -2*t - r - 1 = 0. Solve 7*d - t*d = -3*j - 37, 0 = 4*j + 16 for d.
-5
Let l be 12*(-3 + (-15)/(-3)). Solve 4*r - l = -4*j, 2*r = -2*j + 5*r + 2 for j.
4
Let y be 2/(-8)*-10*2. Let i = 0 + y. Solve -4*v + 10 = 5*m, -i*v = -10*v - 5*m + 10 for v.
0
Let d = 10 - 1. Let l be 10/3 + (-6)/(-9). Let u = d - l. Solve -2*h = u*x, -h + 0*h + 5*x - 15 = 0 for h.
-5
Suppose 3*d - 2*d + 2*r = 6, 5*r = 5. Solve 2 = k - 2*g - 7, -4*k + d*g + 20 = 0 for k.
1
Let d be (-6)/(-18) + (-4)/(-6). Suppose 3*a - 12 = -a. Solve 2*w + d = k, a*k + w - 2*w - 8 = 0 for k.
3
Let s(d) = d**3 + d**2 + 1. Let v(b) = 7*b**3 + 11*b**2 - 6*b + 10. Let h(a) = -6*s(a) + v(a). Let c be h(-6). Solve 5*u = -r - 6, 0*u - c*r = u + 5 for u.
-1
Suppose -2*r + 14 = -4*v, -7*r + 3*v + 28 = -2*r. Solve 2*b + 0*b + 17 = -3*p, 0 = r*b + 4*p + 32 for b.
-4
Suppose 2*i - 4*v - 40 = 0, 3*v - 2*v + 4 = 0. Suppose -2*k = k - i. Solve 4*t = 6*m - m - 8, -k*t = -3*m for m.
4
Let r(n) = n**3 - 2*n - 1. Let c(i) = i**2 - 8*i - 5. Let p be c(8). Let w be p/(-2) - 1/2. Let g be r(w). Solve -4*l - g = -4*z - 23, 20 = 4*l for z.
0
Suppose 0 = v - 4 - 1, 3*t - v = 1. Solve -t*s + 17 = -5*p - 1, p = 5*s + 1 for p.
-4
Let m(y) = -y**3 + y**2. Let j be m(1). Solve -b - 4*i - 18 = j, 0 = 4*b + 5*i - i + 12 for b.
2
Suppose 29 = 9*s - 16. Solve -4*l - 2*r + 16 = 0, 4*r + s + 3 = 0 for l.
5
Let n be (-3)/(-4 + (-58)/(-16)). Solve -13 = 5*p - 3*z, -4*z = -n*z - 16 for p.
-5
Suppose 3*n + 2 = 8. Suppose -4*w - 25 = -5*i, 3*i - n = 13. Solve -2*q + w + 2 = 0, 2 = p + q for p.
1
Let u be (12/(-7))/(46/(-322)). Let k(n) = -n**3 - 5*n**2 + 5*n - 6. Let i be k(-6). Let q = 7 - i. Solve 3*o + 3*p = u, 0*o - o + q = -2*p for o.
5
Suppose -13 = -6*b + 11. Solve -u - 17 = -b*g, 3*g + 2*u + 2*u + 11 = 0 for g.
3
Suppose 4*t - 6 - 6 = 0. Suppose 0 = t*f + 5*x - 17, 0 = 2*f - 5*x - 1 - 2. Solve 5*y + 2 = d + d, 0 = -f*y + 2*d for y.
-2
Suppose -2*a - 17 = -25. Solve 4*y - h = 16, -y - 1 = 2*y - a*h for y.
5
Suppose -21*i + 16*i = -20. Solve -2*w = 3*s + 4, i*s + s = -2*w for s.
2
Let g = -2 - -2. Let y be 3*(96/(-9))/(-4). Solve -2*r - y = -2*a, -3*r + g*r - 2*a = -13 for r.
1
Let w(m) = 3*m - 2*m + m + 3*m. Let i be w(1). Suppose 0 = 4*z - 4*y - 12, i*y + 3 + 8 = 4*z. Solve 4*q - 7 = 2*d + d, 2*d = 3*q - z for d.
-5
Suppose 0*a - 5*a = 0. Solve -2*l + b = -3, 0 = -a*l + l + 4*b - 6 for l.
2
Suppose 3*k + 20 = 4*z, 5*z + 5 - 31 = 4*k. Solve 5*i + 15 = -s + 2*s, s + z*i = -6 for s.
0
Suppose 5 = -3*u + 5*t, -5*u + 7 = -5*t + 2. Solve 0 = 3*n - j, -u*n = 4*j - 2*j for n.
0
Let b(p) = -p**3 + 5*p**2 + 6*p - 5. Let s be b(5). Let f(i) = -2*i**2 - 24*i + 25. Let j be f(-12). So