 = v for o.
3
Let m(i) = i**2 - i - 6. Let r be m(3). Solve 8*t - 6*t + 10 = r for t.
-5
Suppose 115 = 5*r + 5*y, -5*y = -4*r - y + 116. Let b = r - 26. Solve 2*i = -b*i + 2 for i.
1
Let i be -94 + -3 + 9 + -2. Let u = i - -106. Solve 5*r + u = 6 for r.
-2
Let v = 15 - 27. Let n be (-8)/(-12) + v/(-9). Solve -3*f - 5 = n*f for f.
-1
Suppose 20 + 58 = 6*j. Solve -25 + j = -3*w for w.
4
Suppose 0 = -9*b + 117 + 1071. Let l = b - 132. Solve -2 = -l*h - 2*h for h.
1
Suppose 5*g = -4*d + 20, 4*g + 4*d - 16 = 6*d. Suppose 3 = -g*v + 5*v. Solve -n - 7 = -v for n.
-4
Let d(g) = 2*g**3 + 38*g**2 + 15. Let x be d(-19). Solve -48*h = -45*h + x for h.
-5
Suppose 6 = -t - 4*t - 4*l, -2*l = t + 6. Solve -w + t*w = 0 for w.
0
Suppose -2*l = -l + 2*n + 4, -l + 2 = -4*n. Let q be l/(-3) - (-10)/3. Let m be q - (2 + (-1 - 0)). Solve -m*u - 12 = -0*u for u.
-4
Let d be -72*(16/(-64))/((-2)/(-4)). Solve -d + 21 = 5*z for z.
-3
Let n(c) = c**2 + 50*c + 109. Let p be n(-48). Solve -p*m + 3*m + 30 = 0 for m.
3
Let n(c) = -8*c**3 - 20*c**2 - c - 11. Let z be n(-3). Solve 2*u - z = 9*u for u.
-4
Suppose 9*q - 16 = 5*q. Suppose 2*p + u + 4 = 3*u, u = 3*p - q. Solve -3*o = 3 + p for o.
-2
Let v be 1/(0 - -2)*-2. Let g = 24 + v. Let n = -992 - -997. Solve -2 = -n*l + g for l.
5
Let z = -663 + 691. Solve -24*i = -z*i - 4 for i.
-1
Suppose 4*w = 5*w + 2. Let i be 20 + 0 + w/1. Suppose -69*x = -106*x + 74. Solve i = -4*p - x for p.
-5
Suppose 41*b - 757 = 719. Solve b = 2*g - 11*g for g.
-4
Suppose -6*a - a + 7 = 0. Suppose 2*u + 7*v - a = 4*v, 0 = -5*u + 3*v + 13. Solve h = -0 - u for h.
-2
Suppose -17*r = -6*r - 66. Solve 0 = -4*a + 22 - r for a.
4
Suppose 5*w - 2*w - 90 = 0. Let p = w + -16. Suppose p = -3*d - 4*l, 0*d - 3*l - 19 = -2*d. Solve 4*b - d*b + 6 = 0 for b.
-3
Let w(n) = n**3 + 7*n**2 + 5*n - 4. Suppose 3*j + 24 = -j. Let r be w(j). Suppose -5 = -m + h, -r*m + h + 0*h = -5. Solve 0*k - k - 5 = m for k.
-5
Let k be 6/4 + -1 + 25/10. Let r be k*-1*2/3 + 13. Solve 5*z + r - 1 = 0 for z.
-2
Let x = -298 + 301. Solve -3*r + 3*r = -x*r for r.
0
Let b(i) = -2*i - 3. Let s be b(-2). Let q = -145 - -150. Suppose 0 = -2*o - 0*o + q*a + 26, 16 = 4*o - a. Solve -o*u + s = -5 for u.
2
Let h(o) = -o**2 - 13*o - 34. Let j be h(-4). Suppose b = 4*l - 3, -j*b - 9 = -5*l + b. Solve -4*r - 8 + 28 = l for r.
5
Let i(u) = u**3 - 16*u**2 - 13*u - 68. Let y be i(17). Solve 3*t = -y*t - 6 for t.
-2
Let a be 2/(4/(-16)*2). Let n = 7 + a. Solve 0 = -u - 0*u + n for u.
3
Let i = -25 - -109. Let o = i - 78. Solve 5*a - 9 = o for a.
3
Let s = -1259 + 1275. Solve -s*o - o = 0 for o.
0
Suppose -2*w - 20 + 14 = 0. Let g be (8/w)/(6/(-9)). Suppose -g*h + 8 = -0. Solve -4*n - h + 6 = 0 for n.
1
Let v be 3/(-12) + 5/4. Let s be 0 - (0 + v)*-2. Suppose -l = s*l. Solve -5*n + l*n = -10 for n.
2
Let h(d) = -19*d**3 - d**2 + d + 1. Suppose 2*y - 3 = 5*y. Let w be h(y). Suppose -3*x + 117 = w. Solve -5*k = x - 8 for k.
-5
Let d = 822 + -742. Solve 0 = -10*k - 10*k - d for k.
-4
Let p(o) = 46*o - 259. Let s be p(6). Solve 0 = 5*c - s - 8 for c.
5
Let y = 1 + 19. Let r be (-2)/3*6 - -7. Solve 2*m + r*m = -y for m.
-4
Let a(z) = -z + 1. Let y be a(1). Let t(l) = -l**2 + 2. Let b be t(y). Let o be (-148)/(-18) - 2/9. Solve -2*f - b*f = o for f.
-2
Suppose -a - 14 = -5*o + 15, 2*o + 2 = -3*a. Let n be (-2)/11 - (-79)/11. Solve n + 8 = -o*d for d.
-3
Let c be 14/112 + (-30)/16*-1. Suppose f - 4*b + 2 = 13, -4*b = 2*f + 2. Solve f*v = -c*v - 10 for v.
-2
Let h be (-26)/((-33)/132 - 14/8). Solve 28 = 5*m + h for m.
3
Let x(b) = b**3 - 6*b**2 - b + 9. Suppose 3*r - 22 = -3*s - r, -4*s + 21 = -3*r. Let y be x(s). Solve 5*i + y = -2 for i.
-1
Suppose 2*v - 8 = -4*t, -2*v + 36 = 8*t - 11*t. Solve 50 = v*g - 10 for g.
5
Let u = -248 + 248. Solve 4*f + 22 - 42 = u for f.
5
Let n(l) = -2*l**3 - 4*l**2 - 7*l - 8. Let y be n(-3). Let j = y - 24. Solve 2*c = j*c + 15 for c.
-3
Let f(d) = d**3 - 8*d**2 - 6*d - 9. Let z be f(9). Solve 3*j - 12*j - z = 0 for j.
-2
Let m(a) = 5*a + 30. Let g be m(-6). Solve g = 5*z + 5 - 0 for z.
-1
Let o = 157 - 157. Suppose -6*c = -3*c - 15. Solve c*h + 18 + 2 = o for h.
-4
Let j = 18 - -8. Let l = -8 + j. Solve l + 2 = -4*t for t.
-5
Suppose 0 = -4*l + 5*t + 27, -3*l + 15*t + 18 = 12*t. Solve l*k + 6 = -0*k for k.
-2
Let u(m) = m**2 + 25*m + 159. Let a be u(-10). Solve -a*d + 47 - 29 = 0 for d.
2
Let g(i) = -i**2 + 29*i + 109. Let h be g(32). Solve -3 - h = 8*l for l.
-2
Let s(v) = -v. Let a(r) = -r**2 + 9*r - 3. Let l(d) = -a(d) - 5*s(d). Let c be l(4). Solve 5*i - c*i = 6 for i.
3
Suppose 0*o + 5*l - 15 = o, -12 = -3*l. Suppose 15 = o*g + 5. Solve 0 = g*j + 4 for j.
-2
Let x(w) = w**2 + 20*w - 21. Let c be x(-21). Solve -n + 5 = -c*n for n.
5
Suppose 0*l + 3*l = f - 2, 2 = f - 5*l. Suppose 4*x = -f*b - 72, 56 = -2*x + b + 3*b. Let p = -17 - x. Solve -u - p = -2 for u.
-1
Let k = -176 - -186. Solve -8 = w - k for w.
2
Let m = -33 - -37. Suppose m*t = -a + 6, 4*t + 3*a = -1 + 3. Solve -6 = t*w - 4 for w.
-1
Let s(g) = -g**2 + 46*g - 86. Let x be s(44). Solve x*u - 8 = -2 for u.
3
Let d = 316 - 316. Solve d*y = -6*y - 6 for y.
-1
Let c(t) be the first derivative of t**2 - 2*t - 11. Let a be c(1). Solve a = w + w for w.
0
Let o = -237 - -248. Solve 4*s - 23 = -o for s.
3
Let s be (-25*5)/(-2 + (1 - -2)). Let k = -121 - s. Solve h - 2 + k = 0 for h.
-2
Let y(c) = c**2 - 11*c + 12. Let u be y(10). Suppose 2*h = 3*h - u. Suppose -k - h = -11. Solve -1 = -2*t - k for t.
-4
Let y be (-11 - -13) + 2/((-4)/(-98)). Let j = -36 + y. Solve j = -4*w + 3 for w.
-3
Suppose 6*z = 2*z + 8. Suppose -6 = 4*s - 4*b + 6, -15 = z*s - 5*b. Solve a - 5*a + 20 = s for a.
5
Suppose 0*t = -2*r + 2*t - 14, 4*r + 12 = -4*t. Let x be (r/3 - 4)*3. Let s = x - -19. Solve -o + s = o for o.
1
Let u(z) = -3*z**3 + 40*z**2 + 26*z + 31. Let m be u(14). Solve 16 = -m*b + 7 for b.
-3
Suppose 0 = 67*d - 47*d - 180. Solve -5 = -4*x - d for x.
-1
Let p(n) = 2*n - 4. Let i be p(3). Let j(t) = -t**2 - 11*t + 12. Suppose -2*q = -3*b - 26, -3*b = -8*b + 5*q - 35. Let a be j(b). Solve a*o + i*o + 4 = 0 for o.
-2
Let x(q) = -3*q - 2. Let i be x(-2). Suppose -i*s = -5*s + 2. Suppose s*n = -4*p - 0*n + 10, 10 = -5*p + 2*n. Solve p*o = -2*o for o.
0
Suppose -29 - 7 = -2*q. Solve -5*m - q - 2 = 0 for m.
-4
Let c(a) = a**2 - 9*a - 8. Let s(z) = -z**3 + 11*z**2 - 10*z + 9. Let x be s(10). Suppose -39 = -3*b - x. Let r be c(b). Solve l - 5 = -r for l.
3
Let k be -80*((-7)/(-10) - 1/5). Let v be ((-4)/10)/(3/15). Let h be (v/(-4))/((-4)/k). Solve h*o - 4*o = 3 for o.
3
Let r = 60 + -56. Solve -d + r = 2 for d.
2
Let b be (2/(-6))/((-1)/3). Let c be -2 - (-5)/10*4. Suppose -5*v + h - 4*h + 56 = c, 54 = 3*v - 5*h. Solve b = 4*g + v for g.
-3
Suppose -247 + 893 = 19*z. Solve -3*s + 19 = z for s.
-5
Let k(b) = b**2 + 14*b + 16. Let o be k(-13). Suppose -c + o = -2*i, -4*c + 3*i = -8 - 4. Solve -2*q = c*q for q.
0
Let f = -553 - -555. Solve -f*i + 8*i = -6 for i.
-1
Let k = 188 + -182. Solve 0 = 2*w - 4*w + k for w.
3
Let c be 1332/(-185)*10/(-6). Solve c*x - 3*x = -27 for x.
-3
Let u(s) = s + 1. Let n = 10 + -6. Let w be u(n). Suppose -z + 0*z = 2*g + 4, 0 = w*g + 5*z + 20. Solve -p = -g*p for p.
0
Suppose -1 + 9 = 4*w. Let z be ((-6)/9)/(w/(-36)) + 2. Solve 2 = 4*j + z for j.
-3
Let k = -169 + 183. Let j = 19 - k. Suppose -12 = -5*f - 2. Solve -f*r - 3 + j = 0 for r.
1
Let c = 285 - 254. Solve 11 - c = -4*r for r.
5
Suppose -5*a + 2*m + 116 = -a, -4*m = 5*a - 132. Solve -2*g - 5*g = a for g.
-4
Let k be 1 + 0 + -2 + 4. Let q be k*((-1 - (-1)/1) + 2). Solve -2*l + q = 4 for l.
1
Let w = 683 - 674. Solve 2*k = -w*k + 55 for k.
5
Suppose -2*x + 0*y + 16 = -5*y, -2*x + 14 = -4*y. Let z(w) = -w**3 + 6*w**2 - 5*w - 7. Let n be z(x). Solve n = -d + 6*d for d.
1
Suppose -4*c = 5*p, -2*p - 3*c = 2*c. Solve -28*y + 27*y - 1 = p for y.
-1
Let x = 12 - 3. Let h = 4006 - 4001. Solve 0 = -h*f - 6 - x for f.
-3
Let x(d) = -2*d. Let p be x(-2). Solve -p*v = -0*v for v.
0
Let n be -1 + -1 + 1 + 2. Suppose 8*i = -8*i. Suppose -7 = -3*b + 5*v, i - n = b - 5*v. Solve -3*t = -2*t + b for t.
-4
Suppose 2 = 4*n - 4*m - 90, -3*n + 81 = 3*m. Solve -6*q + 11*q - n = 0 for q.
5
Let a be 70/20 - 3/2. Let q be 1 + -1 + 8/a. Let w be q + (-4 - -3)*1. Solve 2*d - w = 