r t.
-2
Suppose h = 5*h. Let x be 43/9 + 6/27. Let r be (-6)/(2 - x) - 0. Solve -m + r = -h for m.
2
Suppose -b + 1 = i, -3*i + 8 = -b - b. Solve z = i*z for z.
0
Let x = 68 + -65. Let j be (1 - -1)/(3 - 1). Suppose -a = -x - j. Solve 3 + 13 = a*m for m.
4
Suppose 5*m = -n + 22, -4*m - 2*n = -3*n - 14. Let q = 4 - 0. Suppose d = -d + q. Solve -2*r + d = -m for r.
3
Let r(f) = f**2 - 2*f + 2. Let h be r(2). Let n(c) = c**2 + 7*c + 4*c**2 - c**2 - 9*c - 2 - c**3. Let z be n(h). Solve 0 = z*d - d - 3 for d.
3
Let k(b) = 8*b**2. Let h be k(1). Let m = -11 + 14. Solve -x - h = -m for x.
-5
Suppose -2 = m, m - 340 + 122 = -5*g. Suppose -3*d + g = d. Solve -4*t = -9 - d for t.
5
Let m = -113 + 116. Solve 2*a + m = -1 for a.
-2
Suppose -5*o + 2*o = -27. Solve -3*f + o = -6 for f.
5
Let i = -1 + 1. Let t be -2 - -4 - (-8)/(-4). Solve f + t*f = i for f.
0
Let o(s) be the third derivative of -7/60*s**5 - 7/24*s**4 + 0*s - 2/3*s**3 + 0 - 1/120*s**6 + s**2. Let a be o(-6). Solve 3*p = -5 + a for p.
-1
Let p = 6 + 0. Suppose 0 = -4*j + p + 14. Solve -1 = 3*k + j for k.
-2
Let x = 25 - 23. Solve x*r + 2 = -2 for r.
-2
Let v = -10 + 12. Let p be v + -6 + 1 + 3. Solve n + 2 = -p for n.
-2
Suppose -6 + 12 = 2*z. Let f be (z + 0)*64/24. Solve 2*c + f = -0 for c.
-4
Let p = -19 + 19. Solve 0*v + v - 3 = p for v.
3
Suppose 37*u - 42*u + 15 = 0. Solve 15 = -0*a + u*a for a.
5
Suppose 4*a = -5*r + 90, -r + 0*a - 3*a = -18. Suppose 2*o - r = -o. Let y be (-2 - -1) + o/3. Solve -h = y + 1 for h.
-2
Let f(t) = 6*t. Let k be ((-1)/(-2))/((-6)/(-12)). Let n be f(k). Let z = n + -5. Solve z - 11 = -2*d for d.
5
Suppose -x - 16 = -5*x. Solve -3*d = -d - x for d.
2
Let p be (-3)/(-2) - 11/(-22). Suppose 0 = p*y - 4*o + 16, -y - 3*y - 3*o = -12. Solve -3*h = -y*h - 15 for h.
5
Let o(a) = 3*a**2 + a**3 - 2*a - 6*a + 2*a**2. Let h be o(-6). Suppose 3*n = 2*n + h. Solve -n = 3*t - 0 for t.
-4
Suppose -2*r = -2*y - 3 + 1, -4*y = -5*r + 9. Solve -y = -4*a + 4 for a.
2
Suppose -5*x + 151 = -s, 5*x = 3*s + 142 + 11. Suppose -f + 5*w + x = 0, 4*f + w - 3*w = 48. Suppose f = 3*o - 2. Solve 2*y + 6 + o = 0 for y.
-5
Let k(u) = u + 5. Let m be k(-5). Let p(y) = y**3 - y + 25. Let f be p(m). Solve -d = 4*d + f for d.
-5
Let m(d) = d**2 - 5*d + 6. Let j be m(4). Suppose 0 = 3*c - 5*u - 43, j*c + 4 + 9 = -5*u. Let f be (-8)/(-2*1) + 0. Solve 5*q = -c - f for q.
-2
Let c be (0 - 0)*(-2)/(-6). Solve c*j - j = -2 for j.
2
Let v(l) = 3*l**2 + 4*l - 5. Let p be v(-4). Suppose -4*c = 3*o + p, 0*o = -c + 5*o + 22. Let t(s) = -s - 1. Let m be t(c). Solve 3 = m*z + 1 for z.
1
Let b(n) = 5*n**3. Let i be b(1). Suppose i = -2*d + 45. Solve -5*t + 0*t + d = 0 for t.
4
Suppose 0 = -0*a - 2*a + 6. Solve 0 = -a*p - 6 - 3 for p.
-3
Let j(n) = -2*n - 8. Let x be j(-6). Let a be 4/6*-3 + 17. Suppose x*s = -s + a. Solve -i = s*i for i.
0
Let s(z) be the second derivative of -7*z**4/24 - z**3/6 - 2*z**2 + z. Let b(k) be the first derivative of s(k). Let r be b(-1). Solve -r = -t + 4*t for t.
-2
Let u be 8/32 - (-2)/(-8). Suppose -4 = -q - u. Solve -q = 4*z + 12 for z.
-4
Let t = 17 + -15. Solve -4*g = -3*g - t for g.
2
Let c(q) = 2*q**2 + 18*q - 17. Let j be c(-10). Solve 0 = r + j for r.
-3
Let g(l) = -l**3 + 3*l**2 + 5*l + 4. Let y be g(4). Solve -4*c - 4 = y for c.
-3
Let b(n) = -n**2 + 6*n + 3. Let g be b(6). Solve -2*z - g = -1 for z.
-1
Let w = 7 + 2. Let p be 1 + (-6)/(-2) + 0. Let u be 12/w*18/p. Solve 5*c - u = 9 for c.
3
Let w = -43 - -46. Solve -8*u + w*u - 5 = 0 for u.
-1
Let i = 84 - 81. Solve -c + 1 = -i for c.
4
Suppose 5*j + y = -y + 46, 0 = 3*y + 6. Let a = j + -5. Let x be (a/10)/((-1)/(-4)). Solve h = x*h for h.
0
Let h(x) = -x**3 + 3*x**2 - 2*x + 1. Let c be h(1). Let b = -6 - -7. Let s be 2 + (b - (0 + c)). Solve s*d + 0*d = -10 for d.
-5
Let t(c) = 11*c + 1. Let z be t(-1). Suppose -3*j + 2 = -4*j. Let g be j/(-3) - z/3. Solve r + 1 = -g for r.
-5
Let k(d) be the first derivative of -5/3*d**3 + 3 - 1/2*d**2 - 5*d - 1/4*d**4. Let o be k(-5). Solve o = -0*c - 2*c - 6 for c.
-3
Let d(t) = -t**2 + 6*t. Let b be d(6). Suppose b = 4*w + w - 20. Suppose -w*z - 4*f + 34 = 6, 5*f - 23 = z. Solve z - 11 = 3*r for r.
-3
Suppose 0*p + 2 = p. Let d = p + -2. Solve 0 = -d*f - f - 2 for f.
-2
Suppose 4*h = -h + 5, 0 = 5*k - 4*h - 11. Solve d - 2*d + k = 0 for d.
3
Suppose 2*c + 2*c + 146 = 2*a, 5*c = -5*a - 145. Let m be 22/99 - c/9. Solve m*o + o - 25 = 0 for o.
5
Let l be ((-77)/14 - -6)*(-1 + 7). Solve 0 = -3*s + 6*s - l for s.
1
Suppose 7*o - 6*o - 13 = 0. Solve -o = -3*r - 7 for r.
2
Suppose -3*n = n - 16. Suppose -9*b = -7*b - n. Solve -7 = b*u + 3 for u.
-5
Suppose -2*q + 0*q - 5*p - 2 = 0, p = -5*q + 18. Solve w - 2*w = -q for w.
4
Suppose 3*p = -6*p + p. Solve 5*z + 6 - 26 = p for z.
4
Let z(o) = -o**2 + 2*o + 1. Let l be z(3). Let p be (-1)/2 + (-9)/l. Solve 5*b = 3*b - p for b.
-2
Let y(n) = -n**3 + n**2 - n - 1. Let h be y(-2). Suppose 2*t = -4*l + 12, 5*l = 2*t - 5*t + h. Let q = t + 4. Solve 0*a - 2*a + 10 = q for a.
5
Suppose 0 = -2*m + 2 + 4. Suppose 5*n - 39 = 3*v, -6*v - 15 = -n - 3*v. Solve m*x - 15 = n*x for x.
-5
Let y(p) = p + 11. Let j be y(-10). Let z be (6 - (-3)/j) + 0. Solve 2*r - z = -r for r.
3
Let q be -1*-14*1/1. Solve 4*z + 6 = q for z.
2
Let g(l) = -5*l + 4*l - 9 + 1 + 0*l. Let s be g(-9). Solve -s = q - 6 for q.
5
Suppose 3*w + 9 = 2*w. Let m(c) = -5*c**3 + 10*c**2 + 9*c - 9. Let p(n) = -n**3 - 1. Let t(z) = -m(z) + 6*p(z). Let q be t(w). Solve -q - 1 = 4*y for y.
-1
Let i(f) = 4*f - 2. Let j be i(1). Solve j*t = 8 - 18 for t.
-5
Let f(z) = -z**3 - 10*z**2 - z - 7. Suppose -4*j + 0*j - 40 = 0. Let w be f(j). Solve 2*t = w*t + 4 for t.
-4
Let g be ((-10)/30)/(-1 + 16/18). Solve 2*d = g*d + 4 for d.
-4
Let k be 1/(1/((-18)/(-2))). Let h = 14 - k. Suppose -3*m - 20 = -h*c - m, -2*c = 5*m + 21. Solve -c*l = -l + 4 for l.
-4
Let b(g) = g**3 - g**2 + 2*g + 1. Let m be b(2). Let n = m + -4. Solve -n*j + 10*j = 0 for j.
0
Suppose 0 = -7*u + 12 - 12. Solve q + q = u for q.
0
Let k(s) = s**3 + 4*s**2 + 2*s - 3. Let g(j) = -j**3 - 10*j**2 - 10*j - 6. Let v be g(-9). Suppose -2*f - 3 - v = 0. Let c be k(f). Solve 4*z = -4 - c for z.
-1
Suppose 6*j - 8 = 4*j. Suppose j*l = f - 1, f = -l - f + 2. Suppose 1 = -2*h + 3*v, 4*h - 6*v - 10 = -4*v. Solve l = t + h*t for t.
0
Suppose -2*i = -1 - 3. Suppose -3*o = i*o. Suppose o = m + m - 30. Solve m = 4*n - 5 for n.
5
Suppose s + 2*u - 5 = 0, -2*s - 2*u + 0*u + 10 = 0. Solve 5 = s*i - 0*i for i.
1
Suppose 5*w - 20 = -0*w. Suppose -w - 2 = -i. Let p = i - 4. Solve 0 = p*f + 8 - 4 for f.
-2
Suppose t + 3*v - 31 = -v, -3 = -t + 3*v. Solve 0*c + 3*c = -t for c.
-5
Suppose -3*f - n - 4 = 0, -3*n - 20 = -3*f + 2*n. Solve -y - 4*y = f for y.
0
Let x(q) = -q**2 - 6*q + 7. Suppose 5*d = -4*p - 10 - 43, 4*p + 48 = -4*d. Let t be x(p). Solve 0 = -2*r - t*r + 2 for r.
1
Let c(x) = -x**3 - 3*x**2 + x + 7. Let d be c(-3). Suppose 4*t + l + 2 = 0, 2*l + d = -3*t + 6*t. Solve 0*p + 4*p = t for p.
0
Let p(g) = 2*g**2 + 5*g. Let y(r) = r**2 - 1. Suppose -5*w = -4*w + 3. Let z(c) = w*y(c) + p(c). Let x be z(5). Solve 0 = 4*i - x*i - 5 for i.
5
Let x(g) = g + 35. Let z be x(-8). Solve z - 2 = 5*n for n.
5
Let b(h) = -h**3 + 7*h**2 - 5*h - 5. Let p be b(6). Let u be 2 - (-2 + (2 - 0)). Solve 3*f = u*f + p for f.
1
Suppose 5*a + 34 = -t, 2*t = 4 - 2. Let c = a - -12. Solve y - c*y = 0 for y.
0
Let q(g) = -2*g**2 - 15*g - 10. Let s be q(-6). Solve v = -3*v - s for v.
-2
Let l = 101 - 99. Solve 2 = l*d - 2 for d.
2
Suppose 17*t = 12*t + 15. Solve -5 = 2*g - t*g for g.
5
Let q be (-2)/(-4) + 18/4. Suppose -4*b + k = -9, q*b = b - 5*k + 3. Suppose 0 = 5*m - 13 - 2. Solve -c + b = m for c.
-1
Suppose 6 = 4*h - 3*c, -4 = 2*h + c - 2. Solve a + 2*a + 3 = h for a.
-1
Let i be 4/10 + 490/25. Solve d = 6*d - i for d.
4
Let z be (-27)/21 + (-2)/(-7). Let i = -1 - z. Solve 2*p + 4 - 12 = i for p.
4
Let q = 0 + 2. Suppose t + 0*t = 4*j - 13, 0 = 2*t - q*j + 2. Solve -t = -3*v - 15 for v.
-4
Suppose -2*s + 4 = 0, -t + 4*t + 2*s - 10 = 0. Solve 0 = -3*u + u - t for u.
-1
Let f(k) = k**2 + 4*k. Let a be f(-4). Let w be -1 + a + -1 + 2. Solve w = -t - 3*t + 4 for t.
1
Let u(w) = -w**2 - 2*w. Let p(q) = -4*q**2 - 7*q + 1. Let o(f) = -2*p(f) + 9*u(f). Let s be o(-4). Let t 