be x(7). Suppose -t = s - 2*s. Let c be ((-1)/(-1))/(2/4). Solve s*m - 12 = -c*m for m.
3
Let a(r) = -r**2 + 1. Let q = 12 - 6. Let h be ((-1)/(-2))/((-3)/q). Let x be a(h). Solve 8 = -x*m + 2*m for m.
4
Let i be 4/6 - (-6)/(-9). Suppose 5*g - 2 - 8 = i. Let r be 1 - 0 - g - -3. Solve -4*z = -r*z - 10 for z.
5
Let o(n) = 2*n**3 + n**2 - n. Let b be o(1). Solve v + 0 = -b for v.
-2
Suppose -9 = -2*o + z, 2*o - 7 = 5*z + 14. Let p = 15 - 8. Suppose 2 + 3 = 4*v + m, 3*m = 4*v - 17. Solve -v = -o*i + p for i.
3
Suppose -4*l - 4*v = -4, 2*v = -2*l + 3*l + 2. Let f = l - -7. Let n be 53/11 + 16/88. Solve -n*j + f = 32 for j.
-5
Let b(o) be the second derivative of -o**4/12 + o**3/6 - o**2 + o. Let g be b(2). Let z be (3 + g - -1)/1. Solve z*i - 2*i = -4 for i.
2
Suppose j + 5*i = -3*j - 12, 0 = -4*j - 4*i - 8. Solve 0 = -j*l - l for l.
0
Suppose 2*a = 4*a. Suppose 24 = -4*r - a*r. Let y(o) = -o**2 - 6*o + 2. Let v be y(r). Solve -v*p - 4 = -3*p for p.
4
Suppose -2*o - 2*b + 13 = 3*o, -4*o - 4*b = -8. Suppose -5*y - 3*l = -29, -4*y - l = 4*l - 31. Suppose -6 = -y*i + 10. Solve -i = -o*f + 5*f for f.
-2
Let h = 67 - 46. Solve 3*s - h + 6 = 0 for s.
5
Let f be (-2 + 4)/(2 - 4). Let v = f + 2. Let g = 1 - v. Solve -x + g = 3 for x.
-3
Let s(q) = 3*q**2 + 5*q + 4. Let c = 4 - 7. Let i be s(c). Solve i - 6 = -2*m for m.
-5
Suppose 0 = -14*h + 9*h. Solve h = -w + 4*w for w.
0
Suppose -2*k - 2*k = -28. Let y = k + -1. Solve 0*w = -2*w + y for w.
3
Let g = -77 + 78. Solve -z + 0*z = g for z.
-1
Suppose -8*d = -11*d + 15. Solve -d*s = -2*s - 3 for s.
1
Let r(z) = 9*z**2 + z - 17. Let x(k) = -5*k**2 - k + 9. Let q(b) = -6*r(b) - 11*x(b). Let t be q(-5). Solve i = 2*i + t for i.
-3
Let i(d) be the first derivative of -d**4/2 + d**3/3 + d**2/2 + d - 1. Let b be i(-1). Solve -11 - 4 = -b*o for o.
5
Let i(a) = -4*a + 6. Let h(m) = 21*m - 30. Let t(v) = 2*h(v) + 11*i(v). Let s be t(4). Let g be -2 - -5*s/(-1). Solve 4*q - g = 8*q for q.
-2
Let x = 1 + 1. Let s be (4/2 - x)/2. Suppose 0*p = -4*r + 4*p + 28, -5 = -5*p. Solve r = -2*g - s for g.
-4
Let p(d) = -d**2 + 7*d + 5. Let f be 4/(-6)*42/(-4). Let t be p(f). Let o(z) = -z**2 - 11*z + 7. Let x be o(-11). Solve t*u - 3 = x for u.
2
Let l(x) = -x**2 + 9*x. Let u be l(9). Suppose 2*i = f - 6, -2*f - 5*i - 6 + u = 0. Suppose 0 + f = q. Solve -2*t + q = -3*t for t.
-2
Suppose 20 = 5*h + m + 3*m, h = -4*m + 4. Let t = h - 4. Solve t + 16 = 4*g for g.
4
Let o be -3 - (1 + -17 + -1). Suppose 4*g - 14 = -2. Solve -g*u = -1 - o for u.
5
Let d(h) = 14*h + 26. Let c(p) = 9*p + 17. Let u(o) = -8*c(o) + 5*d(o). Let i be u(-4). Solve -i*v + 4 = 2*v for v.
1
Let n = -19 - -21. Solve -2*v = n*v + 20 for v.
-5
Suppose -7*j = -2*j - 40. Solve j*v - 12 = 4*v for v.
3
Suppose 2*a - 6 = 10. Solve 0 = -q - 3*q + a for q.
2
Suppose 0*i + 2*x = 2*i + 8, -i + 20 = 5*x. Suppose 3*s - 2*s = i. Solve 2*o - 6*o = s for o.
0
Suppose l - 3 = -0*l. Solve -6 = g - l for g.
-3
Let c(t) = -t + 31. Let h be c(11). Suppose 3*q - 15 = -0*q. Solve q*y = y + h for y.
5
Suppose 10*j - 14*j + 24 = 0. Let g = -16 - -36. Solve -j*i + g = -i for i.
4
Let r(m) = m**2 + 2*m. Let v be r(-3). Let x = -1 + 3. Let n = -2 + x. Solve v*l - l + 2 = n for l.
-1
Let v(f) = f**2 - f - 2. Let l be v(2). Solve -2 + l = x for x.
-2
Let s be (2/(-4))/((-1)/112). Let g = 3 + 0. Suppose 3*o - s = -2*m, 4*m = g*o + o + 92. Solve m = -9*d + 4*d for d.
-5
Let j(h) = h**2 - 4*h - 4. Let m be j(5). Let r be 90/12 - m/(-2). Solve -4 - r = -3*p for p.
4
Suppose 2*h - 2*d - 1 + 13 = 0, -2*h = 3*d - 8. Let v be (-2 + 0)*2/h. Solve -r = v*r for r.
0
Let b = -30 - -32. Solve 1 = b*u + 9 for u.
-4
Let s be 36/15*(6 - 1). Suppose -3*r = 3*d + s, 4 = -d - 4*r - 12. Solve d*w = w + 3 for w.
-3
Let y be 28/(-3) + (-16)/24. Let l = -8 - y. Solve -2*r = -r - l for r.
2
Suppose 0 = -2*v + 6, -18 - 14 = -5*r - 4*v. Let x(d) = d**2 - 4*d + 1. Let h be x(r). Let p be (-1 + -2 + 0)*-1. Solve -p*u = h - 4 for u.
1
Suppose -27*c + 28*c = 10. Let o be -2 - (-5)/(5/2). Solve -5*a + c + o = 0 for a.
2
Let f(o) = -o**2 - 4*o. Let n be f(-3). Let c(d) = -d + 6. Let v be c(3). Suppose 4*x + l - 33 = 0, -v*x - 5*l = -7*x + 51. Solve 3*q - n = x for q.
4
Let r(d) = -2*d - 5. Let x be r(-7). Let q(b) = 10*b - x*b - 4 - 3. Let t be q(9). Solve u + t = 2*u for u.
2
Suppose w - 3 = -1. Let s(b) = 8*b**2 - b - 1. Let v be s(-1). Let p = -5 + v. Solve w*n = 3*n + p for n.
-3
Let t(b) = -b**2 - 5*b + 2. Let m be t(-5). Suppose 0 = -m*r - 3*k - 1, r + 2*k = -r + 2. Solve 6 + r = 5*g for g.
2
Let l(x) = 8*x**2 - 2*x. Let t be l(1). Solve 0 = 4*a - t*a for a.
0
Let j = -37 - -40. Let u(o) = -o**2 + 4*o. Let x be u(3). Solve 9 + j = x*g for g.
4
Let p = -69 + 69. Solve 2*b - b = p for b.
0
Let j be (7/(-21))/(1/(-9)). Solve -5 = 4*n - j*n for n.
-5
Suppose 2*r - 8 = 0, -2*r + 9 - 33 = -4*g. Let c be ((-1)/(-2))/((-2)/g). Let s = c + 11. Solve s = -5*l + 2*l for l.
-3
Let g(d) = d**2 - 7*d - 4. Let x be g(8). Suppose -x*p = -2*p - 10. Solve -p*a + 2 + 13 = 0 for a.
3
Let u(j) = -j**2 + 5*j + 3. Let p be u(5). Solve p = a + 2*a for a.
1
Suppose 0 = -5*y - 5*c - 5, 0 = y - 5*c - 17. Solve -y*x + 4 = 12 for x.
-4
Suppose 0 = -7*v + 11 + 10. Solve -v*f + 15 = -0*f for f.
5
Let q be (-6)/(-4) - 24/(-16). Suppose -q = -5*d + 27. Solve 0 = -h + d*h for h.
0
Suppose 2*p + 12 = 2*r + 2*r, 15 = 5*r + 3*p. Solve 6 = y - r*y for y.
-3
Let a(g) = g**3 - 4*g**2 - 4*g + 2. Let j be a(5). Let n(z) = z**3 - z**2 + 2*z + 1. Let l be n(2). Let u = -6 + l. Solve -u*v - j = 2 for v.
-3
Let r be -3 - ((-1 - -2) + 3). Let o(t) = -t - 7. Let n be o(r). Solve n = -0*z - 5*z - 20 for z.
-4
Let v(o) = -o**3 - 5*o**2 + o + 7. Let a be v(-5). Let w = a + 3. Solve 3*t - w = 4 for t.
3
Let b(j) = 33*j**2 - j. Let m be b(-1). Suppose 4*p - 4*t - 33 = 27, -5*p + 3*t + 73 = 0. Solve p - m = -4*w for w.
5
Let c = 4 - 3. Let b be (1 - 4/(-2))*c. Solve 0 = r - 0*r - b for r.
3
Let y be (4 - 5) + 2*(-9)/(-6). Solve -7 = -y*l + 3 for l.
5
Suppose -w + 2*o = -2, -3*o - 2 = -w + 2*o. Solve -5*r = -w*r + 9 for r.
-3
Suppose 0 = v - 0 - 2. Suppose -3*m - v*w + 14 = 2*m, -2*m + 12 = 4*w. Solve m*o = -2*o + 20 for o.
5
Let h = 10 - 10. Suppose h = r - 12 + 6. Solve -r = 3*t + 9 for t.
-5
Suppose -5*v - 5 = a + 5, v = 3*a - 2. Let f be (-3 - (v + -1)) + 2. Solve -f = c + 2 for c.
-4
Let v(a) = a + 4. Suppose 0 = 4*f - 2 + 18. Let r be v(f). Solve r = 6*s - s for s.
0
Let w(y) = -1 - y**2 + 4*y - 6*y - 5*y**3 + 0*y**2. Let h be w(-1). Suppose h = 4*m - 2*t - 9, -m + 8 = -2*t. Solve 0 = -3*a + 4 + m for a.
2
Let b be ((-16)/4)/1 - -7. Solve o + 2 + b = 0 for o.
-5
Let k be -5 - (6*1)/(-3). Let z be (k/(-4))/((-2)/(-8)). Suppose 0 = -4*v + z + 5. Solve -4*m + 2*m = v for m.
-1
Let d(j) = j**3 - 10*j**2 - 5*j - 7. Let z(h) = h**3 - 11*h**2 - 6*h - 8. Let s(v) = -6*d(v) + 5*z(v). Let x be s(5). Solve x*f = -f for f.
0
Suppose 5*u + 0*u + 3*y - 20 = 0, 0 = 2*y. Solve 0 = -3*t + 13 - u for t.
3
Let t(x) = x**3 + 2*x**2 + 2*x + 1. Let p be t(-1). Suppose 2*w = -p*w + 6, 4*k = 5*w - 7. Solve 5*n = -8 - k for n.
-2
Suppose 2*w = 5*x, 3*w + 0*w = 5*x. Let y = x - -10. Solve 5 + y = 5*z for z.
3
Suppose -10*m = -2 - 38. Let j(x) = -x**2 + 7*x - 4. Let d be j(6). Solve -l + d*l = -m for l.
-4
Let i be ((-30)/9 + 3)*0. Suppose -4*g + 2*g = i. Solve -5*d + d + 20 = g for d.
5
Let l = -6 - 4. Let s be 2/(-4)*40/l. Solve s = -0*z + z for z.
2
Let i be (-6)/(20/8 + -4). Solve -i*b = b - 10 for b.
2
Suppose 7 = -5*x - 5*g - 13, 3*x - 8 = g. Solve x - 9 = -2*j for j.
4
Let z = 5 + -5. Solve 7*n - 4*n - 6 = z for n.
2
Suppose -5*u + 7 + 3 = 0. Suppose -2*c = -10, u*n + c - 3 = 6. Solve -3 = -n*k - 1 for k.
1
Let z be (-111)/(-6) + (-28)/8 + 5. Let b(p) = -4*p**3 + p**2 + p. Let k be b(-1). Solve k*g + g = z for g.
4
Suppose 3*o - 3*f = -9, o - 5*f - 1 = -2*o. Let l be (-26)/o + 5/(-20). Solve 0 = l*d - 0*d - 12 for d.
4
Let j = -12 + 14. Solve -5*o = -j*o for o.
0
Let o = 18 + -13. Let a be 2 - 1 - (-3)/(-1). Let b(j) = -3*j + 2. Let m be b(a). Solve o*w = m + 2 for w.
2
Let z be 3/(-7) - (-48)/14. Solve -4*t = -z*t - 4 for t.
4
Suppose -4*a + 20 + 0 = 0. Solve q + 0*q - a = 0 for q.
5
Suppose -5*d - 10 = 0, -14 = 3*t - d - 61. Let i = 47 - t. Suppose 48 + i = 5*z. Solve z - 1 = 