). Solve -t - 2 - 1 = c for t.
-3
Let v = 3 - 3. Suppose y + v*y = 1. Suppose 3*k = 2*k + y. Solve a = -0*a - k for a.
-1
Suppose 0 = 3*p - 7 + 1. Solve 3*k + 4 = -p for k.
-2
Suppose 2*u + 28 = -2*u. Let f(p) = -p**2 - 6*p + 10. Let z be f(u). Solve z*q = 4*q - 5 for q.
5
Let y(b) = -b**3 - 16*b**2 - 15*b + 2. Let u be y(-15). Solve 0 = 2*r - 0*r - u for r.
1
Let d = 17 + -5. Solve 0 = -4*a + a - d for a.
-4
Let s(a) = a**2 + 7*a - 4. Let x be s(-8). Solve -x = -o - 0 for o.
4
Let a be (6/(-4))/(30/(-80)). Let f be 30/(2 + 0) + 0. Suppose q + c + 5 = 0, -c = a*q + 2*c + f. Solve q = 5*w + 6 + 4 for w.
-2
Suppose 0 = -2*u + 9*u - 133. Solve 5*f - 1 - u = 0 for f.
4
Let d(r) = r**2 + 7*r + 3. Let h be d(-7). Suppose -5*p = 5*q, -q = 4*q - 5. Let m = h + p. Solve 3*g - 10 = -m*g for g.
2
Let b = 17 + -13. Solve -11 - 1 = -b*x for x.
3
Suppose 3*d + 12 = 7*d. Suppose y = d*y. Let z = y - -5. Solve 5 = z*h - 20 for h.
5
Let c be 16/10 + (-4)/(-10). Suppose -c*p - 3*f = -23, 0*p + p - 9 = -f. Suppose 0 - p = -4*d. Solve -4 = -b + d for b.
5
Let x be 0 + 0 - -2 - (2 + -12). Solve -2*k + x = 2*k for k.
3
Let d(m) be the third derivative of -m**6/120 + 7*m**5/60 + m**4/24 - 4*m**2. Let p be d(7). Let u = p - 5. Solve -5*a - u = 8 for a.
-2
Let s(r) be the third derivative of r**5/20 + 5*r**2. Let c be s(-1). Solve -5*j + c = 8 for j.
-1
Let l = -23 - -28. Suppose -l*j - 2 = -3*z, 3*j = -4*z + 4 + 18. Solve 6 = -j*h - 2 for h.
-4
Let j(v) = v**2 - v - 2. Let o be j(2). Let s(g) = g**3 + 7*g**2 + 7*g - 5. Let d be s(-4). Solve o = -2*u - 3*u - d for u.
-3
Let s be 2/2 + (-26)/(-13). Solve s - 13 = -5*d for d.
2
Let p be 7/((-7)/(-8))*1. Solve 0 = -p*d + 4*d + 4 for d.
1
Suppose 0 = c - 5*c + 16, 2*s - 78 = 3*c. Suppose -k = 2*k - s. Solve -k = 5*t + 10 for t.
-5
Let z be (1/(-2))/(1/(-2)). Let i be (1 + 0 - -2) + z. Solve -5*h = 1 + i for h.
-1
Suppose 5*v - 2*v = 0, -4*h - 5*v = 0. Solve -3*x + h*x - 3 = 0 for x.
-1
Let t = -2 + 7. Solve 0 - 10 = -t*y for y.
2
Suppose 0 = r - 2*b - b + 1, -3*r + 11 = -2*b. Suppose -j - 55 = -6*j. Let f = j - 1. Solve f = r*w - 0 for w.
2
Let x be 2*(-3)/6*-4. Let b = x - 2. Solve 3*u - b = u for u.
1
Let u be (-12)/8*-2 - 2. Solve 0 = z - u for z.
1
Let g(d) = d + 7. Let f = -3 + 6. Suppose -5*i = 3*x + 35, f*i - 5*x - 9 = -i. Let m be g(i). Solve 4*o + m = -1 for o.
-1
Suppose -3*c + 3*f = 0, -3*c - 3*f = c + 28. Let t = c + 4. Solve -b + 1 = -t for b.
1
Let f = 2 + 1. Suppose f*c + c = 24. Solve -c = -3*j + j for j.
3
Let h be 1*-9*(-3)/9. Solve -r = -h*r + 6 for r.
3
Let j(z) = 11*z. Let y be j(1). Suppose -y = -4*t + 1. Let s be (12/t - 1) + 2. Solve 6 = -s*x + 1 for x.
-1
Let l(q) be the first derivative of 11*q**2 + 2. Let u be l(1). Solve u - 2 = -5*w for w.
-4
Suppose n - 5*n + 924 = 0. Suppose -3*r + 0*r = -n. Suppose r = 4*h + 9. Solve h = -5*a - 8 for a.
-5
Suppose 0 = -5*p + p + 3*u - 23, 5*p + 3*u + 22 = 0. Let k = 5 + p. Solve k*f - 4 = 4*f for f.
-1
Let b(n) be the first derivative of n**5/30 + n**4/12 + n**3/6 - n**2 - 1. Let v(s) be the second derivative of b(s). Let q be v(-1). Solve -m = -q + 3 for m.
-2
Suppose 0 = -h - 2*h - 0*h. Solve h = 2*q - 6*q for q.
0
Let l = -1 + 1. Suppose r - 2 = -l*r. Let n(m) = 3*m - 3. Let h be n(3). Solve -r*x = -4 - h for x.
5
Let h(o) = 2*o**3 - 4*o**2 + o - 1. Let d be h(3). Suppose -x + d = x. Suppose -x = -3*n + n. Solve -b = 4*b - n for b.
1
Suppose 0 = -3*c - m + 19, -3*c + 0*m + 2*m + 7 = 0. Solve -c + 1 = -4*p for p.
1
Suppose 3*g = 3*j + 6, 0*g - 5*g = 3*j - 26. Solve -2*p + 0*p = g for p.
-2
Suppose -5*b + 6 + 19 = 0. Let r(d) = 2*d - 7. Let q be (1 + -4)/((-1)/2). Let c be r(q). Solve b + 0 = c*k for k.
1
Suppose -2*y - 3*y = -10. Suppose 3 = 3*v - 3. Suppose a + 5*l - 20 = 0, -v*a - y*a + 16 = 4*l. Solve 0*r + 3*r - 12 = a for r.
4
Suppose v = -27 + 87. Suppose -22 = -c - 3*s, s - v = -2*c - s. Suppose 5*j - c = -4. Solve 0 = -4*t + 6 + j for t.
3
Let h(t) = 4*t**3 - t**2 + t. Let c be h(1). Solve -c*k + 12 = -0*k for k.
3
Suppose -3*y + 2*y = -5. Solve y*n - 1 = -21 for n.
-4
Suppose -7*c - 12 = -47. Let v(g) = -g**3 - 7*g**2 - 8*g - 6. Let m be v(-6). Solve 0 = 3*p - c*p + m for p.
3
Let o(r) = r**2 - 1. Let x be o(-1). Solve 2*h + 2*h - 4 = x for h.
1
Let u = -23 - -33. Suppose -12 = -2*i - 4*t + 8, 5*i - 2*t + u = 0. Suppose -2*c + 3*c - 4*c = 0. Solve -2*g + c*g - 10 = i for g.
-5
Suppose 4*v - 8*v = 124. Let i = 56 + v. Solve 4*q + q = i for q.
5
Suppose 0 = w - 4. Suppose -j - 1 = -w. Solve -16 = -j*z - z for z.
4
Let z be 2/4*(-162)/(-9). Let s be z/(-36) - (-18)/8. Let k = 2 + s. Solve -p + 5 = k*p for p.
1
Let x be (-44)/16 - 3/12. Let q be 3 + (-4)/(-1) + x. Solve -q*v - 19 - 1 = 0 for v.
-5
Let y = -5 + 9. Let w(d) = d**3 - 5*d**2 + 5*d. Let m be w(y). Solve x - m*x + 6 = 0 for x.
2
Let r = 13 + -19. Let u be (-4)/r - (-20)/6. Solve g + u = 3*g for g.
2
Let t(p) = p**2 - 5*p - 4. Let y be t(5). Let a be -1*(-13 + y + 2). Solve 5*v + a = -0*v for v.
-3
Let s(p) = -3*p - 9. Let z = 10 + -14. Let r be s(z). Solve -r*g + 1 = -5 for g.
2
Let y(p) = -p**3 - p**2 - 1. Let z(b) = 2*b**3 - 3*b**2 - 5*b - 3. Let m(q) = -3*y(q) - z(q). Let s be m(-5). Solve 0 = -3*k + s*k + 6 for k.
-2
Let x = 10 + -16. Let q = x - -9. Suppose 6*r = r + 5*m + 10, 0 = -3*r - q*m + 6. Solve r = o - 2 for o.
4
Let t = 13 - 12. Let x = 7 - t. Solve -5*b + x = -2*b for b.
2
Let k = 1 - 1. Solve 2*s - 4 = -k for s.
2
Suppose -2*k = 4*k - 12. Solve 5*t - k*t = 9 for t.
3
Let u(x) = -7 + 2 - 7*x + 8*x. Let v be u(10). Solve -4*o = -25 + v for o.
5
Let j be -4 - (-1 + -4) - -2. Solve -3*f + j = -2*f for f.
3
Let p = 0 - -5. Suppose -3*c + 2*c = 0. Suppose 5*s - 70 = -c*k - 4*k, 0 = -2*k - 4*s + 32. Solve 0 = -5*b + k + p for b.
5
Let x = -111 - -121. Solve 5*n - x = -0*n for n.
2
Let i be -1*(-6)/9*18. Solve -i = l + 2*l for l.
-4
Let t be (-6)/(-4) + 12/8. Suppose -c = t*c + 4. Let q be (15 - 7)*c/(-2). Solve -g = q*g + 20 for g.
-4
Suppose 0*k + 10 = -2*w + 4*k, 3*w + 4*k = 35. Let h be (-58 + w)/(0 + -1). Suppose 5*c + h = -5*f + 138, -4*c = 3*f - 63. Solve -5*a - c = -a for a.
-3
Let v = 0 + 0. Suppose 5*j = -v*j + 60. Suppose -3*y - j = -5*z, 4*z - y - 7 = 4. Solve -z = 5*l + 2 for l.
-1
Let q = 28 + -28. Suppose 2*i - 3*u = 25, q*u + 15 = -3*u. Solve 5*x - i = 5 for x.
2
Let h(v) = -5*v - 4 + 3*v - 2*v. Let o be h(-3). Suppose o = 3*f - j, 4*f - 10 = -f + 5*j. Solve -f*r = -r for r.
0
Suppose -2*n + h + 27 = -8, -2*h = -5*n + 89. Suppose 5*s - 11 = n. Suppose -2*a + s*a = 12. Solve a*r + 9 = -0*r for r.
-3
Suppose -5*u = -8*u + 6. Solve -f - u*f = 15 for f.
-5
Let m = 5 - 3. Suppose 2*y - 3*p + 5 = 0, 0 = -5*y + 4*p - 0 - m. Suppose 0*t + y*t = 16. Solve 4 + t = -4*x for x.
-3
Suppose -2*s + h - 399 = -5*s, -2*s + h = -261. Let o be s/(-9)*(-3)/2. Let u = -15 + o. Solve 0 = 4*y + u + 1 for y.
-2
Suppose -7*b + 9 = -4*b. Solve 4 = t - b*t for t.
-2
Let f = 33 - 23. Solve -q = q + f for q.
-5
Let k be (-1)/3 + 2/6. Let r be (-3 - -3)/(k + -1). Suppose r = -4*u + m + 4, 2*u = -5*m - 13 - 7. Solve u = 2*o + 2 + 2 for o.
-2
Suppose 2*k + 0*k - 8 = 0. Suppose 4*w = -r + 24, 0*w - 5*w + 25 = 0. Suppose -r*m - k = -20. Solve 0 = m*t - 4 - 0 for t.
1
Suppose -2*r + 4*s - 17 = -r, 5*r - 2*s = -13. Let k be 3/(r + 2 + 0). Suppose k = -3*b + 9. Solve -p + b = -2 for p.
4
Let v(b) = -b + 3. Let a be v(-2). Solve -4*s - 11 = a for s.
-4
Let p be 22/3 - 6/(-9). Solve -2*g = -0*g - p for g.
4
Let u(i) = i + 7. Let s be u(-6). Suppose 0*d + 5 = d - 3*k, -3*k + s = 2*d. Let o be 1 + (4/1 - d). Solve 0 = -j - 4 + o for j.
-1
Suppose 2*z + 10 = -5*p, -z + 6 + 15 = -4*p. Suppose 4*l = -4 - 4. Let u = l + z. Solve u*a = -1 - 2 for a.
-1
Let q be 200/(-35) + (-2)/7. Let c = -5 - q. Solve -3*v + 2 = -c for v.
1
Let x = 8 - 8. Suppose 0 = -4*p - x*p. Solve i + p - 3 = 0 for i.
3
Let g = 12 - -5. Let y = -15 + g. Solve y + 2 = b for b.
4
Let x = -14 - -16. Solve 0 = -x*n - 5 - 1 for n.
-3
Let h be 2*2/(-4)*0. Let t = -9 + 12. Suppose 3*x + 0 - t = h. Solve 0*a - x = a for a.
-1
Suppose 0 = -o - 2 - 10. Let j be o*(-1 - 4/(-6)). Solve -20 = j*w - 0 for w.
-5
Let w(u) = u**2 + u - 11. Let n be w(-4). Solve -5*v + n = 6 for v.
-1
Let d = -36 + 52. Suppose 0*y + d = 2*y. Solve 0*k = -4*k - y for k.