t h = 10 - x. Solve 0*v = 5*v - h for v.
2
Let r(d) = d**3 + d**2 + 2*d - 2. Let l be r(1). Solve 0 = 3*j - l*j for j.
0
Suppose 4*a - 14 - 6 = 0. Let v = -12 - -27. Suppose -v = -4*o + 5. Solve -a = 2*f + o for f.
-5
Suppose -s = 4*s. Let u be 0/7*(1 + s). Solve -6 + u = 2*z for z.
-3
Suppose 5*m = 3*v + 2*m, -3*m + 10 = 2*v. Suppose 1 + v = c. Suppose -5*a = -9*a. Solve -o + a*o = -c for o.
3
Suppose -4*j + 0*j = 2*p - 30, -4*j = 4*p - 24. Let x(c) = -c**3 + 9*c**2 + 2*c - 13. Let d be x(j). Solve d*l = 2*l + 9 for l.
3
Let s(b) = -b. Let t be s(-3). Solve -2*h = -t*h + 3 for h.
3
Suppose 2*n - 16 = -2*g, 5*n + 4*g - 48 = 3*g. Suppose 0 = -2*o - 3*o + n. Solve -o*c - 3*c + 10 = 0 for c.
2
Suppose 3*v = 3*a - 3, -2*v + 11 + 7 = 3*a. Solve 0 = a*m + 11 + 5 for m.
-4
Let j(x) = x**3 + 6*x**2 - 4. Let h be j(-6). Let i(d) = -2 + 4*d**3 + 2*d - 3 + 0*d**2 - 3*d**2 - 5*d**3. Let r be i(h). Solve -6 = g - r*g for g.
3
Let r = 5 + -2. Suppose 5 + 9 = 2*h - 2*b, h + 3 = -b. Suppose -s + 4*z + r = 0, 3 = s - 0*z - h*z. Solve -s = 4*v + 13 for v.
-4
Let v = 25 - 15. Let q = 14 - v. Solve 0 = q*x + 6 - 26 for x.
5
Suppose m = -2*m - 3*l - 9, -2*l = 3*m + 12. Let f = 12 + m. Suppose 0 = -b + f - 2. Solve q = -b + 2 for q.
-2
Suppose 0 = -10*l + 12*l. Solve 0 = h - l*h - 1 for h.
1
Let t(d) = 3*d**2 - 7*d + 5. Let i be t(4). Suppose -5*x = -0*x - i. Solve 0*y + x = -y for y.
-5
Let z be (4 + -1)*(-12)/(-9). Solve z*n = 18 + 2 for n.
5
Let p = 2 - -1. Suppose 0 = -p*j + 20 + 4. Solve 5*i - j = i for i.
2
Let v(j) = j**3 + 8*j**2 + 5*j + 40. Let t be v(-8). Solve -n = -t + 2 for n.
-2
Suppose 3*p + 7 = 2*j + 2*p, -5*j + 40 = 2*p. Solve 3*d - j*d = -15 for d.
5
Let c be 5 + -3*3/9. Suppose 0 = c*x + x - 15. Solve -3 = -x*t + 2*t for t.
3
Let t(p) = 13*p - 3. Let a be t(1). Solve 4*s = 6*s - a for s.
5
Let g be (8/(-3))/(3/(-9)). Solve -3*p = -p - g for p.
4
Let n be 1/(-4) - 4/(-16). Let y(b) = b**3 - 6*b**2 + 5*b + 3. Let p be y(5). Solve n = -i + p*i for i.
0
Let j(x) = -x**2 + 14*x + 5. Let c be j(14). Solve -c*q - 8 = 2 for q.
-2
Suppose -2*l - 11 - 17 = 0. Let x be l/(-35) - 13/(-5). Solve x*z - 10 = z for z.
5
Suppose -3*z + 5*l = -30, 11 + 6 = 4*z + l. Let c be (-5)/1 - (4 + -6). Let r(p) = -3*p - 2. Let o be r(c). Solve z*v - 8 - o = 0 for v.
3
Let u be -15*2*(-6)/36. Solve -4*r + 1 = u for r.
-1
Let x(t) be the second derivative of -t**4/12 - 7*t**3/6 - 9*t**2/2 - t. Let s be x(-6). Let j = 3 + s. Solve j = -d - 3 for d.
-3
Let q = -20 + 28. Suppose 55 = -5*p + 5*f, 2*p - 3*f + 20 = -2*f. Let r = 6 - p. Solve q*b - r = 3*b for b.
3
Suppose 0*b = -b + 1. Suppose -2*x - 3*x - 5*m = 5, m = -3. Suppose 0*z + z + 3 = p, -x*p - 5*z - b = 0. Solve -3*y + 8 = p for y.
2
Let v(y) = 2*y. Let d be v(0). Solve -u + d*u + 5 = 0 for u.
5
Suppose -4*j + 15 = -9. Solve 3*v - v + j = 0 for v.
-3
Let n(v) = v**3 + 5*v**2 - 7*v - 3. Let s be n(-6). Solve 0 = s*t - 0*t - 6 for t.
2
Suppose 0 = 4*c + 9 + 11, 0 = 4*v + 5*c + 13. Suppose 0 = -5*q - 5*y - v + 18, -4*y = 8. Solve q*i + 13 + 2 = 0 for i.
-3
Let x be 3*(-1)/(-3)*3. Solve 3*y - 3 - x = 0 for y.
2
Let g be ((-2)/10 - 14/(-70)) + 4. Solve g*h - 9 = -1 for h.
2
Let d(c) = c**3 - c**2 + c + 3. Let k be d(0). Solve 0 = -2*y - k*y - 5 for y.
-1
Suppose 3*c + s = -3*s + 25, 4*c - 2*s = 4. Suppose r + r = -3*z + 10, -z = c*r - 15. Solve -3 = -r*a + 2 for a.
1
Suppose -10 - 2 = -h. Solve -h = -2*o + 5*o for o.
-4
Let u(x) = -x**3 - 6*x**2 + 7*x - 3. Let n be u(-7). Let o = 1 + n. Let r be 10/4 - (-1)/o. Solve r = s + 4 for s.
-2
Suppose -2*h + h = 3*h. Solve h*w = 2*w for w.
0
Let u be (1 - (2 - 1))*-1. Suppose p + p = u. Let k = -5 - -21. Solve -k = -4*i - p for i.
4
Let r = 14 - 9. Suppose r*u + 7 = 27. Solve -u = v + v for v.
-2
Let k be (-2)/(((-12)/(-10))/(-3)). Let f be 6/4*24/9. Let q = f - 0. Solve q*y - 2 = k*y for y.
-2
Suppose b - i = 4, -1 + 21 = -b - 5*i. Suppose j - 4*g = -5*g - 3, -1 = -j - 5*g. Let n = j + 7. Solve 3*p + 0 + n = b for p.
-1
Let t(b) = b**2 - 5*b - 2. Let d be t(7). Solve -s + d = 2*s for s.
4
Let m = -53 + 69. Solve -9*d + 5*d = -m for d.
4
Suppose 4 = r + r. Solve r*q - 1 = q for q.
1
Suppose -24 = -2*c + 16. Suppose 0 = 2*p + 2*p - c. Solve p*t - 6 = -1 for t.
1
Let w be (-2)/(-10) + 444/30. Suppose 3*n = 3*i - 12, -12 = -3*i - 10*n + 5*n. Solve 5 + w = -i*y for y.
-5
Let h = -15 + 19. Solve 2*q + 0 - h = 0 for q.
2
Let j(b) = -b**2 + 7*b - 4. Let c be j(6). Solve n = -c*n for n.
0
Let l(y) = -10*y - 2. Let b be l(-1). Solve 2*c - b = -2*c for c.
2
Let c(w) = w**3 + 8*w**2 + 8*w + 10. Let v be c(-7). Let f = v - 9. Let n(s) = -s**3 - 6*s**2 - s - 4. Let h be n(f). Solve h*z - 3*z = 0 for z.
0
Suppose 8*k = k + 112. Solve k = -4*z - 0*z for z.
-4
Let h(z) = -z**3 - z**2 + 3*z - 3. Let r be h(-3). Let m be 8/2*r/8. Solve 0 = -o - 2*o + m for o.
1
Let o = -89 - -114. Solve -3*v = 2*v + o for v.
-5
Let u(m) = -5*m**3 - m - 1. Let p be u(-1). Suppose l = 0, p*l - 50 = -0*o - 5*o. Solve -4*r = -10 - o for r.
5
Let o(b) = 5*b - 7. Let p be (7/(21/18))/(-1). Let q(n) = 4*n - 7. Let l(f) = p*q(f) + 5*o(f). Let c be l(-6). Solve -6 + c = 5*t for t.
-1
Suppose -y - 4*o - o = -35, 0 = -y - o + 27. Suppose -4*p + 9*p = y. Suppose 0 = c + 4*m - 6*m - 1, -p*c + 11 = -4*m. Solve i + c*i + 20 = 0 for i.
-5
Suppose x = -3 + 1. Let y be 4/(2*-2) - x. Solve 2*f + 1 = -y for f.
-1
Let o = 36 + -28. Solve 0 = -5*y - 7 - o for y.
-3
Let d = -22 - -9. Let l(v) = -v**3 - 14*v**2 - 14*v - 7. Let c be l(d). Solve -c = q + q for q.
-3
Suppose n = 4*h + 4*n - 52, -2*h + 8 = -3*n. Let w = h - 7. Solve w*s + 9 = -0*s for s.
-3
Let m be 12/8 - 6/(-4). Solve -l = m*l - 16 for l.
4
Suppose 0*z - 21 = -z. Let l = z - 11. Let t be 1 - (-6 + (-3)/(-1)). Solve t*c - l - 6 = 0 for c.
4
Let k = 7 + -7. Suppose k = -3*f - 9. Let u be (-16)/(-1 + f - -3). Solve q = -3*q + u for q.
4
Suppose -5*k + 5 = 2*i - 0*i, -3*i + 24 = 2*k. Let p(y) = 4*y + 3*y**2 + 2*y**2 - 1 - 6*y**2 + 0. Let a be p(2). Solve i = a*m - 2 for m.
4
Suppose 5*i = 45 - 20. Solve 3 = -x + i for x.
2
Let m = 4 - -1. Suppose m*o - 8*o + 6 = 0. Solve 3*s - o*s = -4 for s.
-4
Let t be 6/3 + -5 - -3. Suppose q - 14 + 2 = t. Solve 3*j + 0 + q = 0 for j.
-4
Let v(g) = g**3 + 8*g**2. Let b be v(-8). Suppose 3*k + 2*k = b. Solve k = -n - n + 10 for n.
5
Let d be (12/(-8))/((-2)/4). Solve -2*z - 7 - d = 0 for z.
-5
Let z = -3 - -7. Suppose -4*j = -2*j + z*i + 8, 7 = -3*j - 5*i. Solve j*c = c + 25 for c.
5
Let y(o) = -2*o + 4. Let t be y(3). Let b be t*6*(-4)/12. Solve -p + 0 = b for p.
-4
Let l be 101/(-5) + 1/5. Let y(u) = -3*u. Let g be y(-4). Let b be 74/10 - g/l. Solve -5*s - b = 12 for s.
-4
Suppose 7*h = 5*h. Let x(a) = a + 6. Let t be x(-6). Suppose t*z - 10 = u + 5*z, z - 17 = -4*u. Solve -u*y - 10 + h = 0 for y.
-2
Let j(a) = -a + 23. Let k be j(18). Solve k*g - 6 = 9 for g.
3
Let z(y) = 2*y**3 - 2*y**2 - y - 2. Let v be z(2). Let k = 8 - v. Solve k*m + 5 = -m for m.
-1
Let v = -24 - -28. Solve -a - v = -6 for a.
2
Let q(h) = h**3 + 13*h**2 - 2*h - 23. Let a be q(-13). Solve -8 = -a*s + 1 for s.
3
Let g be (-3 - -3) + (1 - 0). Let l be 0 + 6/3 - g. Let y be -1 - 6*1/(-1). Solve l = 2*f - y for f.
3
Let u be (5/(-5))/(4/(-24)). Solve t - u = -t for t.
3
Let u be (-1*1)/(11/(-55)). Solve 0 = 5*f - 0 + u for f.
-1
Let r be ((-1 + 1)/1)/(26 + -25). Solve r*g + 3*g = -6 for g.
-2
Let y be (-22)/77 + 130/14. Solve 4*s + y - 1 = 0 for s.
-2
Let t be (9/6)/(1/2). Suppose -2 = -z, 0 = j + 4*j + 5*z - 130. Let l = -12 + j. Solve t*d = -0*d - l for d.
-4
Suppose 3*z + 3*k - 75 = 0, -z = 4*z + 4*k - 130. Suppose 2*t = -4*w + 42, t - z = -5*w + 3*t. Let g = 13 - w. Solve 0 = i - g*i for i.
0
Let q = 1 + -1. Suppose 17 = 3*d + 11. Solve -d*c + 0*c + 6 = q for c.
3
Suppose t + 3*r + 9 - 1 = 0, -4 = r. Solve t*o - 2*o + 10 = 0 for o.
-5
Let i be (-15 + 8)*(0 - 1). Solve -10 = -i*q + 2*q for q.
2
Let p(f) = 27*f**2 + 2*f + 1. Let n be p(-1). Let v(k) = -k. Let g(u) = u**2 - 2*u - 4. Let d(m) = g(m) - 4*v(m). Let j be d(-4). Solve -6 + n = -j*x for x.
-5
Let d(u) = -u**3 - u**2 + 11*u - 2. Let n be d(-4). Solve -3*q = n*q - 10 for q.
2
Let q(p) = -p**3 - 16*p**2 - 17*p - 30. Let k be q(-15). Solve k + 6 = 2*g for g.
3
Let y(u) = -u + 4. Let o be y(0). Suppose -n = 5*z + 