 -j*x - f for x.
-3
Let a be (15 + 1)/2*2. Suppose -2*r + a = 2*r. Solve -m + r + 1 = 0 for m.
5
Let d be 1/(-5) + (-2)/(-10). Solve d*j = -j for j.
0
Let z be (4 - 2)*(1 + 0). Let t(a) = 2*a + 2. Let g be t(z). Solve 2*u + g = 5*u for u.
2
Suppose m + 1 = -2, -x = 5*m + 11. Suppose -2*g + q = -11, 0 = -q - 3 - 0. Solve x*t - 4 = g for t.
2
Let y(s) be the first derivative of s**2 + 4. Let o be y(2). Solve 9*i = o*i - 5 for i.
-1
Let z = -11 - -13. Solve -1 + 5 = -z*n for n.
-2
Suppose -14*l = -18*l + 16. Suppose -5*z = -4*r - 32, -3*z + 6*r - 2*r = -24. Solve -l*d + z = -8*d for d.
-1
Let s(o) = o**3 + 1. Let j be s(-1). Suppose 2*b = -4*k - 6, -3*b = k + 1 + 8. Let w = k - j. Solve -l - 4*l = w for l.
0
Let a = -1 - -3. Let v(m) = m - 11. Let b be v(11). Suppose 3*k - 8*k + 10 = b. Solve k*l + a*l - 20 = 0 for l.
5
Suppose 0 = h - 12 - 8. Let m = h + -20. Solve 0 = 2*r - 6 - m for r.
3
Suppose 3*k + 3*l = 6*k + 9, -5*k - 10 = -4*l. Solve 0 = -7*m + k*m + 25 for m.
5
Let l = -29 - -14. Let m be 3*(-3)/(9/l). Solve s - m = -2*s for s.
5
Let y(o) = o + 6. Let j be y(3). Suppose 0 = -2*f + 15 - j. Solve 17 + f = -5*g for g.
-4
Let h = -18 - -20. Suppose h*w - 5 = 3. Solve f - 15 = -w*f for f.
3
Let b(f) = f**2 + 8*f + 11. Let t be b(-7). Solve -2*h - 4 = t for h.
-4
Let j(h) = h - 2. Let i be j(-7). Let u be (4/(-6))/(1/15). Let b = i - u. Solve -2*c = -3*c + b for c.
1
Suppose a + i - 8 = -2*a, -3*a + 2*i = -2. Let q = a - 2. Solve 3*b - 3 = -q for b.
1
Let z be ((-2)/3)/(4/(-6)). Suppose 2*s - z = 3. Suppose -s*b - 10 = 0, -2*b - 10 = 6*t - 2*t. Solve -i + 4 = -t*i for i.
4
Suppose 3*r - 3 - 6 = 0. Let q = 0 - 0. Solve -n + r + 2 = q for n.
5
Let s be (10/(-3))/((-11)/33). Solve -2*j = 3*j - s for j.
2
Let y(i) be the first derivative of i**4/4 + 8*i**3/3 - 5*i**2 + i - 2. Let o be y(-9). Solve o = a - 3*a for a.
-5
Let t be -22*2/(-4)*-1. Let m = -7 - t. Solve 7*y = 3*y - m for y.
-1
Let j be (6/(-4))/((-1)/(-2)). Let q be j/(-2) + 2/4. Let h(n) = -2*n - 6. Let k be h(-6). Solve -q*c + k = -5*c for c.
-2
Let q = 5 + -2. Suppose 0 = -q*x - 2*x. Solve x*u - 2 = -2*u for u.
1
Let b be 6/(-15) + (-291)/(-15). Suppose -m - 1 = -2*k + 2, 0 = 2*k + 3*m - 23. Solve 3*z + b = k for z.
-5
Let u(y) = -y + 2*y + 3 + 0. Let d be u(0). Solve -4 = -d*i - i for i.
1
Let i be 36/(-4)*4/(-12). Solve -i*u = -8*u - 15 for u.
-3
Let l be (2/5)/((-2)/(-10)). Suppose -f + 4 = l. Solve -g + 3*g = -f for g.
-1
Let a be 3*2*(-20)/(-15). Let u be (0 - -2)/((-2)/(-5)). Suppose -u*r + 13 = 3. Solve 0 = -6*x + a*x - r for x.
1
Suppose 0 = -28*i + 23*i + 10. Solve -10 = -3*n - i*n for n.
2
Suppose 1 = c, -3*n + 145 = 2*n + 5*c. Let r = 0 + -20. Let d = r + n. Solve -17 = -3*i - d for i.
3
Let b be (1 - -1)/(-2) - -5. Suppose -34 = k + k + 2*i, -b*i - 90 = 5*k. Let r be 5/15 + k/(-6). Solve -r*u - 2 = -2*u for u.
-1
Let b(z) = -6*z - 1. Suppose -3*j + 7*j = 4. Let a be 1/j*-1*2. Let f be b(a). Solve -3*h - f = 4 for h.
-5
Suppose 2*y + 4*i = -3*y + 50, -25 = -5*y + i. Solve 3*d - y*d + 12 = 0 for d.
4
Suppose -5*j + 38 = 4*q, -2*q = -3*j + 14 - 0. Solve 0 = -4*r + r - j for r.
-2
Let d be 1/3 - 15/(-9). Suppose -15 - 3 = -3*q. Solve d*i + 2 + q = 0 for i.
-4
Suppose 26 = 3*n + 4*l, -5*l + 19 = 4*n - 14. Suppose -4*h - 24 = -n*w - 6, 3*h + 18 = 3*w. Solve -15 = -w*g + 8*g for g.
-3
Suppose -5*c - 4*w = -0*w + 44, 3*w - 48 = 3*c. Let t = 17 + c. Solve -3 = t*f - 8 for f.
1
Suppose -2*v + 4*i - 16 = -3*v, 2*v + 20 = 5*i. Solve m - 2 = -v for m.
2
Let j = -15 - -8. Suppose -5*h = -2*h + 27. Let a = j - h. Solve a*i + 3*i = -10 for i.
-2
Let l be (-1)/(-5) + 216/20. Solve -36 = 5*c - l for c.
-5
Let b(g) = -g**2 + 2*g + 2. Let u be b(0). Suppose 2*t + 13 = p, 3*p + 8 - 2 = t. Let z be t/(-3) + u + -3. Solve -w - z + 5 = 0 for w.
3
Let x = 12 - 6. Suppose -4*s = -x*s + 30. Solve -s = a - 4*a for a.
5
Let m(l) = -3. Let n(j) = j + 16. Let c(t) = 11*m(t) + 2*n(t). Let k(f) = 10*f - 5. Let g(i) = 22*c(i) - 4*k(i). Let b be g(3). Solve b = 3*a - 2 for a.
4
Suppose 0 = 3*b - 2*b - 4. Suppose -7*v = -2*v - 10. Suppose v + 6 = m - b*n, -24 = -3*m + 3*n. Solve -j + 3*j = -m for j.
-4
Let m(t) = -t**3 + 8*t**2 - 7*t. Let u be m(7). Solve -5*v + 27 - 2 = u for v.
5
Suppose 11*c - 107 = 3. Solve -5*y - c = -0*y for y.
-2
Let z = 14 - 11. Suppose -4*n + 33 = 2*m - 1, -39 = -z*m - 3*n. Solve m*v - 20 = 4*v for v.
4
Let q(x) = -x + 8. Let g be q(7). Let b be (-4 + 3)/1 + g. Solve 0*j - 3*j = b for j.
0
Let v = 58 + -27. Let y = v - 14. Solve y = 3*a + 2 for a.
5
Let h = 31 + -19. Let i = 17 - h. Suppose a + 12 = 4*z - z, 4*a + 20 = 5*z. Solve z + 21 = i*f for f.
5
Let n(a) = -2*a**3 + 8*a**2 + 2*a - 4. Let z be n(4). Solve -z*w + 15 = w for w.
3
Let p = -105 - -107. Solve -20 = -p*k + 7*k for k.
-4
Suppose -i + 2 = -j, 2*i - 4*j = -0*i + 2. Solve -i*o + 12 = -6*o for o.
-4
Let f(u) = u**3 + 6*u**2 + 3*u - 6. Suppose -8 = -5*h + h. Let z be (0 + h)/((-4)/10). Let p be f(z). Solve 1 = l + p for l.
-3
Let p = 11 + -8. Solve 2*j - 1 = p for j.
2
Suppose -3*f + 2*f - 10 = 0. Let n(p) = -p**2 - 10*p. Let h be n(f). Solve h = -9*k + 4*k + 5 for k.
1
Suppose -4*w = 4*r - 16, 5*r - 3*w = -2*w + 20. Suppose 0 = -s + 2 - r. Let v be -5 + 4 - (s + 1). Solve 4 = -2*g - v for g.
-2
Let h = 68 + -48. Suppose 2*z = -3*z + h. Solve z*g = -0*g + 16 for g.
4
Let c be 0 + 2 - 2 - 0. Suppose z - 5*z = c. Solve -3*v + z*v + 6 = 0 for v.
2
Let o = 9 + -5. Let q(x) = -x**3 + 7*x**2 + x - 3. Let s be q(7). Suppose 0 = -s*u - 2*z + 16, 26 = 4*u + u + o*z. Solve 3*h - h = -u for h.
-1
Let d(z) = z + 2. Let u be d(2). Suppose 0*i - 4*j + 4 = -2*i, -2*j = -u*i - 14. Let p = -3 - i. Solve p + 2 = v for v.
3
Suppose 5*q - 4*h = -3*h, 0 = 2*q - h. Suppose 0 = -q*y + 3*y - 9. Suppose 6 = y*v, -2*k = -0*v - v - 28. Solve -3*r + k = -0*r for r.
5
Let m = 0 - -4. Suppose 0*i - 4*i = -m. Let c = 0 + i. Solve -3*u + 2 + c = 0 for u.
1
Suppose -d + 3 - 1 = 0. Suppose -2*q = 3 - 5, -4*t = -d*q - 18. Let g be 12/2 - (0 + 2). Solve 3*s = t + g for s.
3
Suppose -5*k = -10 - 15. Solve -3 - k = -4*w for w.
2
Let n(a) be the third derivative of -5*a**4/24 - 4*a**3/3 - 4*a**2. Let c be n(-6). Solve 4*m - c + 2 = 0 for m.
5
Let s be (-4 + -2)/(-2) + -1. Let q be 5/1 + (s - 5). Solve -q*u = -6*u - 4 for u.
-1
Let u(s) = -s + 17. Let q be u(15). Solve -q*p + 6*p = -12 for p.
-3
Let n(c) = -c**3 + 3*c**2 - c + 1. Let w be n(3). Let q be 8/(-6)*(w + 5). Let j = q + 4. Solve j = 5*g + 11 - 36 for g.
5
Let m(v) = 2*v + 12. Let w be m(-5). Solve 0 = 5*l - 13 - w for l.
3
Suppose 2*b - 4*u = 6*b - 16, 0 = -5*b - 4*u + 18. Let c(x) = -x**3 - 4*x**2 - 3*x + 3. Let k be c(-3). Solve -k*v + b*v = 3 for v.
-3
Let o(n) = n**3 - 7*n**2 + n - 4. Let k be o(7). Solve k*j - 17 = -5 for j.
4
Suppose l - m = -l + 33, -2*l + 36 = -2*m. Solve -13*c + l = -8*c for c.
3
Let l be (15/(-2) - -1)*-2. Let h = -9 + 4. Let a = l + h. Solve s - a = -s for s.
4
Let m(n) = -n**3 - 5*n**2. Let g be m(-5). Suppose -q + g*q = 0. Suppose -4 = -2*p - 0. Solve q = 2*s - s + p for s.
-2
Suppose 0*x = 5*x - 45. Suppose z = -x + 10. Solve 6 = -l + z for l.
-5
Let j be 5 + (15/(-3) - -2). Solve 2 + j = -m for m.
-4
Let a = 46 - 44. Solve 0 = -a*x - 0*x - 8 for x.
-4
Suppose 3*o = m - 5, -1 = 3*o - 5*m - 0. Let c be (o/(-2))/((-2)/(-8)). Let z = -22 + 37. Solve v = c*v + z for v.
-5
Let a be 5/1 - (4 + -7). Let f be (-2)/16 + 33/a. Solve -24 = 5*s - f for s.
-4
Let b be -1*(7 - 4 - 1). Let r be (-2)/(-4) - 3/b. Solve 0 = -3*i + r*i - 4 for i.
-4
Suppose 0 = -3*k + 5*v + 14, k - 2*v + 0 = 5. Solve 0 = k*o + 12 + 3 for o.
-5
Let d(r) = -r**2 + 18*r - 14. Let c be d(17). Solve 0 = c*b + 1 + 14 for b.
-5
Let i(z) = z + 15. Let o be i(-12). Solve -o*w - 10 = -1 for w.
-3
Let j be ((-3)/2)/(2/((-64)/6)). Suppose 0 = -2*s - 1 + 5. Solve -j = -s*r + 6*r for r.
-2
Let b be (-12)/(-3) - (0 + 2). Let k be 4/b + 1 - 0. Let r be (1 - -1 - 0) + 0. Solve -l - r = k for l.
-5
Let n = 82 - 76. Solve 2*v + n = 4 for v.
-1
Suppose m = 5*x + 21, -4*m + 2*x = -3*x - 24. Let b = -7 - -9. Solve -5 + m = -b*u for u.
2
Suppose 2*l = -4*z + 2, -4*l = -2*z - z - 4. Solve -3*c + 6 - 9 = z for c.
-1
Let s(l) = l**3 - 3*l**2 - 2*l - 2. Let w be s(4). Suppose w*g = g. Suppose g = -4*t - 5*n + 28 + 37, 5*t - 8