12*o. Let n be 4/(-10)*(o - 17). Solve n*y = 3*y + 5 for y.
1
Let x be ((-2)/3 + 2)*(-2 + 8). Solve t = 5*t - x for t.
2
Let l = 77 - 77. Let n = 20 + -14. Solve -5*x + n + 4 = l for x.
2
Let t be 2*(4 + -2) - 0. Let u be 4 - ((-17)/68 + 9/t). Solve 0 = 3*p - u + 5 for p.
-1
Let t = -225 - -391. Let v be t/14 + 4/28. Solve -v = -x - 2*x for x.
4
Let t = -481 + 477. Let q(y) = 5*y - 3*y - 4 + 4*y**2 - 3*y**2. Let z be q(t). Solve -4*w + z = -5*w for w.
-4
Suppose -5*s + 21*b - 2 = 23*b, 2*s + 2*b = -2. Solve s = -27*x + 19*x - 40 for x.
-5
Suppose 0 = -311*h + 306*h + 10. Solve -h*j + 5 = -3 for j.
4
Let h(z) = -z**3 + 6*z**2 - 3*z + 5. Let b be h(5). Let v = 71 + -69. Solve 0 = -p - v*p - b for p.
-5
Let u = 4 + 10. Let r be (u/3)/(3/9). Let f be r/105 - 13/(-15). Solve 0 = -4*b - f + 13 for b.
3
Let z(o) = -o**3 - 17*o**2 - 43*o + 8. Let f be z(-14). Solve -f = -4*s - 2 for s.
5
Suppose 0 = -4*l + 5*l + 8. Let k(c) = c**3 + 7*c**2 - 11*c - 20. Let w be k(l). Suppose -y - w*r + 8 = 0, 3*y + 2*y = -3*r + 23. Solve -y = 2*o - 2 for o.
-1
Let g(q) = 53*q - 156. Let d be g(3). Solve -5 = -2*l + d for l.
4
Let x(o) = -o**2 - 5*o - 1. Let t be x(-4). Suppose 2*h = 5*p - 12, 4*h - t*p = 6 - 2. Solve -2*z - h = -z for z.
-4
Let k = -97 + 103. Solve k - 9 = -3*x for x.
1
Let s be (-1908)/9*(-2)/8. Suppose -3*z - 3*l = -2*z - 15, -3*z = l - s. Solve -5*c + 7 = -z for c.
5
Let l = 468 - 466. Solve 3*y - l = 7 for y.
3
Let s = -154 + 181. Solve -4*o - s = -11 for o.
-4
Let d(y) = 3*y**3 - 3*y**2 + y - 1. Let q be d(1). Suppose 0 = -3*f - 2*f + 2*w + 2, 4*f = 2*w + 2. Let p be 2 + 2/(-4)*f. Solve q = 5*x - p*x - 3 for x.
1
Let y(n) = 76*n + 840. Let p be y(-11). Solve -p = 11*k - 15*k for k.
1
Let v = -42 + 48. Let d be 12/v + 2 + -1. Solve s = d*s for s.
0
Let v(a) = -a**3 - 5*a + 14 + 20 + 31*a + 22 - 23*a**2. Let n be v(-24). Solve -5*p + n = -p for p.
2
Let k(l) = -53*l + 222. Let h be k(4). Solve -3 = -7*x - h for x.
-1
Suppose -5*h - 1 + 16 = 0. Suppose -h = 6*b - 21. Solve 2*d - b*d = 0 for d.
0
Suppose -5*m + 85 = -5*y, 3*y + y = m - 29. Let b = m - 10. Suppose 4*f - 34 = -p, -4*f - b*p + 29 = -1. Solve -5*i + f = -2*i for i.
3
Let s be (8/(-3))/(17/51). Let m = -44 - s. Let q be 18/m*(-10)/1. Solve 0 = -q*z + 6 + 14 for z.
4
Let m(s) = s**3 - 6*s**2 + 7*s + 2. Let u be m(5). Let v = u + -12. Suppose -4*a + 9 = -a. Solve a*x = -v*x for x.
0
Suppose 5*p + f - 10 + 0 = 0, p + 24 = 5*f. Solve -2*t - p - 3 = 0 for t.
-2
Let a be 0/((-9 - -2) + 9). Solve 2*o - 2 = -a for o.
1
Let h be (-1)/(2/(-12)*2). Let d(c) = 5*c**2 - 6. Let n be d(2). Suppose 3*l - 2*t = -1 + n, 0 = 5*l - h*t - 21. Solve 2*f + l = f for f.
-3
Let m(l) = -l**3 + 6*l**2 - 6*l. Let d = -33 + 35. Let s be m(d). Let a be 78/8 + 1/4. Solve -a = s*n + n for n.
-2
Let w(m) = -m**2 + 11*m - 16. Let o be w(8). Solve 23*r - 21*r = -o for r.
-4
Suppose 4*a - 10*a + 24 = 0. Suppose -p - 2*j + 9 = -4*j, -a*p - j + 63 = 0. Let q = 9 - 6. Solve -p = -6*w + q*w for w.
5
Let j be ((-72)/(-54))/((-8)/(-18)). Suppose 0*s = s + j*o - 16, 4*o = 12. Solve -2 + s = 5*g for g.
1
Let a = -4 + -29. Let d = 38 + a. Suppose -b + 4*l - 7 = l, 2*b - 3*l = -d. Solve s + b*s = -6 for s.
-2
Suppose 4*g - 13 = -m + 1, 0 = -4*m - g + 11. Solve -m = 5*t + 3 for t.
-1
Let q(b) = b + 16. Let p be q(-10). Suppose 2*o - p*o = -20. Solve o*j = -0*j + 20 for j.
4
Let z(d) = -2*d + 4. Let x be z(-1). Solve s = x*s for s.
0
Let f be 4/(-6) + (-76)/(-6). Suppose 12*t - 23*t + 55 = 0. Solve -t*u + f = -8 for u.
4
Suppose -4*s = 4*b - 108, 0 = -6*s + 3*s + 3*b + 99. Solve 0 = 9*m - 3*m + s for m.
-5
Let f(p) = p**2 - 4*p + 5. Let o(s) = 4*s**2 + 22*s + 10. Let t be o(-5). Let w be f(t). Solve -13 = -w*g + 7 for g.
4
Let p = -1195 + 1200. Suppose -4*a + 3 = -5. Suppose a*v - 14 + 2 = -3*l, -p = 5*l - 5*v. Solve -l*m = -0*m - 8 for m.
4
Let j be 69 + 18*6/(-9). Solve -j*p = -49*p - 40 for p.
5
Suppose -4*h - t = -5*t - 64, 2*h + 3*t = 12. Suppose -j + h = 5*y, 4*y + 4*j = 2*j + 6. Suppose -4*o + 9 + 31 = 0. Solve -y*z + z = o for z.
-5
Suppose 315 = -0*q - 5*q. Let u = q + 73. Solve -4*j - u = 6 for j.
-4
Suppose 0 = 57*k - 51*k - 918. Solve 0 = -30*j - k + 3 for j.
-5
Let u(k) = -k + 8. Let z be u(4). Let n(o) = -o**3 + 16*o**2 - 15*o + 8. Let v be n(15). Suppose -4*i + v*i - 28 = 0. Solve i = -z*y - 9 for y.
-4
Suppose v - 8 = -3*v. Suppose 3*g + 2 = v*s, 5*s - 7 - 9 = 2*g. Solve -w = -2*w - g for w.
-2
Let c(n) = n**3 - 6*n**2 - 11*n + 52. Let h be c(7). Solve h = 3*j - 11*j for j.
-3
Let t be (-78)/1*(-3)/9. Let l = t - 25. Let p be 0/l - (-12)/3. Solve 0 = p*j - 0*j - 12 for j.
3
Suppose 2*l = -0*l - 10, d - 5*l = 36. Suppose -2*w = 3*z - d, -3*w = z + 4*z - 17. Solve 5*i - 1 = w for i.
1
Let o = -36 - -77. Let s = o - 25. Solve -s = -2*h - 2*h for h.
4
Let f(o) = -o**2 - 15*o + 4. Let h be f(-7). Solve -17*l + h = -25 for l.
5
Let k(y) = 13*y - 4. Let p be k(4). Suppose 5*h - h = 4*m - p, -m + 12 = 2*h. Solve m = -0*s - 3*s for s.
-4
Let b = 48 - 33. Let z(i) be the first derivative of i**3/3 - 15*i**2/2 + i + 7. Let d be z(b). Solve -3*a + 4*a - d = 0 for a.
1
Suppose -5*j = -7*v + 58, v - 3*v + 20 = 2*j. Solve -p = v*p for p.
0
Let r(i) = -i - 25. Let w be r(-35). Solve -112*t = -114*t + w for t.
5
Suppose 14 = 4*p + 3*p. Let t be (-3 + p)/(-2)*-2. Let u be 11 + (t - (2 + -7)). Solve -3*m = -6*m + u for m.
5
Let y(g) = -3*g - 1. Let i be y(-9). Suppose 65 = 3*j + i. Suppose 5 - j = -2*u. Solve 4*b - u - 8 = 0 for b.
3
Let f be 1 + (2 - 0 - 4)*-2. Solve 12 = -w + f*w for w.
3
Suppose -135*s + 24 = -129*s. Solve 12*h + s*h - 64 = 0 for h.
4
Let p be 1 + 2/1 - 20/(-10). Suppose p*a + 37 = s, 5*s + 14*a - 12*a - 50 = 0. Solve -10*w = -s*w for w.
0
Let k be (-11)/44 + 1/4. Let s = 3 + -1. Suppose k*u - 4 = -s*u. Solve 6*z = u*z for z.
0
Suppose c = 3*l + 1 + 3, 2*l = -4*c + 16. Let d(m) = m**3 - 8*m**2 + 8*m - 2. Let p be d(7). Let x be (0/(-3) - 3)/(-1). Solve p = c*o - x*o for o.
5
Let o be 5*(-7)/7*(-1)/1. Suppose -o*q = -7*q - 12*q. Solve 2*g - 4*g - 2 = q for g.
-1
Suppose i = -2*i. Suppose -2*o + 5*d + 7 = -o, 3*o - 5*d - 11 = i. Suppose s = -2*u + 7*u - 3, 2*s = -u - 6. Solve o*b + b + 9 = u for b.
-3
Let s = 265 + -259. Solve -4*t - 14 = -s for t.
-2
Suppose 3*i = -4*m + 6 + 20, m + 16 = 3*i. Suppose 0*b + 4*s - 17 = b, 5*b = -3*s + 30. Suppose -b*v = 20 - 50. Solve -r + i*r = -v for r.
-2
Let l(i) = 2*i - 9. Let z be l(-9). Let h be (-111)/z - (-2)/(-18). Solve -2*y + 0 = h for y.
-2
Let b(x) = -x. Let z(y) = -y**2 + 22*y + 62. Let t(f) = -5*b(f) + z(f). Let l be t(29). Solve -l*s - s = 0 for s.
0
Suppose -4*n = -5*o - 20 + 68, o = -4*n + 24. Suppose -3*w - 2*v = 15, 0*w + 5*v + o = w. Let h be w + (7 - (0 - -2)). Solve -a + 0 = -h for a.
2
Let m(v) = v + 7. Let q be m(-5). Suppose 4*x + r - 43 = 0, 0*x + 3*r = q*x - 25. Suppose x*h = 7*h + 4. Solve h - 4 = -g for g.
3
Let m = -386 - -411. Solve 13*s = 18*s - m for s.
5
Suppose -5*t + 17 = -0*f + f, 0 = -3*f + 5*t + 11. Suppose -f*k + 3*k + 8 = 0. Solve k*c + c = 9 for c.
3
Suppose -r - 9 = 2*r, 0 = -5*v - 2*r - 56. Let x be (1/(-3))/(7/399). Let h = v - x. Solve -5*s + 2*s + h = 0 for s.
3
Let o(a) = 4*a**3 + a. Let t be o(1). Let y be 2 + (10/t)/2. Suppose -y*n + 35 = 2*n. Solve -n + 2 = -5*s for s.
1
Suppose -3*k + 5 + 13 = 2*h, -5*k - 2*h = -34. Solve 0 = 4*f - k*f - 4 for f.
-1
Let s = -20 + 24. Suppose -z - z - s = 0. Let y be 4 + z*(-3)/(-6). Solve -y*b = b for b.
0
Let x = -2134 - -2137. Let y = -3 + 5. Solve 1 = y*f - x for f.
2
Let i be (-1)/(2/2) + 5 - 1. Solve 2 = i*w - 5*w for w.
-1
Suppose -4*x + 20 = 2*u, -5*x + 3*u = 2*u - 32. Let s(d) = 6*d**2 + 2*d - 2. Let w be s(1). Let r = w - 6. Solve r = -2*t + x for t.
3
Let x(l) = l**3 + l**2 - l - 1. Let a(y) = 4*y**3 + 22*y**2 - 6*y + 15. Let j(c) = a(c) - 5*x(c). Let u be j(17). Solve -u*t + 8*t - 20 = 0 for t.
4
Let u(n) = 2*n - 8. Let l be u(5). Let b be -13*45/(-975) - (-34)/10. Solve -2*m - b = l*m for m.
-1
Let v be -27 + 7/(28/8). Let f = v - -27. Solve -f*h = -3*h - 2 for h.
-2
Suppose -4*w + 11 = 3. Suppose 0 = -4*t + 20, -4*t + 8*t = -5*q + 30. Let d(u) = 2*u + 30. Let h be d(-11). Solve q*f - h = -w*f for f.
2
Suppose -2*y = 3*t + 4 + 4, -5*y = 3*t + 2. Solve 2*a = a - y for a.
-2
Suppose -12 