 + 7*o + 16 = t for o.
-4
Suppose 0 = -0*w - 5*w - 15. Let l be w/2*(-2 + (-4)/6). Let u = -4 - -5. Solve -u + l = -r for r.
-3
Suppose 0 = -4*q + 13 - 1. Suppose -q*i + 3 + 12 = 0. Let n(a) = -a + 5. Let k be n(i). Solve 0 = 2*m + 6 - k for m.
-3
Let s = 659 + -490. Let m = 174 - s. Solve 2*n = -m - 5 for n.
-5
Let w(o) = o**3 + 12*o**2 + 17*o + 70. Let r be (-4)/40 - (-2071)/(-190). Let a be w(r). Solve -2*l + 4 = -a for l.
4
Let k(y) = -3*y + 7. Let p be k(-11). Suppose -14*c = -19*c + p. Suppose 0*i + c = 2*i. Solve -2*z + z = -i for z.
4
Let o(x) = x**3 + 7*x**2 - x - 5. Let a = 82 - 89. Let f be o(a). Suppose 5*y - 2*y - 3*m = 12, -8 = -y + f*m. Solve y = k - 3*k for k.
0
Let a(k) = 4*k**2 + 34*k + 62. Let d be a(-7). Solve 11*h = -d*h - 31 for h.
-1
Suppose 0 = 2*f + b + b - 278, -704 = -5*f - 2*b. Let g = -113 + f. Suppose h = 2*v - 4*h - 3, 3*h = -v + g. Solve 2*k - 4 + v = 0 for k.
-5
Suppose -5*i + f = -2708, 8*i + 2197 - 6540 = 5*f. Solve 533 = -2*n + i for n.
4
Suppose -81*z + 1201 + 257 = 0. Solve z*s = 62*s + 44 for s.
-1
Let z be ((-330)/(-308) - 24/16)/(1/(-161)). Solve 91 = z*r - 116 for r.
3
Let r(j) = j - 1. Let v(d) be the second derivative of d**3/6 + d**2/2 - 12*d. Let o(k) = -r(k) - v(k). Let g be o(-3). Solve -g*x = -x for x.
0
Suppose -78*v = 366*v. Solve v = 42*g - 32*g + 30 for g.
-3
Suppose 3*x = -5*i + 177, 57*x - 61*x - 3*i = -225. Solve x*f - 61*f + 21 = 0 for f.
3
Let q be ((-7)/(105/(-18)))/(1/(-40)). Let l = -48 - q. Let h be 22/10 + 5/(-25). Solve m + h*m - 6 = l for m.
2
Let s = -165 + 127. Let r = s - -38. Solve r = o - 4 + 5 for o.
-1
Let r = 156 + -152. Suppose -4*i - 4*i = r*i. Solve 9*x - 4*x + 15 = i for x.
-3
Let t be 660/55*2/8. Suppose 2*b = 4*o + o - 145, 77 = 2*o + t*b. Solve -a + 26 - o = 0 for a.
-5
Suppose 77*p - 180*p + 14550 = -16659. Solve -294*q + p*q = 54 for q.
6
Suppose 19*j - 99 = -23. Suppose -3*r + a + 10 = 0, 0 = j*r - 5*a + 3*a - 10. Solve 2*y + 3 = r for y.
1
Suppose 0 = -v - i + 317, -5*v = -5*i - 1115 - 490. Solve 328*l = v*l + 9 for l.
1
Suppose 5*m + 205 = -2*w + 278, -w + 89 = 6*m. Solve 0 = m*s + 117 - 147 for s.
2
Let i = 5748 + -5738. Solve 22*v = 122 + i for v.
6
Suppose 0 = -p + 1 - 7. Suppose -8*l + 6 = -2*o - 9*l, -5*l - 4 = -3*o. Let n be (o + (-9 - p))*8/(-10). Solve 0 = n*t + t - 5 for t.
1
Let j(p) = 2*p - 3. Let d be j(4). Suppose 10181 + 19132 + 12072 + 1455 = 1428*q. Solve 0 = d*a + 5 - q for a.
5
Let r be (-463)/14*-4 - 44/154. Suppose -r + 96 = -6*a. Let y = -9 - -12. Solve 0 = -a*l + 3*l + y for l.
1
Let l(z) = 2*z**3 - 5*z**2 - 2*z + 7. Let n(u) = -4*u**3 + 9*u**2 + 2*u - 14. Let k(h) = 5*l(h) + 3*n(h). Let f be k(-2). Solve 0*x - f = -5*x for x.
5
Let x = -7 + 12. Let f be ((1 - (-4 + 3)) + -2)*(-23)/138. Solve f = -2*u - 3 - x for u.
-4
Suppose -2*j + 8*j = 456. Let b = j + -37. Suppose b = f + 37. Solve f = -0*m + m for m.
2
Let j(s) = s**3 - 7*s**2 + 7*s - 6. Let b be j(6). Let z(c) = -8 - 3 - 4 + 8 + 8*c**2. Let l be z(-2). Solve 4*w + w - l = b for w.
5
Let u be 8/(-10) - (-456)/570. Solve u = 161*k - 167*k - 24 for k.
-4
Suppose 2*m + 3*k - 198 = 0, k = -5*m - 172 + 680. Let q = m + -96. Solve -p + 15 = -q*p for p.
-3
Suppose -5*f - 4*d - 5110 + 950 = 0, 4*f + 3328 = 4*d. Let p be f/(-60) + -6 + (-644)/(-105). Solve -34 + p = -4*t for t.
5
Let r be 9*14/630*0/1. Let a be -1 + (-1 - (-6 - -3)). Let w be ((a - 1) + 0)/(-1). Solve 3*m + r*m - 12 = w for m.
4
Suppose -u + 2*x - 2 = -4, 3*x = -9. Let i be 6*(-2)/(-48) - 19/u. Let o(c) = -c + 9. Let l be o(-4). Solve 4*d - i + l = 0 for d.
-2
Let f be 40 - 6/(7 + -1). Suppose 10*v + f = 89. Solve v*j = -3 - 22 for j.
-5
Let y be 0 + 668/9 - (-98)/(-441). Let o = 39 + -24. Suppose -o*h + y = -1. Solve h*r + 0*r = 0 for r.
0
Let j(b) = 14*b**2 + 39*b + 74. Let h be j(-2). Solve -9*o = 25 - h for o.
3
Suppose -5*h + 4 + 16 = 0. Suppose 40 = h*r - 4*y, 4*y = 2*r - 0*y - 30. Suppose 2*d = 3*u - 3, 5*u - d + r = 17. Solve -u = 4*p + 1 for p.
-1
Suppose -6*w + 1318 - 70 = 0. Let p = w + -206. Solve 4*g = p*g + 8 for g.
4
Let x(j) = -26*j - 702. Let y be x(-29). Solve 19*b - 24 - y = 0 for b.
4
Suppose i - 1 = 0, 3*i - 21 = -5*a + 2*a. Let c(s) = s**3 + 8*s**2 - 20*s + 7. Let o be c(-10). Suppose -o*z + 19 = -23. Solve 3*h - a*h = -z for h.
2
Suppose 10*j = 6*j + 24, 5*j + 9 = 3*h. Solve p - h = -8 for p.
5
Suppose 0 = -w - 4*w. Let x(i) = -6*i + 45. Let m(g) = -g + 1. Let s(o) = 20*m(o) - 5*x(o). Let y be s(21). Solve w = -y*k + 25 for k.
5
Let y(n) = 9*n + 19. Suppose -147 = -39*q + 9. Let g be y(q). Solve 6*v - g = -5*v for v.
5
Let t(x) = 35*x + 2492. Let w be t(-71). Solve w - 17 = -2*y for y.
5
Let v = 2541 - 2532. Solve -v*k + 26*k - 34 = 0 for k.
2
Let p be (-430)/(-50) + 6/(-10). Suppose 8 = -4*r, 0 = -0*h + h - 4*r - 14. Solve h*q = p*q - 8 for q.
4
Let r(w) = -2*w**2 + 8*w + 34. Let g = 455 - 449. Let p be r(g). Solve -p*i - 20 = 30 for i.
-5
Let n be (0/(8/120 + (-32)/30))/(-2). Solve n = 146*l - 28*l + 1062 for l.
-9
Let f(c) = 11*c**2 - 37*c - 62. Let j be f(7). Solve 206 = 12*t + j for t.
-1
Let q be ((-54)/81)/((-1)/3*-2). Let o(s) = 4*s**2 + 3*s + 4. Let r be o(q). Solve -h + 2*h - r = 0 for h.
5
Let y be (-4)/(-4 + 192/51). Suppose -2*q = -3*s - y, -q = -5*s + 3 - 22. Suppose -3*u - 30 = -105. Solve k + u = -q*k for k.
-5
Let x be 5 - (4 + 25)*-2. Suppose 5*l + x = 3*t, 0*t + 2*t - 42 = -l. Suppose -m + t = 3*p, 4*m + 9 + 3 = 4*p. Solve -a + 15 = -p*a for a.
-3
Let h = -205 + 205. Suppose h = -3*v - 65 + 71. Solve 9 = -v*w + 5 for w.
-2
Suppose -3*o = -5*l + 44, -56*l + 14 = -55*l + 2*o. Let n be 12*(-4)/(-30)*5. Let j = -3 + n. Solve -j*s - l = 5 for s.
-3
Suppose 0 = 5*o + 5*s + 23 - 13, 3*o = s + 2. Suppose o = -3*h + 2*c + 40, h + h - 2*c - 26 = 0. Solve 4*x - 22 = -h for x.
2
Suppose 4*y - 15 = 5*u - 37, 3*y = u. Suppose 0 = 5*a + 25, -3*b - 8*a = -u*a + 4. Let q(k) = -k - 3. Let l be q(-6). Solve l*r = -b*r for r.
0
Suppose 3*j - 9 = -3*l, 6*j + l = j + 15. Solve 0 = j*v + 768 - 750 for v.
-6
Suppose -222 = 210*l - 213*l. Solve 707 = 27*u + l*u for u.
7
Let p be ((-918)/(-85))/(36/15 - 2). Let l be 36/p + 64/6. Solve 8*y - l = 4*y for y.
3
Let n = 250 + -250. Let y = -68 - -76. Solve 4*d + y = -n*d for d.
-2
Let g be (-13)/((-3)/(-9)*-1). Let z = g - 30. Let d = z + -3. Solve d*u = u - 15 for u.
-3
Suppose 28*b = 6*b + 12502 - 512. Solve 0 = 6*m + 557 - b for m.
-2
Let v be 14 - ((-10)/(-6))/((-65)/(-195)). Solve 8 = v*z + 35 for z.
-3
Suppose 34 = 4*f - 5*w, 5*f + 24 = 8*f - 3*w. Let u be ((-6)/f)/((-3)/6). Solve -u*g + 11 - 7 = 0 for g.
2
Let u be 2 + 24/(-10)*105/(-14). Solve 35*o = u*o + 30 for o.
2
Let h = -272 - -280. Let l be (h/20)/(4/20). Solve -2*t = -4*t + l for t.
1
Suppose -3*r - 65*a + 66*a = -4271, -4*r - 5*a = -5663. Solve r*y = 1410*y - 36 for y.
-3
Let x be ((-120)/(-25) - (-12)/(-90))*(2 + 4). Solve -13*v - v = x for v.
-2
Let a be ((-60)/(-14))/((-1)/(-42)*3). Let c be (-1)/2*a/(3 - 6). Solve -3*n - 2*n = -c for n.
2
Suppose 4*v + 188*o - 184*o = 36, -v + 3*o + 9 = 0. Suppose -4*j + 2*j = 0. Suppose 0 = -4*z + 21 + 7. Solve j = 4*w - v - z for w.
4
Suppose -16*d - 769 + 3494 = -875. Solve -34*j - 11*j - d = 0 for j.
-5
Let o(c) = -c**2 - 3*c + 11. Let y be o(8). Let f = 79 + y. Solve 0*s = f*s for s.
0
Let v = 6 - 2. Suppose 0*s + v*s = 20. Suppose 48*g + 148 - 292 = 0. Solve s = 4*k - g for k.
2
Let l be (5 + (-100)/15)*(-18)/10. Suppose 2*r - 198 = -3*r - p, -2*p + 116 = l*r. Solve 38 = -s + r for s.
2
Suppose 48*z = 50*z - 8. Let y be z/12*15*(2 - 1). Solve -y*d - d = -2*d for d.
0
Let c(l) = -52*l + 3492. Let i be c(67). Solve -i*h = 1160 - 1176 for h.
2
Let o = -234 - -236. Suppose -2*u + 0*u - 6 = 0, -o*s - 5*u - 7 = 0. Solve 0 = 4*x + 8 + s for x.
-3
Suppose -4*g - 7 = -23. Let d be 6/9 + (g/3 - 0). Solve d*r - 1 = 3 for r.
2
Suppose 4*b + 4*f + 300 = 0, -2*b + 10 = -2*f + 140. Let x be ((b/4)/7)/((-1)/10). Solve -4*y - x = y for y.
-5
Suppose 18*t + 156 = 29*t + 28*t. Solve -24*i - t = -26*i for i.
2
Let l(o) = 2*o**2 - o + 30. Let p be l(0). Suppose -3*g + 6*g + 90 = 0. Let u = p + g. Solve u = -a + 5*a - 8 for a.
2
Let p = -267 - -267. Suppose -14*j - 5*j + 304 = p. Solve -a - 3*a = -j for a.
4
Let y(i) = -5 - 3 + 2 + 2 + 3*i. Let v be y(2). Suppose 5 = r -