18 for y.
-1
Let u be 1/4 - 15/(-4). Let k(n) = n + 6. Let l be k(-8). Let h be 2 + -2 - l - -2. Solve -h*i = -5*g - 10, -6*i + 4*i + 2 = -u*g for i.
5
Let x = -19 - -37. Solve -6*v + 2*v - 2*l + 14 = 0, -3*v - 3*l = -x for v.
1
Suppose -9*l + 7*l = -6. Solve -m + 3*x + 3 = 0, m + l*x + 5 = -4 for m.
-3
Let w be 15/5 - (0 - -1). Let b be 16/w + -2 + -1. Let h(f) = -f**2 + 6*f - 3. Let v be h(b). Solve 4*x - 5*y = -2, -y - y = v*x + 10 for x.
-3
Let a be ((-171)/6)/((-30)/20). Solve 2*l - 33 = 5*u - 13, 0 = -5*l - 3*u + a for l.
5
Let h = -22 - -25. Solve t + 2*t - 35 = 5*f, 0 = 2*f + h*t - 7 for f.
-4
Suppose -12*l = -58 - 50. Solve -5*r + 13 = -t, 7*r - 2*r = 3*t + l for t.
2
Suppose 4*z - 3*z = 0. Suppose 2*o - 73 + 9 = -4*c, 3*o - 5*c = 52. Let f = 27 - o. Solve z*i + 12 = 2*n - f*i, -13 = -5*n - i for n.
3
Let g(c) = 10*c + 3. Let p be g(0). Solve 3*d - 3*n + 7 = 1, -3*n - p = 0 for d.
-3
Let d(u) = -4*u**3 - 2*u - 1. Let q be d(-1). Let i be (3 + 4 - 2) + 0. Solve q*z + 11 = -3*y - 0*z, -4*y - 13 = i*z for y.
-2
Let t(w) = -w**2 + 8*w - 3. Let f be t(7). Solve -5*s - 12 = -5*h + 3, -24 = -5*h - f*s for h.
4
Suppose 2*t - 15 = -5. Solve 13 = 3*y - t*j, -3*y + 3*j - 6*j = 3 for y.
1
Let a(t) = 16*t. Let m be a(1). Let x be (-6)/(-4)*m/12. Solve -5*g - 9 + 0 = 2*k, -5*g - 21 = -x*k for g.
-3
Let t be 9/(-2)*(-8)/6. Let j = 9 - t. Suppose 5*v - v - 12 = 4*g, -j = -v + 2*g. Solve 0 = 4*q - q - 9, 2*w + v*q - 9 = 0 for w.
0
Suppose -4*q + 6 = z + 2*z, 0 = 2*z - 4*q - 4. Solve d - 19 = 5*c, -z*d - 2*d = -3*c - 25 for c.
-3
Let o(g) = g**2 + 7*g + 8. Let d be o(-6). Suppose d*x = -2*x + 24. Let v be 6/(-3 + 27/x). Solve 5*s + 0 = -v*w - 15, 5*w + 4*s = -12 for w.
0
Let c be 6 + (2/1 - 0). Let i = 4 + 1. Solve 4*n - 2*n + c = -4*k, i*k + 10 = -n for k.
-2
Let y(r) = r**3 + r + 5. Let k be y(0). Solve -3*s - k*j = 11, 0 = 4*s - 3*j + j + 6 for s.
-2
Let i = -19 + 24. Let q be 19/152 - 15/(-8). Solve -i*g - 4*r = 15 + 14, 0 = -2*g + q*r - 8 for g.
-5
Suppose 0*k = -k + 1. Let h(v) = -v + 21. Let x be h(16). Solve -4*u = x*l - 5, l = 2*l + 2*u - k for l.
1
Let d = 4 - 0. Suppose -r - d*r = 0. Solve r = 4*n + 8, -b + 0*b + 2*n + 2 = 0 for b.
-2
Let a(y) = y - 2. Let r be a(12). Solve 3*m + r = -0*m + v, 5*v - 17 = 4*m for m.
-3
Let y = -8 + 11. Solve -2*o - y = 3*o - 4*g, -2*o - 2 = -2*g for o.
1
Suppose -21 = -3*j - 6. Solve g = -j*o + 27, -3*g + 2*g + 7 = o for o.
5
Let k(f) = 4*f**3 - 2*f**2 + 2*f - 1. Let j be k(1). Suppose -j*z = -2*z - 3. Suppose -z*v = 8 - 23. Solve 0 = 4*s - n - 2 - 2, -v*n + 4 = 4*s for s.
1
Suppose -9 - 11 = -5*h. Suppose h*x = 6*x. Suppose -3*u - u + 16 = 0, 5*n = -4*u + 26. Solve x = 4*m - 4*o + 28, 4*o + 1 = -n*m + 5 for m.
-4
Let l be (20/12)/(2/6). Solve l*i - 11 = 4*b + 2*i, 2*b = -i + 7 for b.
1
Let y be 71/4 - (-4)/16. Solve -n - 3 = -5*k - 17, 5*k = 2*n - y for k.
-2
Let f = 19 + -14. Solve f*s = -m - 22, 4*m - 2 = -4*s + 2*s for m.
3
Let f be 14/(-10) - 4/(-10). Let o(v) = -10*v. Let m be o(2). Let n be f/(-1) - m/4. Solve -n*l = -5*u - l - 5, 3*u + l - 13 = 0 for u.
3
Let t = -19 - -18. Let q be (15/(-1) + -1)*t. Solve 2*x = 4*g - 2*g - q, -4*x - 12 = g for x.
-4
Let a be 5 + (-2 - -2) + 2. Let t(b) = -b**2 + 7*b + 6. Let h be t(a). Solve 2*u = -2*g, u + g + h = 3*u for u.
2
Suppose 0 = -5*y + 10 + 10. Solve -6*h - y*w - 5 = -h, 4*h - 17 = w for h.
3
Suppose -f = 5*j - 99, 0 = -5*j - 4*f - 0*f + 96. Suppose -v = 2*l - 8, -12*v - l = -13*v - 1. Solve -p + 4*w = -v*p + j, -4*p + 5 = w for p.
0
Let i = -17 + 20. Suppose -i*v + u = -5, 2 = u - 2. Solve 5*j - 2 = v*y - 11, y = j + 1 for j.
-3
Suppose 4*v + 50 = 6*v. Suppose 0 = k - 4*k - 15. Let t(n) = n**3 + 5*n**2 - 2*n - 5. Let z be t(k). Solve 0 = z*h - v, -19 = 3*w - 0*w - 2*h for w.
-3
Suppose -7 = -c + 15. Suppose -2*v = -0*v - 2. Let a be 2 - (v - -1) - -3. Solve 5*r - 20 = 3*b, 0*r + a*r = -5*b - c for b.
-5
Let d be (3 - 3)*(-2)/4. Solve 0 = 5*y + 25, -5*i - 20 = -d*i + 3*y for i.
-1
Let b(r) = 4*r - 6. Let h be b(7). Suppose -5*v = -x + 9, 5*x - 2*v - v - 45 = 0. Suppose x*m - 4*m = 90. Solve 2*d + m = 2*q + 3*q, -5*d = -q + h for d.
-4
Let s(b) = -2*b - 9. Let j be s(-6). Suppose 2 = -j*d + 11. Solve 0 = 4*w - 3*l + 2 - 0, -6 = -d*l for w.
1
Suppose 3*t = -4*r + 9, -3*r = -4*t + 6 + 6. Suppose -5*m = 5*q + 5, 3*q - 2 = 2*m - 4*m. Suppose r = a + q*a. Solve a = -5*p, -2 = -4*h + 3*h + 3*p for h.
2
Let f(z) = 2*z - 34. Let o be f(17). Solve 0 = -4*y + 3*w - 4, 0 = 2*w - o*w - 8 for y.
2
Suppose -2*q = -5*q. Solve -2*x = 3*d + 4, -d = -q*x - 3*x - 17 for d.
2
Let o(v) = -v**3 - 2*v**2 + 2*v + 1. Let h be o(-2). Let d be -1*h/(-6)*16. Let g = -4 - d. Solve -3*u = -4*q - 9, -q - g*u + 6 + 6 = 0 for q.
0
Let n(t) = t**2 + 4*t - 8. Suppose -2*b - 28 = -y - 11, 4*b - y = -29. Let l be n(b). Solve 2*o = 2*m - l, -5*o + 3*o + 3*m = 3 for o.
-3
Let w(d) = -2*d - 4. Let r be w(-8). Solve -2*g - 3*g = 5, 3*g = 3*v - r for v.
3
Let x(v) = v + 3. Let b be x(-3). Solve 3*d - 30 = -5*u - b*d, 3*u - 19 = -2*d for u.
3
Suppose 0 = -6*p - 9 + 9. Solve -y - 4*g - 18 = p, 5*g + 14 + 19 = 4*y for y.
2
Let x = 8 + -6. Suppose -2*f + 5*f = 0. Suppose 3 + f = m. Solve 5*v = -m*w - w - 10, -2*w = -x*v + 14 for v.
2
Let s(v) = -v + 13. Suppose 17 = 5*x - 28. Let c be s(x). Suppose -c*t + 10 = -2*t. Solve 3*b - l = -4*l, l + 30 = t*b for b.
5
Let r = -11 - -7. Let q = 8 + r. Solve 3*y - 16 = -5*i, 2*y + q*i = 7*y - 2 for y.
2
Let j = -14 - -16. Suppose k - 6*k = -2*z - 21, -8 = z - j*k. Solve -1 = 4*n - d, d + z - 3 = -2*n for n.
0
Let n = 78 + -55. Let j = n + -13. Let k = -7 + j. Solve 3*x = 4*d + 13, d + 4 = k*d + 2*x for d.
-1
Let t be 7/(14/4)*1. Suppose 0*b = 2*b - 6, 24 = 2*o + 4*b. Suppose -2*q - 4*k + 26 = 0, -3*k = -t*q + k - o. Solve 0*n + 45 = -q*n - 4*f, n + 30 = -5*f for n.
-5
Let a = 12 - 8. Solve 4*q - 37 = -5*y, -5*q + 10 = -a*y + 3*y for q.
3
Suppose -3*p + 2*p = 13. Let o = p + 9. Let d = -2 - o. Solve r + 4*v + v + 17 = 0, 4*r - 2*v = -d for r.
-2
Let g(o) = -o. Let b(c) = -c + 1. Let p(f) = b(f) - 2*g(f). Let v be p(4). Solve 1 = -2*l + 5*l - x, 4*l - 14 = -v*x for l.
1
Let c be -1 + (9 - 0) + 0. Suppose -c*o - 14 = -10*o. Solve 2*k + 3*u = -7, 3*u = -o*k + 3*k - 11 for k.
-2
Let v(c) = c**3 - 3*c**2 - 5*c + 6. Let z be v(4). Solve -d - 1 = x + z, 3*x = 5*d + 15 for x.
0
Suppose 4*r = k + 10, 4*k = 3*r + 1 + 11. Let b = 8 - k. Suppose 5*x = 2*m - 22, -2 = -3*m - 5*x + 6. Solve 4*c - m = b*a, 5*c - a + 6*a = 0 for c.
1
Let m = 0 - -4. Suppose -4*f = 4*t - m, -3*f - 19 - 20 = -4*t. Solve 3*q + 10 = 4*n, 2*n - 3*q = t*n + 2 for n.
1
Let w be (24/(-18))/((-2)/60). Solve -6*n = -2*n + 12, w = -5*i - 5*n for i.
-5
Let g be (-1 - -9)*-3*4/(-24). Solve 4*s - 4*a + 10 = 2*s, s + a = g for s.
1
Let i = -10 + 10. Suppose 0 = u - i*u - 12. Solve -x + u = -3*f, 2*x + 4 + 2 = 0 for f.
-5
Let v(n) be the first derivative of -5*n**2 - 1. Let y be v(-3). Solve -4*f - 7 = s + 8, 5*f - s = -y for f.
-5
Let u = -6 + 10. Suppose 6 = -2*g - g, 5*g - 10 = -u*f. Let t = -15 + 20. Solve -t*w = -5*v + 10, -f*v + 2 = 4*w - 17 for v.
3
Let l(n) be the third derivative of -n**6/120 + n**5/20 + 5*n**4/24 + n**3/3 + 2*n**2. Let t be l(4). Solve m - 18 + t = 2*c, -m = -3*c - 16 for c.
-4
Let a = -5 - -10. Suppose 26*j - 14*j = 5*j. Solve j*y - 3*h + 15 = 5*y, a*y - 15 = 4*h for y.
3
Let r(n) = -6*n**3 - 1. Suppose -5*l + y - 4*y + 4 = 0, 4*y = 12. Let p be r(l). Solve -p*j = f + f + 1, -5*f = -5*j - 15 for f.
2
Let j be (-8)/(-28) - 116/14. Let d = j - -12. Suppose -5*q + 46 = x, q + d*x + 3 = -3. Solve -4*h = 2*t - 0*t - q, 5*t = -3*h - 3 for t.
-3
Let u be (2/(-4))/(4/16). Let j = u + 4. Solve -d - 2*f - 10 = 0, -j*f + f + 1 = -d for d.
-4
Suppose x = 2, 0 = 5*h - 2*h + 4*x - 17. Solve -4*p - 4 - 7 = 3*g, -g + 5 = -h*p for g.
-1
Let o = 37 + -23. Solve -b - k + 4 = 0, -5*b - 3*k = -k - o for b.
2
Suppose -5*m - 15 = 3*q + q, 0 = -2*q - 3*m - 9. Solve 4*o + 5*t + 20 + 1 = 0, q = -2*o - 4*t - 18 for o.
1
Suppose 0 = -r + 3*r - 8. Solve 0 = -f - 2*f + j + 4, 2 = 5*f - r*j for f.
2
Let y be -2*(3 - (-8)/(-2)). Suppose y*w + 0*h = -h + 10, 2*w + 4*h - 16 = 0. Let q = -9 - -19. Solve -n + 0*n + 15 = -5*i, 0 = -5*i - w*n + q for i.
-2
Let r(k) = k - 2. Let b be r(5). Let j(q) = q**3 - 3*q**2 + 2*