14*m - b for m.
4
Let b(m) = -m**3 + 6*m**2 + 8*m - 1. Suppose j = 5*j - 160. Suppose 8*r + 2*c - 27 = 3*r, 4*r = 3*c + j. Let p be b(r). Solve p*z = z + 10 for z.
2
Suppose -3*x - 159 = -3*c, 119*c + 2*x = 116*c + 174. Solve -3*q + 31*q = c for q.
2
Suppose -9*b + 30 = -4*b + 5*d, 0 = 5*b + 2*d - 30. Solve 0 = b*z - 19 - 5 for z.
4
Let i = -52 - 2. Let p = 55 + i. Solve -4*t + 5 = p for t.
1
Suppose 4*j + 8 = 2*n + 24, 2*n = 2*j - 6. Solve -3*s + j = -7 for s.
4
Let d be (-2 - 26/(-10))*5. Suppose -4*l + d*m = -2 + 32, -4 = 2*l + 4*m. Let k = l - -18. Solve -5*i + k = -i for i.
3
Let z be 3/6 - ((-147)/14 + 6). Suppose -d + 0*y = y + 4, y + 7 = 2*d. Solve -z*h = 9 + d for h.
-2
Suppose -2*h = p + 1 + 1, 0 = 3*p - 2*h - 18. Suppose -4*a = g + 11, a + p*a + 45 = 5*g. Let j = 11 + -6. Solve 5*b = g + j for b.
2
Let b(l) = -l**3 - 3*l**2 - 7*l - 5. Let j be b(-2). Solve -j - 4 = -3*c for c.
3
Let k(m) = -m**3 + 45*m**2 - 162*m - 80. Let y be k(41). Solve 0 = -y*w - 9 + 17 for w.
4
Let c = 37 + -34. Suppose 5*g - 10 = g + 5*h, -h = 2. Solve g*b + 12 = c*b for b.
4
Let l(t) = 3*t**2 + 6*t + 4. Let m be l(-2). Suppose -6 = m*f - 54. Suppose -i - i = -8. Solve 0 = i*w - 0*w - f for w.
3
Let d = -16 - -19. Solve -d*b - 7 = -4 for b.
-1
Let d(s) = 2*s**3. Let j be (-1)/(1 + (-20)/16). Let g = 5 - j. Let v be d(g). Solve -v*b + 4 = -4*b for b.
-2
Let x(p) = -p - 12. Suppose f = 4*f + 42. Let j be x(f). Solve -3 = -y + j for y.
5
Let b = -540 - -540. Solve b = 2*r + 2*r - 16 for r.
4
Suppose -2*c + 0*c - 34 = -4*w, -22 = -2*w + 2*c. Solve -22 = -4*o - w for o.
4
Let b(x) = 5*x**2 + 8*x + 9. Suppose 2*s = -0*s - o - 8, 5*s = 4*o + 6. Let r be b(s). Solve 5*h + 33 = r for h.
-4
Suppose -3*h + 8 = 4*p, -3*h + 8*p - 6 = 5*p. Solve -2*y + 9*y + 14 = h for y.
-2
Let d = 32 + -29. Let l be 13/5 + (-16)/(-40) + -3. Solve l*p - d = -3*p for p.
1
Let h be 4 + 2 - ((-8)/(-2))/(-4). Suppose 0 = 3*g - 8 - 4. Solve -g + h = -3*j for j.
-1
Suppose 0 = -0*n + n + u + 38, -4*u = -4*n - 184. Let k = 43 + n. Solve -3*j - k - 14 = 0 for j.
-5
Let d(r) = 10*r**3 - r**2 + 4*r - 3. Let j be d(1). Solve -j*c + 3*c + 7 = 0 for c.
1
Let m = 92 + -108. Let j be 4*-1 + (m - -30). Solve 6*o - j = o for o.
2
Let d be 2 - (2 - 2*2). Suppose -16 = -0*y - 4*y, -18 = 2*f - 5*y. Suppose -3*l = -65 + 50. Solve l - f = -d*u for u.
-1
Suppose -300 = -8*b + 324. Solve 0 = -4*j + b - 90 for j.
-3
Let g(q) = 3*q + 0*q**2 + q**2 - 9*q. Let a be g(6). Solve 0 = 5*w - 5 - a for w.
1
Let t(c) = -5*c + 100. Let n be t(19). Solve 3 + 7 = n*w for w.
2
Let f = -10 - -17. Let r = 1 - 0. Suppose 4*u = r + f. Solve -l = u - 6 for l.
4
Let f be ((-310)/(-1240))/(22/(-24) - -1). Let x(m) = -m**2 - m + 13. Let n be x(0). Solve f = -n*u + 10*u for u.
-1
Let b(s) = -28*s**3 + 3*s**2 - 1. Let a be b(-1). Solve a*r = 12*r - 36 for r.
-2
Suppose b + 24 = 2*c, -19 - 13 = -2*c + 5*b. Let i be (c - 1)*11/22. Solve -i*t + 9 = -2*t for t.
3
Let z(y) = 2*y - 7. Suppose g + 8 = 1. Let w be (1/2)/(g/(-70)). Let a be z(w). Solve -6*o + 5*o + a = 0 for o.
3
Let j(w) = -3*w + 8. Suppose -4*g + 6*g - 6 = 0. Let z be j(g). Let d = 1 + z. Solve d = -3*k + 2*k for k.
0
Let h be (224/((-16)/4))/1. Let i = -53 - h. Solve -i*p = -0*p - 9 for p.
3
Suppose 5*z = 14 + 16. Suppose -z*y + y = 0. Suppose -9 = -3*m - y*m. Solve 6 = -m*b + b for b.
-3
Let n = -33 + 37. Suppose 0 = -n*x + 4*s, 0 = -6*s + 2*s. Solve x = 2*o - 3 + 9 for o.
-3
Suppose -6*a - 300 = -5*s - a, -5*s - a = -276. Suppose q + 3*q = s. Suppose l - 4*i - 6 = 2, q = 3*l - 2*i. Solve -h = l*h for h.
0
Let o = 50 - 45. Suppose b - 5 = -1. Let w(d) = d**2 - 3*d - 4. Let x be w(b). Solve x = o*l - 0*l - 5 for l.
1
Let u = 6 - 1. Let h(w) = 3*w - 27. Let s be 2*4*(-10)/(-16) - -4. Let n be h(s). Solve n = v - u*v for v.
0
Suppose 18*a = 12*a. Let i = a - -6. Solve i*r - 8 = 2*r for r.
2
Suppose 3*b = 4*p - 5*p + 126, 3*p = -5*b + 378. Solve -124 + p = -m for m.
-2
Suppose -9*h + 258 = 150. Solve 30*w + h = 27*w for w.
-4
Let b(v) = 2*v**2 - 10*v + 2. Let f be b(6). Let q be (171/(-7))/(-1) - (-8)/f. Solve 4*l + l + q = 0 for l.
-5
Let n(d) = 2*d - 21. Let h be n(11). Let k be 6/(-4) - (-2)/(-4). Let i be h - (0 + -1 + k). Solve -3*c = -i*c for c.
0
Let p be 2*2*(4 - 90/24). Solve 5 - p = -2*n for n.
-2
Let i = -21 + 26. Suppose i*g = g + 12. Solve 0 = -g*v - v - 8 for v.
-2
Let w = -29 + 35. Solve -w*d + 17 + 7 = 0 for d.
4
Suppose 6*y = 5*y - 49. Let n = -49 - y. Solve 4*w + 4 = -n for w.
-1
Suppose 0 = 2*f - r - 9, 0 = 5*f - 12*r + 15*r - 50. Solve f = 5*q - 8 for q.
3
Let r(k) = 1. Let o(z) = 3*z + 21. Let l(p) = -o(p) - 3*r(p). Let j be l(-10). Solve -j*i = -2*i - 16 for i.
4
Let g be (5/10)/(1/16). Suppose 0*f - 5*r - 10 = -3*f, 2*f + 4*r = -g. Solve -4*v - 17 + 5 = f for v.
-3
Let y(m) = m + 40. Let j be y(-5). Let g be 5/j - (60/(-21) - -2). Solve -7 = 3*t - g for t.
-2
Let j be (-14384)/(-806) + (-2)/13*-1. Solve -j = 83*s - 77*s for s.
-3
Let k = 29 - 29. Suppose k = 5*b - 11 - 4. Solve b*l = 10 + 5 for l.
5
Let i be -3 + (7/1 - (8 - 4)). Solve 2*k + 12 - 8 = i for k.
-2
Suppose -29 = -b - k, 4*b - 73 = 5*k + 79. Let d = 36 - b. Solve -d*w - w = -4 for w.
1
Let s(w) = -8*w - 29. Let g be s(9). Let f = g - -104. Solve f*p - 10 = 8*p for p.
-2
Let u(b) = 8*b - 1. Let i be u(4). Suppose -4*a = -3*r + i - 0, 4*r = 3*a + 32. Solve -1 + r = 4*j for j.
1
Suppose -25 = 3*w - 4*w. Let i = w - 22. Let a = i + 4. Solve 2 + a = -3*v for v.
-3
Let f = 152 - 148. Solve n = f*n + 9 for n.
-3
Suppose -5*q + 56 = 16. Let x = 18 - 13. Suppose -3 - x = -4*n. Solve 4*r = n*r - q for r.
-4
Let h(d) = -5*d + 3. Let x(m) = 5*m + 6*m - 3*m + 3*m - 7. Let a(g) = 13*h(g) + 6*x(g). Let q be a(7). Solve q*w - 5 - 15 = 0 for w.
5
Let k = 135 - 134. Suppose -3*t - k = -t - 3*a, 5*t = 5*a. Solve -t = -3*s - 4 for s.
-1
Let k = -58 + 23. Let n = -30 - k. Solve 3*z + n = -2*z for z.
-1
Let r be 16/(-72) + (-58)/(-18). Let n be 6/10 + (-380)/50. Let o = 3 - n. Solve o = r*x - 5 for x.
5
Let x(g) = 5*g + 61. Let w be x(-12). Solve -w + 3 = 2*i for i.
1
Suppose 153 = 10*q + 63. Solve -q = 6*a - 15 for a.
1
Let f(a) = 5*a + 28. Let v(l) = 2*l**2 + l - 5. Let m be v(0). Let x be f(m). Solve x*b + 14 - 2 = 0 for b.
-4
Let g be (108/(-48))/((-1)/4). Let x(b) = -b**2 + 10*b - 4. Let t be x(g). Suppose 5*r + t = 20. Solve 3*a - 3 = r for a.
2
Let y(c) = 3*c - 23. Let z be y(5). Let u be (-195)/(-26)*(2 - z/(-6)). Solve -u*r + r = -4 for r.
1
Let p(s) = -s + 3. Let y be p(1). Suppose y*b = -4*z + 16, 6*z - 3*b + 8 = 4*z. Solve z*j + 0 = -4 for j.
-2
Let h = -5 + -10. Let v = h + 22. Solve -2*u = -v*u + 25 for u.
5
Let q = 10 - 10. Suppose q = 3*o + o - 4. Solve -24 - o = 5*v for v.
-5
Let y be (-3 - (-3 - -2))*(-39)/26. Solve y*j - 29 + 41 = 0 for j.
-4
Let u be (-75)/(-2)*24/(-36). Let x = u - -31. Solve -x*f + 25 = -f for f.
5
Let n(k) = 2*k**2 - k - 1. Let g be n(-1). Suppose -2*y + y = -g. Let x(a) = 3*a - 11. Let l be x(6). Solve -3*d + y + l = 0 for d.
3
Let f(g) = g**3 - 3*g + 2. Let k be f(2). Let p = -89 - -86. Let b be p/(-9) - 55/(-15). Solve k = 5*v - b*v for v.
4
Let r(b) = -b**2 + 5*b + 4. Let s be r(-7). Let u be (32/(-10))/(16/s). Solve 5*c - 6 + u = 0 for c.
-2
Let d = 19 + -16. Suppose -d*z + 13 = 2*l + 2*z, -4*l + z + 15 = 0. Solve l - 1 = k for k.
3
Let z = -29 + 40. Let g be z + -2 + (-2 - 1). Let u(d) = -d**2 + 7*d + 4. Let l be u(g). Solve 5*p - 15 = l for p.
5
Let r be 1/(-3) + 14/6. Suppose q - r = 3. Let m(d) = d**2 + 10*d + 21. Let b be m(-7). Solve -c + b*c = q for c.
-5
Let d be (12/8)/(2/4). Let o(h) = -4*h + 2 - 2 + 5*h + 2. Let u be o(d). Solve -1 + 11 = u*w for w.
2
Suppose -2*k = -3*k. Suppose 0 = y + 3*y - 16, -4*i + 5*y = 0. Let p(c) = c**2 + 9*c + 5. Let o be p(-9). Solve k = -0*v + o*v + i for v.
-1
Let i be (-2)/(-10) + 243/135. Suppose -20 = -4*m + 12. Solve m + 2 = i*y for y.
5
Let z(r) = 2*r**3 + 54*r**2 + 2*r + 59. Let x be z(-27). Solve 0 = x*c - 6 + 31 for c.
-5
Suppose 4*u = -4*g + 16, 3*u - 8*u = -2*g + 43. Solve 0 = g*j - 8*j - 1 for j.
1
Suppose m + 16 = 5*s, s + 3*s - 8 = 2*m. Suppose -2 = -o, 26 - 4 = 2*j - o. Let l be (-4)/(1/2 - 1). Solve -l - j = -s*q for q.
5
Suppose -53 = -2*b + 5*f - 20, 4*b = f + 39. Solve x = 4*x + b for x.
-3
Suppose 42*l - 28