0. Solve s - c = o for s.
4
Let r(t) be the second derivative of -t**5/20 - t**4/2 - t**3 - t**2 + 4*t. Let h be r(-5). Solve -h*b - 1 = 5 for b.
-2
Suppose 2*o + 2*o - 28 = -5*l, 5*o - 4*l = -6. Solve 3 = u - o for u.
5
Suppose 0 + 6 = 2*j. Let g = -1 + 1. Suppose g*s = -s + 11. Solve s = j*r + 5 for r.
2
Let q(z) = z - 5. Let r be q(13). Solve -2*p - 2 + r = 0 for p.
3
Suppose 4*z - 12 = z. Suppose 0 = -5*v - 4*x + 95, z*x - 2 = 18. Let w be 1/(2 + (-27)/v). Solve w = -c + 2*c for c.
5
Let x be 1 + (22 + -4)/3. Suppose 5*b - 4*z = 24, 0*b + 9 = 2*b - z. Solve -b*o - x - 1 = 0 for o.
-2
Let g(x) be the first derivative of -x**3/3 + 3*x**2 + 3*x + 3. Let d be g(6). Solve 2*v = 5*v + d for v.
-1
Let b be 4/6 - 30/(-9). Let d be 889/35 + b/(-10). Solve -3*c = 2*c + d for c.
-5
Let n be 10/(-8) + 143/44. Solve -2*f + 8 - n = 0 for f.
3
Let h(p) = 3*p**3 - 11*p**2 + 7*p - 5. Let w(c) = 7*c**3 - 22*c**2 + 13*c - 9. Let t(q) = 9*h(q) - 4*w(q). Let i be t(-12). Solve -i*s - 2 = 4 for s.
-2
Suppose 1 = 5*h + 1. Solve h = 2*v + v for v.
0
Suppose 18 = 4*t + o, 3*t - 2 = 3*o + 4. Suppose -5*n = k + 23, k + t*n + 12 = -3*k. Let y = 5 - 2. Solve k + y = -5*j for j.
-1
Let q be 30/10 + (27 - 1). Suppose -5*p + 1 + q = 0. Solve 3*k = p*k + 15 for k.
-5
Let h be (12/20)/(2/(-10)). Let r be h/5 - (-54)/15. Solve -7 = -r*u - 1 for u.
2
Let d(c) = -c**2 - 8*c. Let u be d(-5). Let m = 20 - u. Solve 0 = -m*i - 0*i + 5 for i.
1
Suppose 5 = d + 2. Solve 2*g = -d*g - 20 for g.
-4
Let z be -3 + 1 + (-16)/(-2). Let u be (0 + -3)*(-4)/z. Let m = -2 + u. Solve m*b = 3*b - 15 for b.
5
Let c(o) = -o - 8. Let v be c(-9). Let w be -3 + 5/v + 0. Suppose 11 + 1 = w*k. Solve 0 = k*d - d + 15 for d.
-3
Let g(x) = 2*x**2 + 3*x + 5. Let i(w) = w**2 + 2*w + 4. Let l(t) = -2*g(t) + 3*i(t). Let c be l(0). Let d = 4 - c. Solve d*r + r = 3 for r.
1
Suppose 0 = n + 3*k + 4, k - 28 = -8*n + 4*n. Suppose 0 = -10*p + 5*p, -4*y + 5*p - n = 0. Let i = 1 - y. Solve 4 = q + i for q.
1
Suppose 0*h + 12 = h + 5*k, -h + 5*k + 12 = 0. Solve h = -0*w + 4*w for w.
3
Suppose -16*b + 23*b - 14 = 0. Solve w = b*w for w.
0
Suppose -7 - 5 = -4*j. Let p = j - -1. Let k be 9*p/6 + 0. Solve 3*i = 3 + k for i.
3
Let p = 11 - 23. Let k be 1/((-4)/p*1). Solve -k*b - 4 - 11 = 0 for b.
-5
Let a(p) = 3*p - 6. Let t be a(3). Let h = t + -1. Solve -h = 2*m + 8 for m.
-5
Let p(b) = 2*b + 1. Let k be p(2). Solve k*d = -15 + 5 for d.
-2
Suppose -y + 4*y - 6 = 0. Suppose 5*o + y - 7 = 0, 4*o = 5*q - 11. Suppose q*a - t = 15, -t = 3*a - a - 5. Solve -a*k - 9 = -k for k.
-3
Let t(f) = f**2 + 10*f - 5. Let d(h) = -h**2 - 11*h + 6. Let p(c) = -6*d(c) - 7*t(c). Let q be p(-3). Solve 0*w + q = -2*w for w.
-1
Suppose 22 = -0*g + 2*g. Suppose g = 3*i - 40. Solve 8 + i = 5*j for j.
5
Suppose -2*l + 4 = -4. Suppose l*b = b. Solve 0 = 5*c - b*c + 15 for c.
-3
Suppose 3*p - 5 = 4*b, -2*p = 4*b - 11 - 19. Let w = 29 - 57. Let i be (1/2)/((-7)/w). Solve -i*c = -p*c for c.
0
Suppose -5*o = -2*d + 37, 5*d - 3*o - 25 - 20 = 0. Solve 5 = f - d*f for f.
-1
Let k be 2/(1 + (-2)/4). Suppose 0 = 2*z - k*z + 4. Solve -r = z*r for r.
0
Let z(u) = u**3 - 9*u**2 + 7*u + 9. Let t be (3/3 + -1)/(-2). Suppose t = -3*q + 6 + 18. Let d be z(q). Solve -d = p - 3 for p.
2
Let k(a) = 4*a - 6. Let r be k(5). Let u = 20 - r. Let l be (-4 - 2/(-1))/(-1). Solve 0*w = -l*w - u for w.
-3
Suppose 22 + 38 = -5*n. Let l = n - -22. Solve -2*m - 3*m - l = 0 for m.
-2
Suppose -3*p + 11 = 2*w, 2*w = -2 - 2. Solve -5*t = -0*t + p for t.
-1
Let n(w) = -4*w**3 - 4*w**2 - 7*w + 9. Let l(v) = -2*v**3 - 2*v**2 - 3*v + 4. Let h(g) = -7*l(g) + 3*n(g). Let k be h(1). Solve -s = -k*s + 10 for s.
5
Suppose i + 2*l - 14 = 0, -4*l + 13 = 2*i - 3*l. Suppose i*u = 15 + 1. Suppose q = -u*q. Solve q*o = -5*o - 5 for o.
-1
Suppose 16 = -0*z + 4*z. Suppose 3*i - 5*i - 3*b = z, -b - 24 = -5*i. Solve 0 = -5*k - i - 11 for k.
-3
Suppose w + w = 0. Suppose 3*y - 47 - 1 = w. Solve -6 = 5*x - y for x.
2
Let o be (6/8)/(1/4). Suppose -6*b = -4*b - 8. Suppose 2*w + 36 = b*w. Solve -w = -5*n - o for n.
3
Let d = -61 + 64. Solve y + 20 = -d*y for y.
-5
Let b be (1 + (-51)/15)*-5. Let c be (-2)/b - (-248)/48. Solve 0 = -10*g + c*g + 10 for g.
2
Let k(y) = y - 13. Let b be k(15). Suppose -b*c + 2 = -6. Solve -c*m = -4 - 8 for m.
3
Let w(h) = -4*h**2 + 6*h**3 - 3*h**3 + 4 - 2*h**3. Let c be w(4). Let d = 47 - 27. Solve a = -c*a - d for a.
-4
Suppose 16*m - 48 + 0 = 0. Solve -5*g = -m - 2 for g.
1
Suppose 0 = 2*o - 4. Let l = o - -1. Solve l*q - 10 = q for q.
5
Let x be (-3 + 0/(-2))*1. Let u be 1/(x/(-9) - 0). Solve u*d - 8*d + 15 = 0 for d.
3
Suppose -2*n + 5*i = 7 + 40, -95 = 5*n - 5*i. Let b be (n/(-28))/((-6)/(-21)). Let t = b + 1. Solve -t*f + 5*f - 4 = 0 for f.
2
Let k be (-1)/(-1) + 1 + 0. Let i(r) = r - 2. Let n = -6 + 11. Let g be i(n). Solve g*d = -k*d - 25 for d.
-5
Let k = -1 + 4. Let v(g) = g**3 + g**2 + 2*g - 4. Let j be v(-3). Let p be 8/j - 37/(-7). Solve k = p*h + 13 for h.
-2
Let v(x) = x**3 - x**2 - 3*x + 4. Let m be v(1). Solve -y + 0 + m = 0 for y.
1
Suppose 8 = -2*l + 3*l. Let s be 2/(-3)*(-108)/l. Solve 4*p - s = p for p.
3
Let m = -15 + 23. Solve -5*t + m = -3*t for t.
4
Let h = 2 + -2. Solve -t + h - 5 = 0 for t.
-5
Suppose 1 = -m - 1. Let s be ((-2)/(-2))/(m - -3). Solve 11 = 2*h + s for h.
5
Suppose -2*f - 2*z + 52 = 2*f, -4*z = -4*f + 40. Solve 5*y + f = 9*y for y.
3
Suppose 0 = -8*p + 13*p - 15. Solve -m = -0*m - p for m.
3
Let f be ((-2)/(-1))/(3/6). Suppose -r + a - f*a + 16 = 0, -20 = -4*r - a. Solve -b + r = b for b.
2
Suppose 0 = 4*j - 2*k - 10, -5*j - 4*k + 6 = -0*k. Let p(x) = x - 6. Let a be p(8). Solve j*g = -a*g + 16 for g.
4
Let c be (3/(-2))/(-3)*0. Suppose 3*f - 2 = -4*a, c = -4*a + 5*f + 1 + 17. Solve 0 = a*v - v for v.
0
Suppose 4*u + 3*n - 26 = 0, 3*n - 27 = -5*u + 7. Solve 0 = 2*b - 4*b - u for b.
-4
Let n(p) = 2*p**2 - 10*p + 8. Let h be n(6). Suppose -2*t - 2*u - 10 = -3*t, 3*u = 4*t - h. Suppose -32 = -t*w - 2*w. Solve -3*v - 23 = -w for v.
-5
Let m be 25/(1 + 4) + -3. Let d(a) = -a**3 + 5*a**2 + 5. Let q be d(5). Let f = q - 3. Solve -f*j = m*j - 8 for j.
2
Let m = 38 - 15. Solve -m = 3*l - 8 for l.
-5
Suppose -2*y - 2*u - 3 = -5*u, -5*u + 5 = -4*y. Suppose 3*c - 5 - 4 = y. Solve -4*d = -c*d + 3 for d.
-3
Suppose -3*c + y = -5, 3*y = 2*c - 0*y - 15. Solve -2*j = -c*j + 8 for j.
-4
Suppose -u + 3*f - 72 = 0, 0 = 2*u - 3*f + 130 + 11. Let a be 12/30 + u/(-15). Solve 4 = -a*i - 6 for i.
-2
Suppose 5*r + 3*a = 5*a + 2, 0 = -5*r - 4*a + 26. Let z be (r + -2)/(2 + -1). Solve -g + 5*g + 8 = z for g.
-2
Let r be (5 + -4)*(-4)/1. Let v(f) = -f**3 - 4*f**2 + f + 4. Let w be v(r). Solve 0*t + 2*t = w for t.
0
Suppose -2*v - 26 = -28. Solve v + 3 = 2*j for j.
2
Let o = 3 - 1. Let u be 2/(-2) + 4/o. Solve 2*h - 5 = -u for h.
2
Suppose 0 = -19*s + 21*s - 14. Solve -2*a = -s*a for a.
0
Suppose -b - p = -3*p - 6, 5*b - 3*p = 9. Let y = b + 0. Let h = 7 + -5. Solve y = 2*r + h*r for r.
0
Let a be (-52 - -8)*3/(-12). Solve 0 = 3*n + a + 1 for n.
-4
Suppose 2*q = 5*y - 11, 4*q = -2*y - 5 + 19. Suppose 0 = -2*v - v + y, 0 = -z - 2*v + 3. Solve -2*l - 3 - z = 0 for l.
-2
Suppose -u + 3 = -5*m, -4 = -2*u - m + 2. Solve u*l - 6 = 5*l for l.
-3
Suppose 2*i - 4*t - 22 = 0, 0*t - t - 44 = -4*i. Let v = i + -5. Solve 2*d - v = 4 for d.
5
Let b be (-1*2 - -1) + 3. Suppose 8 = 2*t - b. Let g(w) = -w**3 - 13*w**2 - 12*w + 7. Let m be g(-12). Solve 0 = -t*a + m - 2 for a.
1
Let k(t) = -t - 6. Let w be k(-6). Solve 0 = n - w*n for n.
0
Let s = -2 - -3. Let r = s + -16. Let u = r + 21. Solve -u = 3*b - 0*b for b.
-2
Suppose -7*q + 9*q = 30. Let u be (4/(-8))/(2/(-8)). Solve u*g - q = -g for g.
5
Let b(l) = -3*l**2 + 4*l**2 - 3*l**3 - 5 - 5*l**2 - 3*l + 4*l**3. Let d be b(5). Suppose -5*c + 60 = 10. Solve d*n = -c - 10 for n.
-4
Let x(z) = z + 6. Let s be x(-3). Solve 0 = i + s*i - 4 for i.
1
Let d = 21 + -23. Let q be d/(-2) - (0 + 0). Solve -s = q - 4 for s.
3
Let b(k) be the first derivative of 13*k**3/3 + k - 3. Let c be b(1). Solve 0 = 5*i - c + 4 for i.
2
Suppose -72 = 5*j - 172. Let q = 0 + j. Suppose 4*i - q = -4*f, -5*f + 26 - 1 = 3*i. Solve 0 = -i*r - r - 4 for r.
-4
Suppose -23 + 8 = -5*k. Suppose 8*m = -t + k*m - 6, 0 = t - 5*m - 14. Let p = 6 + -1. Solve 3*w - t