 f.
-3
Suppose f + 1 = -4*o - 3, -4*o + 4*f = -16. Let m = 5 - 1. Solve o = -3*h - h - m for h.
-1
Let y = 23 + -17. Suppose 0 = 5*z + 2*s - 27, -3*z = s + 5 - 21. Solve -y*b + z = -b for b.
1
Suppose -5*a + 2*f = 1 - 3, 4*a = f + 1. Suppose 0 = 2*h + 4*x - 30, -3 = h - a*h - 4*x. Let m = h + -5. Solve -m*t - 2 = 10 for t.
-3
Suppose 0*g + 2*g - 12 = 0. Solve -g = z - 2 for z.
-4
Let i be (6/(-3) - -3) + 38. Let t = i - 19. Solve t = -3*o - o for o.
-5
Suppose -3*p + 8*p = 2*p. Solve -x + 0 + 1 = p for x.
1
Suppose 0 = v + v - 8. Let b be (-6)/(v/(24/(-9))). Let q be -2*7*(-2)/b. Solve -q*h + 2*h = 0 for h.
0
Let p(o) = 3*o - 3. Let k be p(3). Suppose -3*j - k = -5*j. Solve 12 = j*y - 0 for y.
4
Suppose 0 = 2*n - z - 3, 2*n + 3*z - 1 = 6. Solve -12 = -n*l + 5*l for l.
-4
Let p(k) = -2*k**2 + 20*k + 25. Let i be p(11). Solve 2*f = -i*f for f.
0
Let h = 35 - 32. Solve -2*x = -h*x for x.
0
Let j = 4 + -1. Let c(w) = -w**2 - w - 1. Let g be c(1). Let l be 1 + 6/g + 1. Solve l*d + j = d for d.
3
Suppose 2*g + 11*g = 0. Suppose 3*u = c - 2 - 9, -c - 5*u - 13 = 0. Solve 2*b + c = -g for b.
-1
Let w = 92 + -92. Solve w*k + 5*k - 25 = 0 for k.
5
Let c be ((-7)/(-14)*(-1 - 11))/(-2). Solve f - 2 = -c for f.
-1
Let j be 6/(-18) - 35/3. Let p = -6 - j. Solve -2*n = -2 - p for n.
4
Let n = 10 + -8. Let h(m) = 14*m**2 + 1. Let j be h(1). Suppose -y = -3*i - 9, 5*y - n*i - 3*i - j = 0. Solve y = -l - l for l.
0
Let m be ((-4)/(-8))/(4/24). Solve m*f = -4 + 19 for f.
5
Let k be 695/30 + 4/(-24). Solve 2 = 5*a - k for a.
5
Let i = 12 - 8. Let v(r) = -r**2 - 5*r + 6. Let j be v(-6). Let m = 2 + -1. Solve j = i*a - m + 17 for a.
-4
Let h(j) = j**3 + 7*j**2 + 7*j - 2. Let b be h(-6). Let f(w) = w**2 - 3. Let z be f(4). Let g = b + z. Solve 0 = -g*q + 2 - 7 for q.
-1
Suppose 3*j + 5*t - 26 = 0, 2*j = -3*t + 4*t. Suppose -4*m + j*m = -8. Solve m*p - 3 = 3*p for p.
3
Let t(b) = b**2 + 6*b + 3. Let x be t(-6). Let z be (6/4)/((-3)/(-6)). Solve 12 = z*l - x for l.
5
Let l be 4/4*-9 - 1. Let w be 2 - 0 - (12 + l). Solve 3*c = 15 - w for c.
5
Let h = -21 + 18. Let n be (h + 21/6)*0. Solve -4*l = -n*l - 4 for l.
1
Let t(i) = -2*i - 9. Let f be t(-6). Solve 0 = f*r + 1 - 4 for r.
1
Let f(n) = n + 12. Let z be f(-9). Suppose -33 = -3*l + 12. Suppose -3*q - 3 = -4*a, -q + 12 = 2*a + a. Solve -a*s + z = l for s.
-4
Let g(r) be the first derivative of r**3/3 + r**2 + 1. Let v be g(2). Suppose -2*k - v = -6*k. Solve -k*j = 10 - 4 for j.
-3
Let c = -19 - -15. Let v(i) = -i**2 - 5*i. Let b be v(c). Let j = -6 - -8. Solve j*a = -0*a - b for a.
-2
Let c(h) = -h**2 + 8*h + 9. Let n be c(9). Suppose -20 = -4*x - n. Let a(g) = g**2 - 4*g - 4. Let k be a(x). Solve r = -k - 4 for r.
-5
Suppose 5*q = -3*j + 69, -4*j = 5*q - q - 84. Let d be (j/(-8))/(3/(-8)). Suppose d*s - 3*s - 36 = 0. Solve 0 = -u - 2*u - s for u.
-4
Suppose 5*a + o - 21 = 4*a, 4*o - 102 = -5*a. Suppose -2*i + a = f, 0*f - 4*f + 4*i + 36 = 0. Solve 0 = -5*g + 3 + f for g.
3
Let f be ((-24)/(-9))/(2/3). Suppose 2*n - 4 = f. Solve n*h - 1 = -17 for h.
-4
Let x = -10 + 18. Suppose 2*w + 0*w + 2*a = x, 0 = w - 3*a + 8. Suppose 0 = -4*h + 43 - 7. Solve -2*z + h = -w for z.
5
Suppose 3*x + 4 + 17 = 0. Let v = x - -10. Suppose a - 17 = v*u, 3*a - a + 2*u + 6 = 0. Solve -m = a*m for m.
0
Let m be 1 - 0 - (4 + 1). Suppose 5*b - b - 44 = 4*x, 0 = -2*x + b - 20. Let i = m - x. Solve 0 = -k + i*k + 12 for k.
-3
Let u = -17 + 17. Solve 4*b - 8 = -u*b for b.
2
Let j(x) = 2*x + 1. Let p be j(-1). Let v be 5/(5/4) + p. Suppose v*s = 4*s. Solve s = -l + 2*l + 2 for l.
-2
Suppose 6*x - x = 0. Solve x = 3*q - 2*q - 1 for q.
1
Let k be (-4)/((-16)/4) + -1. Solve k*v = 4*v + 8 for v.
-2
Let i(x) be the third derivative of x**4/24 + 5*x**3/6 - x**2. Let q be i(-5). Let p = 28 + -27. Solve q = -g + p - 0 for g.
1
Suppose -l + 6 = j, -3*j + 4*l + 12 = -6. Let k = 11 - j. Solve 0 = k*v - 0*v - 25 for v.
5
Suppose 29 - 1 = -4*l. Let d = l - -11. Solve -d*q - 12 = -q for q.
-4
Suppose 9 - 1 = 3*l + 2*g, -5*l - 2*g = -12. Suppose -q + 60 = l*q. Suppose -q = -3*m + m. Solve 2*i + m = 4*i for i.
5
Let k(j) = 5*j - 4*j**2 + 3*j**2 + j + 2. Let c be k(6). Let m be (-1 - c)/3 - -3. Solve -3*d = m*d for d.
0
Let f = -106 + 108. Solve -4*x + 5*x = f for x.
2
Suppose 0 = 2*s - d + 1, 2*d - 19 = -5*s + 1. Solve y = -s*y - 12 for y.
-4
Let f be 42/8 + 3/(-12). Suppose -f*j - 3*x = 0, -2*j - 5*x = j. Let d be (4 - 8)*(-2 - 0). Solve j = 4*n + d for n.
-2
Let a be 29/9 + 4/(-18). Let x be a/(63/(-12))*-7. Solve 0 = 5*u - x - 6 for u.
2
Let n(t) = -t**2 + 8*t - 4. Let f be n(7). Solve -2*j - f*j = -25 for j.
5
Suppose -6*f + 15 = -3*f. Suppose -40 = -f*u + 4*l, -5*u + 12 = l - 3. Solve -6 + 18 = u*b for b.
3
Let w(l) = l**3 + 5*l**2 + 5*l. Let b be w(-3). Solve b*z = 8*z - 10 for z.
2
Let l(w) = -w**2 - w + 20. Let f be l(0). Suppose -4*v + 3*v - 2*u + 10 = 0, -4*v + f = 4*u. Solve -r - r = v for r.
0
Suppose -5 = 4*b + 4*v + 3, -3*v - 30 = -5*b. Let y = 18 - 15. Solve 0*q = -y*q - b for q.
-1
Let z = 30 + -21. Suppose -4*g + 8 + 0 = j, z = -g - 3*j. Suppose 4*p + 5*f = g*p - 13, -4*p + 4*f = -20. Solve 9 = u + p*u for u.
3
Suppose -s - 5*z = -2*z, 0 = 5*z + 10. Suppose t + s = -2. Let n be (-1 + 4)*t/(-6). Solve -15 = -n*a - a for a.
3
Suppose -3*x + 0*x = -105. Let q(m) = 45*m - x*m - 5 - 4*m**2 + 3*m**2. Let z be q(5). Solve -o - 4*o = -z for o.
4
Let x = 44 - 39. Let z(k) = -k**3 - 5*k**2 - 5*k - 2. Let n = -4 + 0. Let m be z(n). Solve -m*i - 5 = x for i.
-5
Let r = 2 - -2. Let y(m) = 3*m - 2. Let v be y(3). Let w = v + -7. Solve 2*u - r = -w*u for u.
2
Let f(t) = -t - 2. Let i be f(-4). Solve 0 = 2*q + i*q for q.
0
Let r = 2 + 1. Solve 7*d = r*d - 12 for d.
-3
Let q = 22 - 12. Solve 4*i = 2*i - q for i.
-5
Suppose 3*l - 7*l = 36. Let s = 11 + l. Solve -h = s*h - 12 for h.
4
Let y(j) = -j**3 - 26*j**2 - j - 20. Let c be y(-26). Solve -2*o + c = o for o.
2
Let i(g) = -13*g - 42. Let w be i(-4). Solve t + w = -t for t.
-5
Let k be -4*(-2)/4 + -2. Suppose k = -4*r - 4*w - 20, -1 = 3*r - 5*w + 6. Let q be r/(-18) - 2/9. Solve u + q*u = -4 for u.
-4
Suppose 4*u + 15 = 9*u. Suppose -u*h - 2*h = -220. Solve 5*k - h + 19 = 0 for k.
5
Let z be -3*4*4/(-24). Solve -z*x + 5 = 3*x for x.
1
Let m(d) = d**2 - 9*d + 13. Let i be m(6). Let y = 7 + i. Solve -2*l = y + 6 for l.
-4
Let d = 19 - 15. Solve -d = 5*p + 16 for p.
-4
Suppose -4*c - y + 19 = 0, -2*y - 2*y - 4 = -4*c. Let r(o) = o + 9. Let k be r(-7). Let l = 2 + k. Solve 2*b = c*b + l for b.
-2
Let w = 15 - 10. Let k = w + -3. Suppose 0 = -3*c + 4*c - 2. Solve 0 = -c*z - 0 + k for z.
1
Let v(u) = -u**3 - 6*u**2 + 6*u - 2. Let a be v(-7). Let q = a - 5. Solve q*n + 6 = 3*n for n.
2
Suppose -2*a + 4*y = -7 - 5, 5*a + 3*y = 17. Solve -5*h - 3 = -a*h for h.
-3
Let l be ((-4)/(-8))/((-2)/(-16)). Solve 0 = l*r - 9*r for r.
0
Let m = -116 + 119. Let c(h) = -2*h + 2. Let q be c(-7). Solve m*v - q = -v for v.
4
Let r = 136 - 132. Solve -f = 3*f + r for f.
-1
Suppose 16 = 14*k - 12. Solve 0 = k*t - 0*t for t.
0
Let q = 3 - 3. Suppose b - 3*b = q. Suppose -c - 4*c = b. Solve -f + 3 = -c*f for f.
3
Suppose 0 = i - 3*i + 20. Suppose -2*y = 3*y - i. Solve -y*m - 6 = -5*m for m.
2
Suppose -r - 3*b + 8 = 0, 5*b = 2*r - 4*r + 17. Suppose r - 3 = 2*u. Solve -u*h = -2 - 6 for h.
2
Let j = -20 - -38. Let d = -14 + j. Solve 8 + 8 = d*i for i.
4
Let f = 0 - -1. Let r be (6/5)/(f/5). Suppose -8*v = -5*v - r. Solve -m + 4 = -v*m for m.
-4
Suppose 15*y - 12*y = 12. Solve -y = -x - 0 for x.
4
Let o = -2 - -4. Solve -2*j + 8 = o*j for j.
2
Let s = -48 + 57. Solve 2*o + o = -s for o.
-3
Let t be (9/(-4))/((-6)/(-16)). Let k be (3 + t)*(-4)/6. Solve -4*m + 3*m = k for m.
-2
Let r = -1 - -3. Solve 2 = -r*o - 0 for o.
-1
Let o = 53 - 44. Solve 3*w = 6*w - o for w.
3
Let d = -10 - -35. Solve -5*y = -10*y - d for y.
-5
Let f(k) = -k**3 + 6*k**2 - 3*k - 1. Let v be f(5). Let c(d) = d - 5. Let q be c(v). Suppose q*z - 12 - 12 = 0. Solve -z = a - 1 for a.
-5
Let q be (-4)/(-3) + (-2)/(-3). Let c be (-1 + 2 + (-3 - -2))*1. Solve c = q*t + 3*t for t.
0
Suppose -6*b + 2*b = -3*v + 22, -3*b - 2 = 5*v. Solve -v*p = p for p.
0
Suppose 15 = 4*q + 3. Suppose -5*i = -q*i. Solve 0 = -i*g - 3*g for g.
0
Suppose 0 = 4*x - 13 + 1. Let w be 24/14 + 2/7. Sup