 p = 0, -5*m + 25 = 0. Solve -y*q - 8 = -33 for q.
5
Let m = -8 - -6. Let v be ((-15)/m)/(1/2). Let u = 2 - 0. Solve -3*y - u*y = v for y.
-3
Let a be ((-1 - 0) + 2)*0. Suppose -4*j - 20 = 0, 0 = 2*v + 4*j + 12 - 0. Solve a = -2*f - v - 2 for f.
-3
Suppose -26 = -2*g - 3*n, -3*g = -6*g + 3*n + 9. Suppose 3*f + 4 = g*f. Solve 9 - f = -4*j for j.
-2
Let d be ((-12)/(-21))/((-4)/(-14)). Solve -j = d*j - 3 for j.
1
Suppose 0 = -l - 13 + 15. Solve 2*n - l = -8 for n.
-3
Let q(c) = c**2 - c + 2. Let p be q(2). Let x be 4 + 0/(-5) - 2. Solve -x*k - p = -k for k.
-4
Let y be ((-6)/4)/((-9)/18). Solve 0 = 3*j - 0*j - y for j.
1
Let v(b) = 2*b**3 - 2*b**2 + 5*b + 2 - 7*b**3 - 5*b**2. Let m(x) = x**3 + x**2. Let u(n) = -4*m(n) - v(n). Let k be u(-4). Solve 0 = -k*z - 2*z for z.
0
Let b = -27 - -52. Solve 10*k = 5*k - b for k.
-5
Let z = -61 + 64. Solve -20 = -i - z*i for i.
5
Let x be 68/14 + 2/14. Solve x*t = -20 - 0 for t.
-4
Let q(y) = y**3 - y**2 - 4*y - 1. Let k be q(3). Suppose 406*b - 12 = 400*b. Solve b*w - 3*w - k = 0 for w.
-5
Suppose 0 = 4*q - 5*q. Let o be (-1 + 0 - -3)/(-1). Let c be (o/(-6))/((-3)/(-27)). Solve q = -t + c*t for t.
0
Let i(l) = l**3 + 7*l**2 - 1. Let w be i(-7). Let g = -1 - w. Let k(s) = -s**2 + 6*s - 1. Let t be k(5). Solve 2*c + t = -g for c.
-2
Suppose -6*o = -2*o + 8, 3*o = -3*x + 3. Suppose -2*c + x = -c. Solve c*h - 15 = -2*h for h.
3
Let b = -16 - -20. Solve b*h = 3*h for h.
0
Let x = -14 - -9. Let j = x + 8. Let v be 2 + j/(6/4). Solve -v = 4*q + 4 for q.
-2
Let z(p) = -12*p - 19. Let y be z(-2). Solve -y*q - 5 = -0*q for q.
-1
Suppose 0 = -7*u + 4*u + 4*m + 118, 46 = u - 3*m. Suppose u = -5*p + 14. Let j be (2/p)/(1/(-2)). Solve i + j = 2*i for i.
1
Let f = 27 + -38. Let i be (0 - -1)*(f + 2). Let b = -5 - i. Solve -5*g = -6 - b for g.
2
Let l be (-122)/(-5) - (-4)/(-10). Suppose 2*r = r. Solve 5*v - l - 1 = r for v.
5
Let p be (0 - (-24)/20)/(12/40). Solve 3*l = p*l + 5 for l.
-5
Let n(g) = 7*g**3 - 11*g - 7. Let v(w) = -6*w**3 - w**2 + 10*w + 7. Let d(y) = 5*n(y) + 6*v(y). Let i be d(-7). Solve -5*u - i = 4 for u.
-5
Let t(d) = -3*d + 18. Let i be t(5). Solve i*j - 2*j + 4 = 0 for j.
-4
Let i be 1 - (-6)/((-12)/(-22)). Suppose 4*o - 4 = -4*x, -o + 0*x + 1 = 4*x. Let t = o + 1. Solve -i = -t*w - 2*w for w.
3
Let d(m) = -m**3 - 8*m**2 + 2*m + 16. Let v be d(-8). Solve v*a + 2 = -a for a.
-2
Let d = 0 - -2. Suppose 5*u = d*u - r + 14, -u - 3*r = -18. Suppose -5*p - o + 6 - 1 = 0, p = -o - u. Solve 5*w + p = 22 for w.
4
Let q = 110 + -70. Suppose 4*j + 36 = 5*f, -5*j + 0*j + 5*f - q = 0. Let k = -4 - j. Solve 4*v - 8 = -k for v.
2
Suppose -2*a - 20 = -4*q - 5*a, 4*a - 14 = q. Solve q*x = -2*x for x.
0
Let n(b) = -2 + b**2 - 18*b + 22*b - 3. Let j be n(-5). Solve i + 0*i - 4 = j for i.
4
Let y be 1 + 2 + (1 - 2). Suppose -3*k - 3 = -4*h, 2*h - 7 = 5*k - y. Solve h = -4*v + 2*v + 2 for v.
1
Let j(m) = -m**2 + 5*m - 2. Let y be j(3). Suppose -y*g = -7*g. Solve 6 + g = -2*i for i.
-3
Suppose 0 = -6*l + 3*l. Let u(p) = p**2 + 3. Let c be u(l). Solve -12 - 3 = -c*y for y.
5
Let m(g) = 3*g**3 - 5*g**2 - 3. Let x(o) = -10*o**3 + 14*o**2 + 8. Let i(l) = -7*m(l) - 2*x(l). Let j be i(7). Solve -4*c = -7 - j for c.
3
Suppose -13 = -5*l + 7. Let j(w) = l*w + 27 - 27. Let a be j(1). Solve -17 = a*q - 5 for q.
-3
Let h be (2/(-4))/(4/(-8)). Suppose c = -g + h, -g + 4*c = g + 4. Solve g*j - 16 = -4*j for j.
4
Let m(q) = -5*q**3 + q**2 - 1. Let s be m(-1). Suppose s*n + 20 = 2*v - 7*v, -2*n = -4*v + 8. Let t = -5 + 6. Solve w - 4 - t = v for w.
5
Let u(q) = q**2 - 8*q + 2. Suppose -a - 2*a + 24 = 0. Let g be u(a). Solve g*f = -2 + 4 for f.
1
Suppose 0 = -y - 0 - 4. Let g be y/6*-6*4. Suppose 4*l - 2*s - 16 = -3*s, -5*s = -4*l + g. Solve -4 = -l*m + 8 for m.
3
Let h(v) = -v**3 + 8*v**2 - 5*v - 4. Suppose -5*o = -28 - 7. Let s be h(o). Solve 5*w - s = 5 for w.
3
Let i be (-3)/(-1)*8/(-6). Let r = i + 5. Solve 0 = k - r - 4 for k.
5
Let a(g) = g**3 - 6*g**2 - 8*g + 6. Let h be a(7). Let d = -3 - h. Let i be (1 + -1)/(3 + d). Solve -3*o + o = i for o.
0
Let r(v) = -v + 14. Let g be r(11). Suppose 5*f - 21 = 2*a, 4*a + g*f - 13 = 10. Solve 0*l = -a*l for l.
0
Let o be 6/((-12)/5)*-14. Let r = -19 + o. Solve -3*i - r = i for i.
-4
Let n(o) = 11*o - 1. Let g be n(2). Let f = 30 - g. Solve 5*h - 2*h = -f for h.
-3
Suppose -5*c - 5*r = 0, 4*c = -c - 3*r. Suppose 4*q - 16 = c, -26 = 3*p + q - 3. Let n = p + 15. Solve s - 25 = n*s for s.
-5
Let y = 22 + -16. Let g = 10 - y. Solve 0*r + 4*r + g = 0 for r.
-1
Suppose -19 = 2*m + 5*f, 4*m - 7*f - 32 = -3*f. Suppose 5*i + 2*u = -0*i + 12, 4*u = -4*i. Let q(b) = -b**2 + 5*b - 2. Let c be q(i). Solve 1 - m = -c*v for v.
1
Suppose -6*o = -91 - 5. Let d(k) = k**2. Let q be d(2). Solve -q*a = -o - 4 for a.
5
Let y be ((-9)/(-6) + -1)*6. Suppose 0 = y*d - 10 - 2. Solve j = -j + d for j.
2
Suppose -6*m = -4*m - 8. Suppose -5*b - m = -3*w - 2, w + 3*b = 10. Let t be w + (-2 - 2/(-1)). Solve 0 = -2*s - 6 - t for s.
-5
Let n(f) = f**3 + 2*f**2 - f + 1. Let t be (-4)/5*(-15)/(-6). Let q be n(t). Solve -i - 2*i = q for i.
-1
Let j be (3/(-12))/((-2)/8). Let w(t) = 3*t**3 + t**2 - 1. Let n be w(j). Solve 0 = -5*x + n*x - 2 for x.
-1
Let u be (-9)/6*-4 + -2. Let s(c) = -c**3 + 4*c**2 + 2*c - 2. Let h be s(u). Solve 2 = -4*m + h for m.
1
Let a(u) = -u**3 - 16*u**2 + 17*u + 3. Let g be a(-17). Solve 3 - 9 = g*y for y.
-2
Let m be 3*4/(-12)*2. Let w be 12*m/(-16)*2. Solve -w = 2*o + 5 for o.
-4
Suppose -12 = -2*y + 2. Let a = -4 + y. Solve -6 + 3 = -a*s for s.
1
Let m = 8 - 4. Let d(t) = -t**3 + 4*t**2 + 3*t - 2. Let i be d(m). Let h be (3 - i/4)*4. Solve 0*j - h*j - 8 = 0 for j.
-4
Let x be 0 + (2 - 4 - -5). Solve -7*p + x*p = 0 for p.
0
Let y(d) = -2*d - 4. Let g be y(-5). Let t(k) = -k + 7. Let l be t(g). Let c = l - 1. Solve -3*r - 7 + 1 = c for r.
-2
Let v(d) = 3*d - 2. Let j be v(2). Let w(a) = 4*a - 5. Let c be w(3). Let i = c - j. Solve i = 2*p - 1 for p.
2
Suppose 4*i - 25 = -1. Let r(x) = -6*x - 1. Let g be r(-2). Let k = g - i. Solve 0 = -0*c - k*c + 25 for c.
5
Suppose -3 = -2*y - 7, 4*k = -2*y + 24. Solve -k = -5*i + 3 for i.
2
Suppose -2*o + 2 = f, 3 = 2*f - 2*o + 5*o. Solve i = -f - 2 for i.
-2
Let p = 23 + -17. Suppose 13*f - 11*f = p. Solve 0 = 5*x - f*x for x.
0
Let r be (-72)/(-20) + 6/15. Suppose -5*w + 6 = -r. Let q = 1 - -2. Solve 3 = w*v - q for v.
3
Let d(n) = n**2 - 12*n + 8. Let j be d(11). Let t(l) = 2*l**2 + 4*l - 1. Let i be t(j). Solve i*p = 2*p + 15 for p.
5
Let o be (8/10)/((-4)/(-10)). Suppose j = -o*j. Suppose -2*z - x + 2*x + 3 = j, 0 = 3*z + 2*x - 15. Solve 17 - 5 = -z*f for f.
-4
Suppose t - 2*i + 5 = i, 2*t + 4 = 3*i. Suppose -2*u = -t - 7. Suppose -w = w - u. Solve -2 = x - w*x for x.
2
Let a(i) = i**3 - i**2. Let z be a(1). Solve -c = -z*c for c.
0
Let t be ((-40)/(-16))/((-5)/(-4)). Solve 5*q - 27 = -t for q.
5
Suppose -10 = 3*x + 5*j - 2, 0 = -x - 5*j - 16. Let u = 18 - 8. Let q(t) = -t**2 + 9*t + 13. Let o be q(u). Solve -o*g + 1 = x for g.
-1
Let l = -21 + 27. Solve 4*f = l + 10 for f.
4
Suppose 0 = -3*d + d - 2*o + 6, 3 = d - o. Solve 12 = -d*v - 0 for v.
-4
Let h be (-8)/(-6)*126/(-4). Let a = 70 + h. Let o be (24/a)/((-1)/(-7)). Solve -3 = -z - o for z.
-3
Let n = 2 + 0. Let d be ((-5)/15)/(1/(-15)). Suppose -d*t = -4*m + 8 + 4, -5*m = -5*t - 15. Solve t = -n*w - w for w.
0
Let n(g) = -4*g**3 - 2*g**2 + 1 - g - 1 + g**3 + 2. Let y be n(-2). Suppose -4*q + 8*q - y = 0. Solve -q*o = -o for o.
0
Let a(d) = d**2 - 10*d + 21. Let h be a(7). Solve h*v + v + 5 = 0 for v.
-5
Let p be (-4)/(-18) + (-34)/(-9). Suppose p = -0*s + s. Solve -3 = -b - s for b.
-1
Let i(v) be the second derivative of -v**3/6 - v. Suppose y - 4*c + 2 = 0, 0 = -0*y - 2*y - 4*c - 16. Let u be i(y). Solve 3*n = -u + 18 for n.
4
Let a(u) = -u**3 + 9*u**2 - 9*u + 8. Let h be a(8). Suppose -2*j + j + 8 = h. Let r = -11 - -16. Solve -k = -r*k - j for k.
-2
Let a be ((-18)/27)/((-2)/3). Solve -s + a = -2 for s.
3
Suppose m + 2 = 0, 0*y + 5*m = y - 14. Solve -5*b = -y*b - 2 for b.
2
Suppose d + 4*d = -50. Let p = d + 16. Let q(o) = o**2 - 2*o. Let u be q(2). Solve x - 4*x - p = u for x.
-2
Suppose -84*v = -80*v - 24. Solve 0 = 5*y - v*y for y.
0
Suppose 6 = -z - 5*p + 35, 15 = 5*z - p. Suppose 7*o = 6*o +