-o*r for r.
4
Suppose -4*l = -5*m + 2, 2*m = 4*m - 2*l. Solve u - 3 = m for u.
5
Suppose 3*j + 13 - 40 = 0. Suppose 4*p - j = -3*x, x + 7 = -0*p + 2*p. Suppose -p*q - 1 - 3 = 4*a, -8 = q + 3*a. Solve -b + 0 + q = 0 for b.
4
Suppose 3*i + 12 - 33 = 0. Let b = i - 7. Let u be (-9)/3*(b + -1). Solve 4*o - 5 = u for o.
2
Let x be 14/((-10)/4 - -2). Let f = 42 + x. Solve 4 = -2*d + f for d.
5
Suppose -5*i + 26 = 4*o, -2*i + 0*o + 11 = o. Suppose -12 = -3*t, -4*x + i + 2 = 2*t. Solve x*n = n + 4 for n.
-4
Let j be (14/21)/((-4)/(-42)). Suppose 2*v - 8 = -0*v. Let h = j - v. Solve 3 = -h*l - 3 for l.
-2
Suppose 14 = 2*d - 2*o - 8, 0 = d + 2*o + 4. Let u(r) = 2*r + 6. Let q be u(d). Solve 4*v - 2 + q = 0 for v.
-4
Suppose 0 = 2*j - 5*p - 25, -3*j - 2*p = -j + 10. Let q be 2 + 1/(-2)*0. Let r = j + q. Solve r = -y - 2 for y.
-4
Suppose 12 = -2*w + 3*w. Let x = 15 - w. Solve -x = -4*z + 1 for z.
1
Let n(y) = -3*y - 7. Let z be n(-3). Solve -1 - 1 = -z*v for v.
1
Suppose -40 - 16 = 4*f. Let q = -12 - f. Solve -5*m + q + 13 = 0 for m.
3
Let d = 2 + 3. Suppose d*a - 18 = 4*a. Let q = a - 10. Solve -q = 3*m + 4 for m.
-4
Suppose 4*d - 6 = n + 5, 0 = n - 1. Solve 2*f + 7 = -d for f.
-5
Suppose -y = -1 - 0, 4*x = -2*y + 10. Solve x*o = -9 + 7 for o.
-1
Let n be 3/(-1 + 4)*-61. Let c = 86 + n. Solve 2*y = -3*y - c for y.
-5
Let f(k) = -k**2 - 2*k + 2. Let o(b) = b**3 - 3*b**2 + 3*b - 2. Let s be o(2). Let y be f(s). Solve 8 = y*h - 4*h for h.
-4
Let p(m) = -3*m**3 - 2*m**2 - 2*m + 1. Let c be p(-1). Solve 0 = w - c for w.
4
Let n = 46 + -31. Suppose -4*p + p + n = 0. Suppose 3*b = -3*m - 7 + 40, 4*m = -p*b + 48. Solve -3*s - 4 = -m*s for s.
1
Let z = -7 + 11. Let m(v) = 5*v + 3. Let s be m(0). Suppose 0 = -5*u + 2*u. Solve u = -s*c + z + 5 for c.
3
Suppose 0 = -4*s + 3*h + 18, s + 1 = -3*h + h. Suppose 3*i = -4*u + 9, -u - 5 + 11 = -s*i. Suppose 29 = u*o - 16. Solve o + 0 = 3*m for m.
5
Let s = -22 - -28. Solve u = -u - s for u.
-3
Let m(n) = 5*n + 0*n**2 - n**3 + n**2 - 1 + 3*n**2. Let r be m(5). Let d be ((9/(-1))/3)/r. Solve -2*k = -d*k + 1 for k.
1
Let l(d) = -d**3 - 15*d**2 - 25*d + 16. Let k be l(-13). Solve -k + 0 = -b for b.
3
Let q = -16 - -19. Suppose t = q*t. Solve 3*s - 2*s - 2 = t for s.
2
Suppose -x + 0*x = -7. Let f = x + -3. Suppose -3*u = -7*u + 56. Solve -2*y + u = f for y.
5
Suppose -1 = -g + 2*g. Let p be -6 - (g + -5 + 3). Let q = p - -7. Solve q*c = -c for c.
0
Suppose -30 = -5*g - 2*l, g + 4*l - 3 = -15. Solve -y - g = -5*y for y.
2
Let w be 735/28*(-8)/(-3). Suppose d + w = 3*x, -4*x + 120 = -2*d + 6*d. Solve -2*g = 3*g + x for g.
-5
Let x be ((-4)/(-3))/((-6)/(-18)). Let v be (0/(-1))/2 - 0. Solve -u + x + 0 = v for u.
4
Suppose -6*r = -9*r + 12. Suppose c - 3*q = -7, -c - 4*q = 2*c - 18. Solve r = c*l - 0*l for l.
2
Let s(c) = c**2 + 7*c - 3. Let q be s(-8). Solve -q*r - 7 = -2 for r.
-1
Let v be 133/49 - (-2)/7. Suppose 3*x = -v*x + 90. Solve 3*i + x = -0*i for i.
-5
Let w be 16/(-28) + (-516)/28. Let h = w - -23. Solve h*l + 3 + 1 = 0 for l.
-1
Suppose -3*a - 6 = -5*a. Solve -a = 4*y - 5*y for y.
3
Let p = -2 - 1. Let u = 9 - 5. Let c = p + u. Solve 0 - c = -d for d.
1
Let g be 1 - (0 + 3 - 8). Suppose -4*h = -4*k - 0*k, k + 5*h - 18 = 0. Let y(i) = i**2 - 4*i. Let p be y(4). Solve p*j - g = k*j for j.
-2
Let j(p) = p**2 + p - 4. Let s be j(-3). Suppose -u - z - 1 = 3, -u + 4*z = -16. Solve -s*c - c = u for c.
0
Let g be (16/12)/4*3. Solve 4*u + g = -3 for u.
-1
Let k(r) = r + 4. Let w be k(4). Let p = 12 - w. Solve -10 = p*g - 2*g for g.
-5
Let v = 1 - -1. Suppose -3*s + 49 = -14. Suppose s = 5*i + 3*k, v*i - 4*i - 3*k + 12 = 0. Solve f + 0*f = i for f.
3
Suppose -5*g + 3*g - 2 = s, -g = -4*s + 10. Solve 4*d - 6 = s*d for d.
3
Let l(q) = 2*q - 11. Let m be l(-5). Let f = -18 - m. Solve 1 = f*a + 4 for a.
-1
Suppose -3 = -y - 0. Suppose -4 + 3 = q - 2*v, -q - 6 = -y*v. Solve q = -2*u + 1 for u.
-4
Suppose -3*a - 5*z = -a + 1, -a + 3*z = -5. Let t = -18 - -23. Solve t*m = a*m + 15 for m.
5
Suppose 0*t + t - 2 = 0. Let j = -14 - -22. Suppose 5*r - 2 - j = 0. Solve t*i = -r - 6 for i.
-4
Suppose -44*w = 37 - 169. Suppose 0 = 3*i - h - 1 - 1, 4*h = -i - 8. Solve w + i = v for v.
3
Let b be (-20)/(-6)*30/(-4). Let w be (-1)/4 + b/(-20). Solve -2*x + w = -5 for x.
3
Suppose 2*f = 2*a + 2, 0 = 3*f - 2*f - 1. Solve -3*h = -a + 3 for h.
-1
Suppose -15 = -2*b - 9. Let d = -4 - -8. Suppose -3*u - 10 = 4*r - u, 5*r - 20 = d*u. Solve -b*a + 13 - 4 = r for a.
3
Let w = -1 - -10. Let m be -2 + 0 + -3 + w. Suppose 0 = -3*j + 4*k - 12 + 32, -5 = m*j + k. Solve 8 = -j*c + 4*c for c.
2
Let q(x) = -x**3 - 5*x**2 - 5*x + 3. Let a be q(-5). Suppose m - a = -m. Solve m + 1 = 5*d for d.
3
Let g(n) = n**2 + 2*n + 3. Let a be g(-2). Solve -a = -i + 1 for i.
4
Suppose m - 7 = -5. Solve 0 = m*g + g - 3 for g.
1
Let h be 20/3 + 8/(-12). Let g(n) = 22*n + 1. Let d be g(4). Suppose -36 = -5*t + d. Solve s + t = h*s for s.
5
Let j = -4 - -4. Let f = j - -17. Suppose 0 = -2*s - 7 + f. Solve s*g - 25 = -0*g for g.
5
Let p be (6 - 5)/(2/8). Solve 6 = -2*f - p for f.
-5
Let i = 8 - 16. Let j = i - -10. Solve j*d - 5 + 15 = 0 for d.
-5
Suppose -5*q + 6*q = 6. Suppose -2*c = -x + 10, -4*x = -q*x - 4*c - 4. Solve -a + x*a - 9 = 0 for a.
3
Suppose 0 = 2*k - 0*k - 10. Let y = -3 + k. Suppose y*o - 1 = -5*t - 10, -4*t = 20. Solve o = 3*m - 1 for m.
3
Suppose 5*x = -u + x + 18, -4*u + 24 = 4*x. Solve 15 = -u*z - z for z.
-5
Let l be -4 - (-18)/(3 - 1). Solve -l + 1 = 2*i for i.
-2
Let m be (-2 - -2)/(-2) + 2. Suppose 3*n + 3 = -15. Let c be 1/(-1*2/n). Solve m - 14 = -c*u for u.
4
Let l = 3 - -6. Let x = l + -9. Solve x = 2*h - h for h.
0
Let d(t) = -11*t**3 + 11*t**2 + t + 4. Suppose 2*z = -4 - 12. Let k(a) = 4*a**3 - 4*a**2 - 1. Let g(j) = z*k(j) - 3*d(j). Let i be g(3). Solve -i*x = -x for x.
0
Suppose 14 = 2*n + 3*o, -o - 2 + 4 = 0. Solve -y - n*y = 0 for y.
0
Suppose 0 = -9*y + 4*y - 5. Let r(q) = -15*q + 2. Let v be r(y). Solve 5*z = -7 + v for z.
2
Suppose 4*d - 8 = 2*d. Solve d*g + 13 = -7 for g.
-5
Let h(q) = -q**3 - 2*q**2 + 3*q + 3. Let o be h(-3). Suppose o*m - 30 = -2*l, 3*m + m - 2*l = 26. Solve -m = 3*x + x for x.
-2
Let k be -27*2/(3*-2). Let r(w) = w**2 - 9*w + 3. Let b be r(k). Solve -4*j = -5*j - b for j.
-3
Let a be 7/5 - 3/(-5). Solve 2*h + a + 0 = 0 for h.
-1
Let s = -24 - -39. Solve 0 = 6*v - v + s for v.
-3
Suppose -18*o - 5 = -2*f - 17*o, -5*o + 15 = -2*f. Suppose 3*j - 36 = -4*p, -p + 0*p + 3 = 0. Solve -f*x + x = -j for x.
2
Let k = 56 - 53. Let x(c) = -c**3 + c**2 + 1. Let i(v) = -7*v**3 + 7*v + 12. Let s(r) = i(r) - 6*x(r). Let d be s(-7). Solve d = -k*o + o for o.
-3
Suppose y + 50 = 3*d - 3*y, 0 = -d - 3*y + 8. Let k = 5 - 5. Let m = 13 - 9. Solve k = -m*z + 6 - d for z.
-2
Let p(t) = -t**3 - 5*t**2 + 2*t + 2. Suppose -5*z - 3*w = 42 - 11, 4*w = z - 3. Let s be p(z). Let d = -6 - s. Solve -d*b + 1 = -3 for b.
2
Let x = 39 - 25. Let c be 2/(4/x - 0). Solve -3*d - 4 = -c*d for d.
1
Let t(m) = -2*m + 1. Let p be t(1). Let r be 1 + -1 + 1 + p. Let h be 2 + 1*-1*2. Solve r = -a - h + 5 for a.
5
Let x be 0 - (-22 - 1*-2). Suppose -2*q + 4 = 5*j + 14, -4*q = -j - 2. Suppose 14*g + 14 - 84 = 0. Solve -g*k + q*k + x = 0 for k.
4
Let p(w) = -6*w + 3. Let o be p(0). Solve c - 12 = -o*c for c.
3
Suppose -2*n + 0 = -8. Let d be 0*(n/2)/2. Let z be (-6)/(-1) - 1/(-1). Solve d = -z*h + 2*h - 10 for h.
-2
Let i(l) = -l**3 + 3*l**2 + 11*l - 1. Let s be i(5). Solve 6*g - s = 2*g for g.
1
Let j = 3 + -1. Let k(o) = -o**3 + o**2 + 2*o. Let m be k(j). Let q be 0*3/(m - 3). Solve 4*r - 5 + 25 = q for r.
-5
Let h = 15 - 9. Let z = -1 + h. Solve 0 = -2*a - 5 - z for a.
-5
Let p be (9/12)/(2/8). Let u = p - -5. Let b(j) = j + 7. Let k be b(-5). Solve -u = 2*v - k for v.
-3
Let d(z) = 4*z**2 + 5*z - 16. Let g(l) = l**2 + l - 1. Let h(k) = d(k) - 5*g(k). Let f be h(0). Let y = f - -19. Solve -5*a - 28 = -y for a.
-4
Suppose 2*m - 6*m + 12 = 0. Solve 0 = n + 2*n - m for n.
1
Let v = -15 + 19. Solve -3*m = -16 + v for m.
4
Let o(q) = 3*q**3 - q. Let k be o(1). Suppose a + 14 = -4*t, -5*a + k*t = t - 14. Solve -a = -r + 2*r for r.
-2
Let w(l) = l**3 + 7*l**2 - 9*l - 6. Let c be w(-8). Solve -c*t - 2 = -0*t for t.
-1
Let l(q) = 7 + 6*q + 5*q - q**2 - 14. Let a be l(10).