f = -18 - -22. Suppose 20 - 1 = n. Suppose -n = 5*k - 54. Solve k = -f*v - 1 for v.
-2
Let h = -116 + 118. Solve -8 = -0*a - h*a for a.
4
Let q(n) be the second derivative of 1/2*n**2 + n + 0 - 1/12*n**4 - n**3. Let k be q(-6). Solve -6 + k = -d for d.
5
Let l be (6/(-2)*1)/(-1). Let p(u) = 4*u + u**2 + l*u - 7 - u. Let k be p(-7). Solve 3 + k = b for b.
3
Suppose 5*f + 33 - 103 = 0. Let p = f - -3. Suppose p = 3*y + 2. Solve -2*u - y = -3*u for u.
5
Let m be (-176)/(-28) + 4/(-14). Suppose m*i = 2*i. Let q be (i + 1)*(-1 + 1). Solve -3*p + q - 15 = 0 for p.
-5
Let r be (8/5)/((-2)/(-5)). Let n(u) = u**3 + 8*u**2 - 9*u + 6. Let y be n(-9). Solve y*i = 2*i - r for i.
-1
Suppose 4*u - 34 = -5*j, 5*j + 2*u - 4 = 28. Let n(z) = z + 10. Let s be n(0). Suppose x - j*x = -s. Solve -2*d + 4*d + x = 0 for d.
-1
Let a(r) = r**2 - 9*r + 11. Suppose -5*o - 3*z = -34, -6*z = -2*z + 8. Let d be a(o). Solve -q = -d + 8 for q.
-5
Suppose 5*f + 2*o - 20 = 16, 15 = 2*f + o. Let a(c) = c**2 - 6*c. Let m be a(f). Solve -3*z = -m + 3 for z.
-1
Let h = 92 - 44. Suppose 0 = -3*z + 11 - 2. Suppose -5*x + 0*x = 0, -z*x = -3*c + h. Solve -3*q = q - c for q.
4
Suppose a - 3*a = 10. Let m = a - -9. Suppose m*o - 2*o = 4. Solve -o*v - 3 = -v for v.
-3
Let f(b) = -b**2 + 5*b - 4. Let j be f(4). Let s = 15 - 7. Let k = 10 - s. Solve j = v - k*v - 2 for v.
-2
Let m = 46 - 38. Solve 2*l - 6*l = m for l.
-2
Let h = 7 + -6. Let c be (h - 2)/(1/2). Let u = c - -4. Solve v - u*v = 0 for v.
0
Suppose z = -4*l + 11, -4*z - 2 + 6 = -4*l. Solve t - 2*t + z = 0 for t.
3
Suppose -4*n + 5*n = 0. Let w be (-2 + 4 + n)*1. Solve -m = -0*m + w for m.
-2
Suppose -7*z + 6 = -6*z. Solve v - z*v = -20 for v.
4
Suppose 0*o + 3*o - 6 = 3*b, 0 = -3*b - 3*o + 18. Solve 2*t - 8 = b for t.
5
Suppose 12*d - 29 - 19 = 0. Solve -4 = -d*w - 0*w for w.
1
Let p(x) = -x**3 + 4*x**2 - 4*x + 2. Let u be p(3). Let g = u - -1. Let t = 15 - g. Solve -o - 4*o - t = 0 for o.
-3
Suppose 2*c = -3*z + 26, 0 = 3*z + z + 3*c - 36. Solve 7*a + z = 4*a for a.
-2
Let p(m) = -m**3 + 11*m**2 - 7. Let l be p(11). Let t = 10 + l. Solve t*o + o - 16 = 0 for o.
4
Suppose 4*r + 20 = -2*k, -2*k - r - 5 = k. Suppose k*c - 10 = -5*c - x, -2*c - 3*x = -4. Solve 3 + c = o for o.
5
Let q(r) be the second derivative of r**4/12 - r**3/6 + r**2/2 + 3*r. Let y be q(2). Solve 11 = -y*u - 4 for u.
-5
Suppose 2*p = -0*m + m + 3, -4*m = 3*p - 32. Let b = 1 - 1. Suppose 4*q = 8 + 8. Solve b - q = -p*y for y.
1
Let t(b) = -b**3 - 5*b**2 - 3*b - 15. Let u be t(-5). Let c = -2 + 8. Solve u = 4*s - s + c for s.
-2
Let q be -1*(2 - (8 - 2)). Suppose -3*i + q = i. Solve -t + i - 6 = 0 for t.
-5
Let y(n) = -2*n - 6. Let u be y(-5). Suppose -g - 4 = -5*l - 3*g, 0 = -4*l + g - 2. Suppose -4*x + l*x = -4. Solve -9 = u*c - x for c.
-2
Let a(c) = 1. Let y(k) = k**2 - 14*k + 3. Let z(g) = 5*a(g) - y(g). Let s be z(14). Solve -8 - s = 2*n for n.
-5
Let t(a) = -a**3 - 5*a**2 + 5*a - 6. Let q = 15 - 21. Let n be t(q). Solve -3*m = -n*m for m.
0
Let t(x) = -x**3 - x + 2. Let g be t(0). Solve -g = -3*b + 1 for b.
1
Suppose 3*u - 4*t + 16 - 44 = 0, -4*t + 100 = 5*u. Let a = -16 + u. Solve -o - 4 + 5 = a for o.
1
Suppose -2*v = 7 + 5. Let j be (9/v)/((-1)/2). Suppose w = -j*w. Solve w = -0*p + 5*p - 25 for p.
5
Suppose 0 = 2*q - 115 + 19. Let o be (-2)/7 - q/(-21). Solve -f + 9 = o*f for f.
3
Let w = 73 - 69. Solve -2*y = -w*y for y.
0
Let m(w) = 7*w**3 - 4*w**2 + 2*w + 2. Let c(l) = 15*l**3 - 8*l**2 + 4*l + 4. Let y(h) = 6*c(h) - 13*m(h). Let g be y(2). Solve 4*v - 6 = g*v for v.
3
Let d be (-12 - -9)/(6/(-4)). Suppose -d*r = 2*s - 26, 0*r + 3*s + 9 = 3*r. Solve -3 = -y - r for y.
-5
Let l be 2*1 - 2/(-1). Suppose 5 + 3 = 2*b, 3*b = 2*m + 12. Solve -w + l*w + 9 = m for w.
-3
Let u = -9 - -9. Suppose 4*s - s = u. Let f(r) = -4*r - 4. Let t be f(-5). Solve 4*b = -s + t for b.
4
Suppose -z + a - 24 = 0, 2*a + 3*a + 6 = -z. Let k = z - -23. Solve 3*y + k - 8 = 0 for y.
2
Let v be 14/6 - (-1)/(-3). Let k = -38 - -26. Let d = k - -20. Solve 0 = -v*x - 0*x + d for x.
4
Let y be (-45)/(-10) - (-3)/(-6). Solve -y*v + 3 = -3*v for v.
3
Let i(w) = -2*w. Let p be i(-1). Suppose -p*u + 5 = 1. Suppose -11 + 1 = -u*j - 4*v, -4*v = -4*j + 20. Solve 0 = -j*n - 4 + 9 for n.
1
Suppose f + 0*f - 20 = 4*l, 4*f + l + 5 = 0. Suppose 4*m - 12 = -f*m. Solve q - m = -5 for q.
-2
Let h be 6/(-5)*(-25)/10. Suppose -p + 1 + h = 0. Solve 0 = -d - p for d.
-4
Let y = 24 + -17. Suppose -p = 4*i - 7 - 16, 4*p = 4*i - 8. Suppose 0 = i*m - y - 28. Solve 2 - m = l for l.
-5
Let c = 14 - 10. Suppose 0 = -0*q - c*q - 2*p - 2, 3*p + 3 = 3*q. Solve q = 2*o - 7*o + 5 for o.
1
Let r = 1 - -1. Suppose 0 = r*y - 4*y + 6. Suppose 2*j = -y*j. Solve 12 = -3*t - j for t.
-4
Let r = 4 - 1. Solve 0 = -2*m - r*m + 20 for m.
4
Suppose -2*x - 2*x - 19 = k, 5*k = x + 10. Solve 4*z - k + 5 = 0 for z.
-1
Let o be ((-6)/12)/(2/8). Let x be (-4 - o) + (-4)/(-1). Solve -5*l = -x*l - 9 for l.
3
Let f(p) = p**3 - 5*p**2 + 3*p - 1. Let k be f(3). Let v be (-1)/(-2) - 25/k. Solve 2*h - 5 = -v*h for h.
1
Suppose -m - 3*d = -7*d - 11, -2*m = d - 4. Let z = -3 + m. Solve 0*x + 3*x = z for x.
0
Let o be 2/(((-15)/3)/(-20)). Solve -g = g - o for g.
4
Let o(r) = r - 3. Suppose 2*i - 4 = l - 2*i, -5*l = -2*i - 16. Let f be o(l). Let k = f - 1. Solve -z = -k*z for z.
0
Suppose f - 5*f + 24 = 0. Let p be (-1)/3 + 2/f. Solve -x - x - 10 = p for x.
-5
Let w be 5*(0 - 0 - -1). Let m = w - 5. Solve -2*y - 6 = -m*y for y.
-3
Suppose -6*u + 40 = 10. Solve u*k + 4 = 9*k for k.
1
Suppose s = 2*o + 3, -3*s + 32 = 5*o + 12. Suppose -h = -3*c + 8, 5*c + s*h = 2*h - 10. Let m = 3 - c. Solve 0 = -2*d - m*d - 12 for d.
-3
Suppose 2*u = 3*b - 2*u - 29, -6 = 3*b + 3*u. Solve -6*o + b*o = 0 for o.
0
Suppose -4*m + 2 = 10. Let u = m - -8. Solve -f = -u*f for f.
0
Suppose -5*z + z = 0. Let q = z + 4. Solve -q = -3*p - p for p.
1
Suppose 3*f - 26 = -4*o, -3*f + 4*o + 32 = 2*o. Let m be 16/20*(-25)/(-2). Let b(d) = -d**2 - 6*d - 4. Let x be b(-4). Solve -m = x*s + f for s.
-5
Let i(d) = -d + 3. Let r be i(0). Let f be 572/28 - r/7. Suppose 0*o = -4*o + f. Solve -o = -w - 0*w for w.
5
Let k(g) = -g + 3. Let w be k(5). Let r be -2 + 3 - (-3 - w). Solve 3 = -r*b + 5*b for b.
1
Let b(o) = -o**2 - 8*o - 4. Let m be b(-7). Let t be 18/8 - (-1)/(-4). Suppose t*l = -5 + 19. Solve m*k = -l + 1 for k.
-2
Let o(l) = l**2 + 6*l - 4. Let a be o(-5). Let i = a + 0. Let t be (-1)/((-6)/i - 1). Solve -f = -t*f for f.
0
Let i be 2 + 1 + 0/1. Solve 0 = i*q - 8 + 5 for q.
1
Let m = 8 + -6. Suppose -w = -m - 1. Solve 2 = -4*z + w*z for z.
-2
Let i be 1/(7/(-2) - (-4)/1). Solve -o = i - 0 for o.
-2
Let z(d) = -d**2 - 5*d - 4. Let y be z(-3). Suppose -y*n = 4*f + 2*n + 4, -2*n = 3*f - 1. Solve -f*o - 16 = -1 for o.
-5
Let i(s) be the first derivative of -s**2 + 8*s - 3. Let v be i(8). Let x be 4/(6/v - -1). Solve -3*h = h + x for h.
-4
Suppose -3*i + 1 = -0*i + q, -1 = 5*i - q. Suppose -4*r + 108 = -i. Let s be (2 + 3)/(0 - -1). Solve s*x - r = -2 for x.
5
Suppose -2 = -l + 1. Solve -2*w - l*w + 20 = 0 for w.
4
Let m = -96 + 96. Solve m = r + 3*r + 16 for r.
-4
Let n be ((-4)/18)/((-9)/81). Solve 0*a = n*a for a.
0
Let o be ((-2)/(-5))/((-4)/20). Let r = o - -2. Let g be (-4)/4 - (r - 1). Solve g = -x + 3*x for x.
0
Let u(a) = a**3 - 4*a**2 + 3. Let p be u(4). Suppose 5*f - p*f = 0. Solve -4*o + o - 3 = f for o.
-1
Suppose -4*s = 0, l = -0*l + 5*s. Solve -2*w + w = l for w.
0
Let f = 49 + -43. Solve -f = -5*c + 9 for c.
3
Let b = 62 - 59. Solve b + 2 = -5*j for j.
-1
Let s be 1*-4 + 5 + -1. Suppose -5*k - 6 = 3*d - 31, s = 2*k - 2*d + 6. Solve a = k*a for a.
0
Let g = 19 + -16. Suppose 3*a = 9, -3 = -z + g*a - 8. Solve 11 = z*y - 5 for y.
4
Let q(u) = u**3 + 17*u**2 - 39*u - 18. Let g be q(-19). Solve 5 = 2*z + g for z.
2
Let l = 102 - 96. Solve 5*d + l = 3*d for d.
-3
Let h(m) = 5*m - 2. Let u be h(2). Suppose 0*z = 4*z - 8. Suppose 3*y = -2*i + 10, -4 = 5*y + z*i - 14. Solve y = 3*k - k - u for k.
4
Suppose -x - 26 = 3*x - 5*m, 0 = 4*x + m + 14. Let y be ((-10)/x)/(10/8). Solve 0 = y*r - 7*r for r.
0
Suppose 0 = -a - 2*a + 9. Let v be ((-1)/((-3)/a))/(-1). Let h = 1 + v. Solve -z + 1 = -h*z for z.
1
Let b(n) = 2*n + 30. Let t be b(-13). Solve t - 2 = 2*u for u.
1
Let 