 - 5*i + 36 = 0, 3*f - 3*i = -2*i - 16. Let k be (6/f)/(9/(-12)). Suppose 10*o = 3*o + 28. Solve -k*q + 0*q - o = 0 for q.
-2
Let r(m) = -m + 3. Let y be r(2). Suppose 5*i + 8 = 18. Suppose 0 = -i*z - 3*u, -z - 2 + 13 = -4*u. Solve d + y = z for d.
2
Let m(n) = -n**2 - 11*n - 11. Let c be 3/2 - (-2)/4. Let y be (18/4)/(c/(-4)). Let r be m(y). Solve -3*j - r + 1 = 0 for j.
-2
Suppose -3*r + r = 0. Solve 0*i + i - 4 = r for i.
4
Suppose 4*y = 3*y + 4. Suppose 0 = y*g - 6 - 2. Solve g*s = 3*s + 3 for s.
-3
Let p be (-1)/(-2) + 63/6. Suppose 5*q + 1 = p. Solve 0 - q = -a for a.
2
Let d = 22 - 20. Solve 0 = -3*n + d*n - 5 for n.
-5
Let b = -2 + 4. Suppose r + 13 = 5*l, -b*r = -2*l - r + 7. Suppose y - 8 - 10 = 0. Solve -l - y = 5*m for m.
-4
Let g(d) = d**2 - 3*d + 1. Let a be g(2). Let t(v) be the second derivative of 17*v**4/12 + v**3/3 + v**2/2 - v. Let i be t(a). Solve q - i = -3*q for q.
4
Let n be (-4)/(-2) - (3 - 1). Solve -3*k - 2*k = n for k.
0
Let v be (6/8)/((-8)/32). Let n(m) = -m**2 - 5*m - 4. Let q be n(v). Suppose -x - 24 = -2*b, 3*b - q*x = -7*x + 36. Solve 5*d = d + b for d.
3
Suppose -4*u + 8 = -4. Solve -u*z = -6*z + 12 for z.
4
Suppose 7 + 1 = 4*k. Solve -b + k + 0 = 0 for b.
2
Suppose 12*n = 17*n - 85. Solve -n + 2 = 5*k for k.
-3
Suppose j = -0*j. Let x(y) = y**2 - 7*y - 1. Let v be x(7). Let p = 5 + v. Solve -4 + j = -p*g for g.
1
Let x = -25 - -30. Solve -5*d = -0*d - x for d.
1
Suppose 0 = -5*w - 13 + 38. Let l = -5 + w. Let h be ((-1)/(-2)*l)/1. Solve -2*t - 2*t = h for t.
0
Let w(u) = 2*u**2 + 1. Let v be w(1). Suppose -x = -v*x + 6. Solve -7*l + x*l - 12 = 0 for l.
-3
Let o(j) = -j**2 - j + 12. Let r be o(3). Solve r = -3*z - 3 + 9 for z.
2
Let z(a) = a**2 + a + 1. Let w be z(-3). Suppose 2*p - 5 = -3*p - 5*b, -w = 3*p + 5*b. Solve -2*i + 2 = p for i.
-2
Suppose -5*u = -v - 5, -3*v + v + 14 = -2*u. Solve 0*n + v = -2*n for n.
-5
Suppose 3*s = -y + 6*s + 5, 4 = y - 2*s. Solve 2*w - y = -0*w for w.
1
Suppose 4*y + 14 = -3*i, 0*i = 3*i + 3*y + 9. Solve -t + i*t = 5 for t.
5
Let r be 4 - (-2)/(-2) - 13*-1. Solve r*l - 11*l = -10 for l.
-2
Let t be (-16)/(-56) - (-19)/7. Solve -3 - t = 2*q for q.
-3
Let q(z) be the second derivative of z**4/12 + z**3/3 + 3*z**2/2 + 3*z. Let h be q(-3). Solve 5*u - 8*u + h = 0 for u.
2
Let q = 891 + -891. Let r(f) = 2*f + 1. Suppose 7*k = -3*n + 2*k - 4, -4*k = 3*n + 2. Let o be r(n). Solve 0*i - o*i + 15 = q for i.
3
Let u = 14 + -26. Let f be (-26)/(-6) - (-4)/u. Suppose 0*p = 4*p - 24. Solve f*o - o - p = 0 for o.
2
Let q(s) = -11*s - 79. Let p be q(-9). Solve -4*f + p = f for f.
4
Suppose -5*h + 28 = -3*h. Let u = h + -4. Solve 2*b + 0 - u = 0 for b.
5
Suppose -2*z - 2*u + 4 = -3*u, -4*z + 20 = 4*u. Suppose z*g + 13 = 73. Suppose 5*a = 5*c - g, 5*c - 69 + 14 = -2*a. Solve 3*f = 6*f + c for f.
-3
Let y(g) = 0*g - 1 + 3*g + 2*g + 3*g**2 - g**3. Let s be y(4). Solve 4*i = s*i for i.
0
Let r = 7 + 9. Let k = r - 8. Solve 0*s + k = -2*s for s.
-4
Suppose 5*d + 2 = b, 2*b - 2 = -d + b. Solve -5*q + 0 + 5 = d for q.
1
Let c = 8 - 5. Suppose -5*q - 7 = 4*v, 3*q + v + 6 = -2*v. Let n = 0 + q. Solve c = -2*u - n for u.
-2
Let n(t) = t**2 + 7*t + 6. Let c be n(-7). Suppose -c = -4*s + s. Solve 3*i - 4 = s*i for i.
4
Let f(s) = 12*s + 5. Let u be f(0). Solve -u = -n - 4 for n.
1
Suppose 5*j - 1 - 4 = 0, 3*j = -4*y + 23. Suppose 0 = -2*s - b - 2 + 3, y*b = -2*s - 11. Suppose -3*u = s*u. Solve u*g = -3*g + 15 for g.
5
Let y be (-2)/3 - 56/(-3). Let x be (-88)/(-14) + (-6)/21. Suppose 9 = 2*k - 3*m + 3, x = 2*k + m. Solve 3*r - k = -y for r.
-5
Let k = 18 - 16. Suppose 5*u = -3*d - 1, -4*u - 2 = -0*d + k*d. Solve -d*r + 4 = -5 for r.
3
Let w(r) = -r**3 + 6*r**2 + 4*r - 9. Let u be w(6). Solve -4*q = q - u for q.
3
Let m = -10 + -7. Let p = m + 24. Solve -2*z + 3 = -p for z.
5
Let b be (-2)/3*(-1 - 2). Let j be 1 + (-3*b)/3. Let k be 2 + -2 + 1 + j. Solve -3*m + 12 = -k*m for m.
4
Let z = 7 - -15. Let h = 31 - z. Let n = 15 - h. Solve -n = s - 3*s for s.
3
Let s(u) = -u - 7. Let t(v) = -v**3 + 3*v**2 + v + 3. Let z be t(4). Let y be s(z). Solve 0 = y*w + 1 + 7 for w.
-4
Let j(v) = -v**2 - 7*v + 11. Let w be j(-8). Suppose w*k = -k. Let b = k + 5. Solve b - 13 = -2*f for f.
4
Let y be 20/6 + (-3)/9. Suppose -4*f = y*k - 3, 0*k - 3*f + 11 = 4*k. Let s = k - 4. Solve s = 4*p + 5 for p.
-1
Suppose -m = -0*m - 2. Solve h - m + 0 = 0 for h.
2
Let f be -2 + 0 - (-13 - -6). Solve -s - f = -2 for s.
-3
Let c(m) = 10*m + 1. Suppose -3*p = 2*g + p - 2, 5*p + 4 = 4*g. Let v be c(g). Solve 4*l + v = -1 for l.
-3
Suppose -3*n - 3*n = -18. Suppose -4*y = -2*h - 8 - 18, -h + y = 11. Let x = h - -20. Solve -n*l - x = 4 for l.
-5
Let m(p) = 7*p**3 + 2*p**2 - 3*p + 2. Let d be m(1). Solve -4*k = -d - 8 for k.
4
Let u = -40 - -64. Let p = u - 23. Solve p = -5*r + 21 for r.
4
Let y(v) = -v**2 + 5*v + 8. Let q be 5/((-5)/2) - -3. Let c be (-2 - -10) + (-1 - q). Let g be y(c). Solve -5 - 5 = g*b for b.
-5
Suppose 0 = 3*g - i - 4 - 2, -17 = -2*g + 5*i. Suppose -2*a = z + z - 2, -z = g. Solve -a*d = 2*d - 16 for d.
4
Let q(x) = -32*x. Let b be q(-1). Let o be b - (-3 - -3*2). Suppose -3*r = -7*r - d + 16, 3*r + 5*d - o = 0. Solve 6 = r*z + 15 for z.
-3
Let t(y) = -2*y - 7. Let d be t(-8). Suppose 0 = -2*l + 4*z + 6, -l + 4*z + d = -2*l. Let q be (-1 - (l - -2))/(-1). Solve h + q = -0 for h.
-2
Let f be 15/(-5) - (-5 + 0). Solve -3*q = -q - f for q.
1
Suppose 0 - 4 = -4*i, 0 = 2*n + 5*i - 23. Solve -n = w - 6 for w.
-3
Suppose 0 = -7*f + 2*f - 100. Let q be (-2 - (-9)/6)*f. Let i = -6 + q. Solve 11 = -3*t - i for t.
-5
Suppose 4*v - 102 = 10. Suppose v = 5*t + 8. Solve -4 = -t*w + 4 for w.
2
Let g be 160/24*6/(-4). Let z = -7 - g. Let v = -1 + z. Solve 0 = -v*t - 7 + 1 for t.
-3
Let y = 6 - 3. Suppose 4*f = -y*c + 26, -4*c = 2*f + 16 - 44. Suppose 8*p - 2*t = 5*p + 16, -2*t = 10. Solve c = q + p*q for q.
2
Suppose -4*c - 6 = x, 0 = 2*c - 4*c - 4. Let m(p) = 2*p - 10. Let t be m(7). Let f = -4 + t. Solve f = -v - 0*v - x for v.
-2
Let j be (-24)/(-20)*(-10)/(-3). Let s(h) = -h**3 - 3*h**2 + 2*h - 4. Let l be s(-4). Suppose 0 = -5*g + 2*o + 2, 12 = -l*g + o + 4*o. Solve g*r - j = -0 for r.
2
Suppose 0 = -3*u - 5*w + 55, -3*u - 3*w = -86 + 29. Solve -u = 6*x - x for x.
-4
Let r be (-12)/(-1)*14/21. Solve 5*l = l - r for l.
-2
Suppose 4*g = 3*t + 39, -2*g = 2*t - 5*t - 27. Solve -2*x = -5*x + g for x.
2
Suppose j + 4*j + 50 = 0. Let f = -9 - j. Suppose -f = -3*s + 5. Solve -s*o - o = 0 for o.
0
Suppose -6*k = 2*h - 4*k - 10, h + 3*k - 9 = 0. Solve -h*t - 5 = -4*t for t.
5
Let x = 121 - 115. Solve 5*n - 9 - x = 0 for n.
3
Let m(u) = u**3 - 5*u**2 - 7*u + 8. Let s be m(6). Solve 3*b = -s*b + 10 for b.
2
Let f = -77 + 81. Let h = 9 - 5. Let t = f - h. Solve 0 = 2*m - t*m - 8 for m.
4
Let w(s) = -4*s. Let f be w(-2). Suppose 5*r + 82 = -4*y, -4*y - 16 = 2*r - f*y. Let o be -1*2/(4/r). Solve o = -4*m - 5 for m.
-3
Suppose 0 = -2*b + 2*v + 4, -2 = -b - 2*v + 5*v. Let k be 2*(-2)/(-4)*1. Solve k = z - b*z for z.
-1
Let v(r) = r**2 - 6*r + 5. Let k be v(7). Suppose 0 = 4*x - 8 - k. Let j(c) = -c**3 + 4*c**2 + 5*c + 1. Let a be j(x). Solve -4*w - 19 = a for w.
-5
Suppose 3*c = 5*c - 32. Let h be (c/(-3))/((-2)/6). Let a = -109 + 109. Solve a = -4*m - 0*m - h for m.
-4
Suppose -n = -0 + 2. Let t be n/9 + (-140)/(-63). Solve t*a = 2 + 6 for a.
4
Let c = 6 - 4. Suppose -d + 4 = c. Solve -2*w + 12 = d*w for w.
3
Let w be ((-56)/20 + 2)*-5. Solve w*n = 4 + 4 for n.
2
Let k be 6/15 + -6*4/(-15). Solve k*s = 5*s - 6 for s.
2
Suppose n - 5 = 7. Let i = 17 - n. Let c = 10 + -5. Solve 10 = -i*a - c for a.
-3
Let w = 8 + -4. Suppose -12 = 4*b - 56. Suppose 0 = -5*r + w*j + b, 2*j - j - 13 = -4*r. Solve -r*i = -0 - 9 for i.
3
Let t be (-3)/(-4) + (-1)/(-4). Suppose 3*w - 2 = -o + t, 5*w = -3*o + 5. Solve j = -o*j for j.
0
Let g(s) = -s**3 - 8*s**2 + 9*s + 2. Let i be g(-9). Let z = -1 - -11. Solve 0*l = i*l + z for l.
-5
Let z be (-15)/5 + 4 + 1 + 1. Solve -2*t - 15 = z*t for t.
-3
Suppose -r + g = -4*r - 3, -4*r - 5*g = 15. Solve 2*f - f = r for f.
0
Let c be 0/(3/((-3)/2)). Let y = 3 + c. Solve 4*g + 2 = y*g for g.
-2
Suppose 52 = -3*m - 2*m - 3*c, 4*m + 40 = -2*c. Let q = -4 - m. Solve -k = q*k for k.
0
Let i(r) = -r**3 + 5*r**2 - 3*r + 1. Let b b