- 4*s - 5. Let t be c(d). Solve r*z + 6 = -t*z for z.
-2
Suppose 0*z - 9 = -3*z. Suppose -2*k - 8 + 30 = 0. Let l be (-2)/6*-3 + k. Solve l = -z*w - w for w.
-3
Let q(t) = t**3 + 8*t**2 - 2*t - 10. Let m be q(-8). Let o = 7 - 4. Suppose 0 = -k - o*k. Solve k = -2*l + m*l for l.
0
Let p(o) = -o + 2. Let t be p(6). Let f = t - -7. Solve -3 = f*q - 2*q for q.
-3
Let r(j) = j**2. Suppose 6*t - 9*t = 6. Let s be r(t). Suppose -16 = -s*d, 2*o - d - 2 = -0*d. Solve 3*q = 9 - o for q.
2
Let v(k) = k**2 + k - 2. Let t be v(2). Let i be (12/6)/(t/10). Solve p + i = 1 for p.
-4
Suppose -q - 15 = 4*q. Let k be 1 + (-9)/q + 0. Solve -10 + 26 = k*v for v.
4
Let a be 1 - (22/(-2) + 2). Suppose c - 2*c + a = 0. Solve 0*l - 5*l = -c for l.
2
Suppose -2*k + k = -6. Suppose -x = x + k. Let f be 0*(-1)/x + 2. Solve -f*i = -i + 3 for i.
-3
Let a(f) = f**2 - f + 3. Let t be a(0). Solve -2*x - 25 = t*x for x.
-5
Suppose -w - 8 = -2*b, 3*w + 2*w = b + 5. Suppose -2*y = -w*v, v + 5*y - 4 = 2*v. Let m be v*(-2 + 10/2). Solve 0 = k + 2 + m for k.
-5
Suppose -6*g = -4*g + 6. Let z = -3 - g. Solve m - 3*m = z for m.
0
Let l be 12/6 - -6*1. Let y be (-1 - 17)*l/(-12). Solve -2*k + y = k for k.
4
Suppose -5*z + 11 = -19. Solve z = -5*i - 4 for i.
-2
Let k = -3 + 12. Suppose 0*z - k = -3*z. Suppose z*j - j = 6. Solve j*a = -2 + 17 for a.
5
Let p(l) = -1 - l + 2*l - 1 + 3*l. Let n be p(2). Suppose -8*v + n*v + 10 = 0. Solve v*j = j for j.
0
Let x(r) = -2*r - 5. Let d(m) = m + 2. Let f(a) = 13*d(a) + 6*x(a). Let t be f(4). Solve -4*i + 9*i - 5 = t for i.
1
Let k(m) = m**2 - 5*m - 7. Let g be k(5). Let p(d) = d**2 + 7*d. Let t be p(g). Suppose -3*i + 4 = -8. Solve t = n - i*n + 6 for n.
2
Let v(t) = 3*t**2 + 2*t + 3. Let x(f) = 4*f**2 + f + 3. Let s(l) = 5*v(l) - 4*x(l). Let n be s(5). Solve -5*z = 12 + n for z.
-4
Suppose -5*v = -4*x - 120, v + 1 = -5*x - 4. Solve 4*r = -0*r + v for r.
5
Suppose 2*a + 5 = 3. Let g be (-1)/(-1)*(a - -1). Solve 20 = -g*j + 4*j for j.
5
Let h = -45 - -65. Suppose r + h = 5*r. Suppose 4*d = -2*b + 10, 2*d + 0*d = r*b - 25. Solve 5 = -b*t - 5 for t.
-2
Let s = -6 + 8. Let x(o) = -o + 15. Let a be x(13). Solve -3*u - a = -s*u for u.
-2
Let l(y) = y**2 - 12*y - 8. Let j be l(13). Suppose -7 = -b + 13. Solve 0*t - b = j*t for t.
-4
Suppose -2*y + 3 = -1. Suppose -10 = -4*a - y*f, 3*a - 8 = -5*f + 17. Solve a*c = -c - 3 for c.
-3
Suppose -z = -4*v - 6, 0*z = 2*z + 3*v - 1. Suppose -6 = -z*h - 0. Solve q = -h*q for q.
0
Let p be ((-4)/(-3))/(6/9). Let s be (32/24)/(-4) - (-1)/3. Solve -p*a - a = s for a.
0
Let q = -14 + 10. Let k = 4 + q. Let m be 11/2 + 12/(-24). Solve 0*s + m*s - 10 = k for s.
2
Let m be (-76)/(-6) + (-2)/(-6). Let q = -9 + m. Let f be (0 + 3 - 0) + -1. Solve -4*t = -f*t - q for t.
2
Let s = 3 + -2. Suppose -4*j + 5*c = 12, 3*j - c + 3*c = 14. Let w be j + (0 - 3/(-3)). Solve w*o - 4*o = -s for o.
1
Let x = -6 + 9. Suppose -2*s - 3*n - x = 2, 0 = 2*s - 2*n - 10. Solve 1 = -s*d - 7 for d.
-4
Suppose 0 = -q, -n + q = 6*q + 1. Let h = 1 - n. Let t be (-3)/9*(-24)/h. Solve 5*b = t*b + 3 for b.
3
Let p be 11/(-2) - (-1)/(-2). Let d(m) = 2*m + 2. Let c be d(-5). Let a = p - c. Solve a*q = -q - 3 for q.
-1
Let j = 57 + -34. Let f = j + -16. Suppose -f*b + 64 = -3*b + 4*s, -3*b + 54 = 5*s. Solve 4 = 3*c + b for c.
-3
Suppose 5*s = 15, -9 = 2*p - 5*s + 2. Suppose 0*k + p*h = 3*k - 6, -5*k - h + 23 = 0. Let o = k - 4. Solve 0 = -o*c - 4*c - 8 for c.
-2
Suppose -s - 2 = 3. Let y = s - -8. Solve v = y*v + 2 for v.
-1
Suppose 4*g - 25 = 11. Suppose 0 = -5*o - g - 41. Let y be (15/o)/((-6)/8). Solve y*s = -1 - 1 for s.
-1
Suppose -2*s = -3*s. Solve 2*b - 5*b - 3 = s for b.
-1
Let u(k) = -k**3 + 6*k**2 + 2*k + 4. Let m be u(6). Let d be 3/9 - m/(-6). Let b be 1/(d + (-15)/6). Solve -b = 2*f - 4*f for f.
1
Let j = 124 + -121. Solve -j*m + 0*m = 0 for m.
0
Suppose -5*l = -3 - 12. Solve 5*v + l - 18 = 0 for v.
3
Let v(a) = a + 3. Let b be v(3). Let q(j) = 2*j**2 - j. Let y be q(-1). Suppose 0 = -5*d + y*d. Solve g - b*g = d for g.
0
Suppose 10*n = 11*n + 2. Let m(t) = 7*t**2 + 2*t + 1. Let s be m(n). Solve 3*o = -2*o + s for o.
5
Suppose -2*w + 6*w = 0. Let n = 7 - 4. Solve w = 4*d + 1 + n for d.
-1
Suppose -3*a + 5*d + 13 = -7, -4*d - 12 = -2*a. Let m = -5 + a. Solve -4*s = m - 1 for s.
-1
Let p be 4 + (3 - 0 - 5). Solve p*g + 3*g = 0 for g.
0
Suppose -5*y = 4*s - 170, 154 = 3*s - y + 36. Suppose -s = 2*c - 7*c - 5*z, -4*c + 20 = z. Suppose l = c*x - 36, 5*x - 18 - 14 = -2*l. Solve x = -j + 5*j for j.
2
Let p(d) = -d**2 - 19*d + 46. Let v be p(-21). Solve 2 = v*u + 6 for u.
-1
Let b(d) = d - 1. Let a be b(3). Let c(p) = p**3 + 4*p**2 - 5*p + 4. Let m be c(-5). Suppose -4*g + o = 6*o + m, a*g = -5*o - 12. Solve -y - 15 = g*y for y.
-3
Suppose 1 = -h - 0*p - 2*p, 3*p = -h - 5. Let m(y) = -y**3 + 7*y**2 - y + 10. Let g be m(h). Suppose -20 = -g*r - 8. Solve -5 = r*q + q for q.
-1
Suppose -2*k - 3*m = -7*m + 6, 9 = k + 2*m. Solve k*u + 1 = 7 for u.
2
Let j be (11 - 12)*(-2 + 1 + -2). Let k = -2 + 4. Suppose 4*x - 4 = k*r - 16, 5*r - 21 = x. Solve r = j*p + 10 for p.
-2
Suppose -4*i - 2*p = -3*p - 93, 0 = -4*i - 3*p + 105. Solve 5*w = -i + 4 for w.
-4
Let n(c) = -c**3 + 4*c**2 - 2*c. Let a be n(2). Solve -z = -0*z - a for z.
4
Suppose 0 = 2*x - 11 + 3. Let t = 13 - x. Suppose 0 = -y - 2*y + t. Solve -k + 2 = -y for k.
5
Let d(j) = -29*j**2 + 27*j**2 + 4*j + 5*j**3 - 3*j. Let g be d(1). Suppose -3*x = -u - 0*x + 8, 12 = g*u - 2*x. Solve -7*h = -u*h - 10 for h.
2
Let d = -6 + 10. Solve d*k - 8 = 8 for k.
4
Let q(l) = -2*l**2 - 3*l - 9. Let w(h) = h**2 + h + 4. Let g(v) = 4*q(v) + 9*w(v). Let c be g(4). Solve -4*y + 0*y - c = 0 for y.
-1
Suppose 18 = 5*s + 8. Solve 8 = -6*m + s*m for m.
-2
Suppose 3*n - 2*n - k - 1 = 0, k + 1 = 0. Suppose 3*z = -n*z + 15. Suppose 10 = z*j - 0. Solve 0 = j*g + 1 - 3 for g.
1
Suppose 0 = -6*c + 13 + 5. Solve 0*t + t + c = 0 for t.
-3
Let p = 246 + -243. Suppose a - 2*a + 8 = 0. Solve p*y + y = a for y.
2
Let d be 3/((-6)/(-4) + -2). Suppose 2*n = -2*n - 12. Let v be (1*n)/3 - d. Solve 0 = 4*q + q - v for q.
1
Let d(f) be the second derivative of f**4/12 + f**3 - 2*f**2 - f. Let p be d(-7). Let n be (0/2)/((-18)/(-18)). Solve n = -p*o + 2*o + 5 for o.
5
Let o be -2 + 3*(-24)/(-9). Let r be 32/o - (-8)/12. Suppose r + 0 = 3*z. Solve 6 = -2*a + z for a.
-2
Let g = -5 - -5. Solve g = q - 7 + 3 for q.
4
Let n(f) = f + 16. Let x be n(-8). Solve 2*c = 4*c - x for c.
4
Let x = 26 - 24. Suppose y + 4 = u, -y - 2*u - 13 = -6*u. Let l be 0 - (2 - 1)/y. Solve -l = x*v - 7 for v.
3
Let f = -19 + 11. Let y(u) = u**2 + 9*u + 10. Let h be y(f). Suppose h*v = 3 + 25. Solve 5*r + v = 4 for r.
-2
Suppose -d = -0*d + 10. Let i be (24/d)/((-3)/(-30)). Let s be 4/i - (-62)/12. Solve s*j - 36 + 11 = 0 for j.
5
Suppose -5*n - t = -0*t - 42, 2*n = 4*t + 8. Suppose 4*j - 4*o + 8 = -0*j, -2*o + n = 0. Solve -i + 1 = -j for i.
3
Let y(z) = -z**2 + 9*z - 4. Let u be y(8). Suppose -2*l - u*i = 0, -i = 2*l - 0*i - 3. Solve l*k + 2*k = 4 for k.
1
Suppose 0 = 3*f - c, 4*f + 3*c = 2*f. Let q = 4 + -6. Let i = 7 + q. Solve -4*z + 7 + i = f for z.
3
Let q(y) = 0*y + y + y**2 + 0*y. Let w be q(-2). Let h = w - 0. Solve 0 = h*k + 10 for k.
-5
Suppose -3*o + 2*o = 0. Solve 4*j = -o*j for j.
0
Let t(a) be the third derivative of a**5/60 - 7*a**4/24 + a**3 - a**2. Let x be t(6). Let q be 0 + x + 1 + -1. Solve w = -q + 5 for w.
5
Let u be -3 - -1 - (-1 - 4). Let a(r) = -6*r - 5 - r**3 - 6*r**2 + 2*r**3 + 0*r**u + 0*r**3. Let z be a(7). Solve z*d = -d for d.
0
Suppose -v - 2*q + 5*q = -12, -3*v = 2*q - 36. Let l = -2 - -6. Suppose -3*j + 11 = 5*i - 2, l*j = -4*i + v. Solve -u - u = i for u.
-1
Let p(b) = b + 6. Let k be p(-5). Solve 7 + k = 2*m for m.
4
Let q(p) = -p**2 + 3*p + 1. Let g be q(3). Solve -2 + g = b for b.
-1
Let i(b) be the first derivative of b**4/4 + 2*b**3 + 5*b**2/2 - 7*b + 2. Let f be i(-5). Let y be 2/f + (-2)/(-7). Solve 4*x + 12 = -y for x.
-3
Let s = 5 - 3. Let y = 8 + -11. Let g be (-6)/9 - s/y. Solve -2*n - 2 = -g*n for n.
-1
Let t be (-116)/(-10) + 4/10. Let y be -2*1 + t - 0. Suppose -4*z + 16 = -0*z. Solve k + z*k - y = 0 for k.
2
Let a be (5 - (-20)/(-6)) + (-4)/(-3). Solve -s - a*s = 12 for s.
-3
Let a = -16 + 24. Let l be (4 - 1)/((-1