Let a be t(q). Solve 2 + a = 5*y for y.
1
Let u(h) = -2*h + 2 + 0*h - 16 - h. Let p be u(-6). Solve p*m - 3*m = -5 for m.
-5
Let s = 14 + -25. Let y be 8/10 - s/5. Solve -y*q - 6 = 9 for q.
-5
Let f be (-13)/(-4) + 2/(-8). Suppose 0 = 5*j - 2*j. Suppose j = -4*r - 0*r + 4. Solve 4*i = -f - r for i.
-1
Suppose 5*d - 27 = 4*g, 6 - 18 = -2*d + 2*g. Solve 2 = -5*q - d for q.
-1
Suppose 0 = 4*n - 0*n - 8. Let h be 12/n - (1 + 1). Suppose 0 = i - h + 1. Solve -w - 2*w = -i for w.
1
Let v = -69 + 69. Solve 0 = -5*y - v + 10 for y.
2
Suppose x - 36 = -2*x. Suppose -x + 0 = -3*v. Suppose v*y - 50 = 2*y. Solve 0 = -4*u - u - y for u.
-5
Let s(j) = -7*j + 1. Let f be s(1). Let r = 3 - f. Solve -y - 2*y + r = 0 for y.
3
Let f = 38 - 23. Suppose 0*u - 5*u = 2*r - f, -4*r - 15 = -5*u. Suppose 18*b = 14*b + 4. Solve -p - 4 - b = r for p.
-5
Suppose z = -f + 5, 26 = 4*f - 2*z + 3*z. Let v = f - 7. Solve 6*y - 3*y - 6 = v for y.
2
Let q(x) = -x**3 - 3*x**2 - 2*x - 4. Let g(u) = -2*u - 4*u + u + 2 + 6*u. Let t be g(-5). Let n be q(t). Solve -h - n = -3 for h.
1
Suppose 2*t = 3*d + 25, -2 = 2*d - 0. Let x(l) = -l + 16. Let y be x(t). Solve -3*m - y = -8*m for m.
1
Suppose -y - 2 = -8. Let k be 0 + -1 + (4 - -1). Suppose -2*j + y = k*a, 2*j = 4*j + 2*a - 6. Solve -2*t = j*t for t.
0
Suppose 5 = 2*d - 7. Solve 0 = -2*o - 0 - d for o.
-3
Let s(p) = -5*p**3 + 8*p**2 + 2*p + 5*p**2 - 3*p - 10 + 6*p**3. Let b be s(-13). Let a = 3 - -1. Solve -b*c = 13 - a for c.
-3
Suppose 0 = -5*s - 1 + 26. Suppose -5*a = -4*b - 10, 2*a + 3 + 10 = s*b. Solve -r + 15 = -a*r for r.
-3
Suppose 0 = -0*g - 0*g - 2*g. Solve -2*z = -g*z for z.
0
Suppose 2*r - 12 = -3*r + d, -d = r. Solve -r + 8 = -3*c for c.
-2
Let y = -15 + 20. Solve 15 = -0*i - y*i for i.
-3
Suppose 3*v - v - 8 = 0. Let p be -2*10/v*-2. Suppose 0 = -2*s + 28 - p. Solve -5*m - s = -4 for m.
-1
Let m(t) = -t**3 + 6*t**2 - 4*t + 1. Let c be m(2). Let z(b) = b**2 - 3*b - 4. Let q be z(4). Suppose 3*w = 2 + 13. Solve q = -w*r - c - 6 for r.
-3
Suppose -2*m = 2*z - 6*m + 4, -2*z - 4*m = -36. Let s be -1 - 4/z*-2. Solve -3*i = -s*i - 9 for i.
3
Suppose 4*j = -j + 5*i + 25, -3*i + 15 = 3*j. Solve j*m = -2 - 3 for m.
-1
Let j = -23 - -26. Solve 2*g - j = g for g.
3
Let h be (4 - (5 + 4))*-1. Solve -r = -h*r for r.
0
Let t = -23 - -14. Let q be (-48)/t + 1/(-3). Suppose -8 = l + 2*b - 1, 2*l + q*b + 19 = 0. Solve -12 = -p - l*p for p.
3
Let q(r) = 3*r - 1. Let x be q(3). Let i = 17 - 17. Solve i = -x*g + 3*g for g.
0
Let h(a) = a + 15. Let w be h(-5). Let b = w - 9. Solve -b = 4*i + 7 for i.
-2
Let c be 1*((-30)/(-3) - 1). Solve 3 + c = 4*a for a.
3
Suppose 5*b - 6 - 76 = y, -y = 2. Let o = -9 + 13. Solve -4 = -o*l + b for l.
5
Suppose -6 = -4*u + 2*s - 2, 3*s = -2*u + 10. Let a = 2 - -1. Let t = a + -3. Solve 0 = -t*n + u*n + 4 for n.
-2
Suppose 2*z = 41 + 7. Let i = -23 + 11. Let p be 2 + 0 - i/2. Solve -p = -4*t - z for t.
-4
Suppose 3*h - 6 = -2*l, 30 = 4*l - 5*h + 2*h. Solve -z - 1 = -l for z.
5
Let r be 0 - (-2 + (4 - 5)). Solve -7 + 19 = r*g for g.
4
Let v(u) = 7*u - 2. Let i(b) = 8*b - 2. Let s(c) = 6*i(c) - 7*v(c). Let y(k) = k**3 + 6*k**2 + 7*k + 3. Let m be y(-5). Let g be s(m). Solve q - g = -4 for q.
5
Let a be 1/((-6)/154 + 6/33). Solve -a*i = -10*i + 3 for i.
1
Let b be (-5 - -5)*((-15)/(-6) + -2). Solve -2*f + 5 - 1 = b for f.
2
Let k(a) = a + 8. Let v be k(-9). Let d be (12/4 + v)/1. Solve d*h + 0 = 6 for h.
3
Suppose -30 = -9*g + 7*g. Suppose -g = -5*x + 5. Solve -t + x = -1 for t.
5
Suppose 4*p - 10 = 5*l, 0 = p + 3*l + 5 + 1. Solve -2*w + 0*w = p for w.
0
Let x be 3/(-2 - (-44)/20). Let a be ((-18)/x)/(5/(-25)). Solve a*q = q for q.
0
Let x = 12 + -3. Let k = 7 - x. Let q be k/(-3) - (-128)/24. Solve -q - 10 = -4*o for o.
4
Let n(h) = h**3 + h**2 - h. Let z be n(-1). Let g be (16/20)/(z/5). Solve 0*v - g = v for v.
-4
Let j(n) be the third derivative of n**4/24 - 5*n**3/6 + n**2. Let l(k) = -k. Let b be l(-5). Let d be j(b). Solve d = -4*p - 0*p + 16 for p.
4
Let z be 0*4/8 + 4. Suppose -r - z*r + 15 = -2*q, -q = r - 3. Solve 5*y - r + 23 = 0 for y.
-4
Let u(x) = 2*x**2 - 5*x + 1. Let a be u(3). Let t = 2 + -2. Solve -a*s = -t*s for s.
0
Let k = 23 + -14. Let o be (k + 1)*(-6)/(-4). Let m = 1 + 3. Solve m*d + o = -5 for d.
-5
Let d(q) = -q**2 - 6*q. Let a be d(-5). Let m = -10 + 22. Solve -m = a*o - 2*o for o.
-4
Suppose 5*b + 5 = 5*w, -4*b - 5*w + 23 = -0*w. Let p be (1 - -3) + (-1)/(-1). Suppose -b*n + 8 = 2*j, 0*n - 4*j = -p*n - 7. Solve n = s + 3 for s.
-2
Let x = 0 + 4. Solve x*b - 3*b - 4 = 0 for b.
4
Let k be (3 + 1)/4 - -3. Let d be k/6*(-18)/(-4). Solve -3*c = -2*c + d for c.
-3
Let y be 11 - (1*-16)/4. Solve 2*m + y = 5*m for m.
5
Let i be (-96)/(-36) + 2/6. Suppose 5*y - 4*z = i*y + 46, 0 = -y + 3*z + 27. Solve 9*s - 4*s - y = 0 for s.
3
Suppose -2*a + 3*l - 1 = 3, l = -4*a + 6. Solve -3*q = 2 + a for q.
-1
Let r be (-1)/6 - (-242)/12. Solve 9*k + r = 4*k for k.
-4
Suppose 3*h = 3*z - 18, 4*z - 6*z + h = -10. Suppose -9 = -3*x + 2*m + m, -z*x - 2*m + 18 = 0. Solve 2*p = p - x for p.
-4
Let d be (-4)/10 - 10/(-25). Suppose -5*x = 4*y - 62, -16 - 19 = -5*x + 5*y. Solve d = 2*v + 3*v + x for v.
-2
Let u(o) = -o**2 - 2*o + 4. Let s be u(0). Solve 3 = s*z + 11 for z.
-2
Suppose -h - 2*o = o + 20, -3*o = -2*h - 22. Let x = -5 - h. Solve 6 + x = 5*g for g.
3
Let q(k) = -1. Let n(s) = -s - 5. Let u(a) = n(a) - 3*q(a). Let d be u(-4). Solve -f - 1 = d for f.
-3
Suppose 0 = -u - 4. Let g(i) = -i**3 - 5*i**2 - 5*i - 1. Let h be g(u). Solve 2 = 5*r - h for r.
1
Suppose 0 = 4*z + 20, 8 - 2 = s - z. Suppose 3*j + 5 = -s. Let r(i) = -i**2 - 2*i + 2. Let v be r(j). Solve -v*p - 5 = -p for p.
-5
Let i(f) = f - 2*f**3 - 2*f - 4*f**2 + 3*f**3 + 4*f. Let q be i(3). Suppose -3*s + 3*h + 24 = q, h + 5 = -5*s - 3*h. Solve 0 = -6*p + s*p + 9 for p.
3
Let h be (-1)/(((-9)/12)/3). Suppose -5*q = 2*r + 6, 12 = 5*q - 0*r - 4*r. Let w(u) = -u**3 - u - 1. Let p be w(-2). Solve q = -g + h*g - p for g.
3
Let q = -54 - -57. Solve m = -q*m + 4 for m.
1
Suppose 24*a = 22*a. Solve -2*y + 7*y + 25 = a for y.
-5
Let y(p) = -2*p - 9. Let r be y(-10). Let b = -7 + r. Solve w = -b*w for w.
0
Let z be -4 - -1 - (-8 - -5). Let i = z - -4. Solve -3 = i*u + 1 for u.
-1
Suppose 4 = -0*k + 2*k. Let a be (8/3)/(k/3). Solve 0 = a*c - 0*c for c.
0
Let l = 35 + -31. Solve 0*d = -l*d + 8 for d.
2
Let a(u) = -8*u. Let w be a(-1). Suppose 0 = -w*f + 3*f + 40. Suppose t + 2 - 5 = 0. Solve -r - t = -f for r.
5
Let y be (3/(-3))/1*-10. Suppose 0 = -a + 4*l - 2, 5*l - y = -0*l. Solve 26 = -4*v + a for v.
-5
Suppose 0 = 3*j + 5*r - 2, -5*r = -5*j + 8 + 22. Let k be 2/10 - (-14)/5. Suppose -s = -k*s + 18. Solve j*d + 25 = s*d for d.
5
Let s be 3/2*(-140)/3. Let k be (-1)/(-4) - s/8. Suppose -4*v = 3*j + 2*j - 9, 32 = 4*j - 3*v. Solve -k = j*c + 6 for c.
-3
Let i(t) = -t**3 + 7*t**2 - 2*t - 4. Let w be i(7). Let v be (-11)/(-6) + (-3)/w. Solve 1 = -n - v for n.
-3
Let w(f) = -f + 19. Let i be w(14). Solve -i*l = -5 + 15 for l.
-2
Let i = -72 + 107. Suppose 3*h - 5*h = -5*t + i, -t = -3*h - 20. Solve y - 3 = -t for y.
-2
Let i(g) = -g**3 - 16*g**2 + 20*g + 54. Let d be i(-17). Solve 9*w = d*w for w.
0
Let g(m) = -11*m**2 + 3*m + 3. Let p be g(-3). Let y = p - -60. Let i be 2/(84/y + 2). Solve 2*w = -w + i for w.
5
Let m be ((-1)/(-1))/(3/9). Let c be 55 + (1 - -2) + -1. Suppose -5*w - 3*u = -0*w - c, -31 = -m*w - u. Solve -2*q = -5*q + w for q.
3
Let c(j) = 3*j. Let h be c(0). Solve h = -2*d - d for d.
0
Let b = -41 + 60. Suppose -3*c - w = -b, 2*c + 3*c - 33 = -3*w. Solve 0 + c = -3*d for d.
-2
Let d(l) = -2*l - 24. Let h be d(-14). Solve 11 = h*p + 27 for p.
-4
Suppose -2*o = 3*o + 5. Let s be (0 + -1 - o)/1. Solve -3*f - 6 - 3 = s for f.
-3
Let y(t) = -5*t**2 + t. Let c be y(5). Let a be 4/(-14) + c/(-28). Suppose -a = m - 2*m. Solve p = 3*p + m for p.
-2
Let c(k) = -2*k**3 - 3*k**2. Suppose -y = 3 - 7. Suppose 0 = 4*r - 2*r + y. Let w be c(r). Solve w*s = -s + 25 for s.
5
Let y = 10 + -6. Solve -2*z + y = 2 for z.
1
Let w = 7 - 3. Suppose v + w*v = 15. Solve 2*p = -v*p for p.
0
Let q(s) = 0*s - 5*s + 4*s + 5. Let l be q(5). Suppose 4*g + 10 = -5*z, 2*z + l = -4*g - 4. Solve 0*r - 4*r = g for r.
0
Let d(l) = -l**3 - l**2 - 3*l - 3. Let u be d(-2). Let y 