Let k(y) = y**2 - 8*y + 3. Let c be k(8). Solve 6*t - c*t = 3 for t.
1
Let h = 24 - 20. Suppose 0*y = 3*t - 4*y - 4, -h = 4*y. Solve t = u + u - 10 for u.
5
Let t = -5 + 6. Let b be 3 - (t - (-1 - -2)). Suppose -b*w = -7*w. Solve 3*h = -3 - w for h.
-1
Suppose -3*b = 8 - 20, 2*v + 2*b = 0. Let n = 7 + v. Solve -n*r = -8 + 17 for r.
-3
Suppose 4*c - 2*g - 48 + 8 = 0, -3*c - 2*g + 23 = 0. Solve -3*j - c = -0*j for j.
-3
Let h be ((0/(-3))/1)/1. Let y be ((-48)/9)/(-4)*3. Let t = 0 + 4. Solve -y*u + h = -t for u.
1
Let w be (-1)/2 + (-18)/(-4). Suppose 0 = -4*n + j - 1 - 2, 4*j + 1 = 3*n. Let o = n + w. Solve d - 7 + o = 0 for d.
4
Suppose 0 = -5*u + 77 - 207. Let z = 16 + u. Let t be z/(-4) + 1/2. Solve -t*l - 12 = -0 for l.
-4
Suppose -6*g + 2*g + 12 = 0. Suppose -d + 2 - g = 0, -d = 3*p - 11. Suppose p*k + 8 = 3*s + 2*k, s - 5*k + 6 = 0. Solve -s*y = -0*y + 20 for y.
-5
Let q be 4 - (-2 - -1) - 1. Let t = -6 + 8. Suppose -q*l = -0*l - h - 7, -8 = -5*l + t*h. Solve 3*s + 4 = -l for s.
-2
Let y be 6 - -1 - (-5 + 3). Let b be ((-20)/6)/((-6)/y). Solve -b*j + 8 = -17 for j.
5
Let l(y) = -y**2 + 11*y - 7. Let k be l(10). Suppose 4 = -3*n - 2*a + 17, -3*n + 2*a + 5 = 0. Let c be 1 - k/(n/(-1)). Solve 2*i + 0 = c for i.
1
Let j = 4 - 4. Suppose j*d = 3*d - 3. Solve -d - 2 = -s for s.
3
Let t = 21 + -19. Suppose -4*w = 2*v - 6 - t, -3*v = -2*w - 4. Solve 5 = -v*p + 1 for p.
-2
Suppose 4*c - 14 = -2. Suppose 0 = c*j - 3. Let k be 5 + j + -1 + -2. Solve 0*x = k*x - 6 for x.
2
Suppose -b = 2 - 8. Suppose -a + b - 3 = 0. Suppose -2*s = -3*s + 6. Solve -3*r = -a - s for r.
3
Let v = -1 + 1. Let i = 1 + -1. Suppose i = -u - u. Solve v = q - u*q for q.
0
Let a be 0/(-3 - (-2 + -3)). Let m(g) be the first derivative of -g**2 - 2*g + 2. Let n be m(-2). Solve i - n*i - 4 = a for i.
-4
Let g(r) = 6*r**2 - 1. Let a be g(-1). Let s be (-196)/(-8) + 2/(-4). Solve -1 - s = -a*x for x.
5
Suppose -4*o + 2*s = -20 + 2, -s - 13 = -3*o. Let b be (9 - (-7)/(-1))*(-5)/(-2). Suppose -5*u = -4*u. Solve u = o*t - 7 - b for t.
3
Suppose 0 = -o - 0*o + 2. Let g = o + 2. Let f be -8*2*(-2)/g. Solve c = -c - f for c.
-4
Suppose 35 = -3*v + 56. Solve -4*h = -1 - v for h.
2
Suppose -3*r + 22 = -s, -2*r + 2*s + 35 = 3*r. Solve r = -3*b - 0*b for b.
-3
Let s = 10 + 2. Solve 0 = 6*w - 3*w + s for w.
-4
Suppose 0 = 5*w - 5*i + 10, 2*w = 7*w + 3*i - 22. Solve -w*b - 12 = b for b.
-4
Suppose -2*n + 4*c = -0*n + 10, 4*n = -3*c + 35. Suppose -n*q = -2*q - 3. Solve 4 = -5*u - q for u.
-1
Suppose 0*i + 25 = -5*i. Let d = -3 - i. Suppose -6*q = -d*q - 4. Solve q = -2*v - 1 for v.
-1
Let f = 135 - 130. Let s = -1 - -4. Solve j - s = -f for j.
-2
Let j(f) = f**2 - 3*f - 6. Let a be j(5). Suppose 7 = -v + 2*r, a*v - 4*r + 0*r = -8. Let y = 0 + 2. Solve l = -v + y for l.
-1
Suppose 2*h + 3*h - 70 = 0. Let b = h - 11. Solve b = r - 0 for r.
3
Suppose 0 = 5*q - 4*a + 2*a - 43, -2*a + 6 = 2*q. Suppose q*v = v + 24. Solve 4*c = 5*c - v for c.
4
Let k be 15/6*(2 - 0). Suppose -k*a - 3*c + 40 = -c, 0 = 2*a - 4*c - 16. Solve -3*b = -a*b - 5 for b.
-1
Let q be (-16)/8 + (-2)/2. Let a = q - -6. Solve -4*t + a*t = 0 for t.
0
Suppose y + 85 = 5*x, 0 = -2*x + y - 2*y + 34. Suppose 5*k + 2 = 2*i + x, -4*k = 2*i - 30. Solve 0 = 4*z - k*z for z.
0
Let i = -37 + 59. Let p = i - 2. Solve -4*b + 0*b = p for b.
-5
Suppose 6*m = 4*m - 40. Let l be (-8)/m - 73/(-5). Solve 0 = -2*x - x + l for x.
5
Let x(z) = -z**2 - 5*z + 6. Let t be x(-7). Let f(j) = j**2 - 3*j + 2. Let i be f(5). Let a = i + t. Solve 0 = -u - u + a for u.
2
Suppose -2*w - 12 = -6*w. Let q be 4/(2/((-2)/(-1))). Suppose w*j - 8*j - 2 = 4*o, 5*j - q*o - 22 = 0. Solve -j*v + 2 = -4 for v.
3
Suppose -5*q + p + 5 = 0, -4*q = 4*p - 1 - 27. Solve 0 = q*u + 3*u + 15 for u.
-3
Suppose -2*u - b + 5 = -7, 0 = u - 5*b + 16. Solve 0 - u = -w for w.
4
Suppose 2*x - 3 = -x, 0 = 3*g + 3*x - 3. Solve 0 = -g*r - 2*r + 4 for r.
2
Let z be (-8 - 1)*(-4)/(-12). Let f = 0 - z. Solve 0 = -f*p - 2*p + 10 for p.
2
Suppose -3*m - 2*w = -9, 3*w - 9 = 2*m - 5*m. Suppose 8 = -2*u + 4*i, -5*u + 4*i - 6 = 2. Suppose u = 4*a - 2*a. Solve -m*x - 6 + 0 = a for x.
-2
Let i be 6/(-9)*(-6)/(-4). Let v be i + ((-1)/(-1))/1. Solve -5*x - 1 - 4 = v for x.
-1
Suppose -o = 3*j + 14, -5*o - 9 = j + 5. Let b be (6/j)/(6/(-8)). Solve 3*w = -b*w - 10 for w.
-2
Suppose 0 = -3*g - 2*r + 9, -g + 2*g = 4*r + 17. Solve -3*h + 2*h = -g for h.
5
Let n(u) = u**3 + 6*u**2 - 4*u - 3. Let a be n(-6). Suppose t - 10 = o, -4*t = -o - 19 - a. Suppose 19 = -2*x + 5*b, 5*x + b = 2*b + t. Solve 0*h + x = h for h.
3
Suppose 14*v = 13*v + 2. Suppose 6*c - 26 = 4*c - 5*k, -4 = -c + v*k. Solve 6*b = 2*b + c for b.
2
Suppose 5*o - 8 = t, 2*t + 6*o - 7*o - 2 = 0. Solve -t*q + 1 = 7 for q.
-3
Let q = -13 - -21. Solve q = -5*i - 17 for i.
-5
Suppose 2*c + v - 14 = 0, 4*c + v - 4*v - 38 = 0. Let d be 3*c*(-3)/(-18). Suppose d*p - 3*p = -2*a, -a + p = -3. Solve w - a = -4 for w.
-3
Let t(v) = -v + 6. Let g be t(3). Solve m + 2 = g*m for m.
1
Suppose u = 5*j - 5, j + 3*j + 4*u + 20 = 0. Let c(o) = 4*o - 2. Let m be c(1). Suppose 3*z + 2 = 2*a + z, m = -2*a + 3*z. Solve j = -2*r + 1 - a for r.
-2
Let u be 1/((-3)/(-9)) + -2. Solve -2*h + 3 = -u for h.
2
Suppose -3*h + 2*h = -2. Solve -w + h*w = 2 for w.
2
Suppose 3*s + 8 = s - 3*p, 12 = 2*s - 2*p. Suppose 7*m = s*m. Solve -o = -m + 4 for o.
-4
Let a be (-6*2/(-18))/(6/27). Let j(t) = t**2 - 3. Let n be j(0). Let f be 44/6 + (-2)/n. Solve -a + f = h for h.
5
Let s(n) = n**2 + n + 2. Let q be s(0). Suppose -q*i - 16 = -4*x, x - 4*i = -0*x + 11. Let d be ((-1)/(-3))/(1/3). Solve 0 = x*v - 7 + d for v.
2
Suppose x = u - 0 - 5, 3*u = -4*x + 15. Let m = -6 + x. Let l be ((-6)/(-8))/(m/(-120)). Solve -l + 0 = 5*p for p.
-3
Let t be (-49)/(-21) + 7/(-3) + 2. Let m = -2 + 4. Suppose -30 = -m*c - 6. Solve v = -t*v + c for v.
4
Suppose 3*x - 4*x = -2. Let j = 2 - x. Solve j = -0*o + 3*o - 3 for o.
1
Let a(t) = -t + 1. Suppose 0 = -5*k - 4*f + 30, -k + f + 0*f = 3. Let v be a(k). Let o be (0 + v)/(2/(-4)). Solve o = -2*g - 4 for g.
-3
Let k be 2/1 - (3 + -5). Suppose u = k*u + 5*t - 6, 2*t = 3*u - 6. Solve 3*r - 3 = u*r for r.
3
Suppose 2*r - 30 = -5*a, 0 = 3*r + 3*a - 28 + 1. Let n = -3 + r. Let z be n*4 - (-2 + 3). Solve 0 = 3*u - z*u for u.
0
Let q(y) = 2*y - 6. Let t be q(4). Let h be t/6 - (-15)/9. Suppose 2*d = -5*j + 21, -2*j - h*j + 18 = 2*d. Solve -b = j - 6 for b.
3
Let m be 8/6 - 2/(-3). Let q = -7 + 7. Let s be (q/8)/(m*1). Solve 5*o - 3 - 7 = s for o.
2
Let i(l) = 3*l - 2*l + 0*l. Let d be i(2). Suppose 2*b - 20 = -d*b. Solve b*h - 7 + 27 = 0 for h.
-4
Suppose -2*m + f + 2*f + 24 = 0, -3*m + 34 = -4*f. Let t be (1 + -3)/((-4)/m). Solve -5*d - 4 = -t*d for d.
-2
Let x(s) = -s**2 + 10*s - 24. Let d be x(6). Solve -4*y + 8 + d = 0 for y.
2
Suppose -77 = -3*d - 71. Solve 0*x + d*x = -8 for x.
-4
Let b(a) = -a**3 + 4*a**2 - 3*a + 2. Let w be b(3). Let r be (w/3)/(6/18). Solve -8 = -2*d - r*d for d.
2
Let h be ((-48)/(-84))/(2/7). Solve -h*c - 2 = 2 for c.
-2
Let l(j) = j**3 + 5*j**2 - 2*j - 6. Let p = 5 + -10. Let b be l(p). Suppose s + 2*z = 5, -3 = -4*s - b*z + 9. Solve 2*k = k + s for k.
1
Suppose 76*k + 11 = 77*k. Solve -k = 4*r + 1 for r.
-3
Let c(y) = y**3 - 9*y**2 - y + 13. Let h be c(9). Suppose 7*t = 2*t + 2*x + 6, h*t = 3*x + 2. Suppose p + 1 = t. Solve -n - 3 = p for n.
-4
Let v(y) = y + 1. Let a be v(-1). Let l = a + 4. Let f be (-1 + -1)/((-2)/1). Solve 0 = -l*r - f - 3 for r.
-1
Let t(a) = 4*a + 4. Let k(x) = 7*x + 7. Let r(y) = -3*k(y) + 5*t(y). Let u be (0 + 0)*-1 - 1. Let c be r(u). Solve 20 + c = -5*s for s.
-4
Let z(p) = 2*p - 6. Let q be z(3). Let c be -1*(-3 + 2) - -2. Solve q*s - 9 = -c*s for s.
3
Let q(t) be the second derivative of -t**6/720 - t**5/60 + t**4/6 + 2*t. Let s(d) be the third derivative of q(d). Let v be s(-2). Solve 3*c + v*c = 0 for c.
0
Suppose -g + 5*f + 28 = 3*g, -4*f - 6 = 5*g. Solve -a = -g*a - 1 for a.
-1
Let d(a) = -a**3 + 3*a**2 + 4*a + 2. Let l = 5 - 3. Suppose -l*v + n + 12 = -0*v, -v = n. Let z be d(v). Solve j - 3 = -z*j for j.
1
Suppose 1 = d + z - 5, 2*z = 8. Suppose 0 = 4*x - d*a - 24, -3*x + 4*a - 5 = -23. Suppose -4*n + 34 = -66. Solve j - n = x*j for j.
-5
Let o = 4 + -5. Let c be -2 + o + (3 - 0). Suppose -5*i + 0*