*f + i - 16 = 0, 24 = 2*f - 3*i + 4. Solve 0 = -2*c + f - n for c.
2
Let a be 0 + 2 + 1 + -3. Let y be a*1/(3 - 2). Solve y = -3*p - 2 - 7 for p.
-3
Suppose -15 = -2*h - h. Suppose 0 = 3*c + 4*o - 23, -4*c - o + 2 = -7. Let q(l) = 3*l**3 - 2*l**2 + 2*l - 1. Let b be q(c). Solve h*d + b + 8 = 0 for d.
-2
Let t(u) = 2*u. Let y be t(1). Let b be (-7)/(-2) + y/(-4). Solve -d = 1 + b for d.
-4
Let j(u) = -4*u**2 - 2*u - 4. Let o(n) be the first derivative of n**3/3 - n**2/2 + n + 3. Let c(v) = -j(v) - 3*o(v). Let q be c(-5). Solve -q = a - 2 for a.
1
Let u(q) = -2*q - 3. Let j be u(-3). Solve -j*c = -2*c for c.
0
Let w(u) = u**2 - 4*u - 2. Suppose -2*t - 17 = -3*h, 0*h = h + 5*t. Let n be w(h). Solve n*d + 1 = -11 for d.
-4
Let c = 45 - 25. Suppose -c + 0 = -2*u. Let l = -5 + u. Solve l*r = -3 - 7 for r.
-2
Let h be 8 - (2 - (4 - 1)). Suppose 0 = -6*w + 2*w + 68. Let z = w - h. Solve -4*a = -z - 4 for a.
3
Suppose 2*b - 52 = -5*q, 4*q = 2*b + 3*q - 28. Suppose -5*s = -s - b. Solve -s*d = -7*d - 12 for d.
-4
Let m = 27 - 16. Let o = 30 - m. Let a be o/4 + 3/(-4). Solve -3 = -a*z + 13 for z.
4
Suppose 4*u - 54 = 5*q, -74 = -5*u + 2*q + q. Solve 0 + u = -4*k for k.
-4
Let r(a) = a**3 + 3*a**2 - 5*a - 1. Let n be r(-4). Suppose 40 = 3*t - 5. Solve n*z = 6*z + t for z.
-5
Let f be ((3 - 2)*1*0)/(-2). Solve 2 = -x - f for x.
-2
Let p be (7 - 7)*3/(-6). Solve 5*h - 2*h - 12 = p for h.
4
Suppose 4*b + 3*y + 6 = b, 3*b - 3*y - 18 = 0. Solve 3*w = 2*w - b for w.
-2
Let b be ((-6)/(-8))/((-4)/(-32)). Suppose -b*w + 7*w = 2. Solve -w*y + 0 = -2 for y.
1
Let z be ((-2)/(-6))/((-1)/(-24)). Solve 0*k = -4*k - z for k.
-2
Suppose -3*v - 7 = i, 4*v + 3 + 1 = -4*i. Let o = i + -2. Let b be (-4)/(14/4 - 4). Solve -3*h + h + b = o for h.
4
Let n(a) = a**2 - 8*a - 3. Let z be n(6). Let q be -3 - z/(3/1). Solve -q*x + 11 = 3 for x.
4
Let l = 21 - 11. Let g = l - 10. Solve -n = -g*n for n.
0
Let o(v) = -8*v - 5. Let u be o(-1). Solve -f + 2*f + u = 0 for f.
-3
Suppose -3*p = -0*p + 3*g, 3*p = -4*g - 5. Let o be (p/(-2))/((-2)/4). Suppose 10 - 3 = 4*w + o*d, -3*w - 3*d = -9. Solve 0 = 4*y - w - 4 for y.
3
Let u = 29 - 19. Solve -u - 10 = -5*g for g.
4
Suppose f = 6*f - 5. Let n be 6/(-1)*-1 - f. Let y = 7 - n. Solve 1 + 7 = y*r for r.
4
Let r be (-12)/5*(-85)/34. Solve d = r*d for d.
0
Let c be 2/3 - 165/(-9). Let x be 0 + 4/(4/c). Suppose 5*a - x = -5*j + 3*a, 5*j = 5*a + 5. Solve 0 = q - j*q + 10 for q.
5
Suppose -u = 1 - 16. Solve -r = -6*r - u for r.
-3
Suppose -4*f + 4 + 92 = g, 3*g + 62 = 2*f. Solve -z + 6*z = f for z.
5
Let r = -8 + 32. Let u be (r/4)/((-6)/(-4)). Solve 5*z = u*z - 5 for z.
-5
Suppose 0 = -4*a + q - 2*q + 2, -4*q + 8 = 4*a. Solve 3*p - 5 - 1 = a for p.
2
Let u(w) = -w**3 - 3*w - 2. Let k = -7 - -5. Let y be u(k). Solve 2*c + c = -y for c.
-4
Suppose -3*b - 64 = 2*b + 2*j, b = 2*j - 20. Let h be (-2)/(-7) + (-136)/b. Suppose 3*d - h = -1. Solve 2*l - d*l = 0 for l.
0
Let v be (-4)/(-18) - (-106)/9. Let m = v - 17. Let u = 0 - m. Solve -u*g = -2*g + 15 for g.
-5
Suppose l - 4 = -l. Suppose -l*q = -t + 10, 2*q = 1 - 11. Solve 4*r - 3 + 11 = t for r.
-2
Let d(b) = -3*b - 1. Let a be d(-7). Solve c - a = -3*c for c.
5
Let t(a) = -a**3 + a**2 + a + 3. Let f be t(0). Solve 0 = 5*m - f - 2 for m.
1
Let j(s) = s**3 - 2*s**2 - s + 1. Let o be j(3). Let r(n) = n**3 + n**2 - 2. Let l be r(2). Let i = l - o. Solve -2*u + 25 = i*u for u.
5
Suppose -3*v = 35 - 38. Solve 0*x = -x - v for x.
-1
Let t(x) = -x**3 - 8*x**2 - 10*x - 10. Let a be 14*3/(-8 - -2). Let u be t(a). Solve -1 - u = -4*d for d.
3
Let r(p) = -3*p**2 + 38*p - 22. Let l be r(12). Let x(h) = h**2 + 5*h - 5. Let m be x(-6). Solve l*t = -m - 5 for t.
-3
Let f be ((-4)/(-12)*0)/2. Solve f*o = -5*o + 20 for o.
4
Suppose 5*c - 3 = 2*c + 3*k, c = -2*k + 10. Suppose 0 = -s - c*s + 35. Solve -5*u + s = 32 for u.
-5
Let n be (-21)/(-14) + 3/6. Solve -u = -n*u for u.
0
Suppose 3*x = 4*y + 3, -4*y = -3*x - x + 4. Let d = -28 + 48. Suppose v - w = 3*v, d = -5*w. Solve -2*f + v = -y for f.
1
Let r be (3 - 5) + 23 + -1. Let l = r + -12. Solve -5*m = -3*m - l for m.
4
Suppose 5*z + 20 = 0, 3*t + 2*z = -z - 63. Let s be (t/(-17))/(2/20). Solve s = 4*q - 10 for q.
5
Suppose -5*v + 109 = 3*l, v + 12 = 2*l - 39. Let q be 77/l - 2/(-8). Solve -2*p + 15 = q*p for p.
3
Let a = 6 + -5. Suppose -a = -u - 4, -3*j = -2*u - 36. Solve 0 = -3*z + j - 4 for z.
2
Suppose 0 = -x + 3 + 2. Solve -b - 4*b = -x for b.
1
Let b(r) = -9*r**2 + 2*r. Let a be b(1). Let h be 22/6*(-3 + 0). Let i = a - h. Solve -3*o + o = -i for o.
2
Let x(k) = k**2 - 4*k + 10. Let q be x(3). Solve 12 = -3*m + q*m for m.
3
Suppose 4 + 3 = -3*j + o, -3*o - 7 = 5*j. Suppose -5 = 5*x - 5*l, 5*x - 11 = 4*x - 5*l. Let v be (-2 - j)/(1 + x). Solve v = 3*y - 3 for y.
1
Suppose 2*u - 5 = -3*u. Let d be u/((5 - 1)/20). Solve w - 6*w = d for w.
-1
Let v be (-2)/(-8) + (-98)/8. Let x be 1/1 - (v - 1). Let p be (2 + (-8)/10)*5. Solve -p = 4*q + x for q.
-5
Let s(l) = l**3 + 3*l**2 - 6*l - 3. Let r be s(-4). Let i = -55 - -117. Suppose 3*f + 14 = i. Solve 1 = r*t + f for t.
-3
Suppose -2*v + 5*l + 13 = 0, -2*v - 6*l - 37 = -l. Let d(i) = i + 6. Let h be d(v). Solve -t = -h*t for t.
0
Suppose 3*b + 14 = 2*w + 2*b, 4*w + 3*b = 28. Let x = -19 + 25. Let l(h) = -h**3 + 8*h**2 - 7*h - 3. Let y be l(x). Solve 0 = 5*i + y - w for i.
-4
Let s(x) = 3*x**2 + 1. Suppose -5*p - t + 1 = -5*t, 5*t = 5. Let h be s(p). Solve 12 = 2*w + h for w.
4
Let j(q) = -q**2 + 9*q - 6. Let l be j(8). Suppose -5*c + 15 = -l*c. Solve c*s = -18 - 7 for s.
-5
Let h be ((-6)/8)/(2/8). Let i be (2 - -22) + h + -1. Solve 0 = p + 4*p + i for p.
-4
Suppose 0 = -2*x - 0*x + 24. Solve -5*o = 37 - x for o.
-5
Let t be 2 + 2/(-4)*4. Solve -2*p - 3*p - 15 = t for p.
-3
Let x(m) be the first derivative of -m**4/6 - 4*m**3/3 + m**2 - 3. Let b(d) be the second derivative of x(d). Let y be b(-6). Solve -4*w + 0*w + y = 0 for w.
4
Suppose 4*u = -3*t - 11 + 3, 14 = t - 2*u. Solve t*r - 10 = -r for r.
2
Let a = -23 - -24. Solve 0 = 4*h + 7 + a for h.
-2
Suppose 8*w = 15*w - 28. Solve -4*s = -6*s - w for s.
-2
Let y(i) = -i**2 - 7*i. Let w(l) be the second derivative of -l**4/12 + 2*l**3/3 - 3*l**2 - 3*l. Let u be w(4). Let n be y(u). Solve -1 = -5*q - n for q.
-1
Let y(p) = p**2 + 20*p + 22. Let j be y(-19). Solve -k - 2 = -j*k for k.
1
Let v(f) = f**2 + 8*f + 7. Suppose 2*u + 2*h = -2*u - 32, u + 3 = 2*h. Let b be v(u). Solve b*g - 5*g = 0 for g.
0
Let u(l) = l**2 - 6*l. Let h be u(8). Suppose -m - h = m. Let f be (-3)/12 + (-34)/m. Solve f*t - 10 = -t for t.
2
Let h = 4 - -2. Let v be 0/((0 + 1)*-1). Solve v = -h*z + 2*z for z.
0
Let c(o) = o**3 + o. Let j be c(1). Solve 0 = j*q + 8 - 2 for q.
-3
Let g = -94 - -97. Solve -g - 1 = v for v.
-4
Let z(c) = 4*c - 3. Let o be z(6). Suppose q + o = 3*t + 3*q, 0 = -2*t + q + 7. Let y(k) = k**3 - k**2 + k + 12. Let l be y(0). Solve t*f + l = -13 for f.
-5
Let v(x) = -x**3 + 4*x**2 - x - 1. Let a be v(3). Solve a*b + 23 + 2 = 0 for b.
-5
Let i = 5 - 2. Suppose -3*f + 2*f + 1 = 0, -j + 5*f + 4 = 0. Let w(z) = z + 11. Let g be w(j). Solve -i*v = -7*v - g for v.
-5
Let q be -3*((-5)/3 + -1). Suppose 0*n - q = -4*n. Suppose -2*l - z + 4 + 1 = 0, -5*z = 5*l - 15. Solve 0 = -n*b - l*b + 16 for b.
4
Let x(f) = 3*f - 1. Let q be x(1). Let v be (0 + (3 - q))*5. Solve -v*u + 4 = -11 for u.
3
Let g be 1 + 2 + (3 - 2). Let h(a) = -a**3 - 3*a**2 - 2*a**2 + 2*a - 3 + 2*a**2. Let x be h(-4). Solve -g - 11 = -x*o for o.
3
Suppose -3*k = -22 + 7. Suppose -7 = -k*f + 3. Solve 4*i + 10 = f*i for i.
-5
Suppose -3*t - x = -166 - 207, -3*t = 4*x - 358. Let y be (t/(-35))/((-4)/10). Solve 0 = -a + 4*a + y for a.
-3
Suppose 10*z - 82 = -2. Solve -3*x = -z*x for x.
0
Suppose 5*t + 3 - 13 = 0. Let k = 2 - t. Suppose 0 = f - 3*c + 1, -3*c - 3 = -3*f - k. Solve -r + f = r for r.
1
Let f be (-1)/(-7) + 3 + (-15)/7. Solve f + 7 = 4*o for o.
2
Let d be 74/222*(-2)/(2/(-9)). Suppose -3*y + 13 = 2*x, 0*y + 3*y - x - 7 = 0. Suppose -3*f + g + 13 = 0, -27 = -2*f - y*g - 0*g. Solve d*z - f*z = 12 for z.
-4
Suppose 38 = 8*f - 66. Solve -7 - f = 4*s for s.
-5
Suppose 4*k - 4*o = 0, -4*k - 3*o = -2*k - 10. Solve -m - k = 2 for m.
-4
Suppose -3*q = -2*q - 2. Solve 0 = l + l - q for l.
1
Let b = 0 - -4. Suppose