 7, 3*v = 5*n - 0 - 4. Let l be (-3 + 2)*(n - 4). Solve 3*s = -2 + l for s.
1
Suppose -2*m = -5*p + 13, 0*m - 18 = -3*m - 5*p. Suppose 0*s = s + 20. Let q = s + 29. Solve 2*r = -m - q for r.
-5
Let k be 2/(-10) + 21/5. Suppose -3*c + 2*c = k. Let v = c + 6. Solve v = -z - 0 for z.
-2
Suppose 2*i - 4*i = 0. Solve i*y + y + 3 = 0 for y.
-3
Let l(f) = f**2 + 5*f + 6. Let o be l(-4). Suppose o*m = -0*m. Solve 0 = -j + 4 - m for j.
4
Suppose -z + 4*u - 2 = z, z - 4*u + 5 = 0. Let w = z - 2. Suppose 12 - 60 = -2*p. Solve w + p = -5*s for s.
-5
Suppose -3*m = 2*r + 5, -5*m - 6 = -4*r + 17. Suppose 5*k - r*k - 21 = 0. Solve -3*v = -k*v for v.
0
Suppose -6*x = -11*x + 10. Solve x*o = o + 3 for o.
3
Let p = -1 + 8. Solve -3 = 2*y + p for y.
-5
Let y(a) = 8*a + 11. Let s(x) = 3*x + 4. Let i(q) = 11*s(q) - 4*y(q). Let t(k) = k - 3. Let b be t(4). Let u be i(b). Solve -14 = -3*l + u for l.
5
Let y = 51 - 13. Solve 5*c - y = -13 for c.
5
Let f(l) = -2*l + 4. Let p be f(3). Let m = 6 + p. Solve 0 = m*x + 13 + 7 for x.
-5
Let f(k) = -k**3 + 2*k**2 + k. Let j be f(2). Solve 3*z + 15 = -j*z for z.
-3
Suppose 0 = -5*a - 15, 5*q = 5*a. Suppose 0 = h + 1 - 0, 3*h = p - 11. Let g be (-1)/(6/q)*p. Solve w + g = -0*w for w.
-4
Let i(s) = s**3 + 10*s**2. Let b be i(-10). Solve b = -0*w - 2*w - 8 for w.
-4
Let o = 9 - 7. Solve 0 = -2*l + o - 10 for l.
-4
Let h be 11/3 + (-4)/(-3). Solve h*t + 0 = 5 for t.
1
Let b = 25 - 15. Suppose 4*u - b = 14. Suppose j + 4*j + 11 = 3*z, z = j + 3. Solve u = -z*o - 4 for o.
-5
Suppose -7 = -d - 5. Solve -d = -3*x - 5 for x.
-1
Let o(y) = -4*y**3 + 23*y**2 + 3*y + 25. Let g(r) = 3*r**3 - 15*r**2 - 2*r - 17. Let v(i) = -7*g(i) - 5*o(i). Let h be v(-10). Solve h*b + 4 + 12 = 0 for b.
-4
Suppose -l = -3*p + 6, 0 = -0*p + 3*p + l - 12. Solve 4 = p*r - r for r.
2
Let p be 0 + 2 + 1 + 0. Suppose 11*v = 6*v - p*s + 3, -s + 1 = 3*v. Solve 0 = -3*b - 6 - v for b.
-2
Let a(s) = -s**3 - 7*s**2 + 5*s - 9. Let g be a(-8). Let b = 5 + g. Solve -3*r + 7*r = b for r.
5
Let z(f) = -f**2 + 7*f + 1. Let c be z(6). Suppose 3*s - c + 19 = 0. Let t be 5/2 - (-2)/s. Solve 0 = 3*h + t*h - 5 for h.
1
Let f be 4 - (-5)/(-5) - (-1 - 6). Solve -4*l + 2 = f for l.
-2
Suppose 26*a - 9 = 23*a. Let j be -4 - 10*(a - 4). Solve 4*u = -j + 2 for u.
-1
Suppose 2*b = 4*i + 22, -b + 2*i + 9 = i. Let a be (-185)/35 + 2/b. Let x = a + 8. Solve -3 = x*v + 12 for v.
-5
Suppose 42 = -5*t + 12. Let l = -4 - t. Solve -l = z - 5 for z.
3
Let u(a) = -a**2 + 9*a. Let y be u(9). Suppose 5*k - 4 = k, z - k + 1 = y. Let j = z + 0. Solve 2*f + j = -8 for f.
-4
Suppose -2*z = -4*q + 22, 2*q + 2*q + 3*z - 27 = 0. Let c(b) = -b**2 - q*b - b + 0*b. Let w be c(-7). Solve w = -4*f - 0*f for f.
0
Let h = -16 + 23. Let j be 177/h + (-8)/28. Solve -l - j = 4*l for l.
-5
Let p be -5*((-8)/5 - -1). Suppose 24 = p*l + l. Solve l - 1 = -u for u.
-5
Suppose 0 = -3*m + 41 - 11. Let t = -7 + 11. Let n be ((-4)/t)/((-2)/m). Solve -4 = -n*w + 11 for w.
3
Let t = -2 - -9. Let r = -5 + t. Let v = 18 - r. Solve -5*z - v = -6 for z.
-2
Let o(m) be the third derivative of -1/3*m**3 + 0*m - 2*m**2 + 1/12*m**4 + 0. Let k be o(4). Solve 5*g + k - 1 = 0 for g.
-1
Suppose 3*w + 2*q + 8 = 0, -w + 3*w - 8 = 2*q. Solve w = y + y + 8 for y.
-4
Let g = 12 - 10. Suppose -3*o = -4*z + 8, -37 = -3*o - g*z - 3*z. Solve c - o = 1 for c.
5
Suppose 0*h = -3*i + 2*h + 2, -2*i = h - 13. Solve -6*s = -4*s + i for s.
-2
Let d(t) = -2*t - 2. Let c be d(-3). Solve c*l = 5*l + 5 for l.
-5
Let u = -1 - -3. Suppose -u*d + 16 = -2. Let p be 0/(-2) - d/(-3). Solve y = -p*y for y.
0
Let b be (-65)/26 + 1/(-2). Let d be 90/(-6)*b/5. Solve -4*v - 3 = d for v.
-3
Let p be (-2)/2 + 2/2. Solve 5*m - 4*m = p for m.
0
Let k(f) = 2*f**2 + 2*f - 2. Let g(q) = q - 15. Let l be g(13). Let d be k(l). Solve -5*o - d = -7 for o.
1
Let h = -13 - -22. Let m be (3/h)/(3/27). Suppose 0 = -4*d + o + 48, -36 = -3*d - 0*d + 4*o. Solve -z = m*z - d for z.
3
Let v be -3 - (3/(-1))/1. Suppose 0*i + 40 = 2*i. Suppose 3*a - i = -2*s + 1, 5*s = -a + 7. Solve v = -2*j + a*j + 20 for j.
-4
Let b(t) = -t**2 + 4*t - 1. Let x be b(2). Solve -x*o = 9 + 3 for o.
-4
Suppose -4*m + 9 = -m. Suppose -m*d = d - 3*n - 25, 0 = -d - n + 8. Let r be (-12)/(-2) - (-2 + 4). Solve -3*i - r = -d*i for i.
1
Let g be -2 - 1 - (1 + -7). Suppose -3*o + 0 + g = 0. Solve 4*s = 21 - o for s.
5
Let u(t) = -t**2 + 4*t - 1. Let j be u(3). Solve -j = -5*g + 23 for g.
5
Let p(r) = -4*r - 4. Let w be p(-4). Suppose 0 = -2*i + q + 11, -i + 5*q + 40 = w. Suppose 5*z = -8*s + i*s + 20, -8 = -s - 5*z. Solve -s*x = -1 - 2 for x.
1
Suppose -4*s = -4, 2 - 3 = -g + s. Suppose 0 = -g*x - 2 - 0. Let f be 1/(x/10*-2). Solve -y + 8 = -f*y for y.
-2
Suppose -3*j = -3*g + 7 + 5, -5*g + 26 = j. Suppose -g*o + 3*r = -1, -3 + 0 = 5*o - r. Let i = 6 + o. Solve i*w - 18 - 7 = 0 for w.
5
Let j be 1/((-12)/15 - -1). Let x(v) = v**3 - 5*v**2 + v - 1. Let i be x(j). Solve 0*c = 4*c - i for c.
1
Let i = 61 + -43. Let j be (-2)/(-6) + 34/6. Solve i = 3*t + j for t.
4
Let s be (-46)/(-14) + 4/(-14). Solve s*k + 2*k = 0 for k.
0
Suppose 0 = -t - 2*f - 7 - 0, 0 = -3*t - 2*f - 17. Let m = 9 + t. Solve -g = g + m for g.
-2
Suppose y + 0*y + 24 = -5*b, b + 8 = 3*y. Let l be (-2)/10 + (-11)/b. Solve l = 2*v - 2 for v.
2
Suppose -25 = -5*u, -4*u - 30 = -5*v - 90. Let g be (-3)/12 - 26/v. Let f = -6 + 11. Solve g = f*o - 2 for o.
1
Let x(k) = 12*k - 1 + 0 + 7*k + 2. Let i be x(1). Solve -3*o + i = o for o.
5
Let b(x) = -15*x**2 - x - 9. Let m(g) = 7*g**2 + g + 4. Let u(j) = -6*b(j) - 13*m(j). Suppose 5 = -2*y - 5. Let t be u(y). Solve 3*n + t = -0 for n.
-4
Let m = 3 - 5. Let g = 6 + m. Let h = -2 + g. Solve 0 = 5*j - h - 13 for j.
3
Let p = 37 + -35. Solve -p*u = 2*u for u.
0
Let x be ((28/42)/(2/(-24)))/(-2). Solve x + 11 = 5*j for j.
3
Suppose 9*u = 7*u - 2. Let n(v) = -7*v**3 - v**2 + v + 1. Let y be n(u). Solve -16 + y = 2*c for c.
-5
Let a(v) be the first derivative of 5*v**2 - 1/3*v**3 + 2*v + 2. Let m be a(10). Solve -m*l + 7 = 1 for l.
3
Suppose 3*s + 2 = 4*m, 18 = 5*s + 5*m - 37. Suppose s = 2*c - 5*o, -4 + 1 = -c - o. Solve 0 = -c*g - 1 + 10 for g.
3
Let d = -30 - -30. Solve d = 5*j + 7 - 22 for j.
3
Let w(j) = -j**2 + 5*j + 2. Let p be 7/1 - (-2)/(-1). Let d be w(p). Solve 0*z + 10 = -d*z for z.
-5
Let b be (-1)/(-2)*(1 - -11). Let g be 12 + 1*(-1 - 0). Suppose 3*w - g = -d + b*w, 0 = d - 4*w - 12. Solve 3*j = -j - d for j.
-2
Let d(q) = q**2 + 3*q + 7. Let i be d(0). Let x = 6 + -4. Solve 0 = 3*w - i - x for w.
3
Let l(n) = -n**3 - n**2 + n + 5. Let z be l(0). Suppose -18 = -y + o, -45 = -3*y - z*o + 25. Suppose 4*v + 0 = y. Solve 5*c = -0 + v for c.
1
Let c(b) = b**2 + 11*b. Let s be c(-11). Suppose -2*t - 3*n + 52 = s, -5*n = -0*t + 5*t - 120. Solve -5*o = -0 - t for o.
4
Let l = -42 + 45. Let j(n) = n - 7. Let w be j(8). Solve w = -l*t - 8 for t.
-3
Let b(p) = p**3 + 10*p**2 + 4. Let s be b(-10). Solve -s*d - 6 = -18 for d.
3
Suppose -7 - 19 = -5*h + l, -4*h - 2*l = -18. Solve h*a + 12 - 2 = 0 for a.
-2
Suppose -3*d + 16 + 32 = 0. Suppose -3*y = -3*g + 6, 1 = 5*g + 2*y - d. Suppose -h = -g*v - 3, 2*h + v = 2*v + 1. Solve h = n - 0*n + 3 for n.
-3
Let a = -60 + 90. Suppose 0*j = 3*b + 3*j - 90, 3*j + a = b. Suppose -4*k = k + 5*q - b, 0 = 2*q - 6. Solve 0 = k*f + f + 20 for f.
-5
Let r be 1/5 + (-74)/(-5). Suppose -f + r = 2*f. Suppose f = n + 3*a, 5 - 10 = -2*n - a. Solve n*z + 16 = 6 for z.
-5
Let x be 2*1 - 4/(-2). Suppose 4*u = 3*c - 6, 0 = 5*u - 0*u - c + 2. Solve -2*l + l + x = u for l.
4
Let q be (36/(-30))/((-3)/20). Let k be 2/q - (-333)/12. Suppose y = b, 5*b - k = -4*y + 2*b. Solve -y*u + 3*u - 5 = 0 for u.
-5
Suppose -5*u = 4*g - 15, 5*u + 30 = 6*g - g. Solve 3*l - g = 10 for l.
5
Suppose -12 = -5*c + 3. Let h = 3 - c. Solve -d - 2 = -h*d for d.
-2
Let w = -12 - 10. Let h be 36/(-10)*55/w. Let a = 1 + 2. Solve 3*c - a = -h for c.
-2
Let d be (-24)/(-10)*(-40)/(-12). Solve d = n + n for n.
4
Let v = 20 - 20. Solve v - 15 = 5*i for i.
-3
Suppose f - w + 2 = 0, 4*f - w = 9*f - 14. Suppose -20 = -7*o + f*o. Solve -o*i - 4 = -0 for i.
-1
Suppose 3*t + 10 = -b, 2*t - 16 = 2*b + 7*t. Suppose 5*g - 16 = 9. Suppose -2*o - h = -g, 3*o = o - 3*h + 15. Solve o*k = -b*k - 8 for k.
-4
Let h = 16 + 2. Let p = h 