Let o = -26 + 29. Solve o = 4*d + 7 for d.
-1
Let f be (-160 - 2)*(-4)/(-6). Let k be ((-3)/(-6))/((-2)/f). Solve -7 = 4*g - k for g.
5
Let x = -3 + 12. Let p be -1 + 2 + 3 + 1. Suppose p*k - 9 = -4. Solve 4*r + k = x for r.
2
Suppose 3 = -v - 2. Let d = -2 - v. Let q be 1 - d/(2 + -5). Solve 0 = u + 1 + q for u.
-3
Let u = -34 + 40. Solve t = u*t for t.
0
Suppose -30 = -2*n + 2*g, -6 = -2*g + 4. Solve 4*r + n = -r for r.
-4
Let o = -2 - -2. Suppose -3*t + t + 6 = o. Solve -t*a + 3 = -0*a for a.
1
Let l(m) = m**2. Let q be l(-3). Suppose 2*w - q = -w. Solve -4*h = 17 + w for h.
-5
Suppose -7*n + 6*n = 0. Let j(b) be the third derivative of -b**4/12 + 2*b**3/3 - b**2. Let s be j(-3). Solve g - 3*g - s = n for g.
-5
Suppose -31 = 4*j - 5*u - 0*u, 4*j = -u - 37. Let l = 16 + j. Solve l = -2*x - 1 for x.
-4
Let n be 6/4 - (-3)/12*18. Solve -2*o = -4*o + n for o.
3
Suppose 2*t = -t + 48. Let x = -9 + 9. Let r = x - -2. Solve 0 = r*q + 2*q + t for q.
-4
Suppose 5*i - 70 = -2*q, 4 - 18 = -i - q. Suppose -3*m + i = -16. Solve 2*t = -0 - m for t.
-5
Suppose 0 = 2*h + 4*g + 24, -h - 4*g + 0*g - 22 = 0. Let m be 1/(3/12) - h. Solve 0 = 3*t - t + m for t.
-3
Suppose -5*i - 1 - 3 = -2*v, 0 = -5*i - 20. Let j = 11 + v. Solve -2*b = j*b for b.
0
Let y(z) = z**3 + z - 2. Let d be y(2). Solve 0 = d*o - 10*o + 4 for o.
2
Let j = -3 + 9. Let b(s) = 2*s - 8. Let p be b(j). Solve p*g - 9*g = -10 for g.
2
Suppose 0*x - 12 = -3*x. Suppose -26 = 3*d + 4*k - 2*k, 0 = -5*d + x*k - 14. Let m be (-1 + 1)*(-3)/d. Solve m = 2*u + 3 - 13 for u.
5
Let s be (2*1)/(4/8). Suppose 3*r - 7 = -1. Let q = s - r. Solve 0*i = -q*i - 6 for i.
-3
Suppose 1 = 10*c - 19. Solve c*k + 0*k = -6 for k.
-3
Let z(c) = c**3 + 5*c**2 - 6*c + 1. Let o be z(-6). Suppose -b + o = 6. Let i(d) = -d**2 - 5*d + 5. Let a be i(b). Solve l - 2*l = -a for l.
5
Suppose 4*c - 7 = 5*d + 20, 0 = -4*c - 4*d. Solve c = k - 4*k for k.
-1
Suppose 79*m - 75*m = 0. Solve 5*g - 7 + 27 = m for g.
-4
Let g = 7 + -5. Let x = g - -1. Solve 2*r - 5 = x*r for r.
-5
Suppose -5*k = -4*k. Solve 2*f + k*f = 10 for f.
5
Let t be 6/(-2)*(-30)/45. Solve -3*h + t - 8 = 0 for h.
-2
Suppose m + 4*x - 14 = 0, -5*x = -6*x + 2. Solve 4 + m = 5*t for t.
2
Let y(d) = -4*d + 44. Let o be y(11). Let v(z) be the second derivative of -z**3/3 - 3*z**2/2 - z. Let g be v(-3). Solve o = -g*b - 0 - 6 for b.
-2
Let w be (2/(-6))/(4/(-36)). Suppose w*h - 15 = -0*h. Solve 0 = h*f + 14 - 4 for f.
-2
Suppose 12 = -2*f + u - 1, -3*u + 34 = -5*f. Let z = f - -14. Suppose -c = -z - 3. Solve -4*x + c = -0 for x.
3
Let q(v) = v**3 - 6*v**2 + 3*v - 5. Let a be q(5). Let p = a + 22. Let w = 1 - 1. Solve w = n - 2 + p for n.
-5
Let h be 2 - -1*(-94)/(-2). Suppose 3*k = -h - 26. Let u be k*(2 - (-42)/(-15)). Solve -u = -3*z - 5 for z.
5
Suppose 3*n - 18 = -a - 0, 0 = 2*a + n - 31. Let b be (-2)/(-4) + (-18)/(-12). Let u = 0 + b. Solve z + u*z = a for z.
5
Let k = 29 - 29. Solve -6*h + h - 5 = k for h.
-1
Let w(n) = 14*n + 3. Let x(f) = -7*f - 1. Let k(s) = -4*w(s) - 9*x(s). Let c be k(3). Suppose 3*r = -4*p - 11, -5*r = -2*p - c - 7. Solve -q + 4*q = -r for q.
-1
Let f(y) = -7*y - 1. Let a be f(-2). Let p = -1 - a. Let i be (-4)/p + (-38)/(-14). Solve 0*v = i*v + 12 for v.
-4
Let d(i) = -i - 5. Let f be d(-4). Let y = 1 + f. Let g(z) = z**3 + 8*z**2 - z - 4. Let c be g(-8). Solve y*o - c = o for o.
-4
Let p(n) = 7*n - 18. Let o be p(3). Let a be 0*1/(-2)*-1. Solve a - 3 = o*d for d.
-1
Suppose 56 = -3*u - 19. Let x be ((-4)/5)/(5/u). Suppose 5*w - 4 = 3*v, -2 = 2*v - w - 4. Solve -v*a + x = -a for a.
4
Let c(h) be the first derivative of -h**3/6 - 3*h**2 + 2*h + 1. Let l(w) be the first derivative of c(w). Let u be l(-6). Solve u = -3*q + 6 + 3 for q.
3
Let h(c) = c**2 - 11*c - 8. Let p be h(12). Suppose i - 4*i - j - 15 = 0, -j + 27 = -p*i. Let u(r) = r + 6. Let z be u(i). Solve 0 = 4*n - z*n + 16 for n.
-4
Let y be 0 + 3 - (-2 - (-2)/1). Suppose 3*h = -h. Solve h = y*l + 2*l + 25 for l.
-5
Let r = 43 - 41. Solve r*v - 9 = -v for v.
3
Let h be -1*3/(12/(-100)). Let d be 60/h*20/6. Solve 2 - d = -2*y for y.
3
Suppose j - 1 = -2. Let g be j*2*(0 - 1). Let x be (-16)/(-104) + 256/26. Solve 0*h + g*h + x = 0 for h.
-5
Suppose 4*m - 2*f = 46, 2*m + 7*f - 4*f = 43. Suppose -3*q - m + 45 = -w, -q + 15 = 2*w. Suppose 4*o - 8 = 2*o. Solve 5*l = q + o for l.
3
Let m = -25 - -29. Solve 1 = -m*b + 13 for b.
3
Let n(z) = 4*z**2 - 1. Let k be n(-1). Let q be (-1)/1 + 3 + k. Suppose 0 = q*d - 9 - 11. Solve 7 + 5 = -d*p for p.
-3
Suppose 0 = -o + 1 + 4. Solve n = -0 + o for n.
5
Let z(k) = 2*k**3 + 2*k - 6*k**3 + 6*k**2 + k**3. Let h(s) = -4*s**3 + 7*s**2 + s - 1. Let d(j) = 2*h(j) - 3*z(j). Let l be d(5). Solve l - 6 = -3*c for c.
1
Let v be ((-4)/(-3) + 0)*3. Solve v*q = -8 - 4 for q.
-3
Let d be (96/(-18))/((-4)/6). Solve t = d - 3 for t.
5
Let k(p) be the third derivative of 1/60*p**5 - p**2 - 5/24*p**4 - p**3 + 0*p + 0. Let w be k(6). Solve w = 2*j + 2*j - 4 for j.
1
Suppose 0*b + 4*b - 48 = 0. Let c(z) = -z**3 - 11*z**2 + 12*z + 2. Let k be c(-12). Suppose -2*d = y + 4*y + 3, 0 = k*d - 5*y - 27. Solve d*r = 2*r - b for r.
-3
Let z = -14 - -21. Let y be 8*1 - (2 + 0). Suppose -u + 2*r - y = 0, -4*u + r - 2*r = -21. Solve -u*k + z = -5 for k.
3
Suppose 0 = -3*a - 4*p - 10, -3*a = 3*p + 2*p + 14. Let f = 24 + -26. Let u = f + 4. Solve 0 = -0*g - a*g - u for g.
-1
Let t = -2 - -6. Solve 0 = 3*n - t*n for n.
0
Suppose 32 = 5*f - 4*b, 0*f - 2*b - 2 = f. Let x(s) = 8*s + 2. Let d(z) = 7*z + 2. Let t(l) = -7*d(l) + 6*x(l). Let g be t(-4). Solve f*k - g = -10 for k.
-2
Suppose 2*o - 2*m = -6*m + 2, 4*m - 23 = -5*o. Solve o*v - 2*v = 10 for v.
2
Suppose 3*y - y = 3*z + 1, z = -5*y + 28. Let d = 2 - -1. Suppose 0 = -4*x - 4*g + 48, 26 = -d*x + 6*x + g. Solve -x = f - z for f.
-4
Let h(i) = i - 6. Let d be h(6). Let s = d + 6. Solve s*v - 10 = v for v.
2
Suppose -11*s + 35 + 53 = 0. Solve -3*d + 4 = -s for d.
4
Let y = 1 - -1. Solve y*s = 6 - 0 for s.
3
Let c = -2 - -2. Suppose 2 - 12 = -5*p. Suppose c = -p*f - 3*f + 15. Solve -i + 2*i + f = 0 for i.
-3
Let z = 9 - 5. Suppose 0 = -m - 4*v + 16 - z, -v = -2. Solve 7*f = m*f - 6 for f.
-2
Let k(q) = -q**3 - 2*q**2 - q. Let h be k(-2). Let p be h/(-9) + (-2)/(-9). Solve -5*j + p*j = -15 for j.
3
Let y = 10 + -3. Let s = -7 + y. Solve u = 4 - s for u.
4
Let g be 0 + -1 - 9/(-1). Suppose q + 1 = 2. Let s be ((0/1)/q)/2. Solve s*y + 2*y - g = 0 for y.
4
Let r(q) = q**2 - 5*q - 2. Let a be r(6). Suppose 0 = -2*w + 2*o, -w - 3*o = a*w - 16. Solve -u + 3 = -w for u.
5
Let h(v) = v**2 - 15*v + 27. Let w be h(12). Let o = w - -9. Suppose -3*r = -0 - 6. Solve -s = -o*s - r for s.
2
Suppose -21 = -4*w - 3*n, w = -5*n - 1 + 2. Solve 0 = w*v - v + 20 for v.
-4
Suppose -k + 4*i = 3, -4*k + 2*i + 2*i + 36 = 0. Suppose 0 = -5*c + 2 + k. Solve -4*z = -c*z for z.
0
Suppose -h = 5*r + 22, 30 = 2*h - 4*h - 3*r. Let o be 4/h - 62/(-6). Solve -6 = -4*s + o for s.
4
Suppose 0 = -2*x - 4*r - 4, -4*x + 2*x + 2 = r. Solve x*s + 2*s - 20 = 0 for s.
5
Suppose m = 5*x + 2, 5 - 1 = 2*m - 3*x. Suppose -5*c + m*h + 5 = 0, -7*c = -2*c + 5*h - 40. Suppose -2*f = 5*u + 6, 1 = -2*u - c. Solve -1 = z - f for z.
1
Suppose 0*p - 2*p = -4*o + 8, 4*o - 12 = p. Suppose 0 = -2*j - j - 5*b + o, -3*j + 10 = -b. Solve -l + j*l = 0 for l.
0
Suppose -3*d = -3*c - 12, -3*c = -2*d + 3 + 3. Suppose 0 = 5*n + 5*q - 15, -n + 0 = -2*q - d. Let x be (0 - -5)*n/10. Solve 0 = -4*i + x*i for i.
0
Let c be ((-8)/(-12))/((-2)/(-3)). Suppose -j = 3*z - 7, -c - 7 = -4*z - 2*j. Let w = 4 - z. Solve 2*p = 1 + w for p.
1
Let p = -5 - -11. Let o be p/3 - 0/(-2). Suppose s - 12 + 3 = 5*x, 2*x = s - 6. Solve 6 = -s*h - o for h.
-2
Suppose -2*v = -v + 8. Let n be ((-4)/v)/(1/(-6)). Let r be (-3 - n)*2/4. Solve 12 = -r*l - 4*l for l.
-3
Suppose -3*n - 15 = 3*g, -4*n - 23 + 3 = -4*g. Suppose g = x + 2*h - 7, -h = -x - 0*h + 1. Solve -x*s + 4 = -7*s for s.
-1
Let w(g) = g**3 - 9*g**2. Let d be w(9). Solve 3*o + d*o = 6 for o.
2
Suppose 0 = 3*x - 4*k - 0*k, -5*k + 15 = 0. Suppose 5*z - 18 = 2*o, 5*o + x*z - 20 = 1. Let l be o - (2 + -2) - -1. Solve a = l*a - 5 for a.
5
Let m(p) = 4*p - 7. Let a be m(3). Solve -7*o + a*o + 10 = 0 for o.
5
Let u be 0 - (3 + (1 - 0)). Let m be (-2)/(-1)*(-14)/u. Suppos