d for z.
5
Let s be 0*(1/(-5) + (-64)/(-120)). Solve s = -0*t + t - 2 for t.
2
Let m be 2 - (-56)/((-1)/(-1)). Suppose -3*t = -0*k - k + 14, -m = -3*k + 5*t. Let w = k + -17. Solve -4*z - w = -1 for z.
-2
Let q(r) = -r**3 + r**2 + 9. Let t be q(0). Suppose t + 6 = 3*s. Solve l + 0 + s = 0 for l.
-5
Let l = -16 - -18. Suppose 0 = k - 4. Solve 0*p + k = l*p for p.
2
Let j(b) = b**3 + 10*b**2 + 11*b + 2. Let x be j(-9). Let u = x - -27. Let d = u - 8. Solve -3 = 2*z + d for z.
-3
Let i be 15/(-10)*(0 + -2). Solve 1 = -2*t + i for t.
1
Suppose 0*t - 2*t + 4 = 0. Suppose 7*g = 3*g + 8. Solve t*s + 8 = -g*s for s.
-2
Let i = 22 + -19. Solve 2*w = -i*w for w.
0
Let d be -12 + 10 + (9 - (-1 + 3)). Let z(j) = -j**3 - 4*j**2 + j + 4. Let v be z(-4). Solve v*b = d*b for b.
0
Let k(z) = -z**2 - 7*z + 9. Let j be k(-7). Suppose 4*b + 5*g + 12 = 0, -2*g + 5*g - j = 3*b. Let w = 6 + b. Solve -2*x + w = x for x.
1
Let j be 1/(6/(-5) - -1). Let f = j + 8. Solve -f*a = -a + 6 for a.
-3
Suppose 4*m = -0*u - 4*u + 4, 0 = -2*u - m + 7. Let l = u - 2. Solve -o = o - l for o.
2
Suppose 6 + 4 = 5*y. Solve 0 = -y*w + 3*w for w.
0
Let a(q) = q**3 - 4*q**2 - 6*q + 5. Let y be a(5). Suppose 2*z - 2*n - 160 = y, 5*n + 250 = 3*z - 0*z. Suppose -2*k - 3*k + z = 0. Solve 0 = -v + 6*v - k for v.
3
Let u = 13 + -5. Let d = -3 - -8. Suppose 2 = -r + d. Solve -u*k = -r*k for k.
0
Suppose 2*y - y = 8. Let w be 1/4 - 76/(-16). Suppose w*h = 2*h. Solve h*b - 4*b = y for b.
-2
Suppose -i + 6*i = -3*f + 27, 20 = 5*f. Solve 4*p = 3*p - i for p.
-3
Suppose 2*g - 4*g + 14 = 0. Let i(y) = -y**2 + 7*y + 4. Let d be i(g). Suppose -t + 5*h = 12, -t + 2*h + 1 = d. Solve 0 = -t*l - 5 - 4 for l.
-3
Let r be (2/(-4))/(((-20)/48)/5). Solve -p = p + r for p.
-3
Let m be (-78)/(-21) + (-4)/(-14). Solve -m*i - 5 = -5*i for i.
5
Let k be 2/13 + (-8)/52. Solve k = m - 6*m - 15 for m.
-3
Suppose 0 - 4 = -4*b. Let u be 2 - ((5 - -1) + -2). Let z be (1 - 0)*(b - u). Solve z = 4*t - 1 for t.
1
Let c(g) = g**3 + 2*g**2 + 2*g + 1. Let t = -2 - -1. Let j be c(t). Solve o + 0*o = j for o.
0
Let o = 5 + -5. Suppose -5*j - 12 = -4*r, o = 5*r - 11 - 4. Suppose c - 30 = -2*c. Solve -4*q + 2 + c = j for q.
3
Suppose 25 + 35 = 3*p. Let t be (-24)/(-36)*(-15)/(-2). Suppose 6*n = 3*n. Solve -h + t*h + p = n for h.
-5
Suppose -55 = -7*h - 20. Solve -c = -h*c for c.
0
Let s = 66 - 60. Solve u = -s + 5 for u.
-1
Let i(s) = 2*s**2 + 25*s - 9. Let k be i(-13). Solve -t = k*t + 5 for t.
-1
Let k(b) = -b**2 + 17*b + 6. Let i be k(17). Solve 2 = -2*u + i for u.
2
Let i be 14/(-2) + (-6)/6. Let n be 22/8 + (-2)/i. Let p(u) = -u - 4. Let q be p(-6). Solve -r - n = q*r for r.
-1
Let r(x) = -14*x**2 - x - 1. Let s be r(2). Let v = -41 - s. Solve -2 = -4*u - v for u.
-4
Let j be 266/70 + 2/(12 + -2). Solve -v + j = 6 for v.
-2
Suppose -2*v - 3 = 3*r + 3, 2*v = -5*r - 6. Suppose r = h + 3*b + 7, -2*h + 10 = -2*b - 0*b. Solve -2*l = -h - 4 for l.
3
Let d(o) = -2*o + 6. Let w be d(2). Solve -5*k - 18 = w for k.
-4
Suppose -4*k + 2*c + 44 = 0, -3*k + 30 + 1 = -c. Solve -4*o = -k + 17 for o.
-2
Suppose -c - 34 = s, -4*s = -16 - 0. Let v = c + 64. Suppose -3*x + v + 4 = 0. Solve 4*b + x = 2*b for b.
-5
Let t(p) = -4 + 2*p - 3 + 0*p. Let f be t(6). Let n = f + -2. Solve -u - n = -2 for u.
-1
Let y be (-37)/(-7) - (-16)/(-56). Solve 5*l - y + 0 = 0 for l.
1
Let o(r) = r**2 + 3*r + 3. Let f be o(-2). Let h = f + 2. Suppose 7*q - h*q = 60. Solve -g + 4*g = q for g.
5
Suppose 0 = -3*c - 4*w + 19, 0*c = -5*c - 5*w + 30. Suppose 8 = u + 2*s, c*u - s = s - 8. Let z(p) = 2*p - 8. Let h be z(6). Solve u = -h*f + f for f.
0
Let o(u) be the second derivative of u**3/2 + 4*u**2 + 3*u. Let l be o(-6). Let r be 2 + (-3)/6*l. Solve -r = 5*v + 18 for v.
-5
Let v = 62 + -42. Solve 6*g = g + v for g.
4
Let z = -19 + 23. Suppose -2*q = -0 - z. Solve 3 = v + q for v.
1
Suppose -22 = -4*h - 6. Suppose -3*w = -5*j + h - 5, w - 7 = -5*j. Solve 0 = -2*t - j + 7 for t.
3
Let m = 11 + -3. Suppose 2*d - 2 - m = 0. Suppose h - 5*t = -t + d, 2*h = -5*t + 10. Solve 0 = -y - 0*y - h for y.
-5
Let x = 39 + -39. Solve x*l = l for l.
0
Let i(c) = -7*c + 3. Let m(x) = 8*x - 2. Let z(n) = -6*i(n) - 5*m(n). Let f be z(5). Let y(o) = o**3 - 5*o**2 + o - 1. Let g be y(5). Solve g + f = -3*a for a.
-2
Let q(m) = m**2 + 11*m - 14. Let a be q(-13). Solve 3*n + a = -0*n for n.
-4
Let n be ((-4)/(-6))/((-6)/9). Let r = 4 + n. Solve a = -2*a - r for a.
-1
Let u be -2 - (-5 + 3 + 0). Solve -3 + u = -3*p for p.
1
Let b(f) = -f**3 - 11*f**2 + 13*f + 9. Let s be b(-12). Let p = s + 7. Solve -p*m - 4 + 12 = 0 for m.
2
Let s(x) = x. Let t be s(0). Suppose t*y = -2*y. Suppose -3 = -0*p + 3*p, 2*l + 3*p + 3 = y. Solve l*w = w for w.
0
Let p = -52 + 36. Let x be (-4)/p + (-15)/(-4). Solve 0*d + x*d = 0 for d.
0
Suppose -2*f + 3*c + 28 = -c, 0 = -5*c. Let l be (4/5)/(2/5). Let h = l - 0. Solve 4*o + f = h for o.
-3
Suppose 3*r = 8*r. Solve r = -3*w + 4 + 8 for w.
4
Let s = 56 - 56. Solve -4*v + 0*v - 20 = s for v.
-5
Suppose -2*n - 11 = 1. Let j be (20/n)/((-6)/9). Suppose -j*b = -b + 4*l - 24, b - 5*l - 24 = 0. Solve 3*u + 0 = b for u.
3
Let z(y) = y**3 - 3*y**2 - 4*y + 10. Let m be z(4). Solve -5*h - 10 = -m*h for h.
2
Suppose -t = 4*t + h - 10, 0 = t - 3*h - 2. Let u(a) = -a + 8. Let f be u(7). Let w be f + 1 + (1 - -2). Solve -w*i - t = -12 for i.
2
Let m = 71 - 67. Solve 0 = -6*i + m*i for i.
0
Let g = 1 + 14. Let l = g + -10. Solve -v - l = -6*v for v.
1
Let z = -3 - -5. Let k be -33*2/(-16) - 2/16. Solve 3*b = z*b + k for b.
4
Let w = -6 + 6. Let q(z) be the second derivative of z**5/20 + 4*z**2 - 5*z. Let c be q(w). Solve 4*f + 0*f = -c for f.
-2
Let i = 12 - -13. Suppose -5 = 5*p + i. Let l be (-3)/p - 14/(-4). Solve -3*k - l = -10 for k.
2
Let n be 12/2 - 5/5. Let q = 13 - n. Solve 0*z = -2*z + q for z.
4
Let v = -8 + 11. Suppose -4*g + 28 = 5*b, 17 = -g + v*b + 7. Suppose g*n - 6*n = u + 5, -5*n = 20. Solve -3*d = u + 1 for d.
-4
Let v(q) = 3*q + 22. Let a be v(-6). Solve -5*j - 4 = -a*j for j.
-4
Let b(c) = 2 + c**2 + 1 + 0*c + 6*c + 3. Let a be b(-5). Solve -2*f - 9 + a = 0 for f.
-4
Suppose 0 = 4*b + 6 + 10. Let u = -1 - b. Suppose 3*n - u*f - 12 = 0, -3*f + 5 = 2*n - 3. Solve n = p + 6 for p.
-2
Suppose 9 = 6*v - 3*v. Let x be 3 + 3 + 4 + -4. Solve -r = -v*r - x for r.
-3
Suppose -22 - 2 = 4*l. Let c be -1 - -7 - l/(-2). Solve -5 = -4*t + c*t for t.
5
Suppose 0*x = -3*x. Suppose x = 2*l + 1 - 5, 5*y + l - 7 = 0. Suppose -3*p - 6 = -4*n - 3, -4*p = 4*n + 4. Solve y = g - n*g for g.
1
Let n be 18/(-2) - (1 - 1). Let a = n - -14. Solve -a*t = -2*t - 6 for t.
2
Suppose 4*r + 2 - 2 = 0. Solve -c = -r + 5 for c.
-5
Let l be 16/(-20) + 8/10. Let n(c) be the first derivative of c**4/4 - c**3/3 + c + 1. Let b be n(l). Solve -4*s + 15 = -b for s.
4
Suppose 3*m - 10 = 4*g, -3*g = -m - 1 + 6. Suppose 2 = 3*d - 1. Let x = d + g. Solve -3*h + x*h + 15 = 0 for h.
5
Suppose 0 = -5*b - 15, -2*w + 5*b = -69 + 26. Solve -2 - w = -4*a for a.
4
Suppose -13 - 22 = 5*n. Let d = -6 - n. Suppose 2*p - 4 = 2*r, -p + 2*r + 2 = -d. Solve 0 = -w + p + 1 for w.
2
Let k(y) = -y**2 - 3*y - 3. Let c be k(-3). Let o(a) = -3*a + 1. Let s be o(c). Solve -2*n + s = 3*n for n.
2
Suppose -34 = -5*u - r, -u - 3*u + 2*r + 16 = 0. Solve -2*c + u = -5*c for c.
-2
Let t(j) = j**3 + 17*j**2 - 20*j - 14. Let c be t(-18). Solve 0 = 5*w + c - 2 for w.
-4
Let f be 1/1*5/1. Let r = 9 - f. Solve -r*n - n = 5 for n.
-1
Let r be (-1 - -2)*2*1. Let f = r + -3. Let o be (0 + 0 + -1)/f. Solve -3*d = -2 - o for d.
1
Let q(f) = -4*f**3 + 2*f**2 + f. Let i be q(-1). Let z = i - 4. Solve 0 = 2*b - 3*b + z for b.
1
Let y(k) = k**3 + 9*k**2 - 8*k + 24. Let w be y(-10). Solve -l - w = -1 for l.
-3
Suppose -x - 1 = -y - 2, -3*y - 13 = -5*x. Solve -x*s = -0*s - 5 for s.
1
Let k(y) = y**2 + 10*y + 21. Let l be k(-7). Solve -g = -l - 1 for g.
1
Let j be 66/44 + (-6)/(-4). Solve r = -0 - j for r.
-3
Suppose 8 = -4*u, -2*u + u = -j + 6. Solve g + j = 2 for g.
-2
Let z = -2 + -8. Let p be (-3)/((-5)/(z/(-3))). Solve -p*l - 4 = -0*l for l.
-2
Let q(n) = n + 2. Let c be q(0). Solve 0 = -c*z + 5*z - 9 for z.
3
Suppose -13 = -4*k - 1. Solve -k*g = -g for g.
0
Suppose 0*l - 5*l = 60. Let r = 3 - l. Solve -r = 5*f + 5 for f.
-4
Let u(n) = 1 - 3