.
0
Let f(h) = 2*h - 9. Let w be 6/(3/3)*1. Let i be f(w). Suppose 0*b = 2*b. Solve i*n + 6 = b, -3*s - n + 1 = -4*s for s.
-3
Let r be (-32)/(-6) + 2/(-6). Suppose -35 = -3*k + r*z, 0 = -2*z - z - 12. Solve 0 = 3*l + 3*u + 6, 2*l = -u - 2*u - k for l.
-1
Let t(p) = -p + 6. Let s be t(4). Solve s*z = -z + 5*j - 7, 3*z - 1 = j for z.
1
Suppose -f + p = -4, -p = -0*p + 2. Let l be f/(-7) - 115/(-35). Suppose 7 + l = 2*m. Solve -4 = -2*s + 5*o, -m*s + 2 = -3*o - 8 for s.
2
Let d be (60/(-4))/5 + 17. Solve -3*q - 10 = -2*o, -4*o - 2*q + d = -5*q for o.
2
Let p(g) = -3*g**3 + g**2 - 11*g - 3. Let d(u) = u**3 + u**2 + u. Let k(l) = 4*d(l) + p(l). Let s be k(-6). Solve 2*a + 0*a - 6 = -s*x, x - 2 = -a for a.
0
Let l(w) be the third derivative of 1/12*w**4 + 0*w - 2*w**2 + 0 + 1/3*w**3. Let x be l(9). Solve 4*y + s = -3*s - x, 4*y + 3*s = -17 for y.
-2
Suppose 5*j = 2*z + 17, 5*z - 2*z = 5*j - 23. Let i be (-10)/(-4) - (-3)/z. Solve -i*n = 5*d + 27, d + 3*d - 5*n + 15 = 0 for d.
-5
Let a(y) = -3*y**2 + 25*y. Let n be a(8). Solve 12 = 3*o + 5*z, o + o - n = 3*z for o.
4
Let s(n) be the third derivative of -n**4/24 - 7*n**3/6 + n**2. Let l be s(-8). Let x be l/((-1 - -2)/5). Solve 3*r + x*g + 4 = 0, 3*r - 4*g + 16 = -r for r.
-3
Let y be 0/(7/(7/2)). Suppose d = -y*d + 3. Let c be ((-1 - -1)/1)/2. Solve -4*z - d*i = 7 + 3, c = 5*z + 3*i + 11 for z.
-1
Let h = 148 + -143. Solve 5*c - h*t = 5, 5*t + 6 = 21 for c.
4
Suppose -5*z + 2*m = 5*m - 20, -4*z - m = -16. Solve -4*b - 5*a + 2 = 0, 3*a - 16 = z*b - a for b.
-2
Let f = -28 + 36. Solve 4*h + p + 7 = -1, -4*h = -3*p - f for h.
-1
Let b = 19 - 19. Solve 0 = -4*r - q + 15, -2*q - 3 = -b*r - 3*r for r.
3
Let m(j) = j**3 - 5*j**2. Let u(o) = -o - 4. Suppose -2*a - 14 = 4. Let v be u(a). Let d be m(v). Solve d = -c + q + 6, 0 = -4*c + 4*q - 3*q + 9 for c.
1
Suppose 2*m = 6*u - u + 6, -4*m - 2*u - 12 = 0. Let h be ((-8)/6)/(m/18). Solve 4*a + 4*n = -h, a + 0*n - 3*n - 17 = 0 for a.
2
Let g = 13 - 8. Suppose g*d + 2 = 12. Solve -d*x = -10, 2*x = 4*f + x - 7 for f.
3
Let u = 4 - 0. Solve -g = 3*t + 17, 0 = -t + g - u + 1 for t.
-5
Let r be 8/3 + (-11)/(-33) - 1. Solve -4*j - v - 18 = 0, -3*j - 6*v = -r*v + 7 for j.
-5
Suppose 11 = 4*i - 1. Solve 2*v - q = 8, 0 = v + i*v + q - 22 for v.
5
Let d be (-6 + 3)/(-6) - 35/(-10). Solve n + 3*n + d = 3*o, -4*o + 18 = n for n.
2
Suppose -2*m = 8, l + 24 = 5*l - 5*m. Let q be l + 0 - 12/(-2). Suppose 9 = 3*t + 3*j - q*j, 5*j - 9 = -3*t. Solve 5*h + 5*x - 5 = 0, -x = t*h - 3*x + 17 for h.
-3
Let b be 6 - (4 - (-1 - -4)). Let j = b + -3. Let z = 4 - j. Solve z*m = -5*o + 8 - 20, 0 = 2*o + 5*m + 9 for o.
-2
Suppose -4 - 2 = -2*j. Let y = 12 - -15. Let r be y/(-12)*24/(-18). Solve 0 = c + j*q - 3 - 7, -5*c + r*q - 4 = 0 for c.
1
Let g(u) = u - 1. Let v be 204/48 + 2/(-8). Let w be g(v). Solve -2*c - w*c - q = 6, 2 = -2*q for c.
-1
Suppose g = r - 1, 3*r + 2*r - 32 = -4*g. Let q(w) = w - 1. Let j be q(4). Solve 4*k + 13 = -5*p, j*k - 2*p = -r*p - 1 for k.
3
Suppose -s - 2*s - 4*o = -4, 0 = 4*o + 8. Solve s*c = 3*h + 12, -2*h = c - h - 3 for c.
3
Suppose 3*m + m = 0. Solve 0 = 2*z - 2*o - 0*o - 8, m = -5*z + 3*o + 18 for z.
3
Let b(x) = 3*x - 1. Let t be b(1). Let v(y) = 2*y. Let g be v(t). Solve -4*q + 3*h = -0 - 5, -13 = g*q + 3*h for q.
-1
Suppose 0 = -3*a + 4*a - 2. Suppose -3*g + a = -7. Solve 0 = 2*v + h - 3*h, 5*h - 8 = g*v for v.
4
Let m = -24 + 27. Let q = 2 - -7. Suppose 4*l - m*x = 2*l + q, -x = 4*l - 11. Solve -l*k + 3 = 3*r, -2 = -5*k - 7 for r.
2
Suppose 5*b + 10 - 25 = 0. Let n = b + -1. Suppose 4*t - 5*y - 4 = 4, n*t + 3*y - 4 = 0. Solve 2*k - t*o = -4, 2*k + o = -1 - 0 for k.
-1
Let r be (27/(-18))/(3/(-10)). Solve -b - p + 2 = -6, -r*b - 2*p = -28 for b.
4
Suppose 5*v - 3*g = g - 4, -5*v + 3*g - 3 = 0. Solve v = 3*y - 2*s + 2 + 3, 5*y - s = -13 for y.
-3
Suppose 2*o - 3*k - 2 = 1, 3*o - 2*k - 12 = 0. Solve 2*x = 3*b + 10, -2*b + o*b + 19 = -3*x for x.
-1
Suppose 1 = -3*i - 14. Let s be (i/5)/((-2)/20). Solve s*m = 5*m - 20, 0 = 3*c - 3*m - 27 for c.
5
Let z(t) = t + 6. Let l be z(-2). Solve -2 = -4*o + 18, -37 = l*q - 5*o for q.
-3
Let u = -23 + 32. Suppose -x + 2 = -u. Solve -v - 5 = -0*v + 3*n, -5*v + 3*n = -x for v.
1
Let n(x) = x**3 - 19*x**2 + 18*x + 3. Let o be 7*(40/(-28) + 4). Let q be n(o). Solve -q*b + 5*r + 22 = -3, b + 2*r = 1 for b.
5
Let b be 10 + 10 - 3*1. Let x(h) = -h + 19. Let l be x(b). Solve 3*z + 1 = w + 2*z, l = 3*w - 4*z for w.
2
Suppose 0 = -4*o + 3*t + 5, 6*t = t - 15. Let n be -2 - (2 - (o - 0)). Let z = -2 - n. Solve 2*w - 6*w = 0, 2*p - z*w - 8 = 0 for p.
4
Let u(z) = 2*z - 24. Let g be u(12). Solve 3*k - 4*p + 4 = 0, 4*p + g*p + 4 = 5*k for k.
4
Let l = -4 + 6. Solve -2*i - 17 = -3*h, -3*i = -0*h - l*h + 13 for h.
5
Let h be (1 - -2)/(3/12). Let x be (-3 + 6)*20/h. Solve -d - 2*b = -0*d + 7, -d = -x*b for d.
-5
Let i = 33 + -32. Solve v - 4 = 2*a, 4*a - 3*a + v = i for a.
-1
Let l = -17 + 19. Suppose 6 = -l*d, 3*k = d + 49 + 59. Solve 4 = -r - j, 0 = 5*r - 4*j + 10 - k for r.
1
Let x(w) = w**3 - 8*w**2 - 9*w + 10. Suppose j + 11 = 5*y, -2*j - 2*y + 16 = -10. Let u be x(j). Solve 1 = -2*z + 3*c - 6*c, -u = -z + 2*c for z.
4
Suppose -2*g + 5*g - 9 = 0. Let n = 1 - -3. Let q = 12 - 3. Solve -r = n*p + 2*r - q, 0 = p + g*r for p.
3
Let u be 1*(-2)/(-2) + 4. Solve 10 = j - 4*r, -3*j + 3*r = -u*j - 13 for j.
-2
Let y = 24 - 17. Suppose 4*w - 8 = 0, -w + 33 = 3*c + y. Let m(z) = -z. Let k be m(-4). Solve 4*f = -0*l + 5*l + 7, -k*l - c = -2*f for f.
-2
Let y(z) = z**3 + 10*z**2 - 16*z - 8. Let x be y(-11). Let k = x - 23. Solve -4*l = -k + 8, -5*p = -5*l + 45 for p.
-5
Suppose r + 4*l = 3*r - 24, -2*r - 5*l = -60. Suppose -2 + 9 = -g + 4*z, -12 = -4*z. Solve 0 = 5*t + g*n - r, 2*n - 5 + 2 = 3*t for t.
1
Suppose 1 + 3 = 2*v. Solve -5*t - 4*i + 2 = 0, 3*i = v*t - 0 - 10 for t.
2
Let h = 7 + 2. Suppose h = 4*d - d. Solve -2*g - 10 = -d*t, 7*g - 5*t = 2*g - 25 for g.
-5
Let z(n) = -2*n + 3*n**2 + 4*n**3 - 3*n**3 + n**2 - 6. Let a be z(-4). Let d be (-2)/10 + 61/5. Solve 7*j - 2*j - 29 = -a*b, d = 2*j + b for j.
5
Let m(i) = 2*i + 2. Let s = 3 - 0. Let k be m(s). Let r be (-1)/(2/k*-1). Solve r*l - 4*q = -16, -4*l + 0*l - 2*q + 14 = 0 for l.
1
Let i(z) = 8*z**2 - 4*z - 1. Let d be i(-3). Let n = d - 50. Solve n = 5*u + 2*q, 2 = 3*u + 3*q - 25 for u.
5
Suppose 3*n - 3 = -4*h, 2*n + h + 1 = 8. Solve -1 - n = 2*a + 4*t, 0 = -a - 5*t - 12 for a.
3
Let f = 23 + -11. Let i be (0 + -3)/((-18)/f). Solve 0*z + 5*z = i*a + 10, 5*z = a + 15 for a.
5
Let k be (-3 - 0)*1/3. Let d be 1/(k - (-6)/5). Solve l = -2, r + d*l = 5 - 15 for r.
0
Suppose s = -5*n + 30 - 9, -s = 3*n - 11. Let v = s + 9. Suppose 0 = -3*r + 6. Solve 4*f - r*d - 4 = 0, 0*d - 5*d = 5*f - v for f.
1
Suppose 2*g + 12 = 5*g - 2*w, -g - 4*w + 4 = 0. Let m be 4/16*0/(-1). Solve y + 1 + g = m, -25 = 4*f + y for f.
-5
Let q = -3 + 3. Suppose q = 4*d - 20, d - 6*d + 29 = 2*w. Solve 0 = 2*g + 4*p + 18, w*g + 2*p = -0*g - 8 for g.
1
Let z(s) = -3*s**3 - 2*s**2 + 4*s - 7. Let v(p) = -p**3 - 1. Let k(i) = -4*v(i) + z(i). Let n be k(2). Solve -4*m + 5 = -n*b + m, -4*b + 20 = 4*m for b.
2
Let g(d) = d + 11. Let q be g(-8). Let u(f) be the third derivative of -f**4/12 - 3*f**3/2 + f**2. Let h be u(-6). Solve -5*c + 3 + 7 = -5*w, h*c = -q*w for c.
1
Let c be (-6 + 4)/(2 - (-7)/(-3)). Solve 2*z = -4*k - 4, 2*k + z = 4*z + c for k.
0
Let m(b) = -b**3 + 7*b**2 + 18*b + 5. Let f be m(9). Solve 0 = f*j + n - 16, j + j - 8 = -2*n for j.
3
Let b = -22 - -27. Solve 0 = -2*m + 3*m - 5*y + 20, -b*y = -2*m - 25 for m.
-5
Let y be 1/(1 + 7/(-6)). Let b = 11 + y. Solve -4*w + b*r = -23, -4*w - 9*r + 4*r - 7 = 0 for w.
2
Suppose -7*a - 4*k = -2*a + 16, -a + k + 4 = 0. Let u be -3 + (9 + 1)/(2/1). Solve a*b = 3*b - 3*l + 3, -2*l = u for b.
-2
Let n be 7/((-7)/4) - -24. Solve 4*v = 3*j + n, 3*v + 4*j = 17 - 2 for v.
5
Let d = -21 + 2. Let r = 19 + d. Solve 3*s - 3*b = s - 5, s - 4*b + 15 = r for s.
5
Let j be ((-6)/(-4))/(3/6). Solve j*a + 5*n + 15 = 2*a, -a - n = -1 for a.
5
Let k = 12 - 7. Suppose y + 15 = k*b, -28 = -5*y - b + 1. Solve -5*s + y*p + 21 - 1 = 0, 2 = -s - 2*p for s.
2
Let t be (0 + 20/(-12))*(-2 + -4). Suppose 5*h - 2*h + 21 = 3*w, -4*w - 4*h = -4. Let s = w - 0. Solve -5*j = -3*g + 27, 4*g - 2*j 