 + 1 + 4 = t for n.
5
Let r = -4 + 4. Solve r = -4*o - 1 - 19 for o.
-5
Let h(l) be the first derivative of 7*l**4/2 + l**2/2 - 1. Let c be h(1). Suppose a = -2*a + c. Solve j + 0*j = -a for j.
-5
Let n = 6 + -22. Let i = -8 - n. Solve -i = -5*v + 2 for v.
2
Let b = 3 - -1. Suppose 3*k - 7 = -5*u, -k - 3*u + 8 = 3. Let f = b + k. Solve -2*p - p + f = 0 for p.
1
Let n be 14/21 - 32/3. Let h be 10 + (-1 - -1)/2. Let k = h + n. Solve -4 = -k*y + 4*y for y.
-1
Let y be 0 + (-3)/(3/(-5)). Solve -y*f = -4*f - 4 for f.
4
Suppose 0 = -5*a + 2*a + 15. Suppose -4 = 3*v - 40. Solve -a*g + g - v = 0 for g.
-3
Let z be -3 - (4/12)/(1/(-21)). Solve z*s - 15 = s for s.
5
Let n(k) = -k**2 + 7*k + 6. Suppose i + 4*i + 30 = 0. Let f = 1 - i. Let z be n(f). Solve 2 = -2*a - z for a.
-4
Let q = -3 + 12. Suppose 4*a + 5 + q = 2*o, 4*a = o - 11. Solve 3 + o = 2*l for l.
3
Let g = -18 - -19. Solve 3*t + g = -8 for t.
-3
Suppose z = -3*z + 20. Let r = -17 + 41. Suppose -c - r = -z*c. Solve b - c*b = -10 for b.
2
Suppose 12 = -0*v + 3*v. Suppose -4*x + 20 = q, 0 = q + 3*x - 17 + 1. Solve v = -q*g - 0 for g.
-1
Let g be 0 + -3 + -5 + 12. Suppose -7*w + 3*w = g*k + 4, 4*k + w + 1 = 0. Let r(j) = -3*j. Let t be r(-1). Solve 2*x + x + t = k for x.
-1
Suppose 13 = 4*i - 7. Suppose -o = 2*o + i*y - 11, -2*y = -o + 11. Solve -o - 13 = 4*m for m.
-5
Suppose -3*k + 8*k = 0. Let a be k + (0 - -3) + 0. Solve -3*q = -4*q - a for q.
-3
Suppose 3*p = x + 1, p + 3*x - x + 2 = 0. Suppose 4*t + 2*g = 3*g + 32, -4*t - 3*g + 32 = 0. Suppose p = 5*y - t - 7. Solve y*c + 6 = -6 for c.
-4
Suppose 3*o - 2*n - 62 = 0, -o + 6*o - 105 = 5*n. Let b be (0 + 10)*8/o. Let x = -7 + 13. Solve b*r - x = -18 for r.
-3
Let b be (-26)/65*-5*1. Solve b*t + t + 6 = 0 for t.
-2
Let l be (-5)/2*(-120)/50. Suppose z = l*z. Let k(y) = y + 3. Let q be k(-3). Solve -3*d + q*d - 3 = z for d.
-1
Let a be (-20)/(-25) + 2/10. Let r be a + 0 - (1 - 0). Solve r*p + 25 = 5*p for p.
5
Let o(z) = 5*z**2 - z - 1. Let f be o(-1). Suppose -2*n = 3*t, -n = -0*n + f*t. Suppose n = 2*a - 3*a. Solve -2*r - 1 + 5 = a for r.
2
Let z be (3/5)/(2/60). Suppose q - 3*t - 12 = 0, 5*q - 3*q - 3*t = z. Solve x + x = q for x.
3
Let t(r) = -r**3 + 7*r**2 - 7*r + 9. Let d be 8/6*(-27)/(-6). Let u be t(d). Solve -20 = -u*p - 2*p for p.
4
Let c(x) = -2*x**2 + 16*x + 23. Let n(a) = -a**2 + 8*a + 12. Let t(j) = -4*c(j) + 7*n(j). Let y be t(9). Let u be (3 - 2)*4 - y. Solve q = u*q for q.
0
Suppose 3*z - z - 2*l = 16, 5*z - l = 24. Let q be (-1 - -3)/(-3 + z). Solve 3*j + q*j + 10 = 0 for j.
-2
Let t(d) = 2*d**3 - 2*d**2 - 2*d. Let z be 6/(-10) - 26/(-10). Let c be t(z). Suppose 0 = -c*g + 16, 2*l - 4*g + 20 = g. Solve -4 = -v - l for v.
4
Suppose 24 = 3*z + 12. Solve 0 = -0*n - z*n - 4 for n.
-1
Let u = -6 - 4. Let a = u - -13. Solve 3*h = -0*h - a for h.
-1
Let p be (-4)/(-6) + 22/3. Suppose 0*v - p = -2*v. Suppose w - 2*d + v*d = 5, -3*w = -3*d - 6. Solve q + 0 = w for q.
3
Let n = -5 + 3. Let z be -2*1/(-3 - n). Suppose 3*j - 1 = z. Solve c + j = -1 for c.
-2
Let p = 4 + -4. Suppose -3*t + 4 = 2*n - p, t + 8 = 4*n. Solve -5*u + n*u + 3 = 0 for u.
1
Let a(k) = -k - 3. Let d be a(-11). Let o = 31 + -21. Suppose 3*f - t - 14 = d, 5*t - o = 0. Solve -8 = -4*z + f for z.
4
Suppose -3*y - 19 - 2 = 0. Let q(v) = -v**3 - 7*v**2 - 2*v - 10. Let p be q(y). Solve -w + p*w = 0 for w.
0
Suppose 52 = 2*w + 4*d, 0*w - 5*w - d + 139 = 0. Solve w = 5*v + 8 for v.
4
Suppose -2*l = 3*a + 7, -l - 4 = 3*a - a. Let m(b) = 4*b**2 + b + b + b + b**3. Let p be m(l). Solve -2 - p = -2*t for t.
2
Let m(b) = b**2 - 12*b + 36. Let h be m(8). Solve -h*j = -0*j + 16 for j.
-4
Let k = 42 + -32. Solve 0 = 4*q - k + 2 for q.
2
Suppose 161*h = 156*h + 15. Solve -4*a = -h*a + 3 for a.
-3
Suppose 8*z - 3*z = 30. Let f = -6 + z. Solve -4*b + 3*b = f for b.
0
Let l be (-67)/(-5) + 4/(-10). Suppose 0 = -3*q + 5*d - d + 1, 0 = q + 5*d - l. Suppose -5*w = -4*m + 3, -3*w + 11 = q*m + 2*w. Solve -4*t = -m - 14 for t.
4
Let t(v) = v**2 - 3*v - 7. Let j be t(5). Suppose 0 = -2*h + j*h. Solve h = -k + 2 + 2 for k.
4
Suppose 0 = 4*g - 5*g. Suppose g*l = -l + 6. Let q = 9 + -6. Solve 0 = q*c + 3 - l for c.
1
Suppose 5 = 3*a + 2*p, -4*a = -3*a - 3*p - 20. Solve -a*i - 16 = -i for i.
-4
Let i = 75 - 73. Solve 16 = 2*s + i*s for s.
4
Let j be (-1)/3 + (-7)/(-21). Suppose 12 = l - 4*l, t - l - 8 = j. Suppose 5*d - c - 19 = 0, 5*d - 4*c = -2*c + 18. Solve -t*p - d = -0 for p.
-1
Let b(x) be the third derivative of -x**4/8 - x**3/6 + 4*x**2. Let j be b(-2). Solve 0 = -k + j for k.
5
Let g be 42/56 - (-10)/8. Solve -f + 4 = -g*f for f.
-4
Let s be 4 + (-3 - (-2 + -2)). Solve 0 = -s*m - 17 - 8 for m.
-5
Let l = 6 + -5. Let p(o) = o**2 + 6*o. Let w be p(-6). Suppose w*r = -4*r + 5*y + 20, 2*y + 22 = 3*r. Solve -3*i - l = -r for i.
3
Let g(h) be the first derivative of -h**3/3 - h**2/2 + 9*h - 1. Let x be g(0). Suppose 0*n + 1 = -3*n + p, 18 = 2*n + 4*p. Solve 5*s - n = x for s.
2
Let u(j) = -j - 4. Let c be u(-6). Let w be (-2)/3 - 4/(-6). Suppose w = 2*v + 2*v. Solve c*d = -2 - v for d.
-1
Let w = -2 + 7. Suppose -5*v = 5, -m + 2*m - 2 = -4*v. Solve 1 = w*s + m for s.
-1
Suppose -6*z + 14 = -22. Solve -2*y - y = z for y.
-2
Suppose 2 - 6 = -2*z. Solve 0 = r + z for r.
-2
Suppose 0 = -4*j + 2*j. Let s(u) = u**2 - u + 8. Let t be s(j). Suppose 0 = 4*i - 32 + t. Solve i*z - 20 = z for z.
4
Let w(j) = j**3 - 7*j**2 + 7*j + 2. Let o be w(6). Let t(r) = r - 3. Let a be t(o). Solve -c = 4*c - a for c.
1
Suppose -b - 1 = -4. Let n(k) = -k - 8. Let r be n(-8). Solve -o + b*o + 6 = r for o.
-3
Suppose -5*d + 4 = -d. Let g(n) = -11*n**2 + n. Let r be g(d). Let k be 2 + 0 + (-8 - r). Solve -2*u + 12 = k for u.
4
Suppose 4*v - 3*z - 47 = 0, 0*v = -5*v - 2*z + 30. Solve -v - 1 = 3*y for y.
-3
Suppose -4*j + 15 = -5. Solve 0 = j*o - o - 20 for o.
5
Suppose -13 = l - 3*m, 0*l - 2*l + 2*m - 6 = 0. Solve -3*c - 20 = l*c for c.
-4
Let k = -55 + 58. Solve 4*z + 1 = k*z for z.
-1
Let c be (2 + (-7)/2)*-2. Solve m + c*m = -12 for m.
-3
Suppose 2*s - 6 = -16. Let i = s + 7. Solve -15 = -i*x + 5*x for x.
-5
Let n = -54 + 54. Solve n = 3*d + d - 20 for d.
5
Suppose -4*b + 32 = 4*p, p - 20 = -2*p - b. Let o = 5 + -3. Solve p*k = o*k + 4 for k.
1
Suppose 0 = 5*g - 2*j - 12, 3 - 1 = -g - 4*j. Suppose 3*x = -3*u - 6, -5*u + 4*x + 21 = 4. Solve c + u = -g for c.
-3
Suppose 3*v + 2*v + 140 = 0. Let o be v/(-3) - 10/(-15). Suppose 3*l - o + 1 = 0. Solve -7 = 4*w - l for w.
-1
Suppose 0 = -5*l - 2*a - 1 + 6, a - 4 = -3*l. Solve -4*j - l = -7*j for j.
1
Let w = -19 + 27. Solve 3*c - 1 = w for c.
3
Suppose 0 = -0*l - 3*l + 15, 4*k + 25 = 5*l. Suppose -3*x - 5*d + 28 = 0, 3*x = -x - 2*d + 14. Solve k*v + x = -v for v.
-1
Suppose 2*q = -0*m + m + 13, 2*m = -4*q + 6. Solve q*c + 16 = -0*c for c.
-4
Suppose -3*r + 5*r - 6 = 0. Let n(m) = m**3 + m**2 + 6. Suppose -6*j = -j. Let c be n(j). Solve r*h = c*h for h.
0
Suppose -2*g = -5*u + 4, -4*u = g + g - 14. Solve j = -u + 1 for j.
-1
Suppose -4*a = 5*d, a - 11 - 6 = 3*d. Suppose 4*c = a*x - 8, 3*x + 5*c + 5 = 8*x. Solve -x*l + 2*l = 0 for l.
0
Let j(y) = -y**3 - 11*y**2 - 11*y - 8. Let q be j(-10). Let t be (52/6)/(q/3). Suppose r = -s + 4*s - t, -4*r = 4*s - 44. Solve -2 = v - s for v.
4
Suppose 0 = 5*c - 2*c - 24. Let t = c + -8. Solve t*d = 3*d + 12 for d.
-4
Suppose 4*y - 5*d - 30 - 11 = 0, 4*y + 3*d - 1 = 0. Let b = 7 - 7. Solve b = -y*l + l - 15 for l.
-5
Let s(d) = d**3 - 5*d**2 + 4*d + 1. Let n be s(4). Let u be 6/9*(25 - n). Suppose -3*g + u = j - 3*j, 3*g = -j + 10. Solve -7 = -g*v + 5 for v.
3
Let n(u) be the second derivative of -u**5/10 - u**4/6 + u**3/2 + u**2 + 6*u. Let w be n(-2). Solve -w*r - 20 = -8*r for r.
5
Suppose 30 - 33 = -i. Let l = 9 - -9. Let n = l - i. Solve 0 = w - 6*w - n for w.
-3
Suppose u - 2*m - 17 = 2*m, 5*u + 5*m = 85. Suppose 5*s - 3*a - 23 = 0, 2*a - 1 = -5*s + u. Let q = 7 - s. Solve -2*i + q*i = 2 for i.
2
Let u(h) = 8*h**2. Let y be u(-1). Solve 2*b + 0*b - y = 0 for b.
4
Let b be -3*4*1/(-3). Suppose b*m - 2*y - 4 = 0, -m = 4*m + 3*y - 16. Solve -6*c = -m*c + 12 for c.
-3
Let w be 12/(-42) + (-74)/(-14). Solve 0 = -2*i + w*i for i.
0
Let w = -22 + 37. Let i = w - 13. Solve -1 = -i*o + 3*o for o.
-1
Suppose n - 4*n = 15, 2*q + n - 1 = 0. So