 z*m + 2 for m.
-1
Let j be -13*1098/(-195) + (-4)/(-5). Solve 20 = -j*h + 242 for h.
3
Let p(d) = d + 16. Suppose -52*o + 53*o + 11 = 0. Let r be p(o). Suppose 0 = -2*m + a + 23, 3*a = -a + 12. Solve -m + 3 = r*z for z.
-2
Let h = -14796 + 14863. Solve 5*y - 37 = -h for y.
-6
Let k be (-165)/(-6)*(-8)/(-10). Suppose -4*m + m - k = -5*b, 0 = -5*m + 5. Let t = -1114061 + 1114061. Solve d + t*d = b for d.
5
Let i = 14 - 10. Let l(k) = 413*k - 1239. Let v be l(3). Solve -6*x + i*x - 4 = v for x.
-2
Suppose 7 = 3*r + 16. Let p(k) = k + 5. Let o be p(r). Suppose -b + 0*f = -4*f - o, 0 = 3*b - 3*f - 15. Solve -b*x + 10 = -x for x.
2
Suppose -1348 - 2122 = -2*a + 4*c, -3*a + 5*c + 5197 = 0. Solve a - 1807 = 11*u for u.
-8
Suppose 48*y - 8 - 1720 = 0. Solve 0 = -y*o + 14*o for o.
0
Suppose 13*g - 19*g = -216. Let v be g + -26 - (1 - -9). Suppose 0 = y - 4*y. Solve y = r - v*r for r.
0
Let k = 645 + -296. Let c = k + -344. Solve 7*g - 2 = c*g for g.
1
Suppose -48 = -2*d - 3*r - 33, -4*r = -20. Solve -127*s + 133*s - 30 = d for s.
5
Let l be 687/9 - (-10)/(-30). Let z = l - 52. Solve z = 2*j + 26 for j.
-1
Suppose 154 = 3*y - 5*t, y = -2*y + t + 170. Let x = -59 + y. Let b be -22 + 21 + (x - -8). Solve -a - 11 = -b for a.
-5
Let b be (-22)/(-10) - (-2015486)/1445. Solve 84 = b*v - 1385*v for v.
7
Let d(l) be the first derivative of -l**4/4 - 17*l**3/3 - 17*l**2/2 - 4*l - 3. Let z be d(-16). Suppose 0 = z*p - 13*p + 4. Solve p*k + 0 = -4 for k.
-1
Let v be 0/((1 + -2)/(23 + -22)). Solve v = -69*b + 815 - 332 for b.
7
Let s = -14 + 17. Let m(n) = n**2 - n - 6. Let q be m(3). Suppose 8*f - 6*f - 4 = q. Solve j - f = s*j for j.
-1
Let u(w) be the first derivative of -w**3/3 + 7*w**2 + 32*w - 11. Suppose -7 = -4*m + 57. Let f be u(m). Solve f = -c - 0*c - 4 for c.
-4
Suppose 5*w + 133 = t + t, 4*t + 109 = -5*w. Let p(h) = -2*h - 57. Let y be p(w). Let n be (18 - 24)*y/3. Solve -5*s = 39 - n for s.
-5
Let o be (-89)/(7 - (-116)/(-16)). Let y = -336 + o. Solve -3*z - z = y for z.
-5
Let l = -561 - -573. Solve l = 162*c - 164*c for c.
-6
Suppose -63 = 12*j - 15. Let x(f) = -f**3 + f**2 + 17*f + 4. Let t be x(j). Solve -21*m + t*m + 20 = 0 for m.
4
Suppose 0 = g - 26*g + 11465 - 1240. Solve g*n = 423*n for n.
0
Suppose 0 = 4*f, 2*b - 4*f - 18 = -2*f. Solve -5 + b = -4*v for v.
-1
Let b(d) = d**2 - 2*d - 1. Let j be b(-5). Let w be (2/4)/((-3)/(3 + -225)). Let h = w - j. Solve 2*a + h*a = 0 for a.
0
Let g be 4/158 + 135216/1264. Solve -792 = -8*d + g*d for d.
-8
Let f(m) = -8*m - 6. Let n = 2 - 14. Let q be (4/(16/n))/3. Let z be f(q). Solve 4*u = z*u - 4 for u.
-2
Let d = 28399 - 28374. Solve 75*j - d = -175 for j.
-2
Let q = 23 + -87. Let h = q - -78. Suppose 0*m = 7*m - h. Solve -4*k + 10 = -m*k for k.
5
Suppose 4*s - 20 = -d, s - 3*d - 5 = -6*d. Suppose -2*v - 15 = -3*w + 15, 8 = -v + s*w. Let j = v - -23. Solve 0 = p - 2*p + j for p.
5
Let o = 142 + -111. Let y be (-28 + o)/(1*3). Solve 5 = -2*g + y for g.
-2
Let q be ((-4)/(-8))/((-1)/8). Let t(i) = -i**3 - 5*i**2 - 7*i - 2. Let w be t(q). Let z be 28/w - 20/25. Solve -n - 2 = z for n.
-4
Let o be -4 + (-20)/5 + 87 + -2. Solve 0 = -13*b + 38 - o for b.
-3
Let u(s) = -s**3 + 4*s**2 - 2*s + 7. Let a be u(3). Suppose 0 = a*b + 6*b - 48. Solve 0 = 2*j + b + 1 for j.
-2
Suppose 5*m - 30 = 0, 2*m - m = 12*i + 6. Solve i = 2*a - 40*a - 304 for a.
-8
Suppose 56*r - 2112 = 16*r - 24*r. Solve -99 = -44*w + r for w.
3
Let l(x) = x**3 - 5*x**2 + 7*x + 2. Let t be l(3). Suppose 2*z + 2 = 0, 0 = -7*i + 3*i + t*z + 229. Solve -i = -5*v + 19*v for v.
-4
Suppose -4*u + 4*x + 10 - 6 = 0, -2*u - 2 = 2*x. Suppose 5*l - 13*l = u. Solve -p + 8*p + 7 = l for p.
-1
Suppose -2*d + 0*d = v - 4, 0 = 4*d + 3*v - 12. Suppose d = -5*t + 3*h + 25, 3*t + 5*h + 16 = -3. Solve -3 = 3*f - t*f for f.
-3
Let y(d) = -44*d**2 + 274*d - 21. Let f be y(6). Solve f*i = 41*i + 4 for i.
-2
Suppose 86 + 34 = 9*r + 21. Solve 39 + r = -25*t for t.
-2
Let d be 7/3 + (-4)/(-6). Suppose -10*m - 4*z + 216 = -8*m, -4 = -z. Let t be (10 + m/(-10))/((-2)/1). Solve t = -d*y - 14 + 5 for y.
-3
Suppose -42*k = -48*k + 42. Let d(w) = 8*w**2 - 11*w**2 + 4*w**2 + 5. Let h be d(0). Solve -2*u + h - k = 0 for u.
-1
Suppose 0 = 51*z - 385 - 788. Solve z*h = -15*h - 228 for h.
-6
Let z = 5 - -2. Suppose z*t - 10 = 2*t. Let x(y) = y**2 - 66*y - 1410. Let f be x(-17). Solve t*v - 3 = f for v.
2
Suppose -10*v = -5*v + 110. Let d(f) = -f**3 - 22*f**2 + f + 27. Let x be d(v). Suppose g + b = 2*g - 5, -5*g - x*b + 5 = 0. Solve -2*o - g*o - 20 = 0 for o.
-4
Let y be ((-33)/9)/(5/(-30)). Suppose 0 = -8*z - y - 50. Let x be z*1/(-6)*(-2 - -4). Solve -2 - 1 = x*w for w.
-1
Let j be (17 - 6) + -7 - 5. Let h be (158/4 - j)/(1/2). Solve 0 = -2*n - 79 + h for n.
1
Suppose 3*c - 77 = -5*w, 2*c + 5*w - 3*w - 50 = 0. Let u be ((-3120)/75)/(-13)*30/4. Let k = c - u. Solve b = -k - 1 for b.
-1
Suppose -b + 6*b = 0, 0 = -4*g + 2*b - 76. Let r = 23 + g. Suppose 0 = -c - 3*c + 2*n + 2, c + r*n = 23. Solve -c + 19 = 4*h for h.
4
Let q be 6420/72 - (2 + 34/(-12)). Solve -q*t + 67*t = 138 for t.
-6
Suppose 4*j = -18*y + 23*y - 160, 4*y = -5*j + 169. Solve 0 = 232*k - 226*k + y for k.
-6
Let m(l) = l**3 - 5*l**2 - l + 8. Let k be m(5). Let r be -1 + (-7)/(7/(-16)) + -1. Let v = r - k. Solve 1 = -2*q + v for q.
5
Let d(g) = -75*g - 793. Let z be d(-13). Solve 0 = -18*r - 56 + z for r.
7
Let x = -5689 + 5692. Solve -x*a + 1478 - 1499 = 0 for a.
-7
Let r be 23 - 23 - (0 + (0 - 42)). Suppose 3*x - 2*c = 22, -6*c + 3*c = 3*x - r. Solve i - x = -i for i.
5
Let h = -7712 + 7743. Solve -102 = h*i - 14*i for i.
-6
Let z(x) = x**3 + 3*x**2 - 2*x - 3. Let s be z(-3). Suppose 0 = -5*d - 2*n + 11, -n = s*d - d - 4. Let q be (-28)/896*-16*(2 + -2). Solve d*t = -q*t for t.
0
Let t = 6421 + -6418. Solve 132 = -t*b + 114 for b.
-6
Suppose -a = -5*v + 556, -5*v = -2*v - a - 334. Let t = v - 109. Suppose -t*n - 4*q = 10, -3*q = 3*n + n. Solve -n = 4*z + 1 for z.
-1
Let x(j) = -207*j + 1669. Let n be x(8). Suppose -4*d + 4 = -36. Solve 3*f + d = n for f.
1
Let y = -4781 - -4789. Solve y*z + 63 = 31 for z.
-4
Let k be ((-1575)/20)/(-9) + 7/28. Let r be (-8)/24 + 66/k. Solve -r - 1 = -2*y for y.
4
Let i be ((-1640)/(-574))/((-10)/(-28)). Suppose 2*c - 24 + 20 = 0. Solve -c = -6*o + i*o for o.
-1
Suppose -2*s + d + 21 = 2*d, 0 = -d - 3. Let p(f) = 4*f**3 - 4*f**2 - 3*f + 3. Let v be p(2). Solve -5*k + s = -v for k.
5
Suppose 1246 = 5*u + 4*n, -n - 503 = -2*u + 2*n. Let c = 255 - u. Solve -t - c = -3 for t.
-2
Suppose -2*p - 4*i = 16, 0 = -2*i + 3 - 11. Suppose 239*j - 234*j - 20 = p. Solve j*s = s - 9 for s.
-3
Suppose 0 = -9*z + 50 - 23. Suppose -z*v + 81 - 21 = 0. Solve -v = -4*r - 0 for r.
5
Let s(k) = k**2 + 38*k - 480. Let u be s(-48). Solve u = -16*h + 3 - 99 for h.
-6
Let q(o) = -3*o**2 + 86*o - 4. Let m be q(28). Solve 87*f + m = -35 for f.
-1
Suppose 3*q - 78 = -0. Suppose 5*g - 3*g - 4*p = -22, 3*g + p = -q. Let t(s) = s**3 + 7*s**2 - 19*s - 3. Let r be t(g). Solve r*y = 4*y for y.
0
Let d(a) = 9*a - 35. Let j be d(-5). Let y = 85 + j. Suppose -y*i - 4 = 3*r, -2*r + i - 2 + 8 = 0. Solve 6*q = r*q for q.
0
Let m be (-19)/3*(32/(-8) + 1). Let g be (-28)/(-6) + 184/(-24) + 8. Solve 6 = g*h - m for h.
5
Suppose -r - 3*w = 12, 3*r - 13 + 1 = 3*w. Suppose 5*j = 5*n - 10, r = -n + 5*n + 3*j - 8. Solve 2*p = p + n for p.
2
Let t(b) = -12*b**3 - 5*b**2 + 2*b. Let m be t(2). Let p = m + 123. Solve 7*f - p*f = -20 for f.
5
Let c(j) = 7*j**2 - j - 7. Let h(m) = -1. Let s(d) = 3*c(d) - 21*h(d). Let o be s(2). Suppose -73*t - 5 = -o*t. Solve 2*p - p + t = 0 for p.
-1
Let k = 67 + -11. Suppose 62*g - 18 = k*g. Suppose -2*b = 3*w + 2, -4*w = -0*w - 5*b - 5. Solve w*z - 3 = g*z for z.
-1
Let o = 36321 - 35940. Solve -o*x + 60 = -371*x for x.
6
Let o(y) = 102*y**2 + y - 1. Let b be o(1). Let u = 112 - b. Solve -u*l + 2 = -8*l for l.
1
Let r(z) = 3*z**2 - 16*z + 101. Let a be r(9). Let u = -197 + a. Solve -9 - 6 = -u*n for n.
5
Suppose -k - 3*k - 68 = 0. Suppose 3*x = -3, 4*j - j = -x + 53. Let d = j + k. Solve 0*t - t = d for t.
-1
Let h = 11418 - 11319. Solve -111*n - 36 = -h*n for n.
-3
Let p = 127684 + -127684. Let t(b) = -13*b**2 + 9*b + 6. Let r(x) = 9*x**2 - 6*x - 4. Let s(a) = -7*r(a) - 5*t(a). Let m be s(-2). Sol