d + 3*z + 1. Let v = d - 1. Solve -v*x - 9 = 3 for x.
-4
Suppose t + n + 2 = 0, -n = -4*t + 4*n + 28. Suppose -b - 4 = -2*m, 4*m = -3*b - b + 8. Suppose 6*x - 24 + 6 = b. Solve x*y = t*y for y.
0
Let c be (2/4)/((-2)/(-28)). Let x = c + -8. Let j be 40/15 - x/3. Solve 2*p - j*p - 5 = 0 for p.
-5
Suppose -4*h = -2*f - 259 + 163, 74 = 3*h - 2*f. Solve -1 = -7*g - h for g.
-3
Suppose 0 = -4*w - 280 - 128. Let s be w/(-8) + 23/92. Solve -s + 1 = -4*c for c.
3
Let y(g) = -g**2 + 10*g - 2. Let h be y(7). Suppose 0 = -o + 5*w - h, 3*w - 17 = 3*o - 2*w. Let x be -6 + 7 - (o - 3). Solve -x*c + 2 = 5 for c.
-1
Let d(q) = -q + 16. Let k be d(8). Suppose -k = 18*v - 22*v. Solve -v*m - 4 = 2*m for m.
-1
Suppose -5*s = 5*s - 50. Suppose 0 = -s*t + 5, 0*t - 3*t - 5 = -4*y. Solve -c = -y*c for c.
0
Let y = -17 - -29. Suppose -2*l - 12 - y = -2*u, -3*u = 12. Let d(i) = -i**3 - 17*i**2 - 16*i + 10. Let v be d(l). Solve -v = 2*j - 0*j for j.
-5
Suppose 2*k - 14 = -2*c, -2*c + 3*c = 5*k + 1. Solve c*d = 3*d + 6 for d.
2
Suppose 4*n - 3 = 5. Let u(z) = z**2 - 21*z + 25. Suppose 0 = -r - r + 40. Let v be u(r). Solve -n*m - v = -1 for m.
-2
Let a(n) be the second derivative of n**4/6 - n**3/6 + 13*n. Let r be a(2). Solve 2*d - r*d = -4 for d.
1
Let z(w) = 3*w**3 + w**2 - 1. Suppose -f = 5 - 6. Let o be z(f). Solve -2 = o*v + 4 for v.
-2
Let v be (0/(-1))/2 - 6/(-2). Suppose 2*r + p = -2*r, -v*p - 10 = 2*r. Solve r = -8*y + 7*y for y.
-1
Let p(c) be the first derivative of -3*c**2/2 - 6*c - 12. Let q be p(-2). Solve q = -o - 2 + 6 for o.
4
Let v(m) be the second derivative of 0 - 2*m**2 + 1/2*m**3 + 6*m. Let u be v(4). Solve 0*a - u = -2*a for a.
4
Suppose 5*f + 3*k = -0*f, 0 = f - 5*k. Solve 8*b + 34 - 2 = f for b.
-4
Let y = 29 - 29. Let c(o) = o**3 - o**2 - 2*o. Let r be c(y). Solve -3*i - 15 + 0 = r for i.
-5
Suppose -6 = -3*c - 2*m, 5*c + m - 10 = 5*m. Let i be (-3)/1*(-36)/27. Let v = 6 - i. Solve c = -2*z - v for z.
-2
Let a = -25 - -29. Suppose 0*r = -a*n + 3*r + 99, -3*r - 15 = 0. Solve 5*b = -n + 6 for b.
-3
Suppose 3*n + 2*i = 14, 7 + 3 = -3*n + 4*i. Suppose -5*u - 18 = -8*u. Suppose 4*v = 10 - u. Solve -n*k + v = -3*k for k.
-1
Let r(l) = 8 + l - 9 + 0*l. Let d(o) = o**2 - 3*o + 6. Let i(t) = -d(t) + 6*r(t). Let j be i(5). Solve 0 = y - 3*y - j for y.
-4
Let f = -406 - -420. Solve 3*t + 23 = f for t.
-3
Let q(b) = -2*b - 10. Let d(r) = 4*r + 19. Let w(h) = 3*d(h) + 7*q(h). Let s be w(-8). Solve -s*x = -0*x - 9 for x.
3
Let j(p) = p**2 - 4*p + 2. Let u be j(4). Let v(c) = 4*c - 15. Let f be v(5). Suppose -4*t = 3*w - 8, 0 = f*t - 0 + 5. Solve 6 = w*o + u for o.
1
Let v(c) = c**3 + 25*c**2 - 3*c - 61. Let r be v(-25). Solve -3*t + r - 17 = 0 for t.
-1
Let s = -1624 - -1628. Solve -59 = -11*o - s for o.
5
Suppose 5*u - 24 = u. Suppose u*o - 7*o + 4 = -2*k, -5*o = 2*k + 4. Solve o = -3*p - 4 - 5 for p.
-3
Let i be 2 - -58 - (-80)/(-10). Solve 10*x + 32 = i for x.
2
Let s(g) = 17*g + 13 - 19*g - 12*g + g**2. Let z be s(13). Solve z = -3*v + 3 for v.
1
Let i be ((-315)/28)/9 + (-82)/(-8). Solve -3 = -i*t + 6*t for t.
1
Suppose 39 = 3*w + u - 4*u, u = -4*w + 32. Let j be (w/(-6) - -1)*-4. Let v(p) = p**3 + 7*p**2 + 6*p - 10. Let k be v(-5). Solve -j*d + 7*d = -k for d.
-2
Let p(o) = o + 4. Let n be p(-4). Suppose -5*d = 5*t - 4*t - 106, -5*t = 20. Let a = -20 + d. Solve n*h - a = h for h.
-2
Let c be -1*(-4 - -18)*-1. Suppose -c*d = -9*d. Let w = -4 - -7. Solve d = w*a - 0*a - 12 for a.
4
Suppose 7 - 13 = -3*t. Solve 10*r = t*r - 24 for r.
-3
Let z = 93 - 81. Solve 0 = -2*j - 2*j - z for j.
-3
Let w(s) = s**3 + 4*s**2 + s. Let h be w(-4). Let o be (8 - 24)/(h/2). Suppose o = 3*i - 1. Solve 16 = -i*d + 1 for d.
-5
Suppose -2*j = -4*a + 34, -44 = -5*a + a + 4*j. Let c be a/((-2)/4*-4). Let u be 4 - 1 - 1/1. Solve -u*y + 2 = -c*y for y.
-2
Let v be (-27)/18 + 165/6. Let w = v + -21. Solve 0 = -u - w for u.
-5
Let z = 267 + -231. Solve -3*n + z - 51 = 0 for n.
-5
Let k be 2 + ((-12)/16)/(1/(-4)). Solve -13 = k*x - 18 for x.
1
Let j = 96 - 68. Solve 0 = b + 6*b + j for b.
-4
Let z(s) = -3*s**2 + 6*s. Let a(q) = 2*q**2 - 7*q - 1. Let m(t) = -2*a(t) - 3*z(t). Let i be m(1). Solve u + i - 6 = 0 for u.
3
Suppose 10*x - 14 - 26 = 0. Solve -x*y = -3*y + 4 for y.
-4
Let k(m) = m**3 + 3*m**2 - 20*m + 64. Let r be k(-7). Suppose z + 4*z = -5*q + 25, 5*z = 3*q - 7. Suppose 0 = -d - q*d. Solve -2*h = -d*h - r for h.
4
Suppose 0 = -3*i + 5*g + 83, -i - 5*g = -4 - 17. Suppose 8*m - i = -5*m. Solve 0 = -m*d + 3*d for d.
0
Suppose -3*x + 3 = 3*a, a + 4*a = -20. Suppose -x*h - 119 = -w - 3*w, -3*w = -4*h - 90. Solve 0 = 4*g + w - 6 for g.
-5
Suppose 1 = u - 3. Suppose -n = 4*x - 18, u*n = 4*x + n - 26. Suppose -3*h + 7*h - x*j + 21 = 0, 3*j = 5*h + 10. Solve 0*y = y - h for y.
1
Suppose -4*q - 4 = -4*v, 2 = q + q + 2*v. Solve q*a = a for a.
0
Let j = -946 + 964. Solve 0 = -23*q + j*q for q.
0
Suppose 9 = 106*t - 105*t. Solve -3*n + t*n + 6 = 0 for n.
-1
Let b be 4/14 - 78/(-21). Let h be -1 + (0 - (b - 2)). Let d be (4*h/(-6))/1. Solve -3*f = d*f for f.
0
Suppose -2*f - 4 = -r - f, 3*r + 5*f - 20 = 0. Let h be (-2)/3*(17 + -113). Suppose w + h = r*w. Solve w = -3*a - a for a.
-4
Suppose 83*o - 41*o = 36*o. Solve o = -7*t - 0 - 14 for t.
-2
Let d(g) = g**3 + 46 - 13*g - 46 + 12*g**2. Let c be d(-13). Solve c = k + k for k.
0
Let c(d) = -d**2 - 10*d + 108. Let p be c(6). Solve -p = -12*u + 12 for u.
2
Suppose 36*h - 80 = -8. Let w be (2/(-4))/(2/(-12)). Solve -x - h = -w for x.
1
Let u(s) = s**3 + s**2 - 3*s - 1. Let g(d) = d**3 - 2*d. Let x(r) = -2*g(r) + 3*u(r). Let z be x(-4). Solve 0 = -3*a + 14 + z for a.
5
Let k(f) = 1. Let m(z) = 6*z - 12. Let y(u) = 5*k(u) + m(u). Let c be y(2). Suppose -5*w = n + 1, 5*n = -c*w - 6 + 1. Solve 8 = -4*p - w*p for p.
-2
Let b(w) = -w**3 - w. Let r be b(-1). Suppose r*a = -0*a. Let v(i) = i**3 - 2*i**2 - 6*i + 12. Let o be v(3). Solve a = 2*g + o*g - 15 for g.
3
Let x(h) = h**3 - h**2 + 65. Let b be x(0). Suppose 0 = 4*u + u - b. Solve u = 2*d + 5 for d.
4
Suppose -10 = -b + g - 3*g, -b + 3*g + 15 = 0. Let v = 578 - 575. Solve b + v = -3*l for l.
-5
Suppose -5*g + 2*b + 50 = 0, -5*g + 3*g - b = -29. Suppose g = 21*v - 17*v. Solve 0 = 4*i - 23 + v for i.
5
Suppose -40 = -407*s + 405*s. Solve -13*j = -9*j + s for j.
-5
Suppose 7*w - 14*w = 35. Let s be (-3)/w*((2 - -5) + -2). Solve s - 8 = -5*v for v.
1
Let o = 80 + -68. Suppose -2*l + 15 = 2*b + 3, -2*b + o = -l. Solve 9 = -3*d - b for d.
-5
Let n(a) be the first derivative of -a**4/4 - 10*a**3/3 - 5*a**2 - 7*a + 2. Let f(v) = -v - 15. Let u be f(-6). Let k be n(u). Solve k + 8 = 5*h for h.
2
Let p be -2 - (-9 + (-6)/2). Suppose -p = 4*y - 22. Solve -2*d + y + 5 = 0 for d.
4
Let t(z) = -3*z**2 + 21*z + 17. Let c be t(7). Solve -12*s + c = -7 for s.
2
Let v be (-2)/(-3) + ((-264)/(-9) - 1). Solve 0 = -3*j + 38 - v for j.
3
Suppose 8 = -q + 2*l, -4 = -35*q + 39*q - l. Solve m - 25*m - 48 = q for m.
-2
Suppose 2*u + 6 = -14. Let n be (-80)/(-32)*(-32)/u. Solve -n = y - 3 for y.
-5
Let i = 257 - 249. Solve 5*q + i + 2 = 0 for q.
-2
Let a = -43 + 73. Let v = a - 42. Let f be ((-7)/4)/(3/v). Solve f*t = 3*t for t.
0
Let f(h) = h**2 + 3*h - 8. Let k be f(-7). Solve k = 6*z - 2*z for z.
5
Let d = -128 - -134. Solve 4*j - 10 = -d for j.
1
Let a(i) = i**2 - 13*i + 15. Let j = 29 - 17. Let t be a(j). Suppose -c + 3*r - 1 = -6, 0 = -c + r + 3. Solve -t*z = c*z for z.
0
Suppose 2*t + l = 1, 0 = t + 4*l - 3 + 20. Suppose 15 = 3*o - 3*w, t*w - 12 = -3*o + 5*w. Let x be o/(-10) - (-3)/15. Solve x = -3*u - 6 - 0 for u.
-2
Let v = -348 - -352. Solve v*n - 4 = -0 for n.
1
Let i(u) = 5*u. Let m be i(3). Let o(k) = -k. Let z(l) = -l**2 - 2*l + 6. Let f(a) = 3*o(a) - z(a). Let v be f(4). Solve -v*h - m = -h for h.
-3
Let b(d) = d + 7. Let w be b(-5). Let a be ((w + -2)/1)/2. Suppose a = -4*n + 3*v + 23, 3*n + 5*v - 6 - 4 = 0. Solve -2*z + n*z = -12 for z.
-4
Suppose -466 = -55*i + 634. Solve -3*f + i = -8*f for f.
-4
Let a be (1/3 + 0)/((-7)/(-42)). Suppose a*h - h = 1. Solve -3 = -s - h for s.
2
Suppose -21*q = -18*q - 5*f - 4, 5*f - 44 = -3*q. Solve -2 = -10*v + q for v.
1
Let h(v) = -v + 10. Let p be h(6). Let j be p/(4/3)*1. Let f = 149 + -136. Solve 4*a = -f - j for a.
-4
Let t be 1/((-3)/(-21)) + -3. Suppose 