 - a) + 1 + c. Solve x*f = f - 5 for f.
5
Let m be 3*10/3 + -4. Solve -m = h + 2*h for h.
-2
Let x be (5/(-3))/((-8)/216). Suppose -4*k = -k - x. Solve 4*t - t = -k for t.
-5
Let k be (-1 - 2)*16/(-12). Solve 0 = k*t - 4 for t.
1
Let j(g) = -g**2 - 10*g - 6. Let h be j(-7). Solve 2*o - h = -3*o for o.
3
Let d(u) = -u**3 - 8*u**2 - 9*u + 2. Let v(w) = w**2 + 7*w + 5. Let y be v(-4). Let z be d(y). Suppose j - 2 - z = 0. Solve 5*l + j = 3 for l.
-3
Let p(o) = -o. Suppose q + x = -0*q + 6, 0 = 2*q - 5*x - 47. Suppose 1 = z + q. Let y be p(z). Solve 0 = b + b + y for b.
-5
Suppose -2*x - 15 = -7*x. Solve -x*a - 2*a = 15 for a.
-3
Suppose -d + 17 = 3*t, -d - 6 = -4*d. Let n(l) = l - 8. Let b(p) = 2*p - 17. Let c(k) = 2*b(k) - 5*n(k). Let u be c(t). Solve -2*h - u = -h for h.
-1
Let h = -38 + 28. Let t = -5 - h. Solve -b = -t*b - 16 for b.
-4
Let z be (-5)/5 - 6/2. Let o be z/10 - (-76)/(-10). Let u = -5 - o. Solve -u = -j - 4 for j.
-1
Suppose 5*f - 3*h - 15 = 0, -f - 4*f = -2*h - 15. Solve b - f = -2 for b.
1
Suppose 0*j - 8 = -4*j. Let x = j + -2. Solve x = -m + 3*m - 10 for m.
5
Let l(s) = s**2 - 1. Let p be l(-3). Suppose -g + p + 12 = 0. Solve -g = 4*o - 0*o for o.
-5
Let a(u) = u**3 - 9*u**2 - 10*u + 3. Let h be a(10). Solve h*l + 8 = l for l.
-4
Suppose 3*d - 6*d = -3. Solve 1 = -2*h - d for h.
-1
Let d be 9/(-1*(2 + -3)). Let l be 52 - 3 - (-1 + 0). Let k = l - 34. Solve k = 5*t - d for t.
5
Let w be 0*(1 - 2 - -2). Let d(j) = 2*j - 6. Let o be d(5). Solve 0 = o*m + 4 - w for m.
-1
Suppose -32 = -4*m - 4*p + p, 3*p - 7 = m. Suppose 2 = 5*l + m*y - 2*y, 5*y = -l - 4. Suppose 5 = 5*a - 2*q, 0*a = 2*a + 4*q - 26. Solve -l = a*k + 5 for k.
-2
Suppose 3*a + a = 4. Let y be (-4*6)/(-3) + a. Suppose -3*s - g + 5*g - y = 0, -4*s - 4*g + 16 = 0. Solve -n + 2*n - s = 0 for n.
1
Suppose 12*z + 114 = 294. Solve -j - z = -6*j for j.
3
Let h be (-6 + 3/(-3))*-1. Solve 2*l - h*l = -5 for l.
1
Suppose -3*l + 3 = 3*y + 6, 3*l = -5*y + 1. Let p(s) = 4*s - 3. Let u be p(y). Solve u*g = 3*g + 6 for g.
3
Let m be (-10)/(-1 + 0/(-2)). Suppose -5*v = -3*y - m, 5*v - y = 4*y + 10. Suppose -3*w = z - 13, -w + v*z - 13 = -2*z. Solve 10 = w*t + 25 for t.
-5
Let a be (-3 - -4)*(4 - -1). Solve b = a*b - 12 for b.
3
Suppose 2*f = 3*p + 1, f + 2*p + p + 4 = 0. Let q be (2/(-8))/(-5 - 126/(-24)). Let r = q - f. Solve -4*y - 16 = -r*y for y.
-4
Let i = -27 + 41. Let h = 20 - i. Solve -3*p + h = -p for p.
3
Let n be (-46)/(-6) - (-8)/(-12). Let j = n + -4. Solve 0*z + 9 = j*z for z.
3
Let x(q) be the second derivative of q**4/12 - q**3/3 - q**2/2 + 2*q. Let d be x(2). Let k be 2 + (1/(-1))/d. Solve 25 = k*n - 8*n for n.
-5
Suppose -18*m + 7*m + 22 = 0. Solve -m = 3*d + 4 for d.
-2
Let b(w) = -1. Let l(k) = -k - 11. Let m(z) = -4*b(z) + l(z). Let a be m(-11). Suppose 4 = -4*r, g - a*r = -3*r + 3. Solve -5 = -g*v + 1 for v.
3
Suppose 4*n + 0*n = -5*y + 12, 2*y + 12 = 4*n. Let v = 7 - 8. Let g = v - -2. Solve y*b = -b - g for b.
-1
Suppose -6*k + 5*k + 3 = 0. Solve k*j - 4 = 8 for j.
4
Let d(f) = f**3 - f**2 - f + 4. Let g be d(0). Solve -u = -g*u + 15 for u.
5
Let d(q) = 3*q**3 - 4*q**3 + 8*q + 5*q**2 - 6*q - 10 + 3*q**2. Let h be d(8). Solve 3*n = h*n for n.
0
Let r be (-2)/6 + (-28)/24*-2. Solve r*n + 0*n = 0 for n.
0
Let w = -8 - -10. Suppose -3 = -w*v + 11. Solve -2*y + 15 = -v*y for y.
-3
Suppose -3*i + 2 = f - 15, 0 = 2*f + 3*i - 19. Solve 0 = 3*n + f*n + 10 for n.
-2
Let z(d) = -d**2 + 3*d - 2. Suppose l + 7 = 2*r, 3 = 3*r + l - 0. Let g be z(r). Suppose 16 = 4*c - 2*c. Solve g*p - c = 2*p for p.
-4
Suppose 2*i = -6*m + 4*m - 6, 6 = 5*i - 2*m. Suppose -r + i*r + 8 = 0. Solve 0*f + r = 2*f for f.
4
Let r(f) = -1. Let j(i) = i**2 - 5*i - 6. Let m(n) = j(n) - 6*r(n). Let c be m(5). Suppose -2*h = -4 - c. Solve -7*x + h*x + 15 = 0 for x.
3
Let h(a) = a + 12. Let j be h(-9). Suppose -4*s = -4*d - 12, -j*d + 6*d + 6 = 0. Suppose 2*m - 3 = s. Solve -4*b + 5*b - m = 0 for b.
2
Let n(r) be the first derivative of -r**4/4 - 4*r**3/3 - r**2/2 - 2*r + 2. Let x be n(-4). Let y be (5/(-4))/(x/(-8)). Solve -3*a = -14 + y for a.
3
Let i = 3 + 0. Suppose 28 = -i*d + 4*t, 3*d + t + 2*t = 0. Let z be (d/(-6))/(1/3). Solve 0 = -z*j - 2 - 4 for j.
-3
Suppose 8*s - 6 = 6*s. Suppose 0 = -4*t + s*f + 10 + 13, 3*t + 19 = -5*f. Solve -i + 2*i = t for i.
2
Let q(b) = -b**3 + 2*b**2 + 2*b - 1. Let k be q(-2). Suppose -5*m = -k - 4. Suppose m*g - 6*g + 60 = 0. Solve -4*y - y + g = 0 for y.
4
Let o be 2/7 - 36/(-21). Solve 0 = -o*w + w - 5 for w.
-5
Suppose -4*v - 12 = -x, 0*x + 2*v = -2*x + 4. Solve -x*z = -5 + 1 for z.
1
Let m(j) = 4*j - 4. Let f(t) = t. Let z(w) = -6*f(w) + m(w). Let x be z(-5). Solve -2*g - g = -x for g.
2
Suppose -4*g + 18 = 2*g. Solve -g*w = -w - 2 for w.
1
Suppose m + 0 = 3. Let r = -3 + -1. Let h = 5 + r. Solve -m*s = h + 5 for s.
-2
Suppose 5*r - 3*f = -2*f + 8, r + 4*f = 10. Suppose r*k - 8 = 22. Solve 4*i + k = i for i.
-5
Let i be (2/7)/((-6)/(-42)). Suppose 0 = t - 0*t - 3. Solve -11 + t = -i*z for z.
4
Suppose 5*w - 6*u - 11 = -4*u, -2*w = -5*u + 4. Solve -w*s - 20 = s for s.
-5
Let w be 6 + (-2)/2*1. Let d(j) = j**2 - 7*j + 1. Let p be d(7). Let v be 1/1 + 4 + p. Solve v = w*z - 4 for z.
2
Let l(q) be the first derivative of -q**3/3 + 3*q**2 + 7*q + 1. Let f be l(5). Let v be 0 - (-10)/(-4)*-2. Solve -v*n - f = -n for n.
-3
Suppose -u = -5 - 1. Solve 2*q + u = -q for q.
-2
Let g(s) = 11*s**2 + 4*s + 7. Let x(b) = -21*b**2 - 8*b - 13. Let f(z) = -11*g(z) - 6*x(z). Let i be f(-3). Let n = i + -24. Solve 0 = -0*r - 5*r - n for r.
-2
Let k(b) = -b**2 + 14*b - 10. Let a be k(13). Let g(u) = u**2 - 2*u. Let t be g(5). Let m = t - -1. Solve -a*w - w = m for w.
-4
Let s(f) = f - 3. Let z be s(3). Solve z = 5*j - 0*j for j.
0
Let v be 0/((-3)/((-9)/(-6))). Solve 4*y - 6 + 2 = v for y.
1
Let k = -12 - -4. Let y be (-18)/k - (-4)/(-16). Let r be 2 + 1*(-3 + 2). Solve -r + 11 = y*q for q.
5
Suppose -d = d. Let a(z) = -2 - 2*z + 4*z + 0*z - 6. Let y be a(6). Solve -5*h - 6 - y = d for h.
-2
Let k(t) = 2*t. Let j be k(-2). Let u = j + 6. Solve 2*f + 0 + u = 0 for f.
-1
Let w(z) = -35*z**3 - z - 1. Let j be w(-1). Let k = j + -20. Solve 5 = 5*y - k for y.
4
Let y(l) = -l**3 - 10*l**2 + 10*l - 4. Let a be y(-11). Let r(z) = z**2 - 3*z - 9. Let o be r(a). Solve 4*n + o = 3 for n.
-4
Suppose 0*t + 3*t + 5*a - 16 = 0, 0 = 5*t + 2*a - 52. Suppose -5*g = -t + 2. Let b be ((-2)/g - 0)*-5. Solve 1 + b = -3*o for o.
-2
Suppose 0 = 15*x - 85 - 155. Solve -2*b + x = 2*b for b.
4
Let j(d) = -8*d - 35. Let a be j(-5). Solve -9 = -a*p - 4 for p.
1
Let y = -30 - -11. Let c = -13 - y. Suppose h = c*h - 10. Solve s - h = 3*s for s.
-1
Suppose -3*o - 24 = -5*o. Suppose 9*c - 8*c = 8. Let r = o - c. Solve -20 + r = -4*d for d.
4
Let c(n) = 2*n**2 + 2*n + 1. Let x be c(-1). Let m be 0/(2/1 + x). Let a(j) = j**3 - j**2 + 3. Let s be a(m). Solve -2*z + s = -5 for z.
4
Let x(k) = -k**3 - 4*k**2 - 3*k - 10. Let v be x(-4). Solve -v*f - 6 = -5*f for f.
2
Let v = 4 - 3. Suppose 5*q - 3*q - 4 = 0. Suppose q*a - v = 5. Solve a = f - 0 for f.
3
Suppose 3*d = 4*o - 18, 2 = -2*d - 5*o - 33. Let s = -4 - d. Suppose -6 = -w - a, 7 - 1 = 3*w - a. Solve 9 = -w*q - s for q.
-5
Suppose 4*c - 31 = -5*z, 5*c - 11 - 21 = -4*z. Suppose 3*g + 2*g - 10 = 0. Let y be -1 + g + 1*-1. Solve -c*w = -y*w + 4 for w.
-1
Let x(g) = -g + 5. Let c be x(4). Let q be 0/(-1 - (c + 0)). Solve -4*j + q = -16 for j.
4
Let j be 2/4 - (-17)/(-34). Suppose -3*g + 8*g = 25. Solve g*q - 15 = -j*q for q.
3
Suppose 4*r = 0, -c - 54 = -4*c + 2*r. Suppose -c = -5*s + 12. Solve -4*t + t = s for t.
-2
Let s be (3/(-2))/(9/(-120)). Let x be (-4 + 1)*(-5)/3. Solve s = -0*n + x*n for n.
4
Let y(p) = p**3 + 6*p**2 + 5. Let h be y(-6). Suppose 0 = -4*l + h*l + 4. Let f = 7 + l. Solve 0 = f*k + 4 + 8 for k.
-4
Let l = -10 + -1. Let c = -2 - l. Let p(q) = -q**3 + 8*q**2 + 9*q + 6. Let z be p(c). Solve t - 4*t - z = 0 for t.
-2
Let s be 8/(-6)*(945/28)/(-15). Let n = 20 + -11. Solve -s*w + n = -3 for w.
4
Let r = -142 - -143. Solve 2 = -t + r for t.
-1
Suppose v = -d + 2*d - 3, 5*v + 4*d - 30 = 0. Let i be 7 + 1/(3/(-6)). Solve v*z + 12 = i*z for z.
4
Let d = -6 + 8. Suppose 4*z - 8*z = -2*q, -4*z + 4 = 0. Solve -q*b - d = -0*b for b.
-1
Suppose 2*d - 1 