+ u for m.
-3
Let q be (4/(-3))/(2/21). Suppose -44 = -2*u - 4*a + 3*a, -2*a = 5*u - 112. Let f = q + u. Solve -f = -2*n + 4*n for n.
-5
Let w be (-8)/(5 - 3 - 3). Suppose -10 - w = -2*n. Solve 2*o + 1 + n = 0 for o.
-5
Let p(i) = -2*i**3 + 3*i**2 - i. Let l be p(1). Let o = 7 + -4. Solve -a + 2*a - o = l for a.
3
Let z = 6 + -3. Suppose 3*t = -2*v + 6, v = 2*t - 7*t + z. Solve 0*d - 9 = v*d for d.
-3
Let r be ((-10)/4)/(5/(-10)). Suppose r*t - 6 = 2*t. Suppose -3*y - 6 = -0*g - t*g, y = 5*g - 2. Solve g = -q - q for q.
0
Let u = 3 - 3. Suppose 3*j + u*j - 6 = -2*r, 2*r - 2*j = -4. Suppose v = 17 - 15. Solve q - v + 4 = r for q.
-2
Suppose 4*i - 3 = 3*i + 3*k, 0 = -5*i - k - 1. Suppose i = -4*n - 12 - 4. Let g be (30/n)/(2/(-4)). Solve 4*v = -1 - g for v.
-4
Let m = -8 - -11. Suppose -b + m = -3. Solve b - 1 = 5*s for s.
1
Suppose 0 = 4*m + 5*z + 34 - 5, 13 = -3*m - 2*z. Let t be 0/2 - (m - -1). Solve 0 = -f - t*f for f.
0
Let p = -20 - -23. Suppose -c - p = -y - 0, -5*y - c = 3. Solve y*t = -5*t - 10 for t.
-2
Let x(g) = g - 10. Let w be x(8). Let t be 15/6 - (-1)/w. Suppose 8 = 2*h + t*h. Solve h*c - 7 = 1 for c.
4
Let d(a) = -a**2 - 12*a - 9. Let v be d(-11). Solve w = -6 + v for w.
-4
Let k be ((-10)/(-3))/((-10)/(-75)). Suppose 3*r - 2*r - k = -5*d, 7 = 2*d + r. Let t = 8 - d. Solve h - 1 - t = 0 for h.
3
Let s = 24 - 17. Let a = 3 - s. Let k = 7 + a. Solve k*h - 1 = 2*h for h.
1
Let w be 1 + -1 + (-21)/(-7). Suppose -w*m = m. Suppose -3*y - b + 11 = 0, 3*y - 5 = -4*b + 3. Solve -5*u + y + 6 = m for u.
2
Let d be -1 + (0 - (-3 + -6)). Solve k - d = 5*k for k.
-2
Let b = 6 + -5. Suppose 3*g + b = 13. Solve w + 10 = -g*w for w.
-2
Let u = 17 - 12. Let j(q) = q**3 - 4*q**2 - 5*q + 3. Let f be j(u). Solve 1 = -f*v + 4 for v.
1
Suppose 0 = -3*w - 2*d - 31, 0 = -6*w + w - 4*d - 55. Let l(m) = m**2 + 8*m + 7. Let y be l(w). Solve y*f + 10 = -2*f for f.
-5
Let i(l) = 2*l - 9. Let a be i(6). Suppose d - 5 = 5*z - 4*z, -z - a*d + 11 = 0. Let t be 0/(-3 + (0 - z)). Solve -3*r + 2 + 4 = t for r.
2
Suppose 4*t - 111 = 57. Suppose 10 = -4*w + t. Solve 28 = 4*j + w for j.
5
Let v be (((-24)/15)/4)/(6/(-30)). Solve 3*j = j + v for j.
1
Suppose -4*x + 30 = -x. Suppose 0 = 5*m + x, -n + 88 = 3*n - 4*m. Solve -3*l = 2*l + n for l.
-4
Suppose -5*q = -4*z + 16, -5*q + 1 = 5*z - 64. Solve -11 - z = -4*i for i.
5
Suppose 0 = z - 3*z + 14. Solve 0 = 5*c + z + 3 for c.
-2
Suppose 2*p = 2 + 2. Let o = -7 + 13. Solve -p*t - o = t for t.
-2
Let q(b) = -b**3 - 31*b**2 - b - 27. Let v be q(-31). Solve 0 = -2*t + 3*t - v for t.
4
Let l(u) = -u**3 - u**2 + u + 1. Suppose 3*m - 16 = -m. Suppose -20 = 5*h - 0*p + m*p, 0 = -3*p - 15. Let b be l(h). Solve z + 4 - b = 0 for z.
-3
Suppose -m - 3*p = 6, -3*m - 4 = -4*m + 2*p. Solve m = 3*y - y + 6 for y.
-3
Suppose 6*r = 8*r - 14. Solve 0 = 2*n - r - 1 for n.
4
Suppose 3*v = h + h, -h = 3*v - 9. Solve h*b = -b for b.
0
Let x(a) = -a**3 - 6*a**2 - 3*a + 3. Let c be x(-5). Let f = 7 + c. Solve f*h = -h + 4 for h.
4
Let r(j) = -j + 15. Let m be r(12). Solve 5*t - 4 = m*t for t.
2
Suppose -5*z - 1 = n, -z = 2*n + 5 - 3. Solve -2*o + z*o - 2 = 0 for o.
-1
Suppose -7*m + 3*s + 21 = -2*m, 10 = -5*s. Solve m*q = 5*q for q.
0
Let v be (-12 + 0)/(-3) - 1. Let z(s) = s**3 - 3*s**2. Let q be z(v). Solve q = -7*a + 3*a - 16 for a.
-4
Let h(b) = -4*b + 4. Let f be h(2). Let l = -1 - f. Solve l*q + 10 = 4 for q.
-2
Let a be 4 + -4 - (-12 + -1). Suppose -4*n = -a - 3. Let w be 124/6 + n/(-6). Solve 3*x = -x + w for x.
5
Suppose 5*y - y - 48 = 0. Suppose 0 = g + 2*g - y. Solve 1 = g*j - 11 for j.
3
Let j be -1 + (-156)/(-27) - 36/(-162). Solve -5*s + j = 10 for s.
-1
Suppose -4*v = v - 15. Suppose 54 = 5*n + 4*q, n + v*q - 11 = 2*q. Solve -4*h = h - n for h.
2
Let q(n) = -7*n**3 - 2*n**2 - 7*n + 24. Let t(p) = 10*p**3 + 3*p**2 + 10*p - 36. Let c(v) = -7*q(v) - 5*t(v). Let h be c(0). Solve -6*f + h = -2*f for f.
3
Let p = 3 + 1. Suppose 16 = 2*l + p*j, -5*l - 2*j + 53 = -5*j. Solve -w + l = -6*w for w.
-2
Suppose 0 = 5*j - y - 4, -8 = 3*j + y + y. Solve j*n - 3 = -n for n.
3
Suppose 5 = 4*a + 13. Let r(f) = f + 4. Let h be r(a). Solve 3*p - 1 = h for p.
1
Suppose -10*u - 15 = -13*u. Solve 0 = -u*k - 1 + 16 for k.
3
Suppose -32 + 0 = -2*w. Suppose -i + w = -2*u, -i + 8*u = 3*u - 28. Solve -3*k - i = 1 for k.
-3
Let o = -18 - -22. Solve 0 = -c + 3*c + o for c.
-2
Let f = -17 - -20. Solve -f - 9 = -3*c for c.
4
Let q be 4 + (-42)/18 + (-2)/(-6). Suppose 2*p = -5 - 7. Let a be (q/p)/(2/(-24)). Solve -5*v - a = 6 for v.
-2
Let w(m) = m - 9. Let f be w(7). Let x be 2 - 1*(f - -1). Suppose 48 = x*o + o. Solve 0 = 3*u + 3 - o for u.
3
Let a be (-7 + 13)*(-2)/(-4). Suppose 5*q - 5 = 0, -2*n + a*q = q - 6. Suppose -2*f = -n*f. Solve 2*i + f*i = 0 for i.
0
Suppose 5 = -2*p + 5*g, -2*g + 4 = 2. Solve -a + p*a = -2 for a.
2
Let d be 0/(4/2) - -3. Let r(z) = z**3 - 3*z**2 + 2*z. Let i be r(1). Let g = d - i. Solve g*j = 4*j for j.
0
Suppose 1 = -5*q + 16. Suppose 2*g = -q - 1. Let z be g + (6 - 1) - 1. Solve c + z*c = -12 for c.
-4
Let o(d) = d**2 + 10*d - 11. Let x be o(-11). Solve x = 2*p - 3*p + 5 for p.
5
Let t(a) = a**2 + 3*a + 1. Let w(u) = -u**2 - 3*u - 1. Let s(b) = -6*t(b) - 7*w(b). Let j be s(-3). Let g = 1 + j. Solve -g*p = -p - 5 for p.
5
Let g be (-10)/((-4 + 0)/2). Solve -6*p = -g*p - 2 for p.
2
Let o(a) = -2*a + a - 3*a + 3*a + 7. Let w be o(3). Suppose -2*u - 60 = -5*u. Solve 0*t + u = w*t for t.
5
Let u = -3 + 6. Suppose -5*f = u*n - 51, 2*f + 3*f = -n + 27. Solve -3 + n = 3*y for y.
3
Let t(i) = i**3 - 9*i**2 + 5. Let v = 3 - -6. Let a be t(v). Solve -a*o = 2 + 3 for o.
-1
Let d be (-180)/(-80) - 2/8. Solve -d*w - 3*w = -25 for w.
5
Let c = 13 - 13. Solve 5*v + 2 + 3 = c for v.
-1
Let y(z) = -z**3 + z**2. Let c be y(1). Solve -5*m - m - 12 = c for m.
-2
Let w be (-50)/(-10)*6/10. Let i(z) = -z**3 - 4*z**2 + 3*z - 5. Let m be i(-5). Let t be 0*(10/4)/m. Solve -w = a - t*a for a.
-3
Let y = -45 - -48. Solve a + y = 8 for a.
5
Let q(g) = -g - 5. Let w be q(-5). Let y = -4 - -10. Suppose -y = -5*m + 3*m. Solve -3*f + 6 - m = w for f.
1
Let c be ((-3)/6)/(1/(-4)). Let k be (-18)/22 + c/(-11). Let j be 24/(-9)*k*3. Solve 3*h - 4 - j = 0 for h.
4
Suppose 0 = 7*a - 2*a + 35. Let n = a - -9. Solve -m + 1 = n for m.
-1
Let v(t) = -t**2 - 2*t - 2. Let k be v(-2). Let m be k*((-9)/6)/1. Suppose 0 = -2*n + 2*d + 24, -5*n - m*d = -51 + 15. Solve l + 2*l = -n for l.
-3
Suppose 0 = -4*b + 2*c - 40, -12 = -b - 8*c + 3*c. Let t(u) = u**2 + 8*u - 2. Let o be t(b). Let l = o + 3. Solve 2 = -g + l for g.
-1
Suppose 4*l = -2*n - 2*n - 8, 5*n - 18 = 2*l. Suppose 0 = -v + 1, 3*u + 7 = -v + 17. Suppose b = n*b - u. Solve 4*o + 1 = -b for o.
-1
Let l = -13 - -18. Solve l*d - 31 + 11 = 0 for d.
4
Let x be (-168)/(-36) - (-2)/(-3). Suppose -2 + x = b. Solve -b*m = -0*m + 6 for m.
-3
Suppose 0 = -5*r + 3 + 7, 2*v = 3*r - 6. Solve -5*z + v = -10 for z.
2
Suppose 10 = -4*n + 30. Suppose q + 2 = n*y, 5*y - 1 - 3 = 2*q. Solve y = 5*d - d for d.
0
Suppose -x = 10 - 12. Solve x*l = -2*l - 8 for l.
-2
Let t = -21 + 29. Let y be 1 - 2/(t/(-12)). Solve y = d + 9 for d.
-5
Let s(q) = q**3 - 4*q**2 + 3*q + 3. Suppose 4*v = -0 + 12. Let n be 2 + v*3/9. Let z be s(n). Solve l + z*l = -16 for l.
-4
Let w(x) = -x**3 - 18*x**2 - 17*x + 4. Suppose -4*h + 35 - 103 = 0. Let r be w(h). Solve 4*i + 4 = -r for i.
-2
Suppose -2*d + 9 = -5*d + 2*m, 7 = -4*d + m. Let x be -2 - (d - (11 - 0)). Suppose 4*h + 12 = -4*r - r, 3*h + 9 = -4*r. Solve -2*l + 0*l + x = r for l.
5
Let n = -8 + 8. Suppose n = -3*z + 11 + 7. Let w = -2 + z. Solve -14 = -w*f + 6 for f.
5
Let x(r) = r - 5. Let q be x(5). Suppose -d + 7 = -q*o + 2*o, 0 = -5*o - 5*d + 25. Let v be (-3)/o*12/(-9). Solve 0 = -v*j - j for j.
0
Let j(b) = b**2 + 10*b + 27. Let i be j(-6). Solve i*g = -10 + 4 for g.
-2
Let t = -2 + 7. Let j(c) = t + 2 + 0*c + c. Let m be j(-5). Solve -8 = -m*k - 2*k for k.
2
Let a be 1/5 - 34/(-5). Let m = -4 + a. Let k be (-1)/3 - (-10)/m. Solve -3*f = -0 + k for f.
-1
Let u(z) = 5*z**2 - z. Let d be u(1). Let y be (9/d)/((-1)/4). Let v(h) = -h**3 - 8*h**2 + 8*h - 2. Let r be v(y). Solve -r - 1 = 2*k for k.
-4
Suppose 250 = 2*q - 7*q. Let b be -1*2/4*q. Solve -5*d + 0*d = b for d.
-5
Suppose -2 + 20 = -3*k. L