u(-28). Let c be (-1)/((-1)/13*1). Solve c = 4*z - w for z.
4
Let w = -4 - -6. Solve -u + w = -3*u for u.
-1
Let x(h) = -h**3 - 4*h**2 - 3. Let w be x(-4). Let c be -3 - (w + 0) - 0. Solve -7*i + 2*i + 25 = c for i.
5
Suppose -9*f + 21 = -2*f. Suppose -i - 2*i + 6 = 0. Solve f*y + 4 = i*y for y.
-4
Let t(d) = -d**3 + 19*d**2 + 19*d + 24. Let n be t(20). Let x(o) = -o**3 + 7*o**2 + o - 7. Let c be x(7). Solve c*j + 8 = -n*j for j.
-2
Suppose 3*x + 0*a - 3*a = 0, -4*a + 15 = x. Solve -o + 10 = -x*o for o.
-5
Let k = 148 + -145. Solve -o = -2*o + k for o.
3
Suppose 0 = -3*o + 2*j + 28, -o + j + 26 = -3*j. Solve 0 = -s - 8 + o for s.
-2
Let h be -6 + (-648)/(-32) + 2/(-8). Solve -6 = 5*a + h for a.
-4
Suppose -2*y + 25 = -y. Let o = -23 + y. Suppose -5*d - 5*z = -65, -23 = -3*d - 4*z + 19. Solve o*r - d = 4*r for r.
-5
Suppose -12 = -7*v + 2. Solve v*d = 3*d - 1 for d.
1
Let f = 59 + -59. Solve f = -2*p - 0*p + 2 for p.
1
Suppose 0 = -4*i - 21 + 49. Solve -2*r - i + 1 = 0 for r.
-3
Suppose -4*h + 2*h = 2*q - 18, -3*h - 3 = -3*q. Let r(d) = -d + 12. Let g(k) = -k**2 + 9*k + 12. Let u be g(9). Let l be r(u). Solve l = -h*s + s for s.
0
Let d(r) be the second derivative of -r**4/12 - r**3/6 - r**2 - r. Let o be d(0). Let q be ((-12)/3)/o - -2. Solve c = q*c for c.
0
Suppose 46 = 9*k - 26. Solve -4 = -2*w - k for w.
-2
Let z(a) = -a**2 + 4*a. Let f be z(3). Suppose -f*t = b + 7 + 1, -5*b + 8 = 3*t. Solve w = b*w for w.
0
Let j(p) = -2*p**2 - 5*p - p**3 + 4*p**2 + 4*p. Let k be j(1). Suppose -5*c = -5*n + 20, 5*n + 4*c + c - 20 = 0. Solve -n*w - 9 - 7 = k for w.
-4
Let m(k) = k**2 + 6*k + 6. Let y(u) = 5 - 4 + 4*u + 1. Let c be y(-2). Let g be m(c). Solve g*o - o = 0 for o.
0
Let b = 5 + -5. Suppose b = -s - 2*s + 12. Solve -2*k + s = -k for k.
4
Let w = 9 - 4. Suppose -4*c + 3*k = -29 + 6, -15 = -w*c + k. Solve 6*f = c*f for f.
0
Suppose -28*q + 26*q = 0. Suppose 3*m + 15 = q, -3*y - 20 = 2*y + 4*m. Solve -5*v = -15 - y for v.
3
Let c be (-2)/(2/1)*-3. Let f = c - 0. Suppose g - 8 = -3*g. Solve -f*d = g*d for d.
0
Suppose -3 = 3*n - 4*b, 0 = -n - 4*b + 4 + 11. Suppose n*f - 6 = f. Solve -w + 4 = f*w for w.
1
Let i = 6 + 3. Solve 3*b + i = -0*b for b.
-3
Let u(g) = -g - 7. Let o be u(-9). Solve 0 = -o*p + 2 - 4 for p.
-1
Let j = -66 + 66. Solve 2*y + 4 = -j for y.
-2
Suppose 4*i = s - 26, 2*i - 3*s + 30 = -2*i. Let h = i - -9. Solve -h + 1 = -2*p for p.
1
Let r = -2 + 2. Suppose -9 + 2 = -3*f + 2*b, r = -4*f + b + 6. Suppose 2*z = -f + 3. Solve 0 = -t + 2 + z for t.
3
Let w(f) = f**3 - 4*f**2 + 3*f. Let x be w(4). Let l(y) = y**2 + 3*y - 7. Let r be l(-5). Solve -7*h - x = -r*h for h.
-3
Let o = -8 + 4. Let c be o + 6 - (-1)/1. Let d(x) = x**2 + 4*x - 2. Let z be d(-5). Solve z + c = -2*w for w.
-3
Let o(n) = n**3 - 2*n + 1. Suppose 5*r - 2*q = 7, r = -r + q + 3. Let a be o(r). Let g = a + 2. Solve -12 = g*v + v for v.
-4
Let s = 13 - 12. Solve s = -3*v + 13 for v.
4
Let r(p) = p**2 + 5*p - 4. Let d be r(-6). Suppose d*m = m + 3*x - 10, 4*x - 5 = 3*m. Solve -o = -6*o - m for o.
-1
Let k = 25 - 22. Solve 0 = u - k + 1 for u.
2
Let r(k) = 2*k + 2. Let n be r(-2). Let x be (-169)/(-9) - n/9. Suppose -t + 6*t - a - 5 = 0, -4*a - 1 = -t. Solve -x = 4*l + t for l.
-5
Let d(l) = -3*l - 2. Let k be d(-2). Solve -16 + k = 4*s for s.
-3
Let z be (-8)/(-5) + (-6)/(-15). Solve -3*m = z*m + 10 for m.
-2
Suppose -4*x - 12 = 4*k, 6*k = 5*k + 3*x + 13. Solve -h + 3 = -k for h.
4
Suppose 0 = -0*l - l + 5. Let j be (l - -1) + 0/(-4). Let p(r) = r - 6. Let f be p(j). Solve f = -5*d + 14 - 4 for d.
2
Suppose -o - 4*o = 0. Let y = -1 + o. Let n be -4 - y - (1 - 6). Solve -n*j - 6 = -0*j for j.
-3
Suppose -2*w + 3*w = 18. Suppose 2*j = -6 + w. Let r = 8 + -5. Solve j*h - 3*h = r for h.
1
Let n(z) = z**3 - z**2 - z + 2. Let h be 1/(-3 - -2)*0. Let s be n(h). Solve 2 + 0 = -s*t for t.
-1
Suppose 20 = -0*l + 5*l, -5*m + 104 = l. Let w = 20 - m. Solve 5*g - 10 = -w*g for g.
2
Let i(m) = 2*m**3 - m**2 + 2*m - 1. Let w be i(2). Solve w = 4*r + r for r.
3
Suppose -44*v + 42*v = -4. Suppose 3*r = 5 - 14, -r - 63 = -4*t. Solve -v*w + t = w for w.
5
Let k be (10 - 0) + (-3 - -1). Let q = k + -3. Solve x - q*x = -12 for x.
3
Let h(d) = -d + 9. Let j(a) = -7*a**3 + 2*a**2 + 2*a + 1. Let i be j(-1). Let m be h(i). Suppose -m = o - 4. Solve -o*k + 5 = -2*k for k.
5
Let c(h) = 4*h**3 - 5*h - 1 - 3*h**3 + 6 - 3*h**2 + 1. Let v be c(4). Let d be v/(-5) + (-110)/(-25). Solve 2*m - d*m = 6 for m.
-3
Let p be (-26)/(-91) - (-4)/(-14). Solve -12 = -p*n - 4*n for n.
3
Let p(h) be the second derivative of h**3/3 - 5*h. Let w be p(10). Solve k = 6*k + w for k.
-4
Let q be -20*(-2 + 6/4). Solve -q = 7*d - 2*d for d.
-2
Suppose 3*w = 4*t - 23, -4*w - 15 + 1 = 3*t. Solve 5 = t*d + 3*d for d.
1
Let h(k) = -k**3 - 8*k**2 - k - 6. Let n be h(-8). Solve -n*a = a + 15 for a.
-5
Let b be -1 - (-1)/(((-3)/3)/(-1)). Solve b = -7*l + 8*l for l.
0
Suppose -c - 5*q = -0*c - 17, -c = 4*q - 14. Suppose -4*f - 2*j + 4 = 0, -2*j + j + c = -f. Solve f = 5*k - 14 - 1 for k.
3
Suppose a + 80 = 9*a. Solve 0 = -3*f - 2*f - a for f.
-2
Suppose p - u - 8 = 1, 2*u = -4*p + 54. Suppose 3*i - j = p, -i = -2*j + 3*j. Solve i = 2*f + 7 for f.
-2
Suppose -3 = i - 2*i. Suppose -5*p - d = -4*d - 21, -p = 3*d + i. Solve v + p - 1 = 0 for v.
-2
Let t(l) = 4*l + 3. Let p be t(4). Suppose 4*q - p = -3. Solve -w - q = -5*w for w.
1
Let u(f) = f**2 + 7*f + 10. Let s be u(-5). Solve 3*t + 1 + 8 = s for t.
-3
Let u = 0 + 5. Suppose u*n + 0*n - 30 = 0. Solve -n = -5*p - 1 for p.
1
Let j be 1*7 - (-6 - -8). Suppose -8*k = -9*k + j. Solve -f - k = -1 for f.
-4
Let h = 0 - 0. Let n(l) = h + l - 4 + 3. Let m be n(4). Solve m = 2*j + 1 for j.
1
Let v(r) = -r. Let g be v(-15). Suppose 0 = 3*q + g, -f + 3*q + 75 = 2*f. Solve s + f = -3*s for s.
-5
Let z be (-98)/(-8) - 2/8. Suppose -4*w - z = 0, 4*w - 27 = -3*t + w. Suppose 0 = 2*o + o - t. Solve -o*l + 6 = -l for l.
2
Let a = 2 + 2. Let t be 0 + 4 - 1 - -5. Solve -a*p = -t - 12 for p.
5
Let t be (-5)/(5/(-2)) + 1. Suppose -t*k + 3 = -9. Solve -7*n + k*n = 0 for n.
0
Let l(r) = r**2 - 2*r - 1. Let x be l(-1). Solve f + 0 = -x for f.
-2
Let k = 11 + -8. Let q = k - 3. Suppose -4*d + q*t = 4*t, -2*t = 8. Solve 3 = -z + d*z for z.
1
Let o be 195/27 - (-10)/(-45). Solve o = -3*h - 2 for h.
-3
Let r(k) = k**2 - 9*k + 2. Let w be r(9). Suppose f - 5*a + 11 = -2*f, a + 2 = w*f. Solve -f*d - 5 = 2*d for d.
-1
Let t(b) be the first derivative of -b**4/4 + 5*b**3/3 + b**2/2 - b + 6. Let u be t(5). Solve -5 = -u*h + 7 for h.
3
Suppose u = 5*x - 2*u - 15, 2*u = 0. Solve 4*w - x = -23 for w.
-5
Suppose -3*n + b + 31 = 8, -5*n + 25 = -5*b. Let s(w) = -w + 6. Let y(i) = -i**3 + i + 3. Let l be y(0). Let a be s(l). Solve -n = 6*p - a*p for p.
-3
Let y(x) = x**2 + 13*x + 4. Let t be y(-13). Let v(p) = p. Let c be v(10). Let i = 15 - c. Solve -6 = -i*f + t for f.
2
Let r be 2/8 - 2/8. Let s = 3 + 0. Suppose c + 3 = 2*c. Solve r*j + c*j - s = 0 for j.
1
Let a be 15/(-2)*(-4)/6. Suppose -3*p + 2*q + 20 = 6*q, p + 2*q = 4. Let c(r) = r + 6. Let i be c(-6). Solve -d + a*d - p = i for d.
3
Let t(l) = -l - 17. Let w be t(-14). Let f be w/(-9) - (-4)/6. Solve 3*z - f = 2*z for z.
1
Let y be (-1)/((9/12)/(-3)). Suppose 3*d - 14 = 3*c - 2*c, -5*d - 2*c = -27. Solve y + 6 = d*b for b.
2
Suppose 0 = r + 5*z - 10 - 8, 0 = -5*r + 3*z + 6. Solve -r*k + 0*k + 9 = 0 for k.
3
Suppose -8 = -4*c + c + 5*r, -5*c - 3*r = -2. Solve 4*v + 7 + c = 0 for v.
-2
Let r be (3 - -1)*(-2)/(-4). Let j be (4 + -3 + 1)*r. Solve q - 12 = j*q for q.
-4
Let w = -50 + 75. Solve c - 6*c = w for c.
-5
Let f be (-2)/(-6) + 64/6. Let x be 2 + 2 + -1 - 1. Suppose 3*b + 2*k = 4*k + f, -x*k - 14 = -4*b. Solve 1 = a - b for a.
4
Let j = 115 - 113. Solve 4 = 3*r - j for r.
2
Suppose -2*d = -3*u + 7*u + 96, -72 = 2*d - 4*u. Let s be (0 + 1/(-2))*d. Solve -1 + s = 4*c for c.
5
Suppose 12 = -17*y + 21*y. Solve 5*o - 2*o + y = 0 for o.
-1
Let x(i) = i**3 + 5*i**2 - 2*i - 7. Let y be x(-5). Solve -y*g = -8 + 2 for g.
2
Let x(v) = -2*v - 5. Suppose 4*b - p + 16 = 0, 0 = 2*b + 2*p + 8. Let f be x(b). Solve f*u + 4 = -2 for u.
-2
Suppose -5*k - 24 = -5*a + 16, -3*a + 5*k + 34 = 0. Solve a = 2*d + 9 for d.
-3
Suppose -2*f + 4 + 10 = 0. Let g = -3 + f. Solve -3*t 