f - -1)*2. Suppose -d*o = o - 20. Solve 0 = k + k + o for k.
-2
Let w(s) = -s + 6. Let l be w(13). Let t be (-12)/l + 12/42. Solve 3*c = 2*c + t for c.
2
Suppose 9*i + 5 = 23. Let h be ((-27)/12)/(3/(-8)). Let u = 9 - h. Solve 10 + i = u*z for z.
4
Let b be 0 - (0 + 0)/1. Solve k - 5*k - 12 = b for k.
-3
Let v(s) = 2*s - 35. Let d be v(23). Solve -10 = -d*f + 6*f for f.
2
Let k(a) = -a**2 - 22*a - 13. Let o be k(-21). Solve v = 3*v - o for v.
4
Let s(l) = 3*l**3 + l**3 - 5*l**2 - 4*l**3 - 3*l - l**3. Let g be s(-4). Let i = g - -4. Solve 5 = b - i*b for b.
5
Suppose -5*r - 24 = 4*b, 7*r - 3*r + 12 = 4*b. Suppose 8*u - 24 = 2*u. Let q be (-2)/r*0/u. Solve 4*a - 2 - 2 = q for a.
1
Suppose 4 = 2*k, -3*i = i + k - 2. Solve i = 4*f - 3*f + 1 for f.
-1
Suppose 4*r - 22 = -2*x - 0*x, 5*r - 5*x = 20. Solve 3*h = r*h + 4 for h.
-2
Suppose 9*c - 14*c + 50 = 0. Solve -g - c = 4*g for g.
-2
Suppose u - 3*f - 2 = 0, u - 2 = -4*f + f. Let w = -5 + 10. Solve u*s = w*s for s.
0
Let c be 5*(2 + (-3 - -2)). Let o = 8 - c. Solve 0*g - 15 = o*g for g.
-5
Suppose 6*f = 8*f - 14. Solve 4*n - 3 = f*n for n.
-1
Let q(z) = 0*z + 5 + z**3 + 4*z - 8*z**2 - 5*z + 6. Let o be q(8). Solve o*x - 6 - 6 = 0 for x.
4
Let p be (2/3)/2*(4 + -1). Solve -z - 4 + p = 0 for z.
-3
Let k = -4 + 0. Let b be (6/k)/(2/(-4)). Solve -b*w - 5 = -2*w for w.
-5
Let w(c) = -c - 2. Let a be w(0). Let s be 8/10*(-5)/a. Solve 3*r = 1 + s for r.
1
Let b be (2*3/(-2))/(-1). Let y(h) = -5*h + 0*h - 6 - h**b - 8*h**2 + 4*h. Let p be y(-8). Solve u - 2*u = p for u.
-2
Let x(v) = v - 1. Let a be x(4). Suppose -c + 40 = a*c. Let b = c - 8. Solve b*s = -0*s for s.
0
Suppose 0 - 1 = d. Let q = d + 9. Solve 4*g = -4 - q for g.
-3
Suppose 0*n - 72 = -4*n. Let b be (-32)/(-18) - (-4)/n. Solve 2*r = -b*r + 12 for r.
3
Suppose 2*k - 5 = 19. Let d be (-5)/1*(-2)/5. Let c be 8/k + d/(-3). Solve -t - 2 = -c for t.
-2
Let k be -1*(0 - 3 - -1). Let d = k + 0. Solve 0 = d*u + u - 3 for u.
1
Suppose -5*i + 2*i + 45 = 0. Let s = -9 + i. Solve 0 = 3*q - 3 + s for q.
-1
Suppose -5*m + 11 = 1. Solve -m*s - 2 = -0*s for s.
-1
Suppose 2 = c + 2*o, -2*c - 4*o + 5 = o. Let u be (12/3)/(c - -2). Suppose -3*h + 17 = u. Solve 0*w - 5 = -h*w for w.
1
Let v be ((-8)/16)/((-2)/4). Solve 4*p = -v - 11 for p.
-3
Suppose -3*a + 4*j + 36 = 0, 0*a - 2*a - 4*j + 24 = 0. Solve 0 = 4*k - k - a for k.
4
Let c(b) = -b - 5. Let q be c(-9). Solve -1 - 3 = -q*l for l.
1
Let n be (-2 + 8)/(-3) + 2. Let o(x) = x**3 + 2*x**2 - 5*x - 4. Let b be o(-3). Let t be b*2 + (-1 - 1). Solve n = 2*u + t*u - 20 for u.
5
Let w(h) be the second derivative of -h**5/5 - h**3/6 - h**2/2 + 2*h. Let q be w(-1). Solve 9*v = q*v - 15 for v.
-3
Let r be (-4)/(-22) + 106/22. Suppose r*u + 2 = -8. Let c = u + 4. Solve c*h = 6*h + 4 for h.
-1
Let j be -21 + 21 + 6*2. Suppose -j = -4*x + x. Solve -b - x*b = 25 for b.
-5
Suppose 4*y - 5 = 3*y. Suppose -l = -y*f + 22, -2*l - f = 2*l - 17. Solve -3*m + 9 = -l for m.
4
Suppose 3*l - 35 = j, -l - 2*j - j + 15 = 0. Solve 4*q = 8*q + l for q.
-3
Let q = 9 + -5. Let k(i) = i**2 - 2*i. Let s be k(2). Solve s*x - q*x + 16 = 0 for x.
4
Suppose -8 = -4*h + 4*u, 5 = -4*h - 2*u + 25. Suppose -11 = -h*s - 3. Solve x + s + 0 = 0 for x.
-2
Let x = -44 + 73. Let k = x + -22. Solve k*u - 9 = 4*u for u.
3
Suppose 3 = y + 16. Let o = y - -3. Let s be o/(-55) + 9/11. Solve -s = -2*r + 1 for r.
1
Let s be (18/(-8))/(3/16). Let b = s + 22. Solve -2*t - b = 3*t for t.
-2
Suppose 0*t - 3*t + 3*w = -30, t = -w. Solve -5*r = -0*r - t for r.
1
Let h(r) = r**3 + 6*r**2 + 7*r + 2. Let m be h(-4). Solve c + c = m for c.
3
Suppose -3*b + 117 = 3*p, -2*p + 5*b - 123 = -5*p. Suppose 0 = -3*f + 2*t + 27 - 1, p = 4*f - 3*t. Solve -2*w + f + 0 = 0 for w.
3
Suppose 0 = -2*m + 2 + 4. Solve -m*g = g for g.
0
Let n(s) = -4 + 4*s**2 - s**2 + 9*s - 17*s + 9. Let w be n(5). Suppose 0*i - w = -4*i. Solve -2*x = -0*x + i for x.
-5
Let r = 12 - 8. Suppose 2*i = -2*i + r. Solve -i = -m - 4 for m.
-3
Let k(c) = -5*c**3 + c**2 + c + 1. Let z be k(-1). Solve -z*w = -w + 15 for w.
-3
Suppose -6*c + c + 2*m + 90 = 0, m = -c + 25. Solve -3*p + c = 2*p for p.
4
Suppose f = 98 + 2. Suppose 0*m = -4*m + f. Solve 2*r = -3*r - m for r.
-5
Let y(a) = -a**2 + 9*a - 7. Let v be y(9). Let g = -7 - v. Solve g*l = -2*l + 4 for l.
2
Let x be 2/(-3) + 3/(-9). Let j be x/(-2) - 6/(-4). Suppose j*t = -t. Solve -4*i + 12 = -t*i for i.
3
Let u be ((-2)/((-4)/1))/((-3)/(-18)). Solve u*p + 5 = -4 for p.
-3
Let q(f) = 2*f**2 - 2 + 3*f + 0*f**2 + f**3 - 2*f**3. Let m be q(3). Let d be (-4)/3*3/m. Solve d = 3*s + 17 for s.
-5
Let l(v) = 2*v**2 - v - 3. Let g be l(2). Solve 2*t - g = t for t.
3
Let k(n) = n**3 + 8*n**2 + 12*n + 2. Let d be k(-6). Solve -d*u - 4 = -3*u for u.
4
Let c be (-4)/6 + 40/6. Solve c*r - r = 15 for r.
3
Let b(a) = a**2 - 7*a + 2. Let t be b(8). Let g(o) = -o**3 + 7*o**2 - 5*o - 3. Let x be g(6). Suppose -x*l + 10 + 2 = 0. Solve 9*k - l*k = t for k.
2
Let g(j) = -3*j - 26. Let p be g(-10). Let u = -5 - -10. Suppose u*y - 83 = 42. Solve p*m - y = -m for m.
5
Let i(g) = g + 4. Let r be i(-6). Let d(h) = h**3 - 7*h**2 + 6*h - 6. Let b be d(4). Let z be 0 - r/((-4)/b). Solve -2*w = w - z for w.
5
Let b = -25 + 25. Solve b = -2*v + 5 - 1 for v.
2
Let n = 8 - 4. Let g(y) = y**2 - 4*y - 2. Let w be g(5). Suppose w*d = 22 - 7. Solve d + 3 = -n*r for r.
-2
Let d be (-2)/(-6) - 166/(-6). Suppose -3*c + 11 = -2*o + 3*o, 0 = 4*o - 4*c - d. Solve 0*v - 4*v - o = 0 for v.
-2
Let h = 19 - 18. Solve 2*i - h = i for i.
1
Let p = 127 - 107. Solve -4*t - t + p = 0 for t.
4
Suppose 6 = -l + 4*z + z, l + 3 = 2*z. Let n be (-6)/((-4)/2*l). Let q be 3 - 0*(n - -4). Solve -4*j + j = -q for j.
1
Let n be 19/6 - (-3)/(-18). Suppose n*u - 47 = -2. Solve -3*f - u = 2*f for f.
-3
Suppose -4*c + 2*o + 42 = 0, -4*c + 5*o - 4 = -37. Let y be (-4)/(-10) - c/(-20). Let v be 2 - y/1 - -6. Solve v*p - 20 = 2*p for p.
4
Let d(v) be the third derivative of -v**4/24 - 7*v**3/6 + 3*v**2. Let f be d(-12). Solve -3*h + 4 + f = 0 for h.
3
Let j(c) = c**2 - 5*c + 5. Let w(t) = -t**3 - 4*t**2 - t + 1. Let l be w(-4). Let v be j(l). Solve v*b + 7 = -3 for b.
-2
Suppose 2*c = -3*c + 3*l + 31, -4*c - 4*l = -12. Solve -2*z = 3*z - c for z.
1
Suppose 15*v + 24 = 18*v. Solve 3*z + 2 - v = 0 for z.
2
Suppose 4 = -4*n + 8. Solve -3*w + n = 4 for w.
-1
Let u = 1 - -10. Let g be (-10)/(-55) + 9/u. Solve 0 = s + 3 - g for s.
-2
Suppose -3*m + 15 = -0*m. Suppose -8*w - 20 = -13*w. Solve -w*v - m = -1 for v.
-1
Suppose -5 = 4*w - b - 2, 4*w + 2*b - 6 = 0. Solve w = -6*s + 2*s for s.
0
Let s be 0*(2 + (-3 - 0) - 0). Solve -3*b + 6*b = s for b.
0
Suppose -r = -3*u + 2 - 6, 6 = -r - 2*u. Let y be (3 - 3)/(r + 1). Solve -n + y*n = -1 for n.
1
Let y(s) = -s - 7. Let n be y(-15). Solve -w = w - n for w.
4
Let x(t) = 3*t**2 + t + 1. Let g be x(-1). Let z(p) = -10*p + 2. Let k be z(2). Let o = -10 - k. Solve 0 = g*l - 5*l + o for l.
4
Let p(n) = 8*n + 6*n**2 - 4*n**2 - 6 + 0*n**2. Let g be p(-6). Suppose 2*z - 2*v - 10 = 0, 2*z + 4*v + g = 5*z. Solve -4*c + 10 = -z*c for c.
5
Suppose -30 - 24 = -2*r. Solve -7 + r = -4*s for s.
-5
Let q(o) = 0 - 2*o**2 + o**2 - 2*o + 4. Let h be q(-6). Let y be (6/5)/((-6)/h). Solve -y = -2*n - 0 for n.
2
Let r be ((8 - 2) + -7)/((-1)/3). Solve c = -r*c for c.
0
Let b(u) = u**3 + 9*u**2 + 8*u - 2. Let o be b(-8). Let s = 2 - o. Solve -s*z + 3 = -3*z for z.
3
Suppose 8*b + 16 = 12*b. Solve 0 = i - b*i - 9 for i.
-3
Suppose 0 = 5*z - 2*z + 216. Let r be (-4)/9*z/16. Solve 0 = -3*p - r - 4 for p.
-2
Let k(q) = -q**2 - 10*q - 13. Let m be k(-8). Solve c - m + 0 = 0 for c.
3
Let a be ((-24)/(-14))/((-16)/(-56)). Solve -j + 4*j + a = 0 for j.
-2
Let i(a) = a**2 + 8*a + 9. Let o be i(-8). Suppose 4*b = -1 + o. Solve b*x = x for x.
0
Suppose 0*y + 5*y + 20 = g, -3*y = 4*g - 11. Suppose 0*x + 5*x - g*t = 20, t - 2 = -x. Suppose -x*a + 13 = -5. Solve -a*d + 10 = -d for d.
2
Suppose 0 = -4*d + 3*w + 9, 5*d + w = -2*w + 18. Let t be d - (1 - (0 - -2)). Suppose 3*x - 13 = 11. Solve 0*p = t*p - x for p.
2
Let t(u) = -u**2 - 6*u - 1. Let r be t(-5). Suppose -2*l + 65 = 3*l. Suppose y + 4 = 2*a - l, 0 = 3*y - 9. Solve -2*m + a = -r*m for m.
-5
Let g(y) = 3*y - 2. Let v be g(2). Suppose -r + 15 = v*r. Let m(a) = 21*a*