c for m.
3
Suppose 5*m + 2*t - 22 = 39, -5*m - 3*t = -59. Solve 11 + m = -6*s for s.
-4
Suppose -9*j = -16*j + 91. Let u = 16 - j. Solve -4*w = 1 + u for w.
-1
Let b(g) = -g. Let d be b(-6). Solve 0 = -3*w + d*w for w.
0
Let v(h) = h**2 - 21*h + 22. Let o be v(20). Suppose -o*t - 16 = -4*l, 0 = t + 3*t - 3*l + 7. Solve -t*b = -b + 2 for b.
-2
Suppose -2*b = -2*k + 4, -b - 28 = -2*k - 5*b. Suppose -4*c - 2*f + k = -58, -2*f - 62 = -3*c. Let x = -16 + c. Solve -x*g - g = 0 for g.
0
Let m be (-2)/(-3)*6 - 4. Solve 26*j - 25*j = m for j.
0
Suppose 0 = 5*f - 2*t - 11, -f = -t - 0*t - 1. Let s(b) = -b + 5. Let g be s(f). Suppose -g*y = y. Solve 4*w = -4 - y for w.
-1
Suppose c - 145 = -149. Let x(g) = g**2 + 4*g + 3. Let m be x(-2). Let k = m - c. Solve -k = -0*n + 3*n for n.
-1
Let b(h) = -h**2 - 5*h + 1. Let c be b(-3). Solve 10*j = c*j + 9 for j.
3
Suppose 5*u = -3*n + 47, -u - 3*n - 9 = -16. Solve -u*w = -15*w - 15 for w.
-3
Suppose 2*j + 1 = -m - 3, -32 = -2*m + 4*j. Let k be (m/(-4))/((-1)/2). Let y(x) = -x**2 + 11*x. Let t be y(11). Solve w + k*w = t for w.
0
Suppose -h + 36 = 8*h. Suppose 2*y = -y - x + 18, -4*y + 11 = -3*x. Let m(q) = -q**2 + 6*q - 3. Let r be m(y). Solve h = r*l - 6*l for l.
-1
Let l(c) = -c**3 - 8*c**2 + c + 19. Let x be l(-8). Suppose 3*h + 4 - x = -g, 11 = 3*h + 5*g. Solve h*d - 5*d - 15 = 0 for d.
-5
Let f = -15 + 23. Let a be (-40)/(-70) + f/(-14). Solve -6 = 3*m - a*m for m.
-2
Suppose -r - 3*p = 5, r + 4*p + 0*p = -10. Let d be 0*(1/(-15) - (-10)/25). Solve -r = 2*o - d for o.
-5
Let g = -24 - -64. Let b = g - 36. Solve -2 = 2*j - b for j.
1
Let l = 1063 + -1053. Solve -15 = -5*z + l*z for z.
-3
Suppose 0 = 98*z - 102*z + 48. Suppose -z = 5*m - 17. Solve 4*f - m = -5 for f.
-1
Let r be -4*3/(-12)*3. Solve 3*z - 12 = r for z.
5
Let v = -13 - -16. Let p = -62 - -44. Let s be 2/9 + (-50)/p. Solve -v*a = -0 + s for a.
-1
Suppose 0 = s + 2, 5*s + 0*s + 18 = 2*h. Suppose -h*u + 19 = -3*n - 15, u = 5*n + 51. Let y be (-32)/(-10) + 2/n. Solve 4*g = y*g - 2 for g.
-2
Let k(f) = 22*f - 37. Let y be k(2). Solve 0 = -13*g + y*g - 18 for g.
-3
Suppose -2*o = -5 - 11. Let i = 10 - o. Suppose i*q = 4*z + 10, -4*z + 10 = 5*q + z. Solve 3*h - 2*h = -q for h.
-3
Suppose 6*g - 115 = 5*x + 3*g, -23 = x - 5*g. Suppose 5*u + 83 = -3*j, 3*j + 4*u + 74 + 5 = 0. Let z = j - x. Solve -q + z = -1 for q.
3
Suppose -3664*v - 187 = -3675*v. Solve 0 = -8*q + v*q + 45 for q.
-5
Suppose 3*r - 290 = -4*n, 3*r - 353 = 4*n - 55. Suppose 6*v = 13*v + r. Let m = 23 + v. Solve w - 4*w = m for w.
-3
Let r(o) = 4*o**2 + 2*o. Let h be r(-3). Suppose 27*x - h*x = -51. Solve 0 = -5*j - x + 2 for j.
-3
Let n = 182 + -176. Solve -4 = -5*r + n for r.
2
Suppose 0 = 17*g - 25*g. Solve g = 4*p - 3*p for p.
0
Let b(s) = s**2 + 41*s - 84. Let z be b(-43). Solve 0 = z*r + 3*r + 10 for r.
-2
Let j = 80 + -78. Solve 2*m - m = j for m.
2
Suppose -16 = 14*o - 16. Solve o = 69*l - 75*l + 18 for l.
3
Let h(m) = -129*m - 640. Let v be h(-5). Solve -24 = v*o - 14 for o.
-2
Suppose 3*u + 30 = -4*d - 31, 0 = 5*d + 20. Let n be (u + 15)/(1*2). Solve -o + 2*o = n for o.
0
Let i = 43 - 69. Let x = 26 + i. Solve -m + x*m = 3 for m.
-3
Suppose x + 24 = 3*x - b, -44 = -4*x + 3*b. Solve 0*h - x*h = -56 for h.
4
Let m be 37/4 - 6/24. Suppose 4*d + n = -0*n + 7, -2*d + 5*n = -m. Suppose -7*q = -d*q - 10. Solve 0 = -q*r + 2 - 6 for r.
-2
Let q = 216 - 211. Solve q*m = -3*m + 16 for m.
2
Let t be (30/9)/((-8)/(-6))*2. Let d be ((0/(-8))/t)/(1*2). Solve 5*m + 0*m - 25 = d for m.
5
Suppose 0*y + 4*m + 72 = 2*y, -2*m + 184 = 4*y. Suppose 2*d + 0*d = -5*t + y, -2 = -t + 3*d. Solve -12 = 4*v + t for v.
-5
Let y be 12 + (13 - 20) + 0 + 3. Solve -32 = -8*n + y for n.
5
Suppose 730*m - 14 = 723*m. Solve -97 + 107 = m*a for a.
5
Suppose 71 = 9*c - 64. Solve 7*m = 2*m + c for m.
3
Let p be (-32)/48 - (-2)/3. Suppose q + 2*q - 45 = p. Solve -o - q = 2*o for o.
-5
Let a be -10*(0 - (-2 + 3)). Suppose 0*y = 3*y + 42. Let c be a/20 - y/4. Solve 0*j + 2*j = -c for j.
-2
Let n = -318 - -321. Let x be 8 + (2 - 5) - 3. Solve 0 = a - n*a - x for a.
-1
Let g(w) = w**3 + 11*w**2 - 6*w + 85. Let t be g(-12). Solve 18 = -5*f + t for f.
-1
Let a be (-2 - -6)*(2 + -1). Let o be (-9)/(-6)*a + 3. Suppose -o*w + 14*w = 0. Solve w*d = -d - 2 for d.
-2
Let g be 16/40 - 392/(-20). Solve -70*a + g = -74*a for a.
-5
Let p be 0 - -3 - (-18 + 7). Suppose -2*d = 3*l + 7, -5*l - 5*d - p = -l. Let c be l/(-3)*0 - -13. Solve -4*u + c = 1 for u.
3
Let w(d) = -17*d + 51. Let a be w(3). Solve -g - g = a for g.
0
Let z be 0/((3 - -2)/5). Suppose z = 4*n - 17 - 7. Solve a + 10 = n*a for a.
2
Let j be ((-4)/(-3))/(172/258). Solve -3*x - 10 = j*x for x.
-2
Let u = 8 - 6. Suppose 0*w + 4 = -u*w, -q + 8 = -2*w. Let l(t) = t - 1. Let b be l(3). Solve 2*r - q = -b*r for r.
1
Let y be 4/(-24)*2*-9. Suppose y*b - 12 = -b. Let j = 0 + 4. Solve b = -3*v + j*v for v.
3
Suppose 2*h - 7 = -3. Suppose d - 6 = 2*n - 4*d, n + h = 2*d. Suppose n*f + 4 = -2*m + 5*m, 0 = -3*m - 2*f + 8. Solve -3 = m*c - 11 for c.
4
Let b(r) = 15*r - 1. Let u be b(-3). Let y = u + 66. Solve -y = m - 6*m for m.
4
Suppose 2*z + 3*p = -1 + 2, -4*p + 3 = 3*z. Solve 0 = -z*i - 9 + 14 for i.
1
Suppose 3*v - 2*v = -2*h + 18, 4*h = -5*v + 66. Suppose -5*o + v - 1 = -3*k, 5*k = -o + 13. Solve 0 = 4*d - 14 + k for d.
3
Let n = 0 + 1. Let t = 70 + -74. Let l be n*(-3 + 3)/t. Solve -2*s - 8 + 0 = l for s.
-4
Let f be (170/(-15))/(4/(-6)). Suppose -29 = -4*c - f. Suppose -2*o + 8 = -4*r, -6 = o - 5*o + c*r. Solve -5*w + 20 = -o*w for w.
4
Suppose -7 = -4*t + 13. Suppose -t*k - 9 = -8*k. Solve 4*u = k*u - 1 for u.
-1
Let c(z) = z + 8. Let r be c(-6). Let d be -2 - 1*(-4 + r). Let m be (5 - 8)/(-3) + 0. Solve -5*t + m + 4 = d for t.
1
Suppose -4*l + k + 4 + 36 = 0, -5*k - 30 = -3*l. Solve -5 = l*f + 5 for f.
-1
Let n be (-4)/(-46) - (-1644)/138. Let m(l) = 2*l - 10. Let f be m(7). Suppose -88 = -4*y - f*s, -5*y + 3*s + 116 = -34. Solve -y + n = -3*q for q.
5
Let o(m) = -3*m + 5. Let q be o(8). Let z = q + 23. Let x(g) = -3*g**3 + 2*g + 2. Let w be x(-2). Solve 2 = -z*j + w for j.
5
Let k(p) = -2*p**2 + 15*p - 6. Let d be k(7). Let j be 2/d + (-1 - -5). Solve -5*n = -2*n + j for n.
-2
Let k(q) = 4*q - 28. Let l(a) = -3*a + 26. Let f(t) = 4*k(t) + 5*l(t). Let n be f(-13). Solve -4*z + n*z = 0 for z.
0
Let x be 7/14 + 5/(-2). Let z be x/5 - 198/5. Let f be (z/(-24))/((-2)/(-6)). Solve 3 + 12 = -f*i for i.
-3
Suppose m - 2*m = 5, -4*y + 23 = -3*m. Let r(i) = -10 + 10*i + 72*i**2 - 1 - i**3 - 65*i**y. Let p be r(8). Solve b = p*b for b.
0
Let o be (-6)/(-18) - (3 + 32/(-12)). Solve o = -4*q + 10*q + 30 for q.
-5
Let r = 11 + -24. Let m be ((2 - r/(-1)) + 2)/(-1). Solve 4*y - 7*y = -m for y.
3
Let h = -49 + 52. Let s be (-1)/h - (0 - (-32)/(-6)). Solve -4*g - s = -3*g for g.
-5
Let m be (32/(-20))/((-2)/(-60)). Let q be (3/4)/((-3)/m). Let h(r) = 2*r**2 - 4*r + 7. Let c be h(5). Solve c = 5*g + q for g.
5
Let q(u) be the first derivative of 3*u**2/2 - 46*u + 26. Let d be q(16). Solve 2*n - 4 + d = 0 for n.
1
Let a = 2354 + -2354. Solve a = -2*d + 2 + 6 for d.
4
Let r(l) = l**3 - 11*l**2 + 2*l - 19. Let x = -81 + 92. Let d be r(x). Solve -a = d - 0 for a.
-3
Suppose -38 = -5*w + 3*n + 9, 0 = n - 1. Solve 3*z + w = 22 for z.
4
Suppose 5*b - 5 = -3*w, b + 2*b + 13 = -5*w. Let c be (-6)/(-3) - (b - 7). Suppose z - 2*z = -c. Solve -z*o = -2*o - 6 for o.
2
Suppose -4*c = 5*a + 10 - 65, -2*a = -6. Suppose c*b - 19 = 1. Solve -b*g - 3 = 1 for g.
-2
Let i be ((-1050)/(-56))/5*(-8)/(-3). Solve -l + i = -6*l for l.
-2
Let i(k) = k + 4. Let y be i(0). Suppose 3*m - 2 = -b, -2*m - 7 - 5 = y*b. Solve -3*n - 20 = m*n for n.
-4
Suppose 9*n - v - 172 = 4*n, -4*n + 138 = -v. Solve -n*p + 27*p = -14 for p.
2
Let b be 3/(3/(-162)*-9). Solve 2 = -16*p + b*p for p.
1
Suppose -4*z + 9 = -31. Suppose -3*i - 4*q = -8*i + z, 0 = 4*i + q - 8. Suppose -w = -4*s, -i*w + s - 3*s = -10. Solve 0 = w*j - 4 - 12 for j.
4
Let o = -3 + 9. Let c be o - -1 - (2 - -1). Suppose -2*u + 82 = c*s, 0 = 5*s - 0*u + 3*u - 103. Solve -4*g - g - s = 0 for g.
-4
Let s = 52 - 38. Suppose -8 + s = v. Solve 0 = -d + 2 - v for d.
-4
Suppose -2*m = 2*p - 10, 0*p = -m + 3*p - 3. Let h be (-6)/(-42) - (2 - 632/(-14)). Let k = h - -47. Sol