 + 9 = 0 for z.
-5
Let g = -36596 + 37249. Solve g*l + 15 = 648*l for l.
-3
Let g be (5 - 11/((-55)/(-255)))*-1. Solve g = -3*c + 37 for c.
-3
Let u(c) = c**3 - 5*c**2 + 8*c + 2. Let b be u(3). Suppose -b = -a - 1. Suppose 2*x + 9 = 3*h, -h + 6*x - x + 16 = 0. Solve -4*o + h = -a for o.
2
Let j = 433 + -428. Let w be ((0/(-2))/(-2))/(-7 + 5). Solve w = j*n - 2*n - 6 for n.
2
Let k be 2*((6 - 152/16) + -1) - -17. Solve -k*d - 27 = -35 for d.
1
Suppose 6*r = -h + 7*r + 4, 2*h - 3 = r. Let p be (-1206)/(-72) + (-10)/(-8) + h. Solve 8*d = -p - 7 for d.
-3
Let v(g) be the first derivative of g**4/4 + 3*g**3 + g**2/2 + 3*g - 8. Let j be v(-8). Suppose -k - j = -61. Solve 0 = -h + k - 7 for h.
-5
Let s(h) = 17*h**2 + 90*h - 437. Let l be s(5). Solve -l*o = -431*o for o.
0
Let q(z) = 33*z**2 - 2 - 2*z + z**3 + 5*z - 35*z**2. Let v be q(2). Let m be v/(-3)*42/(-28). Solve -m*y + 3*y = 3 for y.
3
Let v(w) = 18*w - 1. Let o(a) = -2*a. Let g(p) = 4*o(p) + v(p). Let y be g(2). Solve 4*u = -3 + y for u.
4
Let n = -31999 - -32010. Solve -n*a - 5961 = -5983 for a.
2
Let j(q) = 2*q**2 + 0*q + 13*q - 90 - 4*q**2 + 3*q**2 + 3*q. Let f be j(-21). Solve c = -4*c - f for c.
-3
Suppose -51*x + 1887 = -14*x. Let m be 30/(-35)*(-126)/2. Let d = m - x. Solve -8 = d*z - z for z.
-4
Let o be (5 - 7) + 0/(-2). Let u be ((5 - 4)*0)/o. Solve y - 9 + 5 = u for y.
4
Let x = 45 + -43. Let v be ((-84)/(-18) - 4)*3. Solve x*j = 3*j - v for j.
2
Suppose -72*h + 941 + 1199 = 196. Solve h*u = 25*u - 4 for u.
-2
Suppose j + 6 = 5*b + 2*j, 3*b + 4*j + 10 = 0. Suppose -4*m + 53 + 9 = 5*r, -b*r - 2*m = -26. Suppose -x + r = 4*x. Solve -5 = -x*n + 1 for n.
3
Let t(k) = k**3 - 8*k**2 + 6*k + 9. Let u be t(7). Let p = 1 + u. Let d = 629 - 624. Solve p*y - d*y + 6 = 0 for y.
3
Let u = 12293 + -12232. Solve -142 = -9*k - u for k.
9
Let z = -330 - -333. Suppose -z*r = 4*l - 20, 2*r - 26 = -3*r - 3*l. Solve 3*x = r*x for x.
0
Suppose -8*q = -2*x - 10*q + 136, 271 = 4*x + 5*q. Solve 0 = -5*t + 89 - x for t.
4
Let r(t) = 25 + t + 8*t**3 - 18*t**2 - 9*t**3 - 6 + 5*t**2. Let b be r(-13). Let k = 19 + -16. Solve b*u - 3 = k*u for u.
1
Suppose 0 = 5*v - 10, -2*v + 4 = -3*m + 2*m. Let w(t) = -t**3 + 59*t**2 - 115*t + 62. Let l be w(57). Suppose -l*g = -4*g - 3*g. Solve o + g*o + 3 = m for o.
-3
Let b(s) = -s**3 - 2*s**2 - s - 1. Let m(h) = 2*h**3 - h**2 + 8*h - 21. Let t(o) = 3*b(o) + m(o). Let a be t(-8). Solve -n - 12 + 11 = a for n.
-1
Let t(k) = -k**3 - 31*k**2 - 86*k - 27. Let f be t(-28). Solve 37*p - f + 140 = 0 for p.
-3
Let j(b) = -3*b - 135. Let f be j(-45). Solve f = 4*v + 20 for v.
-5
Suppose -5*k - 3 = -38. Suppose 10*p - 126 = 3*p. Suppose -17 = -3*s - h + 2*h, -2*s = -4*h - 18. Solve s*q + p = -k for q.
-5
Let p(d) = d - 1. Let v be p(3). Let j be 53/3 - (-4)/12. Suppose 0 = -8*n + 2*n + j. Solve -m + n = v for m.
1
Let u be (-17 - (-224)/14) + 1. Solve 282*d - 266*d + 32 = u for d.
-2
Suppose -57622*x + 58560 = -57614*x. Solve 10*p = -x + 7250 for p.
-7
Let x(z) = -z**3 - 2*z**2 + 4. Let g be x(-2). Let p = 830 + -794. Solve -p = g*j + 5*j for j.
-4
Let t = 2614 - 2561. Solve -t*i + 29*i = -29*i for i.
0
Suppose 3*m + 2029 = -7*d - 1010, -427 = d + 4*m. Let u be ((-261)/d)/(6/50). Solve -u*w = 2*w - 21 for w.
3
Suppose 5*m = m. Let f = 9239 - 9238. Solve 2*w + f - 9 = m for w.
4
Let v = -15 - -11. Let b be 3 + 4/(-4) + v. Let x be ((-10)/(-3))/(b/(-9)). Solve -2*z - x = z for z.
-5
Let s(l) = 11*l**2 + 3*l + 41. Let o be s(0). Solve o - 37 = -2*h for h.
-2
Suppose 21 + 49 = 5*v. Suppose 140 = -0*x + v*x. Solve 0 = p + x - 15 for p.
5
Let p(b) = -2*b**2 + 6. Let j be 5 - ((0 - -6) + -4 + 3). Let v be p(j). Solve 2*r + v = 4*r for r.
3
Let s = 198 + -134. Let p be 1*15 - s/32. Solve 0 = r - 10 + p for r.
-3
Suppose -j + 198 = -5*t, t = 4*t + 3*j + 108. Let d = t + 40. Let f = 15 - 11. Solve b + f = -d for b.
-5
Suppose -692*t = 676*t - 1387*t + 11609. Solve -602*o + t*o - 45 = 0 for o.
5
Let d(w) = 6*w + 16. Let a be d(3). Suppose 0 = -2*c + 2*i + a, 43 = 4*c - 0*i + i. Solve 0 = -2*z - 6 + c for z.
3
Suppose 0 = 72*y - 39*y - 330. Solve -y*q - 78 = 29*q for q.
-2
Let g = 1011 + -968. Let j be (-16 + 1)/(42 - g). Solve -12*n = -j*n + 9 for n.
3
Let q be ((-15)/(-10))/((-3)/40). Let g(b) = -3*b - 55. Let d be g(q). Solve 12 + 13 = -d*v for v.
-5
Suppose -77*c = -13*c - 2283 + 491. Solve c*t = 38*t - 19*t for t.
0
Let c = -135 + 133. Let m be (c/(-3) - 0)/(50/225). Solve 0 = -m*p - 12 + 21 for p.
3
Let p = -6573 + 6592. Solve 0 = p*b + 153 - 248 for b.
5
Let a(u) = u**3 - 11*u**2 + 10*u + 17. Let p be a(10). Suppose -1 = 8*d - p. Solve l + 1 = -d for l.
-3
Let x(b) = -16*b - 2 + 6 - 1. Let a be x(4). Let d = a - -62. Solve 16 = 5*j + d for j.
3
Suppose -c + 5*k - 2 = 0, -6 = 2*c + c - k. Suppose 3*m + 1 = 2*m. Let o be (m + 5)*2 + c/1. Solve 4*t - o = 6*t for t.
-3
Suppose -16*o - 15*o + 2015 = 0. Solve o = w + 63 for w.
2
Suppose 0 = -2*f - 5*s - 5, 1 = 4*f - 50*s + 49*s. Solve f = 284*k - 274*k - 10 for k.
1
Let y(k) = -27*k**2 - 112*k + 12. Let g be y(-3). Solve 20*l + g = -15 for l.
-6
Suppose 38*b = 32*b - 48. Let y be (3 + -2 + 1)*(-20)/b. Let i(u) = -u + 2. Let v be i(-5). Solve 0 = -y*s - v - 18 for s.
-5
Let r(c) = 200*c - 5. Let h be r(-1). Let u = 205 + h. Solve 0 = -p - u*p for p.
0
Let n(r) = -12*r - 116. Suppose -7*m = 94 - 24. Let f be n(m). Solve u + 15 = -f*u for u.
-3
Let v(x) = -17*x - 400. Let s be v(-24). Suppose -6 = -2*i + 2*l, 0 = i + 2*l + 14 - s. Solve t - 2 + 4 = i for t.
-2
Let r = 15 + 10. Let y = r + -23. Let a(w) = w**3 + w**2 - 5*w - 4. Let o be a(-2). Solve -y*s = o - 10 for s.
4
Let o be 11 - 3 - (40 - 40). Solve -o*u = -117 + 45 for u.
9
Suppose -b + 0 = -2. Let h = -187 - -199. Suppose 4 = -p, -5 = -3*u - 13*p + h*p. Solve -u*x + 25 = b*x for x.
5
Suppose -31*k + 1870 - 190 = -11*k. Solve 12*u = 12 - k for u.
-6
Suppose 5*v + 9359 = 4*d, 199*d = 200*d - 2*v - 2345. Solve 2*n - d = -2335 for n.
-2
Suppose -5*f - 35 = -16*w + 11*w, 2*w + 5*f = 0. Solve w*r - 60 = -55 for r.
1
Let k be -4 - ((-2)/(-4) - (-888)/(-48)). Solve k*y - 36 = 2*y for y.
3
Let h be 22881/(-145) - 1/5. Let s = h - -178. Solve -2*u = -s + 16 for u.
2
Suppose -3*a + 45*a - 798 = 0. Suppose 0 = -4*v + a*v - 270. Solve 0 = w - 10*w + v for w.
2
Let a(n) = -161*n + 2732. Let b be a(16). Solve -32*f = -6*f + b for f.
-6
Let v(f) = 4*f**2 + f + 7. Let a be v(0). Let o be a - ((-60)/(-6) - 7). Solve -40*u = -41*u - o for u.
-4
Let u(p) = 2*p**3 + 5*p**2 - 5*p - 2. Let l be (6/8)/(30/80). Let o be u(l). Solve -3*g - 9 = -o for g.
5
Let l = 10635 + -10623. Solve 60*f + l = 63*f for f.
4
Suppose -15*p + 33 + 27 = 0. Suppose 3*b + 2*z - 79 = -2*z, 53 = b - p*z. Solve -4*s = -53 + b for s.
5
Let f(l) = l**3 + 14*l**2 + 40*l - 46. Let q be f(8). Solve 0 = -3*r + q - 1682 for r.
0
Suppose 14*o = 42 + 14. Let w(j) = 10*j - 11*j + 65 + o*j. Let m be w(-20). Solve -3*n - 2 + m = 0 for n.
1
Suppose -26050*m + 26042*m = 0. Solve -z + 226 - 235 = m for z.
-9
Suppose 0 = o + k - 16, -28 = -6*o + 3*o + 2*k. Suppose 0 = -5*g - 12390 + 12420. Solve o*x = g*x - 30 for x.
-5
Let a be (44/(-12))/(4/12). Let w(o) = 2*o**2 + 19*o - 23. Let q be w(a). Let t be (-21)/(-35) - (-44)/q. Solve 4*r - t + 1 = 0 for r.
1
Suppose 2*t - 63 = -5*v, 2*t - 18 = 103*v - 99*v. Solve -t*s = -2 + 2 for s.
0
Suppose -3*y = 29*y - 960. Suppose -8*d + 3*d - y = -4*x, 8 = 2*x + d. Solve x*u + 25 = 10*u for u.
5
Suppose 0 = 5*l + 98*m - 99*m + 3, -3*m + 19 = -5*l. Solve 5*j + l - 21 = 0 for j.
4
Suppose -d - 3 = -14. Suppose d*s = 6*s - 50. Let b be -15*6/9*8/s. Solve n - b = -n for n.
4
Suppose 0 = 2*k - 12 + 4. Suppose 6*f - 5*f = -k. Let t be (-3)/((-11)/6 + f/(-12)). Solve -t*x - 1 = -x for x.
-1
Suppose -21*b - 19 + 61 = 0. Solve 0 = 16*l - b*l - 14 for l.
1
Let r(c) = c**3 - 28*c**2 - 25*c - 97. Let t be r(29). Solve -t*g + 42 = -26*g for g.
-6
Suppose 136*y = 106*y + 210. Solve 0 = -y*p - 43 + 22 for p.
-3
Suppose 0 = -f - 3*c - 4, -7*c = -3*f - 6*c + 18. Suppose 5*b - f*k = 0, 1 = k - 4. Let y be (-6)/(-2) + (7 - 6). Solve b*o - y = 16 for o.
4
Suppose 13*o - 20442 = -20065. Solve 61 = 18*q - o for q.
5
Let r = 77 - 77. Suppose 49*t - 54*t + 35 = r. Let l be (-1 + t)*3*(-3)/(-18). Solve -l*s = 2*s for s.
0
Let m(r) = 3*r