 b = 3 - 3. Suppose b = m - 3 + 1. Let n be ((-1)/m)/(2/(-76)). Solve -r - 5*y = -0*y + n, -4*r = 3*y + 8 for r.
1
Suppose -2 = -3*s + 2*s. Suppose -3*l + k = 2*l, s*l = -4*k. Solve l*f + 5*r = -3*f - 10, r = -5 for f.
5
Suppose 2*r = 1 + 3. Let v be 2 + (-4)/r + 3. Solve t - v*i = -1, 2*t + 21 = 5*t + 3*i for t.
5
Let i(p) be the first derivative of -p**3/3 - 5*p**2/2 + 4*p - 1. Let w be (4 + -6)*(-10)/(-4). Let h be i(w). Solve 0*n + 12 = -h*n + l, 2*l + 16 = -2*n for n.
-4
Suppose -2*y - 6 = -w, -2*w - w + 13 = -y. Suppose -w*u + 7 = 3. Let x be 6 + -1 + 2 - u. Solve -2*f + s + 0*s + x = 0, -4*f - 2 = 5*s for f.
2
Suppose -3*r - 2*r - w = 6, 2*r = -w. Let o = r + 6. Suppose 0 = -o*b + 2 + 6. Solve 4*d - 3*p - 17 = 0, b*p - 1 = d - 9 for d.
2
Let z be 1/2*10*1. Let i be (190/25)/((-1)/5). Let q = -15 - i. Solve -2*a + h + 10 = 0, -2*a - 5 = -z*h - q for a.
4
Let q be (-2 - -1)*(2 - -3). Let f(t) = t**3 + 5*t**2 + 2. Let a be f(q). Let w = 1 + a. Solve -5*j + 10 = -j + w*m, 2*j + 2 = 2*m for j.
1
Let n(v) = v + 3. Let j(g) = -g**3 + g. Let c be j(-1). Let u be n(c). Solve -u = f + 4*k + 12, -2*f = 2*k + 6 for f.
1
Suppose 0*x = -2*x + 6. Solve 11 = -v + 4*f, -x*v + 4*f + 1 = 2 for v.
5
Let r be 0*-4*1/(-8). Solve r = -n - 2*b + 2, 2*n - 3*b + b = 4 for n.
2
Suppose 3*x - 3*a = 21, 3*x - 2*a = -2*x + 32. Let c = x - 4. Suppose -6*l = -l - 15. Solve 3*o = l*z, 5*z + 13 = -c*o - 15 for o.
-4
Let s(x) = 2*x**2 + 10*x + 5. Let z be s(-5). Solve -4*i - i = -3*q - 1, -5*i + z = -5*q for q.
-2
Let d be 10 - 3*(-4)/(-6). Let v = d - -10. Solve 0*o - 4*o = -k - 13, -v = 4*k + o for k.
-5
Let m = -25 - -29. Solve -7 = i + 5*n - n, -16 = 4*i + m*n for i.
-3
Let p(o) = o**2 + 6*o + 14. Let u be p(-3). Solve -3*g + k = -0*g + 9, -u*g - k = 15 for g.
-3
Suppose -3*v - 3 = -4*v. Solve -4*p - 2*l = 18, -p - 4*p - v = -4*l for p.
-3
Suppose 2*n + 5*g - 81 = 0, -2*g = -0 - 10. Let f be (-8)/n + (-24)/14. Let h = 2 + f. Solve 5*u - b - 18 = h, 5*u - 10 = 5*b + 20 for u.
3
Let u = 19 + 5. Solve u = -2*k + 5*f, 2*k + 2*f + 20 = 6*f for k.
-2
Suppose 5*q + 2*k = 26, -1 = -q + 5*k - 12. Solve c - q*i = 14, 3*c + 7*i + 22 = 3*i for c.
-2
Let y(m) = -m**3 + 7*m**2 - 6*m. Let p be y(6). Suppose -4*k = i + 3, p = -i + k + 4*k + 15. Solve 0 = 2*n - 5*u - 1 - i, -u = n + 4 for n.
-2
Let x = -5 - -9. Solve z = x*n - 5, 4*n + 4*z - 11 - 9 = 0 for n.
2
Let j be 8/6 + 77/21. Solve -j*p - 2*l + 9 + 5 = 0, -5*l + 2 = -4*p for p.
2
Let n(o) = 4*o + 13. Let v be n(-3). Solve -2*a - x - 26 = 3*a, a - 4*x + v = 0 for a.
-5
Let d(b) = b**3 + b**2 + 4. Let r be d(0). Suppose -16 = -r*y - 0*y. Solve -y*j = -v + 13, 0 = 3*v + v - 5*j - 30 for v.
5
Let g(p) = -p**2 - 18*p - 28. Let u be g(-16). Solve u - 13 = 3*i, -3 = -m + 2*i for m.
-3
Let z be (-3)/2 + (-2)/4. Let u = z + 2. Suppose -3*x + 6 = -u*x. Solve 3*a = x*q + q, -4*a = 5*q - 18 for a.
2
Let u(p) = 3*p**2 - p - 2. Let g be u(2). Suppose -c = 3 - g. Suppose -c*y + 4*y + 40 = 0. Solve 0 = 4*n + 2*z - 26, 0*z = 5*n + 4*z - y for n.
4
Suppose 5*k - 4 + 27 = -2*r, k + 3*r + 15 = 0. Let c(y) = y**2 + 3*y + 4. Let v be c(k). Solve -3*a + 6 = -2*o, o - v*a = -1 - 2 for o.
-3
Suppose 0 = -5*h + 7 - 2. Let f(u) = 17*u**3 - u + 1. Let l be f(h). Let d = l - 7. Solve d*v - 45 = 5*v + 5*o, -2*v = o - 3 for v.
4
Let b(w) = -w**3 - 5*w**2 + 6*w + 3. Let z be b(-6). Suppose 6 = z*m - 0*m. Solve 2*s + m*s + 5*a = -20, -5*s + 12 = -3*a for s.
0
Suppose -u = 2*u - 6. Suppose u*d - 3 - 3 = 0. Suppose -f + 3 = -19. Solve d*s - 9 = -4*v + 2, -4*s = -2*v + f for s.
-3
Suppose -4 = -p + 3. Let x(z) = z**2 - 5*z - 6. Let b be x(p). Suppose k = 2*c, -c + 3*c - 3*k = -b. Solve 2*h + 4*g - 5 = -h, -25 = c*h - 3*g for h.
-5
Let u = 6 + -2. Let z be (-6)/9*(-6)/u. Let n = 4 - z. Solve -n*t = -6*t + 5*b - 2, 3 = 3*b for t.
1
Let x(z) = -z**2 - 6*z - 1. Let n be x(-5). Solve 0 = o + 3*i + i - 18, n = i for o.
2
Let n = 11 + -9. Solve q - 11 = 3*b, 0 = -n*q - 3*b - 0*b - 5 for q.
2
Suppose 4*b = 6 + 6. Solve -5*s + 19 = 3*m, 0*s - 2*m + 12 = b*s for s.
2
Suppose -3*x + 0*x - 48 = 0. Let n = -13 - x. Solve p + 7 - 27 = -4*m, 15 = 5*p + n*m for p.
0
Let r = 0 + 3. Solve 0 = -q + 2*f + 1, 4*q + r*f - 1 = 3 for q.
1
Let t = 0 + 1. Let y be 14/(-21)*t*-15. Solve 8 = -l - 0*d - 2*d, -y = 5*d for l.
-4
Suppose u - w = 5*u + 3, 5*w + 15 = -5*u. Suppose r = -2*s + 1, -r = -2*s - u*r - 1. Solve 5*b + j - 5 = s, -3*b - 4*j - 8 - 6 = 0 for b.
2
Let a be (15/10)/((-12)/(-232)). Solve -q + 13 = 4*u, 5*u = 4*q - q + a for q.
-3
Let y(v) = v - 9. Let z be y(4). Let m(g) = -7 + 4*g - 3*g - 2*g**2 + 6 + 3*g**2. Let d be m(z). Solve 5*t = o + 23, -5*o - 3*t = -d - 6 for o.
2
Let n = -38 + 43. Solve -x - 4*x - 25 = 5*h, 0 = -3*h + 2*x + n for h.
-1
Let l be 4/(-26) + (-602)/(-26). Suppose 3*i - l = 4*s, 3*i - 10 = s + 25. Suppose -n + 2*b = -11, b + b = -10. Solve -i + n = 2*j - m, j - 2*m = -12 for j.
-4
Let l = 37 - 8. Suppose 3*t - 43 = l. Solve -o + 0 = 2*i + 4, 0 = 4*i - 2*o + t for i.
-4
Suppose -13*d = -5*d - 32. Solve z + h - 2 = 0, -d*z + 0*z + 6 = 2*h for z.
1
Let u be 0 + (-1)/(1/(-2)). Suppose -k + 2*c + 3 = 0, -u*k = 5*c - 6 - 0. Suppose 6 = 5*x - k*x. Solve -l - 21 = -5*l + x*v, v = -l for l.
3
Suppose 0 = -2*m + 7 + 7. Let g = 8 - m. Solve -4*w = -4*u + 8, w = -2*u + 2*w + g for u.
-1
Let f(g) be the first derivative of -3*g**2/2 - g - 4. Let q be f(-2). Solve -x - 16 = -4*s, s + 28 = q*s + 2*x for s.
5
Suppose 32 = 4*a + 4*q, 0 = -a + 2*q + 3*q + 32. Suppose 13 = 5*h + 2*k - 8, 3*h - 5*k = -6. Suppose 2 = h*m - 4. Solve -15 - 1 = -4*t, x = m*t - a for x.
-4
Suppose 3*g + 2*g = 0. Let z = 5 + g. Solve -2 = o + x, 0*o - 10 = z*o + 3*x for o.
-2
Let f(v) = v**2 - 6*v + 7. Let z be f(5). Solve s = -t + 5, -2*s = z*s - t - 15 for s.
4
Let s be 2 + (2 - -2)/(-2). Suppose o - 66 = -3*d + 5*o, -d = 2*o - 32. Solve s = 3*h - 2*h + 5*l - 18, -3*h - d = -5*l for h.
-2
Suppose -3 - 7 = -5*s. Solve -2*y = s*y + 20, 5*y = 2*h - 31 for h.
3
Let y(l) = 3*l - 19. Let u be y(8). Solve -5*c + u*w = 10, -2*c - w = -0*w - 5 for c.
1
Let o(m) = m**3 - 6*m**2 + m - 1. Let x be o(6). Suppose 5*g - 7 + 27 = 4*p, -3*p = x*g - 15. Solve 5*b = 2*c + 3*c + 35, 3*c - 2*b + 17 = g for c.
-3
Suppose 4*l = 12, 0 = -2*z - 3*l + 26 - 5. Suppose 4*n = -f + 2 + z, -6 = -5*f - 3*n. Solve -4*a - 5 = -c + 4*c, f = c + 5*a + 20 for c.
5
Suppose -6*p = -3*p - 6. Let d be 44/7 + (-2)/7. Suppose 2*t + d = 4*t. Solve -5*k + p*k + t = 0, -3*k = -2*l + 1 for l.
2
Suppose -l + 0*l + 2 = 0. Let n(d) = -d**3 - 3*d**2 + 4*d + 14. Let x be n(-3). Solve 3*h = i - 1, -x*h + l*i - 6 = -0*i for h.
1
Let x be 72/14 + (-8 - (-220)/28). Solve 0*t - 14 = -x*k - 4*t, 0 = k - 2*t for k.
2
Let b = -10 - -15. Let h(w) = -w**3 + 4*w**2 + 4*w + 7. Let y be h(b). Solve y*u - 10 = -4*j, -j - u + 17 = 4*j for j.
4
Let q = 14 + -10. Suppose -v - 7 + 4 = -q*w, -2*w - 3*v - 9 = 0. Solve -5*y + 15 = 5*x, 4*x + w*x = -y + 6 for x.
1
Let f be (-152)/(-36) - 8/36. Let a be (1 + -6)*1/(-1). Solve s - 17 = -f*y, -5*s = -a*y + 9 + 6 for s.
1
Suppose 5*l - 11 = 4. Solve -2*a + 1 = 4*d - l, -2*d - 2*a - 2 = 0 for d.
3
Suppose -18 = -7*r + r. Solve -m + r*s - 9 = 0, 3*s = 9 - 3 for m.
-3
Let y = 50 + -47. Solve 5*c = 5, -y*f - 1 = -0*c - 4*c for f.
1
Let r = 4 - -3. Solve 4*d = 4*g + 28, r + 16 = g + 5*d for g.
-2
Let t(j) = -j**2 + 2*j - 1. Let o be t(1). Solve o = -s - 5, -4*l - 6*s = -2*s + 32 for l.
-3
Let c(s) = s + 2. Let h be c(2). Let a = -32 + 34. Suppose -5*g = -3*k + 17, k = -k - 2*g + 6. Solve 0 = -4*r + a*f + 24, 0 + k = h*r + 3*f for r.
4
Suppose -4*d + 2*d = -8. Let i be -1*1*3*-1. Suppose 5*b - 25 = -d*o, -2*o - i*o - 2*b + 27 = 0. Solve 0 = -4*x + 4*a - 12, 3*a + 26 - 3 = -o*x for x.
-4
Suppose -u + p = 0, 2*p = -3*u - 1 - 4. Let i be (u + 0 + 1)/(-1). Solve -5*c = -2*m + 12, i*c - 3*m - 3 = 3*c for c.
-2
Let c(a) = -7*a**2 + 2*a + 13. Let y(i) = -6*i**2 + 3*i + 13. Let z(x) = -5*c(x) + 6*y(x). Let j be z(9). Solve -4*m - 4*l = 0, -j*l - 40 = m - 5*m for m.
5
Let s(m) = -m**2 - 7*m + 5. Let w be (2/(-5))/((-2)/(-10)). Let n be w - (7 - (0 + 2)). Let c be s(n). Solve -2*b + 0*b = -5*x + 33, -c*x = -25 for b.
-4
Suppose -s + 20 = 3*s. Suppose -23 = -3*i + j, 0 = -j + 2*j + s. Let r be (-3)/(i/3 - 3). Solve 0 = 4*z + m + 15,