= -o + 1. Let v be z(1). Suppose v*u - 8 = -4*u. Let d be u/(-5)*(0 + -15). Solve d = -q - 2*q for q.
-2
Suppose 4*x - 4*d = -3 - 1, -2 = 5*x - 2*d. Let k(i) = -i**2 + 12*i - 10. Let r be k(10). Let f = x + r. Solve -3*u = 2*u - f for u.
2
Let n = 126 - 124. Solve -2*a + 0*a = n for a.
-1
Let w be (-3)/2*(-28)/21. Solve 4*k = w*k + 10 for k.
5
Suppose -40 = -g - 4*g. Let c = g + -7. Solve 4 = q + c for q.
3
Let v(d) = 7*d - 3. Let q be v(2). Suppose -3 = 2*s - q. Solve -g + s = 3*g for g.
1
Let j = -7 - -6. Let h = j + 2. Solve f + 3 = h for f.
-2
Let q = -33 + 23. Let i(d) = d**3 + 9*d**2 - 11*d - 10. Let a be i(q). Solve t + 2*t - 6 = a for t.
2
Suppose 4*c = 3*d + 6, 5*d - 11 = c - 4. Let a(n) be the third derivative of n**5/15 + n**4/24 - 2*n**2. Let s be a(1). Solve -d*h = -h + s for h.
-5
Suppose -2*a + 47 = p + 2*p, -2*a = 10. Let r = p - 18. Solve 4 = m + r for m.
3
Let c(b) = b**3 + 9*b**2 - b - 6. Suppose 16 = -4*d + 4*u, 5*u + 52 = -3*d - 0*u. Let r be c(d). Let w = -13 - -26. Solve -r*o = -w - 2 for o.
5
Let k(u) = 2*u**2 - 3*u + 2. Let b be k(2). Suppose -q = -b*q + 15. Let w(f) = 16*f**2 + f + 1. Let i be w(-1). Solve h - i = q*h for h.
-4
Let b(r) = r**3 - 5*r**2 - 2*r + 12. Let i be b(5). Solve i = -q + 1 for q.
-1
Let l be (1 + 3)*(-9 - -10). Solve -2*k + k - l = 0 for k.
-4
Suppose -f = 3*f. Let a = 4 - 1. Let s(z) = 2*z - 21. Let u be s(14). Solve i + a - u = f for i.
4
Let x(w) = w**2 - 10*w + 10. Let d be x(9). Solve -l = -2*l + d for l.
1
Suppose 0 = -r - 3*o + 59, 0*o - 2*o = r - 55. Suppose 2*w = 7*w + 2*n - 131, 2*w - n = r. Suppose 0 = 4*d - 21 - 19. Solve -3*i - w = -d for i.
-5
Suppose -o + 2 = -0*o. Let n be (2 - 2) + o + -1. Solve 2 - n = h for h.
1
Let t be (-4)/(-3)*36/16. Suppose 0 = -t*v - 1 + 13. Solve -v + 0 = -s for s.
4
Let p be 2/4 - (-10)/4. Let j(t) = -2*t**2 - 2*t + 2. Let l be j(-2). Let o(h) = -2*h - 2. Let m be o(l). Solve 0 = p*x + m*x + 20 for x.
-4
Suppose 2*b - 5*b - 12 = 0. Let l(c) = -2*c + 9. Let o(w) = w - 5. Let f(k) = b*l(k) - 7*o(k). Let p be f(6). Solve -p*x - 5 = -0 for x.
-1
Let q = -16 - -17. Solve -q = 4*k + 7 for k.
-2
Let x = 31 + -17. Let d(m) be the second derivative of m**3/2 - m**2/2 - 2*m. Let g be d(2). Solve g*c - 6 = x for c.
4
Let o(v) = -v**2 + 7*v - 4. Let n be o(5). Solve -2*h - n = 4 for h.
-5
Let c(h) = -2*h**2 + 4*h**2 + 2 - h**2 + 7*h. Let d be c(-6). Let w = -3 - d. Solve 11 = -5*o + w for o.
-2
Suppose 7 = -2*r + 31. Let z be (-1)/3*-1*15. Suppose 2*c + 3*b = z, -c + 2*b = -2*b - 8. Solve 4*f + c + r = 0 for f.
-4
Let p(f) be the first derivative of -3*f**2/2 - f - 2. Let i be p(-1). Suppose s - 6 = -s - i*b, -5*b = 10. Solve 3*j - s = -2 for j.
1
Let s = -24 + 32. Suppose 3*z + 2*z - 11 = -2*l, 5*z - 2*l - 19 = 0. Solve s = -q + z*q for q.
4
Let y = -28 - -30. Solve -7 = 5*n - y for n.
-1
Suppose 9*n = 13*n - 12. Solve n*t + 8 = t for t.
-4
Let w be 4 - ((-3)/1 + 1). Solve w*x - 5 = x for x.
1
Let m(a) = a**2 - 10*a + 13. Let q be m(9). Solve q = -2*k + k for k.
-4
Suppose -4*g = 4*s, 3*s = -7*g + 12*g - 16. Let f be (-14)/(-4) - (-2)/4. Solve -f*o - 8 = -g*o for o.
-4
Let m = -69 - -72. Solve -c = m*c for c.
0
Let r(q) = q**2 + 3*q - 6. Let i be r(2). Solve -u = i*u + 15 for u.
-3
Let n be 2 - 25/(-20) - (-1)/(-4). Solve -3*y + 3 = -n for y.
2
Let x(f) = f**2 + 5. Let d be ((1 - 1)/1)/1. Let g be x(d). Let r = 8 - g. Solve -4*v = r + 5 for v.
-2
Let p = -5 + 8. Let h = -20 - -40. Let q be ((-30)/(-25))/(6/h). Solve -5*j + q = -p*j for j.
2
Suppose 2*s = 3 + 1. Suppose 4*u = g + 69, -4*g = -5*u + 56 + 22. Let i be u - (-2)/(2/s). Solve 4*h - i = -0*h for h.
5
Suppose 0 = -4*z + 2*a, -2*z - 3*a = -0*z. Solve z = -4*i + 5*i for i.
0
Let u = -1 + 1. Solve u*d - 4*d = -20 for d.
5
Let v be 1/1*(3 - -1). Suppose -s - 14 = -v*s - y, 10 = 5*s + 5*y. Let m be 38/s + 1/(-3). Solve 3*k + 9 = m*k for k.
3
Let z = 11 + -1. Solve 2*h + z = -3*h for h.
-2
Let l be -3 - (-5*(1 - -1) - -3). Solve -l*c + 20 = -9*c for c.
-4
Let w be (0 - 4) + -1*1. Let v(s) = -4*s**2 - 5*s + 7. Let o(c) = 7*c**2 + 10*c - 13. Let y(j) = -3*o(j) - 5*v(j). Let q be y(w). Solve -t = t - q for t.
2
Let p(o) = 3*o + 10. Let r(h) = -h. Let j(z) = p(z) + 2*r(z). Let u be j(-7). Solve -3*a = -2*a + u for a.
-3
Let c(m) = -m**2 + 9*m. Let v be c(9). Suppose v = o + 2*b - 13, 4*o + 6*b - 58 = 4*b. Solve -o = 6*n - n for n.
-3
Let h(v) be the second derivative of -v**5/20 - v**4/3 + v**3/2 - v**2 + 3*v. Let u be h(-5). Let q = u - 3. Solve 3 = -q*f + 8 for f.
1
Let w(g) = -2*g - 2. Let v be w(-2). Suppose -4 = 5*t + k, 4*t + 16 = -0*t - 4*k. Solve t = v*q + 3*q + 20 for q.
-4
Suppose -13 = -8*m + 3. Solve -20 = m*i - 6*i for i.
5
Let z be (24/30)/((-2)/(-10)). Solve -z*q - 3 = -q for q.
-1
Suppose 4*r = v + 2*v - 28, 12 = v - 2*r. Solve -2*q = -6*q - v for q.
-1
Let t be 34/6 - 4/6. Let f(r) be the second derivative of -r**5/20 - 3*r**4/4 + 4*r**3/3 - 3*r**2 - r. Let u be f(-10). Solve t*v - 6 = u for v.
4
Let a = -27 - -47. Solve 7*n - 2*n - a = 0 for n.
4
Let z(q) = -q**2 + 12*q + 4. Let a be z(12). Suppose 3*v - a*l - 4 = 0, 0 + 5 = l. Solve -3*h + v = -1 for h.
3
Let z be (-15)/(-1) - (0 - -2). Suppose m - 40 + 5 = -4*b, -z = -2*b - 5*m. Solve -3 = -4*d + b for d.
3
Suppose 2*h = 2*x + 6*h + 26, 20 = 4*h. Let u be x/(-6) - (-2)/12. Solve u = 2*c - c for c.
4
Let j(q) = q**3 - 2*q**2 - 2*q - 1. Let l be j(3). Suppose l*a + 0*d - 5 = -d, -d - 1 = -a. Solve 8 + a = -5*h for h.
-2
Let f = -10 - -22. Let a be 40/f - (-6)/9. Solve 9 = -a*r - 3 for r.
-3
Let y(m) = -4*m - 1 - m**2 + 6*m + 3*m**3 - 2*m**3 + 2*m**3. Let w be y(1). Solve 0*g = -w*g for g.
0
Suppose -13*b + 9*b = -36. Solve 1 = -2*p + b for p.
4
Let r be (0 - 0)*(-2)/4. Let g(d) be the third derivative of -d**4/24 + 4*d**3/3 + d**2. Let v be g(6). Solve 6*u - v*u - 16 = r for u.
4
Suppose 4*l = 3 + 5. Solve l*k - 3*k = 5 for k.
-5
Let l be 1*(-7 + 2) + 8. Solve 3*a = l - 12 for a.
-3
Suppose 4*w = 76 - 32. Solve -1 = -2*f - w for f.
-5
Suppose 3*n = 2*b - 11, -4*b - 3*n = -3*b - 19. Solve 9*m - 4*m = -b for m.
-2
Suppose t + 1 - 3 = 0. Let d be (t*2)/((-2)/(-5)). Let o = -10 + d. Solve o*q - 5*q = 25 for q.
-5
Suppose -12 = -5*u + 13. Solve -a = -0 - u for a.
5
Let z be (1 - -1) + 13/((-91)/(-21)). Solve 3 = -4*f - z for f.
-2
Let a(t) = -t**2 + 11*t + 14. Let w be a(12). Suppose 0 = 5*o + 5*x - 15, 3 = -x + w*x. Solve o*n - 3*n = 0 for n.
0
Suppose -2*f - 5 = 3*o - 0, -f + o + 5 = 0. Suppose 3*g - 19 = -5*v + 18, 1 = -g + v. Suppose -f*x - 11 = -3*k, 9 = 4*k - x - g. Solve -k*a + 7 - 1 = 0 for a.
2
Suppose 2*k - 4*k + 34 = 0. Let h be k/5 - 14/35. Solve 6*r - 6 = h*r for r.
2
Let p(r) = -r**3 - 4*r**2 - 4*r. Let m be 32/112 + (-46)/14. Let b be p(m). Solve 0 = -8*l + b*l + 15 for l.
3
Suppose 8 = 5*m - 2. Suppose -3 = v - m*v. Suppose -3*j + 4*a + 0*a = 0, -v*j - 4*a = 0. Solve j = 4*h + 1 + 3 for h.
-1
Let v = -5 + 11. Suppose a + v = 4*a. Solve a*r + 3*r = -15 for r.
-3
Let x(a) be the first derivative of a**3/3 + a**2/2 + a + 1. Let q be x(-1). Suppose -2*f + 3*v + 22 = -7, 0 = -f + 5*v + 25. Solve -f = 3*s - q for s.
-3
Let s(g) = g**2 - 10*g - 1. Let i be s(9). Let m = i + 14. Suppose -q - m*q = -20. Solve c = 5*c + q for c.
-1
Let v = 15 + -7. Suppose 4*h + v = 3*l, 0*l - 3*l = h - 13. Solve -l*u = -7*u for u.
0
Let f = -22 - -32. Solve -4*u = u + f for u.
-2
Let x be (6/4)/(10/4 - 2). Solve x*g = -0*g for g.
0
Suppose 5*z - 2*z = 0. Solve 5 = -q - z*q for q.
-5
Let b be (-3 - -2)*-1*0. Let k be (1 - b)/((-2)/(-18)). Solve 0 = g + 2*g - k for g.
3
Suppose 5*u = -0 + 30. Let x = 9 - u. Solve 20 = 2*t + x*t for t.
4
Suppose 4*p + 49 = 5*r - 22, 33 = 2*r + 3*p. Let n = 18 - r. Solve 0 = 3*m + 3 + n for m.
-2
Suppose 5*c - 15 = -2*z, 3 = 5*z - z + c. Solve z*w = -2*w + 4 for w.
2
Suppose -4*o = 1 - 9. Let u = 5 - o. Solve u*k + 11 = -1 for k.
-4
Let h be (-6)/(-4)*(-20)/(-2). Suppose 11*m - 6*m - 5*l = h, 4*m - 6 = 2*l. Solve -6 = -3*j - m*j for j.
2
Suppose 3*a = -2*a + 15. Solve a*x - 2*x = -2 for x.
-2
Let l(r) = -r**3 + 7*r**2 - 9*r + 3. Let i be l(6). Let x be (-12)/(-16)*(1 - i). Solve 0*u = 3*u + x for u.
-4
Let i(d) = -d**2 + 4*d - 3. Let b be i(1). Solve -3*j + 1 - 16 = b for j.
-5
Suppose 4*i + k - 15 = -2*k, 4*k + 8 = 4*i. Suppos