((-1 - -3) + -4). Suppose -s = -k - 5. Solve -3*u + u + k = 0 for u.
5
Let s = 61 - 50. Solve 3*x = s + 1 for x.
4
Suppose -7 - 4 = -l - 3*x, 3*l + 6 = 4*x. Let z = 3 + 0. Suppose -z*v = l*v. Solve v = -2*c + 4*c - 6 for c.
3
Let f be 7/6 - 1/6. Let l be f/((-6)/(-16))*-12. Let t be l/(-18) + (-8)/(-36). Solve r - t*r - 3 = 0 for r.
-3
Let l(p) = -8*p + 9. Let w(a) = 23*a - 26. Let i(v) = 17*l(v) + 6*w(v). Let c be i(4). Solve 3*r = c*r + 2 for r.
-1
Let f = 108 + -105. Solve -f*y = 4 + 8 for y.
-4
Let f be (4/6)/(5/30). Suppose -3 = -l, f*w - 25 - 59 = 4*l. Suppose -2*c + w = c. Solve -4 = 3*s + c for s.
-4
Suppose l - 2*a + 1 - 3 = 0, -4*l = -2*a - 2. Solve -3*s + 4*s - 1 = l for s.
1
Suppose -2*y - y + 21 = 3*k, 4*y - 4*k = 36. Let h = -4 + y. Solve -2*x + 0*x = -h for x.
2
Let u be (-4)/(-6) + (-8)/12. Suppose u = -5*r + 2*r + 27. Solve 0*x = -3*x - r for x.
-3
Let j(r) be the third derivative of -4*r**4/3 - 3*r**2. Let g = -2 - -1. Let v be j(g). Solve 0 = -5*q - 12 + v for q.
4
Suppose -55 = -b - 4*b. Let d(i) = i - 11. Let f be d(b). Solve -q + 4 + 0 = f for q.
4
Suppose 5*k - 4*r = 26 - 8, 0 = 5*k + 2*r - 6. Let f(a) = a**3 + 2*a**2 - 3*a + 1. Let n be f(-3). Solve n = k*t - t for t.
1
Let h = -63 - -63. Solve -2*t + 7*t = h for t.
0
Suppose 0 = -5*g + 8 + 2. Suppose g + 1 = h. Solve -h*b + b = 8 for b.
-4
Suppose 0 = -3*l + 7 + 11. Suppose 2*u + j = -2*j, 0 = 3*j + l. Let y(k) = -k**3 - k**2 - k + 1. Let h be y(-2). Solve -h*r + u = -4*r for r.
1
Let r be 0*2/(-6)*1. Suppose l = -r*l + 4. Solve 0 = l*w - 7 + 23 for w.
-4
Let y = -10 - -21. Solve 4*d - 27 = -y for d.
4
Let m(a) = a**2 + 4*a + 2. Let r be m(-4). Solve -2*q + 4 = r*q for q.
1
Let w(b) = -b**2 + 5*b - 2. Let r be w(4). Suppose r*f = 2*c - 4, -f + 3*c - 6 = f. Suppose -3*t - 4*s + 22 = f, -t + 7 = -2*s + 3. Solve t = 4*q - q for q.
2
Let i be (-32)/4*(-6)/(-4). Let w = i - -13. Solve w = -o + 5 for o.
4
Suppose 12 = -4*d + 2*d. Let m = -17 + 13. Let g be d/m*(-2 + 6). Solve -5*r = -2*r + g for r.
-2
Let z = -1 - -17. Suppose -5*k - 2*f + 4 = 0, 0 = 5*k + 2*f - 4*f - z. Solve -2*b - k + 10 = 0 for b.
4
Let j(v) = 3*v**3 + v**2. Let n be j(1). Solve h + 9 = n*h for h.
3
Let n(a) = a**2 + a - 3. Let d be n(-4). Let x(y) = -y + 9. Let q be x(d). Solve q = 3*p + p - 12 for p.
3
Let n = -22 - -34. Solve 3*p - n = -0*p for p.
4
Let m(c) = -11 - 8 + 14 + 6*c. Let d be m(2). Suppose -u + 18 = 3*a, -4*u + 2*a + 2 = -0*a. Solve -d = -u*t - 4 for t.
1
Let o(n) = 3*n**2 - 2*n + 3. Let z be o(2). Let q = z + -4. Let c = q + -4. Solve 8*s = c*s for s.
0
Let j(v) = -v**3 - 4*v**2 - 5*v - 4. Let h be j(-3). Let a be (-7)/(-3) + h/(-6). Suppose -a*n + 3 = 1. Solve -t - n = -2*t for t.
1
Let n be (-11)/22*(-7 + -1). Suppose -8 = -3*d + 4*m + n, 2*d - 5*m - 1 = 0. Solve 0 = 2*y - 6*y + d for y.
2
Suppose -3*b = -4*u + 2*u - 16, 3*u + b + 13 = 0. Let h = -1 - u. Let y be ((-12)/h)/(-1 + 0). Solve 10 = s - y*s for s.
-5
Suppose -y + 3*g = 4, 36 = 4*y - 0*g + g. Let z be (-175)/105*(-12)/5. Let f be 0/((-2 - -1)*-2). Solve f*m - z*m = -y for m.
2
Let f be 3/(-5)*(-9 - -4). Let d(z) = z + 7. Let q be d(-5). Solve -3 = -q*j + f for j.
3
Suppose 3*k + 2*k = 150. Let v = -10 + k. Let g be ((-10)/25)/((-2)/v). Solve -n - 10 = g*n for n.
-2
Suppose 2*x = -1 + 7. Solve 0 = x*o - 0 - 3 for o.
1
Let g = -20 + 29. Suppose 0 = -3*z - 3*o - 3 - g, z + 2*o + 8 = 0. Suppose z = -2*l + 3*l. Solve -4*c + 4 = -l*c for c.
1
Suppose 7*v = 2*v. Solve v = -3*m + 5*m + 8 for m.
-4
Let t be 4*(-5)/(-60)*0. Suppose -j + 16 = -5*j, 2*u = 2*j + 16. Suppose -2*m - u = -4*m. Solve t*h - m = h for h.
-2
Let c = -10 + 12. Suppose -2*x + 8 - c = -3*f, 3*x = -4*f + 43. Solve -5*m + 2*m = x for m.
-3
Let v(s) = -2*s**2 - 6*s - 3. Let l be v(-4). Let y be l/(-4) + 1/4. Solve -r - 1 = -y for r.
2
Let r(z) = -z**3 + 6*z**2 + z - 6. Let v be r(6). Let b = v + -1. Let f be b*2/(-1)*2. Solve -f*i + 8*i = 0 for i.
0
Let a(s) = -3*s - 4. Let r(d) = -5*d - 6. Let l(b) = 8*a(b) - 5*r(b). Let f be l(8). Let v be 2/2 + 3 - 1. Solve f = -u + v*u for u.
3
Let o(i) = i**2 - 5*i - 4. Let q be o(6). Solve -3*n + 5 = q for n.
1
Suppose -9 = 7*r - 79. Solve -10 - r = -5*c for c.
4
Suppose m + 1 = -4*y, -3*m - 3 = -6*y + y. Solve 2*h + 1 + 5 = y for h.
-3
Suppose -2*y + 4*y - a = 9, 5*a + 3 = -4*y. Let g be (-2)/y - 22/(-6). Suppose 3*l - 6 = 0, g*q = -2*q + 4*l + 7. Solve -q*f = 2*f for f.
0
Let u = 2 - 3. Let i(g) = 21*g**2 + g. Let z be i(u). Suppose -4*a - v + z = 0, 2*a + 2*a - 20 = v. Solve -a*k = -0*k - 5 for k.
1
Let f be ((-4)/(-6))/(1/3). Solve 2*m - f = m for m.
2
Let l = -1 - -1. Suppose -4 = -6*q + 182. Let g = q + -23. Solve l*b = 2*b - g for b.
4
Let u be (1/2)/((-8)/144). Let v = u + 9. Solve -3*l + 12 = -v for l.
4
Let r(t) = -t**2 + 7*t + 4. Let g be r(7). Suppose -2*x = -g*x. Solve 3 = l - x for l.
3
Let j(r) = r - 8. Let b be j(6). Let w be ((-3)/3)/(1/b). Solve f = -w*f - 9 for f.
-3
Let h(p) = p + 3. Let c be h(-4). Let n be (-78)/(-12) + c/(-2). Let q = n + -7. Solve q*u - 2*u = 2 for u.
-1
Let s(j) = -15*j - 3. Let a be s(-1). Solve a = -0*n + 4*n for n.
3
Let g = -1 - -13. Suppose -n + 12 = 2*b - 5*n, 0 = 5*b + 4*n + g. Solve -3*i + b*i = 15 for i.
-5
Let y = -1 + 1. Let p be 9/(-12)*(-16)/6. Solve -n = -y + p for n.
-2
Suppose 3*m - 2*t - 23 = -8, -4*t = -4*m + 16. Let x(f) = f - 7. Let d be x(m). Solve d*k = -k for k.
0
Suppose -q = -4*v + 4*q - 7, 5*q - 15 = 0. Solve -v*y = y for y.
0
Suppose 1 = 4*d - 19. Suppose -10 = y + 3*q, 0*y + q + 6 = y. Suppose 1 = -p - y*w, -3*p + 20 - 1 = -d*w. Solve 1 = -p*m + 7 for m.
2
Suppose r - 2*r + 15 = 5*m, 3*m + 8 = -4*r. Let y(x) = -4*x - 3*x**2 + 3 + x**3 + 1 - 2. Let i be y(m). Solve -3 = i*c - c for c.
-3
Let w be (1 - 6)/(9/6 + -2). Solve -15 + w = t for t.
-5
Suppose 0 = -q + 4 - 1. Suppose q*u - 3 = 6. Solve u*s = -1 - 8 for s.
-3
Suppose 0 = 5*j - 20, -p + 4*j = -6*p + 26. Let s = 3 + 2. Solve -s*c = -p*c + 9 for c.
-3
Let a(r) = -3*r**2 + 2*r + 2*r**2 + r. Let w be a(3). Let t be (w/(-2))/3*1. Solve f - 6*f = t for f.
0
Suppose -3*o = 4*z - 7 + 28, 4*o + 27 = -5*z. Let d = 9 + o. Let w be 6/(d/(-2)) + 5. Solve w*u + 1 = 10 for u.
3
Let c(k) = k**3 + 6*k**2 + 2*k - 7. Let i be c(-5). Suppose 15 + 17 = 4*v. Suppose -v = -3*y + 4. Solve -i*l + 4 = -y*l for l.
1
Suppose 9 = 4*i - 3*o, -2*i - 1 = -2*o - 5. Let a = 5 + -5. Solve a = -0*f - i*f + 15 for f.
5
Let w(f) = 2*f - 4. Let g be w(-4). Let y be ((-8)/g)/(2/(-12)). Let x be (-82)/y - 1/2. Solve 0*l = 5*l - x for l.
4
Let b(s) = s + 1. Let r be b(1). Suppose -3*q - 4*n + 76 = 0, 3*n + 47 = q - 0*n. Suppose 5*j = j + q. Solve r + j = 5*z for z.
2
Let i be (-23)/(-5) - (-4)/10. Suppose -k = o - 5*o + 9, -4 = -o. Suppose -43 - k = -i*r. Solve -3*q = 2*q + r for q.
-2
Let v(u) = 6*u - 1. Let q be v(4). Solve -3*g + q - 8 = 0 for g.
5
Let y(i) = 2*i. Let o be y(3). Let d = 8 - o. Solve -g = -3 - d for g.
5
Let z(k) = 4*k**3 - 5 + 0*k**2 + 6*k**2 - 3*k**3 + 4*k. Let f(y) = -2*y + 1. Let r be f(3). Let s be z(r). Solve 9 + s = 3*q for q.
3
Suppose -2*n + 1 = -5. Let j be (-3)/1 + (-84)/(-7). Solve 0 = n*y - 0*y + j for y.
-3
Suppose -4*n - 28 = 4*b - 0, -2*b - 20 = 5*n. Let s be 2 - n/(-3)*-3. Let a(k) = k**3 - 7*k**2 - 7*k - 3. Let l be a(8). Solve 0 = -c + l - s for c.
1
Suppose 3*t = 36 + 114. Let j = t + -34. Suppose -6*n + 2*z = -3*n - 20, z - j = -5*n. Solve n*a - 5*a = -4 for a.
4
Let f(l) = l**2 + l - 5. Let j be f(4). Let r be (-1 + 1)/(14 + -15). Solve r*q = 3*q - j for q.
5
Let g = -4 - -2. Let d be g/2*1 - -4. Solve -d*u - 5 = 1 for u.
-2
Let u be 0/(5/(-20) + 6/(-8)). Solve u = -2*a - 0*a - 8 for a.
-4
Let h(c) = 2*c - 1. Let f be h(2). Let j be 9*((-2)/f - -1). Solve 0 = -0*l - j*l - 12 for l.
-4
Let c = -50 - -70. Suppose -2*o + 20 = 3*o. Solve -o*v = -4 + c for v.
-4
Let h(u) = u**2 + 4*u. Let a be h(-4). Solve a = 3*d + 7 - 1 for d.
-2
Let r(y) = -5*y - 5. Let b be ((-8)/(-6))/(1/(-3)). Let w be r(b). Suppose 0 = -5*v + w, j + 3*j = -2*v + 38. Solve 0 = -3*u + j*u - 15 for u.
3
Let c = 3 - -1. Suppose 14 - 54 = -c*f. Solve -4*i = i - f for i.
2
Let m be (-20)/50 - (-22)/5. Solve -4*b = -0 - m for b.
1
Let f be (-4 + 1)*9/3. Let z be f/(-6)*(-8)/(-6). Suppose -z*u + 94 = 5*j, 8 - 3 = j + 5*u. Solve x + 3*x + j 