 Let k be c/2 + -1 - -3. Solve -3*x - 4*n = -0 - k, 0 = -x + 5*n - 11 for x.
-1
Let o(w) = w + 1. Let y(b) = -3*b - 4. Let c(u) = -2*o(u) - y(u). Let f be c(6). Solve 5*p - f = 3*s, -p - 2*s - 5 = -4*p for p.
1
Suppose 3 = -4*h - 5*a + 13, -5*a + 5 = 3*h. Suppose 0*m + h*m = 0. Solve -3*p + 7*p - 3*o - 2 = m, -5*p = -o + 3 for p.
-1
Let m(s) be the first derivative of s**3/2 - 2*s + 1. Let d(v) be the first derivative of m(v). Let f be d(1). Solve -a + r + 1 = 0, f*a + 1 = -r + 3*r for a.
-3
Let z = 111 + -107. Solve 4*k - m = -8, -1 = -z*k - 2*m + 3 for k.
-1
Let r be (2/3)/(1/3). Let d = 5 - r. Suppose 0 = -2*u - d + 13. Solve -u*a + 3*m - 3 = 7, 5 = m for a.
1
Suppose 7*j - 97 + 69 = 0. Solve 4*n - 22 = 2*l, -j*n + 0*n + 1 = 5*l for l.
-3
Let d(p) = -p**2 - 6*p + 2. Let o be d(-6). Suppose 0*m + 3*m = 0. Solve -w + 1 = 2*w + o*g, -2*w - 2*g + 2 = m for w.
-1
Let v(g) = g + 4. Let y be v(-4). Let z = y - -6. Let f be 15/z*(-4)/(-5). Solve 5*n + 37 = 5*x + f*n, 4*n + 21 = x for x.
5
Suppose 0*z + 5*z - 15 = 0. Suppose -2*w - 2 = -4. Suppose -3*r + w = a - 2*r, -3*a + z*r - 3 = 0. Solve 0 = -u + 4*q - 11 - a, 0 = -5*u - q - 13 for u.
-3
Let m = -33 + 41. Solve f - 7 = 2*c, -m = -4*f - 3*c + c for f.
3
Let r(t) = -t**3 - 5*t**2 - 7*t - 6. Let j be r(-4). Suppose 9 = 5*m - j. Suppose 0*o + 6 = m*o. Solve -4*s - 2*p = o, 2*s - 3 = -2*p - 3*p for s.
-1
Let g = -4 + 14. Let k(j) = j + 7. Let z be k(-7). Let c be z/(1*(-1)/1). Solve -5*q + v = -g, 2*v + c = q - 2 for q.
2
Let p(y) = 9*y - 4. Let t be p(3). Suppose 2*u + t = 5*s, -2*s + 8 = -0*s - 2*u. Solve -5*m = g + 1 - 0, -2*m - 22 = -s*g for g.
4
Suppose -4*n + 2 = -3*n. Suppose 0 = -2*a + 1 + 3. Suppose -14 = -a*i + i - 2*t, 2*t - n = 2*i. Solve 4*v + i + 3 = 3*p, -28 = -4*p - 4*v for p.
5
Let y be 0 + 1 + (3 - 0). Let o(b) = -b**2 + 4*b + 4. Let h be o(y). Solve 0 = u + 4*i - 11, h*u + u + 4*i - 23 = 0 for u.
3
Let p(t) = 4*t - 11. Let h(x) = x - 1. Let a(q) = -5*h(q) + p(q). Let l be a(-8). Solve 0 = r - z, 3 + 1 = l*r + 2*z for r.
1
Suppose -3*i + j + 48 = 0, -49 = 3*i - 5*i - 5*j. Solve -f - 3 = -4*d, -5*f + i = 5*d + 7 for d.
1
Let l be (2 + -4 - 0) + (-9 - -16). Solve 14 = -3*p - 2*z, 0 = l*p - 3*p - 3*z - 8 for p.
-2
Let f(u) = 3*u - 2. Let r be f(2). Suppose -y + 0*y = r. Let j be (-2 - -3)/((-2)/y). Solve 0 = j*q - 0*b - b - 8, -2*b - 11 = -3*q for q.
5
Let p be 2/(-4) + 43/(-2). Let i = -19 - p. Solve i*d - 5*y + 0*y + 12 = 0, -d - 2*y + 7 = 0 for d.
1
Let d(g) = 2*g**2 + 4*g + 2. Let t be d(-2). Let z be (3/2)/(t/(-4)). Let i = 0 - z. Solve 0 = 4*k - 4*u - 32, -2*k + 3*u + 17 = -i for k.
4
Let j = -13 + 21. Let o be -2 + (2 - -12 - 3). Suppose 6*p - p - 15 = 0. Solve o = p*v - 0*h + 3*h, 3*v + 4*h = j for v.
4
Suppose -19 = -3*x - 2*k, -x + 8 = -5*x + 4*k. Solve -x*n + 4*i - 9 = -0*n, -3*i = 0 for n.
-3
Let z be (12/2)/((-12)/(-30)). Suppose -2*c - 2*r = 0, 0*r - z = 5*r. Solve -5*p - 24 = s, c*p = -2*s - 8 - 12 for p.
-4
Let a = 8 + -3. Suppose -a*t = -3*i - 11, i + 0*t - 11 = -2*t. Solve -i*y = -0*y - 2*s - 10, -3*y - 3*s - 15 = 0 for y.
0
Suppose -5*q - 2 = 8. Let u = 4 + q. Let b be 0*u/6 - -4. Solve -29 = -w + b*s - 8, 4 = -s for w.
5
Let i = -29 + 43. Let t(w) = -w - 1. Let r be t(-3). Suppose 3*m + k - i = 0, r*k + 10 = 5*m + k. Solve -4*s = -m*j + 32, 0 = -4*j - 0*s - 4*s - 4 for j.
4
Let t(j) = -4*j**3 - 2*j**2 - j. Let h be t(-1). Solve -2 = -3*q - u - 4, 0 = -h*q + u - 10 for q.
-2
Let b(n) = -n**3 - 10*n**2 + 10*n + 4. Let v(t) = t**2 + 8*t - 11. Let q be v(-8). Let g be b(q). Solve 0*p + 22 = 2*u - 4*p, 0 = 5*u + 4*p + g for u.
1
Suppose 8 = 3*g - 1. Let p = -7 - -8. Let i be (p + -2)*-1 - -1. Solve -5*r - 21 = 2*n, -4*n - 1 = -g*r + i for n.
-3
Let p be (-6)/(3 - 0)*-4. Solve 0*j - 7 = s - j, p = 4*j for s.
-5
Suppose 3*x + 9 = -k - 6, 4*k - 5*x = 25. Suppose f + k = 2. Let i be (-1)/(f*2/(-16)). Solve -z - 3*a = z - 7, 2*z = i*a for z.
2
Let q be (-10)/(-30) + -2 + (-33)/(-9). Solve 2*r = q*f - 4, 11 = 3*f - 2*f - 4*r for f.
-1
Let h = -79 - -97. Solve 5*t + 2*z = -5, 0 = t - 4*t + 3*z + h for t.
1
Suppose 0*h - 3*h = b, 2*b - 25 = -h. Solve -2*k + 3*y = -0*k + 11, -4*k = y + b for k.
-4
Let k be 2/19 + 6/(-57). Solve k*o + 26 = -2*f - 5*o, -16 = 4*f + o for f.
-3
Let x be 1 + 10 + (-3 - -1). Suppose 3*l - 26 = l - 5*s, -3*s = -l - x. Solve -2*d = -h - 7*d - 24, l*h = 4*d + 4 for h.
-4
Let o be (28/6)/(26/39). Solve 0 = -2*w + o*y - 2*y, 4*y = -8 for w.
-5
Let h = 17 - 16. Solve -4*f - 25 = 4*a - h, 3*a - 2 = 2*f for a.
-2
Let r = 10 - -12. Solve 3*f - 2*u - 21 = u, -4*f = -2*u - r for f.
4
Let q(k) = k**3 + 3*k**2 + k - 2. Let i be q(-2). Let y(r) = -1 + 5 - r**2 + i*r + 3*r. Let f be y(4). Solve -3*v + 4*m - 4 = f, 4*v + 0*m + 1 = m for v.
0
Let c be 5/(1/(12/10)). Solve -4*a + 19 = c*h - 3*h, -5*h = 2*a - 27 for h.
5
Suppose 0 = -3*d + m - 2, -5*m + 4 = -5*d - 3*m. Solve 3 = -2*c - 3*w, d = 7*c - 3*c + 4*w + 8 for c.
-3
Let j = 16 - 17. Let g be (2 + j)*20 + -1. Solve 5*y = 4*r + g, -2*r + 7 = 2*y - 3*r for y.
3
Let m be (208/(-24) + 9)/((-2)/(-24)). Solve 2*s - 3*n + 5*n = -m, -s + 2*n + 1 = 0 for s.
-1
Let o = -10 + -9. Let v = 31 + o. Solve 4*s - 2*i = v, -5*i - 5 = s + 3 for s.
2
Suppose j + 12 = 4*j. Solve k + 25 = 5*o + j*k, 0 = -k + 5 for o.
2
Let a(z) = z + 6. Let v be a(-4). Suppose -3*p + 6*p = -15. Let w = 7 + p. Solve w*b - i = -v*b + 12, -5*b + 2*i = -18 for b.
2
Let v(t) = -t**2 - 11*t + 39. Let p be v(-13). Solve -p = -2*l - 3*d, -3*d - 17 = -5*l + l for l.
5
Let x be ((-3)/6)/((-3)/18). Suppose -g - g + 3*m = -16, 5*m = -3*g - 14. Solve -3*j + x = -3*v - 2*j, v + 8 = -g*j for v.
-2
Let q(b) = -4*b - 1. Let y be q(-1). Suppose y*w + u = 3*u - 2, -4*w = -4*u + 8. Solve -4*i = -12, -w*z + i = -z + 3 for z.
0
Suppose 14 - 39 = -5*u. Let w be (-2 + 84/15)*u. Solve 4*r + 30 = 5*l, r = -r + 4*l - w for r.
-5
Let s = -91 - -102. Solve 0 = -5*o - 5*p + 15, -p + 4*p = 2*o - s for o.
4
Let w = 0 + 5. Solve 3 = 4*z + z + 3*t, w*z + 4*t = 4 for z.
0
Let y(x) be the third derivative of x**6/60 + x**5/30 - x**4/12 - x**3/3 + x**2. Let d be y(2). Let g be ((-2)/4)/((-1)/d). Solve 4*u - u = -g, u = -t for t.
3
Let d(y) = y**2 + 7 + y**2 + 5*y - 3 - y**2. Let t be d(-4). Solve -4*f = -2*u + 12, -16 = 4*f - t*u - 3*u for f.
-1
Suppose 5*z - 2 = 4*p, -3*z = 4*p - 2*z - 10. Solve -3 - 10 = 3*c + 5*h, -p*c + h = 0 for c.
-1
Suppose 0 = 4*y - 18 + 6. Let l be 0/(y + 2 + -4). Solve -c - 9 = 5*f + 3*c, l = 4*c + 4 for f.
-1
Let b be 12/(-2)*(-3 - -4). Let g be ((-2)/(-3))/((-112)/(-63) - 2). Let j = g - b. Solve -h + 5*h = -4*a - 20, -h = j*a + 15 for h.
0
Suppose 4*o + 5*f + 25 = 0, -5*f + 2*f - 15 = 0. Suppose o = -3*r + 15 + 15. Solve 0 = -5*v + 2*p + r - 3, -5*v + 3*p + 3 = 0 for v.
3
Let r(o) = -o**2 + 13*o + 9. Let f be r(8). Let i be (27 - -1)*42/f. Suppose -4*t - 4 = -i. Solve t*h = -4*n + 19, -5*h + 2*h = -n - 8 for n.
1
Let i(k) = -2*k**2 - 9*k - 6. Let a(d) = -d**2 - 4*d - 3. Let u(p) = -11*a(p) + 6*i(p). Let v be u(-7). Solve g = 3*b + 1 - v, 26 = -3*g + 4*b for g.
-2
Let z = 20 - 20. Solve 3*q + 4 + 7 = 4*d, z = -q - 1 for d.
2
Suppose 3*y + 2*y = 10. Suppose -2*k = y*k. Let o be (-1 + (-4)/(-3))*k. Solve o = 5*v + 2*c - 4, -v - 4*c - 18 = -4*v for v.
2
Suppose 0 = 2*p - 4*p + 14. Let b = p - 5. Solve 0 = -4*l + 4*r - 12, -b*l + 6*l + r + 17 = 0 for l.
-4
Let s = 0 - -5. Solve m + 5 = -t + s*m, -2*t + 4*m - 10 = 0 for t.
-5
Let c(w) = w + 1. Let x be c(-1). Solve -4*s = -h + 23, -s = -x*s - 3*h + 14 for s.
-5
Let f(r) = r**2 - 17. Let s be f(0). Let c = s - -39. Suppose -3*u - 2*u + 80 = 0. Solve 5*b - u = 2*k, 0 = -4*k + 5*b - 0*b - c for k.
-3
Let j(i) = -3*i - 18. Let d(a) = -16*a - 90. Let g(h) = 2*d(h) - 11*j(h). Let o be g(-13). Solve -2*z - 8 = 0, -3*s - 2*s = 5*z - o for s.
5
Let r(z) = -3 + 2 + 3*z - 2 - 3. Let m be r(3). Solve 2*o - 3*o - 15 = 4*w, -15 = m*w + 2*o for w.
-3
Suppose -2*c = 3*p - 5, c + 5*p + 9 = 2*c. Solve -4*m = 5*s + 25, c*s - m + 0 = 1 for s.
-1
Suppose 20 = 6*b - 2*b. Suppose -2*j + 3*x - b = 0, -2*j + 30 = 2*j + 2*x. Solve -3*y + 4*a - 8 - 3 = 0, 0 = -j*a + 10 for y.
-1
Let f(j) = 4*j - 1. Let r be f(1). Solve -4*x + 5*g = 31, -g + 3 = -r*x - 4*g for x.
-4
Let y(l) = -l**3 + 6*l**2 + 8*l - 7. Let c = -8 - -15. Let b be y(c). S