 2*v**2 - 2 + v**3. Let z be y(-1). Let o = z - -4. Solve 0 = -o*m + 4 - 12 for m.
-4
Suppose 2*l = -2*n - 14, -l + 2*n + 13 = -n. Let q = -1 - l. Solve q = c - 4 for c.
5
Let v be (-22)/6 - 2/6. Let u be ((-34)/3)/(v/6). Suppose -3*g = y - 6, -3*y - g + u = 7. Solve 0*o - 9 = y*o for o.
-3
Let s be 18 + -2 - (-1 - -1). Let z = -10 + s. Solve i = z*i + 15 for i.
-3
Suppose -2*z - z + 42 = -4*v, -5*v = 15. Solve -z = -3*n + n for n.
5
Let s be 3/(-1) + 3 + 8. Solve 2 - s = 3*m for m.
-2
Let q(o) = o**3 + 4*o**2 - 2*o - 2. Let s be q(-4). Suppose -3*m = 5*b + s, -2*b + 15 = -7*b. Let h = 30 + -21. Solve 3*d + h = -m for d.
-4
Let b = 5 + -2. Let v = -1 + b. Solve -i + v*i = 2 for i.
2
Let b(z) = -z**3 - 3*z**2 - z. Let y(p) = -7*p - 5. Let d(s) = -3*s - 2. Let g(l) = 5*d(l) - 2*y(l). Let u be g(3). Let n be b(u). Solve -1 = n*t - 4 for t.
1
Suppose 8*r - 45 = 3*r - 3*w, -5*w + 7 = -3*r. Suppose r = j + 4. Let y = 1 + j. Solve -f + 7 = y for f.
4
Let z(n) = n**3 - 2*n**2 - 3*n - 4. Let g be z(3). Let q(i) = i**2 + 5*i + 6. Let b be q(g). Solve b*j + 6 = -2 for j.
-4
Let q = 4 + -2. Let x be (-9)/(-15) + (-4)/(-10). Let w be (x/(-3))/((-5)/30). Solve 0 = w*r + q*r for r.
0
Let r = 6 + -6. Suppose r = v + 3*j - 12, -3*v - 2*j = 2*j - 16. Suppose v*i = -2*i. Solve 0 = -i*c - c + 1 for c.
1
Let n(c) = -c**2 + 6*c + 2. Let l be n(6). Solve -l*m - 3*m = -20 for m.
4
Let y be (-3)/4 - (6 - 210/24). Solve 1 = -3*z + y*z for z.
-1
Let a be (-10)/(-15) - (-2)/6. Suppose 2*b - 39 = 4*s + 19, 0 = 4*b - 2*s - 86. Suppose 5*w - b = a. Solve 0*j = w*j for j.
0
Suppose t - 4*d + 7 = 2*t, 3*t = d + 8. Solve 0 = t*q - 9 for q.
3
Let c be 0*(2 - 5/2). Suppose c = -4*i - 12 - 4. Let k = i + 4. Solve k*y - 8 = 2*y for y.
-4
Let u = -19 - -34. Let v be (4/2)/(6/u). Solve -v*r - 1 = -16 for r.
3
Suppose -7*s + 5*s = 0. Solve 2*u + u = s for u.
0
Let o be (-2)/(-4)*0/(-3). Suppose o*a - 4 = -a. Solve -a*q - 5 = 11 for q.
-4
Suppose 0 + 11 = 4*k + l, -3*l - 15 = -4*k. Suppose -q + k*q = 12. Solve -3*v = -q - 0 for v.
2
Suppose -3*l + 4 = 1. Let n be 11 + 2/1 + l. Suppose -5*w + 11 = 5*m - n, 14 = m + 4*w. Solve -3 = -m*x - x for x.
1
Let w be (-58)/2 - (0 + -1). Let l be w/6*(-18)/12. Suppose -l*m + 12 = -3*m. Solve 0 + 3 = -m*x for x.
-1
Suppose 3*q = 3*k - 15, -2*k + 7*q = 2*q - 13. Let l = 8 + -3. Suppose -t + 30 = t + n, 0 = l*t - 5*n - 75. Solve -b + k*b = -t for b.
-5
Let a = 68 - 64. Solve n + a = 3*n for n.
2
Suppose 2*p + 2*p + i = 15, i = 2*p - 3. Suppose 5 = p*n + 2. Solve 3 = 2*d + n for d.
1
Let v = -1 + 3. Suppose s + 2 = 0, -4*s - 13 + 1 = -v*z. Let g = -2 + z. Solve g*h = h + 2 for h.
-2
Let x be 0 + -2 + 2 + 0. Solve -4*n + 2 - 10 = x for n.
-2
Let b(m) = -m - 2. Let y be b(-6). Let r = y + -3. Suppose 16 = -0*a + 4*a. Solve a - r = -3*d for d.
-1
Let w(p) = -4*p**3 + p**2 + p - 1. Let k be w(-1). Solve -k*i + 2*i = -2 for i.
2
Let x(o) = o**2 + o + 4. Let g be 0 + -1 + 0 + -2. Let z(b) = b + 3. Let i be z(g). Let d be x(i). Solve d*j + 0 = -4 for j.
-1
Suppose -3*n = -4*n - 4. Suppose 3*o + 2*o = -30. Let m be o/(-27) - n/(-18). Solve m = 5*y + 28 - 8 for y.
-4
Let o be (5 - 12/3)/((-1)/(-4)). Solve 10 = -2*w + o*w for w.
5
Let t = -10 - -10. Let a = -2 - -38. Solve t = -5*d + a - 11 for d.
5
Let x be (-21)/35 + (-66)/(-10). Suppose -4*w = -0*q - 5*q + 9, -x = -3*q + 3*w. Solve -4*s = 9 - q for s.
-2
Let h(v) = v - 10. Let i be h(6). Let q = i + 9. Solve s - 8 = q*s for s.
-2
Let a(x) = 8*x - 6. Let j be a(1). Solve -4*w + j*w - 2 = 0 for w.
-1
Let w = 16 - 22. Let c = w + 6. Solve r - 6*r - 20 = c for r.
-4
Let l(f) = f**2 + 14*f - 7. Let n be l(-16). Suppose 5 = -4*x + n. Solve x*i + 4 = i for i.
-1
Suppose -2*u - 4*r = -10, 3*r + 4 = 10. Solve 13 = 3*q + u for q.
4
Suppose 0 = 5*k - 2*k - 12. Solve 0*b - k = -2*b for b.
2
Suppose 2*i + 0*i = 0. Solve s = -i*s for s.
0
Suppose -3*n + b = -0*n - 12, -2*b + 26 = 4*n. Suppose q - n*q = -16. Solve 0*s - 4 = q*s for s.
-1
Let p(f) = -f**3 - 4*f**2 + 7*f + 17. Let o be p(-5). Solve -8 - o = -5*l for l.
3
Suppose -3*w - 2*w = p - 13, 2*p = -w - 1. Solve n = -2 + w for n.
1
Let q(k) = 6 + 9*k - 1 - 4*k + k**2 - 2. Let g be q(-5). Solve g*b = -2 + 11 for b.
3
Let p = -15 + 17. Solve p*a = a for a.
0
Let k(c) = c**2 + 14*c - 6. Let t be k(-14). Let m be t/(-4 - -8 - 6). Solve 0 = 2*y - y + m for y.
-3
Let w = -13 - -21. Suppose -z - 2 = -3*g - w, -4*g = -z + 8. Solve z = 2*u - 3*u + 5 for u.
5
Let i be (12/2)/(0 - -1). Suppose 2*f + 0 = -2, 5*h - 16 = -4*f. Solve 2*n - h = -i for n.
-1
Suppose 0 = 5*h, 0 = 3*x - 5*h + 2*h - 3. Suppose -3*i + 9 + x = 5*p, -13 = -3*i - 2*p. Let s = 4 - 1. Solve s*w = -2*w + i for w.
1
Let c be (-4)/8 - 1/(-2). Suppose 4*m - 2*m + 2 = c, -4*p = -3*m - 11. Solve -p*l + 2 = -2 for l.
2
Let y(t) = -t**2 + 4*t + 12. Let r be y(6). Let o(n) = -n**3 + 8*n**2 - 4*n + 5. Let i be o(5). Suppose 3*b - i = -b. Solve r*p = -3*p + b for p.
5
Let i be ((-3)/2)/((-2)/8). Let o be 2 + (-2)/(-2) + 1. Suppose -o*r + 6 + i = 0. Solve 8 - 2 = -r*m for m.
-2
Suppose 0 = 4*x - 3 - 5. Let f(l) = -4*l + x*l + 2*l + l + 7. Let o be f(-3). Solve o = -u - u for u.
-2
Let z be (3/2)/(6/20). Let h = 7 - z. Solve -h*l = -l for l.
0
Suppose 0 = -0*o - 5*o. Solve o = -0*k - 4*k - 20 for k.
-5
Suppose 7 + 2 = 3*l. Solve l*n = -2*n + 15 for n.
3
Suppose 26*w - 5 = 25*w. Solve 5*p - 5 = w for p.
2
Let p be (0 + -1)/((-1)/6). Suppose 2*i = 5*i - p. Solve f = 2*f - i for f.
2
Suppose 5*o = 2*g + 64, o + 0*o = 2*g + 16. Suppose -2*l + 0*l = o. Let t be l/15 + (-6)/(-15). Solve 4*a - 3*a - 4 = t for a.
4
Let j = -8 - -18. Solve j*i - 5*i = -15 for i.
-3
Let f(r) = -7*r. Let j(b) = b + 1. Let v = 6 - 8. Let u(y) = v*j(y) - f(y). Let i be u(6). Solve 5*n + i - 3 = 0 for n.
-5
Let r be -2 + 0/2 + 2. Suppose -k + r*k = 0. Solve -4*j + 2 - 14 = k for j.
-3
Suppose 0 = 4*y - 3*s - 15, 3*s - s = -5*y - 10. Suppose -p = -y*p - 6. Solve -4*t + p = -t for t.
2
Let d(x) = x**3 - 6*x**2 - x. Let c be d(6). Let j = c + 10. Let r be (12/10)/(j/10). Solve -r = g + 2 for g.
-5
Let k(z) = -2*z + 32. Let n be k(16). Solve 0 = -4*g - n*g + 16 for g.
4
Suppose -3*b = -8*b + 10. Let m be b + 7 + (-1 - -1). Solve 3*c - 3 - m = 0 for c.
4
Suppose 5*o - o = 40. Solve z + o = 3*z for z.
5
Let z = 15 - 47. Let c be (14/(-8))/(8/z). Suppose 4*u = 3*q + q - 28, -q + 16 = -4*u. Solve 0 = -q*f + c*f for f.
0
Let t be (-1)/(11/4 - 3 - 0). Solve -3*s = -t*s - 2 for s.
-2
Let n be 1 + 23 + (-12)/3. Solve -l + n = 4*l for l.
4
Let u(k) = -4*k**2 - k - 8. Let j(a) = 5*a**2 + 2*a + 9. Let f(t) = 5*j(t) + 6*u(t). Let n be f(-4). Let y be n/(3/2) - -2. Solve -2*x + 2 = -y*x for x.
1
Suppose q + 5 = 7. Solve 7*a = q*a - 15 for a.
-3
Let m(a) = -a**3 + 3*a**2 - 2. Let h be m(3). Let k = 2 + h. Let s be 2*(1 + 0 + k). Solve s - 4 = -w for w.
2
Suppose -32*r + 30*r = -6. Solve 2*z + 5 = -r*z for z.
-1
Let c = -9 + 14. Solve 14 = c*x + 4 for x.
2
Suppose 5*g = -2 - 3. Let r(q) = -8 - 2*q + 9 - q. Let h be r(g). Solve -6 = h*a - a for a.
-2
Suppose -9*i = -17*i + 128. Solve 2*t + i = -2*t for t.
-4
Let h be 87/5 + (-20)/50. Let k be (-12)/(-30) - (-4)/(-10). Let v(u) = u + 9. Let i be v(-4). Solve k = -i*q + 7 - h for q.
-2
Suppose 5*w - 20*w + 180 = 0. Solve -7*x + 3*x - w = 0 for x.
-3
Let k be 2/2 - (2 + 1). Let r = k + 4. Let g = 7 + -4. Solve 0 = -r*o - g - 3 for o.
-3
Suppose 4*p = 0, 0*w - 2*p = -3*w + 6. Solve w*s = 3 + 3 for s.
3
Suppose 0 = -3*k - 4*u + 12, -2*k + 2 + 6 = 5*u. Let p = 9 + -1. Solve -q + k = p for q.
-4
Suppose 0*j + 60 = 5*j. Suppose u + 2*k - 4*k = -2, j = 4*u + 2*k. Solve u*v - 2 = -8 for v.
-3
Let c(u) = -u**2 - u + 5. Let r be c(0). Let j = 31 - 7. Solve r*i - j + 4 = 0 for i.
4
Let v be 4/(-18) - (-168)/27. Solve -3*z + 3 = v for z.
-1
Suppose 0 = 2*j + 4 - 12. Solve j = w - 3*w for w.
-2
Suppose 3*y = -10 - 20. Suppose 2 = 2*j, 0 = -2*n - j - j - 10. Let d = n - y. Solve -13 = d*k + 7 for k.
-5
Let a(f) = f**2 - f - 2. Suppose -v + 12 = 5*g, 3*g = -2*v - 1 + 11. Let l be a(g). Solve 3*k - 2*k - 4 = l for k.
4
Suppose 0 = 5*j + a, -8*a = 3*j - 3*a. Solve -h = -5 - j for h.
5
Let x = -6 - -10. Let f be x/2 - (-2 - -2). Solve -f*y + 4 = 12 for y.
-4
Let o = 18 + -12. Suppose t - 2 = 3*h - t, 5*t + o = 2*h. Let f be (h - 0) + (-