p + 41 = 5*o + 1. Solve 0 = p*h - 3*h + 25 for h.
-5
Suppose 3 = -5*z + 13. Let c(y) = 3*y. Let g be c(1). Solve 0 = z*w - 1 - g for w.
2
Let d = 3 + -3. Suppose d = -0*r - 5*r. Solve -3*u - 2*u + 20 = r for u.
4
Let i = 44 + -24. Suppose -o = -5*o + i. Solve -o*y = 8 + 12 for y.
-4
Let g be 1 + -4 - (5 - 7). Let w be (-21)/(-6) - 2/(-4). Let b = g + w. Solve b*f + 1 = -5 for f.
-2
Let w = 57 + -55. Solve q - w*q = -1 for q.
1
Let g = 8 + -2. Let i be 2/(-4) - (-27)/g. Suppose a + 18 = i*a. Solve 3*t = 5*t - a for t.
3
Let u = -53 - -53. Solve 0*n + 4*n + 16 = u for n.
-4
Let n(i) = -i**3 - 6*i**2 - 5*i + 5. Let g be n(-5). Suppose -5 - 5 = -g*y. Let p be (-2)/y*1 - -1. Solve p*a + 3*a = 0 for a.
0
Let l be 8/(-3)*(-15)/4. Suppose -y + 5*z - 12 = -0*y, -4*y - 2*z + 40 = 0. Solve 0 = 3*n - y*n + l for n.
2
Let i = -8 - -5. Let y be 10/(1*i/3). Let c = -6 - y. Solve -c*s + 1 = -3*s for s.
1
Let i be 9/(27/(-6)) - -2. Solve i = 2*z - 4*z + 10 for z.
5
Let i(j) = j + 31. Let r be i(-29). Suppose -2 = -3*p + 4. Solve 2 = r*l - p for l.
2
Let i = 33 - 31. Solve -i*f - 3*f - 15 = 0 for f.
-3
Let k = 24 + -14. Suppose -d = d - k. Suppose 0 = 5*g - m + 3*m - 8, d*g - 7 = -3*m. Solve g*a + 2*a - 12 = 0 for a.
3
Suppose -2*r = -26 + 6. Let j = 16 + -14. Suppose 0 = -j*g + 4*g. Solve g = -k + 3*k - r for k.
5
Let z(d) = -d**2 - 4*d - 2. Let x be z(-3). Suppose -3*n + 22 - x = 0. Solve 4*j = -n + 15 for j.
2
Suppose 4 - 12 = -2*r. Solve 0 = -2*v - r - 0 for v.
-2
Let g be (-1)/2 - 24/(-48). Solve i - 5 = -g*i for i.
5
Let w = 13 - 4. Solve 5*y + w = -6 for y.
-3
Suppose -5*s = -150 + 30. Let h be (-4)/s + (-93)/(-18). Solve 3*i = -2*i - h for i.
-1
Let o be 3 - 3/(-3 - -6). Suppose -3*t = -0*t - 3*k - 45, -4*k - 40 = -o*t. Solve 2*p + t = 7*p for p.
2
Suppose 2*d = 4*u - 112, 4*u - 93 = u - 3*d. Let x = u - 14. Solve 2*j = -j + x for j.
5
Suppose -5*k - 17 = -x, -5*x + k = -3*k - 22. Solve -3*o = x*o - 5 for o.
1
Let v(p) = -p**2 + 10*p - 13. Let u be v(8). Solve 2 = -u*y - 1 for y.
-1
Let c(t) = 7*t - 6. Let b be c(1). Solve -4*y - b = -5*y for y.
1
Suppose -2*u + 0*u = -12. Suppose -3*w = -4*l + 5*l - 6, 3*w = -2*l + u. Solve w*s + s = 0 for s.
0
Let c = 19 - 9. Suppose 5*q = 4*n + c, 6 = -6*n + n + 3*q. Solve n = 2*t - 0*t - 4 for t.
2
Let s = 27 - 25. Solve -s*h + 3 = h for h.
1
Let v be (-1)/((-14)/(-16) - 1). Let r = 5 + -2. Let z = r + -1. Solve v + z = 5*g for g.
2
Let c = -2 + 3. Suppose -3*o + 0*v + 3*v = 9, 3*o - 4*v + 14 = 0. Let k = o + c. Solve 5 = k*b - 2*b for b.
5
Suppose -2*s - 56 = 2*s. Let j = s + 37. Solve j - 3 = -5*b for b.
-4
Let i be 0 + 1 - (-1)/(-1). Let g = -61 - -63. Solve -4*a + g - 18 = i for a.
-4
Let b be (0 - (-1 + 1))/(-2). Suppose -5*i + b*i = -10. Solve -z - i = 1 for z.
-3
Let a = 17 - 16. Solve 0 = -o + 2*o + a for o.
-1
Let r(p) = p**3 - 2*p**2 - 3*p - 5. Let j be r(4). Suppose 6*c = 3*c + j. Suppose 0 = -4*w + f - 0*f + 1, -3*w = -c*f - 5. Solve w = s + 4*s - 20 for s.
4
Suppose 37 = 4*h + 5. Let b be (1 + 1)*3*1. Let c = h - b. Solve c*f - 2 = -0 for f.
1
Let s = -21 - -26. Suppose -s*l = -q + 9, 0*l + 2*l = -3*q + 10. Solve 2*b - 10 = q*b for b.
-5
Let r = -67 + 44. Let o = r + 43. Solve 0 = -4*d + o for d.
5
Let l be (5/(-3))/(2/(-6)). Solve -9 + 4 = -l*i for i.
1
Suppose 13 = w + 4*a, 3*a - 1 - 6 = 2*w. Let d be (5 + w)/(4/10). Suppose -d = -2*y - y. Solve -2 = -r - y for r.
-3
Let t be -5 + (1 - 3/(-3)). Let x be (t*2)/(-1 - 1). Solve -20 = -x*n - n for n.
5
Suppose 5*y + 4 + 1 = 0. Let q be 3 + (-1)/y + 0. Let t = 2 + 14. Solve q*m + t + 4 = 0 for m.
-5
Let p be (-22)/(-4) + 9/18. Solve 3*v - 9 = p*v for v.
-3
Let y = 19 - 19. Solve h + h - 6 = y for h.
3
Suppose -75 = -5*k - 4*t, 0*t = -3*k - 3*t + 45. Solve 5*z + k = 2*z for z.
-5
Suppose 3*p + 67 = 4*s, -3*s = p - 5 - 29. Let a be -2*3 + 3 + -1. Let u be a - -5 - (-1 - 0). Solve s = 5*k - u for k.
3
Let i(n) = -4*n - 1. Let v be i(-1). Let r(h) = -h**3 + 9*h**2 + h - 9. Let a be r(9). Solve k + v = -a*k for k.
-3
Let q = 33 + -31. Solve -7 = q*i - 1 for i.
-3
Let d be 0 + -2 + 8 - -3. Let a = -4 + d. Solve 0 = a*p - p for p.
0
Let c(r) = -4*r + 0*r - 5*r + 6*r. Suppose i = m, -1 - 1 = -3*i + 5*m. Let q be c(i). Solve q*s - 6 = s for s.
3
Suppose 5*n = 5 + 5. Let t be 1/(-3)*1*-3. Let x be (-3 - -3)*(t - n). Solve -5*a + 10 = -x for a.
2
Let v = -119 + 166. Suppose 3*q - v = -5. Suppose -j = -0*j - 2, 4*t - j - 18 = 0. Solve -1 - q = t*g for g.
-3
Let b = 13 - 12. Solve 2*d = 3*d - b for d.
1
Let z(i) = -i**2 - 9. Let t be z(0). Let n = t + -3. Let q = -7 - n. Solve -s + q = -0*s for s.
5
Let t(j) = j**2 - 6*j + 7. Suppose -7*i + 3*i + 40 = 0. Let h = i - 5. Let w be t(h). Solve -w*n + 1 + 1 = 0 for n.
1
Let v be (-162)/(-198) + (-2)/(-11). Solve -x + v = -2*x for x.
-1
Let m be ((10 - 3) + -2)*3. Let u = m + -8. Solve -u = -h - 4 for h.
3
Let a be ((-10)/8)/((-7)/28). Suppose -2*j = -a*g + 31, -4*g = -2*j - 3*j - 35. Suppose -2*n = -3*d - 3*n + 22, g*d + n - 34 = 0. Solve 3*i - 3 = d*i for i.
-1
Let l = -1 + -12. Let q = l + 18. Solve 5 = -q*d - 20 for d.
-5
Let p(o) = 2*o**3 - 11*o**2 + 5*o - 4. Let v(z) = z**3 - 5*z**2 + 3*z - 2. Let b(x) = -3*p(x) + 5*v(x). Let s be b(8). Solve -s*l = -7 + 1 for l.
3
Let c(z) = -z**2 + 3*z. Let i be c(3). Suppose i = 5*k - 15. Solve -w + k*w + 8 = 0 for w.
-4
Suppose -o = -0*o. Solve o = -0*l + 5*l + 5 for l.
-1
Suppose -3*h - 2*h = 4*s - 31, -3*s = 4*h - 24. Let p be 5/2 + h/(-6). Solve 0 = p*l - 0 + 2 for l.
-1
Let u be -1*-21*4/(-12). Let f be ((-8)/u)/((-2)/(-7)). Solve f = -n + 2*n for n.
4
Let a(h) be the third derivative of h**6/24 + h**5/60 - h**4/24 - h**3/6 - 2*h**2. Let g be a(-1). Let b(i) = -i. Let d be b(g). Solve r - d*r = 0 for r.
0
Let j(y) = y**2 + 4*y - 3. Let n be j(-5). Let f be ((-4)/(-3))/(n/6). Solve -2*z + f*z = 0 for z.
0
Let o be 2 + (4/(-2) - -2). Suppose -j = -o*j + 7. Let f(g) = g**2 - 6*g - 5. Let n be f(j). Solve 5*z - 27 = -n for z.
5
Let a = -145 - -145. Solve a*o - 2*o = 4 for o.
-2
Let j = -26 - -22. Let y be j + (5 - 3) - -2. Solve q + q + 4 = y for q.
-2
Suppose -18 = 5*s - 48. Suppose -s*j = -3*j. Suppose -4*f + h + 1 = -0, 0 = 5*f + 4*h + 4. Solve f*q + 2*q = j for q.
0
Suppose 0 = a - 2*a + 5. Let z = a + -1. Solve -z*b = b for b.
0
Suppose 0 = -7*y - 2*y + 54. Solve 0 = 3*o - 0*o - y for o.
2
Let y(j) = -8*j - 1. Let p be y(-1). Let t be (-1 - 0)*(0 + 0). Let s be (2 - t)*12/8. Solve u + s = p for u.
4
Let o(j) be the third derivative of j**6/120 - j**5/6 + 3*j**4/8 + 5*j**3/6 - 5*j**2. Let d be o(9). Solve 0*y - y = d for y.
-5
Suppose -14 = -3*f - 0*q - 2*q, -2*q + 6 = 2*f. Let r = -53 + 46. Let m = f + r. Solve 4 = -3*a + m for a.
-1
Suppose 0*f + 52 = -4*f - 4*p, 4*p = 4*f + 92. Let h = 87 - 133. Let z be f/24 + h/(-8). Solve -5 = -z*x - 15 for x.
-2
Suppose 0 = -l + 1 - 6. Let m be 26/l + (-1)/(-5). Let d be -4*(15/4)/m. Solve d*n - n - 2 = 0 for n.
1
Suppose 2*m = 4*m + 5*n - 24, 10 = m + 2*n. Solve m*s = -s - 15 for s.
-5
Let g be 1*5 + 0 + 16. Solve -g = -5*k - 1 for k.
4
Suppose 2*c - 8 = 0, -3*p + 5*c - 5 = -0. Solve 3*g - 1 = p for g.
2
Let j = 7 - 3. Suppose j*n = -0*n + 12. Suppose 2*k - 2 = 4. Solve k*u + 6 = -n for u.
-3
Let o = -8 - -14. Let b = -19 + 20. Let a = o - b. Solve -a*q = -q for q.
0
Suppose 0 = 2*h + 8, 22 = 3*z - 0*h - 4*h. Solve 0 = z*c - 0*c for c.
0
Let m be ((-8 - -2) + 3)/(12/(-28)). Solve m = 5*u + 32 for u.
-5
Let a(f) = -4*f - 10. Let y be a(-3). Solve 3*k + 3 = y*k for k.
-3
Let i(g) = g**2 - 3*g - 2. Let k be i(4). Solve 0 = -v + 1 + k for v.
3
Let c = 2 + 3. Suppose -c*a + 13 - 3 = 0. Solve 0 = b + 5 - a for b.
-3
Let r = -3 + 5. Let o be (-4)/5*135/r. Let l be 2/9 - 204/o. Solve 5 = -b + l for b.
-1
Let n(l) = 8*l - 4. Let o(c) = 7*c - 4. Let m(p) = -5*n(p) + 6*o(p). Let t be m(3). Let y be (-2 + t)/2*-1. Solve y = 2*k - k - 4 for k.
4
Let x(k) = 2*k**2 - 2. Let v be x(-2). Let q(f) = f - 1. Let r(s) = s - 1. Let i(g) = -2*q(g) + 3*r(g). Let w be i(v). Solve b - w*b - 12 = 0 for b.
-3
Suppose -6 + 22 = 4*g. Let t be 1*-3 + g + 2. Solve 0 = t*j + 3 - 9 for j.
2
Let d be (30/(-25))/(2/5). Let j(s) = -s**3 - 4*s**2 - 4*s. Let y be j(d). Solve y*q = -q for q.
0
Suppose 0*a = 4*a - 8. Let b be 2/(-5) - (5 - (-294)/(-35)). Solve b*c = a*c f