 -3*v + 7*v = 0 for t.
-2
Let c(o) = o - 2. Let j be c(5). Suppose -3*g + 5*i = 34, 0 = -4*g - i + 2*i - 17. Let u be (3 - 3)*g/9. Solve b = -2*a + 4*a + 6, -2*a + j*b - 10 = u for a.
-2
Let k = -2 + 1. Let f be (2/(-4))/(k/(-16)). Let s be (-1*2 + f)/(-2). Solve s*j - 3*m = j - 8, 6 = -2*j + m for j.
-5
Let x = 3 + 1. Suppose 2*y - 2*m = -y - 14, 2*y + 2*m - 4 = 0. Let w be 6/9*(-3)/y. Solve s + 2*d = w, 3*d - 19 = -x*s - s for s.
5
Let t(i) = 1 - 4*i + 3*i**3 + 3*i - 2*i**2 - i. Suppose -2 = -3*f - 5*k + 19, 5*k - 13 = f. Let p be t(f). Solve -2*r - 3*b - p = -2, 0 = r - 4*b for r.
-4
Let u(p) = -5*p + 8. Let f be u(7). Suppose -3*b = 2*d + 39, 15 = -2*b - 2*d - 3*d. Let j = b - f. Solve 4*x - 4*l + 16 = 0, 2*l - j - 4 = 4*x for x.
-4
Suppose 0 = -x - x + 10. Suppose -1 - 1 = g. Let u = 2 + g. Solve 0 = 5*a - x*r, u = 2*a + a + 2*r for a.
0
Let x(l) = -l**3 - 15*l**2 + 15*l - 11. Let b be x(-16). Solve 2*f = 3*g + 9 + 3, 0 = -5*g - b*f + 5 for g.
-2
Let a = 16 - 12. Solve 5*y + v = 6*v - 20, -2*y = -a*v + 10 for y.
-3
Let u(g) = g + 12. Let c(p) = p**2 - 8*p - 7. Let y be c(8). Let k be u(y). Solve 0*h - k*h + 9 = i, -3*h = -4*i - 10 for h.
2
Let c(d) = d**3 - 3*d**2 - 4*d + 4. Let y be c(4). Suppose h - 5*a - 90 = 0, -y*a + 15 = h - 30. Solve 5*u + 24 = 4*o + h, -6 = 4*o + 2*u for o.
-4
Let u = 7 - 7. Suppose u*h + 17 = -2*i - 5*h, -2*i + h + 13 = 0. Let w = 3 - -19. Solve -i*c = 2*m + c - w, -8 = -4*m - c for m.
1
Let m = 56 + -36. Solve -3*z - 4*k + m = 0, 9*k - 25 = 5*z + 4*k for z.
0
Let t = 9 - 7. Let p be 60/24 - t/(-4). Solve 4*r = -4*f, -p*r = -3*f - f - 35 for r.
5
Suppose 0 = -2*l + 3 - 27. Let m = -9 - l. Solve -k = -2*n - 2*n + 16, -m*k = -n + 4 for k.
0
Let h be 6 - (-8 - -9) - 0. Suppose 0 = 4*c + c. Solve c*q = x + 3*q - 15, -5 = h*x - q for x.
0
Let u(v) = v**2 + 2*v - 1. Let x be u(-5). Solve 5*h + 10 = -o, 0 = -2*o + 5*h + 11 + x for o.
5
Suppose -3*i + 3*s + 78 = 0, -4*i + 0*s - 4*s = -64. Solve 5*d = -j + i, -5*j - 8 - 3 = -4*d for d.
4
Let v = -11 + 23. Let l be (-11)/(-2) - 6/v. Let c(x) = 2*x + 9. Let f be c(7). Solve -l*y = 2*k + f, 3*k - y + 3 = 11 for k.
1
Let r = 10 - 6. Let a be (-4)/11 + 320/880. Solve -r*b + 3*l - 7 = a, -b + 2*l = 4*b for b.
2
Let q(w) = w + 1. Let d be q(2). Suppose -r + 20 = o, -4*r = -4*o + o - 66. Let u = r + -13. Solve -d*h = u*z - 3 - 27, h + 5*z - 20 = 0 for h.
5
Suppose 10 = 5*x + 5*o, 3*o = -5*x + 8*o + 20. Solve -p = 2*r - x, p = -2*p + 2*r - 7 for p.
-1
Let a be ((-8)/10)/((-2)/(-10)). Let k = a + 4. Suppose 3 = r - k*r. Solve 23 = r*x - 4*y, -x + 3*y - 7*y = 3 for x.
5
Let c = -126 - -179. Let v = 78 - c. Suppose 5*b = -m - 0*m - 20, -3*m + 20 = -b. Solve 4*j = -j - 3*y + 9, m*y + v = 5*j for j.
3
Suppose -2*j = -0*j - 12. Suppose -11*s + 9*s = -j. Solve s*a - 1 = w, 0 = 5*w + 4*a - 0*a - 33 for w.
5
Let z be 28/(-5) + (-2)/5. Let f be 3 + -2 + z/(-2). Suppose -35 = -f*v - v. Solve v = -3*g - y - 6, 0 = 2*g + 4*y + 2 for g.
-5
Suppose x + 6 = 10. Suppose 4*f + 27 + 8 = 5*o, 5*f + 19 = -2*o. Let v = o + 1. Solve -x*p - 22 = -5*t, -16 = v*p - t - 2 for p.
-3
Let r be (-30)/(-4)*(-10)/(-15). Solve 1 = r*m - 4*b - 1, -1 = 5*m - 3*b for m.
-2
Suppose -38*z - 20 = -42*z. Solve 0 = -z*l - 2*g - 0*g - 19, -5*g - 19 = 3*l for l.
-3
Suppose -5*d = -18 - 17. Let i be (-32)/(-2 + -3 + 3). Suppose 0 = -h + 5*h - 5*n - 10, i = 4*h - 2*n. Solve 3*v + v + d = -x, -h*x = -3*v - 11 for v.
-2
Let p(v) = 3*v - 13. Let l be p(8). Solve -x - 3*s = -l, x + 4*s = -9 + 25 for x.
-4
Let k be (-12)/9*(-5 + 2). Solve 0 = -5*n + 4*d + 12, 2*n - 18 = -k*d - d for n.
4
Let t(i) be the third derivative of -i**5/60 - i**4/4 - 5*i**3/6 + 4*i**2. Let j be t(-2). Solve 2*l = -2*c + c + 1, 0 = j*c - 2*l - 19 for c.
5
Let j(x) = -x**3 - 8*x**2 - 4*x - 10. Suppose 0 = 2*p + 21 - 5. Let k be j(p). Suppose k = 5*t + 2. Solve 0*y - y = 1, t = -v - 5*y for v.
1
Suppose -82 = 5*p + 4*i, -2*p - i - 14 - 20 = 0. Let c = -14 - p. Solve 4*z + 1 = 5*h, -2*h - 3 = -z - c*h for z.
1
Suppose 4*r = -p + 17, -8 = -4*r + 4. Solve -2*u - 2*u + 21 = h, 0 = -u + p*h for u.
5
Let f = 31 + -9. Solve 0 = -3*i + 4*x + 14, -4*i - f = -3*i + 4*x for i.
-2
Let i = 0 + -7. Let d = 21 + -9. Let q = d + i. Solve 2*l = -4, l + 4 = q*n + 27 for n.
-5
Let t be (3 + 0)*(-21)/(-9). Let i be t/3 + 4/(-12). Solve 0 = 2*c - i*u - 2, 2*c - u = -0*c + 6 for c.
5
Let i be (-40)/18 - 4/(-18). Let b(k) = -k. Let q be b(i). Let o be (2 - 2) + 2 + q. Solve -4*l - l = -o*y + 13, 5*l + 3 = -y for y.
2
Suppose 7*r = 9*r, -r + 5 = 5*c. Solve -2*y + 5*j + 10 = 0, 3*y - 4*y + j - c = 0 for y.
-5
Let j = 22 + -16. Suppose d = 3*n - j*n + 3, -5*n + 5*d = -5. Suppose 1 = z - n. Solve -5*l + z*l = 3, -1 = -4*i - 3*l for i.
1
Let s = 9 + -7. Suppose 1 = 3*q + 19. Let v = q - -14. Solve -i - 2*i = -s*f - 23, 2*f + v = 0 for i.
5
Let f be (-4)/5*10/(-2). Suppose -5*y = 4*i - 27, i - 10 = 6*i. Suppose -y = -5*v + 3. Solve k = -2*l - 6, f*l = -v*k + 7*k - 40 for l.
-5
Let z(r) = -r**3 - 5*r**2 - 2*r - 4. Let q = -1 - 3. Let w be z(q). Let s be (-8)/(-3)*w/(-8). Solve s*m + 6 = -5*c, -3*c - 3*m + 13 = -8*c for c.
-2
Let o(z) = -z - 10. Let k be o(-10). Suppose k = 3*t - 6*t. Solve 3*j + 4*h - 16 = 0, t = -3*j - h + 5*h + 8 for j.
4
Suppose j + 6 - 10 = 0. Solve p = 2*g + 3*p - j, 2*g = 5*p - 17 for g.
-1
Suppose -r = -5*z - 0*r + 2, 0 = z + 3*r + 6. Solve z = 3*l - 6, 5*l = 2*n - 5*n + 1 for n.
-3
Let f(k) = 2*k**3 + 2*k**2 + 2. Let c be f(2). Let u be c/6 + (-6)/18. Solve 5*z - 2*z = -u*v + 11, 9 = z + 4*v for z.
1
Suppose -w = 3*w + 512. Let a be 6/(-10) - w/5. Solve 0*o - 4*o = 5*v - a, -2*v - 5*o + 10 = 0 for v.
5
Suppose -z + 0 = -3. Suppose q + 2 = 2*q. Suppose -r + 0 + q = 0. Solve -10 = r*j - i - z*i, -2*j + 15 = i for j.
5
Let s be 2 + -3 - 2/1. Let w be (-1 - (s - 0)) + 3. Suppose 7*b - 6 = 4*b, 5*b - 12 = -f. Solve 2*v - 2*c - 20 = f*c, c + w = 2*v for v.
0
Let q(c) = -c + 1. Let k be q(-4). Solve -x = k*o + 2*x + 19, -2*x + 4 = 0 for o.
-5
Let h(g) = -g + 17. Let m be h(8). Suppose 0 = -2*s + 5*p + m, 0 = -s - 2*p + p + 1. Solve 4*z + 2 + 6 = 4*j, s*j + 3*z + 1 = 0 for j.
1
Let c(k) = 2*k**2 + k + 1. Let x be c(3). Solve -3*z = -m + 6*m + 31, 4*m + z = -x for m.
-5
Let t(r) = -11*r + 9. Let u be t(-9). Suppose 0 = 2*y + 2*y - u. Solve -2*w - 2*w + 4*a = 24, 2*w = 5*a - y for w.
-1
Let t be (-3)/(-3) + 1 - -3. Suppose 7*i - 5*z = 4*i + 40, t*i - z - 30 = 0. Suppose -3*o = -i - 10. Solve -o*u + 2*s + 7 + 1 = 0, -8 = -3*u - 2*s for u.
2
Suppose -3*k - 4*q + 69 = 0, 2*q - 83 = -5*k + 6*q. Solve 0 = -4*t - 6*i + 2*i + 8, 2*t - k = -5*i for t.
-3
Let s = -2 - -4. Suppose -o + s = o. Let g be -2*o/2*-3. Solve -3*h - 5 + 2 = -3*n, 17 = g*h + n for h.
4
Let s(x) = -x**3 - x**2 + 4*x - 1. Let o be s(-3). Suppose 8*i - 11*i - 5*r + 16 = 0, -i + 2*r - 2 = 0. Solve d = -0*d, i*k = -o*d + 10 for k.
5
Let i(n) = n**2 + 4*n + 5. Let a be i(-3). Let f = -2 + a. Solve -b + 0*g + 1 = -3*g, f = 4*b + g + 9 for b.
-2
Suppose 2*x - 5*x = 0. Solve -3*v = 5*k - x*v - 24, -3*k + 3*v = 0 for k.
3
Let h be 84/18 - 4/6. Solve p + 3 + 6 = 2*v, -h*p = -3*v + 16 for v.
4
Let o be (-7)/(-2)*6/(-3). Suppose 19*j = 15*j + 44. Let t = o + j. Solve -z + a = 0, -2*a - 18 = t*z - 0*a for z.
-3
Let q(k) = 4*k**3 + 3*k - 2. Let g be q(1). Solve i - 2*i - g = 4*d, -4*i - 20 = 5*d for i.
-5
Let y = 15 + -8. Let q(n) = -3*n + 1. Let z be q(4). Let l = z - -16. Solve 3*j - y = x, -l*x + x - 15 = j for x.
-4
Let q be (2 + 3/(-9))*3. Let t be (-2)/q + 22/5. Let r be (-3 - (-1 + 0)) + 10. Solve g + r = t*i + 1, -4*g = -3*i + 2 for g.
1
Suppose 0 = 4*h - 77 + 5. Let l be 3/(-2*(-3)/h). Let g = l + -4. Solve 5*j = 0, -w + g*w + 4*j - 16 = 0 for w.
4
Suppose 3*w - 5 = 1. Suppose -m + 4 = -w*a - 14, 4*m = -a + 45. Solve 0 = -4*p + 3*l - m, l - 12 = 4*p + 6*l for p.
-3
Let w(s) = -s - 2. Let x(f) = -f - 2. Let r(a) = -3*w(a) + 2*x(a). Let n be r(2). Solve -n*l - l - 15 = -5*z, 16 = 2*z - 4*l for z.
-2
Let j be 0 + 0/((-1)/((-3)/(-3))). Solve 0 = -5*v - q - 15, 2*v - 2*q + j*q = -18 for v.
-4
Let r(w) = 8*w**2 + w - 1. Let q be r(1). Let s(j) = -j**2 - 7*j - 6. Let z be s(-4). Let d = z + 0. Solve 5*g + 3*x - d = -0*g, 0 = -3*g - 4*x + q for g.
0
Let b be 10/3 - (-2)/(-6). Solve i - b*g - 15 = -2*i, -3*i + 15 = -4