*m for m.
-3
Let r(k) = -k**2 + 12*k - 32. Let z be r(6). Solve -9*i + z*i + 5 = 0 for i.
1
Suppose 0 = -5*k + 56 - 1. Suppose -3*r = r - 20. Let m = r + -1. Solve -k = -m*o + 5 for o.
4
Let u(o) = 6*o + 2. Let n be u(10). Let c be n/6 - (-10)/15. Solve 2*m = c - 1 for m.
5
Suppose 2*c = 12*c. Solve 4*s + c*s = -4 for s.
-1
Let r be (0 + 3 - 0) + -1. Let d = 11 + -9. Solve -u = -d*u - r for u.
-2
Suppose -3*s - 9 = -3*b, -5*s = 2 + 3. Solve b = -x - 2 for x.
-4
Let s = -3 + 6. Suppose 0 = 5*j + 2*o - s*o + 30, 3*o = 2*j - 1. Let f(m) = -m - 5. Let x be f(j). Solve t + 5 = x*t for t.
5
Let v = -4 + -2. Let p be (-3)/v*(1 - -3). Solve 1 = 3*g - p*g for g.
1
Let n(k) = -k - 3. Let u(s) = -2*s - 6. Let m(o) = 5*n(o) - 3*u(o). Let p be m(0). Suppose p*j + j = 0. Solve j = -0*t + 4*t - 20 for t.
5
Suppose -31 - 34 = -5*a. Suppose 0 = 2*y - 3*q - 18, 8*y - 4*q - 40 = 4*y. Solve -5*k + y = -a for k.
5
Let x be 4/(-2) - -2 - -1. Solve d = -3 + x for d.
-2
Suppose 11 = -r - 3*q, 3*q + 12 = 4*r + q. Let k = -2 + -2. Let y = 0 - k. Solve -y - r = b for b.
-5
Let t(z) = z**2 + 9*z + 7. Let x be t(-8). Let c = x + 6. Solve o - c = -3 for o.
2
Let o be 10/(-35) + (-46)/(-14). Let f be 2*o/(4 + -1). Suppose -u - f*k - k + 5 = 0, -1 = -3*u + 5*k. Solve -6 = -2*w + u for w.
4
Let p(s) = -3*s - 28. Let y be p(-14). Solve 5*r = -y - 11 for r.
-5
Let i(o) = o**3 - 5*o**2 + 3*o - 6. Let w be i(4). Let f = w + 22. Suppose -4*l + 0 = -f. Solve -3 = l*r - 2*r for r.
-3
Let u be (0 - (-1 + -2)) + -1 + -2. Solve u = 4*k - 19 - 1 for k.
5
Suppose 0*t = -2*t + 2. Solve -4 = -m + t for m.
5
Let c be ((-4)/(-3))/(6/27). Suppose -10 = -5*p + 5. Solve -p*x = -x - c for x.
3
Let a = -5 + 9. Let u(q) = q**3 - 4*q**2 + 5. Let w be u(4). Solve -w = m + a*m for m.
-1
Let v(p) = p**3 + 5*p**2 + 3*p - 2. Let b be 1 - 7 - (-5 - -3). Let i be v(b). Suppose 4*m - 5*g + 13 = 1, -12 = -2*m - i*g. Solve m*f + 8 + 2 = 0 for f.
-5
Let c(l) = -7*l + 32. Let o be c(4). Solve -o*a - 5 = a for a.
-1
Suppose -3*k - 6 = 3. Let l be (2/k)/(2/(-15)). Solve 16 + 4 = -l*a for a.
-4
Let p be 6/9 + 1/3. Suppose p + 23 = 3*s. Suppose -7*u = -3*u - s. Solve -5*i = u - 22 for i.
4
Suppose -27 + 2 = -5*l. Let b be -2 + l + (-3 - -2). Solve 6*z - b*z = -20 for z.
-5
Let n(j) = j**2 - 2*j - 1. Let k be n(-1). Suppose k*b = 7*b. Solve 2*a = -b*a for a.
0
Suppose -4*z + 6 + 14 = 4*r, 5*z + 5 = 5*r. Solve -2*h + 5*h = r for h.
1
Suppose 5*p - p = 8. Solve -p*z - 3 = -11 for z.
4
Let c(t) = -3*t**2 - 2*t - 1. Let o(y) = 2 + 3*y + y**2 + 0*y**2 + 3*y**2. Let i(f) = -3*c(f) - 2*o(f). Let g be i(-1). Solve g*n = 5*n for n.
0
Let f = -136 + 138. Solve -f*c = 2*c - 16 for c.
4
Suppose 0 = 2*p - 4*k + k - 16, -2*p + k + 8 = 0. Solve 7 = p*o + 3 for o.
2
Suppose 23 - 122 = -3*j + 3*r, 4*j - 132 = 5*r. Suppose -f - j = -5*w, -w + 21 = -4*f - f. Let o = 11 - 9. Solve o*m = 2 + w for m.
4
Let s(l) = l**3 + 9*l**2 - 11*l + 13. Let i be s(-10). Let h = -14 + i. Let q = 17 - h. Solve -4*v + 0*v = -q for v.
2
Suppose -y = -2*i - 3*y, i - 8 = y. Suppose 2*r - 4*m = -i, -5*m = -0*r + 2*r - 5. Solve b + r = 2 for b.
2
Suppose 44 = 4*s - 16. Solve -5*a - 10 = s for a.
-5
Let r(u) = 3*u**2 - 2*u - 2. Let i be r(2). Let f = i - 6. Solve -3*t + t = f for t.
0
Let c = 3 - -5. Solve -c*w + 4*w = 0 for w.
0
Let t(r) = -r**2 - r + 4. Let m be t(0). Solve 1 = -m*l - 3 for l.
-1
Let m = 9 + 21. Suppose -t + 3*v = -5*t + m, -t - 5*v + 16 = 0. Solve 0 = -4*g - 14 + t for g.
-2
Let o = 178 + -172. Solve 10 + o = -4*h for h.
-4
Suppose 2*p + 54 - 20 = y, -y - 4*p + 58 = 0. Let c be 54/y + 2/(-7). Suppose 49 = 2*q + 11. Solve 4*j + q = -c for j.
-5
Let h(f) = -f - 1. Let k be h(-2). Let z be ((-42)/(-49))/(k/7). Solve 2*w = -z + 4 for w.
-1
Let p = 0 + -6. Let s(m) = 9 - 4 + 3*m + 3 - 2*m. Let u be s(p). Solve -u*o = -o + 4 for o.
-4
Let x be 4 + (-5)/((-10)/(-4)). Solve x*o + o = 15 for o.
5
Let r = -51 - -108. Let m = -37 + r. Solve -4*d + m = -8*d for d.
-5
Suppose -9 = -a - 1. Solve -3*j = -5*j - a for j.
-4
Let n be 1 - (3 + -5)*2. Let g be -1*n*(-6)/15. Solve g = l - 0 for l.
2
Suppose -3*s - k = -2*k - 3, -3*k + 7 = -s. Solve 0 = -h + 5 - s for h.
3
Suppose 0 = 4*i - i - u - 7, 0 = 4*i + 5*u - 22. Suppose 73 = 2*l + 2*p - 5*p, -3*l + 4*p + 108 = 0. Suppose -5*f + l = 12. Solve f*a - a = -i for a.
-1
Let o(p) = -p**3 + 4*p**2 - 2*p + 3. Let n be o(4). Let a be n/(-10) - (-51)/6. Solve -v = 2*v - a for v.
3
Suppose 0 = -i + 3*i - 8. Suppose 0 = -2*m - 0 + i. Solve -m*q = q + 9 for q.
-3
Let z = -10 - -12. Solve 5*v - 9 = z*v for v.
3
Let z be (6/(-5))/((-9)/60). Suppose b - z + 4 = 0. Solve t + 15 = -b*t for t.
-3
Let h be (-36)/20*(-14 - 1). Suppose 3*f - h - 12 = 0. Solve 0 = -4*o + 3 + f for o.
4
Let s(u) = 7*u - 5. Let l be s(5). Suppose 5*n - n = 60. Let h = l - n. Solve -5*k + 40 - h = 0 for k.
5
Suppose -l + 2 = -3*f, -3 = 4*l - 23. Solve 4 = -5*h - f for h.
-1
Suppose 5*o - 2 = -4*k, 0*o - 4*o - 4*k = 0. Suppose 4*q = o*q. Let s be 8/(-28) + (-228)/(-14). Solve q*l = 4*l + s for l.
-4
Let p be -2*6/15*-5. Suppose -p*n + 45 = -n. Solve 4*a = -a - n for a.
-3
Let t(y) = -4*y**2 - y + 2. Let j be t(1). Let c be (-100)/(-12) + 1/j. Solve c - 4 = g for g.
4
Suppose 0 = -2*c - 8, -5*i - 2*c + 92 = 0. Let q be 1*3*i/30. Solve 11 - q = 3*z for z.
3
Let l(p) = -1 + 3*p**2 + 5*p**2 - 4*p**2 - 2*p**2 + p**3. Let s be l(-1). Solve s*a - 2*a - 8 = 0 for a.
-4
Suppose t + 1 = 4. Let u be 4 - 3/(3/t). Suppose 3*c - 2 = u. Solve 5*g + 4 + c = 0 for g.
-1
Suppose 21*x - 2*x = 418. Solve x = -5*l - 3 for l.
-5
Suppose 6*o - o = 0. Suppose 0 = -o*t - 3*t. Suppose 12 = -t*f + 4*f. Solve f*i + 0 = -6 for i.
-2
Let r = 27 - 26. Solve 14 = -3*n - r for n.
-5
Let m = -6 - -10. Solve x = -m - 1 for x.
-5
Let u be 14/5 - 2/(-10). Suppose 0 = -7*h + u*h + 4. Let p be h/(-2)*0 - -3. Solve 0 = -i - 1 - p for i.
-4
Let v be (10 + -15)/((-1)/1). Suppose -2 + 38 = 3*i. Suppose 28 = 3*q - m, 0*q - 3*m - i = -q. Solve v*r - 34 = -q for r.
5
Let k be -3*(35/(-3))/7. Solve 7*t = 2*t + k for t.
1
Let z(x) = -x**3 + 3*x**2 - 2*x + 2. Let p be z(2). Solve -4 = p*w - 0 for w.
-2
Let f(b) = -b + 6. Let y be f(3). Suppose -4*g = -z - 18, -g = z - y - 4. Let x be 3 - (3 - (z + 0)). Solve -4*a = -x*a + 6 for a.
-3
Let d = -2 + 1. Let p = -1 - d. Let y be (-3)/12*-24 + 2*3. Solve -t - 2*t - y = p for t.
-4
Let x = -3 + -2. Let t(m) = m**2 + 3*m - 5. Let l be t(x). Suppose -l*o + 14 - 4 = 0. Solve 0*j - o*j = 0 for j.
0
Suppose 5*o - w = 3 + 10, -8 = -4*w. Solve -o*q - 2 - 1 = 0 for q.
-1
Let c = -172 + 178. Solve c = -4*y - 2 for y.
-2
Let z be (-55)/(-2) + (-3)/(-6). Suppose -90 = h + 4*h. Let k = z + h. Solve -3*u - 2*u = k for u.
-2
Let h(l) = -l**3 + 7*l**2 - 3*l - 6. Let r be h(6). Suppose 4*q + r = d - q, -q - 10 = -4*d. Suppose a - d = -0. Solve 15 = a*p + p for p.
5
Suppose -3*u = 2*j - 42, 0*j + 2*j + 6 = 0. Suppose -2*h - u = -3*o, -2*o + o - 4*h - 18 = 0. Suppose -3*d = -o*d. Solve d = 3*p + 14 - 5 for p.
-3
Let c be 206/8 - 1/(-4). Suppose -2*x - x + c = t, x + 4*t = 16. Suppose 5*b - x = b. Solve 2*i + b = -0 for i.
-1
Suppose 4*w + 0*w - 20 = 0. Solve 0 = -w*l + 3 + 7 for l.
2
Suppose 4*p - 2*f - 44 = 0, -f + 5 - 36 = -3*p. Suppose -l - l + 26 = -5*s, l + p = -3*s. Solve 0*r + 3*r = l for r.
1
Let c = 12 + -8. Suppose d = 4*d - 4*l + 1, l = c. Let r(w) = 5*w**2 + 2*w - 3. Let o be r(2). Solve d = -4*n + o for n.
4
Let c(b) = 5*b**2 + 2*b + 2. Let l be c(-2). Suppose -4*k - 13 = 2*s + s, 0 = -4*s - 4*k - 16. Let a be 0/1 - s/1. Solve 0 = a*z + l - 3 for z.
-5
Suppose -a - 2*a + 38 = 5*t, -4*a - 4*t + 40 = 0. Suppose -2*y + a - 2 = 0. Solve y = -j + 6 for j.
4
Suppose -18 = -5*j + 2. Let y(w) = -w**3 + 4*w**2 - w - 5. Let p be y(j). Let k be 6/p + 4/6. Solve k*d - 3 = -d for d.
3
Let k be 4*(-1)/(2 - 3). Solve -k = 3*f + f for f.
-1
Let a = -3 - -8. Let c = 9 - a. Solve -5 = c*b + 3 for b.
-2
Let z(j) = j - 4. Let k be z(5). Suppose -w = -k - 0. Let y = w - -1. Solve 0 = -g - y for g.
-2
Suppose 6 + 0 = 3*y + b, 5*b = 5*y + 10. Let s = -10 + 12. Solve m - s = -y for m.
1
Let u = -1 - -5. Solve -u*y + 5 = -15 for y.
5
Let p be (4 - 0)*1/2. Let m be 2/(2/(p + 0)). Suppose -m*j - j = 0. Solve 2*f + j*f = 10 for f.
5
Let s be (-1 - -4) + (1 - 1). Let n be (-5)/1