 139*o = p*o + 10 for o.
-2
Let r(x) = -x**3 + 6*x**2 + 2. Let s be r(6). Suppose -v = 3*m - s, -2*m - v - v = 0. Suppose -3*q + m = -5. Solve 0 = -q*t + t + 2 for t.
2
Suppose -p = -3*p + 22. Suppose 29 + p = 5*m. Let s be (-11)/44*m/(-1). Solve -s*u + 3 = -7 for u.
5
Let h(f) = f - 4. Let v be h(2). Let t = 4 + v. Let n be 3/t*(3 + -1). Solve -n*g = -g - 8 for g.
4
Suppose 0 = 12*p - 45*p + 231. Solve 0 = 13*v - 20*v + p for v.
1
Let b be 84 - 75 - (1 + 1). Solve 7*v + 0*v = b for v.
1
Suppose -n - u - 2 + 6 = 0, -8 = -2*u. Suppose 5*b = -4*c - n*b + 10, 2*c - 5*b = 20. Solve c*w - w = 0 for w.
0
Let n(y) = -y**3 + 5*y**2 - y + 7. Let t be n(5). Suppose -2*i = -2, t*i + 100 = 4*q - 2*i. Suppose 0 = 5*m - q + 6. Solve c - 3*c - m = 0 for c.
-2
Suppose -23*q = -26*q + 120. Solve 37 = -p + q for p.
3
Let m(n) = -2*n**2 + 19*n + 4. Let w be m(9). Solve 0 = -3*a - 25 + w for a.
-4
Let k be 142/10 - (-2)/(-10). Suppose -3*p = -0*p - 5*n - 27, -5*p = 2*n - k. Let x be ((-36)/p - -1)*-1. Solve 0*q + 4*q + x = 0 for q.
-2
Suppose -15 = 3*z, 0*z = -2*s + 3*z + 23. Suppose 0*c = s*c - 8. Solve 0 = 3*x - c - 4 for x.
2
Let k(w) = w - 5. Let x be k(7). Let l = 0 + x. Let m = -1619 + 1634. Solve -l*h - h = m for h.
-5
Suppose -i = 3*b - 21, 7*b - 5*i - 28 = 3*b. Solve 0 = 2*n + b + 1 for n.
-4
Let i(r) = r**2 - 12*r - 9. Let b be i(13). Suppose 15 - 47 = -b*u. Suppose -7 = -w + u. Solve -4*k + 5 = -w for k.
5
Let s(o) = -o**2 + 19*o + 3. Let v be s(17). Let z = v - 20. Solve -3*u - 5 = -z for u.
4
Let q = -6 - -56. Suppose 5*p - 38 = -3*c, -3*c + p = -0*p - q. Solve h = -3*h - c for h.
-4
Let j(r) = 12*r + 682. Let v be j(-52). Solve 0 = -4*k - v + 54 for k.
-1
Let m(j) = 3*j**3 - 2*j**2 - 5*j - 2. Let g(t) = -7*t**3 + 5*t**2 + 11*t + 5. Let k(f) = -4*g(f) - 9*m(f). Let x be k(2). Solve -3*b - 6 + x = 0 for b.
-2
Suppose 0 = -3*t + 14*t - 22. Solve t*g = 5*g for g.
0
Let s(d) = d + 10. Let m be s(-9). Let w(f) = 10*f**2 + f. Let i be w(m). Suppose 1 = 2*o - i. Solve o*g = 2*g for g.
0
Let w(n) = 3*n + 14. Let g(q) = q**3 + 9*q**2 + 2*q + 12. Let u be g(-9). Let p be w(u). Let z be 2 + -2 - p/2. Solve c - 15 = -z*c for c.
5
Suppose -r + 0 = -3. Suppose p = 3*d - r*p - 6, -p = 0. Solve -5 = -d*f + 1 for f.
3
Suppose -5*s = 5*l - 10, s + 0*l = -4*l - 4. Suppose i + 15 = 4*i, -5*i - 55 = -s*y. Let k be (y/6)/(2/3). Solve -k*c - 1 = 4 for c.
-1
Suppose -5*m - 36 = -161. Suppose 3*c - 5*b - 11 = 0, 3*c - m - 6 = -5*b. Solve c + 5 = 4*q for q.
3
Let h(g) = -9*g + 4. Let z = -7 - -2. Let r(m) = -8*m + 3. Let l(f) = z*h(f) + 6*r(f). Let a be l(-4). Solve 0*v = 5*v + a for v.
-2
Let s be (-12 - -18 - 11)/(-1). Let c be 2/(-6) - 10/(-3). Solve -s*b = c - 28 for b.
5
Suppose -2*v = 30 - 172. Solve -16*m - v + 7 = 0 for m.
-4
Let m(g) = -g**3 + 5*g**2 + 6*g. Let u be m(6). Solve u = -5*w + 13 + 12 for w.
5
Let g(k) = -k**3 + 7*k**2 + k - 7. Let h be g(7). Let d be (2*1)/(1 + h). Solve d*b = -b + 6 for b.
2
Suppose 87 = -10*c + 7*c. Let k = -26 - c. Solve k*v = v for v.
0
Let s(r) = 2010*r + 14072. Let m be s(-7). Suppose 0 = 4*w - 20. Solve w*x = 8 + m for x.
2
Let b = -43 + 47. Let i(c) = c**2 - 5*c + 6. Let d be i(b). Solve 3 = -r - d for r.
-5
Suppose -8 = -4*q - 2*w + 10, 0 = 2*q - 4*w - 34. Let b = q + -1. Suppose 22 = 2*v + b. Solve v + 0 = -4*u for u.
-2
Suppose -g = 3*m + 9 - 27, 5*g - 42 = -3*m. Solve -44 = g*k - 14 for k.
-5
Suppose 0 = -2*c + 5*i + 57, c + 4*i + 3 = -1. Let u = c - 16. Solve u = 3*x - 5 + 14 for x.
-3
Let j be ((-36)/40)/((-9)/60). Let x(i) = -4*i + 1. Let k(w) = -w + 1. Let n(u) = -5*k(u) + x(u). Let r be n(j). Solve 0 = 3*s + r*s for s.
0
Suppose -5*u - 3 = -23. Suppose 0 = -9*f + u*f. Suppose 0 = 5*i - a + 1, 4*a - 6 = i - 2. Solve i*w - 4*w = f for w.
0
Let y(g) = 2*g**2 - 43*g + 27. Let z be y(21). Solve 0 = -z*f + 4*f - 10 for f.
-5
Suppose -5*d = -10 - 10. Let k(i) = -i**3 + 5*i**2 - i + 3. Let w be k(d). Solve -5*s + 0 = -w for s.
3
Suppose -6 = c + c, -5*h = 5*c + 5. Solve h*g + 9 - 19 = 0 for g.
5
Let v(p) = p + 6. Let h be v(-3). Suppose n + 0*n - d - h = 0, 4*n + 2*d + 6 = 0. Solve n = -2*u + 2 for u.
1
Suppose -4*n - 107 = 2*m - 43, 121 = -4*m - n. Let i = 32 + m. Solve 0 = 3*j + i*j + 25 for j.
-5
Let t(h) = -6*h**2 - 13*h - 20. Let v(x) = -5*x**2 - 12*x - 19. Let p(a) = 4*t(a) - 5*v(a). Let o be p(-5). Solve g + 2*g - 15 = o for g.
5
Let a be (-115)/2*((-38)/5 - -6). Solve -89*l = -a*l for l.
0
Let t(v) = -6*v**3 - v**2 + 1. Let w be t(-1). Let s = -6395 - -6410. Solve w*l - s = l for l.
3
Suppose 3*u = -3*y - 3, -3*y + 4*u + 5 - 29 = 0. Let n(h) = -h**3 - 5*h**2 - 6*h - 7. Let c be n(y). Solve -c = -2*k + 3 for k.
2
Suppose -x - 6 = -2*m, -x + 0*m - 2 = -m. Suppose -4*c = -2*b - 12, -x*b = 6*c - 5*c + 7. Solve 3*o - 4 = -c for o.
1
Let d = 17 - 6. Suppose d - 1 = 5*g. Solve -3*j - g = 4 for j.
-2
Let l(d) = d + 73*d**3 + 2*d**2 - 74*d**3 + 2 + 0*d**2. Let n be l(0). Solve 0 = n*t - 0*t for t.
0
Let r(o) = 5*o. Let g be r(-2). Let v = g + 36. Let k = v - 21. Solve 6 = 3*s - k*s for s.
-3
Let d be (12/(-30))/(2/(-10)). Suppose 0 = 2*f + 3*f + 3*p - 21, 5*f = p + 13. Solve f*m = -d*m for m.
0
Let k = -265 - -268. Solve 7*z = -k*z for z.
0
Let p(z) = z + 15. Let y be p(11). Let w = 26 - y. Solve u = -w*u + 4 for u.
4
Let x = 247 - 133. Solve -5*s - 124 = -x for s.
-2
Suppose 6*a = 2*a + 44. Suppose -2*t + 23 + 3 = -5*h, 0 = 5*t - h - 19. Solve -1 - a = t*j for j.
-4
Suppose 3*m - 48 = -4*g + 5*m, -g + 2*m = -6. Let t be (-2)/7 + 116/g. Solve -t = -5*f + 7 for f.
3
Let g be (0 + 2)*(-2)/(-4). Let k be 12/34*187/22. Solve o = g - k for o.
-2
Suppose 0 = -39*f + 37*f + 4*d + 6, -f + 3*d = -2. Solve -f*t + 4*t - 2 = 0 for t.
-2
Let u = 145 - 141. Solve y - u = -0 for y.
4
Let r be (-4 - -4)/(3/(2/2)). Solve 3*u = 3 - r for u.
1
Let l be 4/((-56)/70) - 33/(-1). Solve l + 2 = -6*u for u.
-5
Let s = 128 + -120. Solve 20 = -s*f + 12*f for f.
5
Suppose 3*r + 22 = 5*t, 2 = -3*t - r - r. Solve -f = t*f for f.
0
Let l(k) = 7*k - 4. Let p be l(1). Suppose 0*g = 4*g, -p*g = t. Solve t - 5 = -5*y for y.
1
Suppose -4*v = -v + 5*z + 2, 3*v - 22 = z. Suppose -3*g - n = -5, 2*g + 3*n + v = -0. Solve -3*p + g = 12 for p.
-3
Let h(b) = 2*b - 2. Suppose -2*m + 3*k + 7 = -8, m = 2*k + 9. Let p be h(m). Solve -6 = -p*l + 2 for l.
2
Let v = -224 + 224. Solve v*w - 4*w = 0 for w.
0
Suppose -2*j - 32 + 116 = -4*y, j + 4 = 0. Let d = 79 + -92. Let r = d - y. Solve -4*w - r = w for w.
-2
Let o(d) = -d - 5. Let z be o(19). Let h = -24 - z. Solve w - 1 - 4 = h for w.
5
Suppose 5*a + 536 = 2*s, 3*s - 818 = 31*a - 27*a. Solve s*h = 279*h + 2 for h.
-2
Suppose 62*x = 74*x. Solve 2*j - 18 + 10 = x for j.
4
Suppose -6*v + 78 = -24. Let z be ((-34)/v)/(0 - 1). Solve -z*d + 8 = 2*d for d.
2
Suppose -x = 5*l + 40, -2*x + 20 = 2*x. Let g be 25/9 - (8/l)/4. Solve g*d + 5 - 20 = 0 for d.
5
Let k = -6 + 6. Suppose -3*l - 4 + 10 = k. Solve l*n = 6*n for n.
0
Let v be 2/15 + (-368)/60. Let u be (2/(-3))/(v/27). Solve 0 = -0*g - u*g for g.
0
Let v(k) be the first derivative of -3*k**2 + 18*k - 55. Let f be v(3). Solve -5*x + 5 = -f for x.
1
Let t be 2/9 + (-202)/18. Let r = t - -7. Let u be (-2)/(-2)*(4 + r). Solve h = -u*h for h.
0
Suppose 25 = c - 6*c. Let f(n) = 2*n**2 + 5*n - 12. Let v be f(c). Solve v = 5*g - 7 for g.
4
Suppose 44*g - 81 = 47*g. Let d = g - -30. Solve 0*n = -d*n + 12 for n.
4
Let s(b) = b**3 - 3*b**2 - 3*b. Let x be s(4). Suppose 1 = u, x*u + 3 = -n + 11. Solve 0 = -4*i - n - 8 for i.
-3
Suppose h + 5*p + 0 = -10, p + 4 = 0. Solve h = -4*b - b for b.
-2
Let z be (1/(-1))/(2/(-4)). Suppose -2*d - 48 = z*d. Let s = d + 15. Solve -s = 3*u - 15 for u.
4
Suppose -4*v + 5*a - 1 - 8 = 0, a = 5. Let x(c) = -c + 3. Let l be x(-3). Suppose v*d = l*d. Solve d*t - 5*t = 5 for t.
-1
Suppose 2*q = -5*h + 10, 4*q - 8 = -5*h + 12. Suppose a = -q*d + 40, 0 = -2*d - d + 12. Solve -7*c = -3*c + a for c.
-5
Let a be ((-3)/(-1))/(-7*(-30)/140). Solve -33*y + a = -35*y for y.
-1
Suppose -3*f + 5*f = 3*a, 13 = 5*a + f. Solve 2 = -j - a for j.
-4
Let a(k) = -k**3 - 5*k**2 - 3*k + 6. Let o be a(-4). Solve -o*f + 6*f = 12 for f.
3
Suppose 3*t = 0, -5*t - 18 = b - 21. Solve -b*j + 12 = -9*j for j.
-2
Let c = 195 - 191. Solve c*y = 2*y - 2 for y.
-1
Let g(l) be the third der