for o.
-2
Suppose 0 = -4*t + 2*w + 162, 0 = 4*t + w - 105 - 66. Suppose k + 22 = t. Solve 3*f + k = 8*f for f.
4
Let r be 5852/18 + 211/(-1899). Solve 0 = -44*h - 21*h + r for h.
5
Suppose 85*a + 7*a - 9137 = -673. Solve -10*w + a = 36*w for w.
2
Let n = 3163 - 3143. Solve -55 = -n*z + 5 for z.
3
Suppose -4*f - 3 = 9, 2*x + 3*f = 31. Let j(k) = k**3 + 7*k**2 + 5*k - 6. Let i be j(-6). Suppose -5*b - 10 = i, b - 5 + 3 = -2*u. Solve 7*s - x = u*s for s.
4
Suppose -4*d + 3*g + 539 + 22 = 0, 0 = 5*d - 4*g - 701. Solve -d*a - 10 = -139*a for a.
-5
Suppose -515*p + 51 = -512*p. Solve -32 - 19 = -p*a for a.
3
Let s be 1720/6 + 104/(-39). Solve -278*v + 24 = -s*v for v.
-4
Let s(g) = g**3 - 9*g**2 + 13*g - 20. Suppose 5*c = -j + 14, 5*j - c - 7 - 37 = 0. Let l be s(j). Let y = l - 92. Solve y*v = 3*v for v.
0
Suppose -2*n + 12 = -n + 4*y, -2*y + 42 = 5*n. Let b be (1 + (2 - 4))/(-1). Let q be n/b*(-4)/(-16). Solve 1 = q*w + 3 for w.
-1
Suppose y + 30 = 7*y. Suppose z - 1 = y. Suppose -12*n = -z*n. Solve n = 4*g + 6 - 2 for g.
-1
Let z be (11 + 0)*(-26 + 28). Suppose -13*r + 4 = -z. Suppose 2*n - 10 = -p, 3*n = 5*p - n + 20. Solve p*l = -r*l + 4 for l.
2
Suppose 2*p + 3*o + 215 = 0, 0 = p + 5*o + 52 + 38. Let n = p + 118. Suppose -3*t - s + 14 = 0, -5*t + n*s - 12 = -4*t. Solve -3*m + t = -3 for m.
2
Let w = -90 - -92. Suppose 2*s + 0*s = w*q, -2*q - 5*s = 0. Solve 0 = -3*y - q*y + 15 for y.
5
Suppose 5*v - 94 = 2*l - 303, -2*v - 14 = 0. Solve 88 = -l*n + 98*n for n.
8
Suppose -15*v = -2*m - 10*v - 565, 3*m + 842 = 2*v. Let p be ((-2)/(-5))/((-14)/m). Solve -3*t + p*t + 10 = 0 for t.
-2
Suppose d - 1 = -y, y + 2*d - 3*d + 3 = 0. Let g be ((-1)/y)/(((-25)/(-35))/5). Solve w + 2 = g for w.
5
Let c = 43963 - 43846. Solve -98*q + 152 = -c*q for q.
-8
Suppose 136 + 139 = -5*l. Suppose 3*s + 57 = 4*s - k, -5*k = -s + 53. Let c = s + l. Solve c*d - 15 = -0*d for d.
5
Let a = -204 + 372. Suppose 27*x - 15*x - a = 0. Solve 2*c - 12 = -x for c.
-1
Let f = 361 + -310. Solve 87 = -6*s + f for s.
-6
Suppose 3*r - 170 - 63 = -5*w, 0 = -4*r - 16. Solve -43 = 2*f - w for f.
3
Suppose 3*s + 1 = 31. Let j(w) = w**2 - 49*w - 267. Let v be j(-5). Suppose -b - 2*x + 0*x = s, -25 = -v*b + 5*x. Solve b = 2*a + a + 3 for a.
-1
Let i = -364 - -354. Let c be (-4)/((-11)/(-11) - (-14)/i). Solve -21 = -c*l + 3*l for l.
3
Let q(h) = -39 + 20 + 0 - 100*h + 103*h. Suppose -5*g + 39 = 4. Let c be q(g). Solve 0 = -3*w + c*w - 3 for w.
-3
Suppose -578 = -h - 16*h. Suppose 64 = -h*m + 336. Solve 10 = -t + m for t.
-2
Suppose 4*w - 165*d + 161*d - 104 = 0, -4*w = -2*d - 102. Solve 50 = w*j - 0*j for j.
2
Let c be 63/27 - 4/(-6). Suppose -4*v - 33 = c*f - 14, v + 5*f = 8. Let u = v - -10. Solve u = d + 2*d for d.
1
Let t(y) be the first derivative of y**3 - 9*y**2/2 - 9*y - 13. Let f be t(6). Suppose l - v - f = -5*v, -3*l = -5*v - 50. Solve -2*q = 3*q + l for q.
-5
Suppose 13*g - 54*g + 1722 = 0. Suppose -8*y = -y - g. Solve -4*v = -y*v + 6 for v.
3
Suppose w - 11*w = 820. Let v = 90 + w. Solve v*m + 15 = 3*m for m.
-3
Let t(b) = 5*b - 41. Let x be t(10). Let p = 242 + -227. Solve -p - x = 8*j for j.
-3
Suppose 3*h - 202 = r, -h + 3*h + 3*r - 131 = 0. Suppose 5*q = 5*x - 0*q + 205, -q = 2*x + h. Let b be 3/(x/(-8) + -3). Solve -b - 3 = -5*m for m.
1
Suppose 480*v + n = 484*v - 13, -5*v = -2*n - 20. Solve -279 = v*m - 271 for m.
-4
Suppose 5*s + 5*p - 153 + 48 = 0, -p = -3*s + 59. Solve m + 7*m = -s*m for m.
0
Suppose 0 = -5*c - 4*q + 32, -7 + 4 = -q. Solve 11 + c = 15*w for w.
1
Let j(a) = a - 1. Let k be j(1). Suppose k = -0*f + 3*f - 660. Suppose 0 = -f*m + 222*m. Solve 4 = -m*b + 2*b for b.
2
Suppose -2*k = -3*l - 0 - 12, -5*l + 10 = 0. Suppose 2*u = -d + k, 14*u - 5 = 9*u + d. Solve 7*i - 10 = u*i for i.
2
Suppose -5*p + 5*k = -105, 7*p - 76 = 3*p - 4*k. Solve 13*y = -7*y - p for y.
-1
Suppose 10 = 13*k - 55. Suppose -4*a + k*w = 0, -8*w = -a - 6*w. Solve 0 = -3*z - a*z for z.
0
Suppose 4*p = -0*z + 2*z + 386, -3*z + 114 = p. Suppose 60*t = 71*t - p. Solve t + 5 = -7*y for y.
-2
Suppose -3*g + h = -1940, 5*g - 835*h = -840*h + 3220. Solve -6*i - g = -676 for i.
5
Suppose -161 = -12834*r + 12811*r. Solve -8*f = 25 + r for f.
-4
Let v(d) = -5*d**3 - d**2 - 3*d - 1. Let f be (-14)/18 - 6/27. Let z be v(f). Let c be z/24 + (-22)/(-8). Solve c = -l + 2 for l.
-1
Suppose -3*k = -3*k + 5*k. Suppose k*d + 9 = -3*t - d, -6 = 2*d. Let i be ((-7 - -5) + -12)/(t*1). Solve -i*q = -2*q + 25 for q.
-5
Suppose 21*z - 331 = -289*z + 1219. Let m be 0/(4 - 2 - 4). Solve m = -z*p - 7 - 3 for p.
-2
Suppose 2*x = 2*g + 132, 3*x = 2*g + 81 + 118. Solve 0 = -3*r - x + 61 for r.
-2
Let r(w) = 5*w + 229. Let j be r(-17). Solve 0 = -39*a - j - 12 for a.
-4
Suppose 9*o + 9 - 8 = 19. Solve 11 = o*p + 3 for p.
4
Let j be -14*2/28*-10. Solve j*k - 48 + 138 = 0 for k.
-9
Suppose -287*c - 203*c + 17204 = -116*c. Solve 0 = 95*z - 118*z - c for z.
-2
Suppose 934 = 27*z + 151. Solve z*x = 33*x - 4 for x.
1
Let f be (6 + 39 + -69)*1/(-4). Let o be 40/18 + (-2)/9. Suppose 40 = o*p - 0*p. Solve 2*r - f*r + p = 0 for r.
5
Let z = -1048 - -1056. Solve 53*t = 45*t - z for t.
-1
Suppose 2*n - p + 0*p + 2 = 0, -3*p + 6 = 0. Let q be ((0 - n)*-1)/2. Let g = -31828 - -31830. Solve q = 4*a - g*a for a.
0
Suppose -276 - 484 = -c - 3*p, 0 = c + p - 762. Suppose 4*q = c - 711. Let x = 0 - -1. Solve q = 3*b + x for b.
4
Let c(h) = -18*h + 6*h + 22 + 17*h**2 - 16*h**2 + 1. Let d be c(10). Solve 4 = d*j - j for j.
2
Let g(m) be the second derivative of -m**3/3 + 3*m**2 + 11*m. Let s be g(2). Suppose 2*x + 5*u - 29 = 0, -x = 5*u - s - 25. Solve -2*c + 16 = x*c for c.
4
Let b be (-208)/(-520) + 2/5*4. Suppose 4*t + 8 = 3*x, 3*x - 5*x + b*t = -6. Solve -x*u - 25 + 5 = 0 for u.
-5
Let c = 250 - 240. Let z be (-35)/c*16/(-28) + 0. Solve 0 = -3*b + z*b for b.
0
Let u be 115/(-35) + 4/14. Let k = u + 6. Suppose 2*y + 10 = -4*n, k*n - n - 1 = -3*y. Solve 0 = -v - 2 - y for v.
-5
Suppose -9*j + 5 = -22. Suppose -j*t - t - 4*n = -44, 0 = -3*t + n + 49. Solve -4*d + t = -d for d.
5
Let n = -5417 + 5507. Solve -42 + n = -8*l for l.
-6
Suppose 4 = -8*k + 6*k. Let y be k/((-3)/(-24)*-2). Let x(m) = 2*m**3 - 30*m**2 + 5*m - 73. Let g be x(15). Solve -2*w + y = g*w for w.
2
Let i(k) be the first derivative of k**4/4 - 14*k**3/3 - k**2 + 30*k - 25. Let x be i(14). Solve 0*o = -x*o - 2 for o.
-1
Let w(t) = t**2 + t - 12. Let p be w(4). Suppose p = 3*j - 7. Solve -h = -j*h - 4 for h.
-1
Suppose -2*q = -6*q - 2*g + 50, 13*q - 155 = g. Suppose -4*m - 3 = -5*m. Let n be m/(-4) - q/(-16). Solve -5*l - 18 - 2 = n for l.
-4
Suppose -104 + 4 = -10*m. Suppose -5*h - m = 4*f + 7, -f = -h - 7. Solve f*z = 6 + 2 for z.
4
Suppose 101*d + 188*d + 5836 = 37337. Let f be 0*((-3)/3)/(-1). Solve f = 106*n - d*n for n.
0
Suppose -4*g + 4*p = -8, -7 = 5*g - 3*p - 21. Suppose 10 = 5*d - 7*f + 10*f, 4*d + 2*f - 8 = 0. Solve -14 = g*q - d for q.
-3
Suppose -45*f - 29*f - 32*f = -16*f. Solve 50*n - 44*n - 30 = f for n.
5
Let n(d) = 6*d**2 - 3*d + 3. Let m be n(1). Let g(k) = -k**2 + 32*k + 4. Let a be g(32). Solve -a*q = -m*q + 4 for q.
2
Let q be (8268/(-1272))/((-2)/28). Solve -29*l + q = -16*l for l.
7
Let b(u) = 213 + 2*u**2 - u**3 - 228 + u**2 + 9*u + 2*u**2. Suppose 7*q + 30 = 12*q. Let m be b(q). Solve -m*g = g - 12 for g.
3
Suppose -3*k - m = 47, -2*m = k + 2*m + 34. Let s = 2625 - 2633. Let c = s - k. Solve -3*z = c + 9 for z.
-5
Suppose -429*v + 7670 + 7774 = 0. Solve 23*a = -v*a - 0*a for a.
0
Let a be ((-9)/(-6))/(-6 - 460/(-112) - -2). Solve a*k - 22 = -8 for k.
1
Suppose -w - 2*t = -16, -4*w - t = 3*t - 56. Let l = -56 - -109. Suppose w = 5*j - l. Solve 0 = 4*r + 3 + j for r.
-4
Suppose 2*v - 5*v + 60 = 0. Let p(q) = -21*q + 42 + 4*q**2 + 66 - 3*q**2 - 86. Let x be p(v). Solve -1 - x = -3*t for t.
1
Suppose 8800 = 312*i + 232*i - 192*i. Solve -73*a + i = -68*a for a.
5
Suppose 14*b = 15*b. Suppose b = -13*g - 11 + 63. Solve -10 = m + g*m for m.
-2
Suppose 14*s + 3*g = 11*s + 15, -s + 3*g - 15 = 0. Suppose -3*m - 11*i + 8*i + 12 = s, 5*i = -2*m + 17. Solve 0 = -14*n + 13 + m for n.
1
Let r be (-580)/(-44) + 4/(-22). Let g(z) = -z**3 + 5*z**2 - 3*z + 19. Let l be g(5). Suppose 23 = l*u - r. Solve u + 6 = -3*w for w.
-5
Suppose 0 = 207*j - 227*j + 60. Let k(z) 