 -i*h for h.
2
Suppose 6*s = -4*h + 3*s + 7, -2*s = 6. Suppose 5*b = -h*r - 25, 6*r - r + 5 = -b. Solve 9 = -r*a + 3*a for a.
3
Suppose 3*z = 5*h + 21, -5*h + 5*z + 10 = 35. Let i be 9/(-3)*h/3. Suppose 20 = r + i*r. Solve r*u - u = 12 for u.
3
Let x be (-2)/2 - 18/(3 + -6). Solve -x = -2*i + 1 for i.
3
Suppose -6*r + r + 52 = -2*d, -78 = 3*d + 5*r. Let g = d + 29. Let x be -1 - -2 - -1 - -4. Solve g*q + x + 3 = 0 for q.
-3
Let h = 32 + -24. Let n = h - 5. Solve 2 - 14 = n*z for z.
-4
Suppose -3*u + 38 + 1 = 0. Let r be 5 + -2 + 4 + -3. Suppose -r*l + u = 3*p, 3 = -4*p - 1. Solve 15 = -l*o + o for o.
-5
Suppose 0 = -k + 4*k + 60. Let j be (k/(-25))/((-2)/(-15)). Suppose 5*t = t - 2*a + 12, 2*t - a = j. Solve -t*p + 7*p = 12 for p.
3
Let i be (6 - 944/(-40)) + (-6)/(-15). Solve -4*p + i = -10*p for p.
-5
Let m be (12/20 - 102/(-5)) + -1. Let b be -3*(-2)/(24/m) - 3. Solve n + 9 = -b*n for n.
-3
Let q = 28 + -23. Suppose -4*x - 5*l = -28, -2*l - 3*l + 30 = q*x. Solve -o + x*o - 1 = 0 for o.
1
Suppose -f = -m + 11, 6*m + 4*f - 68 = 2*m. Let o = -8 + m. Suppose 5*r = 3*r + 6. Solve -r*x = -o*x for x.
0
Let u be 63/45 + 15/25. Solve 5*l = u*l + 6 for l.
2
Suppose -3*f = 2*m - 5 - 5, -4*f - 3*m = -15. Let p(r) = -5*r**2 - 2*r**2 + 3*r**2 + 3*r**2. Let a be p(f). Solve 0 = -3*j - 12 - a for j.
-4
Let j be 792/63 + 2 + -9 - (-8)/(-14). Let h be 1/2*1*4. Solve -j*a + h*a = 12 for a.
-4
Let d(u) = u**2 + 3*u - 24. Let h be d(-7). Solve -4 = -5*r + h*r for r.
4
Let m(f) = -f**3 + 8*f**2 + 5*f - 32. Let x be m(8). Solve 5*i = x + 12 for i.
4
Let b be -4 + (-12 + 11)/((-3)/111). Solve -10*a - a = b for a.
-3
Suppose -20 = -4*u + 4. Suppose r - u*r + 190 = 0. Let d = r - 26. Solve 3*x - d = -0*x for x.
4
Let v be (-18)/(-15)*(275/10)/1. Solve v + 31 = -16*o for o.
-4
Let q(t) = -t**2 + t + 5. Let g be q(0). Suppose 3 = 3*i, -i - 4*i = -g*k. Let d = k + -1. Solve -4*j + 3*j - 3 = d for j.
-3
Let d be -2*((-9)/(-2))/((-6)/8). Solve 65*g + d = 69*g for g.
3
Suppose 171 - 651 = -20*u. Solve -26*i = -u*i + 8 for i.
-4
Let q = -924 - -934. Solve -q = -9*x + 35 for x.
5
Suppose 15*g = g. Solve g = 8*d - 2 - 22 for d.
3
Suppose 0*x - 3*x - 75 = 0. Let l = -20 - x. Suppose i - l = 10. Solve 0 = -0*j + 3*j - i for j.
5
Let f(y) = -3*y - 11. Let t be -1 + -6 + 0 + -2. Let d be f(t). Suppose -7*s + d = -3*s. Solve s*i = i - 6 for i.
-2
Let l = 67 - 59. Solve 0 = -7*r - l*r - 45 for r.
-3
Let p(i) = i + 24. Let z be p(-7). Solve 6*d - 23 = -z for d.
1
Let n be 991/(-10) + 15/150. Let z = n + 107. Solve -7*p = -11*p + z for p.
2
Let f be 27 + 3*(-10)/6. Solve 21*a + 1 = f*a for a.
1
Let v be 1 + 2 + (2 - 3). Suppose 0 = -5*a + v*a + z + 13, a = 3*z + 7. Suppose a*n - 2*w = w + 15, -3*n - 15 = 3*w. Solve 2*i - i + 1 = n for i.
-1
Let k(r) = -r**3 + 14*r**2 - 11*r - 16. Let q be k(13). Suppose 14 + q = 4*y. Suppose -3*l = -4*t - y, 5*t - 8*t = -l + 2. Solve -s - s = t for s.
0
Suppose 0 = 5*r + 4 + 6. Let s be (1 + r)/(7/(-28)). Suppose 0 = -3*w - t + 29 + 14, 0 = 3*w - 3*t - 51. Solve 7 - w = -s*d for d.
2
Let c = -899 - -899. Solve -4*o - 15*o + 57 = c for o.
3
Suppose 5*y + 0*y - 16 = -3*q, 3*y = 3*q. Let u(c) = 0*c**3 + 45*c**2 - c**3 + 2 - 50*c**y. Let d be u(-5). Solve 0 = -d*r - 5 - 1 for r.
-3
Let v(i) = i - 1 - 2 + 5 + 19. Let z be v(-19). Solve -3*u + 4 = -z for u.
2
Suppose 15*l - 10*l - 3*k + 12 = 0, -l + 12 = 3*k. Solve -4*u + 110 - 94 = l for u.
4
Let r = -5 + 10. Suppose -r*l + 12 = -3. Solve -b - l*b = -4 for b.
1
Let y(w) = 3*w**2 - 5*w - 9. Let l be y(-3). Suppose -l + 43 = 5*g. Solve -2*r - g = 6 for r.
-4
Suppose 5*n = -86 - 179. Let j = n - -38. Let x(r) = -r**3 - 14*r**2 + 15*r. Let q be x(j). Solve q = -5*z - 2 + 7 for z.
1
Suppose -17*r - 14 + 133 = 0. Solve -r*l + 7 + 14 = 0 for l.
3
Let i(a) = -25*a**3 - 3*a**2 + 2. Let w be i(-1). Solve 5*q + w = -3*q for q.
-3
Suppose 3*n = -0*n. Let w be (-3 + n + 1)/(-2). Let r be -4*((-1 - w) + 1). Solve 2*k = r*k for k.
0
Let v(h) = 7*h + 179. Let g be v(-24). Solve -g + 5 = -2*k for k.
3
Let s be (150/(-40))/(10/(-16)). Solve 0 = s*v - 9*v + 9 for v.
3
Suppose -2*l - 4*q = -5 - 1, -4*q = 0. Solve -20 = 8*m - l*m for m.
-4
Suppose -11*v + 44 = -0*v. Solve -14*y = -15*y - v for y.
-4
Suppose -2*o + 100 = 2*o. Suppose 3*p = 2*p + o. Suppose -4*j + p = j. Solve 0 = -f - j for f.
-5
Suppose 0 = 5*o + b - 15, 3*o + 14 = b + 3*b. Suppose -8 - 16 = -4*u. Suppose r + o*r = u. Solve -r*w + 1 = -w for w.
1
Suppose -275 = 5*r + 5. Let p = 59 + r. Solve -p*z + 3 = 12 for z.
-3
Suppose -290*y = -288*y. Solve -t + 3 + 1 = y for t.
4
Let c = -2 - -17. Suppose 10*w = 586 - 206. Suppose w - 2 = 9*n. Solve -n*h + c = -h for h.
5
Suppose 0 = -3*j - 4 + 16. Solve 4*c - 20 = -j for c.
4
Let v(r) = 3*r - 5. Let j be v(4). Suppose 3*f = j*f - 32. Let d(a) = -a**3 + 7*a**2 + 10*a + 6. Let l be d(f). Solve 5*p + l = 7 for p.
-3
Let d(q) = q**2 - 3*q + 2. Let f be d(2). Suppose 0*b + 4*b = x + 13, f = 2*x + 4*b - 34. Solve -3*p = -1 + x for p.
-2
Let l(n) = -n**2 + 4*n + 26. Let a be l(7). Solve -32 = a*p - 42 for p.
2
Let y(b) = b**2 + 21*b + 107. Let d be y(-8). Solve 4 = -n + d*n for n.
2
Suppose 0 = -4*r + 15 + 5. Suppose r*j - 7 = 13. Solve -v - j = v for v.
-2
Let p(m) = -m + 14. Let j(b) be the first derivative of b**4/4 + b**3/3 + b**2 - 2*b - 1. Let v be j(2). Let o be p(v). Solve 4*f + f = o for f.
0
Suppose f = -4*l + 20, -2 = -f + l - 7. Suppose 3*b + 9 = 6*b. Suppose -2*h = 2*a - 6, -4*h - b*a = -5*a - 12. Solve 0 = -h*g - f*g for g.
0
Suppose -8*v + 7*v = 0. Suppose 2*t + t = v. Suppose 4*b = 4*y, -5*b = -4*y - t*y - 3. Solve -y - 1 = 4*g for g.
-1
Let z(g) = 2*g**3 - 14*g**2 - g - 5. Let f be z(7). Let r = f + 24. Solve n = -2*n - r for n.
-4
Let u be -2 - -1 - (-3 - 0). Suppose -4*x - 4 = -2*d, -2*d = -3*x - 1 - u. Suppose d = -4*q - 2*l + 4*l, 0 = 4*q + l. Solve -4*s + 10 + 2 = q for s.
3
Let j = 198 - 191. Let n be 28/7 + (0 - 0). Solve -3 = n*k - j for k.
1
Let p(y) be the third derivative of 0 - 1/2*y**3 + 0*y + 1/12*y**4 + 1/30*y**5 - y**2 - 1/120*y**6. Let i be p(2). Solve -3*n + i = 10 for n.
-3
Let i be 1 - ((-6)/(-27) - (-505)/(-45)). Solve i*j + 4 = 14*j for j.
2
Let l(g) = -g**3 + 16*g**2 - 29*g + 25. Let a be l(14). Solve 8*x - a = 5 for x.
2
Let n(r) = -r**3 + 10*r**2 - 19. Let q be n(8). Solve -v - 106 = -q for v.
3
Suppose 0 = -3*z - 4*z + 42. Suppose z*d + 12 = 10*d. Let p(g) = -g**3 - 2*g**2 - 2*g - 1. Let o be p(-1). Solve o = -d*f + 10 + 2 for f.
4
Suppose 3*x - 4*x = 2*x. Suppose x*j - 4*j = -24. Solve j + 2 = -2*a for a.
-4
Let o be (50/(-4))/((-10)/20). Suppose -5 = 5*x + 10, 4*i - 3*x - o = 0. Solve r + 7 = i for r.
-3
Let c = -37 - -40. Suppose 3*f - 46 = -4*w + 3*w, c = 3*w. Suppose -5*v + 8 = -v. Solve f = -y - v*y for y.
-5
Let a = 14 + -11. Suppose 4*f + a = 11. Suppose f*o = 13 - 9. Solve -o = i - 4 for i.
2
Let x(n) = n + 543 - 543. Let o be x(3). Solve -o*g - g = 0 for g.
0
Let d = 15 + -10. Suppose -3 - 7 = -d*k. Suppose 0 = -0*h + 5*h. Solve f + k*f + 6 = h for f.
-2
Suppose 0 = 19*s - 26*s. Solve s = -q - 3*q for q.
0
Let z = 56 - 29. Suppose 3*l + 11 = 5*r, 0 = 5*l + 5*r - 2*r - z. Solve -2*v = -1 - l for v.
2
Let s be 2/(-6)*8*-3. Suppose 8*h = -5 + 29. Solve -h*a - a = s for a.
-2
Let o = -100 - -88. Let j be -4*(o/(-16) + -1). Solve -2*s - j = -3 for s.
1
Let c(u) = -u**3 + 8*u**2 - 7*u + 5. Let p be c(7). Let y(r) = r**2 + 2*r - 1. Let x be y(-5). Suppose p*z - 34 = -x. Solve -z*g - 13 = 3 for g.
-4
Suppose 0 = 2*m + u + 1 - 3, -17 = m + 5*u. Let i be (-124)/(-62)*(1/1 + 1). Solve f = -m*f - i for f.
-1
Let l be 2/((6/(-20))/((-9)/5)). Solve 40 = l*w - 2*w for w.
4
Let l(c) = -c**3 + 4*c**2 - 2*c + 8. Let k be l(4). Let b(o) = -2*o + 4. Let m be b(k). Solve -10 - 10 = -m*f for f.
5
Suppose -144 = -9*r + 15*r. Let o be (1*-1)/(1/(-29)). Let g = o + r. Solve 2*i - 3 = g*i for i.
-1
Suppose 620 = 36*h - 5*h. Solve -8*s - h - 12 = 0 for s.
-4
Suppose 3*n + 4*m + 168 - 69 = 0, 0 = -4*n + 3*m - 132. Let x = n + 38. Solve 0 = k - x for k.
5
Let z(q) = -7*q - 14. Let d be z(-3). Suppose -d*o = -14*o. Solve t + 0*t - 2 = o for t.
2
Let z(x) = x**3 - 3*x**2 - 4*x + 2. Let o be z(4). Solve -u = -3*u - o for u.
-1
Suppose 3 = l - 6. Suppose -m - 5 = 4*t + l, 0 = 4*m + 4*t + 8. Solve -4 