2 - t + 1. Let k be d(1). Let q(a) be the first derivative of -a**3/3 - 7*a**2/2 - 3*a - 1. Let h be q(k). Solve s + h = 2 for s.
-1
Let i = -22 - -10. Let u = -7 - i. Solve 4*h + h = u for h.
1
Suppose -3*q + 2*f - 2 = -1, 5*q = -4*f + 35. Solve -1 = q*o - 7 for o.
2
Let u be (0 - 3) + (7 - 1). Suppose -u*b + 22 = 1. Solve -w = -b + 4 for w.
3
Let r(i) = -i**3 - 8*i**2 + 8*i - 4. Let j be -2*(-1)/((-4)/18). Let w be r(j). Solve -3 + w = -g for g.
-2
Let y(g) = -g + 0*g + 5 + 2 + 0. Let f be y(-9). Solve d = -3*d - f for d.
-4
Suppose 0 = f + 2*f. Suppose f*l = l. Suppose -5*p + 1 - 6 = 0, l = -2*y - 5*p + 1. Solve y*h - 8 = -h for h.
2
Let q(x) = 2*x - 5. Let v be q(4). Suppose 0 = -4*c - 5*k + 17, 4*c + v*k = -0*k + 15. Solve -f + 12 = c*f for f.
3
Let r(m) = -m**3 + 5*m**2 + 5*m + 6. Let p be r(6). Suppose -4*k + 12 = -0*k. Solve -f - k + 4 = p for f.
1
Let i be (-4)/(-1 + 1/2). Solve 0 = 5*z - 12 - i for z.
4
Let h(b) be the first derivative of b**2/2 + 10*b + 2. Let s be h(-8). Let a(t) = 11*t + 1. Let x be a(s). Solve -4*q + x = 7 for q.
4
Let l be (5 + -7)/((-96)/45 - -2). Solve 4*o = o - l for o.
-5
Let a = 1 + -1. Suppose 5*z - 14 = 21. Let u be z - 2/(4/4). Solve a = -f + u*f - 20 for f.
5
Suppose -3*u + 0 = -6. Let k(f) = -2*f**2 + f + 2. Let t be k(u). Let v = 4 + t. Solve 0 = -v*w - w + 1 for w.
1
Suppose 2*i - 2*x + 16 = 3*i, 0 = 2*x - 6. Suppose 0 = -2*c - 0*c + i. Solve c*l = -0*l for l.
0
Suppose 6*p + 6 = 9*p. Solve p*i = 1 - 3 for i.
-1
Let y = 16 + -13. Solve -y*u = u for u.
0
Suppose 4*l - 138 = -34. Let d = l + -23. Solve -13 = -d*f - 1 for f.
4
Suppose 3*d = -0*d. Suppose -q + 2 + 0 = d. Solve 0*y - 10 = q*y for y.
-5
Let x = 67 + -47. Suppose 2*j = -3*o - 3*j + x, -2*j = -5*o - 8. Let s = 4 + -1. Solve s*t = 9 - o for t.
3
Let k(c) = -3*c**2 - c. Let q be k(-1). Let j be (1 + 1 + q)/(-1). Suppose 2*b - 17 - 15 = j. Solve -3*s + b = s for s.
4
Let w = 69 + -68. Let h(v) = -2*v**3 - v**2 - v - 1. Let q be h(-1). Solve w = -a - q for a.
-2
Let c = 1 + -1. Suppose c = -2*k + 6*k. Solve k = -5*b - 5 for b.
-1
Let j be (-1)/((-8)/6 + 1). Suppose -6 = -5*x + j*t - 2*t, 2*x - 3*t = 5. Solve -x - 3 = -k for k.
4
Suppose 2*j = 3*j - 10. Suppose -7 = -4*v - 3*z, -4*v + j = -4*z - 18. Solve -6 = -v*p + 14 for p.
5
Suppose 2 = 4*g - 2*s, -5*g - 4*s = 1 - 23. Suppose 0 = 2*k - 6*k + 2*f + 10, 3*f = 9. Suppose -11 = -k*x + 9. Solve -d + x = g for d.
3
Suppose 2*o = -0*o + 26. Let z = o + -3. Solve z = -2*i + 4*i for i.
5
Let h(m) = -5 - 6*m - 6 - 4*m - m**2. Let d be h(-8). Solve d*g = g - 4 for g.
-1
Suppose 3 = -3*u + 2*u, 0 = -2*t - 2*u - 4. Solve -2*j = t + 1 for j.
-1
Let s be ((-3 - -3)/(-1))/(-2). Solve -20 + s = -4*u for u.
5
Let m be (-1 - 0)*(5 + -8). Solve -6 + 3 = -m*p for p.
1
Let o = -3 - -23. Let w = 6 - 1. Suppose 5 = -w*m + 20. Solve -o = -m*r - 2*r for r.
4
Let s(k) = -k**2 + 5*k - 4. Let r be s(4). Suppose y - 60 = 5*i, r = -y - 3*i + 2*i + 30. Solve 5*v = 10 - y for v.
-5
Suppose i - 4*f = -4*i + 8, -3*f = 5*i + 6. Solve 0 = -i*z - 4*z - 4 for z.
-1
Suppose -5 = s, -2*s - 2 - 7 = v. Suppose 0*l + 3*l = 39. Solve v = 4*m + l for m.
-3
Suppose -2*u - 3*c = -10, 5*u - 3*u + 5*c = 6. Solve 4*t - 12 = u for t.
5
Suppose 12*s - 5*s = 21. Solve -s*b = -6*b - 9 for b.
-3
Let o be -3*(-8)/84 - (-12)/(-42). Solve 0 = h - o*h + 5 for h.
-5
Let n(r) = r**3 + 19*r**2 - 21*r - 20. Let v be n(-20). Solve v = f - 0 - 2 for f.
2
Let s = -124 - -126. Solve -u + 5 = s for u.
3
Suppose u = -0*u + 4*h - 9, -3*h + 18 = 3*u. Let z = u + -8. Let s = z + 7. Solve 4 = s*n - 0 for n.
2
Suppose 2*i + 12 = 2*c, i - 2*i = 2*c - 3. Solve q + 2*q = -c for q.
-1
Suppose -3*x = -3*n + n - 49, -3*n + 3*x - 66 = 0. Let f = -15 - n. Solve f + 2 = -b for b.
-4
Let d be (-4)/(3 + -1)*1. Let j be (-7)/(-9) + d/(-9). Solve j + 7 = 4*k for k.
2
Suppose 5*t + 2*r = 25, 0*t + 16 = -3*t + 5*r. Solve -28 = 5*d - t for d.
-5
Let q be 34/12 - 4/(-24). Solve -7*j + 4 = -q*j for j.
1
Let o(j) = -2*j - 7. Let c be o(-5). Suppose 3*x - 4 = m, x + c*x + 3*m = 14. Suppose 2*a + x*a - 8 = 0. Solve -4*t = -a*t - 4 for t.
2
Suppose 10 = 5*h + 2*v, h + 3*v = -2*h + 6. Solve o + 3 = -h*o for o.
-1
Let r(d) = -3*d + 7. Let j be r(6). Let f = j - -15. Solve f*o = 2*o for o.
0
Let r(k) = 3*k + 81. Let y be r(-26). Solve 0*q = -3*q - y for q.
-1
Let p = 16 + -1. Solve -6*c = -c - p for c.
3
Let l be (6 + 0 + -3)*2. Suppose l = -y + 4*y. Suppose -2*g = y*v - 17 + 7, 3*g = v - 5. Solve -3*m + 8*m + v = 0 for m.
-1
Suppose -5*h + 0*h = -5*a - 5, h = -a + 5. Solve 0 - 4 = -a*w for w.
2
Suppose -38 + 33 = -g. Solve 3*s = 17 - g for s.
4
Suppose 2*x - 6 = -4*h, -2*x - 3 = 5*h - 9. Suppose 2*m - 5*w + 6 = h, -2*m + 7*m + 4*w = 18. Solve -5*r - 13 - m = 0 for r.
-3
Let t = 31 + -21. Let p = -16 + t. Let i be (-13)/(-3) - (-2)/p. Solve -i*n + 28 = 8 for n.
5
Suppose k - 4*d + 16 = 0, -3*d = -3*k - 0*d - 12. Solve k = -6*l + 8*l for l.
0
Let c(p) = p**3 - 5*p**2 - 4*p + 2. Let j be c(5). Let g be 60/j*(-12)/10. Solve -n = -3*n + g for n.
2
Let m be (-330)/(-75) - 2/5. Solve d - m = -3*d for d.
1
Let j(o) = -o**2 - 1. Let b be j(1). Let k be b/4*0/(-3). Solve k = i - 3*i + 6 for i.
3
Let x = -1 - -3. Suppose -v - 4*p + 8 = 0, p + 17 = 4*v - 83. Suppose -v = -3*m - 0*m. Solve x*n = 2 - m for n.
-3
Let l(w) = w**2 - 9*w - 10. Let t be l(10). Suppose t*u - 3 = -u. Solve -y - u = 2 for y.
-5
Let j be 15*(-5)/(-15)*2. Solve -2*q + 0*q + j = 0 for q.
5
Let g be (0 + -13)/(8/(-16)). Suppose -4*k + g = 3*w - w, -w + 4*k = 11. Let s = -2 - -2. Solve 5*a + 0 + w = s for a.
-1
Let t(y) = y**2 - 6*y + 2. Let q be t(6). Solve -q = 3*d + 1 for d.
-1
Suppose 5*y - 6 = 3*w, -7*y - 5*w = -2*y - 30. Let d = 3 - y. Suppose 5*z + 0*z - 15 = 0. Solve -n + z*n = d for n.
0
Let w be (-15)/(225/(-10)) - 2/3. Solve 2*n - 8 = -w for n.
4
Let s be 1339/91 + 2/7. Suppose -v = 5*l + 25, -l = 2*l + s. Solve v = m + 1 - 3 for m.
2
Let p = 5 - 7. Let z(j) = j**3 + 3*j**2 + j + 1. Let x be z(p). Suppose x*b + 5*r = 1 - 0, 2*r - 6 = -4*b. Solve -5*v + b*v - 9 = 0 for v.
-3
Let z(g) = g**3 + 8*g**2 - 8*g + 1. Let s = -30 - -21. Let p be z(s). Let q be 12*((-14)/p)/7. Solve -2 = -c - q for c.
-1
Let g be (-34)/(-8) + (-1)/4. Let t be 5 + -4*2/g. Solve -1 = 2*v + t for v.
-2
Suppose 0 = 3*j - 3. Let c be (-4 - j)*(-6)/10. Suppose -c*a + 15 = 2*a. Solve a*n + 2 = 5*n for n.
1
Let i be (-1)/(30/(-9) + 3). Suppose 7 = o + 2*a, 3*a + 17 = i*o - 4. Let p = -5 + o. Solve 0 = 5*j + 27 - p for j.
-5
Let w = 6 - 2. Suppose w*x + 3 = 11. Let q = 8 - 5. Solve -q = x*j - 1 for j.
-1
Let h be 6*(8/6)/4. Suppose 0 = 3*j + 4*r - 32, -30 = -5*j - 5*r + 15. Suppose 25 = p - m + 6*m, j*m = 4*p - 4. Solve p*g = -h - 3 for g.
-1
Let o be -4 - (-1 + (-15)/3). Solve 9 = o*b + b for b.
3
Let y be 1/(-3) - 26/(-6). Suppose c - y = -c. Let f = 5 + -3. Solve f + c = -2*j for j.
-2
Suppose -c - 6 = 1. Let z = c + 9. Let o be (-2)/(0 + z/(-4)). Solve o = j + 2 for j.
2
Suppose 392*r - 391*r - 32 = 0. Solve 12 = 5*s + r for s.
-4
Let z = -20 + 16. Let u = 8 + z. Solve -17 = -u*b + 3 for b.
5
Suppose 0 = -2*b - 10, 4*y + 3*b + 10 = -y. Solve y = -q + 5 for q.
4
Let k be 92/(-3) + 2/3. Let u be (-2 + 1)/(3/k). Solve u + 0 = -5*g for g.
-2
Suppose -3*u - 2*u = -45. Let h be -2 - -5 - (u + 1). Let z = h - -10. Solve -z*b + 2*b = 0 for b.
0
Let l(a) = -2*a**3 + 16*a**2 + 3*a - 22. Let t be l(8). Solve 0*c - 6 = t*c for c.
-3
Let y(s) = -s + 3. Let a be y(8). Let u = a - -7. Suppose -12 = 2*v - 3*v. Solve v = -u*z + 4 for z.
-4
Suppose 0 + 4 = j. Let a be (-3)/(-1 - 2/j). Solve a*q = q - 2 for q.
-2
Let c be -2 - -1*(2 + 0). Suppose -5*m - 10 + 35 = c. Solve -m = -l - 3 for l.
2
Let t(z) = z**3 - 6*z**2 + 7*z - 5. Let c be t(5). Suppose -3*o = 3 - 15. Solve c = -o*u - 7 for u.
-3
Let r(p) = -1 - p**2 + 3 + 1 + 10*p. Let k(b) = -b**2 + 9*b + 3. Let n(o) = 5*k(o) - 4*r(o). Let c be n(5). Solve 0 = -c*t - 6 - 6 for t.
-4
Let m be 0 + -2 + (32/2)/2. Solve 2*h = -0*h + m for h.
3
Suppose 0 = 3*r - 4*d - 21, 3*r = -4*d + 22 + 23. Let a = -7 + r. Suppose 1 = -n + a. Solve -4*m + n = -m for m.
1
Let r(k) = k**2 + 2*k - 6. Let f be r(-5). Suppose 2*a - 31 - f = 0. Let s be 4/a - (-58)/10. Solve p + p + s = 0 for p.
-3
Suppose -2*t - 15 = -3*n - 5*t, t + 19 = 5*n