. Solve i = -f*i - 12 for i.
-3
Suppose 0 = -u - 12*u + 104. Solve -3*l = -u + 2 for l.
2
Let m = 1 + -1. Suppose m = -3*w + 12 - 3. Suppose 5*s - g + 23 = 54, 2*g = -2. Solve 0 = -6*l + w*l + s for l.
2
Let p be 3 + -1 - (1 - -7). Let v = p + 9. Suppose -5*h = 4*u + 4, 3*h = u + 2*u + v. Solve -2*d = -h*d for d.
0
Let y be (12/(-36))/(3/(-18)). Solve -7*q = -y*q + 10 for q.
-2
Let w(n) = 5*n + 3. Let d(i) = -i. Let g(m) = 4*d(m) + w(m). Let a be g(2). Suppose a*z - 5*j - 4 - 6 = 0, 0 = -j. Solve 0 = -z*s + s + 1 for s.
1
Let n be (-576)/(-40) + (-5)/(125/10). Solve 5 = -n*u + 19 for u.
1
Let s be 22/6 + (-2)/3. Let o = 535 + -530. Solve o*p = 22 + s for p.
5
Suppose -1 = -2*d + x, x - 1 = 4. Let t = d - 3. Solve 3*u = -t*u for u.
0
Let m be 6*(-2 - -1) + 6. Solve -5*u + 25 + m = 0 for u.
5
Suppose -63*v + 2028 = -24*v. Solve -v*a + 10 = -57*a for a.
-2
Suppose -2*g = 8*c - 4*c - 8, 0 = -3*g + 5*c - 10. Suppose g = -3*w + 3 - 24. Let m be 28/98 - 68/w. Solve k + 4*k = -m for k.
-2
Let f be ((-2)/6)/(6/(-720)). Solve -105*h + 113*h + f = 0 for h.
-5
Let y = -158 - -178. Solve 0*x - y = -5*x for x.
4
Let s(b) = b**2. Let n(f) = 2*f**2 + 4*f - 7. Let r(d) = -n(d) + s(d). Let j be r(-5). Solve -1 = p + j for p.
-3
Let t(x) = x**2 - 21*x + 70. Let y be t(17). Let s(h) = 2*h + 1. Let b be s(1). Suppose m - 2 - 1 = u, -b*m + 19 = 2*u. Solve 20 = -u*i - y*i for i.
-5
Let z(p) = -2*p**3 + 10*p**2 + 14*p - 61. Let m be z(3). Solve -33 = 8*y - m for y.
-2
Suppose -4*s = -4 - 4. Suppose -3*m = 4*g - s*m - 58, 4*g + 4*m = 64. Suppose -8*c + w + g = -3*c, w = -c - 2. Solve 0 = 2*r - 3*r - c for r.
-2
Suppose 0 = -4*j - 0 - 4. Let x be ((-9)/j)/(3/2). Suppose -14 = -10*r + 16. Solve -r*k + x = -0*k for k.
2
Suppose 282 = 3*p + 270. Let b be (-2)/(-5) + (-38)/(-5). Solve -p*t - b = -0*t for t.
-2
Let c(j) = -j**3 - 14*j**2 - 23*j + 14. Let u be c(-12). Let x be (9/6)/((-2)/(-4)). Solve -x*o - u*o = 25 for o.
-5
Suppose 15 = -211*o + 216*o. Let t be ((-10)/8)/(2/(-16)). Solve v = o*v - t for v.
5
Let c = 51 + -184. Let t be c/(-57) + (-2)/(-3). Solve -t*l + 10 = 2*l for l.
2
Let l be -7*(-8)/56 + 48. Solve 0 = 6*k + 25 - l for k.
4
Let i(j) = -j + 2. Let k(o) = -o**3 + o - 2. Let c be k(-2). Suppose -7 = -c*s - 4*a + 1, 5*a - 10 = 2*s. Let v be i(s). Solve 17 = -3*t + v for t.
-5
Let w = 681 + -674. Let u = -4 + 1. Let o = u + w. Solve -z - 1 = -o for z.
3
Suppose 9*s = 4*s. Suppose s*u - 10 = -2*u + b, 3*u + 2*b - 8 = 0. Let z be 9/(-12)*(7 - (-87)/(-9)). Solve u*m - 3*m = -z for m.
-2
Let j(x) = -x**2 - 2. Suppose -4*a + 0*a - 12 = 0. Let o be j(a). Let c = o - -15. Solve c*q - 6 = q for q.
2
Let f(t) = -t**2 - 9*t - 5. Let m be f(-8). Suppose 217*n - 112 = 201*n. Solve m*g = 2 + n for g.
3
Let c(z) = 3*z**2 + 2*z - 15. Let h be c(3). Suppose -5 = -38*t + 37*t. Solve -t*y = -h - 2 for y.
4
Suppose -2*x = 3*i - 86, -x + 4*i = -3*x + 84. Solve -v = -41 + x for v.
-5
Let m(n) = 2*n**3 + 10*n**2 + 3. Let d be m(-5). Suppose d*v - b - 4*b = -5, -5*v = -2*b - 17. Solve v*k = 2 + 3 for k.
1
Let u(p) be the first derivative of -p**2/2 + 9*p - 5. Let s be u(7). Let v be ((-3)/9)/((-3)/18). Solve m + s = v*m for m.
2
Let r(z) be the third derivative of z**5/60 - 7*z**4/24 - z**3 + 4*z**2. Let t be r(8). Let i = 1 + t. Solve i = -5*u + 2*u for u.
-1
Let r = 702 - 693. Solve 4*l + r + 11 = 0 for l.
-5
Suppose 0 = -2*p - 6*h + 2*h - 4, -2*p + 3 = -3*h. Let o = p + 2. Suppose 5*z = o*a + 12, -a + 4*a = -z - 1. Solve -z = 2*v - 0 for v.
-1
Let i(g) = -g**3 - 6*g**2 - 5*g - 14. Let d be i(-6). Suppose 5*m = 2*x - 21, 3*x - 2 = 3*m + d. Solve x*p - 10 = 5 for p.
5
Let i(h) be the third derivative of -h**6/120 + h**5/30 + h**4/12 + 7*h**3/6 - 5*h**2. Let u be i(3). Solve u*n + 11 + 9 = 0 for n.
-5
Let z = 4 + -4. Suppose 3*i - 2*t = 7, 2*t + 3 - 5 = 0. Suppose i*j - 20 = -5. Solve -j*k + 10 = -z for k.
2
Let l(c) be the first derivative of -c**2 - 26*c + 9. Let p be l(0). Let o = 32 + p. Solve -z = -3*z + o for z.
3
Let m be ((-104)/6)/(12/(-18)). Suppose m + 74 = 4*r. Solve 4*f + r = -f for f.
-5
Suppose -m = -3*m + 12. Let r = -77 - -80. Let t(w) = 8*w - 23. Let q be t(r). Solve -u = q - m for u.
5
Suppose 29*o + 372 = 31*o. Solve 3*i + 192 = o for i.
-2
Let p be ((-68)/51)/(2/(-129)). Let d = p - 83. Solve 6 = -s + d*s for s.
3
Suppose 4*a + 2*y = 12, -y = 4*a + 4 - 18. Let x(o) = -7*o + 79. Let i be x(11). Solve -a = 2*l - i for l.
-1
Suppose k = -4*u + 4, 1 = -4*u + 3*k + 5. Solve u = -8*o + 9 for o.
1
Let g = 1412 + -1391. Solve 13 = -2*n + g for n.
4
Let x be ((-2)/3)/((-2)/291). Suppose 5*v + x - 17 = 0. Let w be (-66)/(-14) - v/56. Solve t = w*t for t.
0
Let z(a) = -a + 3. Suppose -2*i - 1 - 5 = 0. Let d be 2 + (-12)/(-3) + i. Let u be z(d). Solve u*p + 3 = -p for p.
-3
Let d = 2262 + -2253. Solve 14*q - d*q = -10 for q.
-2
Suppose 3*n - 6 = -5*g, 3*g - 4 = -7*n + 5*n. Solve -n*z = 3*z - 20 for z.
4
Suppose 0 = -283*u + 281*u + 22. Solve 1 = 3*n - u for n.
4
Suppose -2*k + 2*d + 26 = 0, -d - 25 = -3*k + k. Solve 0 = -k*h + 7*h - 25 for h.
-5
Let g = -57 - -34. Let r = -15 - g. Solve 0 = -k + 5*k + r for k.
-2
Let k(a) = 54*a - 638. Let q be k(12). Solve -4*u = -2*u - q for u.
5
Let p be 5 + (-6 - -2*(-6)/(-3)). Let t(w) be the first derivative of -w**2/2 + 8*w + 1. Let c be t(5). Solve c*f + 6 = -p for f.
-3
Let p = -138 + 138. Solve p = -0*l + 3*l - 12 for l.
4
Let k = 20 + -22. Let w be (0 + 0/k)/(13 - 12). Solve -3*s + 0*s = w for s.
0
Let w(l) be the second derivative of -l**5/10 - 13*l**4/12 + 5*l**3/6 - 9*l**2/2 - 26*l. Let m be w(-7). Solve -x + m*x = 8 for x.
2
Suppose -393*r = -417*r + 1368. Solve -3*u - r + 54 = 0 for u.
-1
Suppose -6*f - 8 + 134 = 0. Let x be (f/14)/((-2)/(-4)). Suppose -23 = -5*b - x. Solve b*w = -w for w.
0
Let k = 834 - 776. Solve -5*p = k - 48 for p.
-2
Let j be 1/(2 - 74/38). Suppose 0 = -5*u + j - 4. Suppose -u*s = -0*s. Solve -2*v + 3*v = s for v.
0
Let y be (65/(-13))/((-1)/2). Suppose -4*t + y - 2 = 0. Let w be 1 - ((5 - 4) + -3). Solve w*n - 25 = -t*n for n.
5
Let j be 9 + 1/(-2)*0. Let z = -67 + 114. Suppose -3 = 4*x - z. Solve -j - x = -5*m for m.
4
Let f(w) = w**2 + 5*w + 7. Let n be f(-4). Suppose 3*u + n*o - 16 = 5*o, 5*u + 2*o = 48. Let i be u/(-14)*14/(-4). Solve i = -d - 1 for d.
-3
Let u = -4 + 7. Let o = -6 + -4. Let f = o - -11. Solve -f - 11 = u*b for b.
-4
Let g be (-60)/36*144/(-10). Solve -g + 21 = a for a.
-3
Suppose 0 = 76*s - 130*s + 5670. Solve 18 = s*b - 111*b for b.
-3
Let c = -825 - -829. Solve -c*n = 5*n + 45 for n.
-5
Let q be 30/135 - (-4)/(-18). Suppose -3*j + q*j = -2*b - 12, 2*b + 4 = j. Solve a + 1 - 6 = b for a.
5
Let y be (-164)/(-6) + (-56)/42. Suppose -31 + y = -5*i. Solve 0 = 2*v + i - 7 for v.
3
Let z be 6/(-60) + (-1368)/(-80) + 3. Solve 6*s + 10 = -z for s.
-5
Suppose 2*b - 16 = -j - 2*j, -5*b + 25 = 0. Suppose j*f = 7 + 35. Suppose f = 5*m - 2*u - 0, 3*u - 3 = -4*m. Solve m = -w + 1 for w.
-2
Suppose -5*i + 19 = t + 3, -2*i + 5 = -t. Suppose 2*c - 2 = i*k, 2*k - 5*c + 3*c = -2. Solve 5*u - 9*u = k for u.
0
Let s(p) be the third derivative of -p**4/24 + 3*p**3/2 + 7*p**2. Let i be s(-13). Let f = i - 17. Solve 5 = -2*v - f for v.
-5
Let o(a) = -9*a**2 - 4*a + 8. Let z(r) = -27*r**2 - 11*r + 23. Let s(l) = 17*o(l) - 6*z(l). Let m be s(-1). Solve -2*i = i + m for i.
-3
Let n(a) = 8*a + 21*a - 22*a. Let s be n(1). Let v(f) = 2*f - 10. Let g be v(s). Solve g = q + 1 for q.
3
Let v = 31 - 26. Suppose 6 = v*a - 9. Solve 9 = a*l - 3 for l.
4
Suppose -5*n - 3*y = -1, -n + 3 + 6 = 5*y. Let v be (-2 - n)*1 + 6. Solve -4 = 3*f + v for f.
-3
Let a be 37 - (-2)/(4/4). Solve -a = -15*t + 36 for t.
5
Let j(h) = -10*h**2 - 6*h - 15*h + 4*h**3 - 9*h**2 + 24 - 3*h**3. Let v be j(20). Solve -v*m = -5 - 11 for m.
4
Suppose 2*d - 10*d + 152 = 0. Let u = d + -14. Solve -8 = -u*p - 3 for p.
1
Let h = 794 + -783. Solve 5 + h = 4*w for w.
4
Suppose 2*y = -2*b + 16, 5*y + b = -b + 25. Let g = 343 + -341. Solve y*d = -g*d for d.
0
Suppose 16*q + 28*q = 88. Solve 0 = -5*t + q*t + 3 for t.
1
Suppose 3*j = -2*s + 11, -j = s + 2*s + 1. Solve 5*c - j = 15 for c.
4
Let x be 0 - ((-3 - 0) + -5). Let s(u) = u**2 - 6*u. Let c be s(6). Suppose 5 + c = p. Solve -x = p*g + 17 for g.
-5
Let u(b) = b**2 + b + 9. Let v be u(0). L