). Solve 0 = 2*y - v*y + 12 for y.
4
Let l be 9/(-3) - (-2 + 1). Let i = 3 + l. Solve -i = 2*c + 1 for c.
-1
Suppose -q - 4*i + 20 = 0, -3*i = -q - 0*i - 8. Solve 4*d = q + 12 for d.
4
Suppose 5*c + 5*y + 90 = -0*y, -c - 33 = 4*y. Let a(m) = m**2 + 13*m + 3. Let p be a(c). Solve h = p*h for h.
0
Suppose 0*u + 3*u = 30. Suppose -4*j + 30 - u = 0. Solve -o + j = 3 for o.
2
Let z = -3 - -7. Solve 0 = z*j - 2*j for j.
0
Let n(w) = -w - 16. Let z be n(-18). Solve c = z*c for c.
0
Let c(s) = -s**2 - 7*s - 3. Let p be c(-6). Solve 1 = q - p for q.
4
Let j(s) = s**3 + 2*s**2 - 2*s - 1. Let k be j(-2). Let g be 165/10*8/k. Suppose 2*d - g + 14 = 0. Solve -n + d = 2*n for n.
5
Suppose 5*v = -3*n + 2, 0*v - 6 = n + 5*v. Suppose 2*l = n*l. Solve x = -l*x + 5 for x.
5
Let s(j) = j - 1. Let o be s(10). Suppose 0*c + o = 3*c. Solve -17 = -5*h + c for h.
4
Suppose -5*f - q = -f + 4, 0 = -3*f - 3*q - 12. Let u be ((-1)/(-2))/(3/18). Solve 0 = u*j - f*j + 15 for j.
-5
Suppose -d = 3*d - d. Solve -5*u = -d*u for u.
0
Let i = 152 - 145. Solve 5*x + i = -8 for x.
-3
Let j = -7 - -9. Suppose -j*t + 2 = -2. Solve 3*n + 2 = t*n for n.
-2
Suppose -11 - 26 = 4*a - 5*y, -5*y = 3*a - 16. Let n = a - -5. Solve 0*x = x + n for x.
-2
Suppose 3*g - 40 = g. Suppose -2*t = 5*k - 6*t + g, -k = -3*t + 15. Solve k = -q - q for q.
0
Let k(l) = -l**3 + 9*l**2 + 5. Let q be k(9). Let c(n) = -n**3 + 2 - q*n**2 + 5*n + 0*n**2 + 2*n**3. Let o be c(4). Solve 0 = b - o*b - 25 for b.
-5
Suppose -5*l - 4*q - 28 = 0, 2*q - 22 = 4*l - 2*l. Let i = l + 11. Let v(a) = a**2 - 1. Let w be v(1). Solve -t + i*t + 4 = w for t.
-2
Let o = 34 - 19. Let l = o - 10. Solve l = -4*t - 11 for t.
-4
Let a = 54 - 50. Solve 3*n = a*n + 5 for n.
-5
Let r = 4 - 2. Let b be ((-4)/(-1))/16*12. Solve -b*d + 7 = -r for d.
3
Let b = -21 - -26. Solve -20 + 5 = -b*s for s.
3
Suppose -5*v + 3*u + 23 = 0, 0 = 3*v + 2*v + 2*u - 43. Suppose -v*z = -3*z - 8. Let s be (-4)/((-16)/6 + z). Solve -j + s*j - 5 = 0 for j.
1
Let m(f) = -f + 17. Let s be m(13). Solve -i = s*i - 20 for i.
4
Let z = 10 + -4. Suppose 0*k = 3*k - z. Solve -20 = 3*m + k*m for m.
-4
Suppose -4*x - 4*d = -0*x, 3*x - 20 = 2*d. Let i(a) be the second derivative of 3*a**5/20 + a**2/2 - a. Let k be i(2). Solve b = -x*b + k for b.
5
Suppose 3*u + 5 = -4. Let p be 2*(33/6 + u). Solve 4*z + p = 3*z for z.
-5
Suppose 0*n = -5*n + 5. Solve 0 = -g + 2*g + n for g.
-1
Let x be (1 + 0)/(1/4). Suppose k + k - x = 0. Let a be k + -1 + 1 + -2. Solve -5*m - 10 = -a*m for m.
-2
Let n(m) = -m**2 + 9. Let h be n(0). Suppose 5*d = -h - 1. Let u(v) = -9*v + 2. Let a be u(d). Solve 2*y = -2*y + a for y.
5
Suppose 3*w = -0*w + 15. Solve 3 = -2*l + w for l.
1
Let a(x) = x**3 + 5*x**2 + x - 4. Let o be a(-4). Let b be (-1 - -3)/(4/o). Solve b*u - u + 12 = 0 for u.
-4
Let q(o) = o**2 + o - 26. Let n be q(-6). Solve 5*x = x - n for x.
-1
Let k(s) = -s**2 + 3*s + 9. Let r be k(4). Solve -z + 2*z = r for z.
5
Let p be (26/(-6))/((-2)/6). Solve -p = -3*a - 1 for a.
4
Suppose m - 9 = -2*m. Solve -r - m + 2 = 0 for r.
-1
Let p be 8 + -1 - 3*1. Let q = -6 + 21. Let y = q + -9. Solve p*h = -y - 2 for h.
-2
Let s(o) = o + 2. Suppose 5 = 2*y - 3. Suppose -y*v = -3*v. Let l be s(v). Solve 0*q = -q - l for q.
-2
Suppose 17 = 3*t + 8. Let y(b) = -4 + t + 3*b - 1. Let d be y(6). Solve -5*a = 9 + d for a.
-5
Let q be -4*(-5 + 6 + (1 - 3)). Solve 2*m - q*m = -6 for m.
3
Suppose -34*n + 15 = -29*n. Solve 7 = -2*f - n for f.
-5
Let d = -4 + 2. Let f(k) = -k. Let l be f(d). Suppose 0 = -4*p - n + 1, 3 - 1 = -2*p + l*n. Solve p*t = 2*t for t.
0
Suppose 0*a + 3*a - 17 = 4*s, -a + 7 = -2*s. Solve 3 = a*f - 6 for f.
3
Let o(z) = 86*z**2 - 1. Let q be o(-1). Let p = q - 60. Solve p = 2*v + 3*v for v.
5
Let l(h) = h + 9. Let j be l(-7). Let r = 14 - 11. Solve j = r*y - 1 for y.
1
Let g(p) = -3*p + 12. Let s(h) = -h + 4. Let m(u) = -4*g(u) + 11*s(u). Let y be m(7). Solve 1 = -y*t + 4*t for t.
1
Let m = 1 + 0. Let z(t) = -t**3 - 4*t**2 + 6*t + 7. Let k be z(-5). Let s be -3*(29/(-12) - (-3)/4). Solve m = k*v - s for v.
3
Let h = 3 + 0. Suppose 4*v + 4 - 8 = 0. Suppose v - 4 = -3*f. Solve -h*k - 4 = -f for k.
-1
Let f(x) = -4*x**2 - 2*x + 1. Let t(z) = -z. Let v(p) = -f(p) + 2*t(p). Let s be v(-1). Solve 5 + s = -2*u for u.
-4
Suppose -3*d - 4*u + 3*u = -7, 0 = -2*d + 4*u. Suppose -x = -d - 0. Solve x*s - 6*s = -16 for s.
4
Let n(a) = 8*a**2 + a**3 - 2 + 3 - 9*a + 1. Let m be n(-9). Let z = 2 - m. Solve -p - 2*p = z for p.
0
Suppose j - 3 = -1. Solve 3 + 5 = -j*r for r.
-4
Let x = 6 + -2. Suppose 0 = 5*b - 3*n - 25, 3*b - x*b + 2*n + 12 = 0. Solve -16 = 6*i - b*i for i.
-4
Let g be ((-2)/(-7))/((-3)/42*-2). Solve 7 - 1 = -g*z for z.
-3
Let i(o) = -o + 7. Let q(w) = 8*w**2 + 2*w + 1. Let c be q(-1). Let u be i(c). Solve -5*b + 0 + 5 = u for b.
1
Let q = 6 + -7. Let c be 5 - (-1 + -1)*q. Let n = c - -1. Solve -n*f = 4 - 20 for f.
4
Let f(c) = -c**3 + 6*c**2 - 2*c - 4. Let s be f(4). Suppose -3*b - 8 = -2*m, 3*b + 2 = 2*m - 6*m. Let o be (1/(-1))/(b/6). Solve o*q + 2*q = -s for q.
-4
Let j = 15 - 12. Solve j*m = 2*m + 3 for m.
3
Suppose 0 = -x - 5*a + 15, 2*a + 0*a = 4*x + 6. Suppose x = -f + 6*f. Solve f = d + 3*d + 20 for d.
-5
Let b = 17 - 14. Suppose r = b*r - 8. Solve -i + 3*i = r for i.
2
Let l(r) = r**3 + 3*r**2 - 12*r - 9. Let g be l(-5). Solve g = -3*p - 8 for p.
-3
Suppose 4*j = -j. Let u be (-1)/(-2)*(j - -2). Solve -w + u = -3 for w.
4
Suppose -5*l + 116 = -29. Suppose n - l = -4*j, j = 3*n + 2*j - 76. Solve -4*y = y - n for y.
5
Let g = -11 - -15. Solve -g = -3*a - a for a.
1
Suppose f + 2 = 2*c, -5*f = -5*c - 0*f. Suppose c*y = y + 4. Suppose 2*k - 5*k + 2*l = -y, 2*k = -4*l - 8. Solve k = -2*u + u for u.
0
Let a(g) = -g**3 + 7*g**2 - 5*g. Let z be a(6). Suppose -5*r = z - 16. Solve 0 = r*c - 6 - 4 for c.
5
Let r be -4 + -8*(5/(-2))/5. Solve r*b - 3 = b for b.
-3
Let t be (3 - (0 + 3))/(-2). Solve -16 = -4*q - t*q for q.
4
Suppose -5*o - 61 = -4*z, 2*o + 0*o = z - 16. Suppose j = 2*f + 1, -j - 5*f + 1 = -z. Solve -9 + 29 = j*k for k.
4
Suppose 0 = 4*u + u. Suppose u*b + 8 = 2*b. Solve -a = 3*a + b for a.
-1
Let k = 93 - 86. Solve 2*f + k = 1 for f.
-3
Let j(z) = z**2 - 6*z - 4. Let i be j(7). Let r = i + -25. Let c be r/(-55) + 16/10. Solve -c*b = -4*b + 2 for b.
1
Let j be (-2 + (1 - 0))/1. Let i(w) = -12*w. Let r be i(j). Solve 7*d = 4*d - r for d.
-4
Let z be (-2)/(-6) - 19/3. Let s be (-3)/(-1*(-2)/z). Solve 0 = -5*x - 34 + s for x.
-5
Let q = 13 + -2. Suppose 0 = -3*k - 0*n + 4*n - q, -4*k - 13 = -5*n. Solve -k*v = 2*v for v.
0
Let x(b) = 2*b + 2. Let v be x(-2). Let z be v/7 + (-23)/(-7). Suppose -1 = -f + 1. Solve h - z = -f*h for h.
1
Suppose -9*o + 2 = -8*o. Solve 2*x = -o*x for x.
0
Suppose -120 = -3*y + 3*f, -2*f = 4*y - y - 100. Suppose -3*n - 7*j + 3*j = -y, 0 = j. Solve 0*c + 3*c + n = 0 for c.
-4
Let j(p) = -p**2 + 9*p - 7. Let t be j(8). Suppose -6*o + o - t = -3*f, -11 = -5*f - o. Suppose -r + 6*r = -f*i + 14, -r + 7 = i. Solve 2*h - i - 3 = 0 for h.
5
Suppose 2*k + 4 + 8 = 0. Let f = 8 + k. Suppose 4*j = -0*j + 24. Solve -f*g = -j*g for g.
0
Let l = 25 + -25. Solve 12 = -l*d - 4*d for d.
-3
Suppose d = -d + 6. Solve -d*x = -x for x.
0
Let o be (2/(-4))/(6/(-108)). Solve 0*g = -3*g - o for g.
-3
Let g(x) = x**2 + 11*x + 2. Let a be g(-11). Solve -b + 0 + a = 0 for b.
2
Let f = 27 - 15. Suppose -2*q = -5*q + f. Solve 0 = -q*p + 7 + 1 for p.
2
Let r = -1 + 3. Suppose -4*c + 6*c = 0. Solve 2*m + r = -c for m.
-1
Suppose 0 = -z - z + 4. Suppose -5*r = 3*u - 0*r - z, 0 = 3*u - 3*r - 18. Let h be u/6 + (-20)/(-6). Solve 0 = -h*m - 1 - 3 for m.
-1
Let o(j) = j**2 + 2*j + 7. Let h be o(-4). Suppose 2*a = -10, 2*t - 2*a = -0*a + 18. Suppose -i - i + 10 = -t*l, 5*l + 3*i - h = 0. Solve y + 3 = -l*y for y.
-3
Suppose 3*f + 9 = 12. Solve f + 2 = -u for u.
-3
Suppose 16 = -0*i + 2*i. Let s be i*(1 + (-3)/(-2)). Let u be 0/(6 + 0 + -3). Solve 0 = 5*w + s - u for w.
-4
Let s(q) = -2*q - 22. Let k be s(-11). Suppose -4*w + 8 = -2*w. Solve k*x - 8 = w*x for x.
-2
Suppose 0 = 2*x + 3*x - 15. Suppose -w + 0*w + 5*g = 3, 3*g = 3*w - x. Solve j - w = -1 for j.
1
Let j(y) = 52*y**2 - 2*y + 1. Let x be j(1). Let h = x + -26. Solve -o = -6*o + h for o.
5
Let l(t) = -t**3 + t + 4. Let f be l(0). So