x for x.
-1
Let k(y) = -2*y - 9. Let p be k(-7). Let m be ((-18)/10 - -2)*p. Let q be (-4)/m*(-1)/1. Solve -4 = 3*b - q*b for b.
4
Let h be 7 - (2 + (-1 - -3)). Solve 3*g + h = 4*g for g.
3
Let q(a) be the first derivative of -a**4/4 - 7*a**3/3 + 7*a**2/2 - 8*a + 4. Let y be q(-8). Solve y*n + 16 = 4*n for n.
4
Let y(t) = -t - 1. Let c be y(5). Let o be 7 + 9/c*2. Solve 5 = -v - o*v for v.
-1
Let t be 630/39 + 12/(-78). Solve -3*v + t = 1 for v.
5
Let g(t) = -t**3 - 9*t**2 + t + 11. Let c be g(-9). Suppose -4*s + 2 = -3*s + 3*f, -4*s = -c*f - 8. Suppose 0*o - s*o = -14. Solve 5 = -3*i - o for i.
-4
Let l = -45 + 48. Solve 0 = l*m - 0*m - 15 for m.
5
Suppose -5*z = -4*j + 17, 0*j + 3*j - 27 = -z. Suppose x = 2*x - j. Let q(h) = -h**3 - 2*h**2 - 2*h - 1. Let r be q(-1). Solve -2*u + r = -x for u.
4
Suppose 5 + 31 = 6*t. Solve 0*j + 3*j = -t for j.
-2
Let u be (32 + -38)*(-1)/3. Solve u*g - 5*g - 15 = 0 for g.
-5
Let x = 2 - 8. Let k be 67/4 + x/8. Solve 4 = 5*m - k for m.
4
Let r(n) = -n - 5. Let o(i) = -i + 1. Let p be o(1). Suppose p = -0*x - 2*x + 2*j - 12, 0 = -2*x + j - 11. Let m be r(x). Solve f - 4*f = m for f.
0
Let t = 11 + -8. Solve f - t = -2 for f.
1
Let d(t) = -t**2 + 9*t - 7. Let j be (-140)/(-16) - (-9)/(-12). Let x be d(j). Solve -3 + x = -s for s.
2
Let x = 9 + 9. Let h = x + -17. Solve 4 - h = t for t.
3
Suppose -4*f = -5*f. Solve f = -0*q + 4*q for q.
0
Let y be (-27)/(-6) - (-1)/(-2). Solve y*f - 5*f + 3 = 0 for f.
3
Suppose 0 = -t + 5*t - 8. Solve 0 = t*s - 3*s - 4 for s.
-4
Let b(h) = -h**3 - h. Let t = 0 - -2. Suppose j + t = -j. Let d be b(j). Solve -p - d*p = -6 for p.
2
Let x = 8 + -1. Let n = x - 5. Solve 4 = -f + n*f for f.
4
Suppose 0 = -5*h - 19 + 49. Let i be (-28)/(-3) - (-4)/6. Solve z - h*z - i = 0 for z.
-2
Suppose n - 14 = -9. Let l(d) = 2*d - 4. Let h be l(4). Solve -3 = h*p + n for p.
-2
Let u = 0 - 2. Let c be 21 - (u + -1)/(-3). Solve z - c = -4*z for z.
4
Suppose 0*o = 4*o. Let i(k) = -k + 20. Let z be i(0). Suppose -5*x - 2*m - m = -12, -5*m = 5*x - z. Solve 2*v + o*v = x for v.
0
Suppose 0 = -4*r + 4*s + 4, -5*s - 5 = -0. Solve 0 = u - r - 4 for u.
4
Suppose 100 = 6*x - x. Solve -5*c = -c + x for c.
-5
Let i be -7 + (2 - (-4 - -4)). Let c = -5 - i. Let y be (-2)/(-7) - (-80)/14. Solve c = x + 2*x + y for x.
-2
Let h be (1 - -8)/(-2 - -3). Suppose s = -4*r + 22, -2*s = 5*r - h - 20. Solve s*y = -5 - 3 for y.
-4
Let v be (-3 + 1 + 1)*-2. Let j(x) = -x - 2 - v + 0. Let w be j(-8). Solve 5 = -3*l + w*l for l.
5
Let s(g) = g**3 - 2*g**2 - 2*g - 1. Let l be s(-1). Let h = l + 4. Solve 4 = 3*j - h for j.
2
Suppose 0 = -3*l + 12*l - 27. Solve -l*g = -2*g for g.
0
Suppose -5*t + 7*j = 3*j - 4, -5*t + 3*j + 8 = 0. Let d = -4 + t. Let f be (0/(-2))/(d - 1). Solve -2*b = -f*b for b.
0
Suppose 0*d - 5*s - 30 = -5*d, -5*s - 20 = 0. Suppose 4*r - d = 18. Solve r*v + 5 = -0 for v.
-1
Let j(p) be the first derivative of p**4/2 + p - 2. Let w be j(1). Let u(o) = -o**2 + 11*o + 14. Let c be u(12). Solve -5 = c*y + w for y.
-4
Let d be (-2)/3*(2 + 1). Let c be 4/(-8)*d*1. Solve -19 = -4*h + c for h.
5
Let n = 25 + -20. Solve n*c - 2 = 3*c for c.
1
Let i = 1 - -3. Suppose -i*q - q + 30 = 0. Solve 2 = -4*w + q*w for w.
1
Let r(n) be the second derivative of -3*n**5/20 - n**4/12 + 2*n**3/3 + 3*n**2/2 + 2*n. Let j be r(-2). Solve 0*v + j = -3*v for v.
-5
Suppose 3*w = w + 22. Suppose -2*u = -2*q - u + 16, -q + w = u. Solve 3*o = -0 + q for o.
3
Let n = 4 - 2. Solve n = f + f for f.
1
Suppose b = 3 - 1. Suppose q + q = 3*o + b, 0 = 2*o + 4*q - 4. Suppose -2*x - 5 = 3*g - o, 2*x - 1 = -g. Solve -5*n - x = 3 for n.
-1
Suppose 2*s = -5*c + 5, -5*c - 4*s - s = -5. Solve -c = -n + 1 for n.
2
Let c(a) be the second derivative of a**5/20 - a**4/4 + a**3/6 + 3*a. Let p be c(2). Let n be -2*1 - (p + -3). Solve -n*q = 4 + 11 for q.
-5
Suppose -4*t = -0*t - 8. Solve -3*s - t - 1 = 0 for s.
-1
Suppose x - 3*k = 7, 4*x + k + 3*k + 20 = 0. Let r be 9/6*x/3. Let c be (0 + r + 1)*-1. Solve c = f + 2 for f.
-2
Let c(h) = -h**2 - 11*h + 2. Let f be c(-11). Let a be -1*0*f/(-4). Solve 5*i + 2 + 3 = a for i.
-1
Let p = 80 + -77. Solve -p = -4*n + 5*n for n.
-3
Let y = 17 - 9. Solve -3*w + y = -5*w for w.
-4
Suppose 4*s - 65 = -5*n, -2*n - 4*s = -7*n + 25. Let p be (2/(-10))/(15/(-150)). Let i = p + n. Solve -4*v - 3 = -i for v.
2
Let j be (-2)/(-5) - (-5)/(-75)*-219. Solve -p = 2*p - j for p.
5
Let j = 12 + -9. Let l(w) = -w**3 - 5*w**2 + 2. Let r be l(-5). Suppose 0 = -r*n - 2*k - 4, j*k - k = -4. Solve 0*q - q = n for q.
0
Let t(b) = 3*b - 4. Let q be t(2). Solve 3 = -k + q*k for k.
3
Suppose -7 = -u + 2*h, 10*h = 2*u + 9*h - 8. Solve f + u + 1 = 0 for f.
-4
Suppose k = -4*f + 9, f + 0*f - 4*k = 15. Solve 2*w - f = 3*w for w.
-3
Suppose -3*k - 6 = -3*s, -2*s - 2*s = -2*k - 12. Solve k*i - 2 = -0 for i.
1
Let u(f) = -4*f + 1. Let b be u(-1). Suppose b*h + 13 = -5*g + 33, 3*g = h + 8. Suppose -3*z + 2 = t + g*t, -4*z = -5*t + 18. Solve -t*s + 0 = 4 for s.
-2
Let g(u) = -8*u - 1. Let p be g(-1). Solve 0 = -2*t + p*t - 20 for t.
4
Let x be 11 + -9 + 0 + -2. Solve 2*q + x = -4 for q.
-2
Let k(o) = o**3 - 10*o**2 + o + 8. Let s be k(10). Suppose 0*t - 3*t = -9, -3*w - 2*t = -s. Solve -j = -3*j - w for j.
-2
Let h = 119 + -112. Solve -5*f + h = -8 for f.
3
Let a(d) = -d + 3. Let h be a(-7). Let k = 3 - -7. Let v = k - h. Solve -2*s + 6*s = v for s.
0
Let a(q) be the first derivative of -q**3/3 - 3*q**2/2 + 4*q + 1. Let w be a(-4). Solve -t = 4 - w for t.
-4
Let t = -19 + 20. Solve 3*d + t = 4 for d.
1
Suppose 2*l - w - 90 = -5*w, -3*w = 2*l - 86. Suppose 0 = 4*k + l - 117. Solve 0*v = 4*v - k for v.
5
Suppose -4*l = 4*n, 2*n + 3 = 1. Solve 0 = -2*d + l + 9 for d.
5
Let k = 154 - 151. Solve -k*c - 2 = -11 for c.
3
Let w be (-252)/(-16) + (-9)/12. Let d = -13 + w. Solve 2 = -2*x - d for x.
-2
Let m = 17 - 24. Let d(c) = -c**3 - 11*c**2 - 17*c + 21. Let j be d(-9). Let t = m + j. Solve 4 = -u + t for u.
1
Let u be (22/8)/(1/4). Suppose 2*t - 3*h = -0*t + u, 4*t = -h + 15. Solve -3*f = -t*f + 4 for f.
4
Suppose 2*o = 4*q - 18, 3*o + 0 = -q + 1. Suppose 0 = -2*k - q*h - 20, -4*k - 3*h = -h + 10. Solve -n + 2 + 1 = k for n.
3
Let s(t) = t**3 - t**2 - t + 2. Let d be s(2). Suppose 0 = -d*l - l. Solve l*a + 8 = 2*a for a.
4
Let z(r) be the third derivative of r**4/12 - 7*r**3/3 + 2*r**2. Let d be z(8). Solve -3*g + d = -1 for g.
1
Let j(f) = -f + 4. Let n = 2 - -2. Let c be j(n). Suppose 7 = k - h, 2*k = -4*h + 5*h + 11. Solve 3*i - k + 1 = c for i.
1
Let c be (4 + -6)*(-6)/4. Let x be 2 - (1 + 3 - 1). Let j(d) = 5*d**2 + 2*d + 1. Let l be j(x). Solve 1 = -l*w - c for w.
-1
Let u be -3 + 4 + 3 + 3. Solve -20 = 2*t - u*t for t.
4
Let b(c) = -3*c + 3. Let f(j) = 8*j - 8. Let p(m) = -9*m + 9. Let q(a) = -6*f(a) - 5*p(a). Let i(w) = 5*b(w) - 6*q(w). Let k be i(2). Solve -d = -k + 5 for d.
-2
Let c = 32 + -32. Solve c*i - 4 = i for i.
-4
Let p be (-12 - -13)/(1/2). Solve 3*f = -p*f + 10 for f.
2
Let y(b) = -4*b + 2. Let u be y(-5). Suppose 4*g - u = 5*k, -2*k - 9 - 4 = -3*g. Solve -5*q = -6*q - g for q.
-3
Let d be (3 - 8)*4/(-1). Let s be 44/d + (-2)/10. Solve 0 = s*m + 3 - 1 for m.
-1
Let w(q) = -q + 3. Let n be w(-3). Let h = n + -4. Solve -3*k = -4*k - h for k.
-2
Suppose -6*i + 3*i = -18. Let o(z) = -z**2 - 3*z - 2. Let l be o(-3). Let f be (-5)/15*i/l. Solve 4*n = 13 - f for n.
3
Suppose -6*a + 12*a = 12. Solve a*v + 2 = -2 for v.
-2
Let c(q) = -q**3 + 6*q**2 - 4 + 6*q + 11 + q**3 - q**3. Let p be c(7). Solve -l - 4 + 6 = p for l.
2
Let f = -18 - -26. Let j = 10 + -5. Solve -7 - f = j*c for c.
-3
Let o = -8 + 12. Suppose -w + 17 = -3*m, -5*m - 36 = -o*w - 3. Suppose 2*t - t + 3*f = 3, -4*t - 2*f = -w. Solve -b + t = -1 for b.
1
Let n be (-2)/(-5) - 4/10. Let w be 1 - (-5 + 3 - 1). Suppose n = c + w*c. Solve 3*g - 6 = -c*g for g.
2
Let h(b) = b**3 + 7*b**2 + b + 9. Let l = -14 - -7. Let t be h(l). Solve 4*v - 3*v + t = 0 for v.
-2
Suppose 4*p + 6 = 18. Solve 0*i - 12 = p*i for i.
-4
Suppose -n = 3*f + 3, 2*f + 1 = n + f. Solve -7*u + 3*u + 4 = n for u.
1
Let j be (-5)/(-20) - 82/8. Let m be (-25)/j*8/10. Suppose -8*h = -3*h. Solve m*w = -h*w - 10 for w.
-5
Let k(z) = z**2 + 10*z + 3. Let i be k(-10). Solve -4*q = -i*q for q.
0
Suppose 4*f - 5*a - 3 = 0, 4