, 3*u = -2*o - u - 16. Let k(h) = -h**3 - 5*h**2 + 6*h + 3. Let v be k(o). Suppose 2*a + v*a = 20. Solve 0*w - a*w = -4 for w.
1
Let a(v) = -v**2 + 6*v + 13. Let t be a(7). Let c be (t/(-15))/((-12)/30). Solve -c = -2*k + 3 for k.
2
Suppose -3*d + 29 = 2*w, 14 = 5*w + 2*d - 31. Let n = -5 + w. Solve -n*a + 3 = -a for a.
3
Let c be 6 + 1 + 0 + 0. Let g = -7 + c. Solve 4*o - o - 12 = g for o.
4
Let x(s) = s**3 - 4*s**2 + 5*s - 4. Let z(b) = -2*b**2 + 5. Let j be z(4). Let k be ((-1)/3)/(3/j). Let d be x(k). Solve -d*n = 2*n for n.
0
Let m(h) = h**2 - 1. Let d be m(2). Let s = d - -2. Suppose 0 = 2*z - 5*w - 22 - 28, 0 = s*z + 3*w - 94. Solve 4*o + o = z for o.
4
Suppose 5*l + 32 = 3*a - 25, -60 = -2*a - 4*l. Let r = 8 - -10. Suppose 2*m = -4*t + a, 0*t + r = 3*t - 3*m. Solve -t*q + 3*q = -15 for q.
5
Let a be 0/((-2)/2 + 0). Suppose 0 = -b + 4*v + 10, 3*v + 27 = 3*b + b. Solve 2*h = -a*h + b for h.
3
Let a(h) = 3*h**2 - h - 1. Suppose f + f - i = -4, 2*f + i = 0. Let q be a(f). Suppose 2*v + 6 = 0, 0 = -m + 4*v + 14 + 2. Solve x + q = m for x.
1
Suppose -j - 21 = h - 6*h, 5 = -5*j. Let r be (-24)/(-3) + (4 - h). Solve -24 = 4*l - r for l.
-4
Let o(d) = d + 5. Let g be o(5). Let q = g - 8. Solve q*a - 10 = -3*a for a.
2
Let h(y) = -3*y. Suppose -4*n = -l + 11, -n - 14 = 5*l + 2*n. Let o be h(l). Suppose o*u - 12 = -u. Solve -2*q = u*q + 20 for q.
-4
Let j = -5 + 9. Solve 3*u + 1 - j = 0 for u.
1
Let z be -3 + 3 + (5 - 1). Let x(f) = 11 - 4 + f + z. Let d be x(-8). Solve -6*j + d*j + 3 = 0 for j.
1
Suppose 3*g - 48 = -4*k, k - 2*g = -3*g + 13. Suppose 11 - 3 = 4*j. Solve -a + k = j*a for a.
3
Suppose 3*k - 4 = -3*s + 2*s, -k + s = -8. Suppose 5*h + k = 2*h. Let z be (-20 + 0)*1/h. Solve 5*c - z = c for c.
5
Suppose -2*g + 8 = -2*c, -5*g + 13 + 0 = 2*c. Solve -g*k = -0*k for k.
0
Let s = 40 - 37. Solve s*c = c + 6 for c.
3
Let j(n) = -6*n**3 + 7*n - 1. Let r(t) = -5*t**3 + 6*t - 1. Let z(c) = 4*j(c) - 5*r(c). Let l be z(0). Solve 11 = 2*o + l for o.
5
Let l = 8 + -3. Suppose 6*j = 4 + 2. Solve -9 - j = l*x for x.
-2
Let s be ((-2)/2)/(1/(-13)). Suppose -3*p + 5 = 5*m, -2*m + p + s = -0*m. Solve b - 3*b = m for b.
-2
Let w be 4/1*(-12)/(-8). Solve 5 = w*m - m for m.
1
Let r(h) = h + 2. Let d(n) = n**3 - 4*n**2 - n + 4. Let m be d(4). Let c be r(m). Solve 0*p = -c*p + 6 for p.
3
Suppose -10*h + 9*h = -10. Solve -3*q - 2*q = -h for q.
2
Suppose 0 = 4*j + 20, -3*j - 35 = -3*a + j. Solve -3*l = 2*l - a for l.
1
Suppose 0 = -14*x + 18*x. Solve 0*r - 3*r = x for r.
0
Let s(w) = -w - 3. Let f be s(-3). Let x(u) = -u**3 + u**2 + 3*u - 2. Let q be x(-2). Solve -5*g + q*g + 5 = f for g.
5
Let h be (-8)/2 + 12/(-6). Let b be h/(-24) - 2/8. Suppose b*n + 2*r = n + 6, -2*n - 5*r = -15. Solve n = 2*a - a + 3 for a.
-3
Let i(g) = 2*g**2 + g - 2. Let r be i(3). Suppose -3*w - 15 = 3*u - 4*u, 0 = 4*w - u + r. Let p be ((-8)/(-4))/(w/(-6)). Solve -2*o + 3*o = -p for o.
-3
Let o = -91 + 91. Solve 6*r - 3*r + 9 = o for r.
-3
Suppose 1 + 15 = 3*v + a, -a = v - 8. Solve 17 = v*g + 5 for g.
3
Let u be (-130)/18 - (-12)/54. Let t be 0 - u/(21/6). Let w be (18/15)/((-6)/(-20)). Solve -w*k - t = -2*k for k.
-1
Suppose 0 = q - 1 - 1. Let u = -6 - -1. Let n = 7 + u. Solve q = -n*v + v for v.
-2
Suppose -x - 6 = n, 0 = -5*n + 4*x + 2 + 4. Let d = 4 + n. Let c be 1/(-2)*d*-3. Solve c*m + m = 16 for m.
4
Let p = -3 - -5. Suppose -3*s - t + 32 = 0, 0 = p*s + 2*s + 5*t - 28. Suppose 6*q - 2*q = s. Solve -q*i = 2 + 13 for i.
-5
Let j = 14 - 12. Suppose -q - 2*t = -j*q + 11, -t - 13 = -2*q. Solve -q = -i - 2 for i.
3
Suppose 2*c - 45 = -5*j, -3*j - j - c = -36. Solve -j = 4*f + 3 for f.
-3
Let w be (-16)/(-3)*1*3. Suppose -3*m + 0 = -6. Suppose 0 = -m*a + 4. Solve -2*u = a*u + w for u.
-4
Suppose -7*z + 0*z = 0. Solve z = -0*p + 3*p + 12 for p.
-4
Let y(l) = 3*l + 1. Let h be (8/(-6))/((-8)/12). Let m be y(h). Let z(d) = d**2 - 5*d - 10. Let b be z(m). Solve b*g + 2 = -2 for g.
-1
Let c = 13 - 9. Solve -c*z + 8 = -4 for z.
3
Suppose 2*l - 5*l + 4*w = 26, 4*w = -2*l - 44. Let q = -10 - l. Let o be 99/21 + q/14. Solve -j + 1 = o for j.
-4
Let h be (-12 - (3 - 1))/(-1). Suppose -m - 4 = 5*d - h, -7 = d + 2*m. Solve d + 2 = -5*a for a.
-1
Let c be 10/20 - (-14)/4. Solve -c = 4*r + 12 for r.
-4
Let i be 3/(3 + (-2)/1). Let d be (-6)/(-2) + -1*i. Let j be (-4)/3*1*-3. Solve d*f = j*f - 16 for f.
4
Let a = -53 - -58. Solve 10 = a*h - 10 for h.
4
Suppose -75 = k - 6*k. Let h = 15 - k. Suppose -4*t - r + 26 = 0, -2*t + 4*r + 8 = 2*r. Solve h = u - t*u for u.
0
Let n = 103 + -58. Let m be (-58)/(-18) - 10/n. Suppose -m*y + 4 = y. Solve g = -0*g + y for g.
1
Let x = -28 - -38. Solve -3*g = 2*g - x for g.
2
Suppose 2*u + 0*u = -2*z + 38, -2*z = 2. Let f = u - 20. Solve 5*n + f - 15 = 0 for n.
3
Let l = -16 - -18. Solve -z - 15 = l*z for z.
-5
Let m = 18 + -9. Let y = -6 + 10. Solve f - m = y*f for f.
-3
Let f = 8 + -5. Suppose -10 = -4*b - i, 3*i = -b + 7 + 1. Suppose b*x = f*x. Solve -6*t + t - 10 = x for t.
-2
Suppose 134 = -4*q + 150. Solve 0 = -q*j + 2*j - 10 for j.
-5
Suppose 16 - 112 = -2*g. Let c = g + -28. Solve -f = 3*f + c for f.
-5
Suppose 6*z - 3*z - 4*u = -14, 4*u - 20 = 0. Suppose n = z*k - 1, -2*k + 39 = 5*n + 8. Solve 4 = 3*l - n for l.
3
Suppose -p + 4*n = -8, 4*p + 9*n = 4*n + 11. Suppose 0 = -0*t - 5*t + 100. Let b be (2/5)/(4/t). Solve 0 = q - b*q - p for q.
-4
Let z(k) = -k + 1. Let c be z(-3). Suppose -2*q + 5*q + 4*p = 29, 0 = 2*q + 5*p - 24. Solve 0 = -c*h + 5 + q for h.
3
Suppose 2*o = -3*l + 33, o - 6 = 3*l - l. Let i = 18 - o. Solve 0 = -p - p + i for p.
3
Let a(p) = p**3 - 4*p**2 + p + 1. Let m be 2/((-5)/2 + 3). Let y be a(m). Solve -y*s - 4 = 1 for s.
-1
Let n be (-3)/6 - 1/(-2). Solve n = 6*x - 2*x + 20 for x.
-5
Let q(n) = n + 7. Let i be q(-7). Suppose -8 = -2*v, 4*h + h - 4*v + 6 = i. Solve -4*s = -h*s - 8 for s.
4
Let b be (-24)/10 - (-2)/5. Let g be 1/b + (-7)/(-2). Suppose -o - g*o + 8 = 0. Solve -o*f + 0 + 4 = 0 for f.
2
Let b be 0/(4 + (-4)/2). Let f(h) = h**2 - 3*h + 3. Let g be f(4). Let n = 1 - -1. Solve b = n*y - 1 + g for y.
-3
Let m(d) = d**2 - 4*d + 4. Let a = 2 - 4. Let r be ((-2)/a)/(1/4). Let q be m(r). Solve -q*v - 15 = v for v.
-3
Let u = 6 + -2. Solve s + 1 = u for s.
3
Let n = -25 + 44. Suppose -2*r - 23 = -7*r - 2*z, 4*z - n = -r. Solve 0*q - 3*q = r for q.
-1
Let k(c) = -6*c**3 - c - 1. Suppose -3*b = -4*o - 16, 10 + 0 = -2*o + 2*b. Let g be k(o). Solve 0 = -g*s + s - 15 for s.
-3
Suppose -5*u - 44 = m - 5, -3*m - 19 = u. Let f(b) = 11*b**3 + b**2 - b + 1. Let w be f(1). Let o = u + w. Solve -5*v = -o - 0 for v.
1
Let v be ((-4)/(-6))/(28/42). Solve a + v + 3 = 0 for a.
-4
Let u = -18 - -16. Let l = 9 + u. Solve 0 = -5*t + l + 3 for t.
2
Suppose 3*w = -0*w + f + 11, 2*f = 8. Let y(p) = 2*p**2 - 2*p - 1. Let m be y(-2). Let x = m - 5. Solve 3*u + x = w*u for u.
3
Let k = 12 - 7. Suppose -4 = -3*q + k. Solve -q*u = -5*u + 2 for u.
1
Suppose u - 4*a - 95 = -8*a, 0 = 2*u + a - 155. Suppose -2*m = 3*m - u. Solve -6*k - m = -3*k for k.
-5
Let w be -4*((-11)/4 + 2). Suppose -3*m + 0*m + w = 0. Let p(g) = g**3. Let u be p(m). Solve -h + u = -3 for h.
4
Suppose -15*p + 8 = -14*p. Solve -7 = -5*x + p for x.
3
Let b(y) = y**3 - 4*y**2 - 5*y + 2. Let m be (-9)/(-12)*(-1 + 5). Let k = m - -2. Let r be b(k). Solve 0*n - 10 = -r*n for n.
5
Let w(z) = -z + 5. Let p be w(-4). Let h(f) = f**3 + 2*f**2 - 3*f - 3. Let s be h(-2). Suppose -9*u + 12 = -3*u. Solve -u*l + s = p for l.
-3
Let y be (-11)/(-55) - (-2)/(-10). Solve y = n + 4 - 0 for n.
-4
Let j = 2 - -2. Suppose x = -2*h + 12, j*h + 52 = 5*x + 6. Solve -x = -5*q - 35 for q.
-5
Let t be 2/(-6) + (-2)/(-6). Let p be (-2)/6 + (-60)/(-18). Solve t = -2*w + 3*w - p for w.
3
Suppose -w = -4*x + 16, -2*x + 14 = 4*w - 3*w. Suppose 0 = 3*y + y + w. Let d be -5*(3/5 + y). Solve j - d = 2*j for j.
-2
Let p(q) = -q + 7. Let g be p(3). Suppose -2*r = 3*r + 5, -g = -3*a - 5*r. Let i = a + -1. Solve -o = i*o - 9 for o.
3
Let g be ((-1)/(-1))/((-5)/(-10)). Let w be ((-1)/2 - -1)*8. Let a be -5 + w + 14/2. Solve -g*f = -a*f for f.
0
Let t = 10 - 7. Suppose 2*b + 3*w = -11, -t*b - 3*w - 7 = 2. Suppose 0 = -2*c + 8, b = -4*l + c + 14. Solve 0 = 3*d - l*d + 2 for d.
2
Let h(m) be the third derivative of -m**5/60 - 5*