 be 4*(-2)/4 - 1. Let a be (1/n)/((-3)/k). Solve 0 = 2*c - a - 1 for c.
2
Let h(b) = 9*b - 19. Let f be h(3). Solve 0 = -4*q - f - 12 for q.
-5
Suppose 15 = -3*x + 3*i, 3*x + 15 = 2*i - 1. Let t(a) = a**2 + 6*a + 4. Let y be t(x). Suppose -l - 6 = -y*l. Solve -l*h - 3 = 5 for h.
-4
Suppose 2*u + 5*f + 1 = 25, 0 = 2*u - 2*f + 4. Suppose -3*l + 5 = -4. Solve l*k + u = 14 for k.
4
Suppose 0 = -0*h + 3*h + 324. Let s be h/(-45) - 4/10. Solve -s*r - 1 = 1 for r.
-1
Suppose -k - 4*o = 10, 2*k + k - 3*o = 0. Let h = 6 - k. Suppose -h = -2*w - 0*w. Solve -2 + w = l for l.
2
Suppose 0 = 2*w - 4*w + 6. Solve 0 + w = s for s.
3
Suppose -l + 6 = 5*u - 12, 22 = 5*u - l. Solve 4*x + u + 4 = 0 for x.
-2
Suppose 0 = -4*j + 6 - 2. Solve -k + j = -3 for k.
4
Suppose -86 - 14 = -5*c. Let r = -22 + 16. Let g = 10 + r. Solve t = -g*t + c for t.
4
Let b = 48 + -43. Let l = -2 + 6. Solve j = -l*j - b for j.
-1
Let r(a) = -a**3 - 4*a**2 - a - 3. Let n be r(-4). Suppose 5*m + n = c + 2, 4*m = 5*c + 5. Solve -x = -m*x for x.
0
Let f(r) be the third derivative of -r**6/120 + r**5/15 + r**4/4 - 2*r**2. Let l be f(5). Solve l*q = q - 4 for q.
-1
Let a be (1/2)/((-2)/4). Let c be -1 - (a + 0)*3. Let h = 1 + -1. Solve c*x - x = h for x.
0
Suppose 4*t - 4*h + 8 = 0, -4*t + 2*t + 24 = 5*h. Suppose 0 = -0*z - 2*z + 2. Let c = z - 1. Solve c = -4*s - t + 6 for s.
1
Let z be ((-20)/(-7))/(4/14). Let o(v) = v**3 - 10*v**2 + 2*v - 5. Let y be o(z). Solve -f = -6*f + y for f.
3
Suppose 0 = -u - 0*w + 2*w + 10, -2*u - 5*w = 16. Suppose 5*q + 5*i = -0*q + 15, -2*i + 6 = -u*q. Let g = q - -2. Solve n + g = -2 for n.
-4
Let k be (-3 - (-1 - 1)) + -1. Let w be (1 - 1)*(k - -1). Solve -3*v + w = -6 for v.
2
Suppose 5 = -2*y - 2*k + 15, 4*y - 22 = -5*k. Solve 6 = -0*q + y*q for q.
2
Let r(a) = 3*a**2 + 35*a - 10. Let k be r(-12). Solve 4*i - k*i = 0 for i.
0
Let m = -4 - -1. Let w be (-2)/m + 52/12. Solve 0 = -w*c - 2 + 17 for c.
3
Suppose 7*c - 38 = 4. Solve 4*l - 6*l = c for l.
-3
Let i(f) be the second derivative of -f**4/12 - 2*f**3 - 9*f**2/2 - f. Let w be i(-11). Solve -w - 2 = -2*k for k.
2
Suppose -5 - 7 = 4*v, v = 5*n - 28. Suppose -4*k + n = 1. Solve -g + 2 = -k for g.
3
Let y = -7 - -9. Suppose 3*o - y = 2*o, 0 = z + o - 7. Solve z*i + 4 = i for i.
-1
Let d = 124 - 124. Solve 5*y - 8 - 2 = d for y.
2
Let r(l) = 2*l**3 - 2*l**2 - 3*l + 3. Let z be r(2). Let u be 4/14 - 26/(-7). Solve u*d - 5*d + z = 0 for d.
5
Let h(n) = -2*n + 2. Let m be h(-4). Solve 3*x = -2*x - m for x.
-2
Let i(s) = -s**2 - 20*s - 59. Let x be i(-16). Solve -1 = x*g + 14 for g.
-3
Let u be 1 + 2 + (1 - 0). Suppose -u*r - 3*n + 3 = 1, 5*n = -5*r. Let z be 5/r*2*1. Solve z*y = 7 + 18 for y.
5
Let h be 17 - (0 + -3)/1. Suppose -h = -m - m. Solve 5*o - m = 5 for o.
3
Let z = 0 - -8. Solve -z = 4*i - 28 for i.
5
Let c = -47 + 87. Let g = -20 + c. Solve -2*y = -7*y + g for y.
4
Suppose -2*t + t = -4. Solve 11 + t = 5*h for h.
3
Let u(k) = k**2 + 9*k + 7. Let v be u(-9). Solve -v*i + 12 = -3*i for i.
3
Let n(a) = a**3 - 10*a**2 + 18*a - 11. Let y be n(8). Solve 4 + 1 = -y*k for k.
-1
Let w be (10/(-15) + 1)*6. Solve -d + 1 = w for d.
-1
Suppose 5*k = 4*y, -5*k = 3*y + 8 - 43. Let u(q) = q - q**2 - q + k*q. Let g be u(2). Solve g + 2 = -2*x for x.
-3
Let b(u) = -u + 14. Let d be b(12). Suppose -4*h = -d*h - 46. Suppose 3*z = 5*t + h, -4*t + 3*t = -4*z + 25. Solve -z = 2*r - 0 for r.
-3
Let z(f) = 6*f + 2. Let q be z(-1). Let c be (q/(-8))/(2/8). Solve c*t + 10 = -0*t for t.
-5
Let b(d) = d**2 + 8*d - 7. Let y be 12/16*(-13 + 1). Let m be b(y). Solve -8 = 2*n - m for n.
-3
Let i(w) = w**3 - 4*w**2 - 5*w + 6. Let d be i(5). Solve d - 18 = -4*p for p.
3
Let z = 11 - 7. Suppose z = -n - 3. Let j(x) = -x**3 - 8*x**2 - 6*x + 9. Let d be j(n). Solve d*u = -3*u for u.
0
Let h = 17 + -12. Suppose -n = 3*o - 13, o - h*n + 1 = -0*n. Solve -j = -o*j - 15 for j.
-5
Let z(y) = -y**2 - 7*y - 6. Let k be 5/(-2)*(-6 + 4). Suppose 1 = -k*q - 24. Let m be z(q). Solve u = -m*u + 20 for u.
4
Let z(n) = -2*n - 13. Let x be z(-9). Let q(h) = -h**2 + 5*h. Let l be q(x). Solve 5*y = -l*y + 15 for y.
3
Suppose 2*j - j - 4 = 0. Let x = j + 1. Solve -y + x = -0 for y.
5
Let z be ((-36)/(-8))/((-3)/4). Let u(x) be the first derivative of x**3/3 + 5*x**2/2 - x - 2. Let k be u(z). Solve -4 = l - k*l for l.
1
Let l(i) = -i**2 - 8*i - 6. Let u be l(-5). Suppose 0 = 2*x + 4*f - 12, 2*x - u = -2*f - f. Let r = 0 + x. Solve -y - 5 = -r*y for y.
-5
Let l(i) = 2*i + 8. Let j be l(-4). Suppose x = p - j - 1, -2*x - 3*p = -3. Solve a = -x*a + 1 for a.
1
Let s = -23 + 35. Let j be 2*(3/(-3) + 2). Suppose -s = -q - j*q. Solve -q + 0 = -i for i.
4
Let g(b) be the second derivative of b**4/12 - 2*b**3/3 - 3*b**2 + b. Suppose -13 = 2*d - 0*d + 5*m, 4 = 4*d + 4*m. Let l be g(d). Solve -l*c = -2*c + 20 for c.
-5
Let b(i) be the third derivative of i**4/12 - 5*i**3/3 - 8*i**2. Let f be b(6). Solve -f*c - 3*c = 15 for c.
-3
Let w(o) = o**3 + 9*o**2 + 7*o + 2. Let h be w(-8). Solve 5*p + 0*p + h = 0 for p.
-2
Let z = 0 + -4. Let q(d) = d + 10. Let g be q(z). Solve 4*h + g = h for h.
-2
Suppose 4*y - 30 = -10. Let t(q) = q + 0*q + q - 7. Let r be t(y). Solve r*c + 15 = -2*c for c.
-3
Let i(b) = b**2 - 5*b + 6. Let v be i(5). Suppose 0 = -9*q + v*q. Solve 5 = -h - q for h.
-5
Let q be 1/1 - (2 - 3). Solve q - 1 = -h for h.
-1
Let v be ((-20)/8)/(2/(-4)). Solve v*j + 35 = 10 for j.
-5
Suppose 9*j + 4*j = 13. Solve 4*y = -11 - j for y.
-3
Let o(b) = b**3 - b**2 - 43. Let v be o(0). Let i = v + 31. Let k be (4/(-12))/(1/i). Solve -k*t - 1 - 3 = 0 for t.
-1
Let x be (-6)/(-2) - (-44)/1. Suppose 0 = 5*m - 2*t - x, 4*t = 3*t - 1. Suppose 3 = -o + m. Solve k - o = -k for k.
3
Let j = 8 + -5. Let n(k) = -k**3 + 4*k**2 - 2*k + 1. Let s be n(j). Solve s*o - 5*o + 2 = 0 for o.
2
Suppose -4*p + 8 = -0*p. Solve h = 3*h + p for h.
-1
Suppose 0 = 2*r - 6*r - 4. Let x be -3*r*4/12. Solve -5*c + 9 = -x for c.
2
Let b be -5*4/(-3 + -1). Solve -8*p + 3*p - b = 0 for p.
-1
Suppose 5*y - 30 = -5*o, 0*y - 4*o = -5*y + 3. Let v be y*(-1)/(-6)*0. Suppose v = 2*d - 3*d + 4. Solve -b = d - 1 for b.
-3
Let a(d) = -d**2 - 4*d + 4. Suppose 2*t + 12 = -t. Let u be a(t). Solve -2*w + u - 6 = 0 for w.
-1
Suppose -2*i - 2 = -3*r, 3*r + 2 = -3*i - 1. Let n = i + 4. Let q(j) = -3*j - 10. Let a be q(-5). Solve n*s = -2*s - a for s.
-1
Let q be 25/(-3) - (-1)/3. Let d(i) = i + 8. Let z be d(q). Let o = -28 + 35. Solve -2*g + o*g = z for g.
0
Let s = -5 - -7. Let p be -2 + 1 + (1 - s). Let v = p - -7. Solve v = -j - 0 for j.
-5
Let l(r) = -r**2 - 9*r - 8. Let x be -10 - (-1 - (-1 + 3)). Let p be l(x). Let g = 3 - 0. Solve -3 = g*k - p*k for k.
1
Suppose 9*a = -a + 30. Solve 6 = -a*k + 18 for k.
4
Let v = -23 - -23. Solve 2*j - 5*j - 3 = v for j.
-1
Suppose 0 = -3*h + h. Solve -4*w - 12 = -h*w for w.
-3
Let q(a) = -2*a - 2. Let s(o) = o**2 + 9*o + 4. Let t be s(-8). Let y be q(t). Let b be (-8)/28 + 86/7. Solve y*u - 2*u + b = 0 for u.
-3
Let l(x) = -x**2 - 9*x - 12. Let a be (-1 - (-21)/(-6))*2. Let r be l(a). Let j = -7 - r. Solve 4*q + j = -q for q.
-1
Suppose 12 = 3*i - 9. Let n = 8 - i. Solve -4*v + n = -3 for v.
1
Let s = 24 + -24. Solve s = 8*l - 6*l - 2 for l.
1
Suppose 4*y = -3*f + 4, 2*y + 3*y - 40 = 5*f. Let q be 14/3 - f/12. Let j be -2*1 - -15 - 1. Solve -k + j = -q*k for k.
-3
Let q(a) = -7 + a**2 + 0 + 3*a + 0 + 0*a. Let u be q(-5). Solve u = -l - 0*l for l.
-3
Let f(n) = 2*n + 10. Let h be f(0). Solve -5 - h = 5*a for a.
-3
Suppose v + 0*y - 6 = -4*y, -4*y + 8 = 0. Let i(p) = p**2 - 3*p - 5. Let k be i(v). Solve -k*n - 4 = -4*n for n.
-4
Suppose -d + 3*d - 2*h = 12, -20 = -2*d + 4*h. Solve -3 = d*s - 1 for s.
-1
Let b = 13 - 28. Let g be (-10)/b - (-46)/(-6). Let l = g + 7. Solve 0 = i - l*i + 3 for i.
-3
Let j(i) = i**3 + i - 1. Let b(u) = -4*u**3 + 4*u**2 + 2*u + 3. Let n(s) = -b(s) - 3*j(s). Let z = -3 - -8. Let r be n(z). Solve 2*w = -r*w - 10 for w.
-5
Suppose -u - 6 = 2*u. Let q be (u/(-5))/((-6)/(-120)). Suppose 0 = -2*i - s + q, 3*i + 14 = 4*i + 3*s. Solve 0 = i*p - 10 + 2 for p.
4
Let q be (-23 - -21)/(2/(-8)). Solve -q + 23 = 5*p for p.
3
Let w be -2*1/(6/(-6)). Solve -7 = -w*k - 1 for k.
3
Let n = 0 + 1. Let l = n + 3. Let a = l + -2. Solve a*m = 6 - 2 for m.
2
Let w(z) be