l - t = 12 for l.
4
Let b be (3 + -1)/(-2) - -1. Suppose 4*s = -3*t + 4, t + 0*t + 2 = -3*s. Let f be 2 + b - t/(-2). Solve -o = -f*o for o.
0
Let o(j) = j + 10. Let i be o(-7). Suppose 0 = i*r - 5*r - 3*y + 15, 3*r + y - 5 = 0. Solve 0*s - s + 1 = r for s.
1
Let g(h) = -h**2 - 20*h + 72. Let b be g(-23). Let t(r) = -r**3 + 6*r**2 - 4*r - 1. Let n be t(4). Solve 0*k - b*k = -n for k.
5
Let z = -11 + 16. Let b(x) = -x**3 + 4*x**2 + 4*x + 6. Let p be b(z). Let f = -1 + p. Solve 0 = -q - f*q + 5 for q.
5
Let c be 3 + -2 + 14 + 0. Suppose 3*r = -2*r + c. Solve 0*t + t - r = 0 for t.
3
Let f(i) = -i - 10. Let g be f(-10). Suppose g = 16*l - 15*l - 4. Solve 10 = -l*o - o for o.
-2
Let h = 44 + -42. Solve y = 3 + h for y.
5
Let y(h) = -h - 5. Let j be y(-9). Solve -g = -j*g - 9 for g.
-3
Suppose -4*l + 24 = 4*l. Let q be 4/(0 - -2) - 2. Suppose q*p = -p + 2. Solve -1 = -p*y + l for y.
2
Let r(p) = -p**3 + 8*p**2 - 11*p - 7. Let o be r(5). Solve 5*n = 7 + o for n.
4
Let h be (-6)/(-15)*(16 + -1). Solve -h*n + 3*n - 9 = 0 for n.
-3
Let f = -199 + 216. Solve f = -3*c + 2 for c.
-5
Let r be ((-18)/8)/(-3)*4. Suppose -r*o + 5*o = 6. Suppose 2*j = 5*u - 10, 3*u - 4 = j + o. Solve 0 = u*x - 0*x for x.
0
Suppose 0*k + k - 5 = 0. Suppose 5*y + 0*t - t = -k, y = -5*t + 25. Suppose 0 = -2*d + 5*d - 2*l - 24, -3*l = y. Solve o = -o + d for o.
4
Let n(q) = q**2 + 10*q + 24. Let j be n(-6). Solve -2*m + 2 + 6 = j for m.
4
Let m(i) = i**3 + 9*i**2 - 11*i - 12. Let r be m(-10). Let v be 1/2*r - -5. Solve a + v*a = -25 for a.
-5
Let o(b) = -3*b - 9. Let t be o(-4). Solve -3*c - 6 + t = 0 for c.
-1
Suppose -5*m = -3*m + 2. Let b be m - (-4 - (3 - 6)). Solve 3*d - 7*d - 4 = b for d.
-1
Suppose -20 = -4*f - 2*k + 6*k, -f - 3*k - 3 = 0. Let u = 31 + -17. Solve -u = -f*w - 2 for w.
4
Suppose 4*y - 5*m - 58 = -21, 2*y - 21 = 3*m. Solve -y*b = -0*b for b.
0
Let h = -11 + 19. Let y be ((-5)/(-2))/(4/h). Solve y*t = -0*t - 15 for t.
-3
Let q(d) = d**2 - 14*d + 17. Let r be q(13). Suppose -20 = 5*a, j + a + r*a = -17. Solve j*s = s - 6 for s.
-3
Suppose 0 = -2*b - b. Let v be 6 + -3 - b/2. Let u(d) = 2*d - 2. Let x be u(v). Solve -2*g + 12 - x = 0 for g.
4
Let i = 11 + -2. Solve i + 0 = -3*r for r.
-3
Suppose -10 = -i + 7. Let p = i - 29. Let a = 18 + p. Solve -a*k = -2*k + 16 for k.
-4
Let a(d) = 14*d - 21. Let m(w) = -5*w + 7. Let b(l) = 4*a(l) + 11*m(l). Let s be b(7). Solve s - 2 = 2*r for r.
-1
Let d = -9 + 16. Solve 3*c = d*c - 12 for c.
3
Let v = -54 + 62. Solve -v + 0 = -2*s for s.
4
Suppose 0*j - j = -3. Let h be (-6)/(-27) - 6/27. Suppose 2 = -d + 2*d. Solve n - d - j = h for n.
5
Suppose 58 = 2*h - 22. Let k = h + -23. Solve -1 = -4*d - k for d.
-4
Let g be 2/5 - 196/(-35). Let n(w) be the second derivative of -w**5/20 + 7*w**4/12 - 7*w**3/6 + 9*w**2/2 + 7*w. Let z be n(g). Solve -z = c - 2*c for c.
3
Let z be (-7)/(-6) - 4/24. Solve -2*x - 3 = z for x.
-2
Let n(c) = 4*c - 7. Let b be n(3). Solve 3 = 8*i - b*i for i.
1
Let n be (-1)/(2/4)*-1. Let t(x) = 4*x**3 - 3*x**3 - 3*x + 3 - 1 - 1. Let w be t(n). Solve 5*c = -13 + w for c.
-2
Let w(x) be the second derivative of x**4/12 - x**3 - x**2/2 - 2*x. Let f be w(7). Solve -f*a + 5 = -a for a.
1
Suppose -2*d - 4 = 6*c - 4*c, 2*c - 5*d = 24. Solve -c*b = -b for b.
0
Let u be ((-1)/2)/((-2)/(-24)). Let p(b) be the second derivative of -b**5/20 - b**4/2 - 2*b**3/3 - 9*b**2/2 - 8*b. Let o be p(u). Solve -3*r + o = 2*r for r.
3
Let p = -1 + 2. Suppose 0 = -18*g + 16*g + 10. Suppose -6*b + 7*b + 5*r + p = 0, -21 = -g*b + r. Solve b*h - 20 = -0*h for h.
5
Let n be 1 + (0 + -2)*1. Suppose -4*h + 140 = -0*h. Let o be (n - 1) + h/5. Solve o = -2*k + 15 for k.
5
Let c = -3 + 15. Let k(n) = -n. Let m be (8/(-6))/((-1)/(-3)). Let p be k(m). Solve -c = -a + p*a for a.
-4
Let r be 5/4 - 2/8. Let p be (2/3)/((-6)/(-45)). Solve -p*z + 4*z = r for z.
-1
Let f = -1 - -1. Let r(p) = p**3 - 2*p + p**2 - 2*p**3 + 3 + p. Let i be r(f). Solve i*h = 2*h + 4 for h.
4
Let h(k) = k**3 + 3*k**2 + k + 3. Let y be h(-3). Suppose y = 5*m - 2 - 13. Solve 0*q + m*q + 9 = 0 for q.
-3
Suppose 2*c - 36 = -5*s, -c = -s - 0*c + 3. Let h = s - 0. Let b(m) = m**2 - 5*m - 2. Let o be b(h). Solve -a + 2 = o for a.
-2
Let a = 3 + 0. Suppose 0 - 6 = -3*y. Solve 0 = y*z + a*z + 20 for z.
-4
Let c = 0 + 5. Suppose 10*x = c*x. Solve x = -3*y + 6 - 0 for y.
2
Suppose -4*z + 2*z = -2. Solve -16 = 5*b - z for b.
-3
Let m = -2 - -5. Let z(r) = r**2 - 4*r + 3. Let h be z(m). Solve -5*a + a = h for a.
0
Let w(x) = x**2 - 4*x - 3. Let v be w(6). Solve 0*d + 3*d = v for d.
3
Suppose -51 = 6*n - 21. Let l = n - -8. Solve l*k - 4*k = -4 for k.
4
Let d(l) = l**2 - l - 13. Let m be d(0). Let v(y) = 9*y**3 - y. Let j be v(-1). Let u = j - m. Solve -5*s + 30 = u for s.
5
Let v be (-4 + 2)*-1 + -1. Let y be 5 + -8 + 8/v. Solve l = y*l for l.
0
Let l(u) = -u**3 - 7*u**2 + 9*u + 8. Let g be l(-8). Solve -5*k + 16 + 4 = g for k.
4
Let j = 7 + -5. Let u = -7 + 6. Let v = u + 5. Solve -j*x = -x + v for x.
-4
Suppose 0 = -0*u - 2*u + 6. Suppose -u*t - o + 74 = -5*o, 4*t + o - 86 = 0. Suppose b = -b. Solve 5*z + 2 - t = b for z.
4
Let j = -23 + 41. Let n be (8/6)/(12/j). Solve 0 = 2*p - n - 2 for p.
2
Let d(s) = 23*s**3 - s. Let q(a) = -2*a - 4. Let j be q(-3). Let c be d(j). Let t be c/9 + 4/(-18). Solve 7*z - t = 2*z for z.
4
Let y be 2 - (-3 - -1 - -1). Let x = 300 + -298. Solve x = -y*h - 4 for h.
-2
Let w(i) = -i**2 + 3*i + 4. Let x be w(4). Let h(k) = k**2 - k + 3. Let z be h(x). Solve 0 = -2*u - z*u for u.
0
Let u be (19 + (-4)/1)*(-5)/(-3). Solve 0*c - 5*c + u = 0 for c.
5
Let y(v) = v**2 + v - 1. Let t(r) = -r**2 + 8*r + 6. Let h be t(8). Let d = -4 + h. Let k be y(d). Solve -11 + 36 = -k*g for g.
-5
Suppose 0 = 3*a + 2*u, 0 = 2*a - 2*u + 2 - 12. Solve -2*n - a = -3*n for n.
2
Let s(c) = c**2 + c - 2. Let i be s(1). Solve i*b = b - 5 for b.
5
Suppose 4*u - 4*m + 23 - 3 = 0, -5 = -m. Let r = -6 + u. Let k be r/9 - 2/(-3). Solve -5*p + 3 + 12 = k for p.
3
Let f = 8 - 4. Solve -4*n + 3*n = -f for n.
4
Let x(l) = -l**2 - 7*l - 8. Let i be x(-4). Solve -i*p = p - 25 for p.
5
Let f be (4 + -7)*(2 + 16/(-6)). Solve 7 = -f*o + 17 for o.
5
Let r = -29 - -29. Solve r*n - 15 = -3*n for n.
5
Let v(h) = -h**3 + 5*h**2. Let n be v(5). Suppose -t - 3*a + 9 + 62 = n, 4*t - 300 = 4*a. Let q = t + -49. Solve -x + q = -6*x for x.
-5
Let k(g) = -g**2 - 9*g - 14. Let y be k(-6). Solve y = -4*h - 0 for h.
-1
Let l be (70/(-98))/((-1)/7). Solve -l*y - 3 = 2 for y.
-1
Suppose 0*i = -5*i + 30. Solve -i*g - 25 = -g for g.
-5
Let l(w) = -2*w - 2. Let x be l(-6). Let g = 3 + -5. Let j be ((-54)/30)/(g/x). Solve -2*a = -5*a + j for a.
3
Let d(i) = i + 4. Let j be d(16). Solve 6*b = b - j for b.
-4
Suppose j = 2*z + 2*z - 17, 0 = -2*z - 4*j - 14. Solve -1 - z = 4*l for l.
-1
Let v(w) = w**3 + w + 2. Let o be v(0). Suppose -o*y = -5*n - y + 17, n - 3*y = -5. Solve 0*q + n = -2*q for q.
-2
Suppose -3*p - 12 = -4*p. Suppose 3*w = -5*v + p, 2*w - 6*w - 3*v + 16 = 0. Solve 0*h = -w*h for h.
0
Let a be (1 - 2) + (-33)/(-11). Solve -s = a*s - 3 for s.
1
Suppose 4*i - 59 = -5*o + 3, 5*o - 5*i = 80. Solve 5*h + 11 = -o for h.
-5
Suppose 0 = -x - 2*x. Suppose 0 = -0*u + 4*u + 4*r + 8, 4*u + 12 = -5*r. Solve x = -u*l + l - 1 for l.
-1
Suppose 0 = -7*v + 2*v. Suppose v = -3*p - 3*d - 3 - 3, 0 = 3*p - 2*d + 6. Let l = p + 2. Solve -6 + l = 2*g for g.
-3
Let p(y) = -11*y**3 + 9*y**2 - 9*y - 2. Let w(g) = -5*g**3 + 4*g**2 - 4*g - 1. Let k(l) = -4*p(l) + 9*w(l). Let d be k(-1). Solve d*c = -5*c for c.
0
Let n(d) = d**3 + d**2 - 4*d - 4. Let y(r) = 2*r**3 - 5*r - 4. Let f(a) = -3*n(a) + 2*y(a). Let t be f(3). Solve 2*i + 3*i - t = 0 for i.
2
Let m = -9 - -14. Suppose 0 = m*y - 2*s - 10, 0 = -y - y + s + 4. Suppose -5*u + 5*i - 5 = 0, -i - i = 2*u - 18. Solve 6 = y*c - u*c for c.
-3
Suppose -4*g + 16 = -0*g. Suppose 3*t + 86 = 2*k - 3*k, -2*k + 108 = -4*t. Let v be 21/t + (-46)/(-8). Solve -3*q = -g*q - v for q.
-5
Suppose 7 = -4*a - 1, 3*a + 74 = 4*k. Suppose -3*j + 4*j = q + 2, 4*j = q + k. Solve -5*g - j = -25 for g.
4
Suppose 0 = 4*s - 16, 0 = 2*v + s - 5 - 3. Solve -3 = 5*m + v for m.
-1
Suppose -4*n = -7*n - 2*b + 28, 5*b - 43 = -3*n. Solve -3*r + 5*r = -n for r.
-3
Suppose -53*z + 59*z - 18 = 0. Solve 0 = -z*d + 2*