w + 8 = o for w.
2
Suppose -2*q + 24 = 2*q. Suppose q*r = r. Suppose -2*d + 6*d - 4 = r. Solve -i = -0*i + d for i.
-1
Let n = 101 - 99. Solve 3 - 1 = n*q for q.
1
Suppose -5*j = -0*j - 20. Solve 3*d = j*d - 4 for d.
4
Let m be 3/(-6) + (-1)/((-4)/18). Solve 4*v = 3*v - m for v.
-4
Suppose 4*l - l - 4*q = 17, -q = -4*l + 14. Suppose 0 = -j + l*j - 12. Suppose 0*u = -2*u - 2*k - j, u + 4*k = -18. Solve -5*x - 6 = -u*x for x.
-2
Let z be -12 - (0/(-1) - 2). Let h be (z/(-3))/((-2)/(-3)). Let q = 34 + -34. Solve q = h*f - 0*f + 5 for f.
-1
Suppose 0 = 2*c - 2 - 2. Solve 2 = -c*v + 6 for v.
2
Let j = -38 + 47. Solve -4*x + j = -x for x.
3
Suppose -2*t + 12*t - 60 = 0. Solve -4*f = -f - t for f.
2
Let d = -15 - -19. Suppose -4*l = d*m - 8, -3*l - m + 7 = 3*m. Let y = -7 - -11. Solve -b + l = y for b.
-3
Let b be (-604)/(-24) - 3/18. Suppose -5*d + b = 3*k, 9 + 6 = 3*d. Solve k*f = -2*f for f.
0
Suppose -2*u = -4*r + 28, u - 26 = -4*r + 2. Let l(w) = 3*w**2 - 2*w - 1. Let c be l(-1). Suppose -2 = -3*b + c. Solve b*s + 1 = r for s.
3
Let p be -1 - (-3)/(-1) - -79. Let z be (6/(-10))/((-15)/p). Solve 0 = z*t + 19 - 7 for t.
-4
Let q(x) = x**3 - 5*x**2 - 1. Let a be q(5). Let l be (2/a)/(-2) + 2. Suppose 0 = -l*u - 0*m - m + 9, 4*u = -3*m + 7. Solve -u*b + b = 6 for b.
-2
Let b be (4/(-4))/(1/4). Let s(x) = -x. Let k be s(b). Solve k*h - 8 = -0*h for h.
2
Suppose 22 + 13 = -5*o. Let k = o + 11. Solve 25 = -k*y + 5 for y.
-5
Let a = -3 + 13. Suppose -4*n - a = -6*n. Solve -7 = -n*i + 13 for i.
4
Let x be 1 + (0*(-1)/4 - -6). Suppose k + k - 6 = 0. Solve x*b = k*b - 4 for b.
-1
Let p(i) be the third derivative of i**5/60 + i**4/4 - i**3/3 + i**2. Let s be p(-6). Let f = -2 - s. Solve -4*k - 16 = -f*k for k.
-4
Let x(v) = -2*v**3 - v**2 - 2*v - 1. Let c be x(-1). Suppose c*b + b = 0. Solve b = 3*r - 1 + 4 for r.
-1
Let d(q) = -3*q - 41. Let s be d(-14). Solve 0 - s = -n for n.
1
Suppose 0 = 2*s - 4*s - 3*p + 10, -3*s = -5*p + 4. Solve -s*a + 5 = 3*a for a.
1
Let u(h) = h**3 + 5*h**2 - 7*h - 2. Let k be u(-6). Suppose 5*g - 3 = m + 17, -k = -3*m - g. Solve 4*d - 5*d - 2 = m for d.
-2
Let n(i) be the third derivative of i**5/60 + 5*i**4/24 - i**3/3 + i**2. Suppose -v - 3*v - 24 = 0. Let u be n(v). Solve 0 = -0*s + u*s + 8 for s.
-2
Suppose -11*r = -12*r - 1. Let x = r + 8. Solve -3*d + 5 + x = 0 for d.
4
Suppose 2*r = -3*j + 21, -4*j - 6*r + 28 = -2*r. Let q = -5 + j. Solve q*y - 2 + 0 = 0 for y.
1
Suppose 4*p - 14 = -3*t, -t = p - 4 - 2. Let b = t - 2. Solve -2*f = 2*f - b for f.
2
Let i = -37 - -40. Solve -u = -0*u + i for u.
-3
Let v(k) = -3*k - 20. Let q be v(-8). Solve -q*a = -2*a for a.
0
Let p = 18 - 13. Solve p*z - 7 = 3 for z.
2
Let m be 220/12 + (-2)/6. Let v be (m/(-15))/(1/(-5)). Solve 2 - v = -y for y.
4
Let k be (-6 + 11)/(0 + 1). Suppose -k*g + 33 = -y - 3*y, -3*y = 2*g - 4. Solve -4 - 1 = g*b for b.
-1
Suppose 0 = c + 4 - 0, 5*g + 2*c = 17. Solve -4*q = -g*q - 2 for q.
-2
Suppose w + 3*w = 80. Solve 4 - w = -4*k for k.
4
Let q be (0 + 20/(-8))*-2. Solve q = -7*a + 12*a for a.
1
Let p = -6 + -12. Let a = p - -22. Solve a - 9 = -5*m for m.
1
Let t = -14 - -18. Solve s + s = -t for s.
-2
Let c(g) be the second derivative of 13/2*g**2 + 0 + 1/6*g**3 + g. Let l be c(-10). Solve 1 + 8 = l*f for f.
3
Suppose 0 = -f - 4*f + 25. Solve -x + 3 = f for x.
-2
Suppose 2 = d - 1. Let t be 2/(-1 - 5/(-4)). Solve -t*k + d*k = 0 for k.
0
Suppose -d - 1 = -3. Let b be ((-10)/4 - -2)*-8. Solve -b*i + d*i = 0 for i.
0
Let x = 5 - 5. Suppose -3*f + x = -9. Suppose 0 = a - f*a. Solve a*g - 4 = g for g.
-4
Suppose n = v - 0*v - 23, 52 = 2*v - 4*n. Suppose k + v = 5*k. Suppose 4*x - 80 = -0*x. Solve k*f + 0*f = -x for f.
-4
Let k = 11 + -8. Let t(x) = 6*x - 3*x**2 - k*x**2 - 5 + 5*x**2. Let i be t(4). Solve -i*p + 3 = 12 for p.
-3
Let h(u) = u**2 - 10*u + 10. Let n be h(7). Let x = 19 + n. Suppose 2*p = -0*b - b + x, -3*b + 3 = -p. Solve -b*z + 14 = 6 for z.
4
Let i = 2 - 1. Let b be (i - 1)*(5 + -4). Solve r + 0*r = b for r.
0
Let i = 8 + -13. Let h = 8 + i. Solve -h*n = n - 20 for n.
5
Let p(c) = -6. Let q(y) = -y - 24. Let x(u) = 9*p(u) - 2*q(u). Let h be x(5). Solve 3*b - h*b = 4 for b.
-4
Let y = -60 - -62. Solve -y*u - 8 = -4 for u.
-2
Let h(k) = 7*k**3 + 10*k**2 + 2*k + 3. Let w(g) = -13*g**3 - 19*g**2 - 3*g - 6. Let q(j) = 11*h(j) + 6*w(j). Let d be q(-5). Solve t + d = 5 for t.
3
Let a(s) = -3*s - 1. Let i be 3/(-2) - (-1)/2. Let d be a(i). Suppose 14*n - 32 = -2*n. Solve 0 = -d*v - n*v + 8 for v.
2
Suppose 0 = -5*j + 5 + 5. Suppose 1 - 3 = -j*p. Solve 0 = -u + p - 2 for u.
-1
Let z(a) = 2*a**3 - 5*a**2 + 2*a. Let o be z(2). Suppose 0 = -o*b - 5*b. Solve b*g + 3*g = -12 for g.
-4
Suppose -3*j - 4 = j. Let z be -2*(j + 9/(-6)). Let k = 7 - z. Solve 0 = -k*m - 6 - 0 for m.
-3
Let p be (-3)/(-2)*24/2. Let l be 112/p - 8/36. Let j(v) = -v**2 + 7*v. Let t be j(l). Solve m + 2 - t = 0 for m.
4
Suppose 2*g + 3 = -1. Let m(j) = j. Let h be m(g). Let v = h - -2. Solve 3 + v = z for z.
3
Suppose -3*b + 36 = 2*h, 2*b = 3*h + 3*b - 47. Let i = 15 - 12. Suppose 5*n - 5 = 0, i - 12 = -4*g - n. Solve -s + h = g*s for s.
5
Let c(f) = f**3 - 2*f**2 - 4*f + 4. Let y be c(3). Suppose 0 = -v + y + 1. Solve -d - d = v for d.
-1
Let o(q) = -q**2 + 6*q + 2. Let h be o(6). Solve -2 = h*a - 0*a for a.
-1
Let o be (-2)/(1/(-4)*1). Let x(h) = h**3 - 6*h**2 + 6*h - 3. Let k be x(5). Suppose -5*d + k*b = -11, -3*d + 3 = -3*b - 0. Solve -d*g = g + o for g.
-2
Suppose -2*l - 133 = 47. Let s be (4/5)/((-12)/l). Solve 5*r - s = 9 for r.
3
Let u = -95 - -99. Solve 3*l = 7*l + u for l.
-1
Let q = 6 + -2. Suppose q*n - 13 = k + 3, -n = -5*k + 15. Suppose 0 = 4*g - 3*g + 3*t + 6, 3*g - n*t = 38. Solve -g = 5*s - 1 for s.
-1
Let a(f) = 2*f + f + 1 - 2. Let o be a(1). Let j = -4 - -6. Solve -o*p = j*p - 12 for p.
3
Let i = 111 - 91. Solve 4*v - i = -0 for v.
5
Let w = 9 - 9. Solve 12 = -w*l + 3*l for l.
4
Let q be ((-3)/(-9))/(4/24). Solve 3*o + q = 5 for o.
1
Suppose -12 + 32 = 5*r, 2*h - 34 = -r. Solve -4*c - h - 5 = 0 for c.
-5
Suppose -15 = -4*s - s, -4*s = -2*r - 12. Solve -2*a = -r*a + 2 for a.
-1
Let w(j) = j + 2. Let t be w(6). Solve 4*m + t = -8 for m.
-4
Suppose 0 = 6*i - i. Suppose 5*h + 0 + 20 = 0. Let u be -1 - (-10)/h*-2. Solve -s - u + i = 0 for s.
-4
Suppose 2*y - 9 - 1 = 0. Suppose 2 = y*x - x + 5*i, 5 = 5*x + 5*i. Solve -x*n = -5 + 2 for n.
1
Let v(r) = -6*r - 1. Let t be v(1). Let c = t + 10. Solve 4 = -c*h - 2 for h.
-2
Suppose 6*x - x + 5 = 0. Let t be (x + 3)*2/2. Solve 0 = t*d - d - 4 for d.
4
Let d be 24/3*(-6)/(-8). Let z = -15 + d. Let f be (-1)/((6/2)/z). Solve 8*r = f*r - 5 for r.
-1
Let k be (-28)/(-2)*3/6. Suppose -2*t + 4 = 3*i, 3*t - k*t = i - 28. Solve 3*a + t = 5*a for a.
4
Let u be ((1 + -2)*-3)/1. Let z be u*2/(2 - 0). Suppose j - 9 = i - 0*i, -z*i = 5*j - 53. Solve -4*x = 10 + j for x.
-5
Let t(p) = p**3 + 12*p**2 - 2*p - 9. Let r be t(-12). Let g be (-6)/r + 2/5. Solve g = -3*i + 7*i - 12 for i.
3
Let w(p) = 2*p - 15. Let x be w(10). Solve -2*n - 1 = -x for n.
2
Let x(w) be the third derivative of w**6/120 - 7*w**5/60 + w**4/12 - 2*w**3 + 6*w**2. Let k be x(7). Solve k*c + 2 = c for c.
-2
Let w be ((-6)/9)/((-1)/6). Suppose w*a - 24 = 5*t - 3*t, 2*t + 4 = 0. Suppose -4 = -a*y + 3*g, -2*y + 5*g - 6 = -0*g. Solve -y - 3 = 5*o for o.
-1
Let s be (-1)/2 + 25/50. Solve a + 4 + s = 0 for a.
-4
Suppose 3*l = -15, 0 = 3*z - 5*l - 34 - 27. Let d = -7 + z. Solve -3*f - 10 = d for f.
-5
Let c = 10 + -7. Let b(l) = l**3 - 4*l**2 + 4*l - 2. Let y be b(c). Solve -m - 6 = -y for m.
-5
Let l be (-1)/(-4) - (-3)/(-12). Let q(k) = 2*k - 3. Let a be q(3). Suppose 5*v - 6 = a*v. Solve -n + v + l = 0 for n.
3
Suppose -3*y = 3*n - 7*n - 16, -2*n = -3*y + 14. Solve 2*q = 6*q - y for q.
1
Let j = -6 - -10. Solve -c = -j + 2 for c.
2
Suppose -5*a = -2*n - 2*a + 22, 2*a = 3*n - 23. Let y(f) = 2*f + 10. Let o be y(-5). Solve o*i + n = -5*i for i.
-1
Suppose 0 = 4*b + 2*d - 4*d - 14, 0 = 4*b - 3*d - 17. Suppose 4*s - 8*s - 2*h = -54, -b*s + 30 = 4*h. Solve -3 = 5*x - s for x.
2
Suppose -5*z = 4*i - 18 - 37, -5*i + 25 = 0. Solve 1 + z = 2*f for f.
4
Suppose 0 = 2*y - y - 12. Suppose -11 = -2*o - n, 4*n - y + 4 = -2*o. Let i = -4 + o. Solve 0*b = -i*b - 10 for b.
-5
Let f be (-175)/