 + 40. Solve -a - x = 3*a for a.
-5
Let t(f) = f + 25. Suppose -2*j - m = 42, 3*m = -3*j - 50 - 19. Let o be t(j). Solve 3 = -3*p + o for p.
1
Let q be 1/((-2 + 6)/4). Solve -q + 0 = n for n.
-1
Let r(i) = -i + 5. Let x be r(4). Let q(v) = -v**2 + 4*v + 2. Let y be q(4). Suppose 1 = -n, y*c + n - x = 2*n. Solve h + h = c for h.
0
Suppose -2*h - g = h - 5, -h + 4*g = -6. Solve 0 = b + h*b for b.
0
Suppose -5*t - 16 = 4*n - t, -t = 3*n + 4. Let x(r) = -r**2 + r + 9. Let k be x(-2). Solve -2*j - 1 + k = n for j.
1
Let p be (-2)/(2/(-7)) + 4/(-4). Solve -2*x + 4 = -p for x.
5
Suppose 0 = w - 7*o + 2*o - 25, -2*o = 10. Solve -5*j - 11 - 14 = w for j.
-5
Let n(w) = -w. Let y be n(-5). Suppose y*d = d. Suppose d = -g - g + 8. Solve 2*r + g = -4 for r.
-4
Suppose 21*m - 93 = -9. Solve -m*l + 0 = -8 for l.
2
Suppose -2*i + 5*i + 11 = t, i - 7 = -5*t. Solve -5 = -3*u + t*u for u.
5
Suppose -3*m - h + 8 = 4*h, 2*h = -3*m + 5. Let g = 2 + m. Solve -g*v = -2 - 10 for v.
4
Let r be (-1 + 3/2)*0. Suppose y - 2 = -r*y. Solve g = -0*g + y for g.
2
Let b(d) = -d. Let h be b(2). Let s be (5/h)/(5/(-10)). Solve -4*i + s = -3 for i.
2
Suppose 35 = -3*d + 38. Let a(i) = i - 2. Let y be a(5). Solve d = y*g + 4 for g.
-1
Let l(w) = 5*w**2 + 6*w + 10. Let h(i) = -i**2 + i - 1. Let t = 3 - -3. Let b(u) = t*h(u) + l(u). Let g be b(10). Solve 9 - g = 3*n for n.
-5
Let n(d) = -2*d**2 + 16*d + 2. Let i be n(8). Solve -i*c = -5*c + 6 for c.
2
Suppose 0 + 2 = 2*t. Suppose -z + 2*i - t = 0, -5*i + 9 = -1. Solve -z*u = 9 - 0 for u.
-3
Let p(n) = -n**2 - 3*n - 1. Let f be p(-1). Suppose -y + 1 = -f. Let w be (y/(-6))/((-2)/24). Solve 2*s + w = s for s.
-4
Let o(n) = 5*n**2 - 2*n + 5*n**2 + 1 - 7*n**2. Let m be o(1). Solve -a + m*a - 2 = 0 for a.
2
Let n be (33/6)/(2/4). Suppose -n = -5*g + 9. Let w be 1/(-4) - (-13)/g. Solve 0 = -8*m + w*m + 25 for m.
5
Let q(v) = v - 4. Let z be q(5). Let l = 4 + z. Suppose -2*u - 4*f - f = -22, 5*f = l*u - 20. Solve 0 = u*x - 2*x + 12 for x.
-3
Let y(d) = 3*d - 1. Let f be y(-6). Let v = f - -27. Let q be 5 + 1 + -2 + -1. Solve 0 = -q*t - 2 + v for t.
2
Let j(n) = n + 4. Let s be j(-2). Solve -10 = -0*v + s*v for v.
-5
Let m = 173 - 173. Solve 3*b - 6 = -m*b for b.
2
Let h(c) = -c**3 + 7*c**2 - 3*c + 2. Let y be h(6). Let z(g) = 2*g + 4. Let j be z(3). Suppose 20*f - 75 - 25 = 0. Solve y = -j*o + f*o for o.
-4
Let c(w) = w**3 + 7*w**2 + 4*w - 12. Let b be c(-6). Solve -h = -b*h - 1 for h.
1
Let o(z) = -3*z - 4. Let m be o(-2). Solve 2*i + m = 3*i for i.
2
Suppose 3*n - 10 = -2*n. Suppose n*h = h. Let b = -22 - -32. Solve h = 4*r + b - 26 for r.
4
Let v be -6*(-2)/6*-3. Let i be v/21 - (-5)/(-7). Let c be (i - 6/(-9))*-12. Solve 3*p + c + 5 = 0 for p.
-3
Suppose -5*z = s - 2*z - 30, -5*z = -5*s + 230. Let m be (-1)/2*s/(-7). Solve m*g = 8*g - 5 for g.
1
Suppose 0 = -4*j - 1 + 49. Suppose 5*d - 13 - j = 0. Suppose -2*p = -d*p + 6. Solve -8 = 2*u + p for u.
-5
Suppose -2*i = -0*i - 14. Let r = i + -5. Solve r*a = -2*a - 4 for a.
-1
Let l be (-2 + -12)*1/(-2). Suppose 9 = -y + 5*f, 0*y - 2*y - 3*f + 8 = 0. Solve -y = -2*v - l for v.
-3
Suppose -13*w = -10*w + 24. Let h(p) = -p**3 - 9*p**2 - 10*p - 16. Let q be h(w). Solve -4*o = -q*o - 12 for o.
3
Suppose -41 - 184 = -5*d. Suppose -7*m + d = -2*m. Solve 3*u + 0 = m for u.
3
Let q be (-3)/(2 + (-5)/2). Let x be q/(-39) + (-335)/(-65). Solve h - x = -2 for h.
3
Let n be 6/2 + (-11 - 0). Let o be n/(-20) + 164/(-10). Let r be (8/o)/(1/(-2)). Solve r = 2*l + 7 for l.
-3
Suppose -5*s = 0, -3*s - 6 = -3*r - 5*s. Solve 6 = 5*x - r*x for x.
2
Suppose 2*f + 15 = 7*f. Solve -7 + f = 4*u for u.
-1
Suppose -g - 3*g = 4. Let b = 2 + g. Suppose -m - 2*r + 6 = 0, b - 13 = -2*m + 4*r. Solve u + u = m for u.
3
Let j be ((-2)/(-3))/(16/72). Let s = 6 + -4. Suppose 0*l - s*n - 2 = -l, 0 = -5*n + 15. Solve j*r = -1 - l for r.
-3
Let f(q) = 11*q**3 + 18*q**2 + q - 18. Let k(v) = 7*v**3 + 12*v**2 + v - 12. Let i(r) = -5*f(r) + 8*k(r). Let u be i(-5). Solve -u*c + 2*c = 0 for c.
0
Suppose -1 = -5*s + 34. Let p be 30/7 + (-2)/s. Solve 15 = -9*v + p*v for v.
-3
Let i be (2/(-6))/(3/(-45)). Solve -i*p + 0*p = -10 for p.
2
Let c = 49 - 33. Let o = 2 + -3. Let t be 1 - (o - 4) - 1. Solve c = -t*g + 1 for g.
-3
Suppose -19 = 3*u - 91. Let c be 627/u + 3/(-24). Solve 0 = -4*q - c + 6 for q.
-5
Let w = -80 + 85. Let u = 14 - 20. Let i be (-15)/u + (-2)/4. Solve -w*q + 3 = -i for q.
1
Let b(n) = -2*n**2 - 12*n - 10. Let i be b(-5). Solve -4*t = -i + 4 for t.
-1
Suppose 10 = -3*y - 8. Let w = -4 - y. Suppose 3*a + w*o + 6 = 0, 0*a - 6 = 2*a + 2*o. Solve a = -0*i + 3*i for i.
0
Let b(t) = -t**2 + t + 5. Suppose -4*s + 3*d - 15 = 0, 2*d = s + 11 - 1. Let u be b(s). Suppose u*x - x = 8. Solve -4*p = -x*p for p.
0
Suppose 0 = -2*j - j. Suppose -145 = -3*l - 4*k, 5*k = -5*l - j*k + 250. Suppose 0*y + l = 5*y. Solve -5*b + y - 1 = 0 for b.
2
Suppose -4*s = 3*w - 24, -3*w + w = 3*s - 15. Solve w + 3 = -3*v for v.
-5
Let l = -1 + 3. Let i(u) = 33*u - 13. Let o(v) = 17*v - 7. Let w(y) = -6*i(y) + 11*o(y). Let c be w(-1). Solve 0 = -2*s + l - c for s.
-5
Let q = 15 + -11. Suppose -q*r = -3*r. Let a be 2 + (2 - 2) - r. Solve -1 - 3 = -a*i for i.
2
Suppose -3*c - 6 + 1 = b, 3*c = -3*b + 3. Suppose 5*p + 10 = -z, -3*p = -4*z - 5*p - b. Suppose -21 = -5*i - o, 5*o - 1 - 4 = z. Solve i = -2*l + 12 for l.
4
Let a be ((-6)/(-9) + -1)*-3. Solve a = -j - 1 for j.
-2
Suppose -5*v = 3*q - 0*v - 13, -4*v + 7 = -q. Solve -1 - q = -2*o for o.
1
Let q be -3*(-2 + (-3)/(-9)). Suppose 2*v - 2*i + 12 = 0, -2*i = -v + 2*i + 3. Let k = v - -17. Solve 7 + k = q*o for o.
3
Suppose 3*m = -0*m + 24. Suppose -m = -2*l + 4*o, -o + 3 = 2*l - 0*o. Solve -3 = -y + l for y.
5
Let u = 26 + -27. Let o be -4 + (0 + 3 - u). Solve -t + 3*t + 8 = o for t.
-4
Let y(q) = 7*q**3 + 3*q**2 - 10*q + 3. Let w(j) = -13*j**3 - 5*j**2 + 19*j - 5. Let p(o) = 6*w(o) + 11*y(o). Let a be p(4). Solve -v = a*v for v.
0
Suppose 3*x + 4*t - 10 = 27, 5*x - t = 31. Solve -15 = x*o - 2*o for o.
-3
Let a = -57 - -69. Solve -6*x - a = -2*x for x.
-3
Suppose 3*f + f - 24 = 0. Solve -z - 2 = -f for z.
4
Let w be 24/14 + 2/7. Suppose 2*v - 3 = v. Solve v*i + w*i = -15 for i.
-3
Let g(m) = 7*m**2 - 2*m - 1. Let k be g(-1). Let s(d) = d - 7. Let t be s(k). Solve 1 + t = o for o.
2
Let b = 24 - 24. Let g be (-4)/18 - 60/(-27). Suppose -3*q - 6*h + h + 30 = 0, 2*q - 4*h = -g. Solve b = -q*z + 10 + 15 for z.
5
Let u = 17 - 12. Let i = u - -1. Let g(a) = a**3 - 5*a**2 - 6*a. Let s be g(i). Solve 7*w - 2*w - 15 = s for w.
3
Suppose 2*o + 5 = 3*o. Let m = 7 + -11. Let n be 25 - m/16*0. Solve -o*s + 10 - n = 0 for s.
-3
Let x = 12 + -8. Solve -x*c - 2 = -10 for c.
2
Let g(v) be the second derivative of v + 0 + v**2 - 1/6*v**3 + 1/12*v**4. Let a be g(0). Solve a*j + 2*j = -12 for j.
-3
Let c be (13 + 1)*(-2)/(-4). Let z = c - 3. Solve -r - z = r for r.
-2
Let x(i) = -i**3 - 5*i**2 + 2*i + 2. Let r be x(-3). Let n be (-106)/r + 6/33. Suppose 4*y + 7 - 19 = 0. Solve -y*z - 8 = -n*z for z.
4
Suppose 2*s + 10 + 10 = -2*v, 0 = 3*v + 5*s + 40. Let i = 5 + v. Solve 0*f - 2*f - 6 = i for f.
-3
Let y(l) = l**2 + 7*l + 3. Let j(h) = h**2 + 5*h - 7. Let w be j(-5). Let z be y(w). Let s be 1 - (0 + 4 + -3). Solve 0 = -s*d + z*d for d.
0
Suppose 0 = 5*b - 18 + 3. Let r(l) = 2*l**2 - 1. Let h be r(-2). Suppose 0 = -5*c - 4*u + 8 + 32, -b*c = -u - h. Solve -c*f + 1 = -7 for f.
2
Let h(m) = -4*m + 4 - m**2 - 2*m**2 + 3*m**2 + m**2. Let y be h(3). Solve 4*v = -19 - y for v.
-5
Let c = 85 - 83. Solve 0 = -c*b + 7*b for b.
0
Let v(b) be the second derivative of -b**6/720 + b**5/8 + b**4/6 - b. Let r(u) be the third derivative of v(u). Let g be r(0). Solve q = 4*q + g for q.
-5
Let w = 8 - 6. Let i be 35/(-10)*(-24)/14. Let x(r) = r - 3. Let a be x(i). Solve -4 = -a*z + w for z.
2
Let f(r) = -2*r**2 + 10*r - 3*r + 2 + r**2. Let y be f(6). Let a be 12/2 - (-1 + 1). Solve 4*s - y = a*s for s.
-4
Suppose 3*p - 2*p + 14 = 0. Let t = p + 30. Solve -x = 3*x + t for x.
-4
Let v be (-72)/54*(-9)/2. Solve v - 2 = 2*a for a.
2
Let o(v) = -7*v + 1. Let m(w) = 6*w. Let c(q) = -6*m(q) - 5*o(q). Let n be c(-10). Let g(u) = -3*u - 4. Let b be g(-4). Solve -b + 23 = n*f for f.
3
Let w = -107 - -132. Solve 5*q - w = 10*q for q.
-5
Let s = 1