*s + 5*s - 2 = 0 for s.
1
Let k = 6 + -3. Let c = k + -3. Suppose y = 2 - c. Solve 4*u - y*u + 4 = 0 for u.
-2
Suppose -s = -m + 26, -2*m + 47 = -3*s - 7. Let x = m + -24. Solve x = 5*n - 0*n - 5 for n.
1
Let q(t) = -t. Let d be q(-2). Suppose v - d*v = -4. Solve -3 - 1 = v*o for o.
-1
Let d = 26 - 15. Let n = 14 - d. Solve -n*r = -2*r + 2 for r.
-2
Let c(b) = b**2 - b. Let z(n) = -14*n**2 + n - 2. Let o(i) = -5*c(i) - z(i). Let m be o(-2). Suppose 0 = -2*l - 10, 9*g - 2*l - m = 4*g. Solve -g*h = h for h.
0
Let b = -4 - -4. Solve -5*p = -b*p - 5 for p.
1
Let u be 19 - (4 - 2)/(-2). Suppose 5*g - u = g. Solve g*m + 3 = 8 for m.
1
Let c be 20 + (-2)/(-10)*0. Solve 5 = 3*g + c for g.
-5
Let s be ((-4)/(-1) + -4)/1. Solve 0 = 4*d - s*d + 16 for d.
-4
Suppose -2*a + 24 = 5*d + 4, 0 = a - 4*d + 16. Suppose s + a*s - 2 = 0. Suppose -2*h + 12 = s*h. Solve 1 = y - h for y.
4
Let z be 112/24 - (-3)/9. Solve -z*m = -0*m + 15 for m.
-3
Suppose 40 = 3*i + i + s, 0 = -5*i - s + 49. Suppose -5*u = 3*v + 26, 0*v - 10 = 5*v. Let o = u + i. Solve 6*h - h + o = 0 for h.
-1
Let d be ((-16)/10)/((-32)/400). Solve -3*u = 2*u - d for u.
4
Suppose 2*u - 2*x = -14, x - 1 = -4*u - 9. Let k = 3 + u. Let m(f) = 4*f**2 + f. Let t be m(1). Solve k*b + 5 = t*b for b.
1
Let j be (0/2)/((-10)/10). Suppose 5*n + 3*d - 20 = j, 8*d + 20 = 5*n + 3*d. Let t(w) = -w - 2. Let v be t(-5). Solve v*i + n = -8 for i.
-4
Let t = 4 - 6. Let d(v) = -2*v - 3*v - 4 + 2. Let i be d(t). Solve 5*h = -7 - i for h.
-3
Suppose 12 = -3*f + 3*v, -6*v + 2*v + 16 = 0. Let n be (1 + -1)/(1 - f). Solve -w + n + 1 = 0 for w.
1
Let s be 24/3 - (3 - 2). Let f = 11 - s. Solve 3*k - 2 = f for k.
2
Let y(k) = k**3 + 3*k**2 - k - 2. Let m be y(-2). Suppose -5*v + 3*n = -33, -3*v = v - m*n - 28. Solve 3*c - v = c for c.
3
Suppose -3*g + x - 2*x + 10 = 0, -4*x + 6 = -5*g. Solve g*q = -q + 3 for q.
1
Let x(w) = w - 7. Let d(k) = -1. Let z(o) = o + 3. Let v be z(-5). Let p(s) = v*d(s) + x(s). Let r be p(8). Solve -6*t = -r*t for t.
0
Let s be 282/18 - 1/(-3). Suppose s = 4*g - 8. Solve -g = -5*o + 9 for o.
3
Suppose 0 = -17*h + 5 + 29. Solve 5*u + h = -3 for u.
-1
Let g = 44 + -39. Solve 4*o + 1 = g for o.
1
Suppose 0 = -a - 1 + 5. Suppose -a*w - 1 = -s, 5*w + 5*s + 2 = 7. Suppose w*k = 5*k. Solve -p + k*p = 0 for p.
0
Let s be 108/30 - 6/10. Suppose 5*m = -3*f + 3 + 1, -s*m = f. Solve -2*x + 3 = -f*x for x.
-3
Let d be (27/81)/((-1)/(-3)). Solve -d = -3*k + 2 for k.
1
Suppose -4*n + 6*n - 44 = 0. Let x = n - 15. Solve 0 = 3*a + x + 2 for a.
-3
Let d(q) = q**2 - 2*q - 3. Let r be d(-2). Suppose r*h - 15 - 25 = 0. Suppose 0*k + 4*s - 16 = 5*k, -2*k - 2*s = -h. Solve k*j = -j for j.
0
Let z be (12/(-14))/((-1)/7). Let d = 9 - z. Suppose -5*i = -5*s + 30, -4*s + 13 = -2*i - 1. Solve 0 = -2*g - d - s for g.
-2
Suppose -g - g = -16. Suppose 0*n - g = -2*n. Solve -n = -c - c for c.
2
Let v(y) = -y + 7. Let p = -1 - -6. Let t be v(p). Let j = -6 + 6. Solve j*u - 2 = -t*u for u.
1
Let t(l) = l**2 - 13*l - 48. Let n be t(16). Solve n = -6*d + 2*d for d.
0
Let d(z) = 4*z - 28. Let i be d(8). Let v = 0 + 0. Solve -c - i*c - 20 = v for c.
-4
Let u be (-1 - -1)*(-3)/(-6). Solve u = -5*c - 5 + 20 for c.
3
Suppose 8*w + 3 = 51. Solve -r - w = r for r.
-3
Let k = 9 - 8. Solve 2 = -p - k for p.
-3
Let t(f) = -f**2 - 4*f + 12. Let y be t(-6). Solve y*z + 4 = 2*z for z.
2
Suppose -4*m = -2*l - 210, 7*l = 5*m + 2*l - 270. Suppose y - 63 = -4*f, -y = -3*f + 2*y + m. Suppose -4*p + f = -0*p. Solve 11 = -5*u - p for u.
-3
Suppose 0*m + m = 0. Solve m - 3 = l for l.
-3
Let i(p) = p**2 - 6*p + 5. Let o be i(5). Suppose o = -3*h - 0*h. Solve h = -0*g - g + 3 for g.
3
Suppose -2*b = -14 + 2. Solve b*j - 3*j = 0 for j.
0
Let u(a) = -a**2 - a + 5. Let b be u(0). Solve b = 3*o + 2 for o.
1
Let j be (-60)/(-18)*(-18)/(-15). Solve -3 + 19 = -j*w for w.
-4
Suppose 0 = 4*q - 2*l, -6*l - 2 = 4*q - 9*l. Solve -q = -8*w + 7*w for w.
1
Suppose -4*f + 5*g - 25 = -13, -3*f - 2*g = -14. Solve 2*z = -f*z + 20 for z.
5
Let q(m) = -12*m**2 + m - 1. Let k be q(1). Let g = k - -21. Suppose -2*o + 8 = 2*o. Solve o*t + t = g for t.
3
Let s be 5/((-10)/(-6)) + -3. Solve -p = -s*p for p.
0
Let j(g) = -g**3 - 8*g**2 - 6*g + 9. Let h be j(-7). Suppose -c - h*c + 45 = 0. Suppose t = -0*t + v + 7, -5*v = 5*t + c. Solve 4*b = 5*b - t for b.
2
Let b(v) be the first derivative of v**3/3 + 9*v**2/2 + 6*v + 3. Let s be b(-8). Let g be s/(-5) + (-2)/5. Solve g = -2*w - 2*w + 12 for w.
3
Suppose -2*s - 2 = -3*s. Suppose -k + 4*r = -33, -21 = k - 2*k - s*r. Solve 0 = -4*a - a + k for a.
5
Let o be ((-4)/(-10))/1*5. Let p = 17 - 13. Solve p*i - o - 10 = 0 for i.
3
Suppose 7*r = 3*r + 16. Suppose 0 = -r*s + 12 + 4, -36 = -4*q + s. Solve 0 = -4*m + q - 30 for m.
-5
Suppose 3*j = -j + 56. Let l be j/49 - 12/(-7). Solve 0 = l*n + 3*n - 10 for n.
2
Let x(h) = -8*h**2 - 2*h**3 + 2 - h + h**3 + 8*h**2. Let m be x(0). Solve 12 = -m*s - s for s.
-4
Let g(t) = -2*t + 3. Let d be g(-3). Let h be 6/d + (-2)/3. Solve h*k - 10 = 5*k for k.
-2
Let s = 3 - 3. Solve s = 3*n - 6 + 3 for n.
1
Let k(b) = b**2 - 1. Let a be k(-2). Suppose i = -4*i + 4*r + 28, -4*i - a*r + 10 = 0. Solve y + 6 = i*y for y.
2
Let t = 94 - 94. Solve t*n - 2 = -2*n for n.
1
Let b be ((-1)/(2/4))/(3/(-6)). Solve b*w = w - 12 for w.
-4
Let l = 8 - 4. Suppose -4*s + 0*s = -32. Let w be s/(-2)*25/(-10). Solve -l*v + 2 = w for v.
-2
Suppose 0 = 2*u - 3*n + 6*n - 41, 2*n - 75 = -5*u. Let o be 6/(-39) + 67/u. Solve s + o = 1 for s.
-4
Suppose -2*w + 24 = 6*w. Solve -w*k - k - 4 = 0 for k.
-1
Let n(j) = -j**3 + 4*j**2 + 5*j. Let m be n(5). Suppose -5*r = -m*r. Solve r + 1 = -x for x.
-1
Let l be (-6)/(-3*(-1)/(-2)). Suppose 7*m = 4*m + l*n + 23, 3*n = -6. Suppose 0 = -3*f - i - 4 + 20, -m*i + 20 = 0. Solve 1 = j - f for j.
5
Let d be 1 + 3 + -4 + 1. Solve 5*j + 4 = -d for j.
-1
Let n(f) = -7*f + 3. Let x be n(-1). Solve -d - d = x for d.
-5
Let w(j) be the second derivative of 5*j**4/12 + j**3/2 + j**2/2 + 3*j. Let n be w(-2). Solve -4*r = -7*r - n for r.
-5
Let t = -13 - -11. Let d be 3/(-6)*-6 - t. Solve -d*z + 0*z = 15 for z.
-3
Let a(f) = -f - 1. Let z be a(-3). Suppose 3*q = -z*q + 15. Let r be (20/q)/(5/15). Solve -3*l + 7*l = r for l.
5
Let b(n) be the second derivative of n**5/20 + 5*n**4/6 - n**3/3 - 15*n**2/2 + n. Let r be b(-10). Let f = 1 - -1. Solve -r*d = -f*d for d.
0
Let a = 15 - 10. Suppose 2*m = -2*s + 8, -a*m = -7*s + 2*s. Suppose 5*h - 10 = s*j + 6, -4*h + 2*j + 14 = 0. Solve 0 = h*q + 2*q for q.
0
Let j(t) = -4*t**3 + t**2 - 2*t - 4. Let h(m) = m**3 - m**2 + 1. Let v(c) = -3*h(c) - j(c). Let l be v(-1). Solve l = 5*s + 1 - 6 for s.
1
Suppose 2*k + z = 9, -z = -4*k - 0*z + 9. Let c be (-2)/(-4) - 15/(-6). Solve -c*m - k = -4*m for m.
3
Suppose 5*d - 2 = 43. Let i be ((-4)/6)/((-2)/d). Let f(z) = z**2 + 3*z. Let a be f(-4). Solve -p + i*p + a = 0 for p.
-2
Suppose 4*a = b + 5, 4*a = -b - 2*b + 17. Let m = 7 - b. Solve 3*f - m = -f for f.
1
Let k be -33*1/(-3) + (1 - -1). Solve 4*c - 7 = k for c.
5
Suppose 2*n - 15 = -3*v, -3*n - v = -4*v. Solve n*i = -2*i for i.
0
Let l = -12 + 22. Let y(s) = s**2 + 5*s - 5. Let j be y(-7). Let i = 11 - j. Solve -7*u + i*u = l for u.
-2
Suppose -h - 2*q = -7, -4*h - 2*q + 7 = -q. Let u(f) = -f + 8. Let a be u(6). Solve -a = s - h for s.
-1
Let m be 16/(-64) - (-13)/4. Let o = 0 + -1. Let r = -1 - o. Solve m = -3*l - r for l.
-1
Let r(f) = -4 - 1 - 3*f + 4*f. Suppose 5 = 5*d - 20. Let s be r(d). Solve s = -9*i + 4*i for i.
0
Suppose 0 = 2*f + 1 + 1, 5*f = r - 6. Let p = -2 - 0. Let g be -2 + -1*(p + 0). Solve c + r + 2 = g for c.
-3
Let c(b) = -3*b - 6. Suppose i = -i - k - 13, 3*i + 2*k = -22. Let f be c(i). Solve 0 = m + m - f for m.
3
Let v = 6 - 2. Suppose -3*u - 4 = -v*u. Solve -u*k = k + 10 for k.
-2
Let y(r) be the second derivative of -3/2*r**2 - 1/6*r**3 + 3*r + 0 + 1/12*r**4. Let x be y(4). Solve -x = w - 4 for w.
-5
Suppose 2*t - t + 5*i = 15, -3 = -3*t - i. Solve 5*b - 10 + t = 0 for b.
2
Let p be -7*(-1)/7*2. Let j(t) = -2 - 3*t + 3*t + p*t. Let f be j(2). Solve 20 = f*v + 3*v for v.
4
Suppose -s = 7*s - 40. Solve 21 = s*m + 6 for m.
3
Suppose 27 = 2*n + 5*a, -n = -2*a + a - 31. Solve 5*t = -n + 1 for t.
-5
Let l = 28 + -28. Suppose 0 = 3*y - 7*y. Let f be 