i - h = 2*i for i.
-2
Suppose 0 = -4*d + 3*l + 8, 0*l = d + 5*l - 2. Solve d = i - 3 for i.
5
Suppose -9 = -c + 2. Solve 0 = -3*s - c + 2 for s.
-3
Let a = -1 - -4. Suppose 0 = -a*l - 3 + 18. Solve -3 = -l*n + 2 for n.
1
Let u(i) = -i**3 + 7*i**2 + 8*i + 7. Let n be u(8). Solve -n = -3*o + 5 for o.
4
Let o be (0/3)/(2*-1). Solve o = -3*p - 10 - 5 for p.
-5
Let l = 2 - -3. Let i be (-1)/3 - 16/(-3). Solve 15 - l = -i*f for f.
-2
Let o = -1 - 8. Let j be 0*(o/(-6))/3. Solve j = -i + 3 + 2 for i.
5
Let w(f) = f**3 + 15*f**2 + 15*f + 18. Let k be w(-14). Solve 0 = -k*x - x - 5 for x.
-1
Let k(r) = r - 4. Let f(q) = -q + 5. Let u(n) = -4*f(n) - 3*k(n). Let h be u(8). Solve -l + h - 4 = 0 for l.
-4
Let k = 7 - 5. Let o be (-1 - (-2)/1)*k. Solve o*i + 2 = i for i.
-2
Suppose 3*k + 3*s - 15 = -0*s, s + 13 = 2*k. Solve k = g + 8 for g.
-2
Suppose 4*n - 8*n + 12 = 3*s, 4*n = s - 20. Let f = 14 - s. Solve y + f = 3*y for y.
3
Let a be 2/8 - 9/4. Let q = a - 4. Let m be (-16)/q*(-6)/(-4). Solve -6*u + m = -2*u for u.
1
Let j = -27 + 29. Solve -j*b = 2*b + 4 for b.
-1
Let j be (-2)/5 - (-108)/20. Suppose -4*g = -j*g + 4. Solve -g*y + 0 = -8 for y.
2
Let y = -46 - -18. Let x be (2 + -1)*(-41 + 0/(-2)). Let u = y - x. Solve -3 + u = -2*v for v.
-5
Let q(r) = -r**3 + 3*r**2 - r. Let l be q(2). Let b be -2 + -1 + l + 3. Solve y - 3*y = b for y.
-1
Let p be 5/(-2)*48/(-30). Solve p*d = -10 + 2 for d.
-2
Let i = -53 - -55. Solve p - i = 2 for p.
4
Let t(f) = -f**3 + 7*f**2 + f - 8. Let q be t(7). Let n(x) = 3*x**2. Let g be n(q). Solve -g - 5 = 2*m for m.
-4
Let s be ((-33)/(-6))/((-1)/(-2)). Solve s = -5*b + 1 for b.
-2
Let s = 71 - 63. Solve -5*n + 7 + s = 0 for n.
3
Let n be (-1)/(-3)*0*1. Suppose 4*s + 0*s = n. Solve s*j = -3*j for j.
0
Let x(d) be the third derivative of d**4/24 + 7*d**3/3 - 2*d**2. Let o be x(-10). Suppose -2*m + o = h, 3*h - m + 1 = 6. Solve -a - h = -0*a for a.
-2
Let x = -110 + 115. Solve -w = -x*w + 4 for w.
1
Let k = 8 + -23. Let m = -5 - k. Let p be m*(3/(-2) + 2). Solve -p*z = -z + 16 for z.
-4
Suppose -4*y - 13 = q - y, 4*y = -2*q - 16. Suppose -q*t - 12 = -3*v - t, -v + 8 = t. Solve -c - v = -2*c for c.
5
Let m = 13 - 7. Suppose j = m*j. Let w = -22 + 22. Solve j*k - 5*k = w for k.
0
Suppose 2*d + 28 - 28 = 0. Solve -4*g + 3*g = d for g.
0
Suppose -10*k + 8*k + 2 = -3*x, 18 = 2*k + x. Solve 0 = -2*r + 1 + k for r.
4
Suppose 0 = 3*t - o - 18, -4*o + 7*o = -9. Solve 0*w + t = w for w.
5
Let y = -48 + 53. Solve y*w + 1 = 16 for w.
3
Suppose 5*a - 12*a = 0. Solve 2*y = -a*y - 2 for y.
-1
Let w be (2 + (-2)/1)*-1. Let h(p) = 0*p - 2 + 2*p + p**2 + w - p. Let i be h(2). Solve 5*u + i = -1 for u.
-1
Let z be (-5*4/(-20))/((-2)/(-6)). Solve z*t = -t + 4 for t.
1
Let v(m) = -m**3 - 7*m**2 + 6. Let o be v(-7). Let x = 10 - o. Solve 0 = -x*z + 3*z + 1 for z.
1
Suppose -2*l + 6 + 4 = 0. Suppose -3*v + 2*v - 3*z + 8 = 0, 3*z + 4 = l*v. Solve -r + v*r - 1 = 0 for r.
1
Suppose 2*j - 4*j + 6 = -t, 4*j = 5*t. Let l = 6 - 1. Suppose 10 = l*x, -3 = -5*i - 3*x + 3. Solve t*k = -i*k for k.
0
Let o(j) = -3*j. Let n be o(-3). Let i = -7 + n. Solve 2 = -i*g + 8 for g.
3
Let x = 21 + -14. Let b = x - -5. Let d be (-2)/b + (-75)/(-18). Solve -3 = -d*m + 1 for m.
1
Suppose 2*n - 5*x + 30 = 0, -3*n = x + 3*x + 45. Let a be -10*(39/n - -2). Suppose 3*v - 5*y = 5, -5*v + 4*y = -6 + 2. Solve 3*r - r - a = v for r.
3
Suppose h + 4*h - 30 = 0. Let r be -2 + (-3)/h*2. Let v be 26/6 - r/(-9). Solve v*t - 6*t = 0 for t.
0
Suppose l - 2 = -l. Solve z + 6 = l for z.
-5
Suppose -5*g - 2*u + 9 = -3*u, -5*g + 4*u + 6 = 0. Suppose -q = 2*o + 5, -5*o = g*q - 2*o + 5. Solve -y = -q + 4 for y.
1
Let c = 57 + -53. Solve o - c*o = -9 for o.
3
Let p = -12 - -24. Solve 5*r - p = 8 for r.
4
Let o(l) = 3*l + 56. Let y be o(-17). Solve 2 - 7 = y*z for z.
-1
Let p(r) = -r**2 - 3*r + 1. Suppose 3*n + 21 = -3*f, 0*n + 2*f = -n - 12. Let k be p(n). Solve -k*u = -6*u - 9 for u.
-3
Suppose 0 = l + l. Suppose l = -3*k + 79 - 31. Solve 4*n - k = 4 for n.
5
Let v be 40/14 + 2/14. Solve -3 = -v*c + 3 for c.
2
Suppose 2*v - 13 = -3. Solve 2*k - 5 = v for k.
5
Let w(y) = -y. Let n(q) = -q**2 - 6*q. Suppose 0 = -3*f - 3. Let z(s) = f*n(s) + 4*w(s). Let r be z(-2). Solve r = -0*b + 2*b for b.
0
Let t = -68 + 71. Solve t*b - 20 = -b for b.
5
Let u = -32 + 38. Solve 5*o = 3*o + u for o.
3
Let x(t) = t**2 + 2*t - 6. Suppose -f - 3*f - 16 = 0. Let a be x(f). Solve 3*c + a*c - 25 = 0 for c.
5
Suppose -5*u + n = -30, 2*u = -u + 4*n + 35. Suppose 8*l = -k + 3*l + 17, 3*k = -u*l + 21. Let t be (4 + 2)/(3/k). Solve t = -0*b + b for b.
4
Let m(u) be the second derivative of u**5/20 + 5*u**4/4 - u**3/6 - 5*u**2 + 5*u. Let i be m(-15). Solve 0 = i*y - y - 20 for y.
5
Suppose 0 = -y + 6*y. Solve i + y*i = 0 for i.
0
Let b = 67 - 55. Solve 2*v + b = 4 for v.
-4
Suppose 0 = w - l, 2*w - 4*l + 28 = 5*w. Let i = 62 - 44. Let d = i + -18. Solve -q - w*q + 10 = d for q.
2
Suppose 6*p - 3*p = 18. Solve 3*s - p*s + 6 = 0 for s.
2
Suppose 5*x = 6 + 4. Solve -13 - x = -3*q for q.
5
Suppose d + 30 = 5*c + 2*d, -3*c + 5 = -2*d. Solve 4*v = c*v - 2 for v.
2
Let s be (-4 - -3)/(-1) - -3. Solve s*p + p = 0 for p.
0
Suppose 24 = -d - 3*d. Let i be 4/(-16)*2*d. Let t be (-2 - -2)/(2*-1). Solve -3*c - i = -t for c.
-1
Let u = -3 + 11. Let w = 8 - u. Solve 0 = -w*r - r for r.
0
Let b(s) = -7*s - 7. Let f be b(-9). Suppose -76 = -4*c - k, -3*c + 0*c - k + f = 0. Suppose -a + 13 = p - 5*a, -p + 2*a = -9. Solve 0 = -p*z - c for z.
-4
Suppose 6*l = 2*l. Solve l*m = m for m.
0
Let t be 4/(-18) + (-47)/(-9). Let m be (t - 2 - -1) + -2. Solve -4*b = -m*b - 2 for b.
1
Suppose -k - 2 = -3*k. Suppose k = -4*a - 3*g + 17, -4*a + 16 = 5*g. Suppose 18 = 3*l - 7*w + 4*w, -3*l = a*w - 25. Solve -l*i = -5*i for i.
0
Let c(r) = r**2 - r. Let f be c(-2). Suppose -3*z - 3*u + 15 = -27, -2*u - 84 = -5*z. Let y = -4 + z. Solve -f*i = -2*i + y for i.
-3
Let k be 3/((-6)/(-3) - 1). Suppose -k*l + 2*l = -2. Solve -1 = -l*r + r for r.
1
Suppose -5*g + 19 = k, -5*k + 10 + 4 = -2*g. Let w(m) = -3 + m**2 - m**2 - m**3 - m + 4*m**2. Let q be w(g). Solve -5 = 4*v + q for v.
-2
Let c = -3 - -5. Let p be (0 - -2)/(-2) - -2. Let y = p + 1. Solve y = 2*g - c for g.
2
Let z be (-4 + 2)*55/(-22). Solve 7 + 13 = z*b for b.
4
Let l = -2 + 2. Solve l = k + k for k.
0
Let j be 0/(0 + 5 + -2). Solve j*f = 2*f - 4 for f.
2
Suppose 4*j + 2*s - 61 = 7, -2*s = -4*j + 76. Suppose -t = -5*g - 0*t + j, -6 = -2*g + t. Solve -g = -2*w + 6*w for w.
-1
Let i = 20 - 17. Solve -4*h + h - i = 0 for h.
-1
Suppose -3*n + 6 = -6. Let r(c) = -3*c**2 + 1. Let k be r(1). Let w be k/2*-1*0. Solve -v + n*v = w for v.
0
Suppose 5*p + 4 = -u, 3*u + 7 = -4*p - 5. Let a be u - (18/2)/(-1). Solve -2*o + 1 = a for o.
-2
Let j(s) = 5*s - 1. Let u be j(1). Let g be 10/u*(-36)/(-30). Solve z = -g*z for z.
0
Let b be 4/2 + (-2 - 0). Let z = 3 - b. Suppose -26 = -z*a + 2*x, 13 + 7 = 4*x. Solve 0 = -7*d + 3*d - a for d.
-3
Let s(x) = -6*x**2 + 7*x - 5. Let d(g) = -9*g**2 + 10*g - 7. Let u(y) = -5*d(y) + 7*s(y). Let p be u(-1). Solve k = -p*k for k.
0
Suppose 0 = h + 3*l + 19, 7 = -4*h + 2*l - 13. Let q(x) = -x**2 - 7*x. Let r be q(h). Solve -2*p = -r*p for p.
0
Suppose -5*a + n + 16 = 2*n, -2*a = n - 4. Let d = a - 4. Solve c - 4 + d = 0 for c.
4
Suppose 4*d + m = 1, 2*d + 5 + 5 = -4*m. Let g be d/((-5 - -3)/(-34)). Suppose -3*s - 5 = -g. Solve -s*z + 20 = -0 for z.
5
Suppose 4*l - 6 = 2*u + 2, l - 1 = u. Solve -l*m = -7*m for m.
0
Suppose 74*i - 75*i + 2 = 0. Let j be 16/5 - (-2)/(-10). Suppose -h + j*h = 8. Solve -h*n - 10 = i for n.
-3
Let h be 0*(-1)/(-4)*-1. Solve 2*i + h = 10 for i.
5
Let s(n) = -n**3 - n**2 - 2*n - 16. Let g be s(-3). Solve g + 12 = -4*y for y.
-5
Let s be (2 - -1)/(-1) - -3. Suppose -3*i + 58 - 10 = s. Suppose 3*k + 12 = -2*a, -4*a + 4*k = -7*a - i. Solve 2*l = -4 - a for l.
-2
Suppose 6 = 5*j - 9. Suppose 3*o + 6 = -c - o, -j*o - 6 = 0. Solve 7*t = c*t + 20 for t.
4
Let i(c) = -c**2 + 9*c - 5. Let y be i(8). Solve -2 = -y*p + 4*p for p.
-2
Let s(v) = -v**2 - 6*v + 3. Let b be s(-6). Solve 5 = t + b for t.
2
Let b = -11 + 15. Solve b*g = 2*g - 6 for g.
-3
Let n(h) = -4*h**2 + 11*h - 13. Let c(y) = -y**2 + y - 1. Let t(i) = 3*c(i) - n(i). Let v be t(7). Suppose -7 = -v*p 