t = -y*t - 4 for t.
-1
Suppose -2*o - 2*o + 8 = 0. Suppose -o*m + 3 = -5. Solve 2*i + 2 = m for i.
1
Suppose -2*f - 3*v - 5 = 0, 5*v + 13 = 2*f - 3*f. Let j be f - 0 - (1 + 1). Let s be j + 0 + (0 - -10). Solve -3*a - 5 - s = 0 for a.
-5
Suppose 4*k - 36 = -4*d, -4*d + d + k = -15. Suppose 0 = -u + 3*g + d + 2, -4*g + 21 = 5*u. Solve 11 = -3*z + u for z.
-2
Suppose 0 = 5*x + 3*i, 4*i = -i. Suppose 4*b - 10 = -2*j, x*b - 4*j + 14 = 5*b. Suppose -5*g + 7 = -8. Solve b + 13 = -g*t for t.
-5
Let v(u) = u**3 + 18*u**2 + 18*u + 19. Let d be v(-17). Solve -y = -d + 5 for y.
-3
Suppose 0 = -5*p - 7 - 3. Let j = -1 - -2. Let z be (j/p)/((-4)/32). Solve -8*s = -z*s - 12 for s.
3
Suppose -2*d + 5 = -2*i + i, 5*i = 4*d - 25. Solve n = 2 - d for n.
2
Let m = -11 + 11. Solve m = -3*q - 2*q + 5 for q.
1
Suppose 0 = -2*s, 5*t + 2*s - 5 + 15 = 0. Let f be (-4)/18 + t/(-9). Suppose 0 = -2*c + 11 + 29. Solve 4*u + f*u = -c for u.
-5
Let o(i) = i**3 - 2*i**2 + 4*i + 1. Let a(r) = -r**3 + r**2 - r - 1. Let f(s) = 2*a(s) + o(s). Let p be f(1). Suppose -t + p*t = 0. Solve -4 + t = -l for l.
4
Let t = 3 + 6. Let b = -9 + t. Let p = -7 - -10. Solve -v + 2 + p = b for v.
5
Let b(w) = -w**2 + 12*w - 33. Let j be b(7). Solve 0 = -j*d - d - 9 for d.
-3
Let t be (-4 - 0)*2/(-4). Suppose 0 = -t*r + r + 1. Solve k + r = -2 for k.
-3
Suppose -1 = -5*m - v + 4, 0 = -4*v + 20. Solve -8*f + 4*f + 4 = m for f.
1
Suppose -2*u + 3*f - 2 = -0*u, 2*u = 2*f. Solve 6 - u = k for k.
4
Let f = 2 - 3. Let j be (f/(-3))/((-8)/(-48)). Solve 0 = -4*l + j*l - 4 for l.
-2
Let i = 7 + -4. Suppose -i*l = 5*r - 0*l - 26, -r = 4*l - 12. Let o be 1 + 0 + r - 0. Solve -t + o = -6*t for t.
-1
Suppose -12 - 2 = -2*j. Suppose -3*s + 2*u - j*u = -17, -3*s + 14 = 2*u. Solve -s = -g - 1 for g.
3
Let v(q) = q**2 - 4*q + 2. Let x be v(3). Let o be (0 - x) + 0 + 2. Let w = -13 + 13. Solve -o*y = -w*y - 12 for y.
4
Suppose -5*u - c = -15, -2*u + 3*c = -u + 13. Suppose -4 + 2 = 3*b + u*m, 5*m + 5 = b. Solve b = -4*h + 1 + 3 for h.
1
Let u(i) be the second derivative of i**3/6 + 11*i**2/2 + i. Let b be u(-8). Solve b*j + 6 = -0 for j.
-2
Suppose m - 19 = -2*h, 77 = 3*m + 3*h - h. Solve 5*p = m - 9 for p.
4
Let f be (-5)/(1/(1 + -2)). Let a = 6 - f. Let n(c) = 5*c. Let r be n(a). Solve 0*t = -r*t + 10 for t.
2
Let j = 10 + 6. Let g be (-26)/(-6) - j/12. Solve g*r - 1 - 14 = 0 for r.
5
Suppose 3*d - 1 = -1. Solve d*m - 12 = 4*m for m.
-3
Let v be -6 + (1 - 2)/(-1). Let f = v + 9. Solve f*r + 10 = 2*r for r.
-5
Let w(d) = -15*d**3 + d**2 + d. Let c = -6 - -10. Suppose 0 = 3*h + h + c. Let p be w(h). Solve 3*t + 0*t = p for t.
5
Let f = -1 + 3. Let i = f - -38. Let j be i/(-6)*18/(-15). Solve -3*s + j*s + 20 = 0 for s.
-4
Let g(f) = f - 2. Let z be g(-2). Let l be 3 + z - 1 - -7. Suppose -4*n - n + 15 = 0. Solve -1 = -n*p + l for p.
2
Suppose -3*h - t = -65, -20 = -5*h - 2*t + 90. Suppose -5*x - 19 = 3*g, -4*g = -9*g + 2*x + h. Solve -6*a + 20 = -g*a for a.
5
Let d = -3 + 4. Suppose -3*n = -2*n + 3*g + 7, -2*g = -n + 3. Let u = n + d. Solve 2*v + 1 - 5 = u for v.
2
Suppose 5*j - 11 - 19 = 0. Solve 0 = j*r - 2*r - 12 for r.
3
Let g be 154/10 + (-4)/10. Let r(q) = -q**2 - 5*q + 3. Let f be r(-5). Suppose f*m = -2*m + 15. Solve m*a + 2*a + g = 0 for a.
-3
Let l = 10 - 5. Let h be (-2)/5 + 37/l. Suppose -3*f - 1 + h = 0. Solve d - 9 = -f*d for d.
3
Let g be 0 + 1 - (-3)/(-3)*-4. Solve -5*k - g = -30 for k.
5
Suppose -2*x + 52 = -38. Let d be (-1)/(-4) + x/12. Solve 4*h = -20 + d for h.
-4
Let n be (-7 - -4)/((-3)/2). Suppose 0 = -2*b - n*m, 5*m - 4*m = -3*b + 6. Solve b*d = -0*d + 9 for d.
3
Suppose -5*t + 24 = 4*s, -2*t + 5 = -4*s + 1. Solve 0 = -t*y - 1 + 21 for y.
5
Suppose 5*j - 17 = -4*z + 5, -5*j + 4*z = 2. Solve 0 = -4*k - j - 10 for k.
-3
Let j be (3/6 + -3)*2. Let s = j + 5. Suppose -2*k - k = s. Solve k*p = 4*p - 12 for p.
3
Let t be (-2)/(-4)*(0 - 0). Suppose 56 - 30 = 13*d. Solve t = u - d*u for u.
0
Let j(u) = u**2 + 7*u + 8. Let o be j(-6). Suppose 0 = -5*d + o*p, 3*d - 2*d = 4*p. Solve -5*z = -d + 25 for z.
-5
Suppose 2*u = a + 16, -6 = -2*u - 2*a + 16. Solve u = 2*n + n for n.
3
Suppose 2*b - 4*b + 3*f + 11 = 0, -14 = -2*b + 4*f. Suppose 3*k - 1 - 11 = 0. Suppose 3*i - k*m + 2*m - 52 = 0, 81 = 4*i - 5*m. Solve 3*a + i = -b for a.
-5
Let y(r) = r**3 - 3*r**2 - r + 1. Let m = -21 - -25. Let q be y(m). Solve -4*c + q = -3 for c.
4
Suppose -3*d + 3*f = 4*f - 52, 5*d = 4*f + 64. Suppose -4 = 2*o - 4*b - 30, d = 4*o + b. Suppose -o*g = 4*q - g - 4, 4*q = g - 1. Solve q*w = -w + 1 for w.
1
Let y(p) = -3*p**2 - 6*p + 4. Let o(d) = 13*d**2 + 23*d - 16. Let z(k) = -2*o(k) - 9*y(k). Let j be z(-9). Solve -2 - 3 = -j*b for b.
1
Let g be 10 - (-1 + 0/(-3)). Solve 9 + g = -5*t for t.
-4
Let o(n) = n**2 + 6*n - 5. Let v be o(-7). Suppose 0 = 3*x - 5*x. Suppose x = -q + v*t - 5 - 2, 2*t = -5*q + 13. Solve j - q - 2 = 0 for j.
3
Suppose -2 = -8*u + 14. Solve -2*c - u*c = -12 for c.
3
Suppose 11*y - 2 = 9. Solve -2*b - 9 = y for b.
-5
Let m = -1 + 5. Solve m + 2 = -2*w for w.
-3
Suppose -l + 3*x + 26 = 0, 27 - 70 = -2*l - 3*x. Suppose 7 = 5*c - l. Let t be (c/8)/((-3)/(-12)). Solve -2 = -t*j - 11 for j.
-3
Let n be (18/(-3) - -3)*-1. Suppose r = -3, -2*s - 7*r = -n*r + 8. Let w be (s/2)/((-2)/(-12)). Solve -w*p = -p - 25 for p.
5
Suppose 2*h + 10 = -2*v, 3 + 2 = -v. Solve 3*n = -h*n - 9 for n.
-3
Suppose 4*y = -j - 0*y + 7, -5*y = 3*j - 28. Suppose 2*o = j + 9. Solve -3*l + 1 = o for l.
-3
Suppose -5*o = -5*c + 4*c + 6, 8 = -2*c + 5*o. Let p = -12 - c. Solve -u = p*u for u.
0
Let p(y) = -y + 9. Let w be p(8). Let q be -1 + w + 0/1. Suppose q = 3*m + 4*r + 8, 4*r + 11 = -4*m + 3. Solve 0 = -m*v + 3*v for v.
0
Suppose -75 = -2*u - 3*u. Suppose -2*n - u = -7*n. Suppose y = -n*y. Solve -3*a = -3 - y for a.
1
Suppose -w = 1, 3*k - 2*k + 3*w = 2. Solve 0 = -k*y - 7 - 8 for y.
-3
Suppose q + q - 20 = 0. Let m be (-5 + 4)/((-2)/q). Let l = m + -1. Solve -2 + l = -b for b.
-2
Let n be -21*(1 + -3)/(-6). Let p = -7 - n. Solve -h - 4*h = p for h.
0
Let f = 4 + 0. Solve 2*z + 2 = f for z.
1
Suppose 0 = 4*q - 56 + 16. Suppose -6 = -4*b + q. Solve -1 = -b*m + 15 for m.
4
Let i(c) = c**3 - c**2 - c - 2. Let f be i(3). Let d = f - 8. Solve -4*o + d + 7 = 0 for o.
3
Let y(q) = -6*q**3 - 5*q**2 - 7*q + 5. Let f(p) = -p**3 - p. Let z(g) = 5*f(g) - y(g). Let x be z(-4). Solve -2*s = -x*s - 3 for s.
-3
Let b = 2 - -6. Suppose 0*h + b = h. Solve -h*d = -3*d - 25 for d.
5
Suppose 2 = 2*y - 2*l, 5*y = l + 3 - 2. Solve -5*r = -y*r + 5 for r.
-1
Suppose 3 = y - 1. Solve 0 = y*x - 5 + 13 for x.
-2
Let i be (1 - 2 - -3)*1. Suppose -6 = -u + 5*y + 8, 0 = -3*u - i*y + 8. Let p be 3/((-36)/20)*-9. Solve -o + u*o - p = 0 for o.
5
Let t be -3*2/(18/(-15)). Let u = t - 3. Solve 16 = -u*k + 6 for k.
-5
Let p be 76/6 - (-6)/(-9). Solve 0 = g - 4*g + p for g.
4
Let y(k) = -k**3 + 9*k**2 - 7*k - 3. Let r be y(8). Let s = -8 - -13. Suppose 0 = s*l - 6 - 14. Solve r - 13 = l*o for o.
-2
Let z = 33 - 31. Solve -4 - 2 = z*x for x.
-3
Let l(t) = 2*t - t + 0*t + 2. Let z be 4/(-6) - (-14)/3. Let p be l(z). Solve -5*j = -p - 4 for j.
2
Suppose 0 = 4*t - 6 - 2. Suppose i + t*i + 12 = 0. Let d be (-9)/(-2) + i/8. Solve g + 0 = -d for g.
-4
Let g be (16/12)/(2/3). Suppose 4*u - 14 = g*u. Solve -4 = -3*h + u*h for h.
-1
Let b(v) = 4*v. Let q be b(1). Solve -6*p + q*p + 10 = 0 for p.
5
Suppose -h - 3*w + 15 = 0, -3 = 2*h - 3*w + 3. Solve l = -h*l for l.
0
Let u(k) = 3*k**3 + 3*k**2 + 4*k + 11. Let z(y) = -y**3 - y**2 - 2*y - 5. Let i(w) = -2*u(w) - 5*z(w). Let d be i(-2). Solve 11 + 4 = -d*t for t.
-5
Let r be (5/4)/((-1)/(-4)). Let t(g) = -9*g - 3. Let n be t(-2). Solve 0 = -r*l + 2*l + n for l.
5
Let b(t) = -t + 1. Let i be b(-2). Solve 1 = 2*f + i for f.
-1
Suppose 0 = q - 4*q. Let d = -137 - -145. Solve q*c + 2*c = d for c.
4
Let y(f) = -f**2 - f + 1. Let x be y(-4). Let n = x + 15. Solve 2*u = -2 + n for u.
1
Let m be 32/14 + 2/(-7). Suppose 0 = h + m*h - 24. Suppose -x = 3*x - h. Solve x*t + 4 = -0 for t.
-2
Let s(h) = h**3 - 12*h**2 - 12*h - 13. Let l be s(13). Solve v = -l*v - 2 for v.
-2
Let w = -8 - -10. Solve 3 = -w*b + 1 for b.
-1
Let v(g) = g**3 - 5*g**2 + 3*g - 4. Let n be v(3). Let l = 29 + n. Solve j + 3*j = l for j.
4
Let c(b) = b**3 - b - 6. Let a