 -s + 0*s = 0. Let z be (-2)/(-4)*(s - -8). Solve -4*k - z*h = 2 + 2, 0 = 3*h + 9 for k.
2
Let j(f) = 4*f**2 - f + 1. Let w be j(1). Solve -2*t + 4*a - 3 = 5, -t - 4 = -w*a for t.
-4
Let l(q) = 5*q**2 + q**2 - 3*q**2 - q**2. Let t be l(-1). Suppose 3*c = t*c + 27. Solve -v - 2 = 4*y - c, 35 = 2*y + 5*v for y.
5
Let i(p) = p**2 + 7*p + 8. Let v be i(-7). Suppose -3*w - 5*w + 40 = 0. Solve -3*f + g - v = 0, w*f + 4 = -g - 12 for f.
-3
Let g(u) = u + 8. Let t be g(-3). Solve -3*o + 6 = -o, 0 = -4*j + t*o - 23 for j.
-2
Let m be 1 - (6 + -2)/(-2). Let h(w) = -w**2 - 15*w - 10. Let k be h(-12). Let c = k + -3. Solve -m*u - 9 = 0, 4*u + c - 1 = 2*v for v.
5
Let x be 8 + (-6 - -3)*1. Solve 3*n = -5*v - 40, -5*n - 2*v + 6*v - x = 0 for n.
-5
Suppose 7*b - 12 = 5*b. Solve -2*n = 2*r + 12, -n = b*r - 2*r + 12 for r.
-2
Let p = -23 - -10. Let l = 14 + p. Solve -3 = -3*h, 3*q - h + 2 = l for q.
0
Let t(f) = f**2 + 1. Let c be t(1). Suppose w - 3*k - 8 - c = 0, -3*k = w + 2. Solve 2*l - l = w, -33 = -5*h - 2*l for h.
5
Let j(c) = -c**2 + 4*c + 6. Let b be j(6). Let t = b - -2. Let f = t + 9. Solve -2*q - 3*q = 5*g + 30, -2*q - f*g - 24 = 0 for q.
-2
Let m(t) = -t. Let b be m(-6). Suppose 5*c - 5 = 5*i, i + b = 3*i. Solve z + 0*z - 2*l = -9, -c*z - 8 = -l for z.
-1
Let k be 27/(-36) + 45/12. Solve 0 = 2*i - h - k, -2*h - h - 8 = -5*i for i.
1
Suppose -10 = 2*p + 12. Let r be p/(-4) - 2/(-8). Solve -5*c + 12 = 3*h, 4*c = 5*h - r*h + 14 for c.
3
Let d be 25*(-1)/((-3)/3). Suppose 4*g + 34 = 3*u - u, -5*u = 2*g - d. Let s be ((-8)/10)/(6/(-15)). Solve s*o - 2*f + 27 = -u*f, -3*o - 4*f = 23 for o.
-1
Let v be (-10)/(-16)*2 - (-6)/8. Solve 3*f + 9 = 2*s, 15 = -5*f - 5*s + v*s for f.
-3
Let h = 18 - 13. Suppose k + 1 = 3*b, 5*k - 2*k = -3*b + 9. Suppose 5*f + 2*n = -13 + h, -k*f + 2*n + 8 = 0. Solve f*a - 4*c = 5*a - 4, -4*c = -a - 4 for a.
0
Suppose 0*v = 2*v. Let d(x) = x**3 - 5*x**2 + 4*x. Let i be d(4). Suppose -3*u = -i*u. Solve 0 = -5*r - v*r + 2*k + 15, -4*r - k + 25 = u for r.
5
Let k be (-14)/10 + 2 + 66/15. Solve 5*m - 2*j = 2, k*j = 4*m - 9*m + 30 for m.
2
Let a = 18 + -16. Solve 2*d - z - 4 = 0, 2*z = 2*d - a*z - 10 for d.
1
Let i(u) = -u - 3. Let b be i(-5). Suppose -3*p = -n - 1, n + 1 = -0. Solve p = -2*h - 8, 6*c - b*c = h + 16 for c.
3
Let d be 4/(-3*6/(-45)). Suppose 8*s = 3*s + d. Suppose -k = c - 2, -s*k + 2*c + 3 = -5. Solve i = 3*z + k*i - 10, 0 = i - 2 for z.
2
Let d(o) = 6*o**3 - 3*o**2 - 5*o - 1. Let z(t) = -t**3 + 1. Let h(b) = -d(b) - 5*z(b). Let l be h(4). Solve -4*s + u + 8 = l, -3*u - 10 = -5*s - 6*u for s.
2
Suppose -5 = -4*t + 3*t. Solve 5*g = 25, 5*w - g = -t*g + 30 for w.
2
Let y(c) = -c**3 + 4*c**2 + 3. Let z be y(4). Let f(r) = -r**3 + 2*r**2 + 4*r + 1. Let a be f(z). Solve 3*w = -t - 8, 0 = t + a*w + 4 + 5 for t.
-5
Suppose -7*p + 23 = 2. Solve 2 = -p*h - 2*d, -d = -5*h - 3*d - 10 for h.
-4
Let y(f) = f**2 + 5*f - 10. Let q be y(-8). Let j be q/6 - (-1)/(-3). Solve -b = j*i + b - 20, 3*i + 4*b - 35 = 0 for i.
5
Let b(s) = 5*s**2 - s - 3. Let o be b(-1). Let v(l) = -l**2 + 7*l - 4. Let f be v(6). Let y be f/(4*1/6). Solve -o*p + a = -4, 1 + 6 = 4*p - y*a for p.
1
Suppose 3*c = 2*h - 26, -4*h - 2 - 6 = -c. Let m be -4 - ((4 - 3) + c). Solve -3*l = -2*g + 4, 2*g = 3 + m for l.
2
Let v(m) be the first derivative of -m**4/4 - 2*m**3 + m**2/2 + 8*m + 2. Let d be v(-6). Solve 3*y = 2*f + d*f - 3, -5*y = 4*f + 37 for f.
-3
Let j = 173 - 165. Solve 2*x + 4*r + r = j, 4*x + 4*r = 4 for x.
-1
Let r = 17 - 10. Let f = r + -4. Suppose -4*y = -5*y + f. Solve 0 = -3*z + 4*w + 1, -4*z = 2*w + y*w - 22 for z.
3
Suppose 41 = 5*g - a, 5*g - 44 = -5*a - 9. Let i be 2 + 0 - g/4. Let o be 6/(i - -2) + -1. Solve 4*c + 36 = 4*n, -o*n - 5*c - 13 = n for n.
4
Let w(p) = -2*p + 23. Let r be w(11). Let i = 1 + 4. Solve -i*u + g = -5, 5*u - 6 = -5*g - r for u.
1
Let s be (6 - 0)*2/1. Suppose 3*w - 22 = o - 2*w, -2*o + 4*w - 14 = 0. Solve 2*l + 0*l = -r + s, -3*l = -o*r for l.
4
Let n(m) = m**2 + 13*m - 26. Let z be n(-15). Solve -5*x + 3*p + 16 = 0, -5*p - 10 = -z*x - 4*p for x.
2
Let n be 2/(-4)*(-30)/((-6)/(-2)). Solve 3*s + 5*k - 30 = -5, 33 = n*s + 4*k for s.
5
Let s(p) = -p**3 - p + 2*p**2 + 4 + 4*p - 6*p**2 + 2*p**2. Let h be s(-3). Suppose -h*i + 6 = -6. Solve -3*a = -3*n + 18, -i*a = a - 5*n + 29 for a.
-1
Let y be (-4)/28 - 1/(-7). Suppose y*r - 10 = 5*r, 3*n - 7 = -4*r. Solve n*t - 3*f - 26 = -0, -3*t + 10 = f for t.
4
Let s(v) = -5*v**3 - v**2 + 1. Let i be s(-2). Solve 5*z + 29 = -0*z + o, -3*o + i = -5*z for z.
-5
Let r(f) = -11*f**2 - f + 7. Let n(m) = -12*m**2 - m + 8. Let y(z) = 6*n(z) - 7*r(z). Let w be y(1). Solve -5*o + 5 = -c - 2, w*o - 10 = 0 for c.
3
Suppose 0*f = f - 1. Let g = 4 - f. Solve -g*v + i = -6, 4*v + 2*i - 8 = -i for v.
2
Let m(y) = y**2 - 10*y + 3. Let h = -2 + 7. Suppose 30 = h*n - 20. Let o be m(n). Solve -4*k = -20, -8*l + o*l - 4*k = -20 for l.
0
Let u be (-5)/10 - 33/(-2). Solve 4*j - u = 4*i, -3*i = 2*j - 2 - 11 for i.
1
Let m = -8 + 16. Suppose 2 = -3*d + m. Suppose -3*k + 14 = -d*h, -5*k - h - 4*h = -65. Solve 0 = 3*x - g + k, x - 5*g = 3*x + 28 for x.
-4
Let y = -6 - -8. Let g be 76/5 - y/10. Let n = 7 - 4. Solve -3*i - 9 = -n*s, -4*s + 3*i = 4 - g for s.
2
Let q be ((-70)/(-56))/((-2)/(-8)). Solve -5*c - q*y = 5, -2*c - 8 = 4*y - 0*y for c.
2
Let k = 9 - 7. Solve -3*z = p + k, -p = 4*z + p + 4 for z.
0
Let r be (1 - -6)/((-8)/(-24)). Let a be 108/r + 2/(-14). Solve -8 = a*x - 4*j, -5*j - 11 = -x - 0*j for x.
-4
Let h = -8 - -7. Let k be 2*(15/6 + h). Solve k*d = -3*l - 6, 2*l = 2*d - 3*l + 11 for d.
-3
Let v = 1 - 1. Let h = v - 2. Let c = 0 - h. Solve 0 = c*l + 5*i - 4, 3*i - 3 - 3 = -3*l for l.
2
Let p be 1*(4 + -1 + 7). Suppose p = 2*s + 3*s. Solve -5*b = 3*w + w + 13, w + 4 = -s*b for b.
-1
Suppose h + 2*h = 4*i - 4, -4 = -h + 4*i. Let z(f) = -f - 3. Let r be z(3). Let c = h - r. Solve 4*w - 12 = c*s, 6*s = s - w + 14 for s.
2
Suppose -3 = 2*d - 3*d. Solve 0 = 4*p - 5*m - 5, d*p - 5*p - 3 = 3*m for p.
0
Suppose 4*k - 16 = 0, -2*h + k = -4*k + 10. Suppose 4*j - h*j = -40. Solve j - 6 = 5*q + 3*w, -w + 18 = 3*q for q.
5
Let w be 0/(-1)*(4 - 27/6). Solve 0*x - 2*x - h - 5 = w, -h = -5*x - 16 for x.
-3
Let x be (1/2)/(7/42). Solve x*q + 4*r = 1, 5*q - 4*r = -2*r - 33 for q.
-5
Suppose 0 = -8*h + 4*h + 8. Solve 5*d - 9 = -h*n, 8*d - 4*d - 12 = 0 for n.
-3
Let r be -2 - 3/((-6)/28). Solve -2*f + 11 = -3*q, 4*f = f + r for q.
-1
Let i(n) = -7*n**3 + n**2 - 2*n + 1. Let m be i(1). Let b = m - -17. Suppose -27 = -2*u + x - 2*x, 0 = -u + 3*x + b. Solve r + 4 = -2*p - p, p = 2*r - u for r.
5
Let a be 11 + 1 + -1 + -1. Suppose 5*n = l + 85, -n = -6*n - 5*l + 85. Let p be n/2 - 2/4. Solve 0 = 2*h - a, 3*h - p = f + 5 for f.
2
Suppose 2*p = l - 11, -2*l + 3*p + 34 = 3*l. Solve l*o + 2*f = 7*f + 20, 2*o - 5*f = 14 for o.
2
Let l be 14/6 - 2/3*-1. Solve 12 = -4*n, l*n + 28 = -4*y + 3 for y.
-4
Let d(g) = 2*g + 6. Let v(a) = -2*a - 5. Let s(y) = 4*d(y) + 6*v(y). Let k be s(-2). Solve 6*c - 3*c + 10 = 5*h, 0 = -h + k for c.
0
Let w(k) = k**2 - 6*k + 7. Let j be w(5). Suppose 10 = -j*i + 4*i. Solve 3*r - 4*v + 4 = -3, -5*v = i*r + 35 for r.
-5
Let z(q) = -q**3 - 9*q - 3 + 1 - 9*q**2 - 2. Let k be z(-8). Let h be 3/(2*(-9)/(-120)). Solve d = -j - j - k, -5*d - h = 4*j for j.
0
Let m = -17 + 10. Let g = m + 5. Let l(b) = -2*b - 2. Let r be l(g). Solve -r*y - 2*q = 6, -4*y - y + 35 = -5*q for y.
2
Let c = 29 - 20. Let k = -5 + c. Solve 3*q - 8 = w, k*q + 4 - 10 = -w for q.
2
Let v = -4 - -6. Let y = v + 0. Solve -5*n + 5*t = 25, 0 = 2*n + y*n + 4*t + 20 for n.
-5
Let c(a) = a - 3. Let r be c(8). Suppose 1 = 3*l - r. Solve l*j = -g - 2*g + 7, 2*g = 4*j - 22 for j.
5
Let k be (-3 - -5)/(-2)*23. Let f = k - -28. Solve 4*h = 5*p + f, 3*h = -2*h + 5*p for h.
-5
Suppose -2*l = -0*l - 36. Suppose 0 = -4*v - 4*h + 32, -3*h - 14 = -3*v + 4. Solve 3*a - v*a = 2*i + l, 16 = 4*i - 5*a for i.
-1
Suppose 0 = -8*z + 3*z + 20. Suppose 3*d = 3*t - 3, z*t - 1 = 3*d + 5. Let b be (0/1 - 1) + 6. Solve -t*p = p + 4*o - 20, -b*p + 2*o + 25 = 0 for p.
5
Suppose -t + 0*t = 0. Suppose 3*r + 0*r = 6. Suppose 0 = -2*k + 2*n - 6, 3*k + r*n - 14 = k. Solve k*u + 3*l = 4*u - 3, t = -2*l - 6 for u.
-3
Suppose -7*z = -1 - 27. Solve -3*k + 4 = -2, z*k = 5*