be 11/6 - 12/(-72). Solve z*b + 0*b = 2 for b.
1
Let h be (1 - -2) + (-2 - -2). Let j(t) = 2*t**2 - 2*t. Let q be j(2). Suppose -q = -2*d - 2. Solve -2*k + h*k - d = 0 for k.
1
Let k(a) be the first derivative of -a**3/3 + a**2 + 4*a + 2. Let w be k(3). Let o = w + 2. Solve -o*v = -4*v + 1 for v.
1
Let y = 6 + 0. Solve -y = -3*u + 9 for u.
5
Suppose -5*g - 10 = -x - 0*g, 2*x = g + 2. Let l(w) = 6*w**2 - w + 1. Let j be l(1). Suppose -3*u - 18 = -6*u. Solve 4*m - u - j = x for m.
3
Let s(x) = -2*x - 3. Suppose 2*g + 6 = -3*q + g, 3*g + 6 = -5*q. Let n be s(q). Solve -3 = 2*a + n for a.
-3
Let i(y) = -6*y - 11. Let x be i(-2). Solve 3 - x = 2*h for h.
1
Let g = 5 - 2. Suppose -6 = -g*l + l. Suppose 5*o = 3*o + 6. Solve o + 3 = l*f for f.
2
Let m be (-22)/(-5) - 12/30. Suppose -5*y - 1 = -m*f, -y + 1 = 2*f - 10. Solve 7*l + f = 3*l for l.
-1
Suppose 23 = -5*p + 3. Let l = 1 - p. Let u = -76 + 76. Solve -2*o - l + 13 = u for o.
4
Suppose -12 + 18 = p. Suppose -6 = 4*g - 26. Solve g*j - 21 = -p for j.
3
Suppose 5*c - 40 = -5*b, -11 + 1 = -3*b + 4*c. Suppose 3*x = b*x. Solve r + 4*r - 10 = x for r.
2
Let u(x) = -x - 5. Suppose -9 = 4*f - f. Let o = f + -4. Let k be u(o). Solve k*s = 4*s - 10 for s.
5
Suppose 0 = 2*f - l - 0*l - 19, 0 = -3*f - 2*l + 39. Solve -2*j - 1 + f = 0 for j.
5
Let h = -84 + 89. Solve h*b = 5 + 10 for b.
3
Let v(z) = -z - 2. Let c be (-3 - -2)/((-1)/(-6)). Let g be v(c). Solve -g*q + 24 - 4 = 0 for q.
5
Suppose -5*g = -g - 16. Suppose -2*h + 4*o = h - 27, g*o + 17 = h. Suppose 3*w + 2*c - 16 = -0*w, 0 = 5*w + h*c - 35. Solve -j - w = j for j.
-1
Let d = 24 - 4. Solve 4*s - d = -0*s for s.
5
Suppose 0 = -14*k + 16*k - 10. Let h = 0 + 1. Let g = -6 - -9. Solve h + k = -g*w for w.
-2
Let v(z) = -z - 4. Let k be v(-4). Let u be k + -1*(-5 + 2). Solve -12 = -0*n + u*n for n.
-4
Suppose -4*g - r = -19, g + 0*r - r = 6. Solve 0 = a - g*a + 16 for a.
4
Suppose -3*u + 5*q - 2*q + 9 = 0, 2*u = 5*q + 3. Solve 6*t + u = 8*t for t.
2
Let f(r) = r**3 - 7*r**2 + 6*r - 5. Let c be f(6). Let k(d) = -d**2 - 11 + 6 - 5*d + 5. Let x be k(c). Solve -2*y + 0 + 2 = x for y.
1
Suppose -6*p = -48 + 36. Solve 2*x - x = p for x.
2
Let j be 18/8*(-64)/(-2). Suppose -j = b + 3*b. Let k be 1/6 + (-141)/b. Solve -l = 3*l + k for l.
-2
Suppose -3*n + 0*n = -54. Solve -n = -6*b + 12 for b.
5
Let o = 21 - 19. Solve s - o = -s for s.
1
Suppose 0 = -3*v + 2*l + 17, -v + l - 2 = -3*v. Solve v*y = -y + 20 for y.
5
Let w(r) = r + 1. Let x be w(2). Solve -2*t = -t - x for t.
3
Let m(q) = -q**3 + 2*q**2 + 4*q + 3. Let r be m(3). Solve -12 = 2*v - r*v for v.
3
Suppose -4*w = -3*w - 2, 30 = 2*t + 5*w. Let r be (t/8)/((-1)/(-4)). Solve s - 3 = -r for s.
-2
Let g = -16 - -1. Let m = 22 + g. Let q = m - -5. Solve -q = u - 4*u for u.
4
Suppose -3*u + 8 = -u. Let g(s) = s + 1. Let p be g(u). Let r be (2/5)/(1/p). Solve 0 = 3*d + 1 + r for d.
-1
Suppose 0 = -l - 0*l + 3. Suppose -28 = -l*p + 17. Solve -h - 4*h + p = 0 for h.
3
Suppose -5*j + 5*s + 4 = -11, 0 = -3*s + 12. Solve 0 = 4*v - j - 1 for v.
2
Suppose -4*j = 12, 0 = -f + 2*j + 3*j + 24. Suppose -q = -f + 2. Solve 2 = -3*t - q for t.
-3
Let x(s) = s**3 + s**2 + 6. Let p(r) = r**2 + 3*r - 5. Let y be p(-5). Suppose 0 = -y*g + g. Let n be x(g). Solve z + n = 3*z for z.
3
Let l(c) = c. Let x be l(2). Suppose -x - 3 = -r. Solve -2*v + 1 = -r for v.
3
Let a(o) = 5*o. Let c be a(3). Suppose 3*s = -c, -2*b - s = -4*b + 13. Solve r + b = 1 for r.
-3
Let v(f) = -2*f**2 + 24*f - 10. Let j be v(11). Let l = j + -8. Solve -3*p + 4 = -l*p for p.
-4
Let i = -4 + 8. Solve -m - i = -3*m for m.
2
Let q = 15 - 12. Solve -f - 6 = -q*f for f.
3
Let z = -40 - -46. Solve z = -o + 3 for o.
-3
Let h = -1 - -4. Solve h + 5 = -4*s for s.
-2
Suppose -17 = -3*j + 5*t, -3*j + t + t = -14. Solve j = -2*k + 3*k for k.
4
Suppose 4*b = -4*o - 12, -2*o + 2 = -b - 4*o. Let g be 1/2 - 6/b. Suppose 0 = g*y - 3 + 1. Solve -2*k + 3 = -y for k.
2
Let r(f) = f**2 + 4*f - 4. Let z be r(-5). Let c(s) = 5*s**3 + s**2 - s. Let m be c(z). Solve 3*i = m*i for i.
0
Suppose 4*o = i + 8, i + o - 2 = -0*i. Solve -w - 1 + 5 = i for w.
4
Suppose f = -3*f + 12. Suppose -i = -f*i. Solve 0 = -2*j - 2 - i for j.
-1
Let n(v) = -v**2 - 12*v + 1. Let t be n(-12). Solve 2*x - x + t = 0 for x.
-1
Let l(q) = -q**2 - 11*q - 13. Let b be l(-9). Solve b*c = -0*c - 10 for c.
-2
Let q be (-2)/((-3)/(-2) + -2). Solve q*s + 4 = -4 for s.
-2
Suppose -17 = -3*p - 0*p + 4*q, 0 = 3*p + 5*q + 1. Solve -h + 20 = p*h for h.
5
Let a = 1 + 3. Let y be -2 - a*3*-1. Suppose -x + y = 2*i, i = -4*x + 6*i + 1. Solve -5*k = -x*k + 2 for k.
-2
Suppose 2*k - 11 + 5 = 0. Solve -f - 12 = k*f for f.
-3
Let u be (-12)/(-3) + (-80)/(-4). Let a = 24 - u. Solve a*w + w = 5 for w.
5
Let w be -2 + ((1 + 1)/1 - -4). Solve -7*o = -w*o - 6 for o.
2
Suppose -2*g + o + 6 + 6 = 0, -3*g + 24 = -3*o. Let r(f) = f + 2*f - 2*f - 1. Let t be r(g). Solve 9 = -3*x + t for x.
-2
Suppose -4*m = 14 - 46. Solve j + m = -j for j.
-4
Suppose 2*o = 5*o - 4*s - 3, 3*s = 5*o - 5. Solve 0 = 4*f + 3 + o for f.
-1
Let f = -8 + 8. Suppose -4*b - 5*c + 13 = -2*c, 0 = -2*b - 4*c + 4. Solve -2*z - b + 2 = f for z.
-1
Let p(n) = -n**3 + 2*n**2 + 2*n + 4. Let h be p(3). Solve h + 5 = -2*k for k.
-3
Suppose -2*u + 2 - 13 = -3*j, 0 = 5*j - 5*u - 10. Suppose c + 5*h = 27, -c + 4*h - 24 = -2*c. Suppose c + 0 = 3*k. Solve 0 = k*f + j + 1 for f.
-2
Let i(n) = -n**3 + 5*n**2 + 4*n - 3. Let v be i(5). Suppose 8 = -u + 5*u + 2*h, -5*u + h + v = 0. Let s = 20 + -20. Solve 3*k + u = -s for k.
-1
Suppose 0 = -2*s + u - 1, -s - u - 1 = -2. Solve 5 = -y - s for y.
-5
Let y = 2 - -2. Suppose -y*g - 3*n + 14 = -6*n, 0 = 3*g - 4*n - 14. Solve 4*f = g*f for f.
0
Suppose -5*c + 0*x = 4*x, 0 = 5*c - 4*x. Solve 0 = b + 1 - c for b.
-1
Suppose -5*u + 44 = 2*o, 3*o + 0*o = -u + 1. Let r(h) = h**3 + h - 10. Let z be r(0). Let v = u + z. Solve v = 3*i - 0*i - 9 for i.
3
Let p be (-5)/2*4/(-5). Solve -a - p*a = -3 for a.
1
Let h be (-3)/15*4*-5. Suppose -3*y - 5*k = -80, 4*k - 58 = -2*y - 8. Let p = y - 14. Solve -p - h = -5*q for q.
5
Let d(l) = -5*l**2 - 11*l + 6. Let m(q) = 11*q**2 + 23*q - 11. Let z(f) = 9*d(f) + 4*m(f). Let a be z(-8). Solve -a*p - 4 = -12 for p.
4
Let x(j) = 7*j**2 + 1. Let h be x(1). Let o(k) = -k**2 + 8*k + 8. Let p be o(h). Solve 0 = -3*m + 20 - p for m.
4
Suppose 2*k - 39 = -k. Let i = k + -9. Solve i = 3*u - 8 for u.
4
Suppose -2*o = -19 - 75. Suppose o = 4*q - 25. Solve -4*g - q = 2 for g.
-5
Suppose 2*b - 6 = 3*y + 5*b, 0 = 3*b + 12. Suppose -2*k = y*k - 12. Suppose -12 = -3*j + k*i, 4*i = 2*j - 11 - 5. Solve j*a + 3 = 3*a for a.
1
Let w(i) = -4*i**3 + 4*i - 4*i**2 - i - 5 + 3*i**3. Let p be w(-5). Solve 0*h + 25 = p*h for h.
5
Suppose 6*o = 11*o - 75. Solve 4*w = -w - o for w.
-3
Let c = 176 + -167. Let m be 6/(-4)*16/(-6). Suppose 0 = 5*g + i - m, -g + 8 = i + i. Solve g*n + c = -3*n for n.
-3
Let z = 22 + -14. Let b = z - 4. Solve b = 2*x - 4 for x.
4
Suppose 0*o + 2*o = -6. Let x(c) = -c**2 - 3. Let t be x(o). Let n be 4/24 - 34/t. Solve -7 - n = 2*u for u.
-5
Suppose -3*n + 4*y + 36 = 0, -24 = 4*n + y - 91. Suppose 0*k + n = 4*k. Solve 0 = k*j + 1 + 7 for j.
-2
Let w(v) = -v + 0 + 3*v - 8 + 0. Let c be w(6). Solve 0*m = -m + c for m.
4
Let g(d) = 6*d**3 + d**2 - 1. Let r be g(1). Solve 24 = -r*k - 0 for k.
-4
Let y = 41 + -17. Suppose -2*r - 4*i + 9 = -13, -3*r + y = 3*i. Let z = -5 + r. Solve z*g - 5*g = -20 for g.
4
Suppose 0 = q + 3*q - 8. Suppose -4*b + 36 = -q*i - 22, -3 = b + 3*i. Solve -b = 5*m - 2 for m.
-2
Let k(q) = 4*q**2 - q - 1. Let z = 0 + 2. Let v(s) = s**2 - 4*s + 3. Let y be v(z). Let n be k(y). Solve u = n*u for u.
0
Let q(l) = l + 2. Let f be (2/4)/((-5)/10). Let b be q(f). Solve -2*h - b = -7 for h.
3
Let z = -3 + 5. Suppose 3*x = z*x + 2. Suppose -11 + 29 = 4*a - x*v, -5*a = 3*v - 39. Solve -6*r + 4*r - a = 0 for r.
-3
Let x = -7 + 12. Let o be 0/1 - (3 - x). Solve 1 = -3*h - o for h.
-1
Suppose 4 = 15*q - 11*q. Let b be (-1 - -7)*q/2. Solve -2*u - 1 = b for u.
-2
Let y(r) = -r**3 - 4*r**2 + 6*r + 5. Let g be y(-5). Suppose -6*i + 2*i = g. Solve -5*o + 12 - 32 = i for o.
-4
Suppose 9 - 1 = 4*q - p, 0 = -q + p + 2. Suppose 2*i - 3*i + q = 0. Let b be 0 - ((-2)/2 + -2). Solve -b*v + v = -i for v.
1
Let s = -16