 h, -32 = -4*h - i*t. Solve -4*m = -h - 2 for m.
2
Let x = 4 - 4. Let i be ((-4)/(-3))/(2/6). Solve -i*y + x + 4 = 0 for y.
1
Let p = 7 - 10. Let k = p - -7. Solve v = -3*v + k for v.
1
Suppose -m + 3 = -4*v - 8, -5*m + 3*v + 21 = 0. Let g(o) = -o**3 + 4*o**2 + 3. Let i be g(m). Solve 3*d - i = -d for d.
3
Let s be ((-4)/2)/(5/(-15)). Solve 2*m = s*m - 12 for m.
3
Suppose 0 = -3*h + 12*h - 36. Suppose 0 = -4*x + 21 + 23. Solve -x = 5*c + h for c.
-3
Let a(c) = -5*c + 1. Let s(f) = f. Let p(r) = -a(r) - 4*s(r). Let k(i) = 2*i**3 + 2*i**2 - i. Let v be k(1). Let d be p(v). Solve 0 = 4*w + 2 + d for w.
-1
Suppose -4*d = t - 4, -3*d - 2*t + 7 + 1 = 0. Solve 4*m + 6 + 6 = d for m.
-3
Suppose 0 = -3*p + 3*l + 1134, -2*p = -2*l - 3*l - 756. Let x be 2/(-13) - p/(-91). Solve x*i + 9 - 1 = 0 for i.
-2
Let g(d) = -2*d - 1. Let p(s) = -s. Let n(k) = -g(k) + 6*p(k). Let c be n(-1). Solve 0 = -m - c for m.
-5
Let r = 10 + -6. Let y be (12/18)/(r/6). Suppose -p + 5 - y = 0. Solve 3*c + 10 - p = 0 for c.
-2
Suppose 0 = o - 3*h + 2*h + 11, 2*o - 4*h + 28 = 0. Let k = o - -13. Solve 0 = a - k*a - 16 for a.
-4
Suppose -14 = 3*l - 86. Solve 1 = -5*a - l for a.
-5
Suppose -5*r + 14 + 11 = 0. Solve 0*n - 15 = -r*n for n.
3
Let h be -1 + 3 + -16 + 3. Let k = h + 19. Let r = -5 + k. Solve r*l = 4*l + 1 for l.
-1
Let t(r) = -2*r + 4. Let x be t(2). Let g be (-2 - (-5 - -1))*2. Suppose g - 1 = w. Solve x + 6 = w*l for l.
2
Let q(g) = -g**2 - g. Let p be q(0). Solve 0*b + 2*b = p for b.
0
Suppose 1 = -3*x - 2*h, 0 = 4*x + 5*h + 6 + 7. Solve -x*m - 5 - 4 = 0 for m.
-3
Suppose 2 = 2*h - 0. Let l(d) = 3*d**2 - 2*d + 1. Let q be l(h). Suppose 3*c + 1 = 4*o, -4*c - 2*o = -4*o - 12. Solve c*a = 6*a + q for a.
-2
Suppose 0 = -j + 3*j - 6. Solve -j*o + 15 = -0*o for o.
5
Let i(l) = 8*l - 1. Let m = -6 - -11. Suppose 2*q = -3*g + 3, -5 = -m*g - 0*q - 3*q. Let k be i(g). Solve 0 = 5*y - k - 8 for y.
3
Let g = 41 - 39. Solve -r - r = g for r.
-1
Suppose -14 = -5*v + 11. Solve -4*h + 21 = v for h.
4
Let b be (-3)/3*0 - -2. Suppose -b*q + 30 = 6. Solve -3*m = -0*m - q for m.
4
Let k = 7 + -4. Let n = -7 + 7. Let l be 3 - n - (-10)/2. Solve k*q - 10 = l*q for q.
-2
Let t = -3 + 7. Suppose -5*o - 440 - 1000 = 0. Let c be o/(-28) - (-4)/(-14). Solve -i - c = t*i for i.
-2
Let r = 26 - 8. Suppose -r = -2*u - 4. Solve -u = -4*p + 5 for p.
3
Let r be 0 - 2/(-10) - 312/(-65). Solve 3*x - 14 + r = 0 for x.
3
Suppose 4*j - 3 = y, 2*j + y + y = -6. Let v be (-6)/(0 + -2 + j). Solve -v*k - 1 = -10 for k.
3
Suppose 0 = -a - 3*a. Let w be 1 + a + 2/2. Solve 4 - w = n for n.
2
Let v be 8/1 + 3 + -6. Suppose -5 = -2*a + 5*j + 5, v*a + j = -2. Solve a - 10 = 2*n for n.
-5
Let x be (-76)/(-18) + (-20)/90. Solve 4*h = 3*h - x for h.
-4
Suppose 6*y = 43 - 1. Solve y*w = 3*w + 4 for w.
1
Suppose -d + 3*d - 4 = 0. Let l(k) = -2 - 1 + 0 + k - 3. Let q be l(6). Solve -j - j - d = q for j.
-1
Let s(f) = 4*f - 7. Let k be s(2). Solve 0 = 3*w - k + 4 for w.
-1
Suppose 0*n = -4*n + 4. Solve 2*s - 3 + n = 0 for s.
1
Suppose -36 = 26*b - 32*b. Solve 4*m = -b - 2 for m.
-2
Suppose 5*c - 5 + 0 = 0. Suppose 6*u - 4 = 4*u. Solve -c = a + u for a.
-3
Suppose 10*g - 3*m = 8*g, 5*g + 5*m = 0. Solve g = 5*d - 2*d + 3 for d.
-1
Suppose -l - 5 = 1. Let n(m) = -m - 1. Let r(s) = -7*s - 8. Let q(w) = -6*n(w) + r(w). Let g be q(l). Solve -4 = -g*y + 6*y for y.
-2
Suppose 0 = -4*r - 4*d, r + 2*d = -3*r + 4. Let p(o) be the first derivative of o**4/4 - o**3/3 - o**2/2 + o + 3. Let k be p(2). Solve -k*m = -r*m for m.
0
Let a be ((-2)/2 - -1)*7/14. Solve -2*f = -a*f + 2 for f.
-1
Let n(p) = p**3 + 7*p**2 - 2*p - 10. Let k(z) = -z - 21. Let t be k(-14). Let u be n(t). Solve 4*v = -0 - u for v.
-1
Let s be 2/(-3*1/(-6)) - -2. Solve 3*o + 0 = s for o.
2
Let o = -2 - -30. Let p = o + -24. Solve 0 = p*l + l - 15 for l.
3
Suppose -4*c = -36 - 20. Let u = c + -8. Solve u*g - g = 0 for g.
0
Let u = 7 + -12. Let o = u + 9. Solve -3*z - 4 = -o*z for z.
4
Let s = 42 - 40. Solve -10 = -3*z - s*z for z.
2
Let r(w) = w + 3. Let z be r(-4). Let g be (z + 1)/(0 - -1). Solve -8 = 2*u - g for u.
-4
Let p(m) = 1 + m - 2*m - m + m. Let z be p(-5). Solve 6 = 4*q - z for q.
3
Suppose -u = u - 8. Suppose -u*c = d + d, 2*c = -5*d + 8. Solve -a = -2 - d for a.
4
Suppose 2*s + 2*l - 4*l + 32 = 0, 0 = -2*s + 5*l - 29. Let m = -10 - s. Let t(j) = -2*j**3 - 4*j**2 - 2*j + 1. Let a be t(-2). Solve -2 = -a*v - m for v.
-1
Let y be 12/(-10)*70/(-28). Solve -2 = k - y*k for k.
1
Let h = -4 - -7. Suppose 0 = -x + 2*x - h*i - 6, -3*i - 6 = 3*x. Solve 0 = -x*n - 2*n for n.
0
Suppose 0 = 3*z - z. Suppose 5*p - 12 + 2 = z. Solve -p - 2 = -u for u.
4
Let c be 5/(-2)*(6 - 8). Let t(g) = 7 + 2*g - 4*g + g. Let l be t(c). Solve -h + l*h = 4 for h.
4
Suppose 4*z - 5*t = -0*z + 30, 5*z - 2*t - 29 = 0. Solve 2 = -z*g - 13 for g.
-3
Let s = 5 + 2. Suppose 2*h - s*h = 0. Let n be 18/(-3)*8/(-6). Solve h = 4*m - 12 - n for m.
5
Let k be (-1 - 11)/(32/(-144)). Let o = k + -34. Let w(u) = 3*u**3 - 2*u**2 + 1. Let y be w(1). Solve -3*b - y*b = -o for b.
4
Let x be 7/2*40/14. Let a = x - 2. Solve -4*p + a = 4 for p.
1
Let t be (-1*(-2 - -1))/(-1). Let x be (-2)/((t + 3)/(-8)). Solve -5*f - x = -f for f.
-2
Let x(q) = 9 - 18 + 16 - q. Let l be x(6). Solve -w = l - 4 for w.
3
Let p(z) = -z**3 + 7*z**2 - 4*z - 7. Let g be p(6). Suppose o - 1 + g = 0. Let b = 1 - o. Solve -b*h - 2 = 8 for h.
-2
Let b(q) = -q + 21. Let i be b(19). Solve 0 = i*s - s for s.
0
Let r(c) be the first derivative of -c**5/120 - c**4/6 - c**3/3 - 1. Let o(j) be the third derivative of r(j). Let u be o(-6). Solve -u - 2 = -2*h for h.
2
Suppose 0 = -8*h + 3*h + 5*d - 25, 0 = -3*h - 3*d - 9. Let p = h - -6. Solve p = -y + 1 for y.
-1
Let r(s) = s**3 + 3*s**2 - 7*s + 1. Let f be r(-4). Solve 4*x + 7 = -f for x.
-5
Let r(q) = -2*q**2 + 29*q - 8. Let w be r(14). Solve 4*p + w = 18 for p.
3
Let o be (-2)/(-13) - 50/(-13). Suppose 15 = 5*y, z = -o*z - 2*y + 16. Let w = -5 - -13. Solve z - w = -3*d for d.
2
Let q(w) = 3*w**2 - w + 2. Suppose -2*v - 4 = 0, v + 6 = 2*j - 0*v. Let n be q(j). Solve 4*l = l - n for l.
-4
Let l(m) = -2*m**2 - 6*m - 1. Suppose -z - 3 - 1 = 0. Let x be l(z). Let c be 129/9 + (-6)/x. Solve 5*n + c + 0 = 0 for n.
-3
Suppose -18 = -5*s + 4*s - 3*l, -s + 10 = -l. Solve 0 = -4*h - 0 + s for h.
3
Suppose -v = -0*v - 63. Let f be 14/v + (-16)/(-9). Solve 2 = -f*w - 6 for w.
-4
Suppose -f + 6 = 2. Solve -3*b + f = 13 for b.
-3
Let j = 9 + -6. Solve j*f - 2 = f for f.
1
Let c(b) = -b + 2. Let x(g) = 2*g + 12. Let u be x(-6). Let z be c(u). Suppose 0 = -4*w - 8 + 20. Solve -z*n + 3*n = w for n.
3
Suppose -16*g + 6 = -13*g. Solve -2 = g*x + 6 for x.
-4
Let g(j) = -j**3 + 7*j**2 + 2*j + 3. Let d be g(8). Let r be (-4)/18 - 100/d. Solve r*u = -10 + 4 for u.
-3
Let i be (-1)/((-3)/15*1). Suppose -10 = -4*u + i*m, -u + 0*m - 2*m = 4. Let y = 6 + 9. Solve 5*d + u*d = y for d.
3
Let h = -45 + 53. Solve 6*q - 4*q - h = 0 for q.
4
Let t be (-4 - -8) + 0/(-1) + 2. Solve 4*v - t = 6 for v.
3
Suppose 0 = -5*c - 2*m, -c + 4*m = c. Suppose -2*d + z + 17 = c, -d + 5*d - 29 = z. Solve 2*y = -y + d for y.
2
Suppose -21 = -5*r - 1. Solve 1 - r = -h for h.
3
Suppose -3*u + 5*u + 8 = 0, -2*u = 2*k - 146. Let q(o) = -o**2 - 18*o + 9. Let m be q(-21). Let c = m + k. Solve -c = -4*p - 3 for p.
5
Suppose 5*t + 3 = 6*t. Suppose -3*n - 7*j - 4 = -2*j, 4 = t*n + j. Suppose -12 = -0*m - 4*m. Solve 0 = -n*w + m*w + 4 for w.
-4
Let y = 59 - 57. Solve -y - 4 = 3*q for q.
-2
Let k = 8 - 6. Solve -k*h + 6 + 4 = 0 for h.
5
Let o(j) = -2*j**2 + 16*j. Let n(m) = -m**2 + 8*m. Let s(t) = 5*n(t) - 2*o(t). Let a be s(8). Solve q = -a*q - 1 for q.
-1
Suppose -2*q = 4*k + 6, 0*k = 4*k + 12. Let j be 8/(-10)*(-5)/2. Solve i + j*i = q for i.
1
Let r(k) = -9*k**3 + 2*k**2 - k - 2. Let u be r(2). Let w be 1/(-2) - u/8. Suppose 0 = -5*m + 3*f, -w - 23 = -2*m - 5*f. Solve m*g - 5 = 1 for g.
2
Let y(u) = -13 + 12 - u + 8*u**2 + 17*u**2. Let f be y(-1). Solve -f = 5*p - 5 for p.
-4
Suppose 5*a - 3*x = 37, -3*a + 2*a - 15 = 5*x. Suppose -5*b + 3*j = -13, 0 = -3*b - b + a*j. Solve -4*u + b + 3 = 0 for u.
2
Let k = -43 - -79. Suppose 4*p - 3*p - 10 = -j, -3*j + k = -3*p. Suppose -3*c - 9 = -t, -4*c - 10 = c. Solve 0 = 2*h + t - j for h.
4
Let y(t)