olve 16*o = i*o - 16 for o.
-4
Suppose 4*o - 12 - 4 = 0. Suppose 0 = -o*w + 3*a + 28, -4*a = -5*w + 20 + 16. Solve -w*v = -2 - 10 for v.
3
Let u be -1*4/(-8) - 20/(-8). Solve -46 + 61 = u*o for o.
5
Suppose 7*i - 22 = 34. Solve 4*z = i*z for z.
0
Let p(v) = -v**3 - 3*v**2 - 3*v + 1. Let m be p(-3). Suppose -2*c - 4 = 5*o - 0*o, -2*o + 5*c + m = 0. Solve 3*g + 9 + 3 = o for g.
-4
Suppose t = 5*j + 5, 5*t = -j + 12 + 13. Let i(v) = v**3 - 4*v**2 - 2*v - 7. Let f be i(5). Suppose 0 = -t*y - 3 + f. Solve 0 = 5*q - y + 6 for q.
-1
Let z = -72 + 85. Let t(f) = -3 + 5 + f**2 - 13*f + 2. Let p be t(z). Solve p*n = -n for n.
0
Let z = -104 + 173. Suppose -q = -4*q + z. Suppose -2*f = 2, 7*j - 5*f = 4*j + q. Solve -3*p - j = -3 for p.
-1
Suppose 2 = 2*f - 2. Suppose 2*p + 4*v - 4 = f, 0 = -4*v - 4. Suppose -3*q = -p*q. Solve -2*d + 5*d + 12 = q for d.
-4
Let u be (8 - 840/108) + (-4)/18. Solve u*c - 6*c = -0*c for c.
0
Let p(f) = 7*f**2 - f + 2. Let u be p(1). Solve 0 = -5*a - u + 18 for a.
2
Suppose -i + 0*c = -2*c + 10, -5*i - 4*c - 22 = 0. Let p be 104/(-10) + i/10. Let v = p - -15. Solve 11 = v*x - 9 for x.
5
Let i = -237 + 237. Solve i = 94*j - 99*j - 5 for j.
-1
Let m = -7 - -11. Suppose 0*z - m*z = 2*s - 16, -16 = 2*s - 4*z. Suppose s*j = 5*j - 35. Solve 5*w = j + 3 for w.
2
Let g be 4/(2 + 128/(-72)). Solve g = -2*r + 18 for r.
0
Let a be (-10)/(-4) + (-2)/4. Suppose 0 = 2*p + 2*p - 5*c - 7, -3*p + 7 = -a*c. Solve -4*o + p*o = 4 for o.
-4
Let c be -1 + (16 - -3) - (-2 - -4). Solve 11*b = c*b for b.
0
Let x = 6 + -3. Let f be 10 - (2 - x)/(-1). Let q = 12 - f. Solve -q*p = 2*p - 5 for p.
1
Suppose -3*s + s = 0. Suppose -a - 37 = -4*c, 0 = 2*c - 3*a - 21 - s. Suppose 4*y = 3 + c. Solve -y*p - p = 16 for p.
-4
Suppose 3*a = 11 + 43. Let p = a + -13. Solve -1 = 2*d - p for d.
2
Let q be (8 + 5)/(-26)*0/2. Solve -2*m - m - 12 = q for m.
-4
Let f(t) = 7*t**2 + t**3 + 4*t - 2*t - 2*t**2 - 8*t**2 + 2. Let j be f(2). Let p = -4 - -9. Solve -j*x - p = 1 for x.
-3
Let u(q) = -4*q**3 + 13*q**2 - 6*q + 2. Let v(o) = 5*o**3 - 14*o**2 + 7*o - 1. Let z(j) = 6*u(j) + 5*v(j). Let w be z(-8). Solve -w = 7*p - 2*p for p.
-3
Suppose -27*t + 7*t + 40 = 0. Solve t*l - 6 = -l for l.
2
Suppose -2*f = f + 15. Let a(j) = 4*j**3 + 5*j**2 + 5*j. Let w be a(f). Let o be ((-6)/(-4))/((-24)/w). Solve 4*b + o = -b for b.
-5
Let f = -766 + 768. Solve 17 = 15*a + f for a.
1
Suppose 12 = -4*g, 6*n - 3*g + 1 = n. Let r be 0 - (-3 - n/(-2)). Solve -16 = -r*t - 4 for t.
3
Let f(u) = 2*u**2 - u - 1. Suppose 3*k + 12 = -0*k. Let v(t) = t + 3. Let g be v(k). Let z be f(g). Solve 3*r - 13 - z = 0 for r.
5
Let m be 0 - ((-2000)/140 - 2/(-7)). Solve 17 = -j + m for j.
-3
Let g = 17 + -2. Suppose 11*n + g = 15. Solve n = 2*d + 2 for d.
-1
Suppose 2*c = 3 + 3. Suppose 2*q = 2*v + 32, 0 = -5*q - c*v - 20 + 124. Suppose -7*l - 5*m = -2*l, -4*m + 3 = 5*l. Solve -l*a = -q + 4 for a.
5
Let u(r) = -11. Let q(a) = -a - 23. Let t(k) = -3*q(k) + 5*u(k). Let j be t(-4). Solve -4*o + j = -2 for o.
1
Suppose 13*t = 150 + 162. Solve 7*u = 15*u - t for u.
3
Suppose -46 + 20 = -t. Let u = -16 + t. Solve -5*z = -0*z + u for z.
-2
Suppose 0 = -3*j - 0*j + 12. Suppose -19*o + 91 + 99 = 0. Solve j*d - o = 6*d for d.
-5
Let i be (4/(-2))/(1 + 1) + 3. Suppose -2*t = -5*t + 3*k + 24, -2*k = i*t - 16. Solve y + t = -3*y for y.
-2
Suppose 50*z + 50 = 55*z. Solve z*f = 7*f for f.
0
Suppose -575 = -42*s + 55. Solve -s = -8*y + 17 for y.
4
Suppose -5*u + 10 = -3*u, -4*d = -4*u + 12. Suppose 17 = 4*m - 3*j, -3*j = -d*m + 6*m + 1. Solve -t + 12 = m*t for t.
4
Suppose 12 = -t - 2*t, 0 = 2*x + t - 76. Solve 38 = -p + x for p.
2
Let y be ((-33)/(-22))/(6/20). Suppose 3*l + 8 = 3*u - 7, u - 5 = y*l. Suppose l = -3*h + 15 - 3. Solve -d - 15 = h*d for d.
-3
Let t be (11 - 5) + 3/(-3). Suppose 0 = t*h - 1 + 11, -5*l + 4*h = -23. Solve -l*g = g - 20 for g.
5
Suppose 47*p - 48*p = 5*w - 70, -3*w - 54 = -p. Solve 0 = 22*l + p + 28 for l.
-4
Suppose 5*y + y = 12. Solve 2 + 2 = -y*p for p.
-2
Suppose 4*y + 52 = 2*p - 24, -5*p + 30 = -2*y. Let l = y + 25. Solve 1 - 6 = l*u for u.
-1
Let z(c) = -c**2 - 22*c - 115. Let w be z(-10). Solve 3*j - w = 1 for j.
2
Let u(p) = -p**3 + 5*p**2 + 2*p - 5. Let y = 16 - 11. Let q be u(y). Let w = 12 - q. Solve b - 3 + w = 0 for b.
-4
Let j be 0 + -1 - (6 - 12). Solve 0 = -j*v + 8*v for v.
0
Suppose -2*g = -8, -4*g = 5*r - 36 - 0. Let l = -23 + 40. Suppose -l = -v - 13. Solve v*x - 4 = r for x.
2
Let h(s) = 9*s + 68. Let o(l) = 13*l + 98. Let d(y) = -7*h(y) + 5*o(y). Let v = -4 - 2. Let z be d(v). Solve -r + z*r = 0 for r.
0
Suppose -4*z + 11*r - 16*r = -3, -5*z - 2*r + 8 = 0. Solve -i - 2 - z = 0 for i.
-4
Suppose 10*t - 4*t = 36. Solve y - t = -4 for y.
2
Let r = 2 + -8. Let v be (r/9)/(2/(-9)). Solve 13 - 1 = -v*k for k.
-4
Let f(g) = 6*g + 53. Let q be f(-8). Solve m + q*m = -18 for m.
-3
Let l(f) = 2*f**2 + f - 3. Let t be l(3). Suppose -10*z + t = -9*z. Suppose 4*q - x - z = 0, -5*x + 5 = -q + 19. Solve 0 = -0*n + 2*n - q for n.
2
Suppose 4*d = -5*c - 17, -4*d = 4*c - c + 7. Solve -70*t = -68*t - d for t.
1
Let f(u) = u**3 - 42*u**2 - 234*u + 11. Let g be f(47). Solve 3*z = -61 + g for z.
-1
Let h be (5/2)/(18/24 + 2/(-16)). Suppose -17 = -3*q - 2. Suppose -3*z = d + d - 10, 0 = -q*z + 5*d + 25. Solve h*i + 12 + z = 0 for i.
-4
Let f = 128 + -194. Let s = f - -71. Solve s*g - 13 + 3 = 0 for g.
2
Let n = -5 - -7. Let x = -64 - -66. Suppose -4*c = -f - 4, 3*c - x*f = -6*f - 16. Solve -n*a - a = c for a.
0
Let s be (-1 + 6)/10*-2*-3. Let d = 10 - 6. Solve d*l - s*l = -1 for l.
-1
Suppose 8 = -3*a - 19. Let p be 18/(a/(-3)) - -2. Solve -p*l + 3*l = 0 for l.
0
Suppose 2*b + 12 - 2 = 0. Let d(p) = -p**2 - 8*p - 8. Let a be d(b). Solve -y = -2 + a for y.
-5
Let y(n) be the first derivative of -n**3/3 + 11*n**2/2 + 5*n - 17. Let g be y(11). Let z be (14/4)/((-10)/(-60)). Solve z = g*r + 1 for r.
4
Suppose 6 = -80*i + 83*i. Let q be -14 - -14 - (2 - i). Solve -5*z + 2*z + 12 = q for z.
4
Suppose -5*q - 1525 + 8500 = 0. Let b = 777 - q. Let d be 4/14 + b/(-42). Solve -5*s + d = 5 for s.
2
Let b(l) = -18*l + 281. Let t be b(15). Solve -10*i = -t - 29 for i.
4
Suppose 8 = 2*h - 4*b, -5*h - 12*b + 10 = -17*b. Solve h = -p - 10*p + 11 for p.
1
Let h(a) = 11*a - 2. Let s be h(2). Suppose -4*o + l = -17, 2*o + 18*l - 20*l - 10 = 0. Solve 0 = -o*n - n + s for n.
4
Let f = 5 - 8. Let h(g) be the first derivative of -g**3/3 - 2*g**2 - 2*g + 32. Let v be h(f). Solve -3*d - v = 14 for d.
-5
Let m be (4/10)/((-1)/(-110)). Let i = 49 - m. Solve 2 = -4*v + i*v for v.
2
Let x(s) = s**2 + 7*s - 3. Let n be x(-6). Let q(a) = -a**2 - 12*a + 10. Let t be q(n). Let v = -17 + t. Solve 2*m - v = -2*m for m.
5
Let n be -12*(4/6)/((-20)/15). Let r(i) = i - 2. Let s be r(6). Suppose -n*q = -s*q. Solve q = -3*y + 4 - 13 for y.
-3
Suppose -4*l = 2*w - 7*w - 16, -16 = w - 4*l. Suppose 5*a - o + 63 = -5*o, 0 = 5*a - 5*o + 45. Let h = a - -11. Solve -3*v + 3 + w = h for v.
1
Let y(j) = j**2 + 7*j + 10. Let u be y(-5). Solve u = 7*g + 6 + 8 for g.
-2
Let c(m) = m**2 - 4*m + 4. Let i = 25 + -21. Let y be c(i). Solve y*k - 8*k = -12 for k.
3
Let p = -3 - 11. Suppose -3*x + 93 = -3*q, -5*q = -2*x - x + 103. Let k = x + p. Solve 3*r + k = -r for r.
-3
Let j = -26 + 50. Suppose -4*y = -2*b - j, 12 = 4*y + b - 6*b. Suppose -32 = -4*a + y. Solve k + a = 6*k for k.
2
Let j = 19 + -19. Suppose i + 5*z = z + 14, 2*i - z - 10 = j. Solve -i*f = -f for f.
0
Let s(b) = 3*b**3 - 39*b**2 + 38*b + 64. Let x(o) = -o**3 + 13*o**2 - 13*o - 21. Let j(k) = -3*s(k) - 8*x(k). Let l be j(12). Solve l - 3 = 3*d for d.
-1
Let n(j) = j**3 - 5*j**2 - 6*j + 5. Let y be n(6). Let k = y - 5. Suppose 4*t = 4*p + 20, 34 = -k*t + 5*t + 4*p. Solve 4 = -5*o - t for o.
-2
Let g be ((-8)/(-3))/(1/3). Let z(k) = k**3 - 8*k**2 + 2*k - 12. Let a be z(g). Let b(h) = -h**2 + 6*h - 6. Let w be b(a). Solve w = 2*p + 4 for p.
-1
Let z be (-22)/(-187) + (-198)/(-51). Solve -4*p - z = 16 for p.
-5
Let w = -5 + 10. Suppose -w*z = -8 - 12. Solve 0*a = -z*a for a.
0
Let k = -620 + 623. Solve -7*r = -k + 3 for r.
0
Suppose 14*a - 11*a + 60 = 3*r, -3*r + 60 = a. Solve -13*w - r = -3*w for w.
-2
Let z be (-2)/6*-2*3. Let m = 8 + -4. Let o be (-7)/1*(-68)/238. Solve z*g + o*g = -m f