= -9*c + 37. Solve -31*x - 112 = -q*x for x.
7
Suppose -35*h + 28*h + 371 = 0. Solve -44*y = -h*y for y.
0
Let a = -35 - -41. Let k(l) = -l**3 - 18*l**2 - 3*l + 244. Let s be k(-17). Solve -s*d = -0 - a for d.
1
Let n(d) = -d**2 - 5*d - 5. Let s be n(-3). Let y(w) = -w**3 - 32*w**2 - 59*w + 30. Let c be y(-30). Solve c = z - s - 4 for z.
5
Let t = 1638 + -1633. Let i = 8 - 6. Let j be (2 + i)/(-2) - -2. Solve 5*h = -j*h - t for h.
-1
Let i be -6*13*(-810)/324. Solve 13*n = -26*n - i for n.
-5
Let k(l) = 7*l + 4. Let q(d) = 15*d + 7. Let w(c) = 5*k(c) - 2*q(c). Let j be w(0). Solve 5*z = -j - 4 for z.
-2
Let j(i) = 1060*i + 2140. Let x be j(-2). Let y(n) = 11*n - 3. Let c be y(2). Let g = c - 13. Solve -g*w + w - x = 0 for w.
-4
Let o = -100 + -20. Let k be (-1)/(2 + 244/o). Solve -3*z - k = -30 for z.
0
Suppose -13*x = -20*x - 1582. Let l = -224 - x. Solve 0*g + l*g - 4 = 0 for g.
2
Suppose -8*m - 16 = -40. Suppose 0 = 4*t - 3*h, -4*h + 2*h = m*t. Solve t = 6*x + 6 - 0 for x.
-1
Let t be (-2)/84 - 1178/(-84). Solve 212 = t*x + 282 for x.
-5
Let w = -201 + 153. Let v(l) = -2*l**2 - 94*l + 99. Let u be v(w). Solve 5 = -u*t + 2 for t.
-1
Suppose 44 - 104 = 6*h. Let b(y) = -2*y**2 - 13*y + 7. Let m be b(h). Let s = m - -63. Solve 0 = -s*f - f + 4 for f.
4
Suppose -40 = -147*z + 695. Solve z*h + 9*h = 28 for h.
2
Let p = 101 + -75. Let y = p + -22. Suppose 3*f = -y*q + 16, -12*q + 10*q - f + 8 = 0. Solve -q*v - 12 = 8 for v.
-5
Let p be (9 + 1)/(-10) + (-2 - -8 - -2). Suppose -3*w + 15 = -0*w. Solve -b + w = p for b.
-2
Suppose -2*w + 5*w - 3 = 0. Let m(u) = -2*u + 4. Let l be m(w). Suppose 4*i + 19 = g, l*g - g = i + 10. Solve -3*k = -g*k + 4 for k.
1
Let k(n) = 14*n - 7*n + 6 - 4*n. Let j be k(2). Let s be 20/(-6)*j/(-8) - 3. Solve -2 - 6 = s*x for x.
-4
Let h = -4746 + 4908. Solve -h*t - 42 = -156*t for t.
-7
Let t(g) = 4*g**2 - 8*g + 6. Let i be t(2). Solve i*b - 10 = -10 for b.
0
Let g(i) be the first derivative of -23*i**2/2 + 183*i - 167. Let y be g(7). Suppose 6 + 2 = 4*k. Solve -4*z = k - y for z.
5
Let o(u) = 5*u - 68. Suppose 6*j - 110 = -26. Let k be o(j). Solve -16 = 2*s + k*s for s.
-4
Let l be (0/2)/(-221 - -222). Suppose -9*c = -10*c + 12. Solve -c = -12*v - l*v for v.
1
Suppose 26*c + 103*c = 0. Solve -495*q + 493*q + 10 = c for q.
5
Let j = -3422 + 3440. Solve j*v - 11 = 61 for v.
4
Let n(c) = 2*c**3 - c + 1. Let h be n(1). Let r be (-134)/h + 3/(-3). Let g = 70 + r. Solve g*a = 3*a for a.
0
Let q = 474 - 372. Let b = -93 + q. Solve 4*u - u = b for u.
3
Let g(r) = r**3 + 16*r**2 - r - 14. Let m be g(-16). Suppose m*c + 14 = -2*i, -c - 4*c = 15. Let a be 0 - (3/3 + i). Solve -a*v = v - 16 for v.
4
Let o(d) = -d**2 - 2*d + 221. Let k be o(-14). Solve 11*b + k = -42*b for b.
-1
Suppose -3*r = -2*z - 2 - 3, -4*r = 2*z - 30. Suppose 9 = 2*l + 4*q - 21, -5*q = 3*l - 41. Suppose -t + l = -4*p, 3*p + 3 = 3*t - 9. Solve 4*w - t = r for w.
2
Let u(d) = -4*d - 6*d - 14 - 2*d**3 + d**2 + 4*d**3 + 5*d**2 + 9*d**2. Let b be u(-8). Solve -7 + 3 = -b*p for p.
2
Let f be ((-41)/((-2050)/(-60)))/((-9)/30). Solve -8*l - f + 44 = 0 for l.
5
Let m(o) = 59*o + 2478. Let d be m(-42). Solve d = -33*t + 7*t + 78 for t.
3
Let m be (3/(-5))/(-1*(-16)/(-160)). Solve m*x = -4*x + 10 for x.
1
Let h(d) = -72 - 45 - 90*d + 70*d - 92. Let b be h(-11). Solve -f = -6 + b for f.
-5
Suppose -4*v = 5*r - 23, -5*r + 243 - 196 = -4*v. Solve 4*t = -1 - r for t.
-2
Let m = 3088 + -3080. Solve m*q + 8 = -16 for q.
-3
Suppose 5*a - 420 = -5*q, -71 - 118 = -3*a + 4*q. Solve -a = 5*y - 80 for y.
1
Let z(q) = 2*q**2 + 2*q - 7. Let n be z(2). Suppose 2 = n*t - 18. Solve -u + 2*u = -t for u.
-4
Let r be (-46 + 6)*2/(-5). Suppose 0 = 2*k, 3*n + 5*k - r = -10. Solve n*g = 4*g - 8 for g.
4
Suppose -267 = -7*k - 267. Suppose 16*z - 144 = -k*z. Solve -z - 3 = -3*u for u.
4
Suppose 0 = -r + 101 + 29. Suppose r*a = 135*a. Let c be a + 0 + (-4)/(-2) + -2. Solve -3*t - 6 = -c*t for t.
-2
Suppose -406 - 1024 = -65*t. Solve -44*x - t*x - 264 = 0 for x.
-4
Suppose 88*o = 6821 + 5851. Solve 139*n = o*n - 15 for n.
3
Let c(k) = -6*k - 79. Let h be c(-16). Solve -h*r + 24*r + 7 = 0 for r.
-1
Let j be ((-6)/(-5))/(1014/2535). Solve -j*p - 9*p - 36 = 0 for p.
-3
Let y(x) = x**2 - 3*x - 17. Let v be y(-8). Suppose 5*n + 225 = 4*d, v + 109 = -4*n - 4*d. Let a = -41 - n. Solve 0*l + a*l + 4 = 0 for l.
-1
Let c = -608 - -655. Let i be (-12 - -2)*(-7)/2. Let b = c - i. Solve w = -2*w - b for w.
-4
Let b = 782 + -552. Suppose 8*u = b - 934. Let c = u - -91. Solve 2*n - c = -1 for n.
1
Suppose 10*s + 64 = 6*s. Let n be ((-14)/5 + 2)/(s/40). Let y(o) = o**2 + 2*o. Let f be y(n). Solve 0 = -5*k + k + f for k.
2
Suppose 0 = -354*z + 234*z + 1560. Solve 0 = -z*m - 245 + 232 for m.
-1
Let c = 399 + -366. Suppose -9*a + 11*a - 17 = -5*h, 5*h - 2*a - c = 0. Solve 2*t = h + 3 for t.
4
Let w(f) = -f - 15. Let v(c) = -c**2 - 3*c + 2. Let h be v(0). Suppose -s = 5*u + 91, h*u + s = -s - 30. Let o be w(u). Solve 4*b - 4 = o for b.
2
Suppose 828*q - 822*q = 132. Suppose -3 + q = 3*i + j, 0 = -3*i + j + 17. Solve -r - r = -i for r.
3
Let k be 2/(-4)*(-3)/((-6)/(-8)). Suppose 0 = -0*u + 9*u + 45. Let v(x) = x**2 - 9*x - 67. Let z be v(u). Solve -z*a - k*a = 5 for a.
-1
Suppose -2*r = 4*g + 10, 3*g + 57*r - 59*r - 10 = 0. Solve -8*b + 40 - 16 = g for b.
3
Let l be (-6 - 1)*-3 - 1. Let y = l - 17. Suppose 4*t + 0*j = 2*j + 4, 0 = 2*j. Solve y = -2*d - t for d.
-2
Let a(x) = -45*x - 13. Let m be a(-2). Let g = 80 - m. Solve 3 + g = 6*q for q.
1
Let h(o) = o**3 - 23*o**2 + 18*o + 113. Let v be h(22). Suppose 52 = 11*y - v. Solve 0 = -y*x + 4 + 3 for x.
1
Suppose 5*y - 31 = 149. Suppose 32 = -2*i + y. Solve c = i*c + 1 for c.
-1
Let i = -271 - -252. Let v(o) = -7*o**2 - 38*o + 8. Let g(s) = 3*s**2 + 19*s - 4. Let p(m) = -5*g(m) - 2*v(m). Let y be p(i). Solve 10 = -y*h - 10 for h.
-5
Let x(i) = -i**2 - 27*i - 152. Let p be x(-17). Let k(u) = -u**2 - 5*u - 3. Let j be k(-3). Solve j*t = p*t for t.
0
Suppose -717*r = -720*r - 6, -4*u - 5*r = -670. Solve u*m + 20 = 174*m for m.
5
Let j = 337 + -335. Let q = -69 + 70. Solve b = -j + q for b.
-1
Suppose -2*j + 2 + 6 = 0. Let x(c) = 8 - 3 + 12 + c - j. Let v be x(-8). Solve 13 = -v*h - 7 for h.
-4
Suppose -7*c + 33 = -9 - 0. Solve c*g = -5*g for g.
0
Suppose 0 = 15*z - 13*z. Suppose z = -11*a + 3*a. Suppose a = 2*c - 3*w - 16, -4*c + c = 5*w + 14. Solve -2*p = c - 6 for p.
2
Let z = -2 - 1. Let b(m) = m - 12. Let o(j) = -j + 6. Let v(i) = -3*b(i) - 5*o(i). Let n be v(z). Solve n = 6*g - g + 15 for g.
-3
Let r(u) = 18*u - 190. Let z(n) = -n**3 - 25*n**2 + 23*n - 67. Let s be z(-26). Let t be r(s). Solve 3*b = -t*b + 33 for b.
3
Let i be (-6 - (1 + -3))*(-16)/32. Suppose -i*z + 62 = 29*z. Solve 0 = -0*o - z*o + 4 for o.
2
Let b(n) = -n**2 - 9*n - 14. Let w be b(-7). Suppose 3*h - 9 + 0 = w. Suppose l + 2 = -o, -h*o - 9 = 2*l - 0. Solve -l*q + 12 = q for q.
3
Let l be 30 + (-3 - (-9 - -4)). Suppose -49 - l = -w. Let b = 83 - w. Solve 17 - b = -5*i for i.
-3
Let b = -10 + 13. Suppose -3*r + 4*f = 1, -2*r - 2*f = -b*r - 1. Let c(z) = -z + 17. Let t be c(13). Solve -t = 5*x + r for x.
-1
Suppose -2*t + 1 = u, 4*u + 0*u - 11 = -t. Let j be 1 + (-7 - -8) + (t - -7). Solve 8*f + j = -32 for f.
-5
Let n(o) = -o**3 - 12*o**2 - 2*o - 24. Let w be n(-12). Suppose w*h = -2*h. Solve h = s + 4 - 2 for s.
-2
Let q(b) = 194*b + 16. Let g be q(-3). Let t = g + 581. Solve 4*h = 1 + t for h.
4
Suppose -81*v + 2446 + 956 = 0. Solve 213*w - v = 219*w for w.
-7
Suppose -r - 3 = -7. Suppose 2*z = 4*q + 6*z - 132, r*q + 2*z - 122 = 0. Suppose 0 = -30*y + q*y + 20. Solve 4*p - 2 = y for p.
3
Suppose -5*i + 3*y + 127 = 0, 2*i - y + 209 = 259. Solve -i*b - 40 = -15*b for b.
-5
Let h(a) = -a**3 + 7*a**2 - 3*a + 20. Let w be h(7). Let u be w/2 - (-42)/(-12) - 6. Let k = u + 10. Solve k = 2*n + 4 - 0 for n.
-2
Let b be (-2)/(-29) - (6475/(-725) + -5). Solve b = v + 19 for v.
-5
Let m be (3 + (-66)/24)*0 - 0/1. Solve m = 41*w - 28*w + 78 for w.
-6
Let x be (-28 + 30)*(1/(-2) + 0). Suppose -2*o = -7*o + 475. Let a be (x/(-2))/(o/30 - 3). Solve -2*d = -a*d - 3 for d.
-3
Let f(g) = -g**2 + 5*g - 1. Let b be f(4). Suppose 0 = y - j - 29 + 33, 0 = y + j - 4. Solve -2*v + b*v - 3 = y for v.
3
Let m be (-2)/2*7 +