2*t - 2 + n for t.
2
Let z = -22 + 27. Let d = -11 + 19. Suppose -z*q + 2 = -d. Solve -6 = 2*k + q for k.
-4
Let p be ((-105)/(-14))/(1/2). Solve o + p = 6*o for o.
3
Suppose 0 = 2*n + 104 + 30. Let k = -46 - n. Let b = k - 3. Solve 5*m = b + 7 for m.
5
Let k = -5 - -5. Suppose k = -5*b + 7 + 3. Suppose -20 = 31*u - 36*u. Solve -u = -b*v - 2*v for v.
1
Suppose 3*r - r = 2. Let d be -1*-6*1/r. Solve d*u = u for u.
0
Let a = 0 + 3. Suppose 3*r + q - 9 = -3*q, a*q + 15 = 5*r. Solve r*g + g = 0 for g.
0
Let k(b) = -b**2 + 9*b - 9. Let m be k(7). Let s(a) = -a**2 + 5*a. Let p be s(4). Suppose -9 = -p*z + 3. Solve z*y = m*y - 6 for y.
3
Let z = 3 - 0. Suppose -d + z*d = 4. Solve 1 = d*s - 5 for s.
3
Let x = 1 + -1. Suppose -3*q - f = -0*f - 5, 6 = 5*q + 4*f. Solve q*r - 2 + 0 = x for r.
1
Let g = -8 - -13. Suppose 0 = -3*p - 2*d - 1, -g = p + 2*d + d. Solve 5*x - 4*x - p = 0 for x.
1
Suppose -2*c + 3*s = 3, 3*c - 7*c - s = -1. Solve c = 2*h + 7 - 1 for h.
-3
Let l be 0*(1 + -2 + 0). Suppose 4*d + 3*w - 24 = 0, -2*w = -d + 6 - l. Solve -2*q + 12 = -d*q for q.
-3
Suppose -6*o + 7*o = 4. Solve 4 = -0*f + o*f for f.
1
Suppose -3*m + 5*j = -3 + 11, 3*j = 3*m + 6. Let s = 1 + m. Solve s*g = 3*g - 3 for g.
1
Let u = 45 - 35. Solve -4*h + 2 = -u for h.
3
Let a = 1 - 0. Let t be 0/5 - (1 - a). Suppose 4*g + g = -5*s + 15, 0 = -5*s - 4*g + 14. Solve -s*l + 1 - 5 = t for l.
-2
Let n(o) = -o**2 + 12*o + 10. Let j be n(13). Let x(r) = 2*r**2 - 2*r + 1. Let d be x(j). Solve d = h + 4*h for h.
5
Let k = 36 + -20. Solve -7*x + 3*x + k = 0 for x.
4
Let r(u) = -3*u + 2. Let i be r(-1). Solve i*p = -0*p + 25 for p.
5
Let u(r) = -r**2 + 3*r + 1. Let x = -3 + 8. Suppose -3 + 18 = x*q. Let v be u(q). Solve p + v = -0*p for p.
-1
Suppose -4*m + 6 + 2 = 0. Suppose 0 = 2*n + 2*j - 8, m*n + 5*j + 5 = 1. Solve 0 = -3*t + 7 + n for t.
5
Suppose 8*j - 8 - 8 = 0. Solve 0 = j*g - 0*g - 10 for g.
5
Suppose -7*p + 9*p - 4 = 0. Let o be 3/3 - 0 - 1. Solve o = -2*b - 0 - p for b.
-1
Let z be (34 - 34)/(1 - 1 - -3). Solve -4*d + z = -16 for d.
4
Suppose 0 = 3*t + 5 - 14. Solve -q = t*q for q.
0
Let o be 4/10 + (-24)/(-15). Let b = 2 - -1. Suppose -4 = -2*p + 2*y, -o*p - 1 + b = -3*y. Solve 2 = p*g - 3*g for g.
2
Let g = -40 - -43. Solve 5*v - g*v = 0 for v.
0
Let d = -14 + 18. Solve d*n = -n + 5 for n.
1
Suppose 70*q - 6 = 67*q. Solve -4*a = q - 6 for a.
1
Suppose -4*t = -28 + 4. Let d = t - 0. Let i be ((-4)/d)/(2/(-30)). Solve -4*h = -2 - i for h.
3
Let w = -8 + 11. Suppose -w*z = 1 - 13. Suppose 2*p - z*k - 4 = 0, -4*k = 4*p - 3 - 5. Solve p*q = 3*q for q.
0
Suppose -4*m + 24 = 5*q, 4*q - 7 = q + 5*m. Suppose -b - 5 - q = -4*d, -2 = 2*b. Suppose -s = -5*s + 8. Solve 0 = -l + d*l + s for l.
-2
Suppose 0 = -9*o + 4*o. Let j = 15 + -16. Let w = 2 - j. Solve -v = w - o for v.
-3
Let a be 10 - ((2 - -1) + (-1)/1). Let z(b) = -b. Let f be z(0). Solve -v + 5*v - a = f for v.
2
Let f(i) = -i**2 + 5*i + 8. Let m be f(6). Suppose m*w - 19 = o, -28 = 2*w - 6*w + 4*o. Let s = -23 + 28. Solve -s*c + w = -c for c.
3
Let r be ((-6)/4)/(5/10). Let h = -1 - r. Solve h*m - 10 = 7*m for m.
-2
Let t = 2 + -2. Suppose t*g = 5*g - 190. Suppose 2*j + 0*c = 5*c + g, -4*j - 2*c + 28 = 0. Solve -20 = -j*n + 4*n for n.
4
Let o be 0*(2 + 3 + -1 + -3). Solve h - 4*h - 6 = o for h.
-2
Suppose d + 2*d = -6. Let h be (-2)/(3/d - -1). Solve -h*o + 1 = 13 for o.
-3
Let w(z) = -4*z. Let r be w(-1). Suppose -3*h = -5*m - 0*h + 75, 3*m - h - 45 = 0. Suppose -r*i + 29 = -m. Solve 5*c - i = 14 for c.
5
Let c(h) = 5*h**2 + 6*h + 7. Let m(d) = -4*d**2 - 5*d - 6. Let f(y) = 5*c(y) + 6*m(y). Let t be f(2). Suppose 0 = -t*o + 5*o - 6. Solve -o*k - 15 = -6 for k.
-3
Suppose 0 = 3*b - b - 6. Suppose 5*c + b = -3*v, -3*c - 2*v - 2 = -0*c. Suppose 4*t - 17 - 15 = c. Solve -2*m + 0 = t for m.
-4
Suppose 6*a - a = 0. Solve -5*s + 0*s = a for s.
0
Let n(b) = b - 6. Let f be n(6). Let d be (-13)/(-2) - 1/(-2). Suppose 4*w = d*w - 9. Solve f = -5*y + w*y for y.
0
Let r(o) = -o**2 + 7*o - 6. Let i be r(6). Suppose i*h - 12 = -3*h. Solve 7*t + 12 = h*t for t.
-4
Let y = -34 + 34. Solve y = -g + 3*g for g.
0
Suppose 4*y - 5 - 13 = 2*k, -5*y + 21 = -k. Let z = -523 + 525. Solve -z = -y*j - 6 for j.
-1
Suppose -7 = -5*w + 8. Let m = w + -1. Solve h + 2 = m*h for h.
2
Let k = 7 - 7. Suppose 4*a = 10*a - 24. Solve -a*v - 2 + 10 = k for v.
2
Let i be 1/(2 - (-15)/(-7)). Let a be i/(-21)*(11 - -1). Solve -a*j + 25 = j for j.
5
Let a be 4 - (-4 - 0 - -8). Solve 5*j - 20 = -a for j.
4
Let a(g) = 7*g. Let m(r) = -r. Let q(j) = -a(j) - 6*m(j). Let d be q(-1). Let z = 1 + d. Solve -2*p - z*p - 16 = 0 for p.
-4
Suppose 0*f + 4*x = -3*f + 30, -2*x - 34 = -2*f. Let y be (54/(-21))/((-3)/f). Solve -2*p - 4 = -y for p.
4
Let c(j) = -j**3 - 6*j**2 - 5*j + 7. Let u be c(-5). Suppose 6*b = 2*b. Solve -2*l + u*l = b for l.
0
Let q be 0 + 2 + -1 + 1. Suppose 15 = -4*z - 5*a, -a = 4*z - 6*a - 15. Let x be (-1)/(1/(-3) + z). Solve -2 = q*f - x*f for f.
2
Suppose -5*b + 9 = 4. Let t be (3 + -2)/(-1) + b. Let l = t - -3. Solve 0 = l*w + 2*w for w.
0
Let g be 4/(-8)*(-9 + -1). Let i be g*(4/10 + 2). Suppose 0 = -3*t - t + i. Solve 0 = 4*j + 15 - t for j.
-3
Let d(g) = g**2 - 9*g + 9. Let t be d(6). Let k be (t/6)/(2/(-28)). Suppose -1 - 2 = p + n, 3*p - k = 3*n. Solve 8 - 2 = p*a for a.
3
Suppose -2 = f + f - j, -10 = 4*f - 5*j. Suppose 3*n + 2*s - 14 = 0, 3*n + 4*s - 12 = s. Solve f = -3*t + n*t for t.
0
Suppose 3*g = -g. Solve g = -2*o - 0 + 10 for o.
5
Suppose x = 2*x - 0*x. Solve 5*m = -x*m - 5 for m.
-1
Suppose c - 4*c = -0*c. Solve -h + 4 - 1 = c for h.
3
Suppose 3*h - 2*h = 0. Suppose 0 = -z + 3 - h. Solve z*l = l for l.
0
Let a be ((-9)/12)/((-10)/80). Solve -4*r - a = -22 for r.
4
Let j be 2*(-4)/8*-5. Solve j*u + 0*u - 15 = 0 for u.
3
Let h(n) = n**2 + 4*n + 7. Let j be h(-2). Solve -4*p - j = 1 for p.
-1
Suppose 4*c = -4*y - 8, -4*y - 4*c + 3*c + 1 = 0. Solve 9 = -2*i + y for i.
-4
Suppose 2 + 10 = 4*p. Let y be 6*(2/4)/1. Let d = p - y. Solve -m - 3 = -d for m.
-3
Suppose 3*p + 24 = 5*p. Suppose -3*j = -0*j - p. Solve 0*k - j*k = 20 for k.
-5
Suppose 3*c + 3 = -3*u + 33, 3*u - 3*c - 12 = 0. Solve z - u + 2 = 0 for z.
5
Let r = 1 + 5. Suppose s - 6*s = -15. Solve -s*b - r = -b for b.
-3
Let x(w) be the second derivative of w**7/2520 - 7*w**6/720 - w**4/6 - 2*w. Let p(o) be the third derivative of x(o). Let a be p(7). Solve a*u = u for u.
0
Let v(j) = -j**2 - 8*j + 2. Let r be v(-8). Solve r*b - b = 4 for b.
4
Suppose -3*i - 2*i = -x - 17, 3*x = i + 5. Solve -x = -2*u + u for u.
3
Suppose 2*u + 417 = 423. Solve -u*j - 20 = j for j.
-5
Let f(u) = -u**3 - 5*u**2 + 4. Let w be f(-5). Suppose 11 = w*j + 3*g - 2, 3*g = -3. Solve 4*o - 2*o + j = 0 for o.
-2
Let b(i) = 10*i - 7. Let h be b(1). Solve 0 = -h*v - v + 16 for v.
4
Let u(h) = -h**2 + 4 + 3*h - 6 + 0*h. Let d be u(2). Let c be (2 - (-3)/(-2))*d. Solve c*s - 2 = -2*s for s.
1
Let s be 32/5 - (-5)/(75/(-6)). Solve s*j - 3*j + 12 = 0 for j.
-4
Let m(g) = 2*g + 4. Let q be m(4). Solve -8*b + 4*b + q = 0 for b.
3
Suppose -7 = 4*q + 3*v, 0*q + 3*q + 5*v = -19. Let y be ((-18)/(-5))/(q/5). Solve 0 = -4*o + y + 7 for o.
4
Let z be 4*(1 - 3 - (-55)/20). Solve z*h = -3 - 0 for h.
-1
Suppose 0*y = 2*y - 10. Solve -3 + y = d for d.
2
Let p(f) = f**3 - f**2 - 3*f - 2. Let a be p(3). Solve 2*r = a*r for r.
0
Let l be (-76)/(-12) + (-2)/(-3). Suppose -5*o = -l*o. Solve -2 = 2*s - o*s for s.
-1
Suppose 15 = 3*d, 7*w - 3*w = -d + 85. Let k be 2/(w/6)*5. Suppose 0 = -5*r + 2*r + k. Solve -2*x + r = -1 for x.
1
Let d(t) = 7*t**2 - t + 1. Let k be 2 + -2 + 2 + -1. Let j be d(k). Suppose g + 5 = x, -2*x + j + 0 = -3*g. Solve 4 = -3*b - x for b.
-4
Let f be (41 + -4)*(-1 + 2). Suppose 2*s - 2*b = 3*b + f, 3*s + 2*b - 8 = 0. Suppose -s*d = -d. Solve 3 + d = -u for u.
-3
Let v be 3/(-1) + (11 - 2). Suppose -3*d - 8 = -2*o, 0 = -0*d + 2*d - 5*o - 2. Let h = v + d. Solve h*p + 5 = -1 for p.
-3
Suppose -a + 8 = 4*s + a, 1 = 5*s - 2*a. Solve v = -s - 1 for v.
-2
Let a(s) = s**3 - 6*s**2 + 5*s + 2. Let i be a(5). Solve 0*b + i = b for b.
2
Let r(t) = t**2 - 2*t + 1. Let n be r(3). Solve 0 = -2*y + n*y for y.
0
Let m(d) = d**2 - 9*d + 5. Let k(t) = -2*t**2 + 10*t - 5. Let h(p) = 2*k(p) + 3*m(p). Let v be 1/(0 + 2/(-14)). Le