= l + 4 for u.
-4
Let r be (-1)/(-3) + (-154)/(-6). Suppose -4*o - k = 9, -5*k + 0*k - r = o. Let n be o*(4/2 + -14). Solve -3*i + n = i for i.
3
Let n = 2 + 0. Let x = 5 - 0. Suppose 0 = -0*y + x*y - 15. Solve h = y*h - n for h.
1
Let z(l) = -2*l**2. Let y be z(1). Let n be 1 - 3/(3/(-19)). Let k be (y + 3)/(4/n). Solve 1 + 4 = -k*u for u.
-1
Suppose 2*h = 5*k + 58, 4*h = -k + h + 2. Let d = -5 - k. Solve -2*r - 11 = -d for r.
-3
Suppose 2*o + 4 = o. Let r be (6 - 2)/(2/(-4)). Let j = o - r. Solve -n - 1 = j for n.
-5
Let x(n) = -n**3 + 9*n**2 - 8*n + 3. Let h be x(8). Solve 15 = 3*s + h for s.
4
Let k be (-10)/(3 + -4 + 0). Solve -3*b = -b - k for b.
5
Suppose 19*w = 15*w. Solve 3*m = -w*m - 12 for m.
-4
Let a be ((-33)/22)/((-3)/4). Suppose 0 = -l + a. Solve -l*j = 2 - 4 for j.
1
Let f(r) = -r**2 - 10*r + 14. Let n be f(-11). Suppose l + 6 + 2 = 5*m, n*l - 8 = -m. Solve -s + 5 - m = 0 for s.
3
Let r(g) = g - 2. Let s be r(5). Suppose 0*k + 3*k - 120 = 0. Let h be s/2*k/3. Solve h = -3*c + 8*c for c.
4
Suppose f - 13 = -3*h, -h + 1 = f + f. Let d = 6 - h. Let z be 4*((-3)/d + 5). Solve 2*w - z = 2 for w.
5
Let j = 0 + 6. Let h(d) = -d**2 - 7*d - 4. Let f be h(-6). Suppose -4*x = -3*x - 2. Solve -f*z + j = x for z.
2
Suppose -4*s - 9 = 5*d, -d = 3*d + 4. Let g = 6 + s. Solve -16 + 1 = -g*a for a.
3
Suppose 0 = u - 2*c + 5, 2 = 4*u + 4*c - 38. Suppose -3*j - 47 = -x + u*x, 4*j - 2*x = -26. Let m(y) = -y - 8. Let k be m(j). Solve r + k - 6 = 0 for r.
5
Suppose 5*u = m - 0*m + 5, -3*m - 15 = -2*u. Solve u = 5*b + 18 - 3 for b.
-3
Suppose 4*k = 20, 2*n - 3*k + 15 = -3*n. Solve n = 2*u - 6*u + 16 for u.
4
Let s be 32/10 + 9/(-45). Solve s*f - 1 = 14 for f.
5
Let m(a) = a**3 - 7*a**2 + 6*a. Let p be m(6). Suppose -3*v - v + 5*g = 3, -2*g + 6 = p. Solve 3 = v*o + 18 for o.
-5
Let p(h) = 9*h - 1. Let g be p(1). Let i(l) = l**3 - 7*l**2 - 7*l - 6. Let y be i(g). Solve 0 = -y*v + v for v.
0
Let j(u) = u**2 - 9*u + 8. Let a be j(8). Suppose 2 = -3*t + 17. Let s be 2*t/((-30)/(-9)). Solve a*n = s*n - 3 for n.
1
Let i = 96 + -96. Suppose 5*n = 5*u - 0*n + 10, 0 = u - 5*n + 10. Solve i = -u*q + q for q.
0
Let s = -25 - -27. Solve 3*a - s = 13 for a.
5
Suppose 1 = -3*a + 4. Let o = -3 + 2. Let c = 3 + o. Solve f - c + a = 0 for f.
1
Let j(k) = 2*k**3 + 49*k**2 - 25*k + 5. Let n be j(-25). Let u = -20 + 32. Solve n*r - r = u for r.
3
Let w(n) = n + 1. Let k be w(-2). Let y = -1 - k. Solve -2*x - x = y for x.
0
Let m be 1*-1*8 - 2. Let r be (7*1)/((-5)/m). Suppose -2*i = -v - 18, -2*i = -0*i - 3*v - r. Solve 2*a - 4*a - i = 0 for a.
-5
Suppose -2 - 5 = u. Let j = 7 + u. Solve j = 6*i - i - 10 for i.
2
Let h = 80 + -74. Solve -5*b = -2*b - h for b.
2
Let d(n) = -n - 5. Let h be d(-7). Let m = h + 0. Solve -m*o - 15 = o for o.
-5
Suppose q - 4 = -0, 20 = 4*i + 4*q. Let k(v) = 2*v. Let f be k(i). Solve -f*p = 2*p + 8 for p.
-2
Let m(b) = b**3 - b**2 + b - 3. Let w be m(2). Solve -w*u = -u for u.
0
Let g(v) = -7*v - 1. Let i be g(-4). Let h be (-2)/(-9) + 102/i. Solve -2 + h = z for z.
2
Suppose 205 = q + 4*q. Suppose -r - 5*y - 6 = -1, 0 = -3*r - y + q. Let p = r + -11. Solve -p*a = -6 - 2 for a.
2
Suppose 2*x = -7*a + 4*a + 19, 4*x = 4*a - 12. Solve -x*d = -d - 2 for d.
2
Let d be (3/(-12) + 0)*-12. Solve 0 = -d*c + 4*c - 2 for c.
2
Suppose -6 = -3*w + 5*g, -8 = -3*w - w - 5*g. Solve w*z = -0*z + 6 for z.
3
Let t = -65 - -65. Solve t = -2*r - 3*r for r.
0
Let l(u) = u**2 + 9*u + 9. Let a(h) = -h**3 + 9*h**2 - 2*h + 10. Let v be a(9). Let x be l(v). Let j = x + 1. Solve -3*g = -j*g for g.
0
Let y be (-10)/4*16/(-40). Solve -9 = 4*q - y for q.
-2
Let f = -4 + 23. Suppose -3*o + 22 = 2*l, o + 4*l - l = f. Solve -8 = -o*p - 0*p for p.
2
Suppose -12 = -4*w + 3*c - 2*c, 4*c + 6 = -5*w. Suppose -5*d + 70 = 10. Suppose -3*b = -b - d. Solve w*h = b + 2 for h.
4
Let i be 6/(-4) - 21/(-6). Solve 2*r + 0 = i for r.
1
Suppose -3*t + 2*t + 4 = 0. Let r be 49/4 - 1/t. Solve v - r = -2*v for v.
4
Let l be (-320)/(-70) - 4/7. Solve l*b + 1 + 3 = 0 for b.
-1
Let a = 49 - 46. Solve -y + 2 = -a for y.
5
Let w be (-1)/2*0 + 20. Let d = -18 + w. Solve -d*q + 4 = -q for q.
4
Let u(s) = -s**3 + 4*s**2 + 8*s - 7. Let c be u(5). Let t(l) = 4*l**2 - 1. Let w be t(1). Suppose w*v + 9 = 33. Solve c*o = 4*o - v for o.
-2
Let i(q) be the second derivative of -1/4*q**4 - 5/2*q**2 + 0 - 1/6*q**3 - 1/20*q**5 - q. Let w be i(-4). Solve 0 = 2*z + 3*z + w for z.
-3
Suppose 3*p - 3 = 6. Suppose 5*u - 16 = u. Suppose 12 = u*s, 12 = 3*l - s + 3*s. Solve -p*w - l*w = 0 for w.
0
Let n = 40 + -38. Solve -n = 12*v - 10*v for v.
-1
Let n(r) = r**3 + 3*r**2 - 5*r - 6. Let g be n(-4). Let b be g/8 + (-98)/(-8). Suppose 2 + b = 4*d - x, -24 = -4*d - 4*x. Solve -d*o = -o for o.
0
Let a(n) = -5*n - n + 0*n + 4*n. Let g be a(-1). Solve 5 = g*c - 3 for c.
4
Suppose 5*k = 3*k + 8. Solve 0 = p + k*p + 25 for p.
-5
Let o(l) = -l**3 + l + 2. Let x be o(0). Suppose -j + 78 = 4*j - b, 0 = -5*j - x*b + 69. Solve -q - j = 2*q for q.
-5
Let q be -1*1 + 5 + (-7 - -5). Solve -13 = -q*h - 17 for h.
-2
Suppose -5*z = 5*g, z + 2 = -0*z. Suppose 4*j - 6 = 6. Suppose j = 4*l - l. Solve -g*b = 7 + l for b.
-4
Let q = -73 + 82. Solve 3 = -3*j - q for j.
-4
Let i = 6 + 13. Suppose -2*r + 7 = -3. Suppose 5*x - 2*x = -r*u + 28, -2*u + 8 = -2*x. Solve i = -4*j - x for j.
-5
Let z be 9/18 + 22/4. Solve -2*t = -z*t - 16 for t.
-4
Let o = 1 + 9. Suppose f - 3*f + o = 0. Solve f*y = -15 + 40 for y.
5
Suppose -3*i + 4 + 14 = 0. Suppose -4*p + 3*n + 18 = 0, -i = -4*p - 0*n - 3*n. Solve -p*x = -2*x for x.
0
Suppose 6*t - 11*t + 225 = 0. Solve 5*c = t - 20 for c.
5
Let d = 4 - -6. Suppose i = 5*u - d, -2*u + 4 = 5*i - 0*i. Solve -p + 3 - 8 = i for p.
-5
Let y(c) = 3*c**3 - c**3 + 2 + 2 + 9*c**2 - c**3. Let s be y(-9). Let l = 42 + -18. Solve -l + 8 = s*n for n.
-4
Suppose 2*c - 3*i - 25 = -0*c, 0 = -4*c + 3*i + 41. Let f be (c/(-10))/((-12)/30). Suppose -1 - 9 = -f*z. Solve -z*s + 23 = -2 for s.
5
Suppose 3*n + 2*n - 30 = -4*i, i - 5 = 0. Suppose -2*o + 3*o + 4*f = -6, -3*o = 3*f. Suppose o*q = -n*q + 60. Solve -4*g + 5 = -q for g.
5
Let b = -48 + 68. Suppose 0*h = -5*h + b. Solve -h*m + 5 = -3*m for m.
5
Let v(l) = 2*l**2 + 11*l - 4. Let j be v(-8). Suppose -8 - j = -4*n. Solve -9 - n = 5*c for c.
-4
Suppose 7*t + 4*u = 2*t + 62, u = -3*t + 33. Suppose 0 = -3*v + 3*m + 45, 3*m + 59 = 4*v - 0*v. Let r be (-46)/(-14) - 4/v. Solve -c + r*c - t = 0 for c.
5
Suppose 7*s - 60 = 4*s. Suppose 2*x + 4*y = -3*x + s, -2*x + 8 = 4*y. Solve -2*z = -z + x for z.
-4
Let y(i) = 2*i + 1. Let u be 4*-1*(-6)/(-8). Let s be y(u). Let k = -3 - s. Solve 5*p + 3 + k = 0 for p.
-1
Suppose 3*r = -4*d - 1 - 2, 5*r + 4*d = -5. Let n be (r - 3/(-2))*12. Let m be (-2 - 0) + 36/n. Solve m*i + 2 - 6 = 0 for i.
1
Let i = 17 + 3. Solve 0*y = 4*y + i for y.
-5
Suppose 5*p + 5 = 5*k, 0*p + 1 = 2*k - 3*p. Suppose 3*r - 9 = 3*u, -k*u = 3*r - 5 - 9. Solve 0 = -i + r*i + 6 for i.
-2
Let u be (-2)/(-2) + (9 - -2). Solve -w - u = -5*w for w.
3
Suppose 2*d = 2*y + y + 19, 0 = 4*d + 2*y - 46. Let l = d + -8. Solve -3 = 3*o + l for o.
-2
Let f(q) = -q**3 + 9*q**2 - 11*q + 2. Let i be f(8). Let c be (-2)/8*(i - 6). Solve 5*h - c = -2 for h.
1
Let r = -32 + 76. Let n be (-1)/4 - (-99)/r. Solve n = -5*i - 13 for i.
-3
Let v(i) = -2*i - 4. Let j be v(-3). Suppose -4*l - l + 3*g + 25 = 0, j*g = -10. Solve 0 = -2*w - 0 - l for w.
-1
Suppose 40 = 8*c - 3*c. Let t be (3 - 2)/(-1) + 3. Solve 0 = t*g - 6*g - c for g.
-2
Suppose -1 - 2 = -3*b. Let y = b + 7. Suppose y*q - 3*q = 0. Solve -4*v + q = -4 for v.
1
Let j = -17 + 1. Let d be 5/(4/j*-4). Solve -u - 12 = -d*u for u.
3
Suppose -2*c - 3 + 9 = 0. Suppose c*t - 17 = 4*i, i + 6*t - 13 = t. Let a be 0/(i - 1 - -1). Solve a = -j + 6*j + 25 for j.
-5
Suppose 0 = 5*c - 25, 6*m - 3*m - 4*c = -11. Solve 2 + 1 = -m*a for a.
-1
Let t(x) = -2*x + 0*x**2 + 3*x - 14*x**3 + 2*x**2. Suppose -m - 1 = -0. Let d be t(m). Solve 0*k + 5*k - d = 0 for k.
3
Let q(g) = g - 8. Let d be (2 - 3) + -3 + 14. Let y be q(d). Solve -v = -3*v + y for v.
1
Let d(r) = r**2 + 7*r + 3. Let w be d(-8). Solve 4*g - w = 9 for g.
5
Let g(c) be the first derivative of -c**4/4 - 2*c**3 - 5*c**2/2 + 1. Let u be g(-5). Solve -3*v + 2*v + 4 = u for v.
4
Let s = 11 + -3. Let n(a)