 for m.
5
Suppose 0 = 5*t - t. Solve 4*k - k + 6 = t for k.
-2
Let l = -7 - 0. Let j = -7 - l. Solve -3*y - 9 = -j*y for y.
-3
Let z be 12/9*(5 + 1). Solve 2*j + z + 2 = 0 for j.
-5
Let a = -13 + 20. Suppose -8 = 5*p + 12. Let k = p + a. Solve 4*v - k*v = 1 for v.
1
Suppose 3 = 2*i - 3. Suppose i*y = -3*m - 6, 2*y = 3*m - 3*y - 26. Let t be 2 + 3/m*12. Solve 0 = 3*o + o + t for o.
-5
Suppose -3 = 3*x - 4*k + 3, 4*k - 16 = -2*x. Solve -x*y = -4*y - 6 for y.
-3
Suppose 0 = 27*u - 24*u - 3. Solve -r + u = -2 for r.
3
Suppose z = 4*f - 2, -4*f + 3*f = -2*z + 3. Let w be (-1 - -2) + z + 1. Suppose d - 19 = -4*i, -4*i - 5*d - 3 + 18 = 0. Solve -5*q = -w*q - i for q.
5
Let a(i) = -i**3 - i**2 + 4*i. Let f be a(-3). Suppose s - 1 = 8. Solve s = 3*c - f for c.
5
Suppose 0 = 2*u - 1 - 43. Let o = u + -19. Solve -2*w - o + 1 = 0 for w.
-1
Let a be -1*4 - ((-15)/3 + 1). Solve -b + 1 + 3 = a for b.
4
Suppose 2*p - 2*t - 4 = -0*t, -p + 5*t = 18. Let k be (-17)/(-4) + (-3)/12*1. Suppose 3*f = k*a - p - 13, f = 0. Solve -a*v = -3 - 12 for v.
3
Let a be 3/12 + 21/12. Suppose -a + 1 = 2*d + v, 3*d - 3*v = 21. Suppose 2*h + d = 3*h. Solve 0 = 3*m - h*m + 5 for m.
-5
Let g(a) = -3*a - 1. Let d be g(-1). Let j be 0 + d + (-3)/3. Let i be -2 + j + 0 + 5. Solve i*p = p for p.
0
Let d = -7 - -10. Suppose -d*k - 3*r - 1 - 11 = 0, -3*r = k + 12. Solve k*l - 5 = 5*l for l.
-1
Let u(o) = -o - 11. Let n be u(-11). Solve 5*m + n*m = -25 for m.
-5
Let x(j) = -5*j**2 - 19*j + 5. Let y be x(-4). Solve -r - y + 4 = 0 for r.
3
Let w be (4/10)/(1/(-5)). Let l be 2*-2*(1 + w). Suppose -2*z - 6 = 0, -3*j = 4*z + z + 6. Solve l*x = j*x for x.
0
Suppose -2*b + b + 9 = 0. Let w = -7 + b. Solve 0 = -w*x + x + 2 for x.
2
Let p = 0 - -3. Suppose 2*c - 33 = 8*u - 3*u, p*u = 5*c - 54. Suppose -3*t + 8 = -5*z, 4*t - 4*z - z - c = 0. Solve -n - t = -3 for n.
2
Suppose -11*d = -12*d + 3. Solve -b + d + 1 = 0 for b.
4
Let c(b) = 2*b**3 + b**2 - b - 1. Let d be c(2). Suppose -o = -q - 5*o - d, -3*o - 18 = -q. Solve -z - q = 2*z for z.
-1
Let i = -1 - -1. Solve i = -0*v - 4*v for v.
0
Let q(w) = -w + 8. Let g be q(8). Suppose 4*x - 12 + 4 = g. Solve -4*n - 14 - x = 0 for n.
-4
Let n = -5 + 15. Let p(m) = m**2 - 5*m - 4. Let a be p(8). Let h = a - n. Solve 0*q = 2*q - h for q.
5
Let y be (50 + 0)*(-2)/(-5). Solve -m + y = 4*m for m.
4
Suppose s - 3*r = -1, 3*s - 19 = -0*s - 2*r. Suppose s*l - 11 = 4. Solve -3 - 6 = -l*x for x.
3
Let v(u) = u + 2. Let k be v(3). Let h(q) = -q**3 + 4*q**2 + 7*q - 5. Let j be h(k). Solve 3 = -z + j for z.
2
Let g(i) = i**3 + 10*i**2 - 25*i - 12. Let l be g(-12). Solve l*v - 1 = v for v.
-1
Let u = 10 - 8. Let t(i) = -i + 1. Suppose -3*v + 3*q + 0*q = -9, -1 = v + q. Let x be t(v). Solve -6 = -x*b - u*b for b.
3
Suppose 5*t = -5*n + 45, -5 = 5*t - n - 20. Solve -2*s - 2*s = t for s.
-1
Suppose s = 4 + 7. Let b = -8 + s. Suppose 2*w = -5 + 3, g - b = -w. Solve 9*t = g*t for t.
0
Suppose -h = 1 - 3. Suppose 2*f = -h*f + 44. Suppose -27 + 7 = -5*s. Solve -s*o - f = -3 for o.
-2
Let c(a) = a**3 + 7*a**2 - 2*a - 10. Let x be c(-7). Suppose -6*u - 19 = -5*u - 5*b, -4*u = -4*b - x. Solve -r - r = u for r.
-3
Let c(d) = d**2 + d + 4. Let g be c(3). Suppose -21*u = -g*u - 50. Solve f - u = -f for f.
5
Suppose 10 = 2*q - a - 0, q - 23 = 5*a. Solve 0 = q*n + 3 - 0 for n.
-1
Let g = -52 + 87. Let w be (-54)/(-7) + 10/g. Suppose -4*x = -3*f - 0*x + 3, w = f + x. Solve 0 = -f*s - 10 for s.
-2
Let x = 6 - 3. Let s(p) = -4*p**3 + p**2 + p. Let i be (-1)/(-2)*2*-1. Let q be s(i). Solve q*b - x*b = 4 for b.
4
Let u(m) = 3*m**3 - m**2. Let q be u(1). Solve -h - q = -2*h for h.
2
Suppose 4*o - 14 = -2*w, -3*o + 15 = 5*w - 3*w. Let f be (0 + 1 + -1)/(-1). Solve -w = 3*b - f for b.
-3
Let a = -103 + 106. Solve -i - a*i = 0 for i.
0
Let l(s) = s**2 - 4*s - 6. Let r be l(-2). Solve -r*f = -2*f for f.
0
Suppose 2*d - 3*l = 18, -5*l - 27 = -d - 4. Solve -6 = 3*t + d for t.
-3
Suppose 3*p = -3*p + 12. Solve 10 = 3*v + p*v for v.
2
Suppose 6*b + 8 = 10*b. Solve 2 = -2*r - b for r.
-2
Let i be (-140)/(-18) - (-4)/18. Suppose 2*r + i = 0, b + 4*r + 2 = r. Let v = -8 + 13. Solve k + v - b = 0 for k.
5
Suppose 7 = -2*m + 5*t, 5*t - 19 = m - 2*m. Solve -m = -5*d + 7*d for d.
-2
Let l(u) = u**2 - 7*u - 13. Let v be l(10). Suppose v - 2 = q. Solve -5 = 5*m + q for m.
-4
Let o = 6 - 7. Let r(t) = -3*t**3 + t**2 + t. Let z be r(o). Solve -6*g + z*g = 9 for g.
-3
Let x = -41 + 41. Solve -4*r + 3*r + 1 = x for r.
1
Suppose -j + 6*j = -5*i + 15, -i + 3*j - 9 = 0. Solve -4*q + 4 = -i*q for q.
1
Let j = 22 - 16. Let k be 2/(-7) + (-2)/(-7). Let s(l) = 4*l + 1. Let d be s(1). Solve -m + j*m + d = k for m.
-1
Let s be 4 + 1*1/(-1). Solve 0*d = -s*d + 12 for d.
4
Let a(t) = t**3 + 5*t**2 + t + 7. Let o be 13 + 1 + -3 + -1. Suppose 0 = 2*v - j + 15, 5*v + 0 + o = -3*j. Let d be a(v). Solve -h - 1 = -d for h.
1
Let x = -14 + 16. Let d(f) = f - 1. Let k be d(5). Solve -2*n = -k*n + x for n.
1
Let s(u) = u**2 - 5*u - 6. Let o be (-1)/((1/5)/(-1)). Suppose -o*y + 0*j = 2*j - 36, -12 = -y - 2*j. Let r be s(y). Solve 4 = -c - r for c.
-4
Let s = 1 + -15. Let n = 1 - s. Suppose -3*v + n = 3*d, 4*d + 3*v - 13 = 2*d. Solve 0*z + d*z = -10 for z.
-5
Suppose 7*v = 10*v - 48. Solve -2*c + v = -6*c for c.
-4
Let b(u) = -u**3 - 2*u**2 + 2*u + 2. Let w be b(-3). Suppose -3*a + 7 + w = 0. Solve 0 = -4*l + a for l.
1
Suppose 14 = 2*g + z, -3*z = -5*g + 38 - 14. Solve 2*l + g = -0*l for l.
-3
Let o(z) = -z - 4. Let l be o(-7). Suppose 16 = 4*v - 0. Solve -v = -l*f + f for f.
2
Let b(m) = m**2 - 3*m - 5. Let a be b(-2). Solve 0 = a*v - 3*v for v.
0
Let d(w) = -w**3 + 2*w**2 + w. Suppose -5*b - 5 = -4*g, -5*b - 3*g = g + 5. Let i be d(b). Suppose 2*f = 5*z - 9, 5*z = 4*f - 0 + 3. Solve -i*r = z - 1 for r.
-1
Let m(r) = -r**2 - 2 - 4*r**3 + 3*r**3 - 2*r**2 - 5*r**2 - 8*r. Let g = -9 + 2. Let o be m(g). Solve -o*p = -10*p + 25 for p.
5
Let h = 21 - 18. Let q = -3 - -6. Solve 9 = q*d - h for d.
4
Let u(l) = -l**3 + 2*l**2 + 4*l - 1. Let i be u(3). Let o(g) = g - 5. Let r be o(i). Let t be 0/(r/(2 - -1)). Solve 12 = -4*n - t for n.
-3
Let x be (-12)/(-20) + 351/15. Suppose -4*a - x = -64. Solve a = w + w for w.
5
Suppose 0 = -4*u + 3*f + 24 - 1, -5*u = 2*f. Solve -2*k + 3*k = u for k.
2
Let o = 0 + 2. Suppose 0 = -a + o + 3. Suppose -42 = -a*i + h, 6*h - 3*h - 54 = -5*i. Solve 3 + i = -3*p for p.
-4
Let c be (-3)/6 + (-6)/(-4). Solve t - c = 2*t for t.
-1
Let k be ((-2)/(-5))/((-7)/(-35)). Solve k = 4*h - 5*h for h.
-2
Suppose 4*l + 36 = -2*d, -14 = 3*d - 3*l + 4. Let a(o) = o + 7. Let k be a(d). Let f(j) = j**2 - 4. Let y be f(k). Solve -y*r + 16 = -4 for r.
4
Let s = 7 + -6. Let c be -1*(0 - 0/s). Suppose -2*j = -4 - c. Solve -n + 6 = j*n for n.
2
Let a be 2 - 1*4/(-1). Solve -a = -3*p - 0*p for p.
2
Let r be 7 - 1 - 0/7. Suppose -r + 2 = -j. Solve 4 = -j*g - 0 for g.
-1
Suppose -2*i - 2*i = -16. Suppose i*h = 3 + 5. Let f be h/1 + -3 - -3. Solve 3*s - 4 = f*s for s.
4
Let o(m) = -m + 2. Let v be o(-8). Suppose 3*z - v = z. Suppose -x + 5 = 3*i - 13, z*i = 5. Solve 2*l - 7*l - x = 0 for l.
-3
Suppose b + 5*f - 3*f - 12 = 0, 2*b + f - 30 = 0. Solve -k = -5*k + b for k.
4
Suppose 2*c - 6*c = -28. Suppose 3*g = c*g - 16, -g = 5*l - 4. Solve l = -q - 4*q + 20 for q.
4
Let y(l) = l**2 - l - 10. Let b be y(4). Solve 4*p = 2*p - b for p.
-1
Suppose 3*s + f - 3 = 0, 4*s - 3*f = 2*f - 15. Let n = -27 - -27. Solve g + s*g = n for g.
0
Let r(l) = 8*l**2 + 4*l + 3. Let f be r(-2). Let t = 39 - f. Solve -2*u + 5*u = t for u.
4
Let y = -3 - -7. Suppose 0 = 4*o - 8 - y. Solve 0 = -4*c + c - o for c.
-1
Let i be (-35)/(-15) - (-2)/(-6). Suppose -x - i*w = 7 - 19, 0 = x - 3*w + 3. Solve 0 = -2*l + 4 + x for l.
5
Suppose -4*q + q - 1 = -y, 5*q = 5*y - 5. Suppose 2*h - h - 2 = q. Solve 3*s = 4 + h for s.
2
Let p be (2/(-4))/((-1)/138). Suppose 4*r + 2*d - p = -1, 0 = -5*r - 3*d + 87. Let f(z) = z**2 - z - 4. Let j be f(3). Solve -r = -7*t + j*t for t.
3
Let c = -1 + 1. Suppose s = 4*s, -5*t - s + 25 = 0. Solve c = -h + t*h for h.
0
Let g(w) = w**2 - 3*w - 2. Let r be g(4). Let y be (-1)/r*(-2 + -4). Solve -4*v - y = 17 for v.
-5
Let p be 60/3 - (1 - 1). Solve 0*c = -4*c + p for c.
5
Let w(z) = z**3 - 5*z**2 - 7*z + 6. Let m be w(6). Let i(x) = -x