 - s = -q, 5*n = -4*q + 3 for n.
-1
Let j be (-2 - -2)*-1 + 2. Let v be (-28)/(-8)*2 + -4. Suppose 0 = -5*o + 15, 2*c + 4*o - 3 = v*o. Solve 0 = j*x - c + 6, 9 = -5*l + 2*x for l.
-3
Let b = 13 - 9. Solve 0 = 3*r - b*x - 1 - 2, x - 8 = -r for r.
5
Suppose 0 = x + r - 5, 0 = -x - 3*r + 10 - 5. Solve 5*n - 3*n + 4 = -4*f, -x*n + f = -23 for n.
4
Let c be 22 - (2 - 0/(-2)). Suppose -4*m + c = m. Solve -q = 5*d - 3 - m, -2*q + 4 = 0 for d.
1
Suppose 5*s - 11 = 39. Let m = 110 - 110. Solve -5*p + s = 5*u - 0*u, m = 4*u + 3*p - 7 for u.
1
Let p(n) = -n**3 - n**2 - 2. Let o be p(-2). Let x be 2*(o - 1 - 0). Let y be (x - 0) + (-21)/(-3). Solve 3*g + y = -3*t, 5*t = t - 5*g - 11 for t.
-4
Suppose -6*y + 6 = -0*y. Solve -3*q + 2*j - 12 = -j, -4*q + j - y = 0 for q.
1
Let g = -5 - -18. Let f = 1 + 1. Solve s = -f*w - g, 0 = 2*s + 2*s + 5*w + 37 for s.
-3
Let m = -2 - -5. Let p be 9/(-6) + (-9)/(-6). Suppose 3*a + p*a - 13 = t, 0 = 5*a - m*t - 23. Solve -a*o + 5*l + 5 = -2*o, -4*l = -4*o - 8 for o.
-5
Let j(w) = -3 + 0*w + 0 + w. Let p be j(5). Let x be (-7)/(-3) - (-2)/3. Solve p*t - 8 = 0, x*f - f = 2*t - 4 for f.
2
Let w = 16 + -10. Suppose -4 + 14 = 5*i. Solve -y + w = -i*z - z, -z + 3 = -2*y for z.
-3
Let x be 1/2 - 9/(-6). Suppose 5*s - 1 = -b + 27, x*s = -2*b + 16. Suppose -3*k + b*m = 7 - 52, -m + 29 = 3*k. Solve -h = -4*q - k, 3*h + 2*h - 19 = 2*q for q.
-2
Let s(y) be the second derivative of -y**5/20 + 5*y**4/12 - y**3/2 - 2*y**2 - 2*y. Let n be s(4). Solve 3*v - 4 + 19 = 3*j, -v + 5*j - 21 = n for v.
-1
Suppose 20 = 30*s - 26*s. Solve -2*x + 3*i = 9, -5*x - 5 = -s*i + 5 for x.
3
Suppose 6 = -f - 1. Let d = -1 - f. Let r(b) = b**3 - 16*b**2 - 17*b + 4. Let s be r(17). Solve 2*g + m + 11 = d*m, s*g + 5*m + 7 = 0 for g.
-3
Let w = 2 + 2. Suppose 5*u = 3*a - 29, -w*a - 5 = a + 5*u. Solve 2*t - 2*k - 2 = a*k, 3*t = k - 10 for t.
-4
Suppose -3 + 0 = 3*l. Let r be l/(-4) + (-14)/(-8). Suppose 8*d - 22 = 26. Solve r*z = -4*q - d - 16, q + 3*z = -13 for q.
-4
Suppose 5*z - 7 = 13. Solve 4*r = -2*h - 2 + 18, z*r - 10 = -5*h for r.
5
Let k = 7 + -7. Solve k = -4*n + 16, 0*n + 2*n = -3*g + 20 for g.
4
Let o(y) = y**3 + 6*y**2 + y + 2. Let l be o(-6). Let k be 242/14 - l/(-14). Suppose -5*j + 8 = -k. Solve -2*p = 2*h - 2, 5*p + 0 - j = -2*h for p.
1
Let k(v) = 2*v**2 - 8*v - 3. Let f be k(6). Let q = f + -14. Let g be 1*(q + 4/(-2)). Solve -4*b + 3*p + 2*p = 27, -g*p = 5*b for b.
-3
Suppose 6*i + 12 = 9*i. Solve s = 5*t - 1 - 1, -i*t = -4*s - 8 for s.
-2
Let k(p) = 2*p**3 + p**2 + p + 13. Let f be k(0). Solve -5*d = -2*h + 16, 0*h - h = -5*d - f for d.
-2
Let w(u) = -u**2 - 7*u. Let o = 5 - 11. Let t be w(o). Solve 0 = 5*k, -k = 4*p - t*k + 4 for p.
-1
Let s(x) = 4*x - 14. Let l be s(4). Solve 4*o - 5*d + l*d + 19 = 0, -5*d + 24 = o for o.
-1
Suppose n = 9 + 6. Suppose -13 = -5*q + 3*j + 3, n = 5*j. Let v = 0 + q. Solve a - 2*a + 4 = 0, -3*a = v*f - 2 for f.
-2
Let t(s) = -3*s - 2. Let y be t(-2). Let w be ((-1 + -11)/(-2))/2. Suppose w = -o + 13. Solve r = -3*k - r + o, -2*r = -y*k + 18 for k.
4
Let c(b) = b**3 + 10. Let p be c(0). Suppose 0 = -3*s - 2*s + p. Suppose -u = 2*u - s*t - 6, 0 = -3*u + 3*t + 6. Solve g - 8 = 3*i, u*g - 21 = -2*g + i for g.
5
Let z(n) = -n. Let o be z(-2). Let c = 5 - o. Solve 0 = 3*f + 6 + c, -5*f - 15 = -3*m for m.
0
Let s(j) = -j**3 + 4*j**2 + 3. Let r be s(4). Suppose -18 = -r*d + d. Suppose -d = -2*y - 1. Solve -4*h - t + 4*t + 8 = 0, -y*t = -3*h + 13 for h.
-1
Let y(z) = z + 6. Let t be y(-6). Suppose 0 = -t*i - 4*i. Let b be (-4)/14 - 172/(-14). Solve -5*f = -p + 24, i*p = 4*f + p + b for f.
-4
Let m be -37*(1 + -5 + 3). Let i be m/7 - (-14)/(-49). Solve -j = -2*d + 6, -2 - 3 = -i*d for j.
-4
Let q be 2 - (-7)/((-21)/12). Let m be (15/(-2))/5*q. Solve 23 = -5*t + s, 4*t - 7*s = -m*s - 28 for t.
-4
Let z(i) = -5*i + 0*i**2 - 6*i + i**2 + i. Let s be z(10). Solve 4*y + y - 3*o = s, 5*o = 25 for y.
3
Let d be (-3 + (-24)/(-9))*-12. Suppose 20 = 3*j - 5*i, 3*i = -2*j - j + 12. Suppose -2*r + 12 = 2*r. Solve 8*w - d = -4*y + r*w, j*w + 3 = 3*y for y.
1
Let z = -12 + 17. Solve -y = 3*m - 8*m - z, m + 1 = -5*y for y.
0
Let m be (-16)/128 - (-34)/16. Solve 4*v + 4*k + 8 = 0, 0 = v + m*v - 3*k for v.
-1
Let r = 3 - 0. Let n(w) be the first derivative of w**2/2 + w - 2. Let v be n(r). Solve 4*p + 0*p = -v*j, -8 = -4*j + 4*p for j.
1
Let t = -30 + 33. Solve 3*d - m = d - 1, -t*d + 4*m + 1 = 0 for d.
-1
Let u be -2 - -1*(3 - -3). Solve y = 3*y - 3*w - 25, -u*y = -2*w - 30 for y.
5
Let n be -3 + (-99)/(3/1). Let f be 2/10 - n/20. Let g be -16*2/4*-1. Solve -f = -4*l - 5*u + g, -4*u + 7 = 3*l for l.
5
Let w(d) = -4*d + 9. Let h be w(4). Let x(j) = j**3 + 6*j**2 - 7*j + 5. Let v be x(h). Let l = 1 + -1. Solve v*y - 4*u - 5 = l, -30 = -y - u - 4*u for y.
5
Suppose -w - 3 = -o + 4*o, -w - 3 = -3*o. Solve o = 5*j - 3*f + 5, -4*j = -2*j - 3*f + 11 for j.
2
Let q = 101 - 84. Solve 5*m - 3*m = 5*h + 30, 0 = m - 3*h - q for m.
5
Suppose 40 = -14*n + 124. Solve 2*k = -5*l - 16, 2*l - k + 2*k + n = 0 for l.
-4
Suppose 6 + 6 = 4*d. Solve -f + 1 = s - d*s, -s - 2*f = 13 for s.
-3
Let j = 5 - -2. Let c = 10 - j. Solve -16 = 4*d + 2*q, c*d + 25 - 6 = -5*q for d.
-3
Let m = 1 - -9. Solve 22 = 2*x + 5*a, 5*x - 3*x - 3*a = -m for x.
1
Let j(o) = -o + 6. Let s = 2 - -4. Let r be j(s). Solve -5*g + 4*m - 29 = 0, -g + m - 4*m - 2 = r for g.
-5
Let z = 8 + -5. Let j be (2/z)/(18/675). Solve -4*g + 5 - j = -5*v, -5*v = 2*g - 20 for g.
0
Let a = 8 - 5. Let y(z) be the first derivative of -7*z**2/2 - 14*z - 6. Let x be y(-6). Solve -2*k - a*p + 7*p - x = 0, -4*p = -20 for k.
-4
Suppose 0 = -5*y - 3*o + 14, 0 = 3*y - 2*o + 4*o - 8. Suppose -2*z = -6*z + 20. Suppose -w - 3 = -z. Solve 2*j = -2*u - y, -3*u - 8 = -w*u + 3*j for u.
1
Let h(u) = -u**3 + 2*u**2 - u. Let o be h(-2). Suppose -c + 12 = 4*z, 2*c + 5*z = -0*c + o. Solve c*j = 5*t + 23, 2*t - t + 2*j = 1 for t.
-3
Suppose -m + 0*m = -3. Suppose 0 = m*t + t. Let v = -7 - -10. Solve 0 = 4*y - v*w - 29, t*w - w = 5*y - 22 for y.
5
Let l = 4 + 1. Solve -3*m = 4*d + 3, -5*m + 2*d - l = -0*m for m.
-1
Let l be (-2 + 5)*2/3. Solve 0 = -l*p + 5*f - 5, f + 2 = 2*p + 11 for p.
-5
Suppose 5*z = 3*a - 31, z + z + 6 = -2*a. Suppose -3*j - 51 = -4*f, 3*f - 30 = 3*j + 12. Solve -a*m - 3*h + 12 = 0, -f*m + 4*m + 4*h = -7 for m.
3
Let o be 2*6*(0 - -1). Let p(i) = -i**3 + i**2 + 2*i + 3. Let b be p(0). Solve -u + 3*u = -b*m + o, -4*m = -u - 5 for m.
2
Suppose 2*f - 4 + 0 = 0. Let n = 0 + f. Suppose -5*u = -n*m - 36, 4*u - 5 - 16 = -m. Solve -1 + u = -g, -g - 3 = i for i.
2
Let p(a) = -a + 1. Let x be p(-3). Solve 3*z + x*n - 29 = 0, -5*n - 1 + 11 = -5*z for z.
3
Let w = -37 + 34. Let d(c) = -c + 4*c + 3 - 2*c. Let l be d(w). Solve -4*o - 2 = 2*f, l*f - o - 3 = 3*f for f.
-1
Let b be -21*1/(-2 - -1 - 0). Solve 0 = -5*l + 6*x - 3*x - 23, 5*l - x + b = 0 for l.
-4
Suppose -n = p, 0*n - 8 = n + 3*p. Solve -n*d = 5*v + 13, -3*v - 13 = -4*d + 14 for d.
3
Suppose 0 = -g - 0*g + 8. Solve -g = -z + 3*m, -3*z = -4*m + 3*m - 16 for z.
5
Suppose 0 = k - 3*k + 30. Solve 3*x - 6 + 14 = f, -5*x - k = -2*f for f.
5
Suppose 3*p = 0, 1 = -3*c + 3*p + 13. Let h be 20 - 1/((-4)/(-12)). Let u = h - 15. Solve -2*l + 2*k = u + 2, c*k = -12 for l.
-5
Let c be 12/9 - (-2)/(-6). Let m = c + -1. Suppose m = 3*q - 2*q - 12. Solve 3*t - 3*o + q = 0, 24 = -t + 5*t + 4*o for t.
1
Let n(r) = -5*r**2 + 4*r**2 + 2 - r - r + 2*r**2. Let j be n(3). Solve -2*f + 23 = 5*y, j*f + 2*y = 2 + 3 for f.
-1
Suppose -4*q + 2 = -3*q. Solve 2*c = -j + 13, 0 = -4*c + q + 14 for j.
5
Let d(a) = -a**2 - a + 25. Let v be d(0). Suppose -5*r - 2*z = -v, 4*r - 11 = -2*z + 11. Solve 0 = 5*i + 4*k + 15, -9 = r*i - 0*k - 3*k for i.
-3
Let h(s) = s**2 + 13*s - 14. Let z be h(-14). Solve m + z = -1, -4 = -2*a - 4*m for a.
4
Let l = 9 + -4. Solve -4 = -w - y, 18 = 4*w - 0*y + l*y for w.
2
Let o = 8 + -6. Let n be 5/o - 2/(-4). Solve 0 = -n*a, 5*r - 2*a = -3*a + 10 for r.
2
Let m(n) = n + 14. Let v(y) = y**2 - 14*y + 15. Let p be v(12). Let h be m(p). Solve -h*z = 5*a - 15, -5*z + 7 = 2 for a.
2
Suppose -5*g = -12 - 8. Suppose 3*h - 10 - 16 = -g*o, 2 = 2*o - 4*h. Solve -o*p + 2 = 2*t - 9, -5*t - 4*p = -2 for t.
-2
Let x(k) = -k + 8. Let a be x(5). Suppose 0 = 2*p + 3*p - 15. 