 + 15 = 11*z. Solve 0 = z*l - 3 - 2 for l.
1
Let y be (-5)/((-4)/1 - -3). Solve -y*h + 0 = 10 for h.
-2
Suppose -27*v - 135 = -42*v. Solve u + 40 = v*u for u.
5
Let q be 11 + 2 + -3 - 8. Solve 8 = -q*a + 10 for a.
1
Suppose 2*v - 22 = -18. Suppose 2*n + 14 = 3*j + 3*n, j + 2*n + v = 0. Solve z - j = -z for z.
3
Let z(f) = 2*f**2 - 1. Let g be z(-3). Let u be g + (-3 - -3) + 1. Suppose 0*d - 8 = -2*d, -n + 5*d - u = 0. Solve 0 = n*x - 6*x - 16 for x.
-4
Let q be (1 - -1) + -5 + 8. Suppose -q*o = -3*o - 4. Suppose 5*c = -g - 0*g + 29, 4*c + g = 24. Solve 15 - c = o*h for h.
5
Let d = -53 + 51. Let i be 6/d - (1 - 5). Solve g + 2 + i = 0 for g.
-3
Let a be 0*((-3)/1 + 2). Suppose 3*t + a = 12. Suppose -2*h + 8 = 0, -2*d + 5*h - 17 + 1 = 0. Solve d = t*i - 2*i for i.
1
Let u be 0/(3 - (-3)/(-3) - 3). Let w = 8 + -6. Suppose f = u, -2*t = w*t - 3*f - 80. Solve -5 = -3*x - t for x.
-5
Let s(o) = o**3 + 7*o**2 + 9*o - 5. Let i be s(-5). Solve 15*k - 9*k + 24 = i for k.
-4
Suppose 0 = 3*c + 3*y - 18, 3*c - y = 26. Solve 24 = -c*o - 0 for o.
-3
Let f = -149 - -152. Solve j - f*j = 0 for j.
0
Let k be 4 - (4 - (-3)/(-3) - 2). Solve -d + 8 = k for d.
5
Suppose -2*v - 2*r + 6 = 0, -2*r + 27 = -v + 6*v. Solve 6*q - 19 = -v for q.
2
Suppose r = 0, -5*g + 0*r + 30 = -r. Suppose -14*w = 7*w - 84. Solve w = -m + g for m.
2
Let x = 1 + 1. Let d(y) = y**3 - 5*y**2 - 14*y + 52. Let v be d(6). Let w be (-2 - x) + 16/v. Solve 5*r - 3*r - 8 = w for r.
4
Suppose -7*s = -2*s - 20. Let r(a) = -a**2 - 14*a + 92. Let h be r(-19). Let f be ((-2)/s)/(h/6). Solve 4 = -o - f for o.
-5
Let v be (-1 - 0)/(3/(-33)). Let d(b) = 3*b**3 + 23*b**2 + 41*b - 3. Let n be d(-4). Solve 4*o + n = -v for o.
-5
Let y(l) be the first derivative of l**3/3 + l**2 - 12*l - 1. Let c be y(-5). Solve c + 2 = t for t.
5
Let z = 2 - 4. Let h(x) be the second derivative of -x**3/3 + x**2/2 + 6*x - 4. Let p be h(z). Solve 0*v = -p*v + 5 for v.
1
Let i be -3 + (-940)/(-25) + 18/(-30). Solve 6*n = i - 4 for n.
5
Suppose -4*l - 854 = -18*l. Solve 55*f - l*f = 6 for f.
-1
Let r be (16 - -4)*(-1 + 4)/6. Solve -6*z + 8*z = -r for z.
-5
Let v be 6/(2 - 4/4). Let s be 0/((-2 + -2)/(-4)). Let g be (-12 + s)/((-24)/16). Solve 2*n = v*n + g for n.
-2
Suppose 0 = 3*m + 4*x - 3, m + 3*x = 3*m - 2. Solve h = 1 + m for h.
2
Suppose 0 = 2*c - c - 17. Let y = -12 + c. Suppose -y*d = -d. Solve d - 4 = k for k.
-4
Let z = 40 - 37. Solve -11*c - z = -8*c for c.
-1
Suppose 18 = 4*j - 2. Suppose -140 = j*z + 60. Let a = -40 - z. Solve -5*w + a*w - 25 = 0 for w.
-5
Let a be (4*-2)/(6 + (-1120)/184). Solve 0 = 3*t + 107 - a for t.
-5
Let m be 2 + -4 + (-4)/(-8)*6. Let a be (8/(-10))/((-1)/5). Suppose 13 - m = a*k + u, -3*u = -2*k + 6. Solve 0 = -i - k*i - 8 for i.
-2
Let a be ((-6)/(-4))/((-11)/(-44)). Suppose -a*u - 8 = -10*u. Solve 0 = -0*w - u*w - 6 for w.
-3
Suppose -4*b - 3*q + 56 = 0, -b = -6*q + 2*q - 33. Solve 2 = -5*n + b for n.
3
Suppose 3*m - 9 = -3*f, -16 = f - 5*m - 1. Suppose u + f*u + 12 = 0. Let s be 6/(-24)*u/1. Solve 3 + s = -2*c for c.
-3
Let c(r) = -88 + 95 + 11*r - 70. Let x be c(6). Solve x + 13 = 4*p for p.
4
Let u be (3/(-3))/((-1)/5). Suppose 0 = -u*m - 5*k - 115, 3*k - 2*k + 59 = -3*m. Let d = 23 + m. Solve -4*g = d + 3 for g.
-2
Suppose 50 = -142*n + 152*n. Solve 0 = n*w + 26 - 1 for w.
-5
Let k(j) = j**3 - 8*j**2 + 24*j - 136. Let h be k(8). Solve h*y - 59*y = -3 for y.
1
Let w = -46 - -48. Suppose 2*a + 4*u - 36 = -w*a, -4*u = a - 24. Solve -a*j = j + 10 for j.
-2
Let m(s) = 3*s + 3. Let f(v) = v. Let k(l) = 2*f(l) - m(l). Let i be k(-7). Let b = -13 + 28. Solve i*o = -o - b for o.
-3
Suppose -13 = -20*k + 47. Let h(c) = -c**3 + 5*c**2 + 17*c - 11. Let o be h(7). Solve -o = k*g - g for g.
-5
Let h be 13 - (-15 + 2 + 6). Solve 19*t = h*t - 4 for t.
4
Let u(n) = 6*n + 9. Let v(y) = y + 2. Let d(h) = -2*u(h) + 11*v(h). Let s be d(0). Solve 5*c = s*c + 3 for c.
3
Suppose -u + 4*u = 0. Let n(z) = -z**2 - 7*z + 3. Let h be n(u). Solve -h = -5*k + 7 for k.
2
Let j = 4 - 2. Suppose -15*w - 181*w = 0. Solve -8 = -w*b - j*b for b.
4
Suppose 2*i + 9 - 1 = 0. Suppose -4*j + 12 = 3*z, z + 12 = -2*j + 6*j. Let r be (0/i)/(z + 1). Solve -q + 4*q = r for q.
0
Suppose 9 = 3*x + 4*w - 5, 0 = -3*x + w + 4. Suppose -20 = -4*k, -x*k - 35 = -5*s - 4*k. Solve 11 = 4*m - s for m.
4
Suppose 3*f = 4*t - 10, -16 = -f - f - 3*t. Let s be (-14)/(-70) - f/10. Suppose 2*n = 6 - s. Solve n*d = 2*d for d.
0
Let m = 4 + -2. Let q = 186 - 92. Suppose -q = -23*s + 21. Solve s*u = m*u + 9 for u.
3
Let o = -88 + 102. Let c = -10 + o. Solve -c = -2*x + 2 for x.
3
Suppose u + 11 = 5*b - 3, 4*b - 2*u - 16 = 0. Suppose -n - 16 - 2 = 3*s, b*s + n = -11. Let w(p) = -p**2 - 8*p - 1. Let d be w(s). Solve -5*t + d = -14 for t.
4
Let s be (-30)/(-9)*(-12)/5. Let c = 8 + s. Solve c = -2*w + w + 2 for w.
2
Let y be (-4 + 4)*2/4. Solve 0*g + 3*g = y for g.
0
Suppose 16 = -6*n + 5*n + 3*c, -5*n - 2*c = 46. Let m be 9/12 + n/(-8). Solve -v = -m*v for v.
0
Let o = 3 + 34. Suppose -33*w - 4 = -o*w. Solve w = -2*l + 3 for l.
1
Let n be (-28)/(-4) + (-4)/4. Suppose -2 = -a + n. Let o = -6 + a. Solve -5 = -s - o for s.
3
Let d(n) = -5*n + 3 + 0 - 16. Let r be d(-5). Let p(l) = l**3 - 2*l**2 + 2. Let t be p(2). Solve r = -t*k - 2*k for k.
-3
Let q = 49 + -46. Suppose q*f - 6*f = -3, -f + 6 = z. Solve -z*i - 11 = 9 for i.
-4
Let x(y) = y - 4. Let l be x(5). Suppose 0 = -3*z - 9, -17*p + 9 = -20*p - 3*z. Solve p = v + 1 + l for v.
-2
Suppose 0*j + 5*p = -3*j + 91, 205 = 5*j - 5*p. Let r = -32 + j. Solve 2 = r*c - 4*c for c.
2
Suppose 0 = 5*o - 4*f - 2, 0 = -o - 5*f - 0*f + 12. Let p be 2 + 2 - 0 - o. Suppose -l = -3*u - 2*l + 13, p*u - 11 = -3*l. Solve -12 + u = 4*r for r.
-2
Let j = 240 + -238. Solve -j*n = 25 - 35 for n.
5
Suppose b = -0*b + 2*b. Solve b*y - 5*y + 10 = 0 for y.
2
Let x(p) = -p**2 - 8*p - 8. Let v be x(-6). Let n be 11/v - (-1)/4. Solve n*q + 4 - 1 = 0 for q.
-1
Let t = -661 + 670. Solve -12*o + t*o + 12 = 0 for o.
4
Suppose 0 = 7*m - 2408 + 2051. Solve -4 = -m*o + 49*o for o.
2
Let p be 1 - (0 + -4)/(-4). Let c(r) = -r - 4. Let t(q) = -q - 3. Let o(g) = 2*c(g) - 3*t(g). Let f be o(1). Solve p*n = -f*n + 4 for n.
2
Suppose 28*o = 153 + 71. Solve -12*t = -4*t - o for t.
1
Suppose 22*w - 15 = 51. Solve -w*i + 7*i - 16 = 0 for i.
4
Suppose 10 = -388*w + 393*w. Solve -10 = -0*i - w*i for i.
5
Let z(f) be the third derivative of f**6/120 - 7*f**5/60 - f**4/24 + 3*f**3/2 - 27*f**2. Let o be z(7). Solve 0 = o*g + 9 - 1 for g.
-4
Let p = -558 + 591. Solve 29*m - p*m = -20 for m.
5
Let j(r) = -6*r**2 - 8*r + 2. Let w be j(-1). Solve 4 = -7*c + w for c.
0
Let z(m) = 38*m**2 - 58*m + 3. Let v be z(2). Solve 6 = 9*l - v for l.
5
Let t be 4*(-28)/(-16) - 2. Solve -t*f = -9*f + 4 for f.
1
Suppose 0*i = 5*i - 3*x, -2*i + 11 = x. Let a(t) = -2*t**2 - 5 - 3*t**3 + 2*t**i - 4*t + 2*t**3 + 3*t. Let d be a(3). Solve -d - 2 = -n for n.
3
Let b = 23 - 20. Suppose -h = 0, -h = -c - b*h + 5. Solve d + 8 = c*d for d.
2
Let l = 69 + -61. Let d = l - -30. Solve -5*p + d = 13 for p.
5
Let v be (-3)/(-8)*-4 + (-140)/(-8). Solve -v = -10*t + 4 for t.
2
Let v(c) = c**2 - 10*c - 9. Let j be v(11). Suppose 3*u = -j*u + 20. Let o = -708 + 711. Solve u*x - o*x = -2 for x.
-2
Let k(t) = -9*t - 56. Let o be k(-7). Solve -o*w = 17 - 3 for w.
-2
Let f be (-117)/(-78)*(7/3 - 1). Solve -2*m + 2*m + f*m = 0 for m.
0
Let f = -58 - -16. Let d = f + 47. Solve 3 + 17 = -d*x for x.
-4
Suppose -2*i + 13 + 19 = 0. Let c be 630/144 - 6/i. Solve 25 = c*d + d for d.
5
Let j(z) = -4*z**2 - 53*z - 7. Let m be j(-13). Solve 9 = i + m for i.
3
Let l(k) = -2*k + 70. Let o be l(27). Let a(y) = y**3 - 17*y**2 + 15*y + 19. Let c be a(o). Solve 5*h + 8 - c = 0 for h.
-1
Let t = 502 + -493. Solve 0 = -8*m + t*m + 3 for m.
-3
Let l be 0/((-2)/(-8)*4). Suppose -w + 6 = 2. Solve f - 2*f - w = l for f.
-4
Let n(m) = 3*m + 4. Let t(j) = -7*j - 9. Let p(f) = 9*n(f) + 4*t(f). Let r be p(-4). Solve -r*u = -6 - 10 for u.
4
Let u(j) = 4 + j + 10*j**2 + j**3 - 5*j**2 - 7 + j. Let q be u(-4). Suppose c - q*c = -24. Solve -5*h + 31 = c for h.
5
Let s(q) = q**2 - 3*q - 5. Suppose -n + 28 = 5*l, 0 = -2*l + 3*n + 2*n - 5. Let h be s(l). Solve 0*g + h = g for g.
5
Let u be (-10*3/(-15))/(4 - 3). Solve 4*c - 6 