*2 - 10*k + 14. Let p be a(-11). Let m = -1 + p. Solve 0 = m*o - o for o.
0
Suppose 4*j + 19 = 3, 4*j + 58 = 2*o. Suppose 5 = h, h = -7*f + 4*f + 20. Solve -o + f = 4*k for k.
-4
Suppose 4*w - 4*f = w + 4, 0 = 4*w - 3*f - 3. Solve w*z = 2*z - 8 for z.
4
Let j(v) = v + 1. Let o be j(2). Solve o*t - 7 - 5 = 0 for t.
4
Let f(q) = -q + 3. Let a be f(3). Suppose -3*l + 26 = -5*s, 1 = -l - 2*s - 5. Let r(w) = 4*w**3 - 2*w**2 + w. Let m be r(1). Solve a = y + l*y + m for y.
-1
Let z be (-2)/3*135/(-18). Solve c = z*c for c.
0
Let t be (-10)/10 + (-1 - -2). Solve 4*i - 4 = -t for i.
1
Let c(j) = j**3 - j + 1. Let p(h) = h**3 + 6*h**2 - 6. Let i(l) = -2*c(l) + p(l). Let a be i(6). Solve 0 = 3*f + 19 - a for f.
-5
Suppose -10 = 4*m + 6. Let q = m - -5. Solve q = -5*l + 6 for l.
1
Suppose 4 = 2*m - 4. Suppose 0*l - 4*q = -m*l - 8, l = 5*q - 22. Let r be (-4)/l*(-30)/4. Solve -4*x - x - r = 0 for x.
-2
Let i(h) = -5*h - 23. Let t be i(-5). Solve 5*j = 4*j + t for j.
2
Let j be (8/6)/((-4)/(-54)). Suppose 0 = -r, -3*y + 2*r + j - 6 = 0. Solve 3*z - 16 = -y for z.
4
Let f(r) = 3*r - 2. Let g be f(4). Let j be (16/g)/(4/50). Solve 4*c + 0*c = -j for c.
-5
Suppose 0 = -5*u - 3 + 33. Solve 9 = 3*t - u for t.
5
Let c(d) be the first derivative of -2/3*d**3 + d + 0*d**2 - 1/4*d**4 - 2. Let z be c(-2). Solve z = -k - 4 for k.
-5
Let a = -8 + 2. Let u = -2 - a. Let b be -1 + 2 - (u - 15). Solve -q - 2*q = b for q.
-4
Suppose -120 = -7*b - 22. Solve -b = -5*y + 11 for y.
5
Suppose 170*v - 166*v = 16. Solve -5*h + 4*h = -v for h.
4
Suppose -3*d - 10 = 2*r, 5*d = -3*r + 6 - 21. Let x = 2 + d. Solve -x*a = -7*a for a.
0
Let s(p) = 2*p - 4. Let c be s(5). Suppose 3*t = 0, -z + t = -4*t + c. Let g = 6 + z. Solve g = -3*b - 3 - 0 for b.
-1
Suppose 12*u - 14*u - 8 = 0. Let z(c) = c**2 + 6*c + 9. Let i be z(u). Solve -o = -2 - i for o.
3
Let d(n) = -3*n - 3. Let s be d(-5). Let i = s - 9. Solve 2*y + i = 5 for y.
1
Let h be 82 + -76 + (5 - (-1 - -2)). Solve -11*j = -9*j + h for j.
-5
Let c(l) = 13*l**2 - l. Let a be c(1). Suppose -18 = -6*j + a. Solve j*y + 27 - 7 = 0 for y.
-4
Let y be (-1)/(-2 + (-6)/(-4)). Suppose 3*a - 4*c - 41 = -y*a, 2*a + 3*c = 21. Suppose z = -4*i + 4 + a, 4*i - 5*z = 31. Solve -3*h - 11 = i for h.
-5
Suppose 0 = c - 2*s, -c + 2*c - 4*s + 2 = 0. Suppose c*v = -v. Solve k + 1 = -v for k.
-1
Suppose 3*a + 0 = 15. Solve -15 = -2*z - a for z.
5
Let f be ((-24)/(-16))/((-6)/(-4)). Suppose 5*o = 5*w + 15, -4*o - o + 17 = -3*w. Solve -o*y + 5 = f for y.
1
Let c = 11 - 3. Suppose -4*y + c*y = 0. Let j(a) = a**3 + 8*a**2 + 6*a - 4. Let g be j(-7). Solve -g*u + y + 6 = 0 for u.
2
Let v(o) = 2*o**3 - 2*o**2 - 4*o + 8. Let q be v(2). Let r be 1/2 - 1/2. Solve r = 3*b + b + q for b.
-2
Let n(t) = -t**2 - 3*t + 4. Let d be n(-3). Suppose -d*o + 2*o + 30 = 0. Solve 5*v = 2*v - o for v.
-5
Let t be 12/9*(0 + 15). Let a = 10 - -10. Let y be 52/a + 6/15. Solve y*v + v = -t for v.
-5
Let t = 3 + -2. Suppose -y - 5*l - 6 = -t, -5*y - 4*l = -17. Solve 20 = y*c - c for c.
5
Let t = 188 + -188. Solve -2*p - 6 = -t*p for p.
-3
Suppose -5*x + 3*w = -w - 8, -4*w + 32 = 5*x. Let n(f) = -4*f - 8*f**3 + 6 + 5*f + 6*f**2 + 7*f**3. Let m be n(6). Solve -x*p = -0*p - m for p.
3
Let y(q) = -q**3 - 5*q**2 - 7*q - 6. Let p be y(-4). Let c = 10 - p. Suppose 3 - c = -5*l - x, -x = 2*l - 1. Solve -6*h + h = l for h.
0
Suppose 0 = -5*c + 3*c. Solve q - 3*q = c for q.
0
Suppose 13*n = 6*n. Solve 2*i + i = n for i.
0
Let b(w) = 2*w**3 - 3*w**2 - w + 1. Let n be b(-2). Let z be (-19)/(-5) + (-5)/n. Suppose 2*q - 8 = -2*m, 0 = z*q - q + m - 4. Solve -k + 0 + 4 = q for k.
4
Let a(w) = -w**2 - 5*w + 4. Let h be a(-6). Let u be (-2)/3*3/h. Let x(c) = 2*c + 1. Let m be x(1). Solve 2*s + m + u = 0 for s.
-2
Let o = -32 + 47. Suppose o = 3*s, -2*l + 6*l = s + 3. Suppose -2*f + l*u + 4 = 3*f, -3*f + 4*u = 6. Solve -t = -f*t for t.
0
Suppose 3*i - 27 = 2*f + f, 0 = f. Solve -4*t + i = -t for t.
3
Let c be -8*(1 - (-2)/(-4)). Let a = c - -8. Suppose -a*j + j = -60. Solve 0 - j = 5*s for s.
-4
Suppose -4 = -w + j, 4*w - 3*j = -j + 8. Let s be 92/12 - (-6)/18. Let g = s - w. Solve 4*a = g*a + 4 for a.
-1
Suppose -7 + 0 = -c. Suppose 2*o - 5*o = 24. Let h = o - -11. Solve -c*k + 16 = -h*k for k.
4
Let t(y) = 2*y**2 - 5*y - 3. Let m be t(4). Let q(n) = 3 + 0*n - n + m. Let o be q(7). Solve o*k + 8 = -7 for k.
-3
Let h = 52 + -27. Solve -2*f + h = -7*f for f.
-5
Let s(a) = -a**3 + 3*a**2 + 17*a + 8. Let h be s(6). Solve 0 = -o - 0 + h for o.
2
Let u be 2/(-4)*0 + 11. Let z = -8 + u. Solve 0 + 15 = -z*c for c.
-5
Suppose 0 = a + 3*a + 72. Suppose -4*n + 2 = 3*z, 4*z - 12 = 2*n - 2. Let f be z/(-3) - 30/a. Solve 0 = 5*k + f + 19 for k.
-4
Let l be 2/(-4) - (-474)/(-12). Let m = -20 - l. Suppose -4*t + 0*t = -m. Solve -t*a = -10 - 5 for a.
3
Let m be (0 - 3)/((-24)/32). Solve 0 = -3*v - 11 - m for v.
-5
Let x = 2 + -2. Solve x = 3*k + k + 4 for k.
-1
Let i(d) = -d**3 - 6*d**2 + 4*d + 9. Let r be i(-6). Let q = 17 + r. Solve 0 = -g + q for g.
2
Let k = -8 + 11. Suppose k*r + 27 = 4*c, -3*c - 3 = 2*r - 2. Solve 5*y = -2 - c for y.
-1
Suppose -2*q - 12 = -6*q. Suppose -q*k - k = 3*i - 8, -5*i = 0. Suppose k*o = -4*j, 2*j + 0*o + 4 = -2*o. Solve 0 = -3*t + j*t - 3 for t.
-3
Let f(y) = y**3 + 10*y**2 + 8*y - 9. Let j = -5 - 4. Let o be f(j). Suppose -6 = -4*i + 2*i. Solve 0 = -i*t - o*t + 6 for t.
2
Suppose 3*v + 24 - 90 = 0. Suppose -f - 2*f - 11 = 4*j, -f - 5*j - v = 0. Let n = 6 - f. Solve -18 + 3 = -n*b for b.
5
Suppose -3*w + 4 = -w. Let t be ((-3)/(-6))/(1/w). Let s be t - 3/(3 - 0). Solve -4*c + s = -4 for c.
1
Let a be 2/30*5*48. Let v = -1 - -4. Suppose -n + a = v*n. Solve -23 = -n*m - 7 for m.
4
Let c = 23 - 15. Suppose 2*j = 5*j - 5*g - 10, 4 = -2*g. Solve -c = 2*v - j for v.
-4
Suppose -3*h = -h - 12. Let j be 1 - -1*(2 - 1). Solve 4 = j*p - h for p.
5
Let p be (10/15)/(3/9). Solve -1 = 3*j + p for j.
-1
Let b = 12 - 10. Suppose -3*c = -b*c. Solve c = 5*r - 3*r + 10 for r.
-5
Let y be ((-4)/4)/((-1)/4). Suppose 3*a - 5*q + 25 = 0, 4*q - 5 = 2*a + 15. Solve -3*g + 5*g + y = a for g.
-2
Let b(h) = h**2 + 12*h + 14. Let f be b(-11). Let s(q) = -q**2 + 11*q - 10. Let z be s(10). Solve z*o = f*o - 15 for o.
5
Let p = -7 - -7. Suppose -2 = -a - p. Solve -n + 4 = -a*n for n.
-4
Let v be -1*(-1)/(-2)*0. Let r(o) = 3*o**2 - 2*o + 10. Let n be r(3). Suppose -34*f = -n*f - 9. Solve -f = x - v for x.
-3
Suppose 0*f - 2*f - 6 = 0. Let w be 1*141*(-1)/f. Let c = 67 - w. Solve -p - 4*p = -c for p.
4
Let c be (-1)/3 - 13/(-3). Let r = 582 + -577. Solve -r*i + 3*i - c = 0 for i.
-2
Let p = -2 - -4. Suppose -p*f + 16 = -4*k, f = -k + 2 - 3. Suppose 2*r + 3*c + 4 = 7*c, -c - f = -2*r. Solve r = -2*t - 0 for t.
-1
Suppose b = -2*b - 18. Let o = b - -6. Solve o*g = -g for g.
0
Suppose g + 4*g = k + 10, -4 = -5*k - 2*g. Solve k*z = -z for z.
0
Suppose -4*t = -2*b - 6, -5*b + 9 = -0*b - 4*t. Solve 0 = b*l - 4*l - 5 for l.
5
Let q be -2*(0 - 2) - 0. Suppose o - 15 = -q*o. Solve 2*f + o = -5 for f.
-4
Suppose -5*u + 4*i - 19 = 0, -3*u - 3*i - 33 = -0*i. Let f be 0/u*1/1. Let t = 10 - 5. Solve t*h + 0 + 5 = f for h.
-1
Let t = 11 - 8. Suppose 4*r = t + 9. Solve -k + 20 = r*k for k.
5
Let u be -2*(-1)/(-2)*-6. Suppose -3*d + u*d - i - 29 = 0, d - 19 = 5*i. Solve -4*l = -d - 3 for l.
3
Suppose 2*z + 5*h - 34 = 0, -4*h - 26 = -3*z + 2. Solve 2*c - 5*c + z = 0 for c.
4
Suppose 2*t - 5 - 3 = 0. Suppose -3 = -2*g + g, 17 = d - t*g. Let h = d - 21. Solve -j = j + h for j.
-4
Let r(k) be the second derivative of -5*k**3/6 - k**2/2 + 2*k. Let n be r(-3). Suppose 3*q - 22 = n. Solve 2*h + h - q = 0 for h.
4
Let j be (-20)/5 + 10 + -4. Suppose -2*s + 4*b + 2 = 0, 0 = -s - 2*s - 2*b + 11. Suppose f - 3 = -p + s, 0 = 4*f + 3*p - 23. Solve -3 - j = -f*g for g.
1
Let x be -1*((3 - 11) + 3). Solve 0*w - 5 = x*w for w.
-1
Let x(d) = -d**2 + 2*d + 5. Let y be x(2). Solve -3*a + 8*a = y for a.
1
Let w(b) = 4 - 15 - 9*b**3 + 12*b**2 + b**3 + b**3. Let m(v) = -6*v**3 + 11*v**2 - 10. Let k(i) = -6*m(i) + 5*w(i). Let u be k(6). Solve -5*y = -0*y + u for y.
-1
Suppose -n - y - 1 - 12 = 0, -y - 69 = 5*n. Let q = n + 18. Solve 2*i = -0*i + q for i.
2
Let i be -1*(-3 - 0)/3. Solve -d = 1 + i for d.
-2
Let j(k) = -2*k + 6. Let d be j(3). Suppose d 