h for d.
2
Let u(p) = p - 9. Let q be u(9). Let i = 0 + q. Let x be 1 - (2 + -3 - i). Solve -2 = -b + x for b.
4
Let t be (6/(-8))/((-7)/28). Suppose -t*o = -5*o. Solve -d - d + 6 = o for d.
3
Suppose 1 = 4*a - 19. Suppose 2*m + 10 = -3*x, 3*x + a + 6 = -m. Let r be x/(-6) + (-152)/(-6). Solve 6 - r = 5*y for y.
-4
Let n(c) = c**3 - 5*c**2 + 4*c + 4. Suppose 2*p - 8 = -0*p. Let x be n(p). Let m(a) = a - 1. Let l be m(x). Solve -o - l = -0 for o.
-3
Suppose 5*u = -5, 5*u + 81 + 20 = -4*p. Let c = -20 - p. Solve 4*l - c = 16 for l.
5
Let m = -10 + 20. Let h = m + -7. Suppose -h*p + 4*a + 8 = -2*p, a = 5*p - 59. Solve 3*j + p = 27 for j.
5
Let g = 8 + -4. Suppose 16 = -0*i + g*i. Let p = 0 - 0. Solve p = -i*d - d for d.
0
Let y(a) = 4*a**2 + a + 1. Let m be y(-1). Let c be (4 + m)/((-4)/(-10)). Let r(z) = -4*z - 20. Let s be r(-5). Solve -3*b - b + c = s for b.
5
Suppose -9*c = -6*c. Solve c = -8*q + 6*q for q.
0
Let q be 9/(-18) - (-10)/4. Suppose -28 - 12 = -q*x. Let a be (-64)/(-12) - (-2)/(-6). Solve a*p - p = x for p.
5
Let l be -5*(-2 - (-3 - -2)). Suppose -6 = -3*y + s, 0*y + 5*s = l*y. Solve -y = -v - 1 for v.
2
Let d = -4 - -4. Suppose d = -y + 2*p + 6, 3*y + 1 = -p + 5. Suppose 4*f - 58 = -2*t, -y*f + 0*t = -t - 35. Solve -4*m = -f - 4 for m.
5
Let l = -48 + 51. Solve m - l*m = -4 for m.
2
Suppose -5*n + n + 24 = 0. Solve 0 = 5*j - 2*j + n for j.
-2
Let c = -36 + 65. Let x = c - 20. Solve -h = 2*h + x for h.
-3
Suppose 0 = 3*y - 6 - 3. Let o = y + -3. Solve o = -0*l - l - 2 for l.
-2
Let p(b) = 10*b**2 - b. Let w be p(1). Solve -d - w = -4 for d.
-5
Let b(f) = 3*f - 2. Let z be b(2). Suppose 5 = 3*g - z. Solve -o = -g*o for o.
0
Let z(g) = g**3 - 8*g**2 + 7*g + 2. Let u be z(7). Let a = 0 + u. Solve m = a*m + 4 for m.
-4
Let p = 1 + -6. Let b be p - -2 - (-28 - 0). Solve r = 6*r + b for r.
-5
Let c(g) = g**2 - 10*g + 22. Let r be c(7). Solve 0 + r = x for x.
1
Let r = -57 + 61. Solve 0*b = -r*b - 8 for b.
-2
Let u = 4 + 3. Suppose u = 3*m - 2. Suppose 5*p - 7 = m. Solve 0 = -p*i - 0*i + 6 for i.
3
Let v be (12/3 + 2)/2. Suppose -v + 12 = 3*g. Solve -g*w - 4 = -1 for w.
-1
Let y(m) = -m**3 + 13*m**2 + m - 11. Let r be y(13). Let p = 8 - 5. Solve -r*z = -p*z for z.
0
Let y be (-1)/(-1)*-1 + -1. Let n be (1/y*0)/2. Suppose n = -5*a + 18 + 12. Solve i + 10 = a*i for i.
2
Let k = 129 + -114. Solve -4*v + 1 = -k for v.
4
Let t(h) be the third derivative of 1/3*h**3 + 1/60*h**5 + 0 - 1/8*h**4 + 2*h**2 + 0*h. Let r be t(3). Solve -c + r = c for c.
1
Suppose -5*v = -w - 60, -v + 58 = 2*v - 5*w. Let l be ((-5)/((-15)/(-18)))/1. Let i be (l/4)/((-6)/12). Solve 0 = -i*n - v + 26 for n.
5
Let y(o) = -6 - 12*o - 3 - o**3 - 11*o**2 + 4. Let n be y(-10). Solve 2*l = -l - n for l.
-5
Let c(s) = 3*s - 2 + 2*s - 4*s. Let i be c(5). Solve -i*a = a - 16 for a.
4
Let g(m) = 6*m + 3*m - 3*m - 4 - 2*m**2 + m**2. Let k be g(4). Suppose k*d - 16 - 4 = 5*f, 20 = f + 4*d. Solve -5*a = -f*a for a.
0
Let r = -7 - -7. Let s be -1 + r - 16/(-4). Solve -s*q + 4 = -q for q.
2
Suppose -s - 4*s + 35 = 5*g, 3*s = 4*g. Solve g*v = -1 - 5 for v.
-2
Suppose 4*s = -3*w + 24, -4 = 2*w - 0*w - 4*s. Solve w*i + 16 = -4 for i.
-5
Suppose -c - 21 = 2*c. Let m = 12 + c. Let d be 0/(-3) + 0/2. Solve d*y = -m*y - 25 for y.
-5
Let l(d) be the third derivative of d**6/120 + 2*d**5/15 + d**4/4 - d**3/3 + 3*d**2. Let j be l(-7). Suppose 3 + j = 4*b. Solve -x + 5 = -b*x for x.
-5
Let p be (20/(-30))/((-6)/27). Solve 3 + 0 = -p*v for v.
-1
Let c = 8 + -6. Suppose -3*x + 5*r = -8, c*x + 2*x + 5*r + 1 = 0. Solve -4*j - 15 = x for j.
-4
Suppose -2*g = -3*o + 16, -o + 13 + 14 = -5*g. Solve o*c + 4 = -2 for c.
-3
Suppose 3*s - 4 = 5. Suppose q = 3*r + r + s, -15 = -5*q + 5*r. Solve -3*m + 0 = -q for m.
1
Let r be 4/18 + (-128)/(-72). Solve 6 = 2*n + r for n.
2
Let i(n) = -n - 2. Let l be i(-2). Let w be l*(1 + 1)/2. Suppose -h + w = -6. Solve 0 = -5*y - h - 9 for y.
-3
Let x = -14 + 20. Solve -2*u - 8 = -x*u for u.
2
Let w(u) = u**2 + u + 1. Let t be w(-2). Solve -t*k - 3 - 6 = 0 for k.
-3
Let k(m) be the third derivative of m**4/24 - m**3/2 - 2*m**2. Let w be k(8). Suppose w = -0*j + j. Solve 6 = -j*n + 3*n for n.
-3
Suppose 21*k - 9*k - 24 = 0. Solve -k*c - 4 - 4 = 0 for c.
-4
Let f(v) = 2*v. Let p be f(1). Let i(m) = -m**3 + 6*m**2 - m + 6. Let y be i(6). Solve -p*t - 2*t - 16 = y for t.
-4
Suppose 4*k - 8*k + 80 = 0. Suppose 3*d + k = 4*d. Solve -5*l + d = -5 for l.
5
Suppose 16 - 52 = -3*r. Let o = -8 + r. Let i = -16 + 17. Solve o*b - i = 7 for b.
2
Let l = 4 + 0. Let s = -2 + 14. Solve 8*a + s = l*a for a.
-3
Let f = 66 + -56. Solve f*t = 5*t for t.
0
Let k(g) = g**2 + 20*g + 38. Let w be k(-18). Solve 6 = w*t + 8 for t.
-1
Let a be (-1)/((3/2)/(5*-3)). Solve 4*g = -26 + a for g.
-4
Suppose n + 2 = 2*n. Suppose -n*k = k - 6. Let l = 7 - k. Solve -5*c = -l - 5 for c.
2
Let j(o) = -o + 17. Let i(x) = -x**2 + 7*x + 3. Let l be i(6). Let y be j(l). Solve -5*z + 2 = -y for z.
2
Let a(l) = l**3 + 5*l**2 - 3*l + 2. Let r be a(-6). Let t = r + 6. Let f(o) = -o - 8. Let i be f(t). Solve i*j - j = 3 for j.
3
Let i = 31 - 21. Suppose -4*b = l - 13 - i, 1 = 2*l - b. Suppose 2*d + 15 = l*d. Solve 3*n - d = -0*n for n.
5
Suppose -v - 4*v = 0. Let w(d) = -6 + 2 + v*d - 2*d - d**3 - 3*d**2. Let g be w(-3). Solve i - g = -0 for i.
2
Suppose -2*k + 15 = 5*s, 2*k + 4*s - 5 = 9. Solve 0*m - k = m for m.
-5
Let r be 12/8*(-5)/3*-2. Solve 3 = -4*k - r for k.
-2
Let l(j) = j**3 + 5*j**2 - j - 1. Suppose c + 2 + 3 = 0. Let y be l(c). Solve y + 4 = -2*v for v.
-4
Let j = 0 + -5. Suppose -2*b = -6*b - 20. Let y = j - b. Solve y = -2*f - f + 9 for f.
3
Let j = 22 - 20. Suppose -3*v = -j*v - 2. Solve v*m = 5 + 3 for m.
4
Let l(m) = m**3 + 6*m**2 + 2*m. Let o be l(-5). Let b be ((-10)/o)/((-4)/102). Suppose -3*j + 14 = 2*t, 3*j - b = t - 6. Solve 9*q = j*q for q.
0
Let l(n) = 12*n + 14 + 3 - 10*n. Let z be l(-7). Solve -z*m + 15 = -0*m for m.
5
Let d = 4 - 2. Suppose -d*u + 3*u = 0. Let x be u/(-1) + 0 - 0. Solve x = z - 4*z for z.
0
Let y = -4 + 12. Suppose -p - 4 = 4*n, -4*n = -2*p - y*n. Solve z + p*z - 20 = 0 for z.
4
Let x(f) = f**2 + f + 1. Let h be x(-2). Suppose h*n + 0*n - 10 = -2*m, -5*n = -2*m - 6. Solve 3*o = m*o for o.
0
Suppose -2 = 3*w - 8. Suppose -w*m + 2*n = 2*m - 18, -5*n - 6 = 3*m. Suppose 5*y + 4*u - 22 = 0, 2*u - 15 = -m*u. Solve 0*p = p - y for p.
2
Let x(q) = -5*q. Let r be x(-1). Suppose 3*c - r = 4. Solve -c*o - o = 0 for o.
0
Let p be 18/((-57)/(-30) - (-2)/(-5)). Solve 3*x = -p - 0 for x.
-4
Let a be 48/(-4)*(-2)/2. Suppose -3*c = -0*c - a. Let y be 2/(-10) - (-2)/10. Solve -r + c - 2 = y for r.
2
Let l be 3 - (0/(-2) + 13). Let h be l*-2*2/8. Solve -h*f + 2 = -8 for f.
2
Suppose 0*d - 5*x = d + 17, -5*d = -3*x - 27. Solve c = d*c for c.
0
Let z(y) = y**3 - 4*y**2 + 6*y - 5. Let f be z(3). Solve 0 = -2*x - f for x.
-2
Let c be 1*2*(-66)/(-12). Let o = c + -8. Solve 0 = -o*z - z + 20 for z.
5
Let a be 6/4*(-29 + 33). Solve 0 = -h + 5 - a for h.
-1
Suppose 5*j - j - 4*a = -32, 4*j - 3*a = -27. Let h = j - -7. Solve 3*z + 13 = h for z.
-3
Suppose 12 = 4*u - 4. Suppose -6 - u = -5*t. Suppose t*x = -3*x. Solve -z + x = -4 for z.
4
Let c = -67 - -69. Solve c = -2*p - 0 for p.
-1
Suppose 1 = b - 0. Let f be (-1)/((b + 0)*-1). Solve -l + 0 = -f for l.
1
Let t be ((-8)/14)/((-4)/28). Let r be (-3)/t + 6/8. Solve 3 = 3*d - r for d.
1
Let q be -1*(-1 + 0) - -2. Let r = -3 + q. Solve -2*p + 2 = -r for p.
1
Let j be 1 + 30 + -3 + 2. Let p be j/5 + -1*2. Let t(w) = -w**3 - 5*w**2 - w + 1. Let l be t(-5). Solve -a = -p*a - l for a.
-2
Suppose 3*i - 4*i + 33 = 2*t, -34 = -2*t - 2*i. Let q = t + -9. Solve -13 - q = 4*d for d.
-5
Suppose 4*d + 18 = 6*d. Suppose 2*g = -p + d, -12 - 10 = -4*g + 2*p. Solve g*t = 2*t for t.
0
Let r(b) = -b - 2. Let z be r(-6). Suppose 2*h = 6*h + z. Let j be h/(-3)*3 + 1. Solve -5*o = j - 22 for o.
4
Let v be (18/10)/((-3)/(-10)). Solve g = 4 - v for g.
-2
Let l(a) be the first derivative of a**4/2 + 2*a**3/3 - a**2 + a - 1. Let h be l(1). Suppose -2*q - 12 = -2*o, 8*q + 15 = h*q. Solve -2*v = -o*v - 2 for v.
-2
Suppose b = 2 + 2. Let m(z) = z**3 + 5*z**2 - z - 5. Suppose -3*h = -4*l + 19, -3*h + 4*l - 17 = 2*l. Let g be m(h). Solve -20 = b*o - g for o.
-5
Suppose 4*d - 4*