- -2. Solve d + i = -0 for d.
-5
Let v(u) = -u**2 + 11*u + 4. Let p be v(11). Let t be (p - 7) + 6 + -1. Solve 0 = -f + t*f for f.
0
Let y = -10 - -16. Solve -y + 8 = -j for j.
-2
Suppose -h = 4*h - 70. Let i = 16 - h. Solve -z - 6 = i*z for z.
-2
Suppose 2*l = 5*l. Suppose -t - t + 30 = l. Solve t = -2*q - q for q.
-5
Let f(z) = z**3 - 2*z**2 + 3*z - 3. Let c be f(2). Solve 2*y + c*y + 15 = 0 for y.
-3
Let h(k) = -k**2 + 13*k - 20. Let g be h(11). Solve g*t + 0*t = 2 for t.
1
Let v = -9 + 9. Solve 3*y = -v - 6 for y.
-2
Let f(b) = b**3 - 4*b**2 - 5*b + 6. Let q be f(5). Solve o + 25 = q*o for o.
5
Suppose -5*b - 15 = 5*r, -3*r - 2*b - 4 - 3 = 0. Let g = 2 - r. Suppose -129 = -5*s + 4*p, -3*s + g*p + 30 = -48. Solve -5*z + 0*z - s = 0 for z.
-5
Suppose 4*v - 11 = d + 6, -4*v - 5*d + 35 = 0. Suppose v*r - 30 = -0*r. Solve 3*p + 6 = -r for p.
-4
Let q be 18/12*2/(-4)*-4. Solve 8 = -k - q*k for k.
-2
Let q = 55 - 42. Solve 5*g - q = 12 for g.
5
Let s(x) = -7*x - 44. Let c be s(-7). Solve -c*w - 7 = 8 for w.
-3
Let f be ((-3)/6*4)/(-2). Let b = -4 + 7. Suppose 0 = w - 2*i + 5 + 1, -15 = -b*w - 5*i. Solve w - f = k for k.
-1
Let k(d) = -d**2 + 10*d + 5. Let x be k(10). Suppose -n = -j + 6, -x*j + 0*n - n + 6 = 0. Solve 4*g + j = 10 for g.
2
Suppose 2*y + 9 = -t, 11 + 0 = -3*y - t. Let u be y/5 + 72/30. Suppose u*b = 6, -4*b = h - 2*b - 8. Solve 0*c = -c + h for c.
2
Let z(n) = -2*n - 8. Let f(s) = s**3 + 4*s**2 + 2*s. Let p be f(-4). Let m be z(p). Suppose -2*k = u - 12, m = 3*k - u - 10. Solve 4*i = k*i - 4 for i.
2
Let s be (-1)/((-1)/4)*1. Suppose s*a - 37 = -3*q, 0*q + 12 = -a - 5*q. Solve -4*p - 7 = a for p.
-5
Suppose 0 = -0*w - 3*w. Suppose 0 = -5*h + 20, -2*h + 8 = -2*u - w. Let c = -1146 - -1147. Solve u = -j + c for j.
1
Let u(l) = l**2 - l + 1. Let v be u(2). Let n = 30 - -14. Suppose -w + v*w = n. Solve 4*j + w = 2 for j.
-5
Suppose 0 = 8*m - 14 + 6. Solve 0*c = -c - m for c.
-1
Let l be 1 + (7 - 6/2). Solve 31 = l*h + 6 for h.
5
Let f(o) = -o**3 - 6*o**2 + 7*o + 4. Let l be -6*(-3)/(-6) - 4. Let t be f(l). Solve t*d = 2 - 6 for d.
-1
Let j = 2 + -2. Suppose 3*n - 4*n = j. Let f = 7 + -3. Solve f = -4*s - n for s.
-1
Let j = 35 + -17. Let q = j - 10. Suppose 4*o - 4 = q. Solve 6*d = o*d + 12 for d.
4
Let g be 6/(-15) - 82/(-5). Solve 2*s + 2*s = g for s.
4
Let j(p) = p - 10. Let g be j(10). Let z(u) be the first derivative of -u**4/4 - u**3/3 - u**2/2 + 2*u + 1. Let y be z(g). Solve -y*k = 3*k + 5 for k.
-1
Let m(o) = -7 - 1 + 2*o**3 - 3*o + 11*o**2 - 3*o**3 + 4*o. Let y be m(11). Solve y*q = -0 + 12 for q.
4
Let j be 7 - (1 - 6) - 5. Solve -3*x - 1 = -j for x.
2
Let g = -1 - -4. Suppose r = g - 1. Solve -2*p = r*p + 12 for p.
-3
Let x = 7 - 6. Let a(c) = c**2 - 11*c + 13. Let j be a(12). Suppose -5*s + 30 = 4*q, -s - j = -6*s - 3*q. Solve s = -f - x for f.
-3
Suppose -10 = 3*t - 31. Let k be (t/3)/((-4)/(-12)). Suppose -5*q - k + 2 = 5*h, -16 = -2*h + 4*q. Solve -1 = -j + h for j.
3
Let k = 5 - 5. Suppose k = -4*z - z. Solve z*y - 4 = 2*y for y.
-2
Let m be (-4)/(-10) + 11/(275/490). Let k = 10 + -7. Solve -7*r + k*r = -m for r.
5
Suppose -g - 4*g = -50. Suppose -3*a = 2*a - g. Solve -3 = x + a for x.
-5
Suppose 5 = -3*b - 2*b. Let l be (0/b - -1)*1. Solve 4*u + 7 = -l for u.
-2
Let k(n) = 9*n + 3. Let w be k(-3). Let y = w - -40. Solve c - 5*c = y for c.
-4
Let g = 9 - 6. Suppose 0 = g*y - 0*y. Let z be (0 + y + 0)/2. Solve -10 = -2*k - z*k for k.
5
Suppose -5*j = -6*j + 6. Suppose u + 3 - j = 0. Solve 2*d = u - 7 for d.
-2
Let h(f) = -f**2 - 4*f + 1. Let t be h(-4). Let j(p) be the first derivative of 9*p**2/2 + p + 1. Let m be j(t). Solve 10 + m = 4*q for q.
5
Let r be 2/8 - (-95)/20. Suppose -v - 80 = -r*v. Solve -v = 3*c - 8 for c.
-4
Suppose -d = -3*u + 3*d - 8, 2*u - 4*d + 8 = 0. Let q be 28/8*(-36)/(-7). Let t = -14 + q. Solve 16 = -t*h - u*h for h.
-4
Suppose -3*u - 5*q = 5, 5*u - 4*q = -0*u - 33. Let z(m) be the first derivative of m**3/3 + 5*m**2/2 - 2. Let o be z(u). Solve o = -p - p for p.
0
Suppose -1 - 19 = -4*v. Solve 0*s + 5*s = -v for s.
-1
Let r(w) = 2*w**2 - 3*w - 17. Let u(y) = 3*y**2 - 4*y - 26. Let s(g) = -8*r(g) + 5*u(g). Let a be s(5). Solve 3*f - 7 = -a for f.
2
Let j(k) be the second derivative of k**4/12 - k**3 + 2*k**2 - 3*k. Let n be j(6). Solve 2*w + n = 2 for w.
-1
Let i be 8 + -1 + -9 + 6. Solve i - 24 = -5*r for r.
4
Let f(p) = -p + 3. Let k be f(0). Let h(o) = -o + 4*o**k - 3*o**3 - 1 - 5*o**3 - o**2 + 3*o**3. Let y be h(-2). Solve -y*z - 16 = -6 for z.
-2
Let k(p) = -p**2 - 7*p - 2. Let b be k(-6). Let j be 3/(-5) + 18/5. Suppose o - j*g = 13, -7*g + 6*g = -o + 7. Solve 0 = 4*u + b + o for u.
-2
Let q = 0 + 0. Let k(a) = -a + 11. Let m be k(11). Let j = m + q. Solve j*u + u = -4 for u.
-4
Let k = 39 - 12. Suppose -k = -4*b - 11. Let p = 10 - 7. Solve b = -o + p for o.
-1
Let h be (-6 + 3)*10/(-3). Let x(k) = 2*k**2. Let t be x(1). Solve -4*g - h = -t*g for g.
-5
Let y(p) = -11*p. Let c be y(-1). Suppose i + 3 - c = r, -4*r - 44 = -5*i. Suppose 5*m - m = i. Solve -1 - 8 = -m*a for a.
3
Suppose 7*x + 1 = s + 5*x, -4*x + 4 = 0. Let n be 7 - (1 - (-1)/1). Solve h = -n + s for h.
-2
Let w(p) = 4 - 1 - 1 - p - 1. Suppose -a + 5*z = -21, 0*a + 3*z = 2*a - 14. Let n be w(a). Solve v - 3 = -n*v for v.
3
Let q(b) = b**2 + 7*b - 14. Let g be q(-9). Solve -g*m - 15 = m for m.
-3
Let m = -7 + 3. Suppose 5*n + 30 = -2*l, 3*n - 4*l = 3 - 21. Let p = m - n. Solve z + z = p for z.
1
Suppose 0 = 4*q + 4*o + 16, -7*o + 3*o - 4 = 2*q. Let l be 6/2 + q/(-3). Let d be l*3/6*2. Solve d = 5*c - 0*c for c.
1
Let b(c) = c - 9. Let q be b(7). Let l = 2 + q. Suppose -z - 4*z + 40 = l. Solve p - 3 = -z for p.
-5
Suppose -s = 2*s - 3*i - 12, -4*s - 4*i = 0. Solve -4 + s = -y for y.
2
Suppose 0 = 4*h - 4 - 4. Suppose 78 = p + h*p. Suppose 3*s - 5*q = 29, s - 3*s + 5*q + p = 0. Solve s*w = 2*w - 2 for w.
-2
Let k = 34 - 29. Suppose 0 = d - 4. Suppose -3*o + d = -5. Solve -o*j = 2*j + k for j.
-1
Let q(u) = -2*u - 7. Let k be q(-5). Let a = -171 - -174. Solve -a*b - k = -6*b for b.
1
Let g(z) = -z**3 + 2*z**2 - 2*z + 1. Let h be g(1). Suppose -o = -h*o - 4. Solve -2*k - o = -0 for k.
-2
Let d(u) = u**3 - 2*u**2 - u - 1. Let v be d(2). Let i be 1/((-4)/8) - v. Solve 0*c = -c + i for c.
1
Let l(i) = -i - 6. Suppose 14 = -2*n + 3*n - 5*h, 0 = n + 5*h + 26. Let a be l(n). Let v(z) = z**2 - 3*z - 1. Let f be v(4). Solve -f*y = -9 - a for y.
3
Suppose -2*u + 2*b = -16, 4*u = u - b + 12. Suppose -u*r = -3*r - 8. Solve 0*g + r*g = -4 for g.
-1
Suppose w = -4*p + 3, 3*w - 9 = 5*p - p. Suppose o - 10 = 5*x - 37, -2*x + 54 = -4*o. Let z = o - -14. Solve z*v - v + 1 = p for v.
-1
Let h(j) = -j**2 + 5*j + 2. Let a be h(4). Let b(f) be the first derivative of -f**4/4 - 10*f**3/3 + 9*f - 4. Let r be b(-10). Solve a*t = 3*t - r for t.
-3
Let h = 10 - 5. Let g(u) = -u**2 + 3*u + 4. Let k be g(3). Suppose 0 = -4*x - 21 + 85. Solve -x = h*r + k for r.
-4
Let r(d) be the second derivative of -d**4/12 - 5*d**3/3 - 11*d**2/2 + 2*d. Let n be r(-8). Suppose -n*c - 6 = 5*t - 1, 5*c = -3*t + 5. Solve c*w + 3 = w for w.
-1
Suppose 29 = 8*a - 11. Solve 2 = a*z + 22 for z.
-4
Let u(z) = -4*z + 9. Let f be u(-4). Solve 0 = o + 4*o + f for o.
-5
Let n(i) = i**3 - 5*i**2 + 2*i + 9. Let d be n(5). Solve -1 = 4*h + d for h.
-5
Let t = -1 - -1. Let d = 42 + -36. Suppose t = d*y - y. Solve 3*o - 2*o + 4 = y for o.
-4
Let g(y) = -2*y + 1. Let k = -2 + 0. Let f be g(k). Suppose 9 = 4*m - h - 2*h, -f*h = 2*m - 11. Solve 25 = -2*w - m*w for w.
-5
Suppose 2*d + 2*d + 5*d = 0. Solve 3*m - 2*m - 4 = d for m.
4
Let g be (-114)/(-27) + (-2)/9. Suppose -g*y + 22 + 2 = 0. Let k = y + 1. Solve -3 = -2*r + k for r.
5
Let k be ((-3 - 13) + 2 + -1)*-1. Solve -w = -4*w + k for w.
5
Suppose 15 = -n + 6*n. Suppose -f = -2 - n. Solve 4 = -f*z + 3*z for z.
-2
Suppose -3 = -2*b - 9. Let h be b + (-24)/((-6)/2). Solve -18 = -h*f + 7 for f.
5
Suppose 5*m - 2*b = 2, 7*m - 3*m = -5*b + 28. Suppose -4*u - m = -10. Solve 0 = -k + u*k - 5 for k.
5
Let s = 77 + -75. Suppose 5*o + 17 = 2*y, 3*y + 2*o = -y + 22. Solve -y = -0*f - s*f for f.
3
Suppose 7*z - 8*z = -12. Solve z = 7*a - 4*a for a.
4
Let p = 31 - 15. Let j = 26 + -15. Let o = -6 + j. Solve -o*y - p = -y for y.
-4
Let f(z) = 14*z + 