x = 0 for m.
3
Suppose 4*b + 5*m = 40, -41 = 3*b - 4*m - 40. Solve 0 = 3*r - 10 - b for r.
5
Let b = -27508 - -27516. Solve -4194*l + 4195*l = -b for l.
-8
Let h(q) = -q**3 + 11*q**2 - 9*q - 28. Let z be h(10). Let f = 18 + z. Solve f = 3*a + 2 - 14 for a.
4
Suppose -4*b = -2*b - 32. Let s(f) = -f**2 + 19*f - 38. Let c be s(b). Solve -3*q + q - c = 0 for q.
-5
Let n = -2452 - -2453. Let o = 11 - 8. Suppose n - 7 = -o*g. Solve 0 = -0*m + g*m for m.
0
Let z = -114688 + 114690. Let a = 1 + -1. Solve a = -z*s - 2*s + 20 for s.
5
Suppose -14*j + 239 + 42 = 15. Solve 156 = j*s + 61 for s.
5
Let c = 518 - 527. Let i be (4 - -1)*c*9/(-81). Solve -i*k = k for k.
0
Suppose 15 = 3*b, 22*r - 5 = 20*r - b. Solve r = -81*j + 72*j + 18 for j.
2
Let x = 2723 - 2717. Solve 0 = x*b + 15*b - 105 for b.
5
Let w be 11 - ((-6 - -6) + 7). Suppose -2*r - 2*g = -w*r - 2, 0 = 4*r + 2*g - 20. Solve 0*t = r*t + 12 for t.
-4
Suppose k - 15 = -5*j - 0*k, -14 = 3*j - 4*k. Suppose -1 = -p, -7*p + 65 = 4*s - j*p. Suppose 13*b - s*b = 0. Solve -2*v - 7 + 3 = b for v.
-2
Let b be 1 + 1/((-4)/(-12)). Let f be ((-44)/(-110))/(b/(-10)) - -9. Solve -10*g + f = -8*g for g.
4
Suppose 5 = -2*i - 61. Let u = i - -37. Suppose -o = -b - 7 + 2, -u*b = -o + 5. Solve -o*v + 11 = -4 for v.
3
Let x = 1196 - 656. Suppose -23*u = -5*u - x. Solve -4*j = -u + 22 for j.
2
Suppose -3*c + 113 - 15 = 2*a, 5*c - 158 = 2*a. Suppose 0 = 6*k + 2*k - c. Suppose p - 31 = 3*t, 3*p + 5*t - 27 = -k. Solve -4 + p = 4*d for d.
3
Let q(f) = f**2 - 441*f - 5894. Let r be q(-13). Solve -34*h - 178 = -r for h.
-5
Suppose -44011 = -322*o + 4334 - 7773. Suppose -4*b + 482 = 3*q, 2*b - q - 368 = -b. Let p = o - b. Solve -18 = p*n + 2 for n.
-5
Let g = -2613 - -2621. Solve -33*r - g = -29*r for r.
-2
Let p(f) = f**2 - 10*f - 40. Let z be p(15). Suppose 3*g - d - 22 = 0, -33*g + z*g + 4*d = 38. Solve -4*m + m = g for m.
-3
Let o(f) = 122 - 234 + 6*f**2 + 6*f + 100 - 2*f**3. Let g be o(3). Solve -14 = 4*x + g for x.
-5
Let m(w) = 8*w**2 + 387*w - 136. Let h be m(-49). Solve -10*x = -h + 39 for x.
7
Suppose -5*p + 85*v = 85, 2*v + 34 = 4*p + 36. Let t = 8 - -2. Let g = 14 - t. Solve j + g*j + 10 = p for j.
-2
Let m(q) = -15*q - 15. Let h be m(4). Let i = -72 - h. Solve 0 = i*s - 5*s - 2 for s.
-1
Suppose -5*g - 5*a - 2098 = -2153, 0 = -g - 2*a + 13. Solve 20*x = g*x + 22 for x.
2
Let j be (1 - 5) + (-12)/(-6) - -72. Suppose -11*d - j = -224. Suppose 3*s + 4 = -s, -h - 3*s = -d. Solve -5*k + h = 2 for k.
3
Suppose -2*y + 5 + 1 = 0. Let h be (4/26 + 512/52)*2. Suppose 4*n - h = 4*r, 5*n - 25 = 4*r - r. Solve -6 = -y*m + n*m for m.
-3
Let y be 3/2*122/183. Let f be 3*1/3*2. Suppose -3*u + y = -2, 3*a - f = 4*u. Solve -i + a*i = 0 for i.
0
Suppose 48*h - 119*h = -426. Solve h = 3*b - 0 for b.
2
Let m(d) = -58*d - 517. Let n be m(-9). Solve -n*o - 60 + 55 = 0 for o.
-1
Let t(v) = 10*v - 46. Let z be t(5). Suppose -4*i = i - 25. Suppose -250 - 239 = -82*r + 3. Solve i*a = -r - z for a.
-2
Let w = -122 + 129. Solve 5*b - w = -2*b for b.
1
Suppose 6*r - 1417 = -7*r. Let m = r + -93. Solve -4 = -4*j - m for j.
-3
Suppose -165*m + 26399 = 114*m - 30238. Solve -10*j + 193 - m = 0 for j.
-1
Let i be 7/(-42) + 386/12. Solve 5 = 37*h - i*h for h.
1
Suppose 5*r - 274 = q + 888, -5*r + 3*q = -1156. Let h = -227 + r. Solve h*k - 4 - 2 = 0 for k.
1
Let p be ((-279)/558)/((-2)/4). Let w = 4 - 2. Solve w*u = u + p for u.
1
Suppose 3 = -2*f + 11. Suppose -w + 8 = -2*q, 52 = 4*w + 4*q + 20. Suppose -5*d + 17 + w = 0. Solve r + f = d*r for r.
1
Let w(p) = p**3 + 18*p**2 - 89*p - 1585. Let r be w(-18). Suppose 1 = -3*f + 67. Solve -f*g = -r*g - 15 for g.
3
Suppose 0 - 4 = 5*v + 2*q, -5*q = 2*v + 10. Suppose g - 2 = 4*c + 3*g, -4*g - 4 = 3*c. Solve m + c*m = v for m.
0
Let g = 38 - 280. Let k = -238 - g. Suppose -3*y + 3 + 1 = 4*n, 5*y - 4*n - 28 = 0. Solve -y = -k*x - 0 for x.
1
Suppose 7*m - 282 = 1118. Let z be (-611)/(-5) - -5*(-8)/m. Let q = -119 + z. Solve -q*f = -f for f.
0
Let r(m) = -m**3 + 6*m**2 - 5*m + 4. Let w = 231 + -226. Let a be r(w). Solve 0 = -2*t + 4*t + a for t.
-2
Let x be 1060/38 + 118/1121. Solve x*a - 1 + 1 = 0 for a.
0
Suppose 7*m = -m + 16. Suppose 0 = -m*f + 4 + 18. Suppose 6*c - f = 79. Solve -4*g = g + c for g.
-3
Suppose 10*j - 55*j + 3375 = 0. Solve -j = -14*t - 117 for t.
-3
Let w(r) = r**2 + 14*r - 88. Let o be w(-15). Let x(h) = 38*h - 1. Let z be x(2). Let k = o + z. Solve 2*t - 2 = k for t.
2
Suppose -33*k = -73*k + 40. Let w(m) = m**2 - 6*m + 5. Let t be w(5). Let h = 1 + t. Solve b - k = h for b.
2
Let f = -169 - -182. Let v(t) = t**3 - 44*t**2 - 92*t + 10. Let c be v(46). Solve 3*m - f*m = c for m.
-1
Let d = 8220 - 8192. Solve -d = -25*q + 122 for q.
6
Let j = -2107 - -2107. Let x be (-1)/6 + (-117)/(-54). Solve j = 7*c - 30 + x for c.
4
Let k(t) = -3*t + 55. Let o be k(18). Suppose 5*v + 1 = 26. Suppose v*x = 9 + 1. Solve p + x + o = 0 for p.
-3
Suppose 4*p - 4*i + 40 = 84, -4*p = 3*i - 2. Suppose 5*n - 5 = -0. Let v be n/2 + (-9)/(-6). Solve p*w - 7*w + v = 0 for w.
1
Let b(v) = v**2 - 15*v - 34. Let y(a) = 15*a - 13. Let t be y(2). Let w be b(t). Suppose -6*s + 3*s = w. Solve -3*d + d - 10 = s for d.
-5
Suppose -2*d + 181 = -5*s, 4*d - 2*s - 183 - 203 = 0. Solve -122 + d = -6*i for i.
4
Let j(l) = -15*l**3 + l**2 + 224*l + 917. Let d be j(-4). Solve d - 990 = 7*p for p.
1
Let j = 412 - 415. Let i be (9 + j)*9/18. Solve i*a = -0*a + 3 for a.
1
Let y(r) = -2*r**3 + 14*r**2 + 34*r + 23. Let n be y(9). Solve n = -14*b + 75 for b.
5
Let g = 40797 - 40685. Solve 0 = -39*b + 239 + g for b.
9
Suppose 12*n + 12*n - 198 = -9*n. Solve 0 = n*r + 198 - 180 for r.
-3
Let f be 0 + 2/2 + 4. Suppose 35*v = 36*v + 3*u - 716, 0 = -3*v + 5*u + 2120. Let n = v - 708. Solve n*o - 6 = f*o for o.
-2
Suppose -10*u = -10 - 0. Suppose o + p = -4, -2*o + 5*p + 19 = -u. Solve 14*t - 6*t - 32 = o for t.
4
Let w(l) = 73*l + 1502. Let k be w(-20). Solve 44*s - 37*s + k = 0 for s.
-6
Let r be 2/(26/41) + (-38)/247. Solve 0 = -r*g + 483 - 480 for g.
1
Let b(a) = 4*a + 11. Suppose n = 4*y - 3*y - 8, 2*y + 4*n = -14. Let r(k) = 2*k + 5. Let z(t) = y*b(t) - 5*r(t). Let q be z(-4). Solve i + q*i = 2 for i.
2
Let l be (-492)/(4 - 171/36). Let n = -648 + l. Solve -4*p = -n*p + 12 for p.
3
Suppose -3*f = -3*x - 18, 2*f + 2*x = -9 + 25. Solve f = 53*g - 60*g for g.
-1
Let z = -5005 + 5029. Solve 44 - z = 20*f for f.
1
Let j(y) be the first derivative of 5/2*y**2 - 1/4*y**4 + 6 + 4/3*y**3 + 8*y. Let h be j(5). Solve h = 4*l - 0 for l.
2
Let m be 0*3*1/6*7/14. Solve 9*d - 3*d - 24 = m for d.
4
Suppose 145 = -3*u + b, -52 - 167 = 5*u + 4*b. Let t = -3087 + 3041. Let s = t - u. Solve 3 - s = 2*j for j.
1
Let m = 179 - 177. Suppose m = -50*s + 51*s. Solve -6 = -5*r + s*r for r.
2
Let j(n) = 2*n**3 - n**2 - 11. Let x be j(3). Let w(m) = m**2 - 35*m + 41. Let i be w(x). Solve -2*l + i*l = -10 for l.
-2
Let b = 5943 - 5863. Solve -b*w = -89*w + 36 for w.
4
Suppose 62*v - 61*v = -3. Let p be v/(3 - 124/40). Suppose 0 = -3*w + p - 3. Solve w = -3*k + 6*k for k.
3
Let g be (-2)/4*2 + -38. Let s = g + 40. Suppose -14 - s = -3*w. Solve -8 = -w*r - 33 for r.
-5
Let p = -27 - -25. Let n(b) = -2*b**2 - b + 1. Let u be n(p). Let w be (-3)/u + (-44)/(-10). Solve 13 = -w*h - 2 for h.
-3
Let j(q) = -14 - q**3 + 16*q**2 - 24*q + 9*q + q**2. Let o be j(16). Suppose 5*g - 50 = -5*n - 0*n, -5 = -3*n + o*g. Solve 0 = -4*w + n*w + 3 for w.
-3
Let g = -4777 + 4786. Solve 24*p - g + 33 = 0 for p.
-1
Let s be 1/(4 + (-19)/5). Let c = -1414 + 1418. Solve -5 = s*h - c*h for h.
-5
Suppose 5*f = 3*i - 1 + 71, i = 4*f - 63. Suppose 0 = 5*w + 2*z - 110, 49 = 3*w - z - f. Solve 12*l + w = l for l.
-2
Suppose -47*t + s = -45*t - 18, 2*t + 3*s = 10. Let m = 39 - 9. Solve t*p + m = 2*p for p.
-5
Let t(n) = 9*n - 87. Suppose 7*y + 20 = 3*h + 9*y, -4*h + 2*y = -50. Let s be t(h). Solve s = -j + 2*j for j.
3
Suppose 0 = -p + d + 22, 5*p - d = 10*p - 140. Suppose -p*z = -24*z - 12. Solve 3 = n - z*n for n.
-1
Suppose 0 = -38*n + 77*n - 312. Solve n*z + 9 = -z for z.
-1
Suppose -3*n + 31 = 4*b + 20, 2*n + 6 = 4*b. Solve 10*g - 28 = b for g.
3
Let f = 40 + -5. Let x = 38 - f. Suppose 6*z = x*z. Solve z = -r + 5*r - 12 for r.
3
Let c = -2857 - -2897. Solve -7*z + c*z + 99 = 0 for z.
-