5, 1 + 0 = 5*z + 3*x. Solve 8 = -z*y - 2*y for y.
-2
Suppose 5*n = 2*y + 37, 0*n - n = 4*y + 107. Let x be y/(-5) - (-9)/(-45). Suppose -x*c = 4*h + 6, 0 - 2 = -3*c - h. Solve 0 = a - 3*a + c for a.
1
Suppose 7*s + 2 = -h + 3*s, 0 = -4*h + 2*s + 10. Solve h*u = 4*u - 4 for u.
2
Suppose -20 = -4*l, 0 = -2*z - 3*z - 5*l + 20. Let c = 0 - z. Suppose 10 - c = 3*i. Solve n + 4 - i = 0 for n.
-1
Suppose 0 = -5*o + 4*o + 3. Suppose -2*n = n - 9, 0 = -o*m - n + 18. Suppose 27 = 2*s + 1. Solve 12 = -m*y - s for y.
-5
Let j be -2 + 3 + (-6)/2. Let p be (-200)/(-52) - j/13. Let y(w) = -2*w - 4. Let b be y(-6). Solve b = 4*a - p for a.
3
Let h be (-6)/(-4) - (-10)/4. Solve a - h*a + 9 = 0 for a.
3
Let z be (8/8)/(1/(-5)). Let t(v) = v**3 + 5*v**2 - v - 1. Let b be t(z). Solve 0*a = -a - b for a.
-4
Suppose -3*s + 16 = s. Let m = s - -1. Let n(f) = -f**3 + 6*f**2 - 4*f + 3. Let d be n(m). Solve 0*y + d = -2*y for y.
-4
Let x(k) be the first derivative of 5*k - 4*k - k**3 + 2*k**3 + 2 - k**2. Let u be x(1). Solve 16 = -2*n - u*n for n.
-4
Let m(a) = a**2 - 6*a - 10. Let z(y) = -5*y - 2. Let s be z(-2). Let q be m(s). Suppose -w = -q*w + 150. Solve 5*x + w - 5 = 0 for x.
-5
Let i(g) = 4*g**2 - 7*g + 6. Suppose -2*n + 10 + 4 = 2*m, -3*n + 29 = 5*m. Let r be i(m). Let k = r - 30. Solve 3*s + k + 3 = 0 for s.
-5
Suppose f + 3*y + 7 = 0, 4*f + 8 = 5*f - 2*y. Let h(j) = -9 + 8*j + f*j**2 + 0*j - 3*j**2. Let z be h(6). Solve z*b = 2*b + 2 for b.
2
Let g be 2*4*(-12)/(-16). Suppose -3*m = -g*m - 5*o - 28, -4*m - 5*o = 34. Let z be 8*(15/m)/(-1). Solve -k + 5*k + z = 0 for k.
-5
Let o be 2/(-2) - (1 - 2). Solve -2*a - a = o for a.
0
Let k(m) = -m**3 - 7*m**2 - 8*m - 4. Let i be ((-12)/(-14))/((-10)/70). Let j be k(i). Solve 5*v - j = -23 for v.
-3
Let c = 7 + -3. Solve -11 = 3*d + c for d.
-5
Let u(l) be the second derivative of -l**4/12 + 2*l**3/3 + l**2/2 + 2*l. Let v be u(2). Solve -v*d = 3 - 28 for d.
5
Let x(s) = s**3 - 9*s**2 + s + 7. Let l be x(9). Suppose 2*d = -6*n + 4*n, -l = 5*d - 3*n. Let w be ((-13)/d)/((-2)/(-4)). Solve -5*f - w = -3 for f.
-2
Let m(d) = d**2 + 4*d**2 + 4 - 3 - d. Let i be m(1). Suppose -3*n - 6 = -i*n. Solve r - 4 = -n*r for r.
1
Suppose 0 = 2*m - 4*i - 14, 0 = 2*m + 4*i - i - 42. Let s be ((-18)/m)/(3/(-100)). Suppose 0 = o + 3*b, -6*o + 5*b = -o - s. Solve 0 = -p - o + 5 for p.
-1
Suppose -4*f = -0*f - 12. Let o be (-2)/(-3) - (-4)/f. Suppose -m - 6 = -o*m. Solve m = -0*v + 2*v for v.
3
Suppose -5 + 8 = y. Solve 8 = -y*r + 5*r for r.
4
Let d = -20 - -17. Let u = 7 + d. Solve 0*x = u*x + 16 for x.
-4
Let q = 20 - 12. Solve 4 = 2*j + q for j.
-2
Suppose 5*d + 12 = 4*d. Let n = d - -15. Solve r = n*r for r.
0
Let o(y) = -y**2 + y. Let p(k) = k**3 + 8*k**2 - 5*k + 2. Let i(j) = 6*o(j) + p(j). Let q be i(-2). Solve q = -2*b + 1 - 7 for b.
-3
Suppose 5*n - 9 = -3*q, 3*n + 3*q = 6*q + 15. Solve n*k - 16 = -k for k.
4
Let a(l) = 2*l**2 + 9*l + 2. Let z be a(-6). Solve 0 = 4*r - z + 8 for r.
3
Let j be 2/(-5) + 164/10. Suppose 2*r + 10 = 3*z, -4*r = 2*z + j + 4. Suppose -3*y = -2*l - 15, y + 2 - 7 = z. Solve 0 = -l*k - 2*k for k.
0
Let s be 3/(-2)*(-4)/(-2). Let w = s - -23. Solve 0 = -3*g - 2*g + w for g.
4
Suppose 2*l = 5 + 5. Let p = 0 + l. Solve 0 = a - p*a - 8 for a.
-2
Let j = 15 + -11. Let h(p) = 3 + 0*p**2 + 3*p - 2*p**2 + j*p**2 - p**2. Let a be h(-3). Solve a*u + 3 = -3 for u.
-2
Suppose 4*d - 96 = -3*g - 29, d - 5*g = 34. Solve d = 4*x - 1 for x.
5
Let v(o) = -2*o. Let c be v(-4). Suppose 3*q = -q + c. Solve -6 = -q*z - 2 for z.
2
Let k be (-15)/(-10)*(0 + 2). Solve 0 = -k*p - p + 4 for p.
1
Let k be (-52)/(-20) + (-2)/(-5). Suppose -4*c + 31 = 3*j, -j + 2 = -k. Solve 0 = c*h - 2*h - 4 for h.
2
Let i = -4 - -7. Let d = 5 - i. Suppose 0 = -3*l + 4 + d. Solve -h + 3 = l for h.
1
Let a be 4/4*(4 + 1). Suppose -d + a = 3*l, -4*l - 8 + 3 = -d. Suppose m - 1 - 4 = l. Solve -j - 4 = -m*j for j.
1
Suppose 23*j = 22*j. Solve h - 6*h + 25 = j for h.
5
Let h(p) = -2*p - 20. Let l be h(-12). Solve -5 = -l*c - 13 for c.
-2
Let i = 34 - 28. Let g be 4/(-6) - (-8)/3. Solve g*n - i = 4 for n.
5
Suppose 3*a = 8*a - 10. Solve -3*o = a*o - 10 for o.
2
Let t be 1/4 + 44/16. Let s be ((-28)/7 + 4)/2. Solve s = x - 1 - t for x.
4
Suppose 3*r + 0*r - 9 = 0. Suppose -4*i + 5 = -11. Solve 5 = -i*q + r*q for q.
-5
Suppose a = q - 24, -q + 2*a = -0*a - 28. Solve 4*s - q = -s for s.
4
Suppose -20 = -8*j + 3*j. Let s(q) = 2*q + 8. Let w(f) = -1. Let r(a) = -s(a) + 4*w(a). Let z be r(-10). Solve 0*k + z = -j*k for k.
-2
Suppose -6*i = -4*i. Suppose i = v - 0 - 2. Solve -f = -0*f - v for f.
2
Let d = 12 - 10. Suppose 4*h - 6 = d*h. Solve -h*f + 2 = -7 for f.
3
Let p = 13 - 8. Suppose m - p*r = -6, -3*m + 2*r = 5 - 13. Solve m*y + 3 = -9 for y.
-3
Suppose 2*o = -o + 6. Solve -2*h = o*h + 20 for h.
-5
Let b(f) = -2 + 4 - 4*f + 5*f. Let h be b(3). Suppose 0 = -6*y + 7 - 1. Solve -h*c - y = -6 for c.
1
Let w(y) = -y**2 + 5*y + 6. Let m be w(6). Solve m = 5*s + 7 + 3 for s.
-2
Suppose -50 = -3*p - 2*p. Suppose -3*z + p = -z + 4*r, -4*r = -8. Solve 3*q - 7 + z = 0 for q.
2
Suppose 3*h = 2*w + 9, w - 5*w + 2*h = 6. Suppose -3 = -g + 2*k, w = -3*g + 2*k + k + 12. Solve -2*t = -g*t + 15 for t.
5
Let n = -28 + 33. Solve -n + 1 = w for w.
-4
Let z = -20 + 22. Solve -z*n - 4 - 6 = 0 for n.
-5
Suppose -4*j + 16 = 3*g - 5*j, 4*j = 3*g - 28. Suppose x = -g + 7. Suppose 16 = m - 5*c, c + 30 = 4*m - 2*c. Solve 0*d - m = x*d for d.
-2
Let l(c) be the first derivative of -c**3/3 - c**2/2 + 3*c + 4. Let t be l(0). Solve f + t = -1 for f.
-4
Let f(z) = z**3 + 4*z**2 + 2*z - 3. Let i(w) = w**2 + 3. Let l be i(0). Let a = 0 - l. Let u be f(a). Solve 2 + u = c for c.
2
Let o = 9 - 7. Solve -1 + 7 = -o*z for z.
-3
Let y be (0/(-3 - 1))/1. Solve y = 5*k - 1 - 14 for k.
3
Suppose 23 = -2*y - 5*n, 2*y - 4*y + 3*n + 17 = 0. Let v = 4 - y. Solve -4*z = -v*z - 4 for z.
4
Suppose 0*n - 15 = -5*y - 5*n, 0 = -4*n - 4. Suppose 2*m + j - 3 = 0, 0 = y*m - j - j - 10. Let c = 36 + -34. Solve 2*w = -c - m for w.
-2
Suppose -3*l = 3*t + 3, 0 = l + 5*t + 9 + 8. Suppose l*c - 23 = -2*d, -6*c - 4*d = -c - 39. Suppose 1 = -2*a + c. Solve a*w + w = 4 for w.
1
Let a = 12 + -2. Solve a = -d + 6*d for d.
2
Let x(q) = -3*q**3 - 7*q**2 + 7*q - 5. Let n(b) = 4*b**3 + 8*b**2 - 8*b + 6. Let u(y) = -6*n(y) - 7*x(y). Let g be u(-1). Solve i + 1 = g for i.
3
Let j(o) = -2*o**2 + 18 + 19*o**2 - 27*o + 10*o - o**3. Let n be j(16). Solve -1 = n*q - 5 for q.
2
Let u(a) = a - 5. Let c be u(7). Suppose 4*x - c*x - 10 = 0. Solve -3*f - x - 4 = 0 for f.
-3
Let f be (-5)/20 + 17/4. Suppose -o = 4*o - f*n, 25 = 5*n. Solve -3*j - o = -4*j for j.
4
Suppose 0 = i - 23 + 9. Suppose -2*n + 5*w + i = 0, 0 = 4*n - 3*w - w - 16. Solve -n*l + 8 = -6*l for l.
-2
Suppose -3*p = -4*p + 3. Suppose q = 6*q - 20. Suppose q*l - 29 = -2*i - l, -17 = -i - p*l. Solve -3 - i = v for v.
-5
Suppose -2*h - 60 - 48 = 0. Let v be (-3 - (-2)/1)*6. Let w be (-1)/v - 261/h. Solve -w = 3*n + 7 for n.
-4
Let y = 29 - 23. Solve -c = -y*c for c.
0
Let i = -4 - -8. Let b be 2/i*(-1 - -5). Suppose 2*q - 63 + 19 = 0. Solve q = -4*f + b for f.
-5
Let i be ((-3)/2)/((-12)/(-16)). Let f be (i + 3)/(1/3). Solve -9 = -f*t + 6 for t.
5
Suppose -5*n = -4*k + 25, k - 25 = -0*k + 5*n. Solve k = 2*s - 2 + 10 for s.
-4
Let z(u) = u - 2. Let t be z(9). Let v be 30/7 - 2/t. Let l(n) = n**2 - n. Let p be l(-4). Solve -x = v*x - p for x.
4
Let q be 0*(-1 - 0/1). Suppose q = 3*h + h - 32. Suppose 3*c - h = -c. Solve -3*k + c*k = 5 for k.
-5
Let y(v) = 2*v**3 + v**2. Let m be y(1). Let t be 4 + m/(5 - 2). Suppose -j - 3*q + 3 = -6, -t*q = -5*j - 15. Solve j = -0*k + 2*k - 4 for k.
2
Suppose -4*l + 44 = -0*l. Solve 5 + l = 4*v for v.
4
Let p(d) = -d - 8. Let f be p(-10). Suppose 0*x + 6 = f*o + 2*x, -4*o = -3*x + 2. Solve 2 + o = s for s.
3
Suppose -19*k + 2*k = -85. Suppose 24 = 2*f - 3*z, 0 = -3*z - 12. Suppose f*t - 20 = t. Solve -k*o = -4*o + t for o.
-4
Let c = -27 + 27. Solve c = -v - 2 for v.
-2
Suppose 21 = 2*a + a. Solve -a*d + 10 = -2*d for d.
2
Let r = -5 + 9. Let a be 2/((6/(-5))/(-3)). Suppose 0 = 4*x - 2*p + 2, 5 = -a*p + 10. Solve -r*j + 12 = -x*j for j.
3
Let s = 6 + 0. Let p(l) = -l**2 + 6*l. Let b be p(s). Solve 0 = -y - b + 1 for y.
1
Let n = 3 - -2. Let