r, -3*l + 4*z = -47 + 15. Solve 2*d + l = -d for d.
-4
Suppose 10 = -2*x + 4*x, -57 = -2*k - 5*x. Solve k*j - 13*j = 6 for j.
2
Let o be 1/(-1*(-1)/24). Suppose -u - o = 3*h, -u + h - 1 = 11. Let g be (12/u)/((-6)/15). Solve -2*k = g*k + 8 for k.
-2
Let y(x) = x**2 + 13*x + 25. Let r be y(-11). Solve 5 = -r*i + 20 for i.
5
Let d(s) = s**2 + 7*s + 6. Let o be d(-7). Suppose u + o = 3*u. Solve -4*x - u = -15 for x.
3
Suppose -8 = 3*v + 7. Suppose -5*f + f - 20 = 0. Let x = f - v. Solve -4*i + 4 = -x for i.
1
Suppose i - 2*i + 18 = 0. Let c = i + -10. Let p be 1/(-4) - (-2)/c. Solve -4*u + 4 + 0 = p for u.
1
Suppose 2*b = 3*b - 2. Suppose -4*m = -4*v + 56, 5*v = 7 + 3. Let l be (9/b)/((-2)/m). Solve -7 = 4*o - l for o.
5
Let h = 12 - 7. Suppose 5*y = 2*y - 3*j + 33, -2*j = -h*y + 20. Solve -k - k + y = 0 for k.
3
Let t(o) = -o. Let v be t(-5). Suppose v*c + 5 = 20. Solve -c*j - 16 = j for j.
-4
Let a = 15 + -10. Suppose -2*k - 5 = a*c, 3*c + 22 = -6*k + k. Solve -l - 1 = c for l.
-2
Suppose 0 = -6*p - 3*p + 54. Solve -2*v + 0 = -p for v.
3
Suppose -2*c = 3*f - 13, -3*f + 10 = 5*c - 0*c. Solve -2*n = -3*n + f for n.
5
Let z = -91 - -91. Solve z = -2*i + 7 - 1 for i.
3
Let w(z) be the first derivative of z**4/4 - z**3 - 2*z**2 + z + 3. Let q(a) = a**3 + 2*a**2 - 3*a + 4. Let y be q(-3). Let i be w(y). Solve -2*d - i = 1 for d.
-1
Let t be -1 - 4/(8/(-14)). Suppose t = -y + 2*y. Suppose 6 = -3*c + y*c. Solve -c*i = -i + 5 for i.
-5
Let h = -31 + 59. Suppose -8*g + h = -4*g. Suppose g*r - 5*r = 4. Solve 2*s - 12 = -r*s for s.
3
Let k(q) = -2*q**3 + q**2 + 2*q + 2. Let n be k(-1). Solve -n = 3*b - 2*b for b.
-3
Let v = 22 + -18. Suppose -v*j + 24 = -3*x, 3*x - 10 = -2*j + 4*x. Solve -j*i = -i for i.
0
Let w(z) = -z**3 - 7*z**2 - z - 3. Let x = -10 + 10. Let r be -5 - (1 - -1 - x). Let c be w(r). Solve 0 = c*y + y + 5 for y.
-1
Let t be 3/4 - 93/124. Solve 0 = -t*x + x + 1 for x.
-1
Let b be (-2)/8 + 26/8. Solve b*r - 8 = -r for r.
2
Let i(d) = d**2 - 4*d - 5. Let w be i(5). Let s = w - -5. Solve 17 = s*f + 2 for f.
3
Suppose -o = 2*l - 3, 0 = -5*o - 5*l - 12 + 27. Let i be (-3)/(27/3)*o. Let p be 17 + (5 + -3 - i). Solve -r = -5*r - p for r.
-5
Let y be 6/9*(-78)/(-4). Suppose 4*z = 2*z + 14. Solve -z = 5*x + y for x.
-4
Suppose 16 = 6*o - 2*o. Suppose -3*c - 2*c = -o*l + 6, 4*c + l - 12 = 0. Let r = 1 - 0. Solve f + c = r for f.
-1
Suppose -12 - 3 = -3*s. Let p(j) = -j + 8. Let i be p(0). Suppose 0*c = -2*c + i. Solve r - s = -c*r for r.
1
Let k(x) = 16*x + 1. Let j(c) = -3*c. Let s(o) = -11*j(o) - 2*k(o). Let u be s(2). Solve -5*z + 15 = -u*z for z.
3
Let r(g) = -g - 6. Let b be r(-6). Suppose 0*z + 5*z - 25 = b. Suppose 0*u - 4*u + 10 = -2*q, -2*u - z = q. Solve -3*y + 0 + 3 = u for y.
1
Let m(y) = 3*y**3 - y**2 - y + 1. Let b be m(1). Suppose b*q - w + 4*w = 25, 0 = 3*w - 9. Solve a - q = -a for a.
4
Let u be (-18 - -15) + (5 - 1). Solve 0*d + u = d for d.
1
Let w be ((-1)/(-1)*-15)/1. Let f be 5/w + (-2)/(-6). Suppose 2*m - 6 = -f*m. Solve 5 = m*b - 7 for b.
4
Let d = -54 - -61. Suppose 3*k = 5*k - 4. Solve -d*q + 5 = -k*q for q.
1
Suppose 0 = 5*v - 8 - 2. Suppose -3*t = v*t. Solve -4*o + t*o = -16 for o.
4
Suppose 4*r = -0*r + 4. Let h be (-2)/4*(-5 - r). Suppose 0 = 2*o - 627 + 623. Solve 0 = -h*v + o*v for v.
0
Let d be 8/(-6) + ((-68)/(-3))/2. Solve -d*v + 8 = -6*v for v.
2
Suppose 5*y + 0 = -5. Let k = y - -3. Let t = k - 0. Solve -b = -t*b for b.
0
Let q = 8 - 4. Let t be (0 - 0) + (-6 - -2). Let z = q + t. Solve z*d = 4*d for d.
0
Let k = -31 - -36. Solve 0 = k*o - 5 for o.
1
Let i(s) = s**2 + s - 4. Let r be i(-5). Solve -z - 11 = -r for z.
5
Let j = -29 + 31. Solve 8 - j = -3*r for r.
-2
Let j be 22/4*(1 - -1). Suppose -4*f + 0*y - 3*y = -j, 5*f + 4*y = 13. Solve f = 4*q + q for q.
1
Suppose 2*l - 2 = 5*j, 0*j + 2 = -2*j + 2*l. Solve -2 + j = -v for v.
2
Let s be -1*(0 - (-1 + 4)). Suppose -2*z = s*z. Solve -4*o + 1 - 9 = z for o.
-2
Let f(k) = 2*k**2 - 19*k - 7. Let c be f(10). Solve -2*l - c = l for l.
-1
Let t be ((-1 + 1)/(-3))/2. Let p be t + ((-12)/(-2) - -1). Solve -13 = 5*c + p for c.
-4
Let l(k) = -k**2 + 11*k + 14. Suppose -3*d = 2*b - 36, -5*d - 3*b - 12 = -72. Let q be l(d). Solve -q - 3 = 5*w for w.
-1
Let f be -1 + 6 + 0 - 2. Let o = 4 - f. Solve -4*d - o = 19 for d.
-5
Let z be ((-10)/30)/(1 + 30/(-27)). Solve 3*v + z = 2*v for v.
-3
Suppose 4*b - 1 = 15. Let r be b/3*18/12. Let n be (3 - -1)*1*1. Solve -2*h = -r + n for h.
-1
Suppose -6*l + 9 = -3*l. Solve 13 = -2*x + l for x.
-5
Let u = -6 + 11. Suppose -5*l - 24 = -89. Solve -u*p = l + 12 for p.
-5
Let u(h) be the first derivative of -h**4/4 - h - 3. Let d be u(-1). Solve -5*s + 18 + 2 = d for s.
4
Let t be (4/(-10))/((-6)/30). Suppose -r = -p + 2, t*p = -3*r - r + 22. Solve 3*i + 4 + p = 0 for i.
-3
Let b be 2/((-2)/20*-1). Suppose w + 7*n - 3*n - 5 = 0, -n - 25 = -5*w. Solve -w*u = -u - b for u.
5
Let v be (-90)/(-8) + (-2)/8. Solve -v = -4*p + 1 for p.
3
Let c = -11 - -14. Solve 4*u + c = u for u.
-1
Suppose -4*s = -2*x - 2 - 60, -5*s = -3*x - 78. Solve 11*a - 16 = s*a for a.
-4
Let f = -62 - -66. Solve -b + 5 = f for b.
1
Suppose -v - 16 = -2*k - 3*v, -4*k + 5*v = -5. Suppose -6 + 16 = -4*g + 2*d, 5*g - 3*d = -14. Let m = -1 - g. Solve 0 = -m*h + k*h for h.
0
Let v(p) = p**3 - 6*p**2 - 8*p + 9. Let i be v(7). Solve i*k - 10 = -0*k for k.
5
Suppose 5*t = 6*r - 3*r + 50, -4*r + 10 = t. Solve 4*k + 10 = -t for k.
-5
Let j be (-7)/21 + (-7)/(-3). Suppose -4*m - j*c = -14, 3*m + 2*c - c - 10 = 0. Solve 0 = -m*l - 2*l for l.
0
Suppose -5*o + 2*y + 19 = 0, 2*y = -2*o - 2*y - 2. Let p(r) = r**2 - 3*r + 3. Let c be p(o). Solve 1 = -4*q - c for q.
-1
Let j(n) = n**3 - 9*n**2 + 9*n - 8. Let z be j(8). Let p be (1 - 2) + (5 - 2). Suppose 3*w - 13 = -4*x, 1 = w - p*x - 0. Solve -3 = -w*g - z*g for g.
1
Let c(a) be the first derivative of -a**3/3 - 2*a**2 + 4*a + 2. Let s be c(-4). Solve -3*j + s = -j for j.
2
Let c(z) = -5*z**2 + 4*z - 3. Let k(w) = -w**3 + 9*w**2 - 7*w + 5. Let y(f) = -5*c(f) - 3*k(f). Let m be y(1). Let v = -2 - -2. Solve v - 6 = -m*h for h.
3
Let t be 10/6*(4 + -1). Let v be t/2*(-3 - -9). Solve -3*g - 3 = -v for g.
4
Let p(b) = b**3 + 3*b**2 - 4*b - 2. Let a be p(-3). Solve -s - s = -a for s.
5
Let u be (2 - 0)/(-4 + 2). Let h be u/6 + 19/6. Solve -h*l + 0*l + 9 = 0 for l.
3
Let p(s) = -s**2 + 8*s - 5. Let l be p(7). Let d be (6/l + 2)/1. Suppose d = 3*a + 14, 5*a + 25 = 5*v. Solve 4*z - v = 6 for z.
2
Suppose 13*g = 10*g - 15. Let k(s) = s**2 - 5*s - 8. Let t be k(6). Let n = t - g. Solve -d - n*d = 20 for d.
-5
Suppose -4*a + 0 = -5*c + 4, -3*a = -2*c + 3. Suppose 5*q + 1 = 16. Let g be -1 + c + q - -4. Solve -4 = g*x - 2*x for x.
-1
Let j(h) = -h**2 + 5*h + 2. Let p be j(5). Let s(b) = b**2 + 14*b + 18. Let m be s(-13). Solve -p*x = -m - 3 for x.
4
Let x(a) = a - 26. Let k be x(29). Let w(q) = 0 + 0*q + 2 + 3*q - q**2. Let v be w(k). Solve -2 = i + v for i.
-4
Let v = -14 + 14. Solve v*k + 3*k = -12 for k.
-4
Let w(d) = -6*d + 2*d + 3*d + 6*d**2 + 1. Let l be w(1). Solve 0 = -3*t + 5*t + l for t.
-3
Let w be 0 + 2 + 3/3. Suppose 60 = w*i + 2*i. Suppose -v = -5*x - 12 - 10, -4*v = 5*x + i. Solve -v*z = -z for z.
0
Suppose 4*f - 2*k = 44, 3*k = -3*f - k + 33. Solve 2*n - 3 = -f for n.
-4
Suppose -6 = -3*d - 5*l, 2*d + 0*l + l = 4. Solve -3*r + d*r - 4 = 0 for r.
-4
Let l = 496 - 496. Let n be (-3 - -1)*(0 + -1). Solve -n*y + 0*y = l for y.
0
Suppose 6*z = 4*z. Let g be 5/2*(0 - -2). Let v(c) = -c - 3. Let b be v(-8). Solve b*t = -z*t + g for t.
1
Suppose 5*r + 17 = 2*u - 6, 0 = u - r - 10. Solve 11 + u = -4*p for p.
-5
Let k(s) = 15*s**2 - 4*s - 1. Let f be k(1). Solve 6*q = q - f for q.
-2
Let f(k) = 8*k**3 + k**2. Let a be f(1). Let m(g) = g - 6. Let w be m(a). Suppose -5*d = 2*l - 6, d + 9 = 2*d + w*l. Solve h + d*h = 1 for h.
1
Suppose -2*k = 2*k - 4. Let w = 1 + k. Let q be (2 - (4 - w))/(-3). Solve -4*z = -q*z for z.
0
Let h = 31 + -29. Let o be h/(-3)*3*-3. Solve -o*q = -2*q for q.
0
Let m be 642/15 + (-3)/(-15). Suppose 0 = -4*a - 3 + m. Solve -z - a = z for z.
-5
Let c(u) = -4*u - 72. Let q be c(-18). Let a = -14 - -26. Suppose q = -3*z - 0*z + a. Solve z*l + 0 = -8 for l.
-2
Let t = -96 + 101. Solve t + 5 = 5*r for r.
2
Suppose v + 2 = a - 21