 - 4 = -w*c for c.
-2
Let y = 10 + -34. Let r = y - -45. Let w = -17 + r. Solve 0 = w*s - s for s.
0
Let o = 10 + -5. Suppose 2*n + 1 = o. Suppose -b - 19 = -4*i - 28, -2*b + 6 = -2*i. Solve n = -w + b for w.
-1
Let m(r) = -3*r - 4. Let z be m(-2). Let x(b) = 16 + 4*b - 3*b - 4 - z. Let t be x(-8). Solve -t*j + 7*j = 0 for j.
0
Suppose 15*m - 20*m = -20. Suppose -m*s = 4*n + 6 - 34, -3*n = -5*s + 11. Solve z - s + 3 = 0 for z.
1
Let g = -11 + 20. Suppose 0 = 12*x - g*x - 15. Suppose 4*d = 5*q + 34, -x*d - 4*q + q + 24 = 0. Solve 6 = -3*a - d for a.
-4
Let n(i) = 8*i + 357. Let b be n(-43). Let y(l) = 3*l + 2. Let k be y(3). Suppose -4*r = -j - b, 3*r = j - 2 + k. Solve 0 = -j*o - o + 12 for o.
3
Let k(i) = 6*i - 5. Let g be k(2). Suppose 0 = -3*l - l + 3*t - g, 0 = -3*l + 4*t - 14. Suppose -4*s = 0, -l = 2*z + 4*s - 38. Solve 2 = -5*p - z for p.
-4
Let m = 234 + -225. Solve -2*k + 5 - m = 0 for k.
-2
Suppose -32*c - 3*q - 5 = -27*c, -4*q - 12 = 4*c. Solve -13*j = -11*j - c for j.
1
Let i be (6 - 2 - 5)*13. Let m = 17 + i. Solve -f - 25 = m*f for f.
-5
Let w = -23 - -7. Let b be w/6 - 2/6. Let x(k) = -k**3 - 4*k**2 - 6*k - 5. Let z be x(b). Solve 0 = -z*j + 2 + 6 for j.
2
Let b(x) = -33*x + 201. Let o be b(6). Solve -o*u + 6 = -0 for u.
2
Let j(w) = -w - 11. Let t be j(-12). Let a be -2 + 0/t - -5. Suppose -5*n - a*u + 39 = 0, -n + 3*u + 1 - 4 = 0. Solve n*h = 2*h - 8 for h.
-2
Let h be 0/(5 - (3/3 - -3)). Suppose h = -w - 5 + 14. Suppose -5*j + 5*y - y + 12 = 0, -5*y = -2*j + 15. Solve w = 3*b - j*b for b.
3
Suppose 605 = -26*o + 147*o. Solve -6*s + s = o*s for s.
0
Suppose -4*y = -t - 9*y - 2, -5*y - 8 = -t. Suppose -3*d - t = -f, -4*d - 1 = -f - 3*d. Solve f = 5*v - 2 + 12 for v.
-2
Let d = -14 - 41. Let l = d - -55. Solve l = b + b + 6 for b.
-3
Let c = -53 + 78. Suppose 1 = -2*r + 2*z + 19, 0 = -5*r + z + c. Suppose -4*h + r = -4. Solve -h*g = -4*g + 4 for g.
2
Let g = -6 - -12. Let m be 30/g + 0 + 0. Suppose 4*v - 18 = 8*r - 6*r, 2*v = -3*r + 13. Solve m*s = r - 11 for s.
-2
Let y(g) = -g - 2. Let b(k) = k**3 - 6*k**2 - 2*k + 7. Let o be b(6). Let d be y(o). Solve -d*v = 2*v for v.
0
Let h = 2560 + -2556. Solve h*x - 4*x - 6*x = 0 for x.
0
Let p = 556 - 544. Solve 7*j = -9 - p for j.
-3
Let h = 1656 + -1612. Solve -16*j + 5*j = -h for j.
4
Let k be (-198)/(-11) - (2 + 3). Solve -12 - 1 = -k*a for a.
1
Let n(j) = -42*j - 412. Let f be n(-10). Solve 0 = -12*s + f*s + 20 for s.
5
Let s be (-158)/(-8) + 3/12. Let r be -2 - -12 - 0/3. Suppose 2*q + 2*x = r, 3*x + 4 = 5*q - 5. Solve -p - s = q*p for p.
-5
Let a(z) = z**2 - z + 3. Suppose -f + 2*q + 3 = 1, 0 = 4*f + 2*q - 28. Suppose 18 - f = 4*d. Let p be a(d). Solve -b - 2*b = -p for b.
3
Let d = -64 - -131. Let b = d + -62. Solve -5*w + b = 15 for w.
-2
Let o be (-30)/(-4) + 10/20. Suppose 0 = -v, 0 = 3*s + 5*v - 7 - o. Solve s*y = -20 - 5 for y.
-5
Suppose 33*b + 9*b - 1638 = 0. Solve -7*o + b - 53 = 0 for o.
-2
Let h = -69 + 96. Suppose -11*t + 2*t + h = 0. Solve t*p - 4 = 11 for p.
5
Let o(z) = z**3 - 1. Let f be o(1). Let x(i) = -28*i - 2576. Let m be x(-92). Let y(b) = -b + 10. Let a be y(8). Solve m = -f*g - a*g - 8 for g.
-4
Let t be (-156)/(-13) + -2*2/1. Solve -24 = -t*v + 8 for v.
4
Let m = 6842 - 6837. Let r = -9 + 13. Solve 0 = -m*z + r*z + 4 for z.
4
Let s = 122 + -119. Solve 7*x + s - 38 = 0 for x.
5
Let r = -838 - -846. Solve 9 = -f - r*f for f.
-1
Let f be 786/655 + 12/(-10). Solve z + 4*z = -f*z for z.
0
Suppose -4*k - 9 + 35 = 2*f, k + f - 8 = 0. Suppose -42 + 100 = k*v + 2*n, -2*v + 36 = 4*n. Solve -5*w + 20 = -v*w for w.
-4
Let o = 53 - 111. Let j = o + 62. Solve j*n + 2 = 5*n for n.
2
Let t be (-2)/(-7) + 92/(-28) + 9. Let z be (t/(-8))/(-2 - 14/(-8)). Solve x = z*x for x.
0
Suppose 3*z - 60 = -z. Suppose 0 = 7*q - 4*q + z. Let r(g) = 2*g + 17. Let s be r(q). Solve -s*a + 2*a = 25 for a.
-5
Let m(r) = -2*r - 12. Let l be m(7). Let q = 51 + l. Suppose 20 = 5*v + h, 4*v - h - q = -0. Solve -v*k = -7*k + 6 for k.
3
Let w be (-4 + 2 - (-16)/10)*-15. Solve -4*s = -7*s - w for s.
-2
Suppose 2*f - 3*q + 4 = -8, 3*f - 5*q + 20 = 0. Solve f*n - 5*n + 20 = 0 for n.
4
Let k(l) = l - 25. Let x be k(14). Let i(u) = 2*u + 19. Let j(g) = -3*g - 28. Let v(b) = 7*i(b) + 5*j(b). Let r be v(x). Solve -r*q = -q - 6 for q.
2
Let v be (-6)/22 - (-828)/253. Suppose -4*b = -2*j - 6, 0*b + b - 4*j - 19 = 0. Let d be (0/3)/((-1)/b). Solve -v*x + 9 + d = 0 for x.
3
Let y(v) = -28*v + 229. Let p be y(8). Solve -p = -2*s - 5 for s.
0
Suppose s - 4*f + f - 46 = 0, 3*f + 229 = 4*s. Suppose 16*i - 3 = s. Solve 15 = -n - i*n for n.
-3
Suppose f + 5*t + 18 = -0*f, -5*f - 2*t = -2. Let h = 6 - 1. Suppose -h*u - v = 0, u - 4*u + 2*v = 0. Solve u*c = -c + f for c.
2
Suppose 4*u + 27 = -13. Let j be 6 + u + 5*2. Solve -l = l - j for l.
3
Let q(u) = -u**2 - u + 22. Let f be q(0). Let l = f + -8. Let v be (-4)/6 + l/3. Solve -12 = -v*i + i for i.
4
Let n(p) = p**3 - 2*p**2 - p + 2. Let x be n(2). Suppose 2*h - 4 = 3*j, x = -j + 6*j - 3*h + 5. Suppose 0 = -3*s, 3 = j*l + s - 7. Solve -2*c = 5 + l for c.
-5
Let n(p) be the first derivative of p**2/2 + 20*p + 31. Let o be 3/15 - 4/20. Let i be n(o). Solve -6*t + t = -i for t.
4
Let y = 1437 - 1433. Let b(a) = a + 1. Let g be b(1). Solve y + 4 = -g*x for x.
-4
Suppose 3*r = t + 4, -3*r - 10 = -4*t - 4*r. Suppose 0 = 5*l - t - 3. Solve -3*m - l - 2 = 0 for m.
-1
Suppose 0 = -16*c + 7 - 135. Let b be c/(-1 - 2 - (-19 + 18)). Solve 0 = -b*t - 2 - 2 for t.
-1
Let d = -10 + 14. Suppose -6*r = -d*r. Let p be 33/1 + 2 + r. Solve 5*h = p - 15 for h.
4
Let u be (8/(-6))/((-8)/6). Let j be 12 - 12 - (u + 3). Let c be -3*2*j/12. Solve -q - c = q for q.
-1
Let d = 114 + -108. Let h = -5 + 9. Suppose 0 = 4*j - 2 - 6. Solve j - d = -h*n for n.
1
Let b = -1195 + 1197. Solve 9*a = -b*a - 22 for a.
-2
Let w be (-5 - 3) + 7 - -3. Solve 0 = -w*d - 5*d + 28 for d.
4
Suppose -3*r = 2*r - 95. Let h be (18 - r)/(1/(-7)). Solve 3*l - h = 5 for l.
4
Let r be 6*(-35)/(-30) + -5. Solve -5*m + r*m = m for m.
0
Let u = 103 + -99. Solve 2*q = 6 + u for q.
5
Let v = -1244 - -1248. Solve 4*t = -v*t - 8 for t.
-1
Let x(l) = l**3 + 11*l**2 + 5. Let n be x(-11). Let h(d) = d**2 - 13*d + 11. Let m be h(11). Let u = m + 20. Solve -2*y + n*y = u for y.
3
Let p(k) = k**2 + 7*k - 4. Let f be p(-8). Suppose 5*r + 5*y + 15 = 0, 4*r + f*y = r - 14. Solve r*j - 4*j = 0 for j.
0
Let x(u) = 4*u**2 - 2*u - 4 + u**3 + 3*u + 0*u**3. Let c be x(-3). Suppose -2*z = 2*l - 10, 0 = z - 2*l - 1 - 4. Solve -c*a = -z*a - 9 for a.
-3
Suppose f + 0 = -3*b + 4, 0 = f - b - 8. Let h(z) = -2*z - 7. Let s be h(-9). Solve -4 = s*r - f*r for r.
-1
Let i be 0/(4/(-2) + 4). Let l be 0/18*(2/6 - i). Solve l*f = -2*f - 6 for f.
-3
Suppose 3*c = -5*p + 87 - 34, 2*p - 59 = -3*c. Suppose 0*r + 26 = 4*t + 5*r, -3*r + 6 = 0. Solve t*o = -c + 1 for o.
-5
Let f(p) = 2*p**2 - 6*p + 3. Let g be f(4). Solve -g + 7 = -4*v for v.
1
Suppose 0 = -4*y - 6 + 14. Suppose -y = -9*g + 25. Solve g*h - 6 = h for h.
3
Suppose -12 = -8*u + 5*u. Suppose -c + 6 = -2*h - 13, c - u*h - 29 = 0. Let k = -7 + c. Solve 3*l + k = 8 for l.
2
Suppose -2*t - 18 = -4*h, -5*t + 21 + 0 = h. Suppose 0 = -5*f + 2*f + 6. Solve h = -4*r + f*r for r.
-3
Let f be 10*(2/4 + 0). Let t(g) = -g**2 + 43*g - 188. Let w be t(38). Let y be (-148)/(-20) + (-2)/5. Solve y*l - f = w*l for l.
1
Let h be ((-18)/7)/((-3)/14). Solve -h = 11*k - 14*k for k.
4
Let n(m) = -m**3 + 9*m**2 + 11*m - 8. Suppose 3*v - 2*v + 4 = 0. Let x be 260/(-13)*2/v. Let i be n(x). Solve -a + i = -2 for a.
4
Suppose -2 = -2*n, -20 - 7 = 2*q + 5*n. Let s = 20 + q. Let l = 3 + -2. Solve -s = -5*w + l for w.
1
Let v be 0/(-1)*(-3)/6. Let b(h) = -9*h**3 - 2*h**2 - 2*h - 1. Let g be b(-1). Suppose -g = -4*w - 4*a + 20, -a + 1 = -w. Solve -d = -v + w for d.
-3
Let v(i) = -9*i**2 - 28*i - 3. Let r be v(-3). Solve -3*p + r*p + 3 = 0 for p.
1
Let b(w) = 2*w - 51. Let v be b(28). Let o be 38/v + (-3 - (-84)/35). Solve -11*f = -o*f + 4 for f.
-1
Let n be -6*3/(-12) - (-41)/(-2). Let u = -4 - n. Solve -2*b = 3*b - u for b.
3
Let v(t) = -t**3 + 17*t**2 - 5. Let p be v(17). Let b be (-3)/2*-2 + p. Let u(y) = y**2 - 2*y - 4. Let a be u(b). Solve 0 = g - 5*g + a for g.
1
Let b(c) = -2*c - 5. Let z(f) = f. Let y(n) = b(n) +