 x = s*a - 2*a for a.
0
Let d be ((-9)/4)/((-24)/64). Suppose 0 = b - 0*b + 4*i + d, 5*i = 3*b - 16. Solve 0*f + b*f = 0 for f.
0
Let k = -20 + 29. Solve l + 2*l = -k for l.
-3
Let o be 6/33 + (-124)/(-44). Solve -o*v + 14 = 5 for v.
3
Let i be ((-18)/(-3))/3 + 3. Suppose -i*n - c + 2 = -2*c, 2*c = -2*n + 8. Let f = -1 - -4. Solve -f*k = -n - 14 for k.
5
Suppose a + 0 = -v + 8, -5*a = 4*v - 36. Solve 0 = -i - v*i for i.
0
Suppose 4*d = -5*j - 43, -5*j - 31 = -0*j - 2*d. Let f be 1/j - 282/(-14). Solve 5*g - 5 = f for g.
5
Let g(x) = 3*x**2 + 4*x - 9. Let n(r) = -8*r + 2 - 7*r**2 + 0*r**2 + 17. Let i(f) = -5*g(f) - 2*n(f). Let k be i(-5). Solve -1 = -k*w + 5 for w.
3
Suppose -x + 6*x = 0. Suppose x*v = 4*v. Solve v = 5*f - 4*f for f.
0
Let f be (6/21)/((-2)/(-14)). Suppose o - 2*o = 4*a + 20, -f*a = 5*o + 10. Let n be (-174)/(-9) - 2/(-3). Solve 6*w - w - n = o for w.
4
Let p(a) = a**3 - 23*a**2 + 21*a + 25. Let d be p(22). Solve -2*t - d = t for t.
-1
Suppose -7*l + 23 = -75. Solve -6 = -5*r + l for r.
4
Let h(t) = -t**3 - 7*t**2 - 2*t. Let g be h(-7). Let v = 62 + g. Suppose 5*a + 11 - v = 4*o, -4*a = -3*o - 52. Solve 0 = -3*r - a + 4 for r.
-3
Let m(t) = t**3 + 3*t**2 - 4*t + 2. Let z be m(-4). Solve -8 = -0*j + z*j for j.
-4
Let s = -121 + 121. Solve -x + 1 + 3 = s for x.
4
Let u(p) = -3*p + 94. Let k be u(23). Solve 0 = a - 6*a + k for a.
5
Let p(n) = n**2 + 1. Let z be p(1). Let u(k) = 3*k - z*k - 2*k. Let s be u(-5). Solve 5 + s = 2*f for f.
5
Suppose -m + 0 = -2*q - 3, -3*m + 9 = 0. Solve x = -q*x for x.
0
Suppose 3*l = -4*x + 45, 2*x + 5*l = 8*l + 9. Solve 4*d - d = x for d.
3
Suppose -y = -4*c + 14, -26 = -3*y - 6*c + c. Suppose y*q - 13 = 19. Solve -1 = 5*x - q for x.
3
Suppose 4*p - 75 = -3*l, -2*p - l + 32 = -7. Solve -3*a - p = -6 for a.
-5
Let z(h) = h**2 - 4*h + 5. Let m be z(4). Suppose 0*g - m*g + 30 = 0. Solve 0 = k + 2*k + g for k.
-2
Suppose 0 = -h + 2, -6*h + 2*h = f - 9. Suppose -2*r + f = -5. Solve 0 = 4*c + r + 1 for c.
-1
Let a(f) = -f + 9. Let h be a(8). Suppose 6*v - v - 18 = -o, -4*v - o + 15 = 0. Let g = v - h. Solve 0 = -m + 1 - g for m.
-1
Let d be (-1)/((-2)/(36/(-2))). Let l = d + 13. Let b = 6 - 6. Solve b*j = l*j - 16 for j.
4
Let j = -23 + 63. Suppose 4*h = -4*u + 12 + j, 3*h - 4*u - 25 = 0. Let l = -5 + h. Solve -l*z = -2*z - 12 for z.
3
Suppose 5*c = 5*i - 2 + 12, 4*c + 2*i = 14. Suppose 1 = c*p - 8. Solve -q + p*q - 8 = 0 for q.
4
Let j = 5 - 3. Suppose r - j - 2 = 0. Suppose l = r*l. Solve 4*o + 4 + l = 0 for o.
-1
Let u(r) = r**3 + 7*r**2 - 11*r - 4. Let q be u(-8). Let n be q/(-50) - (-22)/5. Solve 2*w - n = -2 for w.
1
Let l = -3 + 31. Suppose -4*c - 4*q = -l, 5*c + 3*q - 35 - 2 = 0. Solve -6*j - 6 = -c*j for j.
3
Let l(f) = 4*f + 1 - 9*f + 6*f - 4. Let y be l(6). Solve 4*j - 17 = y for j.
5
Let w(m) = 3*m + 3. Let o be w(-5). Let q = o + 18. Solve 0*t + q = 3*t for t.
2
Suppose 13*y - 14*y = -7. Solve -5*u = y + 8 for u.
-3
Let h = -1 + 4. Suppose -9 = -2*g - 3*l, 0*g = h*g - 3*l + 9. Solve -3*k = -g*k for k.
0
Let x(f) be the second derivative of -f**4/12 - f**3/2 - 2*f. Let h be x(-2). Solve h*w + 0 = 8 for w.
4
Let f be (12/10)/((-3)/(-20)*2). Solve -5 = -f*d - d for d.
1
Let j be 80/50 + 2/5. Solve -1 = v - j for v.
1
Let z = -7 + 11. Let v be 4 + ((-96)/(-4))/3. Solve -o + v = -z*o for o.
-4
Let c = 4 - -11. Solve n = -4*n + c for n.
3
Let d(g) = -3*g**3 + g. Let o be d(-1). Suppose 0 = -n + o. Suppose -20 = -4*k, 0 = -4*u + 5*k - 11 - 10. Solve n*r = r + u for r.
1
Let m be 4/(-2) + 8 + -1. Solve -10 + 0 = -m*d for d.
2
Suppose -4*k + 8 = -8. Suppose -n + 3*d + 2*d + 23 = 0, -8 = k*n + 5*d. Solve -n*q = -1 - 14 for q.
5
Suppose -o + 14 = 5*z - 0*o, -2*o - 2 = 0. Solve 0 = -z*v + 2*v for v.
0
Let v be -1*(0 + 1) + 1. Solve v = -z - 2*z - 9 for z.
-3
Suppose -68 = 4*w - 20. Let o = -6 - w. Let c be 6*((-6)/4 - -2). Solve -c*p + 3 = -o for p.
3
Let d = -6 + 8. Suppose 5*b + d*y + 0*y - 21 = 0, 5*b - y = 12. Solve 0 = b*u + 1 - 7 for u.
2
Let b be 2/2*(1 - -1). Suppose -b*v - 6 = v. Let d be v/(2 + (-96)/45). Solve 3*z + d = 8*z for z.
3
Suppose -2*y - 2*a + 34 = 0, -2*y - 4*a + 35 = -a. Solve 2*p = 6*p - y for p.
4
Suppose 4*z + 48 = 2*h, -8*z + 75 = 5*h - 3*z. Suppose h = 2*a + a. Solve -a*x - 15 = -3*x for x.
-5
Let o = -3 + 4. Let s be o*(0 + -17)*-1. Solve 0 = -5*d + s - 2 for d.
3
Suppose 2*n + p - 1 = 3*n, -3*p + 13 = 2*n. Suppose d + q = n, 0 = -3*d - q + 3 + 1. Solve 0 = -2*j - 3 - d for j.
-2
Let z = 108 + -103. Let u(w) = -w**3 - w**2. Let r(o) = o + 1. Let x be r(-1). Let p be u(x). Solve p = -q - 0*q + z for q.
5
Suppose 0 = 2*n - 4*n. Suppose 5*s = w + 4, 3*w - 5*s + n + 2 = 0. Solve -w = -4*l + 5*l for l.
-1
Let g(r) = -r**3 + 4*r**2 - 2*r + 2. Let h be g(3). Solve 1 + 9 = h*c for c.
2
Let a(y) = -y**2 + 4*y - 5. Suppose 3*h - 33 = 3*p, 2*h - 3*p - p = 32. Let m be a(h). Let f be 0 - (m*2)/2. Solve 5*w - 8 = f for w.
5
Let r be 10/25 + 2/(-5). Let i be 2/(0 + 1 - r). Solve -10 = -i*w - 0*w for w.
5
Suppose -h - 3 = -19. Suppose -b = 3*b - h. Suppose 0 = -3*r + 17 - 2. Solve 0 = b*n - r*n - 2 for n.
-2
Let u be (10/30)/((-2)/(-12)) - -3. Solve 2*y + u = 3 for y.
-1
Let b(k) = k**3 - k**2 - k - 5 + 1 + 3. Let m be b(2). Solve -2*n = -3*n - m for n.
-1
Let m be (2/(-2))/(((-4)/(-10))/(-2)). Solve m*x = -17 + 2 for x.
-3
Let j be (21/(-6) + 4)*10. Solve j*n = -0*n + 10 for n.
2
Let f be (-1)/(-2) - (-14)/4. Suppose 2*y - 10 = 2*n, 0 = 2*y - 5*n - 12 - 4. Solve -f*m + 15 - y = 0 for m.
3
Let o = 19 - 28. Let r = o - -13. Solve 4 = r*v - 2*v for v.
2
Let q be 5 + (-9)/((-18)/(-4)). Solve -3*x - 6 - q = 0 for x.
-3
Suppose 2*v - 4*s + 2 = 26, -3*s + 3 = 0. Let k = v - 14. Solve 4*o - 8*o - 12 = k for o.
-3
Let y(c) = -5*c + 16. Let a(s) = 4*s - 17. Let h(j) = -4*a(j) - 3*y(j). Let l be h(16). Suppose 2 = -d + 18. Solve l = 5*w - d for w.
4
Suppose 0 = i + 6 - 11. Solve -i*j - 8 = 7 for j.
-3
Suppose 2*l + 26 + 2 = 3*m, 8 = 3*m + 2*l. Solve -b = -m*b for b.
0
Let o be (3/(-2))/(27/(-144)). Let m be (-65)/(-20) + (-2)/o. Solve -m*z = -z + 8 for z.
-4
Let f = -10 + 38. Solve 4*h = -8 + f for h.
5
Let r(p) = -p**3 - 7*p**2 + 8*p + 6. Let g be r(-8). Let x be (30/(-9))/((-4)/g). Suppose -36 = -4*u - x*d, -16 = 3*u - d - 62. Solve u = -5*n - 6 for n.
-4
Let z be 14/8 + 3/(-4). Let s be 2/((-1)/z)*-1. Suppose -7*i = -s*i - 15. Solve i*f + f = 8 for f.
2
Let f(i) = i**3 - i**2 - i + 8. Let c be f(0). Suppose 2*t = -n + c, 2*n - 6 + 2 = -t. Solve -s - t = 1 for s.
-5
Suppose 2*d - 44 = 3*r, 2*d + 52 = -4*r + r. Let v be ((-9)/4)/(3/r). Solve 5*j - j = v for j.
3
Suppose 100 = -r + 5*r. Let n be 2 + -2 - (-6)/1. Suppose n*d - r = d. Solve k = d*k for k.
0
Let o be (-39)/9 - 4/(-12). Let t be (-4)/1*5/o. Solve z + t = -4*z for z.
-1
Suppose -4*w = -4*y - 4, -8 - 4 = -3*w. Suppose 5*u + 7 = 27. Solve 1 + y = -u*t for t.
-1
Let l be 104/88 - (-2)/(-11). Suppose b = -b. Let i = 2 + b. Solve -i - l = n for n.
-3
Let h be 9 - (-1)/((-1)/2). Let c(f) = 2*f - 7. Let x be c(h). Solve x*a - 2*a = -10 for a.
-2
Let r be (-6)/(-2) + (-165)/11. Let b be 5 + 1 + 24/r. Solve b*s = 3*s + 1 for s.
1
Suppose -2*i - 10 = 2*o, -2*o + 5*i + 19 = -o. Let j be (o - -1) + (5 - 2). Solve j*p + p = 16 for p.
4
Let m(f) = 3*f**2 + f + 1. Suppose l + 5*v - 24 = 0, -5*l - 7 = -4*v + 18. Let x be m(l). Solve x*c = -0 - 6 for c.
-2
Let s(g) = 11*g - 2. Let h be s(7). Suppose -8*a + 13*a = h. Solve -2*x + a = x for x.
5
Let k be (-1 - -2)/((-16)/(-16)). Solve k = -9*x + 8*x for x.
-1
Let d be 0/((-2)/((-1)/(-2 + 3))). Solve -h - 5 + d = 0 for h.
-5
Suppose 0*h + 5 = i - h, -3*h = -4*i + 24. Solve 4*v - i = -1 for v.
2
Suppose -3*c + 1 + 5 = 0. Solve -5*f = c - 7 for f.
1
Suppose -t = -3*t + 8. Solve -t = 4*h - 0 for h.
-1
Let y be 2 - 0*2/(-6). Suppose -4*d + 5*v = -37, -d + 3*d = -3*v - 9. Solve y*w - 3*w + d = 0 for w.
3
Let a(y) = -y**3 + y**2 + y. Suppose -3 - 1 = 4*i. Let h be 0/(i - (3 - 6)). Let l be a(h). Solve 3*q - 8*q - 10 = l for q.
-2
Suppose -2*x + 8 = -0*d - d, 0 = 2*x - 5*d - 16. Let l = -613 - -617. Solve 19 = -l*a + x for a.
-4
Let r(m) = 2*m - 6. Let q be r(4). Suppose -l - 6*k - 3 = -q*k, 5*k = -5*l. Let w = l - -6. Solve 3*o = w - 4 for o.
1
Let t(l) = 4*l. Let y(i) = i**3 - i**2. Let g be y(2). Let m be t