4 for y.
-3
Suppose -9*h + 12*h = 21. Suppose h*b - 5*b - 6 = 0. Solve -4*r + 8 = b*l + 24, 7 = -2*l + r for l.
-4
Let g(a) = 8 + 5 - a**3 + 2 - 11*a**2 + a + 1. Let i be 114/(-10) - 12/(-30). Let c be g(i). Solve -4*k - 6 = -5*r - 33, 2*r + c*k = 9 for r.
-3
Let m be (-24)/(-2)*(-3)/2. Let j = m - -18. Suppose -3*x + j = -6. Solve x*k = -4*w - k - 5, 0 = w + 4*k - 15 for w.
-5
Suppose n = v + 7, 4*n + 3*v = 6*n - 11. Let m = 2 + 0. Solve 13 = -4*q - h, -m*q + 4*h + 6 = -n for q.
-2
Suppose 4*q - 2 = 4*i - 10, 0 = 2*i - 10. Solve 0 = -0*j - j - 2*v - 2, 5*j = 3*v + q for j.
0
Suppose 2*d + 2*s = -8, 7*s - 2*s = -25. Suppose 4*u = -12, -7 = -5*c + u + d. Solve 3*n = i + 10, i + c = n - 1 for n.
4
Suppose -39*t + 43*t = 8. Solve t*u = -p - 3*p - 8, -23 = -4*u + 5*p for u.
2
Suppose 80*n = 63*n + 119. Solve 4*h = 4*b - 6*b - 14, 5*b = 4*h + n for b.
-1
Let i = 6 + -2. Let s = 12 - 26. Let r = 16 + s. Solve -i*g = -4, -5*a + r*g + g = 3 for a.
0
Let o be 8 - ((1 - 0) + 4). Let k = 2 + 1. Let r be (12/2)/(1*(1 - -1)). Solve -3*p = -2*g - g + k, r = o*g for p.
0
Let s(b) = b - 1. Let o be s(1). Let k = -3183 + 3185. Solve -6 = 4*v + 2*r, o = r + k - 3 for v.
-2
Suppose 0 = v - 3*v + 4*z - 18, 0 = -5*v + 2*z - 5. Solve -p + 2*j - v + 11 = 0, -2*p + 8 = -j for p.
2
Suppose -6*i - 7*i = 2*i. Solve -2*f + 0*l - l = 1, -3*f - l = i for f.
1
Suppose -15*o = 7*o - 154. Solve -2*x - 2*a = a + 17, -a - o = 2*x for x.
-1
Suppose 5*w + 55 = 5*k, -20 = 4*k - 9*k - 2*w. Suppose -8*v = -k*v - 8. Solve 4*z + 2 = -5*h, 0*h = 3*h + 5*z - v for h.
-2
Let j be -4 + 6 - (-1 - 2). Solve j*v - z + 21 = -5*z, -2*v - 5 = 5*z for v.
-5
Suppose -s = -a - 1, 0 = -3*s - 0*s - 4*a - 4. Solve -3*k + h = 15, s = 4*k + h + 8 + 12 for k.
-5
Let y(l) = 2*l + 6. Let k be y(1). Suppose -4*u + 58 = 4*x - 6*u, 0 = 5*x + 5*u - 35. Suppose k - x = -v. Solve -5*w - 5 = -3*f - 0*f, v*w + 41 = -5*f for w.
-4
Suppose w + 3 = 0, -42 = -a + 5*w - 22. Solve 3*b - z = 7, b + a*z = 12 + 1 for b.
3
Let x be (-3 - (1 - 9)) + (2 - -2). Solve 2 = -0*d + 4*d + 3*n, 3*n = 3*d + x for d.
-1
Let a(u) = -3*u + 1. Let m be a(-8). Let z = 216 + -214. Solve -2*d = -4, -3*x = -3*d - z*d + m for x.
-5
Let c be (-1 + -1)/((-1)/(-38)). Let w = -57 - c. Let j be (3 + -1)/(4/6). Solve j*y = 4*m, -2*y + 6*y = -m - w for y.
-4
Let j(f) = 7*f + 20. Let q be j(1). Solve x - 2*u - 3*u + q = 0, -4*u = -4*x - 28 for x.
-2
Suppose -67 = -5*b + 93. Let z = b - 27. Solve -4*w + 4*s = 0, z*w - 2*w - s = -4 for w.
-2
Let n(y) be the third derivative of y**5/60 - y**4/24 - 11*y**3/6 + 5*y**2. Let p be n(0). Let q = p - -16. Solve -q*z - 3*x = x - 30, -4*z = -2*x + 2 for z.
2
Suppose 7*z + 47*z = 0. Solve -i + 5*m + 2 - 1 = z, 4*i - 5*m = 4 for i.
1
Suppose 4 = 4*u - 12. Let j(p) = -5*p + 4. Let b be j(u). Let a = b - -30. Solve -4*t + a = -0*t - 2*v, -2*v = 5*t - 13 for t.
3
Let w = 3 - 1. Let h = -2 - w. Let s = 2 - h. Solve 2*m - 21 = j - s*j, 5*j = 3*m + 6 for m.
3
Let w(b) = b**2 - 4*b + 8. Let h be w(-8). Suppose -5*q + h = -q. Suppose 0 = -2*d - 2*j + q, 3*d - d + 5*j = 20. Solve 3*a + 0*a = -5*g + d, g = a + 3 for a.
0
Suppose 5*f - 4*d = 2, f + 0*d + 3*d = 8. Suppose -34 = -f*m - 4*z, 3*z + z = m - 29. Solve -3*r - 6 = 2*p, m = -3*r + 2*p + p for r.
-4
Let m = -7 + 10. Suppose m*x - 3*w = 0, -2*x + 3*x = -2*w + 6. Solve -2 = 5*s + x*c, -s = 5*c - 16 - 2 for s.
-2
Suppose -n - 15 = -18. Suppose 10*c + b + 16 = 14*c, -3 = n*c + 3*b. Solve 2*t = -2*w + 8, 7*t = 4*w + c*t - 8 for w.
3
Suppose 0 = 4*d - 33 - 15. Let s be 9*(d/(-16))/((-9)/8). Let z(r) = -2*r - 1. Let j be z(-3). Solve -5*p = j*x, -3*x + s*x - 2*p = 25 for x.
5
Let s(q) = -q + 6. Suppose -l + 1 = -1. Suppose l*z - 3*z = 0. Let p be s(z). Solve -2*h + 0*u - 5*u + 4 = 0, p = 3*h + 3*u for h.
2
Let u = -16 - -26. Let s = -10 - 4. Let a = s + 14. Solve a = -5*l + 5*t - u, 8*l + 5*t = 3*l for l.
-1
Let v = -11 + 13. Suppose v*y = -0*y - 8. Let z be 2/(0 - 2/y). Solve 3*i + z*x + 26 = 0, 30 = -2*i - 3*i - 4*x for i.
-2
Suppose m + 5*r + 3 = 0, -r + 29 = -3*m + 4. Let d = 2 - m. Solve -c - 9 = 4*w, -2*w + d = -3*c + 3*w for c.
-5
Let x = -18 + 12. Let a(d) = d**3 + 7*d**2 + 4*d - 10. Let q be a(x). Solve 0 = -3*w + 2*f - 6, q*w - 3*f = -0*f - 4 for w.
-2
Let t = 1 - -10. Suppose 56 = t*p + 3*p. Solve 0 = -4*w + p*c + c - 26, 3*w - 2*c = -16 for w.
-4
Suppose 3*v + 3*b - 16 = -2*v, -10 = v + 5*b. Solve -v*u = -2*h + 31 - 7, 8 = -2*u for h.
2
Suppose -2*j = -4*j + 2. Let p = 13 - j. Suppose 4*s + 2*s = p. Solve -s*f - a - 23 = 2*f, 13 = -2*f - a for f.
-5
Suppose -35*u - 2*p - 10 = -39*u, -3*u - 4*p = -13. Solve -3*a - 3 = i, -3*i - 9 = 2*a - u*a for i.
-3
Let k(o) = -o**3 - 31*o**2 - 130*o + 5. Let s be k(-26). Solve 5*q + 11 = -3*t, s*q + 7 = -2*t - 7 for q.
-4
Let b = -29 - -72. Let q = b + -22. Suppose 10 = 26*o - q*o. Solve 0 = 5*m + o*g - 5, -5*g + 3 = 2*m + 1 for m.
1
Suppose -w + 8 = 3*b, 0*w = -2*w + 4. Solve x + b*n + 4 = 0, -3*n - 2*n = 15 for x.
2
Let h(c) = -c - 9. Let l be h(10). Let v be (-2)/(-4) - 29/2. Let p = v - l. Solve 25 = 3*r + 2*r, 0 = -2*g - p*r + 35 for g.
5
Let l(a) be the third derivative of a**4/24 - 7*a**3/3 + 10*a**2. Let y be l(19). Solve y*u = 5*b - 15, -3*u - 6 = -4*b + 8 for b.
5
Let n = -123 + 141. Suppose -o = -7*o + n. Solve 0*f = 4*f + 12, 0 = 3*b - o*f for b.
-3
Let o(z) = -6*z**3 - 4*z - 2. Let c be o(-2). Let x = c + -50. Solve 3*s = 4*y - y - 15, 2*y = -x*s - 14 for y.
1
Let i = 17 + -13. Suppose 0*g + i*g - 12 = 2*h, 4*h + 14 = 3*g. Let d be 7/g + (-1)/2. Solve d = b - 3*o, -3*b + o = -7*b - 1 for b.
0
Suppose -3*r - 4*j = -54, r + 2*r + 2*j - 54 = 0. Solve 5*l = -2*b - r, -2*b = -5*l + b - 23 for l.
-4
Let t(l) = -4*l**2 + 3*l - 2. Let v be t(2). Let h be 2*2/(v/(-21)) + -3. Solve -7 = -3*u - 0*m + 2*m, -3*u - h*m = 5 for u.
1
Suppose 3*r + 84 = 99. Solve -6*j - 1 = -8*j - r*t, 5*j + 5 = -5*t for j.
-2
Suppose -3*q + 147 = -6*k + 3*k, -4*k = -2*q + 202. Let i be (-4)/26 - 8/k. Solve i = -x - 2*v - 1, 0 = 4*x - 0*x + 5*v + 10 for x.
-5
Let c be 0/((-1)/((-3)/(-6))). Solve c = -2*n - 2*p - 14, 2*n - 5*n = p + 11 for n.
-2
Let n(q) = -5*q + 2 - 2*q + q - q**3 - 6*q**2 + q. Let o be n(-5). Solve 8 = o*k + 2*y, 6*k + 20 = k + 5*y for k.
0
Let u = -56 - -58. Solve -3*y = 3*p + 4 + u, 5*p - 5*y = 0 for p.
-1
Let c be 4 - 6/(8 + -2). Solve 2*w = 6, -27 = c*v - 4*w - 6 for v.
-3
Suppose -4*f + 8*z + 313 = 3*z, 2*f = -2*z + 134. Suppose -6*q = 30 - f. Solve 0 = -u - 5*y - 2, -3*u + q*y - 4*y = -12 for u.
3
Suppose -5*n = 2*u - 29, 3*n - 101 = -5*u - 0*u. Suppose 7 - u = -5*t. Solve 0*x = -5*x + s + 1, -5*x + 3*s + t = 0 for x.
0
Suppose -20*o + 59 + 1 = 0. Solve 4 = 2*y - 2*k - 4, o*y - 13 = 4*k for y.
3
Let z(l) = l**3 + 10*l**2 + 9*l + 14. Let h be z(-4). Suppose -5*x - 49 = -h. Solve 4*d = 2*a - 4, d - 36 = -x*a - 15 for a.
4
Suppose 7*w = 8*w - 6. Let g be (-9)/w - 21/(-6). Solve 3*i + h = g, 5*h + 9 = 2*i - 15 for i.
2
Let i be -3 - (-2 - 20/(-16))*4. Solve b = -5*w + w + 1, i = 5*w + 2*b + 1 for w.
1
Suppose -24*b + 40 = -16*b. Solve 0 = b*t - 2*r + 31, -3*t - r + 6 = 18 for t.
-5
Let u be 18/4 - 1/2. Let o be 336/36*(-6)/(-4). Suppose 5*r + u*p = -6, -5*r + 0*p + o = -p. Solve 4*w - r*g + 26 - 6 = 0, 2*w = -g - 2 for w.
-3
Let o be 15/(-2)*(-84)/35. Suppose 6*s - o = -0*s. Solve -f - 2*g = s, 0 = -f - 3*g - 2*g for f.
-5
Suppose 8*o - 5 = 7*o - i, -3*o = -2*i. Solve 3*y - o*x + 8 = 0, 9*y = 8*y - 2*x - 8 for y.
-4
Let r = 68 + -48. Let l(w) = w**2 - 19*w + 9. Let d be l(r). Solve 11 = q - 2*a, q + d = 4*q - 5*a for q.
3
Let i = -14 - -14. Let n be i/1 + -1 + (0 - -29). Solve 3*d = -2*p - 20, 2*d + 0 = -5*p - n for p.
-4
Suppose 2*z - 11 = 27. Suppose 5*q - z + 4 = 0. Let x = 38 - 38. Solve p = -p + 8, -q*j + 2*p - 20 = x for j.
-4
Let q(z) be the third derivative of -z**4/24 - 5*z**3/3 - 5*z**2. Let x be q(0). Let c be (-25)/x*(3 + -1). Solve 16 = -4*m - 4*b + 5*b, 4*m + 16 = c*b for m.
-4
Let g = 138 - 134. Solve 5*i = -g*b - 45, -5*b - i = 6 + 24 for b.
-5
Suppose 2*b + 7 = 3*k - 28, b + 25 = 2*k. Solve -4*u + 2*r = u - 15, 0 = 5*u + 2*r - k for u.
3
Let p be (3/6)/(((-1)/6)/(-1)). Suppose -p = 7*f - 8*f. Solve v - 6 = 3*m, f*m - 2 = 2*m - v for m.
-1
Let c be ((-70)/7 + 8)*(-2)/4. Solve 5*t + 15 = -5*g, 0 = -t - c - 2