*y for y.
2
Let g = 47 + -34. Let f = 32 - 40. Let o = g + f. Solve 0 = -3*l - 2*l + o for l.
1
Let q = -7 + 15. Suppose q = -5*v + 23. Suppose -4*c = -5*a - 19, -2*c - 4*a = 3 - 19. Solve c*t = v*t + 15 for t.
5
Let l = -17 - -22. Suppose 2*f + 7*s = 3*s + 24, -5*f - 3*s + 53 = 0. Suppose -5*o - 20 = 5*y, -4*y - f = -2*y. Solve -o + l = i for i.
4
Suppose 5*n - k = -27 - 13, 0 = 5*k. Let r = 8 + n. Solve -4*h + 6 - 2 = r for h.
1
Let a(q) be the third derivative of q**5/60 - q**4/24 - q**3/6 + q**2. Let w be a(-1). Solve -2*b = w + 1 for b.
-1
Let s be (-282)/(-54) - 4/18. Solve 0 = z - s*z + 8 for z.
2
Suppose -4*n = -19 - 1. Suppose x + 8 = -0*x - n*g, -x = 2*g + 2. Solve 0 = -x*s + 6*s for s.
0
Suppose 16 = -2*t - 4*g, 0 = 3*t + 4*g + 16 - 2. Suppose 0 = h + l - 4, -h - 6 - t = -5*l. Solve 3*n = 8 - h for n.
2
Let s(l) = l + 1. Let x be s(2). Suppose -x*d + 6 = -d. Let o(g) = g + 6. Let h be o(-6). Solve 3*t + d = -h*t for t.
-1
Suppose -13*m - 16 = -17*m. Solve 2 = m*l + 6 for l.
-1
Let c(d) = d**2 - d + 1. Let n be c(0). Suppose -3*s + s + 40 = 4*f, 2*s = -5*f + 51. Solve 0 = 4*y - n - f for y.
3
Suppose 10*o - 36 = -2*a + 5*o, -4*o + 40 = 3*a. Suppose 5*n + 1 = b + a, 2*b + 5*n = 16. Solve -b*m = -0*m for m.
0
Let l = -8 + 12. Solve 0 = -l*z - 1 - 7 for z.
-2
Let r(b) = 2*b - 6. Let j be r(6). Suppose 194 - 173 = 7*u. Solve -u*n + 3 + j = 0 for n.
3
Let h be 10/(-15) + 19/(-3). Let p = -3 - h. Solve -3*q - p = -1 for q.
-1
Let p = 8 - -3. Suppose 15 - p = f. Solve v + f*v = -5 for v.
-1
Let k = 7 + -5. Suppose 0 = -2*n + h + 16, k*n - 4*n - 2*h + 10 = 0. Let o = 0 + n. Solve -o*u - 10 = -2*u for u.
-2
Let g(x) = x**2 - 13*x + 12. Let f be g(12). Let t be (f - (-2)/(-2))*-5. Solve -15 = -5*z + t for z.
4
Let v = -8 + 12. Solve -v*u - 1 = 3 for u.
-1
Let v(y) = -y - 3. Let h be (9/4)/(3/(-12)). Let k = h + 3. Let i be v(k). Solve i*u = 2*u for u.
0
Let d be (12/15)/(4/10). Suppose 0 = z - d*z + 2, -j - 8 = -5*z. Solve j*t = 1 + 1 for t.
1
Let v be -9*(16/6)/(-4). Suppose -p - 3 = -v. Solve 0 = -p*h + 1 - 4 for h.
-1
Let y(v) = v**2 - 13*v - 2. Let s be y(14). Solve -2*h + 4 - s = 0 for h.
-4
Let v(x) = -x**3 + 10*x**2 - 7*x - 3. Let k be v(9). Suppose -5 + 3 = -t. Solve 5*c - t*c = -k for c.
-5
Let f be 2/13 - (-14)/(-91). Let q be (-2)/(-1)*10/4. Suppose -q*w = -r - 8 - 5, -15 = -r - 2*w. Solve 2*t + 1 - r = f for t.
3
Let b = 5 + 5. Solve -3*t + b = -5*t for t.
-5
Let t = -7 + 18. Solve 5*z = 4 + t for z.
3
Let y = -35 - -39. Solve u + y + 1 = 0 for u.
-5
Let d be ((-15)/(-12))/((-2)/(-8)). Suppose d*t = 19 + 11. Let b = -2 + t. Solve 3 = -j + b for j.
1
Let h be 10/(-55) + 9/(-11). Let l = h + 1. Suppose -4*u = -q - 5, -3*q = -4*u - l*q + 15. Solve 3*s + s + 12 = u for s.
-3
Let b = 19 - -14. Suppose -5*z + b = 8. Suppose 0 = z*x - 4*x. Solve 5*n - n + 12 = x for n.
-3
Suppose 6*f = 4*f + 12. Let c = f - -1. Solve c = -2*t - 1 for t.
-4
Suppose -u = 5*q - 9 - 14, 4*q - 3*u = 26. Solve 3*l - 14 = -q for l.
3
Suppose -4*k + 86 = -4*f + 3*f, 4*k - 90 = -f. Let i = k - 14. Let h = -3 + i. Solve -4*l = -h*l for l.
0
Let t = 34 - 33. Solve 3*d - 2 = t for d.
1
Let i(c) = -c**2. Let b(v) = -4*v**2 + 13*v - 10. Let g(t) = b(t) - 3*i(t). Let k be g(8). Let u be (30/5)/(3/2). Solve -u*d - 10 = -k for d.
5
Let u(p) = p**3 - 16*p**2 + 13*p + 33. Let y be u(15). Solve -y*w - 16 = w for w.
-4
Let c be 4/(-24) - 158/(-12). Let b = -13 + c. Solve b = -5*r + r + 4 for r.
1
Suppose 0 = 2*c + 2*v - v + 16, -5*v = c + 17. Let n = c + 9. Let p be -3 - (2/n - 6). Solve -3 = k - p for k.
-1
Let i = -3 - -4. Let h be (i - -2)/3 - 5. Let z be 1/h - 125/(-20). Solve 0 = 3*j - z for j.
2
Suppose -5*m = 4*l + 20, -5*l = -2*l + 15. Suppose 3*r - 7 - 5 = m. Suppose 0*w - 13 = -3*v - w, -5*v + 24 = r*w. Solve v*c = 4 + 4 for c.
2
Let n = -14 + 16. Suppose j = -j. Solve j*z = -z + n for z.
2
Let i be (35 - -1)/(3/10). Suppose -3*r - 2*a = i, 0*r + 5*r + 200 = a. Let o be (-1)/((-1 + 3)/r). Solve 0 = h + 3*h - o for h.
5
Let v(u) = 2*u**3 - 2*u**2 - 2*u + 6. Let l be v(2). Solve 0*j + 2*j + l = 0 for j.
-5
Let i = -42 - -74. Suppose i = g + 6. Let v = g + -14. Solve -u = 3*u - v for u.
3
Let v(g) = 2*g - 9. Let a(h) = h**2 + 7*h + 1. Let s = -11 - -3. Let z be a(s). Let b be v(z). Solve 3*y - b = -0*y for y.
3
Let s(q) = -q - 10. Let b be s(12). Let z = -16 - b. Solve 5*h = 3*h + z for h.
3
Let v(s) = -s**2 - 6*s - 7. Let h(w) = -w**2 - 8*w + 4. Let g be h(-9). Let a be v(g). Let d = 2 + a. Solve d = 2*t - 4 + 2 for t.
1
Let z be (-2 + 1)/(3/(-21)). Suppose k - 5*k + 14 = 5*o, -o = 5*k - z. Solve q + 1 + o = 0 for q.
-3
Let w(r) = r**3 - 6*r**2 - 4*r - 1. Let k be w(7). Suppose -12 = -3*x - 3*i, -5*x - i + k = 3*i. Solve 0 = x*j - 3*j - 4 for j.
4
Suppose -2*t = -3*a - 20, -t - 3*t + 20 = -a. Solve t = -3*r - 11 for r.
-5
Let k(s) = s**2 + s - 4. Let x be k(-3). Solve -3*c - 4 = -x*c for c.
-4
Let u(k) = k**3 - 6*k**2 + 6*k - 5. Let v be u(5). Let p be 1 - v - -1 - 0. Suppose -p = a - 6. Solve 0*o - a = -4*o for o.
1
Suppose 2*a + 25 = 5*h, -5*a = -5*h + 20 + 5. Suppose 6*p + z = p + 17, -3*p + 5*z = -27. Solve -f = p*f + h for f.
-1
Let w(z) = -z**2 + 7*z + 6. Let a be w(7). Let j be 70 - 2/6*0. Suppose -t - j = -5*q + t, 2*q + t - 19 = 0. Solve -3*p + a*p = q for p.
4
Suppose q - 2 = 6. Let d be (45/20)/(3/q). Let f = 12 - d. Solve f = 4*g - 2 for g.
2
Suppose 22 - 3 = d. Suppose -d = -5*w + 1. Suppose -n = -5*v + w + 2, -v - 6 = -n. Solve -5*r + n = 29 for r.
-4
Suppose 4*t - 3*x - 21 = 0, -3*x - 27 = -4*t + 2*x. Solve 1 = -t*w - 8 for w.
-3
Let n(z) = -z. Let v be n(-4). Let k(u) = u - 4. Let i be k(v). Solve i = -2*m - 2 - 2 for m.
-2
Suppose -3*l + d + 10 = 0, 5*l - 3*d + 2*d - 16 = 0. Solve -2 = -c + l for c.
5
Let s(n) = 3*n + 10. Let d be s(-2). Solve 5*o - d*o + 4 = 0 for o.
-4
Let n be -4*2/(2 + -3). Suppose n*g = 3*g. Let v = -8 - -11. Solve 0 = v*x - g + 6 for x.
-2
Let u(a) = a + 18. Let b be u(-10). Suppose 3*x - b - 1 = 0. Solve -x*t = 4 - 1 for t.
-1
Suppose 7 = u - 2*u. Let a = -5 - u. Solve -2*z = 12 - a for z.
-5
Let u be 2/((-2)/20*-4). Suppose 0 = -2*s, 5*g - 7 = -3*s - 2. Let a be g*(5 - (2 + 2)). Solve -11 + a = -u*x for x.
2
Let c(k) = -k**3 + 3*k**2 + k - 1. Let q be c(3). Suppose 0 = -p + 5*w + 19, q*p + 5 = 4*p + w. Solve -y = 3*y - p for y.
1
Suppose -2*s = -0*s - 6. Solve 0*d = -s*d + 15 for d.
5
Suppose p - 19 + 16 = 0. Solve 1 = 2*i + p for i.
-1
Suppose 3*p = -5*z - 20, -4*z - 2 = -p + 14. Let c be (-6)/(-9) - 2/3. Suppose -2*d + 15 = -0*g + g, 2*g - 10 = c. Solve p*j - 10 = d*j for j.
-2
Let l be (-3)/15 + 41/5. Suppose o + l = f, 4*f + 2*o - 34 = 7*o. Solve -f + 0 = -3*z for z.
2
Let q(m) = 1. Let o(x) = x + 14. Let b(n) = -o(n) + 6*q(n). Let j be b(-8). Solve j = -5*h + 1 - 16 for h.
-3
Let g(n) = -n**3 + n**2 + n + 1. Let d be g(-1). Suppose d*k = 2*m - 2 - 8, -4*m = -k - 11. Solve 5*o - 9 = m*o for o.
3
Suppose m + 2 = -4. Let b(t) = -t - 4. Let o be b(m). Suppose 28 = -o*h + 6*h. Solve h*r = 3*r for r.
0
Let u = -58 + 63. Solve u*s + 0*s = -10 for s.
-2
Suppose 0 = 2*b + 5*t + 1, 3 - 6 = -2*b - t. Solve v = -b*v + 15 for v.
5
Suppose 21 = 3*a + 3*p - 6, -3*p + 3 = -3*a. Let c be -4*(-2 - 66/(-8)). Let y = -17 - c. Solve y = a*d - 4 for d.
3
Let x be ((-4)/3)/((-1)/3). Suppose 3*m = x*m. Suppose -4*q + 0*q - 4*b + 24 = 0, 3*q - 26 = -5*b. Solve 0 = -q*i - m*i for i.
0
Let i be 4 + ((-24)/3)/(-4). Suppose -i*o + 11*o = 0. Solve j + 0 + 3 = o for j.
-3
Suppose -2*h - 2*m - 3 = -1, 2*h - 3*m + 7 = 0. Let g = h - -5. Solve g*o = 2*o for o.
0
Let j be 14 - (1 + 8/(-4)). Suppose z + j = 4*z. Solve d = -z + 1 for d.
-4
Let h(c) = -2*c - 22. Let n be h(-14). Solve 0 = 2*b + n + 4 for b.
-5
Let l(n) be the second derivative of -n**3/6 - 5*n**2/2 + 25*n. Suppose -u + 8 = -2*u. Let c be l(u). Solve c = j - 1 for j.
4
Let x = 34 - 11. Suppose 3*i - o - 3 = -2*o, 4*i - 5*o = x. Suppose -4*f = 4*y + f + 9, -i*y = -5*f - 33. Solve -y*a = -2*a for a.
0
Let p be (114/(-7 - -4))/1. Let w be (-1)/2 + (-779)/p. Solve -4*b = 8 - w for b.
3
Let o = 92 - 90. Let d be 3 + (-2)/(-1) + -2. Suppose 0 = 4*c + f - d, f + 4 = c + 7. Solve c = o*b + 2*b + 20 for b.
-5
Suppose 0 = 2*y + 4*a + 4, -4*y - a = y - 8. Solve s = y*s for s.
0
Suppose -5*y + 8 - 3 