*i - 8 for i.
3
Let p(s) = -s**3 + 10*s**2 + 6*s + 58. Let g be p(11). Solve 74*l + g = 71*l for l.
-1
Let r be 0/(-2 + (-1)/(-1)). Suppose r = -l + 10 - 8. Suppose -4*v - 2 = 2*m - 18, m + 4 = 2*v. Solve -l = 4*a - v*a for a.
-2
Let o(a) = -a - 26. Let n(w) = 4*w + 130. Let b(j) = -3*n(j) - 16*o(j). Let z be b(-6). Let c be 22/6 - (-4)/(-6). Solve -c*x + z*x = -4 for x.
4
Let k(q) = -q**2 - 4*q - 4. Let m be k(-6). Let v be ((-4)/(-6))/(m/(-72)). Solve 0 = 3*s - 0 + v for s.
-1
Let v = 4 + -1. Suppose -v*f - 3 + 12 = 0. Solve f*o + 3 = -6 for o.
-3
Suppose -2*c + r + 85 = 0, 4*c + 5*r - 62 = 143. Solve -46*f + c*f + 3 = 0 for f.
3
Suppose 0 = 4*w - 12 - 12. Suppose -5*z + w*p - 3*p + 11 = 0, 0 = 5*z + 3*p + 1. Solve m + z + 1 = 0 for m.
-2
Let h(z) = z - 3. Let n be h(5). Let q(v) = v**3 - v**2 + 3*v - 3. Let w be q(n). Suppose -2*i - 3 + w = 0. Solve 0 = -4*m + 6 - i for m.
1
Let o(r) be the second derivative of -r**4/12 + 5*r**3/6 + r**2/2 - 2*r. Let n be o(5). Suppose -3*k - 2*z = -0*z - 13, 4*k + 4*z = 20. Solve k = 4*s - n for s.
1
Suppose 0 = -t + 5*q + 26, t - 3*t + 7 = 5*q. Solve u = t*u - 10 for u.
1
Let o be (-4)/(-10) + (-198)/(-55). Let h be 48/(-108)*(-18)/o. Solve -h*f = 3 - 5 for f.
1
Let m be (-22)/(-6) + (-13 - 442/(-39)). Solve -17*b - 60 = -m*b for b.
-4
Let x = 55 + -57. Let n be (-2 - x)/(-1)*(-3)/6. Solve 2*z = -n*z + 4 for z.
2
Let t(o) = -12*o + 26. Let m be t(-2). Solve -54*p + m*p = 20 for p.
-5
Suppose 10 = -j + 5*z - 3*z, 20 = 4*z. Solve 9*p + j*p = 0 for p.
0
Let z(t) = -4*t**3 - 9*t**2 - 15*t + 5. Let o(r) = -3*r**3 - 9*r**2 - 14*r + 4. Let u(j) = 5*o(j) - 4*z(j). Let a be u(10). Solve a = -3*y - 3 - 0 for y.
-1
Suppose -17*z + 391 = 6*z. Solve 2 = 3*t + z for t.
-5
Let p = -291 - -292. Solve -2*g + p = 5 for g.
-2
Let t(j) = -j**2 + 2*j + 5. Let d be 75/27 + ((-8)/(-18))/2. Let g be t(d). Solve -4*o + g*o = 4 for o.
-2
Suppose -2 = -4*l + 6. Suppose -5*z + 21*z - 352 = 0. Suppose -36 = -l*t + 4*o, -3*t - t - 2*o + z = 0. Solve 4*r - t = -0*r for r.
2
Let g be ((-3185)/(-14))/13*2. Solve -g*k = -36*k - 1 for k.
-1
Suppose 6 = 3*h - 54. Let q = -2498 + 2500. Solve -q*z + h = 3*z for z.
4
Let v(k) = -k**3 + 18*k**2 + 5. Suppose 3*p = -3*n + 60, 0 = 5*n + 3*p + p - 98. Let d be v(n). Solve 0 = d*a + 1 + 14 for a.
-3
Let x(z) = -4*z + 2. Let t be x(3). Let j be 3/6 + t/(-4). Suppose -5*r = -4*r - 20. Solve -j*g - r = -7*g for g.
5
Let l(m) = m**3 + 4*m**2 - m + 3. Let t be l(-4). Suppose 5*v - 34 = -2*w, -5*v = 3*w - 43 + t. Let o be v/8 - (-1)/4. Solve 4*a + o = 5*a for a.
1
Let r(x) = -2*x**3 + 10*x**2 - 4*x - 2. Let c be r(3). Solve c = -d + 19 for d.
-3
Suppose 15*g = 12*g + 21. Suppose -8*u + g*u + 3 = 0. Solve 0 = 4*l - 1 - u for l.
1
Suppose 4*t + 4 = -5*u, -5*t + 4*t = -3*u + 1. Solve 39*p - 34*p + 15 = u for p.
-3
Let f(v) = -v**3 - 7*v**2 + 9*v + 8. Let b be f(-8). Suppose b = 2*r - r - 5. Solve -3 + r = -2*t for t.
-1
Let b(m) = -m**3 + 8*m**2 + 9*m + 2. Suppose 19*q = 21*q - 18. Let k be b(q). Solve y - 1 - k = 0 for y.
3
Suppose -46 = -2*l - 2*r, -r = -5*l + r + 87. Let u = l - 11. Suppose -z = -3*h + 20, 5*h + z + u = 52. Solve 2*j - 2 = -h for j.
-3
Let d be ((-54)/45)/((-2)/10). Suppose -d*x = -3*x - 36. Suppose x + 18 = 5*m. Solve -h - 25 = -m*h for h.
5
Let z(h) = h**3 - 15*h**2 - 14*h - 32. Let k be z(16). Solve -73*m + 76*m + 12 = k for m.
-4
Let o(j) = j**3 + 4*j**2 - 4*j. Let l be o(-4). Solve l = -0*f - 4*f for f.
-4
Let n = -7 - -15. Let q = -4 + n. Let f = 927 + -923. Solve 6*u = f*u + q for u.
2
Suppose 2*f = 5*i + 7 + 2, -1 = -2*f - 3*i. Solve 6 - 10 = f*u for u.
-2
Let s = -16 - -27. Let z = s - 11. Let k = 8 + -6. Solve z = -k*a + 3 + 5 for a.
4
Let d = 175 - 144. Let a(p) = -p**3 - 6*p**2 + 4*p - 6. Let v be a(-6). Let l = v + d. Solve k + 2 + l = 0 for k.
-3
Let d(w) = 18*w - 106. Let h be d(6). Solve 1 + h = -3*z for z.
-1
Let j(h) = -h**3 + 49*h**2 + 104*h - 99. Let t be j(51). Solve 2*o = 13 - t for o.
5
Suppose 0 = -2*w + 3*n + 5, 5*w + 2*n - 41 = 0. Solve g - 12 + w = 0 for g.
5
Suppose -2*n + 3*a = -8, -n + a + 14 = -3*a. Let l be 0 + -2 + 7 + n. Suppose -l*x = x. Solve x = -2*c + 4 for c.
2
Suppose 6*u - 3*u = 12. Let j = 3 + 3. Suppose 3*b = -2 - 1, -u*b = 5*y - j. Solve -5 = -y*w + w for w.
5
Suppose -4*w = 5*v - 440, v - 47 = w + 41. Suppose 3*k - v = -k. Suppose 3*j + 18 = 3*n, 4*n = -0*n + 3*j + k. Solve 0 = -n*u + 4 - 16 for u.
-3
Suppose 0 = -4*a + 2*r + 68, 0 = 3*r - 5*r. Suppose -y + 10 = 2*y + n, -2*n + a = 5*y. Let f be 4/((-4)/y) + 12. Solve -4*h = -f*h - 10 for h.
-2
Suppose 21*q = 26*q - 80. Solve 9*g - q = 13*g for g.
-4
Let a(o) = o**3 - 7*o**2 + 5. Let z be a(8). Let j = z - 66. Solve j*v = -v for v.
0
Let p(b) = 7*b**2 - 81*b - 33. Let q be p(12). Solve 3*i + q*i - 30 = 0 for i.
5
Suppose 2*h = -2*h + 20. Suppose -t - 10 = -5*c, 0 = h*c - 9 - 6. Solve t = 6*i - i for i.
1
Suppose 9*s + 16 = 13*s. Suppose -s*x - 1 = -9. Solve -3*c + 1 = -x for c.
1
Suppose 2*a + 0*a = -20. Let g(m) = 2*m**3 - 62*m**2 - m + 43. Let c be g(31). Let f = a + c. Solve -17 + f = -5*i for i.
3
Let q(m) = -m**2 + 7*m - 1. Let h be q(8). Let g be 3 + (h - 0 - -2). Let j be (7 + -1)*g/(-6). Solve o - 1 = -j for o.
-3
Suppose 84*v - 851 = -95. Solve -2*f - v + 3 = 0 for f.
-3
Suppose -4*p - 2*d = -42, -2 = 4*d - 14. Solve -p*r = -6*r + 6 for r.
-2
Let u be -5*-1*3/15. Let c be (u + -3)/2 + 9. Let i = -59 + 61. Solve i*p = -2*p + c for p.
2
Let t(f) = 5*f + 0*f**2 + 4*f**2 + 0*f - 3*f**2. Let m be t(-5). Solve 0 = h + 4 - m for h.
-4
Let d(r) = 4*r + 2. Suppose 2*i = 3*o - 4, 3*i + 5*o - 14 = -1. Let f be d(i). Solve -9 = -f*y + 3*y for y.
3
Let o(v) be the second derivative of v**4/12 - v**3/6 + v. Suppose -2*c - 1 = -5. Let g be o(c). Solve 3*i = g*i + 3 for i.
3
Let u be 4/14 - 182/(-49). Suppose 3*d + 5 = -5*x + 19, 26 = 5*x - 3*d. Solve u*m - x - 16 = 0 for m.
5
Let r be 0*(0 - 3)/(-3). Suppose -7*c + 1 - 8 = r. Let v be (-6 + 4 + 2)*c. Solve v = -d - 1 + 3 for d.
2
Suppose 0 = -42*d + 34*d + 88. Solve -7*h = -d - 10 for h.
3
Let o be 627/22 + (0 - (-2)/4). Solve o = -4*q + 9 for q.
-5
Suppose 0 = -v + 5*v. Suppose -3*n + 0*n + 2*m + 83 = v, n - 2*m = 29. Suppose 0 = 3*h - 33 - n. Solve -h = -2*k - 3*k for k.
4
Let v be 10/8 + 325/(-260). Solve -44*y + 46*y + 2 = v for y.
-1
Let f(i) = 3*i**2 + 36*i + 66. Let o be f(-15). Solve -o*v = -198*v for v.
0
Suppose 5*s - 3*v + 12 = 0, -2*s - 8 = -0*v + 2*v. Let g(b) = -b**2 - 4*b. Let r be g(s). Solve 3*o + r + 3 = 0 for o.
-2
Suppose 4*n - 4*y - 170 = 42, 4*n = -y + 227. Solve n = 13*i + 17 for i.
3
Let u = -1 + 1. Let g = 6 + -4. Solve -g = o - u for o.
-2
Let n be (-3)/(-2)*(-4)/(-2). Let y(q) = -3*q**2 - 48*q - 105. Let v be y(-13). Solve v = -l - n*l for l.
-3
Let q be (-2352)/(-343) - 1/(-7). Solve -14*k + 84 = q*k for k.
4
Let v = 224 - 219. Suppose 0*p = -3*p + 9. Solve -2*t + v*t = -p for t.
-1
Let p be 8/28 - 74/14 - -8. Solve 0 = p*c - 4*c for c.
0
Let i(s) = -s**2 + 6*s. Let q be i(6). Suppose 3*b + c - 5 = q, -5*b + c + 11 = -0*c. Let g(k) = 2*k**2 + 5*k - 163. Let v be g(8). Solve b*h + 1 = -v for h.
-3
Let v(h) = -h**2 + 12*h + 31. Let n = -35 + 49. Let k be v(n). Solve 0 = -r + k - 4 for r.
-1
Let o be ((-8)/(-5))/(1/5). Suppose 0 = z + 167 - 172. Solve -z*i = -i - o for i.
2
Let d(z) = z**2 - 4*z - 249. Let m be d(-15). Solve 4 = -8*n + m for n.
4
Suppose -17*d = 43*d - 3420. Solve 0 = -d*q + 33*q + 24 for q.
1
Let o(j) = -j**2 - 2. Let s(d) = 3*d**2 - 2*d + 13. Let u(m) = -6*o(m) - s(m). Let g be u(2). Solve c = 6*c - g for c.
3
Suppose 2*j = -j. Suppose 6 = 2*d - j. Let m be 6/4 + ((-2025)/30)/(-27). Solve a - m = -d for a.
1
Suppose d + d + 18 = 0. Let g = d + 11. Solve 0 = g*m + 2*m - 16 for m.
4
Let h = 1 - -3. Let y = -63 + 24. Let o = 42 + y. Solve -o*q = -h*q for q.
0
Suppose 0 = -19*r + 24*r - 130. Suppose -5*i = 3*k - 1, -2*i + r = -0*k - 2*k. Let d = -4 - k. Solve 0*j + d = 2*j for j.
2
Let m be ((-186)/18 - -3)*3/(-2). Suppose 0 = y + m*y - 144. Solve 4*h = 8*h + y for h.
-3
Let g be (-35)/(-20) - 1/(-4). Let i be 396/55 - (-2)/(-10). Solve g*u - 1 = -i for u.
-3
Let n(g) = -2*g + 20. Let o be n(8). Suppose o*b - 14 = -3*v + 8, -v + 10 = 4*b. Solve -v*m = -m + 15 for m.
-3
Let u be (-3 + 5)/(1/(-4)). Let y be 