*u - 25 = -3*u. Suppose 5 = u*s - 5. Suppose 5*y - s*y - 6 = 0. Solve -2*n - 6 = y for n.
-4
Suppose 2*z - z - 10 = 5*o, -2*z - 2*o = -20. Solve -n - n = -z for n.
5
Suppose -79*n - 35 = -84*n. Solve -3 = 5*k + n for k.
-2
Let v(u) = u**3 - 2*u**2 + 2*u - 3. Let c be v(2). Solve -5*x + c = 16 for x.
-3
Let a be 1*2 - (1 - 3). Let c be (-30)/(-8) + 2 + (-3)/(-12). Solve -2*s + c + a = 0 for s.
5
Suppose 5*k = -y + 29, 4*k - 3*y = -13 + 40. Let w = -4 + k. Suppose -5*g + 22 = 4*d - w*g, 2*d - 18 = -5*g. Solve -d*a = a for a.
0
Suppose -4*v = -5*m - 3, -4*v + 3*v + 4*m - 2 = 0. Solve -3*c - 11 = -v for c.
-3
Suppose 2 = 11*u - 10*u. Solve -15 = -3*b - u*b for b.
3
Suppose 0*l = -l + 4. Let x = l - -5. Let d = x - 4. Solve -1 = d*q - 6 for q.
1
Let i(l) = -l + 1. Let u be i(0). Solve 3 - u = -g for g.
-2
Suppose 20 = 2*s - 2*x + 6*x, 0 = -4*s - x + 19. Let j = 8 - s. Solve j*y - 3*y = -4 for y.
-4
Suppose 10 = 5*h + 5*s, -h - 3*s = -4*h + 12. Let d(o) = -o - 1. Let x be d(-5). Suppose -2*b - 10 = h*a, 0 = x*a + 2*b + 12 - 2. Solve 2*k + 4 = -a for k.
-2
Let d be (-6)/(-8)*112/21. Solve -d = -m + 5*m for m.
-1
Let i be ((-16)/(-56))/(3/84). Solve 3*v - i = v for v.
4
Suppose -3*d - 5*a - 8 = 0, 2*d + 10 = -4*a + 2. Let x be d/10 - 152/(-20). Solve 2*u + 2*u = -x for u.
-2
Let v = 34 + -32. Solve -f = -v*f + 1 for f.
1
Suppose s + 0*s - 21 = 0. Suppose -4*p = -7*p - s. Let y(a) = a**2 + 7*a. Let g be y(p). Solve 4 = 4*u - g for u.
1
Let p = 4 + -6. Let c(h) = -17 + 15 + 4*h**2 + 0*h**2 + 2*h. Let l be c(p). Solve -l = w + w for w.
-5
Suppose 5*y = 2*y + 9. Let j(f) = f**3 + f**2 + f - 1. Let k be j(1). Let m = -10 + 14. Solve y*s + k = -m for s.
-2
Suppose -5*j = -3*w + 4*w - 4, 5*w - 20 = -3*j. Solve j*n = -n for n.
0
Suppose -t + 3*n = -14, 3*t = 7*n - 4*n + 30. Solve u - 5*u - t = 0 for u.
-2
Let n(h) = 2*h - 1. Let l be n(-1). Let k(i) = i**3 + 3*i**2 - i - 3. Let c be k(l). Solve c = -0*o + o for o.
0
Let y be 3 - (-2 - 5/(-1)). Suppose 2*h = -3*z + 12, -3*z = -3 - 3. Solve y = 2*a - h + 7 for a.
-2
Let n(h) be the first derivative of 5*h**2/2 + h + 3. Let a be n(-1). Let b = 9 + a. Solve d = -0*d + b for d.
5
Suppose -5 = -i + 4. Solve 4*m - i = 7 for m.
4
Let f(t) = -t**3 + t**2 + t + 3. Let p be f(0). Solve 0 = 2*u + p*u for u.
0
Let f(s) = -s. Let x(r) = 4*r - 10. Let y(o) = 3*f(o) + x(o). Let u be y(12). Solve -2*m + 12 = u*m for m.
3
Suppose 4*l - q - 17 = 4*q, 0 = 4*l + 5*q - 7. Suppose 2*v = -v + 5*k + 11, l = 3*v + 3*k. Solve 3*a = -v*a for a.
0
Suppose -a - 5*u = 22, -2*u = 8 + 2. Solve 0 = -7*c + a*c + 12 for c.
3
Let w = 3 - -2. Let v(s) = -s**2 - 6*s - 8. Let a be v(-4). Solve a = -c + w*c - 4 for c.
1
Let u(f) = 5 - 15 - 2*f**2 + 11*f + 3*f**2. Let l be u(-12). Solve -3 = -l*v + 1 for v.
2
Suppose 0 = -j + 2*j. Suppose -3*b + 2*u - 5*u + 30 = 0, j = -4*b + 4*u. Solve 0 = 3*r - b*r for r.
0
Suppose 4*b + 3*l - 41 + 1 = 0, 3*l = -b + 19. Solve -3*i = -b*i - 8 for i.
-2
Let v = 2 - 5. Let o be 1 + 0 + v - -2. Solve -a + 3 = -o*a for a.
3
Let l = -1 - -1. Suppose 0 = -0*u + 3*u + 2*t + 19, 5*u = -3*t - 30. Let y = 5 + u. Solve -2*k = -l - y for k.
1
Let i be (-4 + (-16)/(-4))/(-1). Solve i = -4*w + 2*w for w.
0
Let i be (4 - -1) + 12 + -17. Solve 2*t = 8 - i for t.
4
Let u be 2/((-1)/(-2) - 0). Suppose 0 = 3*y - 2*o - 53, 0*y + 4*y + 3*o = 82. Suppose -l = -m - 5*l + y, 0 = -l + 2. Solve -5*v - m - u = 0 for v.
-3
Let s = -52 - -55. Solve -s = b + 1 for b.
-4
Let c be -3*14/(-6)*1. Solve 3*s - 4 = c*s for s.
-1
Let r(q) be the first derivative of -q**4/4 - 5*q**3/3 - 3*q**2 - 5*q + 4. Let t be r(-5). Solve 7*i - t = 2*i for i.
5
Let g be 22 + (3*-3)/(-3). Let d = -19 + g. Solve d*x = x for x.
0
Suppose 0 = 4*g - 5*d - 49, 0 = g + g - d - 17. Let o = 4 + 1. Solve 3*m = o*m + g for m.
-3
Let s be (-6)/21 + 32/14. Let y be s/(4/(16/1)). Solve 4*h + 0 = y for h.
2
Let s(l) = 2*l**2 + 2*l - 2. Let u be s(-2). Let r(v) = v**2 + v + 2. Let a be r(u). Solve q - a = 5*q for q.
-2
Let p be ((-9)/(-15))/(2/30). Suppose 4*o = -1 + p. Let i be (10 - (o - 2)) + 0. Solve -2*r + i = -0*r for r.
5
Suppose d - 6 = -4*r - 18, -3*d + 2*r = -6. Suppose 2*l - 2*w = w + 3, 5*w + 5 = d. Suppose 4*c - 2*c = l. Solve c = -4*h + 1 + 3 for h.
1
Suppose 0 = 4*r - 2*r. Suppose 15 = 3*l - r. Let m = l - 2. Solve 4*i + 3 = m*i for i.
-3
Suppose -a - 3*a = 40. Let j(c) = -c**2 - 11*c - 14. Let u be j(a). Let q(o) = -o**3 - 5*o**2 - 5*o. Let b be q(u). Solve -x - 9 = -b for x.
-5
Let m(o) = -o**2 - 18*o + 19. Let s be m(-19). Solve s = -t + 1 - 4 for t.
-3
Let c(t) = -t**3 + 6*t**2 + 9*t - 9. Let y be c(7). Suppose 0 = -h, -5*l + 15 = -3*h - y. Solve -3*r = -l*r for r.
0
Suppose t = 7 - 3. Let g = t - 0. Solve 1 = -3*k + g for k.
1
Suppose -3*v + 50 = 2*v. Let u be ((-4)/v)/((-6)/30). Solve -2*f - u = -6 for f.
2
Let s(b) = 6*b**3 - 2*b**2 + 2*b - 1. Suppose -5*u + 48 = -12. Suppose -4*l = -4*a - u, a + 12 - 1 = 3*l. Let k be s(a). Solve 5*w + 25 = k for w.
-4
Let p(h) = h**2 - 6*h + 8. Let y be p(6). Suppose -t + y = -14. Suppose 2*j + 5*g - 3 = t, -j - 3*g + 15 = 0. Solve 5*n + 4 + 16 = j for n.
-4
Let z(q) = 4 - 14 - 7*q + 6*q. Let p be z(-8). Let b be 7/p*(-6)/3. Solve -2*y + b = -1 for y.
4
Let k be (-7)/(-21) - 1/3. Suppose -5*p + 9*p = k. Solve -2*a + a = p for a.
0
Let t be (-46)/(-4) + (-6)/12. Solve -t = -5*y + 4 for y.
3
Let m(s) = s**2 - 12*s + 37. Let i be m(7). Solve -i*b = -4*b - 4 for b.
-2
Let x(r) = r**3 - 5*r**2 - 15*r + 13. Let i be x(7). Solve -8 = i*n - 4*n for n.
-4
Let z be (-4)/(-22) + (-62)/(-22). Solve 1 = z*l - 2 for l.
1
Suppose 7 = 4*c + 3*j - 4, 2*c - 3*j = 1. Suppose r + 3*v + 2 = 0, -5*r - 10 = -4*v - 38. Solve -c = -2*u + r for u.
3
Let i be (-243)/(-63) + (-1)/(-7). Suppose -c + o = 4*o, -c = i*o. Solve c*f - 5*f = 25 for f.
-5
Suppose -16 = -4*d, -4*m - 5*d + 58 = 14. Suppose m*n = 2*n. Let u = n - -3. Solve -2*s = -u*s for s.
0
Let y = 3 - 0. Suppose -25 = -y*g - 7. Solve 0 = 3*c - 0*c + g for c.
-2
Let w(y) = -y**2 - 3*y. Let h be w(-4). Let t = -4 - h. Let a(z) = z + 12. Let p be a(-10). Solve -p = -i - t*i for i.
2
Suppose -6 = -5*r - 4*v + 15, 2*v = 5*r + 3. Let i be 3/r*(3 + -2). Suppose 5*t = -2*w, -i*w = 2*t - 5*w - 14. Solve -4*d + 2 = -t for d.
1
Let u(x) = 2*x**2 - 25*x - 13. Let i be u(13). Solve 2*k - 6 = -i*k for k.
3
Let w = 47 - 26. Suppose 3*z - 4*a - 28 = -0*z, -2*z + 5*a = -w. Suppose -p - 3*p + 20 = 0. Solve -z = -p*n - 28 for n.
-4
Suppose w + 18 = 5*k, -5*k + 24 = -0*k + 2*w. Let c(b) = b**3 - b**2 + b - 2. Let j be c(2). Solve -k = -0*m - j*m for m.
1
Suppose -j + 2*j - 4 = 0. Solve -3*q = j - 1 for q.
-1
Let q(n) = -n**2 - 6*n. Let z be q(-5). Solve z*s - s = 0 for s.
0
Suppose m + 0*m + 11 = 0. Let o = -8 - m. Solve 6*c + o = 3*c for c.
-1
Suppose -9*d + 2 = -7*d. Solve -3*w - d = 5 for w.
-2
Let q be 1/1 - (-1 - 0). Let h be 2 + (-4)/(-2) + -2. Suppose u + q*m - 4 = 0, -m = -1 + h. Solve -u = j + j for j.
-3
Let f(t) = 8 + 4*t - 7 - 4*t + 2*t. Let j be f(2). Solve 3 = -j*v + 2*v for v.
-1
Let w = -9 - -3. Let h be (7 - 4)/(w/4). Let l = h + 9. Solve -c = -l + 4 for c.
3
Let g be (-6 + -1)*6/7. Let f be ((-2)/(-1))/(g/(-9)). Suppose h - 16 = -f*h. Solve 0*m + h = -m for m.
-4
Let t = -6 + 5. Let y be t/2*(-5 + -1). Solve v + 8 = -y*v for v.
-2
Suppose 0*o + 2*o - 5*z = 14, -8 = 4*z. Suppose 1 = o*w - 9. Solve 0 = x - w for x.
5
Let g be 54/(-8) - (-1)/(-4). Let o = g - -3. Let b be -2 + (-2 - o) + 3. Solve 0 = b*d - 5*d + 4 for d.
2
Suppose 5*c = 4*c. Suppose -5*i + 15 = -0, -w + 3*i - 13 = c. Let s = w + 7. Solve 3 = 3*z - s for z.
2
Suppose -4*x = -9*x + 20. Let z(c) = c + 7. Let j be z(-5). Suppose 2*d = -0*d - 6, 136 = 5*i - j*d. Solve x*b - i + 10 = 0 for b.
4
Suppose -3*k - 4*r - 13 = -29, 3*k = -3*r + 18. Solve 0 = -5*y - k + 3 for y.
-1
Let t be -2 + 2*(-3)/(-6). Let x = 3 + t. Suppose h + 2*p = 11 - 1, 4*p = -h + 16. Solve -2 - h = -x*m for m.
3
Suppose 0 = -19*c + 18*c + 9. Solve t - c = 4*t for t.
-3
Let v(g) = -g**3 - 4*g**2 + 6*g + 7. Let t be v(-5). Solve -4 + 10 = -t*a for a.
-3
Suppose 4*y = 3*a - 22, -a - y = -2*a + 6. Let j be (-1)/(2*a/(-20)). Solve -j*c + 2*c = 15 for c.
-5
Let g be ((-8)/(-12))/(6/(-63)). Let p(q) = q**3 + 6*q**2 - 10*q - 10. Let r be p(g). Let f be 245/77 - 2/r. So