ppose 0 = -i - 0*i + t. Solve i*p = -8 - 7 for p.
-3
Let b(g) be the first derivative of -g - 1/3*g**3 + 7/2*g**2 + 2. Let i be b(6). Solve 0*x + 25 = i*x for x.
5
Suppose g = -2*y + 5, -6 - 5 = -3*y - 5*g. Let r be 5/(-20)*2*0. Solve r = -p - p - y for p.
-1
Suppose 2*u + m = 2*m + 11, 29 = 3*u - 4*m. Let v be (1/u)/((-2)/(-12)). Suppose -5*r + 10 = 5*h, -4*r = 2*h - r - v. Solve -h*c = -0*c - 4 for c.
1
Let y = 2 - 2. Suppose y = -t - t. Suppose 69 = 3*v - t*v. Solve 2 = -5*l - v for l.
-5
Let t = -18 - -21. Suppose -f = -t*f. Solve -7*y + 2*y - 20 = f for y.
-4
Let x(l) be the third derivative of -l**5/30 + l**4/4 + l**3/2 - 3*l**2. Let z be x(3). Solve -5*r + z*r = -8 for r.
4
Let k = -3 + 6. Let h be (k - 1)*3/(-2). Let s be h/1*(-4)/3. Solve -b + 5 = s for b.
1
Let q = 10 - 8. Solve 10 = 4*o - q*o for o.
5
Let b be 25/3 + (-8)/(-12). Suppose -b = -2*t - 3. Solve 2*c + c = t for c.
1
Let z be (6/(-9))/((-4)/6). Let g be (-42)/12*z*2. Let m(t) = t**2 + 7*t + 3. Let q be m(g). Solve 0*i = q*i for i.
0
Let o be 8/36 + (-4)/18. Suppose 4*t + 2 - 10 = 0. Suppose -t*q + 0*q + 6 = 0. Solve o = j - q for j.
3
Suppose 7*h = 4*h + 18. Let y be (-4)/(-4) - (-1 - h). Solve 5*v = v + y for v.
2
Let d(s) = s**3 + 2*s**2 - 13*s - 1. Let c be d(-4). Solve 0 = 5*p + c - 4 for p.
-3
Let j(a) = -a**3 + 14*a**2 - a + 18. Let o be j(14). Solve -2 = -o*g - 18 for g.
-4
Suppose 4*l = -l. Solve -4 = -2*u - l*u for u.
2
Let j(d) = 4*d + 2. Let m be j(3). Suppose m = 5*g - 11. Solve -p + 20 = -g*p for p.
-5
Let c be -19 - -17 - 3*-1. Let a(y) = y**2 - y + 9. Let t be a(0). Suppose g - 4*g + 6 = 0. Solve -g*j + t = c for j.
4
Suppose 19 + 71 = -10*h. Let k be (7 - -2)*1 + 1. Let w = h + k. Solve -5*u = w - 16 for u.
3
Let l(x) = x**3 - 1. Let n be l(2). Suppose 2*u + 4 = j, -3*j - 3*u + 5 = 2. Suppose j*z - n*z = 0. Solve 0*v - 3*v - 15 = z for v.
-5
Let c = 12 - 7. Let l(f) = f**3 - 5*f**2 + f + 4. Let o be l(c). Suppose 2*p = -p + o. Solve -p = -k + 1 for k.
4
Let l(x) = x**2 - x + 1. Let m be l(0). Let z be 2*((3 - 10) + 2). Let k = -8 - z. Solve m = 3*g - k*g for g.
1
Let l = 8 + -5. Let k(w) = w**3 - 13*w**2 + 13*w - 5. Let h be k(12). Suppose 5*a - 18 = h. Solve 2*d + a = -l for d.
-4
Suppose -2 = -y - 8. Let o = -4 - y. Solve o*x + 12 = -x for x.
-4
Let a(s) = s**2 + 4*s - 5. Let w be (2/1 - -3)/(-1). Let n be a(w). Let c(b) = -2*b - 6. Let r be c(-4). Solve n*y = -r*y + 2 for y.
1
Let f(u) = u - 2. Let b be f(5). Let c(x) = -6*x + b*x + 2*x + 7. Let m be c(5). Solve -9 = -m*i + 5*i for i.
-3
Let o = 5 - -1. Let n be 2/o - (-45)/27. Solve n*b = 8 + 2 for b.
5
Suppose t + 3*t = a - 14, -t + 39 = 4*a. Suppose 2*q + 3*q - 2 = -m, a = q - 3*m. Solve 1 = -z - q for z.
-2
Suppose -4*z + 32 = -4*y, 6*z + 3*y = 3*z. Let d = -11 + 18. Suppose -4*c + 4*p + 12 + 0 = 0, -3*c + d = -p. Solve -c = w - z for w.
2
Let d(k) = -k**3 + 6*k**2 + 6*k + 9. Let h be d(7). Let r(c) = c**3 - 3*c**2 + 2*c - 2. Let z be r(2). Let o be ((-8)/h)/(1/z). Solve 0 = 5*y + o + 7 for y.
-3
Let n = 9 + -7. Solve 0 = -a + n for a.
2
Suppose 0 = -2*l + 3*t - 7, 4*t = 3*l - 0*t + 8. Let g(f) = 4*f**2 + 5*f - 6 + f**3 + 3*f - 2*f**3 - f. Let w be g(5). Solve 0 = w*p - l - 0 for p.
1
Suppose -2*o + 8 + 11 = -5*q, 0 = -q - 1. Suppose 4*x = 1 + o. Solve -w = x - 6 for w.
4
Let o(q) = -2*q**2 + 3*q - 1. Let p be o(2). Let j be (p - -4)/((-2)/(-4)). Solve -2*f + 0 = j for f.
-1
Let n be 5/(-3)*(5 - 8). Suppose -3 = 2*g - n. Solve -10 + g = -3*h for h.
3
Suppose -a - 2*a - 18 = 0. Let u be (0 - -3)/(9/a). Let r be -2 - (1 + 28/u). Solve r = 2*d + 3 for d.
4
Let c be 117/27 - 2/(-3). Solve 3 = c*l - 2 for l.
1
Let q = 31 + -31. Solve q*l = -l - 5 for l.
-5
Let c(g) = -4*g + 7. Let b(r) = r - 1. Let o(z) = 6*b(z) + c(z). Let h be o(8). Solve -5*j = -h - 8 for j.
5
Let t = 43 - 75. Let m = t + 45. Solve 4*z = m - 1 for z.
3
Suppose -6*t = -6 - 6. Solve -3*z - t = 1 for z.
-1
Let b be -2 + 4 - (-2 - -4). Let g = b + 0. Solve -1 = -h - g*h for h.
1
Let z = 2 - -2. Suppose i + z*x = -20, -5*i + 7 + 8 = -3*x. Solve 15 = -i*w + 5*w for w.
3
Let q be -4*(-72)/16*1/2. Solve -q*u = -4*u - 10 for u.
2
Let x(h) = h. Let r(c) = -4*c + 6. Let l(o) = -r(o) - 6*x(o). Let v be l(-3). Solve v = -0*t + t for t.
0
Let p be (-2)/4 - 76/(-8). Solve 0 = y - 4*y + p for y.
3
Suppose r + 0 = 3. Suppose -r*j = j - 40. Solve -4*t + j = -2*t for t.
5
Suppose 3*f = 3*b - f + 51, -30 = 3*b + 3*f. Let j = -3 - b. Suppose -j - 15 = -5*o. Solve l + 0 = o for l.
5
Let k = -13 + 19. Solve v - k = -2*v for v.
2
Let g be 18/(-27) + 32/3. Let k = 8 - g. Let n be (-1)/k*-2 - -7. Solve -n = -m - 2*m for m.
2
Let q be ((-18)/(-21))/(2/56). Let y = 27 - q. Solve 0 = 2*u - y*u for u.
0
Let c = -7 - -13. Solve -4*z + c = -14 for z.
5
Let d be (-1)/(2/(120/(-2))). Let g = d - 18. Solve -4*o + 8 = -g for o.
5
Suppose -4*q + 2*q + 4 = 0. Suppose 2*m = 2*d - 54, -4*d + 107 = q*m - 13. Suppose 0 = -5*f + 1 + d. Solve 0 = 2*p - f*p for p.
0
Suppose 7*x + 2 = 16. Solve 0 = -x*r - r - 6 for r.
-2
Let d(w) = w**2 + 5*w + 3. Let h be d(-3). Let f = 5 + 0. Let r = f + h. Solve 0 = -t + r*t for t.
0
Suppose 4*t + 12 = 4*k, -4*t + 3 = -0*t - k. Let p = -57 - -61. Solve p*r - 2*r = t for r.
1
Let y be 1 - (-1 + 1)/(-3). Solve -y - 9 = -5*a for a.
2
Let n(g) = -2*g + 1. Let y be n(3). Let v be (5/(-2))/y*6. Solve 8 + 7 = -v*d for d.
-5
Let x(p) = p**2 + 8*p. Let q be x(-8). Let w be (q - -25)*12/15. Suppose 0 = 4*l + l - w. Solve -1 = t - l for t.
3
Let v be (-1 - -1)/((-4)/2). Suppose -5*n + 2 + 8 = v. Suppose 3*r - p = -n*p - 2, 2*p = 2*r - 4. Solve r*c + c = -2 for c.
-2
Let f(s) = s - 3 + 5 - 3. Let c be f(6). Suppose -2*o = 2*o + 3*n - 3, c*o = n + 18. Solve 2*r = -o - 5 for r.
-4
Suppose 8 - 23 = -3*r. Solve 5 = -r*q - 0*q for q.
-1
Let f be 104/91*14/4. Solve -5*l = -f*l for l.
0
Let o = -3 - -6. Suppose j + o*j = 80. Solve -4*c - c - j = 0 for c.
-4
Let h(j) = -4*j + 4. Let u be h(1). Solve u = -c - 2*c for c.
0
Let n be (12/(-2))/((-14)/35). Solve 5*f + 10 = -n for f.
-5
Let o(y) = y - 2. Let h be o(5). Solve -u - 1 = h for u.
-4
Let r be (2 - 2)/(6/2). Let c(u) = -u + 1. Let b be c(1). Let q(w) = -w**3 - 4*w**2 - 3*w + 3. Let o be q(-3). Solve b*v + v - o = r for v.
3
Let u(m) = -m**2 + 7*m. Let k be u(6). Let v = -3 + 6. Solve -n = -v*n + k for n.
3
Let z be (-16)/(0 - (-2 - -3)). Suppose -3*a + 4*f + 12 = 0, -a = -4*f - z + 4. Suppose -1 = 5*i - 11. Solve a = -2*v + i for v.
1
Suppose 3*d = 4*d - 2. Suppose y + 3*b + 6 = 0, 2*y = 3*y - 5*b - 18. Suppose 4*i + y*x = -1, 10 = 2*i - 3*i - 4*x. Solve -i*f + 6 = -d for f.
4
Let k be -7 - -9 - 4/2. Solve k*o - 5*o - 20 = 0 for o.
-4
Let a(c) = 5*c**2 + c + 1. Let w be a(-1). Suppose -p = -3*h + 2*h - 33, 4*h = 3*p - 103. Solve -p = -w*m - 4 for m.
5
Suppose -4*a + 22 = -2*u, 5*a - 9 - 23 = 4*u. Suppose 2*p = a*p. Suppose q + 4*w = -3*q + 88, p = 3*q + w - 64. Solve -q = -4*o - 5 for o.
4
Let b(l) = -l - 1. Let x be b(-4). Suppose x*t - 3 = 3. Solve 0*i - t*i = -6 for i.
3
Let a(q) = -2*q + 1. Let p be a(-2). Let c(t) be the second derivative of t**4/12 + 2*t**3/3 + 2*t. Let i be c(-4). Solve 4*z + p + 3 = i for z.
-2
Let d(k) = -k**2 + 5*k - 3. Suppose -5*x - 10 = -3*o - 4*x, 3*o - 2 = 5*x. Let t be d(o). Solve -4*q = 19 + t for q.
-5
Let n be -3*((-4)/2 + 3). Let h be n/4*(-32)/12. Solve -h*w + 6 = -0*w for w.
3
Let k = 8 + -6. Suppose n = -k*y + 11, 0 = -4*n + 3*n - 1. Let v be (-3)/(-2)*16/y. Solve -3*t = -t - v for t.
2
Let m = -1 - -23. Suppose 0 = 4*i - 5*w - m, 4*i - 38 = 2*w - 5*w. Solve 0*o + i = 4*o for o.
2
Suppose -s - 2*s + 5*v = 10, -5*s + 8 = 4*v. Suppose -2*t + t = s. Let x be t/(1/(-1 + 0)). Solve x = 5*i + 3 - 23 for i.
4
Suppose 2 = -2*i + 6. Solve i*z = z for z.
0
Suppose -p - 3*o + 15 = 0, 0*o = 3*p - 3*o + 15. Let t = p - -5. Let n be (-3)/4 - 15/(-20). Solve -t*f - 20 = -n for f.
-4
Let s(j) = -j**2 - 3*j - 2. Let v be s(-2). Solve v = -2*y + y + 5 for y.
5
Suppose -3*r - r = -24. Suppose d - r*d + 100 = 0. Solve 2*x = -3*x - d for x.
-4
Let f(b) = -b**2 - 4*b + 32. Let a be f(-8). Let v be 4*(3 - (2 + 0)). Solve a*o = -v*o for o.
0
Let j(m) = -m**3 + 5*m**2 + 8*m. Suppose 5 = 2*r - 7. Let g be j(r). Solve 7*h = 4*h - g for h.
-4
Let y = -4 + 7. Let u be (-3)/(-12) + y/(-12). So