- 5. Let r be i(c). Solve o - 2*o = r for o.
-4
Suppose 0 = 4*h + 67 - 315. Let q be (60/14)/(17/357). Let u = q - h. Solve 0 = 5*o + u - 8 for o.
-4
Suppose 5*v + 20 = 5*i, -5 - 7 = -3*i + v. Let l = -10 - -34. Suppose -l = -m - i. Solve -m = -0*t + 4*t for t.
-5
Let h(c) = -7 + 9 - c - 3. Let s be h(-4). Solve s = 2*r - 3 for r.
3
Let m be (-2 + 5)*(-4)/6. Let l(y) = -y**3 + y**2 + y + 1. Let z be l(m). Solve 4*k + z + 5 = 0 for k.
-4
Suppose 0 = -4*y + 5*d - 44, 2*y - 7*y - 4*d - 96 = 0. Let m = y + 37. Solve -5*g = -m + 1 for g.
4
Let p(q) = -2*q + 3*q + q**2 - 3*q + 3 + 5*q. Let w be p(-3). Solve -w*g = -5*g for g.
0
Let x(g) = 5*g - 3. Let w be x(2). Solve -4*f - 1 - w = 0 for f.
-2
Let x(h) be the first derivative of h**3/3 - 5*h**2/2 - 3. Let n be x(6). Solve -1 + n = 5*m for m.
1
Suppose t - 5 = -3. Let l be (1 - 9)/(-2) - t. Solve 18 - l = 4*p for p.
4
Let h(d) = -d**3 - 6*d**2 + 10*d + 6. Let n be h(-7). Let y = 21 + n. Solve -m = -y*m for m.
0
Let o be -5*(-3 + 13/5). Suppose -2*h - 3*g + 2 = -4, h = 5*g - 10. Suppose 4*t - o - 38 = h. Solve -w + 3*w = t for w.
5
Suppose 12*y - 18 = 6*y. Solve -y*b - b = -4 for b.
1
Suppose -4*g + g = -9. Suppose -5*a = -g*a - 4. Solve -a*o + 7*o = 0 for o.
0
Let d be (1 - (-4 - -5))/(-2). Solve 0 = 3*v - d*v for v.
0
Let m be -3 + 0*3/9. Let t be ((-6)/2)/m - 1. Solve 0 = -t*l - 5*l for l.
0
Suppose n - 11 = 3*p - 2, 3 = -3*n - p. Suppose 2*h = h. Let d(s) = s + 1. Let r be d(h). Solve -f - r = -n*f for f.
-1
Suppose 5*c - 12 = 4*b, -4*b = 5*c - 0*b - 28. Let i be (-4 - 4)*(-3)/(-2). Let a = -11 - i. Solve -5 = -c*d - a for d.
1
Let r(d) = -5*d + 22. Let j(n) = -14*n + 65. Let b(h) = 6*j(h) - 17*r(h). Let t be b(-13). Solve -t*v = v + 20 for v.
-5
Let b(f) = f**3 + 4*f**2 - 2*f - 6. Let s be b(-4). Let k = 21 - 27. Let x be k/(-9) + s/(-3). Solve -5*m - 5 - 5 = x for m.
-2
Let k(h) = -4*h - 3 - 1 + h + 5*h. Let b be k(3). Suppose 73 = 3*u + 7. Solve 0 = 5*q - b + u for q.
-4
Let z = -5 - -6. Solve 3*g + 8 + z = 0 for g.
-3
Let o(g) = -g**3 - 5*g**2 - 4*g - 6. Let v be o(-5). Let i(l) = l + 4. Let x be i(-3). Solve -5*q + v + x = 0 for q.
3
Suppose -5*d - 3*i = 58, 0 = -3*d - 8*i + 3*i - 38. Let k(z) = z + 10. Let b be k(d). Let c be 0/b - 2/(-2). Solve -y + c = -2 for y.
3
Let g(y) = y - 1. Let c(h) = -10*h + 10. Let m(o) = -2*c(o) - 18*g(o). Let z be m(3). Solve z*a + 6 = -14 for a.
-5
Suppose q = -3*w + 11, 4*q - 10 = -5*w - 1. Solve 0 = -w*a - 0*a for a.
0
Let l be 1/(0 - 1/(-7)). Let f = l + -7. Suppose f = -t - k - 4, -2*t + 2*k = 3*k + 4. Solve t = 4*m - 2*m + 8 for m.
-4
Let j(y) = y**3 - 2*y**2 + 4*y - 5. Let o be j(2). Solve -4 - 2 = -o*a for a.
2
Let m(a) = -a**3 + 9*a**2 - a + 7. Let i be m(9). Let w = i - -4. Solve -w*k + 20 = 2*k for k.
5
Let j(x) = -x + 2. Let h(c) = 6*c - 7. Let r(m) = 5*m - 6. Let t(u) = 6*h(u) - 7*r(u). Let i be t(0). Let f be j(i). Solve -f*b = 2*b + 4 for b.
-1
Let g(h) = -2*h - 6. Let j = 3 + -1. Suppose 4*x - 20 = 0, x + 3 = -3*q - j*x. Let z be g(q). Solve 4*w - z = 10 for w.
4
Let c(g) = -g**2 + 4*g - 1. Let v be c(3). Suppose -v*m + 3*q = -16 + 6, 4*m + 5*q + 2 = 0. Solve 2 = -m*o + 6 for o.
2
Suppose 60 = -4*w + 8*w. Let r = w + -10. Solve 0*s + r = 5*s for s.
1
Let o be 1*(2 - (-9)/3). Suppose o*g = g. Solve g = -a - 0*a + 4 for a.
4
Let m(f) = -7*f + 8*f**3 - 5*f**3 - 2*f**3 + 6*f**2. Let q be m(-7). Suppose k = -4*g, 0 = -q*g + 5*g - 4*k. Solve g = -6*j + 2*j - 16 for j.
-4
Let s(n) = -n**2 + 6*n + 7. Let d be s(6). Suppose d = -4*q + 15. Solve -20 = q*f + 2*f for f.
-5
Suppose -4*v = v. Suppose 3*n = 5*w + 12, 5*w = -v*w. Solve n = -2*m - 0*m for m.
-2
Suppose -y - 2*t + 35 = 0, 0 = y - 0*y + 4*t - 45. Solve -8*g + y = -3*g for g.
5
Let q be (0/12)/(1 + 0). Solve -5*n + n - 16 = q for n.
-4
Let t(d) = d + 1. Let w be t(2). Let b be (-1 + 1)/(2 - w). Solve b = -0*s - 4*s for s.
0
Let b(t) = -t - 8. Let o be b(-11). Suppose -o*j - 3 = -3*n, -2*j + 8 = -4*j + 4*n. Suppose 0 = h - j*h + 2. Solve -7 = h*g - 3 for g.
-2
Let d = -3 - -3. Suppose 2 = z - d*z. Suppose 5*y = -5*v - 5, 3*y - v = z*v + 3. Solve r - 3*r + 8 = y for r.
4
Suppose 3*b - 2*k + 2 = 0, -3*b + 4*k = -2*b + 4. Solve 4*p - 10 - 2 = b for p.
3
Let c(r) = r + 10. Let l be c(0). Suppose -3*w + 64 = 13*w. Solve -k - l = w*k for k.
-2
Suppose 4*d - 2*d + 10 = 0. Let w(k) = k + 4. Let n(r) = -r - 3. Let z(j) = d*n(j) - 4*w(j). Let s be z(3). Solve 0*q - s = -q for q.
2
Let v(b) be the first derivative of -3*b**2 + 1 + 7*b - 8/3*b**3 - 1/4*b**4. Let h be v(-7). Solve h = 6*p - p - 20 for p.
4
Suppose 0 = -4*j, -u + 0 = 4*j - 1. Suppose -3*m = u - 7. Solve 0*p + 2*p + m = 0 for p.
-1
Let u(y) = y**3 - 6*y**2 - y + 7. Let b be u(6). Let t = b - -1. Solve 0 = t*p - 0*p + 10 for p.
-5
Let u be (4/2 + -2)/(-2). Suppose 0 = o - u*o - 1. Suppose -5 = -3*h + 4. Solve -2*i = h + o for i.
-2
Suppose 0 = -0*r + r. Let b(o) = 2*o + 4. Let v be b(-4). Let i = r - v. Solve 0 = -i*x + 3*x + 5 for x.
5
Let i be 50/4*4/5. Suppose 0*f + 4*p = f + 4, -3*f - 54 = 2*p. Let a be (-9)/6*f/6. Solve d = -a*d + i for d.
2
Let i be ((-25)/2)/(-5)*2. Suppose 5*v = -3*j + 46, 8 + 86 = 5*j + 4*v. Suppose i*w = -3*o + j, -8 = -5*w - o + 6. Solve -w*m + 11 = 1 for m.
5
Let l(d) = d**3 + 9*d**2 + 7*d - 6. Let c be l(-8). Solve 4 = s - c*s for s.
-4
Suppose 0 = -4*d - 4*p, -2*p - 5 = 3*p. Solve i + 1 = -d for i.
-2
Suppose -5*w + w + q + 13 = 0, -5*w + 5*q = -35. Suppose 6 = n - 4*d, 4*n - d + w*d - 24 = 0. Solve n*x = 2*x + 20 for x.
5
Let w = 16 + -10. Let h = -14 + 14. Solve h = c - w*c + 10 for c.
2
Let q = -12 + 12. Suppose -3*s + 5*s + 2 = q, -s = 5*c - 4. Solve -h - 3 = -c for h.
-2
Suppose 2*r + 10 = -3*r. Let p be 0 - (r + 2 - 1). Solve 3*o + 4 = p for o.
-1
Let s be (-3 - -1)/((-2)/4). Solve -4*x + 0*x + s = 0 for x.
1
Suppose -b + 5 + 2 = w, -8 = -4*b. Solve 5*z + 15 = -w for z.
-4
Let d be (2 + (-3 - 0))*3. Let v = 6 + d. Suppose -3*k - 4 = v*y - 8*y, 4*k - 8 = 0. Solve a - 6 = -y*a for a.
2
Let j(a) = -2*a. Let h be j(-5). Let b be (12 - 3)*h/15. Solve b*i + 12 = 2*i for i.
-3
Let b be (-2 - 0)*(-126)/12. Solve -5*y = -b + 1 for y.
4
Suppose -p = -0*p - 1. Solve -k - 2 = -p for k.
-1
Let q(g) = -4*g - 24. Let d be q(-7). Solve -n = d*n for n.
0
Let y = 28 - 28. Let f(j) = j**3 + 5*j**2 + 3*j + 1. Let g be f(-4). Solve g = 5*q - y for q.
1
Let o(g) = g**2 + 1. Let f be o(2). Let i = 15 + -13. Suppose 0*b - i*b = -a + 11, 17 = -3*a - 4*b. Solve 4 + a = -f*c for c.
-1
Suppose 0 = -3*i - 2*i + 20. Let u(r) = -3*r. Let j be u(-1). Solve -j*l = -2*l - i for l.
4
Let j(o) = -o + 17. Let u be j(14). Solve 0 = -7*t + u*t - 16 for t.
-4
Let g be (0/((-2)/(-2)))/1. Suppose g = v - 7 - 8. Solve -t = -4*t - v for t.
-5
Let a be -3 + 1 + 2 + -3. Let q = 2 - 2. Let h = q - a. Solve -8 = h*f + 1 for f.
-3
Let n = 41 - 38. Solve n*g - 3 = -12 for g.
-3
Suppose 4*q - 2*q = 8. Let b(t) = -4*t**3 + 2*t**2 + 2*t + 1. Let s be b(-1). Solve -s*w + q*w = -2 for w.
2
Suppose -j = -3 - 2. Solve 0 = -j*p + p for p.
0
Suppose 10 = 2*p + 6. Suppose 58 = p*d + 3*t + t, 2*d + t - 43 = 0. Suppose -k = -5*k + i + d, k + 4*i = -8. Solve -w = -k*w - 9 for w.
-3
Let v(g) = g**2 + 5*g - 4. Let r be v(-8). Suppose -3*n = -2*x - 9, -r = -5*n + x + 4*x. Solve 3*f + n = 2*f for f.
-1
Let z be (-14)/56 - (-2)/8. Solve -3*j + z + 6 = 0 for j.
2
Let m be 1 + (6*6/9 - 2). Solve 13 = -5*p + m for p.
-2
Suppose -1 = -3*g + 2. Let p be 4/2 + g + -24. Let z be (-6)/p - (-38)/14. Solve -z*y = -0*y for y.
0
Suppose -r + 36 = 3*r. Suppose 4*t - 5*y - r = t, 0 = -y. Solve -t*b + 3 = -2*b for b.
3
Suppose -3*p - 32 = p. Let w(s) = -s - 2. Let f be w(p). Solve -2*z - f = -0*z for z.
-3
Suppose -o = 3*o - 12. Suppose -o*a - 7 = -28. Solve 0 = 3*c - a + 16 for c.
-3
Suppose -8*k = 4*k - 72. Solve 0 = j + 5 - k for j.
1
Let j(z) = -2*z**2 - 3. Let h(u) = 3*u**2 + 4. Let s(l) = 3*h(l) + 4*j(l). Let n be s(0). Solve 4*x - 3 + 11 = n for x.
-2
Let d = -5 - -25. Solve -3*f + d = f for f.
5
Suppose g = -3*k - 9, 0*k = -5*g + k + 3. Suppose r + 3*r - 8 = g. Suppose -x = -4*x + 12. Solve r*m - x + 2 = 0 for m.
1
Let x(l) = -l**2 - 8*l - 7. Let z be x(-6). Suppose -5*g + 11 = 2*f, 4*g - 6 = g - f. Solve -z*b + g = -9 for b.
2
Suppose 29 = y - 4*n, -2*y + 5*n + 2 = -41. Suppose 