= -92*x + 175 for x.
7
Let j be 0*(14 + -28)/28. Solve -12*o - 1 + 73 = j for o.
6
Suppose 0 = -4*y + 5*v + 277 - 245, 2*v + 8 = 0. Let w(s) = 1 - 3*s + 2*s + 2*s. Let i be w(2). Solve -y = i*m - 15 for m.
4
Let y = 4308 + -4288. Solve 0 = -27*k + y*k + 35 for k.
5
Let m(b) be the second derivative of b**5/20 - 29*b**4/12 + b**3/6 - 13*b**2 + 6*b + 2. Let w be m(29). Solve 5 - w = -2*k for k.
-1
Let m(u) = -10*u - 27. Let c = -88 - -84. Let v be m(c). Suppose -5*o + 5 = 5*j - 20, -3*o = -4*j + v. Solve j*s - 4 = 3*s for s.
4
Let b(s) = -28*s**3 + 2*s**2 + s - 1. Let f be b(-1). Let i be 132/f - 6/(-21). Solve -i = 6*l - 5*l for l.
-5
Let x(o) = -1 - 1 + 23 - o. Let f be x(19). Suppose -4 = -f*q - 2*w, 3*w - 6*w + 1 = 2*q. Solve q = -2*j - 3*j for j.
-1
Let k be (-1)/3 - 26/(-42) - 910/3185. Solve k = -f + 9*f + 32 for f.
-4
Suppose -h - t = 7, -9*h + 11*h = -5*t - 14. Let i(a) = 6*a**2 + 5*a + 8 - 6*a - 6*a + a**3. Let y be i(h). Solve 0 = 4*j + y - 0 for j.
-2
Let n(i) = 2*i**2 + 2*i**2 - 5*i**2 + 2*i**2 - 8*i + 9. Let q be n(7). Suppose 2*k + 3 = 3*c, -c - q*c = -4*k - 3. Solve 4*a + k*a = 0 for a.
0
Suppose -2*m - 860 = -866. Suppose m*p - p = p. Solve -5*j + p*j = 0 for j.
0
Let v = -382 - -392. Suppose -10 = -c + 4*u, c = -2*u + 14 - v. Solve -c*a - a = -35 for a.
5
Let i be ((-497)/(-56) - 9) + (-68)/(-32). Let a be (2 + (-7)/(-4))*4. Solve -a = i*p + p for p.
-5
Let u(o) = o - 88. Let d be u(6). Let z = d - -84. Solve 5*q = z*q + 3 for q.
1
Let c be (-31)/93 + (-8)/3. Let w be (-1)/c - 913/(-249). Solve 0 = w*m + m for m.
0
Let r = 210 - 206. Suppose -a - 21 = -r*l, 22 = -0*l + 3*l - 2*a. Solve -14*y = -13*y - l for y.
4
Let y = -4 + 7. Suppose 61*r - 50 = 57*r + 5*c, 5*r + c - 77 = 0. Solve 8*z = y*z + r for z.
3
Suppose a + 0*f - 39 = 4*f, 2*a + f - 33 = 0. Let p(s) = s**2 - 16*s + 6. Let k be p(a). Let x = -60 + k. Solve 0*t - x*t = 12 for t.
-4
Let u = -8890 - -8992. Solve 108 - u = n for n.
6
Suppose 0 = -2*q + 6*c - 9*c + 13, -16 = -5*q - 2*c. Solve 1336 = q*j + 1340 for j.
-2
Let l be 12/(1 + -3)*26/(-39). Suppose -6*v - 4 = -8*v, g = l*v - 3. Solve -s - 4 = -g for s.
1
Let n = 24093 - 24043. Solve 93 + 157 = -n*t for t.
-5
Suppose -2*w + 3*v - 9 = 0, 5*v - 5 = -0*v. Let b be 2/6*(-18)/w. Let x be -3 + (82 - 10)/18. Solve -b*j - x = 3 for j.
-2
Let f(x) = x**3 - 11*x**2 + 8*x + 8. Let j be f(11). Suppose -6 - 6 = -2*i + 3*a, -19 = -3*i + 4*a. Suppose i*z = z + j. Solve 0 = 2*r + r - z for r.
4
Let n(v) = -v**2 - 161*v + 673. Let d be n(4). Solve 9*w = -d*w + 66 for w.
3
Suppose 63 = 18*m - 66 + 129. Solve m = -6*l - 57*l + 126 for l.
2
Suppose -30 = -5*u, -23*i + 19*i + 4*u = -152. Solve 0 = -28*x + 17*x + i for x.
4
Let i(a) = -a**2 - 2*a + 5. Let k be i(3). Let r = 29 - k. Let o = -35 + r. Solve 3*t - o*t = 4 for t.
-4
Let i(z) be the first derivative of -z**4/4 + 7*z**2/2 + 8*z - 6. Let g be i(0). Solve g*c = 5*c for c.
0
Suppose 47*l - 42*l = 80. Suppose 3*c = -15, 0 = 4*m - 3*c - l + 1. Solve 7*w - 4*w - 12 = m for w.
4
Suppose 13*d - 47 = 18. Let a be (-64)/(-14) - ((-93)/21 + d). Solve a*x = 5 + 7 for x.
3
Let y = -641 + 811. Solve -164*d = -y*d - 36 for d.
-6
Suppose -18*o = -w - 13*o + 297, -30 = 5*o. Solve -5*y + 282 = w for y.
3
Let a = 4487 - 4454. Solve a = 9*l + 6 for l.
3
Suppose 17*q - 96 = 13*q. Let n be 18/(-24) + (-3)/(-4) + q. Let s = n - 14. Solve 0 = -6*r + r - s for r.
-2
Let z be -7 - (2 + -9 + -11). Suppose 8 = 5*j + 3*a, 15*j - 5*a + 1 = z*j. Solve j + 5 = 6*w for w.
1
Let x(m) = 21*m + 28. Let f be x(-15). Let k = f + 294. Solve -c + 3 = k for c.
-4
Suppose -11 = -3*x + 1. Suppose 2*d = -p + 395, -3*d + 8*d - 3*p - 982 = 0. Let h = 200 - d. Solve h*q - x = q for q.
2
Suppose -3*z + 4*f - 16 = 0, -17 = 4*z - 3*f + 2*f. Let a be (((-16)/z + -4)/2)/(-2). Suppose -24 = 5*h - 7*h. Solve a*i + 3*i = h for i.
4
Let l = 55 + -42. Suppose 0 = 4*a - f - 25, -2*a = a + 5*f - l. Let x = -58 + 58. Solve -q + a*q - 5 = x for q.
1
Let x be 4/(-14) - (-60)/14. Suppose -173*r + 10*r + 429 - 103 = 0. Solve r*i = x - 2 for i.
1
Let b(z) = 3*z**2 - 13. Let a(d) = -d. Let t be a(-5). Let x be b(t). Let j = x + -47. Solve -4*q + j = q for q.
3
Let y(g) = g**3 + 3*g**2 + g + 5. Let m(z) be the third derivative of -z**4/6 - z**3/2 + 14*z**2. Let n be m(0). Let j be y(n). Solve -7*b - 20 = -j*b for b.
-4
Suppose -934*l = -927*l + 3766. Let o = 547 + l. Solve -10 = -r - o for r.
1
Let z(o) = 62 - o + o**2 - 3*o - 80. Let b be z(7). Suppose -2*h = b*h, -3*w = -3*h - 21. Solve 0 = -w*i + 2*i - 10 for i.
-2
Let n(y) = 355*y - 5897. Let w be n(17). Solve -12*l - w = -102 for l.
-3
Let z = 2360 - 2328. Solve 109 = z*f - 51 for f.
5
Let w be (-9)/15 + (-193776)/(-660). Solve 297 = h + w for h.
4
Let h(z) = -z**3 + 10*z + 8. Suppose -184 = 4*d + 4*o, 4*d + 7*o = 2*o - 182. Let i = 45 + d. Let u be h(i). Solve u = 4*f - 3*f for f.
5
Suppose -2*z - 2*z = 3*y + 2001, 2*y = -z - 1339. Let s = -670 - y. Solve -2*j = -s - 3 for j.
2
Suppose -3*b + 12 = 3*y - 3, 4*y + 2*b = 10. Let j be y + 364/24 + (-10)/60. Solve -j = -h + 6*h for h.
-3
Let w = 650 - 635. Solve 0 = w*u + 16*u - 31 for u.
1
Let k be (-6)/9 + 7348/6. Suppose 8*r - 1288 = -k. Solve -10*t = -r*t + 2 for t.
-1
Let w(p) = 2*p**2 - 3*p**2 + 37 + 23 - 13 + 4*p. Let n be w(8). Solve 18*d = 13*d - n for d.
-3
Suppose 3*q + 25 + 4 = 2*m, -120 = -5*m - 2*q. Suppose -2*s = -75*s + 1679. Solve -s*u + m*u = 2 for u.
-2
Let g(n) = -17 + 3 + 5*n - 4*n - n**2 - 10*n. Let i be g(-5). Solve v = -v + i for v.
3
Let h(s) = -19*s + 111. Let q be h(6). Let x be 6*(q + 261/54). Solve -3*f + 11 = x for f.
0
Let u = -479 + 519. Suppose -10 = 2*n, 5*z - 4*n + u = 100. Solve -3*w + 20 = -z*w for w.
-4
Let o = -11091 + 11207. Solve -26*r + o = 3*r for r.
4
Suppose 731 = 173*z - 1864. Solve 32*u = 35*u + z for u.
-5
Suppose 9*b = 10*b - 3. Let m(a) = -50 - 4*a + b*a - 8*a - a. Let x be m(-7). Solve 0 = 4*j + j - x for j.
4
Let r = -74 + 86. Let v be (1 + (5 - 12))/(r/(-8)). Solve 1 = 3*l + v for l.
-1
Suppose -115*x + 16 = -111*x. Suppose -1 = i - b - 3, 2*i - b = x. Solve -6*j = -i*j - 12 for j.
3
Let c(l) = -l**3 + 16*l**2 - 43*l - 37. Let s be c(5). Solve -s*w + 14*w = 36 for w.
-4
Let b(d) = -d**2 + 25*d - 5. Let j be b(23). Let n = j - 39. Solve 0 = n*m - 5*m + 9 for m.
3
Let v be (24/52)/(36/624). Solve -38*y - 138 = v*y for y.
-3
Let c = -13 - -21. Let x be 6/5 - 1 - 28/(-10). Let w = c - x. Solve 6*k = w*k for k.
0
Suppose 29*p + 13 = 30*p. Suppose s + 12 - p = 0. Solve 0 = 3*t + s - 7 for t.
2
Let h be 87/(-5 - (-56)/7). Let p(u) = u**3 - 8*u**2 + 2*u + 8. Let i be p(8). Let j = h - i. Solve 2*c - 15 = -j for c.
5
Let x(n) = -4*n**2 + 22*n + 2. Let q be x(7). Let r be 1 + ((-4)/(-14) - q/7). Let p be (r/14)/(1/(-60)*-2). Solve 7*h - 4*h = -p for h.
-5
Suppose -4*g + 115 = 19*g. Suppose -c + 110 = 3*v, c + 70 = 2*v + g*c. Solve 89 - v = 13*h for h.
4
Suppose -11958 = 14*x - 772. Let u = x + 809. Solve i + u = 11*i for i.
1
Let z be 65 + (-300)/25 - (-1 - 2)/3. Solve -32*j + z = 278 for j.
-7
Suppose -2*y + 1 = -2*i - 45, -y - 5*i = -41. Suppose y*c = 29*c - 15. Let o = -3 + c. Solve v + o*v - 3 = 0 for v.
1
Let q(t) = -4*t + 26. Let r be q(5). Suppose r*u - 436 = 2*u. Let d = u + -89. Solve -9*g + d = -5*g for g.
5
Let o(t) = 677*t + 746. Let c be o(1). Solve -1408*k + 105 = -c*k for k.
-7
Let o(l) be the first derivative of l**4/2 + 7*l**3/3 + 3*l**2 + 4*l - 33. Let z be o(-3). Let x(v) = v**2 + 3*v + 9. Let b be x(z). Solve 5*r - 1 = b for r.
4
Let y be -1 + 194 + (-1 - -2). Suppose 0 = 5*f - a - 417, 4*f - 3*a - y - 144 = 0. Solve -2*g + f = 79 for g.
2
Let v(m) = -32 + 71 - 26 - m. Let p be v(3). Solve 6*l - p*l - 12 = 0 for l.
-3
Let o(m) = 2*m**2 - 8*m - 1. Let u(t) = t - 6. Let f(q) = -q + 7. Let p(a) = -5*f(a) - 6*u(a). Let s(k) = o(k) - 6*p(k). Let l be s(3). Solve 0*j - l = j for j.
-5
Suppose 460*l = 108*l + 3520. Solve 0 = -l*a + 453 - 533 for a.
-8
Suppose 3*n - 9 = -3*x, n + 65*x - 61*x = -9. Solve -37 = -n*b - 23 for b.
2
Let s(o) = 10*o**2 + o - 7. Let f be s(-3). Suppose -5*j + f - 80 = 0. Suppose -5*w = 2*l - 9, -3*w - l + 0*l = -6. Solve 2*h - w*h + 4 = j for h.
4
Let i = -6943 - -6981. Solve i*g - 46 = -8*g for g.
1
Let s(k) = k**2 - 128*k - 379. Let p be s(-3). Solve -32