 5 for y.
2
Suppose 3 = 3*u - 0. Let k be 12 + (1*-2)/u. Suppose 6 = 3*g - 3, -2*g - k = -2*v. Solve v = -4*y - 4 for y.
-3
Suppose 3*t = -2*d + 82, 0 = -4*t - d - 2*d + 111. Let a = -20 + t. Solve 10 = -3*s + a for s.
-2
Let b be (0 - 0)/(-1 + -1). Solve -2*x + b*x - 4 = 0 for x.
-2
Suppose -y + 0*y = t - 5, 25 = -4*t + 5*y. Suppose 4*o - 7 - 1 = t. Let p be 2*(2 - (-2 + o)). Solve -4 = 4*a + p for a.
-2
Let m(y) = -y + 9. Let x = -9 + 17. Let a be m(x). Solve 0*j - a = -j for j.
1
Suppose 0*f = -4*f + 5*y - 19, 5*f + 26 = 4*y. Let h(m) = -2*m + 12. Let q be h(5). Let u = q - f. Solve -4*a = -2*a - u for a.
4
Let v be (-3)/(-3)*-10*12/(-30). Solve 5*m - 9*m + v = 0 for m.
1
Let c(w) be the third derivative of -w**4/8 - w**3 - 4*w**2. Let a be c(-4). Let r be ((-1)/2)/(2/(-12)). Solve -6 = -r*b + a for b.
4
Suppose 3*x + 4*v = -0*v + 4, 0 = 5*v - 20. Let k = 8 + x. Solve 27 - 11 = -k*q for q.
-4
Let h be 9/3 + 4 + -2. Suppose 2*k - h*k + 9 = 0. Solve -k*a + 7*a = -20 for a.
-5
Let v = -8 - -13. Suppose 34 - 4 = v*n. Solve -2*q = -n*q for q.
0
Suppose 5*f + 9 = h, 0 = h - 4*h + f + 13. Suppose h*a = 3*a + 2. Solve -v - 4 = -a*v for v.
4
Suppose 7 = 4*n - 13. Solve 3*r = 4*r + n for r.
-5
Suppose 3*c = -4*z - 12, 0 = -0*c - c - 4. Solve z*h = -4*h - 8 for h.
-2
Let l(q) = -q + 10. Let a = -1 - -9. Let g be l(a). Let p = 1 + g. Solve -p = h - 4 for h.
1
Let i(s) = -5*s**2 + 7 - 1 + 4*s**2 + s**3 - s. Let c be i(0). Let a be (-4 - -10)*2/c. Solve 0*n = a*n + 10 for n.
-5
Let n(a) = -a + 1. Let z be n(-3). Suppose -k + 400 = -5*c, 5*c - 3*k + 378 = -12. Let d be c/(-5) - (-2)/(-10). Solve 0*i = -z*i + d for i.
4
Suppose -13*h + 2*h = -44. Let c(u) = u. Let r be c(3). Solve h = -f + r for f.
-1
Suppose 4*u = -10 + 2. Let r be 3/u*(-6 - -4). Let a(h) = h**3 + 4*h**2 + 3*h. Let i be a(-3). Solve i = r*b - 2 - 7 for b.
3
Let h(m) = -m**3 + 3*m**2 - 2. Let t be h(2). Solve x - t*x = 0 for x.
0
Let j = 1 - 0. Suppose 0 = 2*b - j + 13. Let q = -4 - b. Solve 9 = -q*z - 1 for z.
-5
Suppose -2*t + t + 2 = 0. Suppose 2*s + l = -t - 0, 6 = -2*s - 3*l. Solve -3*g + 6 + 3 = s for g.
3
Suppose 4*l = 8, -4*j = 3*l + l - 104. Solve 1 + j = 5*z for z.
5
Suppose -4*l = -3 - 13. Solve 0*u = l*u - 16 for u.
4
Let g = 43 + -40. Solve o + 0*o = g for o.
3
Suppose -2*g = -4*g. Let i be (-6 - -3) + 3 + g. Solve 0 = -4*m - i*m + 20 for m.
5
Let k(x) = -4*x. Let r(q) = -3*q. Let z(n) = 2*k(n) - 3*r(n). Let a be z(0). Solve a*t = -4*t + 12 for t.
3
Let k(s) = -s**2 - 3*s. Let h be k(-3). Solve -j - 1 = -h for j.
-1
Let i(k) = k**2 + 2*k + 2. Suppose -2*m - 6 = -0*m. Let h be i(m). Solve -5 = -2*v + h for v.
5
Suppose -4*i = -i. Solve 5*s + 5 = -i for s.
-1
Let c(m) = m**2 - 9*m + 2. Let w be c(9). Let b be 8/(-24) + w/6. Suppose 3*k = k + 4. Solve b = k*n - 8 for n.
4
Suppose 8 = c + 4. Solve 0 = -7*s + c*s for s.
0
Suppose 1 = 3*l - 11. Let i = 0 + l. Solve -s = i + 1 for s.
-5
Let x(v) = -v + 5. Let d(c) = c - 9. Let z(o) = 4*d(o) + 7*x(o). Let h(k) = -k**2 + 5*k - 2. Let b be h(5). Let r be z(b). Solve r - 4 = i for i.
1
Let b = -5 + -4. Let x = -6 - b. Solve -2*q + 3*q + x = 0 for q.
-3
Suppose -2*y + 14 = -10. Suppose 0*q - y = -4*q. Solve -13 + 1 = -q*k for k.
4
Let v(u) = -1 + 2*u**2 - u - u**2 + 7. Let k be v(0). Let g(c) = -c**2 - 8*c + 3. Let w be g(-8). Solve -3*z = -w - k for z.
3
Let j(s) = s**2 + 9*s - 2. Let u = -27 + 17. Let c be j(u). Suppose 0 = a - 3*a. Solve 6*k - 2*k - c = a for k.
2
Suppose -2*d + 3*g = 59, -5*d - g - 139 = 17. Let n = 53 + d. Let k = 50 - n. Solve 0 = -4*m + 8 - k for m.
-5
Let o(u) = u**2 - 5*u + 2. Let x be o(5). Let p be (3/9)/(0 + (-2)/(-18)). Solve -y - p = -x for y.
-1
Suppose 2*p - 4*c - c + 9 = 0, 0 = -c + 3. Solve 0 = -2*n - p*n - 15 for n.
-3
Let c = -4 - -18. Solve 1 = 3*x - c for x.
5
Suppose 3*i = -4*r + 9, -2*i + 6 = -3*r - r. Solve r = -8*c + 12*c + 8 for c.
-2
Let a be ((-1)/4)/((-405)/80 + 5). Solve -a*f = 4 - 8 for f.
1
Let z = -13 - -15. Solve 0 = z*p + 3*p - 5 for p.
1
Let r be -7 - (-3 - 1) - -7. Solve -2 = -r*n + 2 for n.
1
Suppose 10*r - 6*r = -36. Let t(p) = p + 12. Let g be t(r). Solve -4*o + g = -o for o.
1
Let g be (2 - (-9)/(-6))*4. Let h = -2 - -4. Suppose -3*y + 3*q + h = -13, -3*q - 15 = -2*y. Solve -g*c + y - 2 = 0 for c.
-1
Let j(a) = a**2 + 2*a - 3. Let s be j(-3). Solve -p + 3*p = s for p.
0
Let n be (-1)/(1/(-14))*1. Let u = n - 10. Let m(o) = -o - 2. Let i be m(-2). Solve i = -9*q + u*q for q.
0
Let f = -7 - 3. Let z be 10/25 - 26/f. Suppose z*b - 3 - 9 = 0. Solve -5*k = 6 + b for k.
-2
Let m be 0*-2*(-1)/(-4). Suppose 0 = -m*t - 3*t - 3. Let i = 1 - t. Solve a + i = -a for a.
-1
Let s = -34 - -37. Solve 0 = 4*v - v + s for v.
-1
Suppose 3*u + u + 3*y = 35, 0 = u + 2*y - 15. Solve u*j - 4 = 6*j for j.
-4
Suppose 5*s + s - 24 = 0. Solve 4*u + 12 = s for u.
-2
Let g(b) = 2*b**2 - 4*b - 6. Let h be g(5). Let i = -24 + h. Solve -4*s = -i*s for s.
0
Let j be (-3)/5 - (-8)/5. Solve 4 - j = 3*q for q.
1
Let i(d) = d**2 - 2*d + 4. Suppose 2*p - 6*p + 16 = 0. Let u be i(p). Let f be 4/(-6) - (-8)/u. Solve 5*r = 5 - f for r.
1
Let l = 25 - 18. Solve -l = 2*g - 1 for g.
-3
Suppose -6 = 3*g + 3*u, 4*g + 10 + 5 = 3*u. Let l be 0/(9/g - -4). Solve l = -3*p + 2 - 11 for p.
-3
Let g be (-64)/(-12) - 2/6 - 3. Solve 0*u - g*u = 2 for u.
-1
Let n = -10 + 12. Suppose s - 13 = -2*s + d, -2*s + 4*d = -n. Solve s*j = 3*j - 4 for j.
-2
Suppose 4*y - 7*y = 0. Solve y = -0*i - 2*i for i.
0
Let c(r) = r**2 - 4. Let q be c(-3). Suppose g - 2*n + 0*n - q = 0, 2*g - 3*n = 9. Solve g - 9 = -3*l for l.
2
Let p be 3/3 + 0 - -3. Suppose 0*g + 16 = p*g. Suppose g*v + 0*v - 24 = 0. Solve v = 3*z - 9 for z.
5
Let s be 3 + 2*9/(-6). Let q be (0 + -31)/(-1 + s). Solve -5*x + q = 11 for x.
4
Let x be (-6)/15 + 2/5. Suppose -3*o + x*o = 0. Let g(i) = -i**2 - i + 10. Let u be g(0). Solve -2*h + u + 0 = o for h.
5
Suppose -32 = -5*j + 4*r, 2*j + r + 1 = -2*r. Solve -w + j = w for w.
2
Let p be (-88)/(-14) + (-4)/14. Solve 5*m - 9 - p = 0 for m.
3
Suppose -4*h = -2*a - 0 - 4, -3*h - 5*a + 3 = 0. Solve -y - h = 4 for y.
-5
Suppose 4*r - 16 = 2*s, -3*r + s = -4*r - 2. Suppose -3*y = r*c - 9, -3*c + 2*c = 5*y - 15. Solve 5*u + 1 - 6 = c for u.
1
Suppose -4*z - 1 + 5 = 4*v, 4*v + 5 = -z. Let g = -2 + z. Solve -q = -g - 1 for q.
2
Let y = -28 - -31. Solve 4*u + 4 = y*u for u.
-4
Suppose 16*b - 48 + 0 = 0. Solve -b - 1 = 4*d for d.
-1
Let g(u) = u + 7. Let r be g(-5). Solve -20 = -2*d - r*d for d.
5
Suppose 2*y - 4*v - 24 = 0, 0 = 4*y + 2*v - 5*v - 28. Solve 4*i + y = -4 for i.
-2
Let b(j) = -5*j + 1. Let i be b(1). Let h = 9 + i. Let t be 3/(-3)*(-4 - 1). Solve -h*n + 0 = t for n.
-1
Let i = 18 + -14. Suppose -8 = 2*u - i*u. Solve u - 24 = 5*z for z.
-4
Let f(s) = s**2 + 1. Let d be f(2). Suppose -p + 4*p = -5*a + 25, -5*p - d*a = -35. Suppose -l + 11 = -5*z - 12, 0 = -4*l - 2*z + 4. Solve -l*n - 4 = p for n.
-3
Let j be (0/11)/(3 - 1). Suppose j*p + p = 2. Solve p = n + 3 for n.
-1
Let z = 83 + -82. Solve z + 3 = -4*v for v.
-1
Let k = -29 - -20. Let o be k/3*-1 + 0. Suppose o = 2*u - 13. Solve u = 4*x - 8 for x.
4
Suppose 22 = 5*a - 3*o, 2*o = 3*a - 2*o - 11. Suppose 4*j - 8 = 2*j, -2*j = b - 12. Suppose b*z + g = 0, 0 = 3*z - z + 2*g. Solve z = 3*c + 17 - a for c.
-4
Suppose -2*s + 22 = -52. Suppose 15 = -5*q, -4*l + s = -4*q + 5. Solve 0 = l*m - 0 - 5 for m.
1
Let j(c) = -12*c. Let q = 3 - 4. Let n be j(q). Solve 0 = 3*k + 3 + n for k.
-5
Let u be 5*1 + -1 + -23 + 25. Solve -5*n = -4 - u for n.
2
Let k(x) = 2*x - 13. Let a be k(9). Solve -a*u = -3*u for u.
0
Suppose 4*v + 3*d - 27 = 2*d, 2*v = -2*d + 18. Solve -h = h - v for h.
3
Let i be (3/9)/((-2)/(-18)). Suppose 0 = -0*c - i*c. Suppose 2 = g - c*g. Solve -g*t = -t for t.
0
Let y be -8*(3 + 28/(-8)) - 1. Solve y*i - 8*i = 20 for i.
-4
Let k(x) = x**2 + 4*x - 16. Let p be k(-7). Solve p = -3*d + 2*d for d.
-5
Suppose 0 = -2*k - 3*n + 25, k + 5*n = -k + 31. Solve 2*t - k = 2 for t.
5
Let b = 18 + -11. Solve -5 - b = -3*r for r.
4
Let i(y) = y**3 - 11*y**2 - 13*y + 14. Let k be i(12). Solve 3 = -r + k*r for r.
3
Let t(s) = s**3 - 8*s**2 + 8*s - 6. Let p be t(7). Suppose 5*y - 10 = -5*a, -7*y + 8 = -3*y - 5*a. Solve -1 = y*u + p for u.
-1
Suppose 0 = 5*r - 4*x - 15, -2*x + 1 + 14 = 5*r. Sol