+ 7 - p = 0 for i.
2
Let k = -202 - -202. Solve -5*g + k*g = 20 for g.
-4
Let w(c) = 22*c + 11. Let y be w(11). Let s be 2/(-12) + y/(-66). Let d be s + 1 - (8 + -13). Solve -d*u + 6 = 16 for u.
-5
Let w be ((-96)/6)/4 + 0 + 4. Solve 5*k + 2 - 7 = w for k.
1
Suppose 0 = 3*f + 2*l - 7*l + 48, -5*l = 2*f + 32. Let u be 3/2 + 24/f. Suppose -4*i - 2*d + 66 = u, -15 = -3*i + 3*d + 21. Solve n + 2*n = i for n.
5
Let m = -137 - -139. Solve -5*c = -m*c - 6 for c.
2
Let f(o) be the first derivative of -2*o**2 + 4*o - 7. Let l be f(0). Solve -5*s + 6 = -l for s.
2
Let j be ((36/14)/3)/(66/231). Solve 0*q = j*q - 12 for q.
4
Let p(h) = h**3 + 4*h**2 - 10*h + 11. Let m(i) = 2*i**3 + 7*i**2 - 19*i + 23. Let d(f) = 2*m(f) - 5*p(f). Let b be d(-8). Solve 5*c + 8 = b for c.
3
Let d(a) = -a**3 - 2*a**2 - a. Let j be d(-2). Suppose -3*n - j*n = 0. Suppose 12*f + 34 = 262. Solve n = 3*u - f + 4 for u.
5
Let w be 87/21 - (-23)/(-161). Solve 25 - 17 = w*o for o.
2
Suppose -4*h + 7*h = 0. Let j be ((-6)/(-8))/(10/80) + -1. Suppose j*k = -h*k. Solve 2*l - l = k for l.
0
Let t(b) = b + 37. Let i be t(-16). Suppose -16*x + i*x - 20 = 0. Solve 5*v - x = 3*v for v.
2
Let s be 0/13*(-1)/2. Let o = s + 2. Solve -3*c - 7 = o for c.
-3
Let q be 10 - (-5 + 5 + 5). Solve q*u = -6 + 16 for u.
2
Let q(z) be the third derivative of -z**5/60 + z**4/3 + z**3/2 - 42*z**2. Let t(m) = 7*m + 1. Let g be t(1). Let p be q(g). Solve -p = j + 2*j for j.
-1
Suppose 0 = 18*d - 2*d - 192. Solve 0 = -0*c - d*c - 24 for c.
-2
Suppose 9*a = 53 - 44. Solve 2*q - a = 3 for q.
2
Let s be (-2)/11 - 6/(-33). Suppose -3*u - 5*v = -4*v, 2*u - 4*v = 0. Solve u = 3*r - 3 - s for r.
1
Suppose 2*p - 4*n + 2 = 0, 0 = -0*p + 5*p + n - 17. Suppose p + 6 = k. Solve 2*t - k = -3 for t.
3
Suppose 1 + 97 = 2*c. Solve 0 = c*g - 48*g for g.
0
Suppose 4*z + 74 + 182 = 0. Let h = -61 - z. Solve -h*w = -2*w for w.
0
Let a = 372 + -372. Let y = 35 - 33. Solve -3*r + y - 14 = a for r.
-4
Suppose -4*j = 2*j - 42. Solve 0 = 4*n - j*n for n.
0
Let p be 14/(-28) - 30/(-4). Solve -c - p*c + 8 = 0 for c.
1
Suppose 3*w + 4*c = 14, 0 = -2*w - 4*c - 1 + 13. Solve 0 = w*x + 8*x + 20 for x.
-2
Let g(q) = q + 1. Let n(s) = -2*s - 6. Let v(b) = 6*g(b) + 2*n(b). Let p be v(3). Suppose f - 1 = -p*f. Solve -3*w = 2 + f for w.
-1
Let m(s) = s**2 - s - 2. Let o be m(-2). Suppose 5*n - 26 = -o*y, 4*y + 2 = 3*n + 3*y. Let d be n - (-9)/6*2. Solve 4*v = d*v + 5 for v.
-5
Suppose -3*a - 37 + 55 = 5*y, 30 = 5*a + y. Solve 0 = 2*d + a - 2 for d.
-2
Suppose 0 = 3*v - 6, m + 5*v = -0*v + 10. Solve -2*u + 7 - 3 = m for u.
2
Let l = 72 + -72. Suppose -2*o + 10 + 0 = l. Solve o*y - 26 + 1 = 0 for y.
5
Let p be (4 - (-36)/(-8))*-38. Let w = p - 14. Solve 22 + 3 = w*t for t.
5
Let w(n) = -32*n - 7. Let z be w(-2). Let g = z - 53. Solve g*b + b - 5 = 0 for b.
1
Suppose 20*b - 21*b + 4 = 0, -13 = n - 5*b. Solve q - n = -9 for q.
-2
Let r(o) = o**3 + 4*o**2 + 5*o + 2. Let h be r(-2). Suppose -4*t - 4*t + 32 = h. Solve c = -t + 3 for c.
-1
Suppose 16*q - 7*q = 648. Let v = -62 + q. Solve 8*h = 3*h + v for h.
2
Let j = 79 + -77. Suppose -2*z = w - 0*w - 5, -35 = -j*z + 5*w. Solve z = 3*u - 1 for u.
2
Let t = -128 + 129. Solve -3*f - 2 = t for f.
-1
Let t be 5/(23 + -3) - (-13)/(-52). Solve t = y - 46 + 47 for y.
-1
Suppose -4*w + 5 + 4 = v, 0 = 5*w + 2*v - 12. Let z(l) = 2*l - 5*l + w + l + 3*l. Let y be z(2). Solve 3*f - 2*f = -y for f.
-4
Suppose -3*t - t - 2*a + 18 = 0, 4 = -4*a. Solve -26*d + t = -27*d for d.
-5
Let m(c) = -c**3 - 12*c**2 + 13*c + 8. Let d be m(-13). Suppose -d*k = -k - 49. Suppose k*a = 2*a + 10. Solve -a*f - f + 6 = 0 for f.
2
Suppose v - 18 = 3*q, 12*v - 4*q - 22 = 11*v. Solve 12*l - v*l = 0 for l.
0
Suppose 3*g = 10 + 5. Let h be -1 - -2 - (-1 + 0). Suppose -k = 0, l - 24 = -h*l + 2*k. Solve 0 = g*t - 3*t - l for t.
4
Let z(f) be the second derivative of -f**3/3 - f**2 - 2*f. Let h be z(-5). Let q be (-70 - -62)/((-4)/3). Solve q*b + h = 2*b for b.
-2
Let a = 608 + -603. Solve 4*r + a = 13 for r.
2
Let u be (-126)/(-54) + 1/(-3). Suppose -u*r - 3*f = 3 - 9, 2*r = 3*f + 6. Solve 0 = r*s - 5*s - 10 for s.
-5
Suppose 0 = 2*v - 8, -q + 3*v - 3 - 5 = 0. Suppose -2*x + q = 10. Let r be x - -2 - (-8 - -4). Solve -2*p - 5 = r for p.
-4
Suppose u = -0*u + 4. Let r = -37 + 50. Suppose -13 = -2*x + r. Solve 33 - x = u*n for n.
5
Suppose o - 3*y - 12 = y, 3*o = 2*y + 6. Let w(k) = -k**2 - 6*k + 4. Let m be w(o). Solve -2*a - m = 2*a for a.
-1
Let y(f) = f + 54. Let k be y(-29). Solve 3*j + 2*j = k for j.
5
Let h(w) = 4*w**2 + 0*w**2 - 60*w + 1 + 1 + 62*w. Let o be h(-1). Solve 4*a + o = 5*a for a.
4
Let b be (-6)/(-15) + (-35)/25. Let u be 106/12 + b/(-6). Solve -u = 2*g - 3 for g.
-3
Suppose t = -2*m, 5*t = 3*m - 0*m. Let r be (12/8 - 1)*m. Let s(w) = w**3 - 11*w**2 - 11*w - 9. Let z be s(12). Solve r = -z*c + 12 + 3 for c.
5
Let n(a) = a. Let b = -5 + 8. Let x be n(b). Let k be ((-6)/(-4) + 5 + -7)*(-23 - -23). Solve 0 = -k*w - w - x for w.
-3
Suppose -10*n + 11*n = 21. Let o(i) be the first derivative of i**4/4 - 10*i**3/3 + 9*i**2/2 + 3*i + 3. Let h be o(9). Solve -n = h*z - 6 for z.
-5
Let a(b) = 5*b - 7. Let j be (81/12 - 6)/(6/16). Let w be a(j). Solve -w*v - v + 20 = 0 for v.
5
Let g(s) = -s**2 + 3*s - 2. Let y be g(2). Suppose 10*r - 380 + 270 = 0. Solve y = -2*z - 1 + r for z.
5
Suppose 7 = -2*i + 17. Solve i*p + 10 = -0*p for p.
-2
Let f be (2 - (2 + 1))*-2. Let h(b) = 57 - b**f - 6*b**3 - 57. Let m be h(-1). Solve -5*s = -15 - m for s.
4
Let u = -102 + 107. Solve 0 = -n - u + 6 for n.
1
Let d(x) = -x**3 + x**2 - x - 2. Let a be d(-1). Suppose w + 2*w = 3, 5*v - 4*w = a. Solve 0 = -o + v - 0 for o.
1
Let y(s) be the second derivative of -s**3/6 + 2*s**2 - s. Let g be y(-17). Suppose -2*o + 3*h - 3 = 0, 0 = -2*o - 2*h - 3*h + g. Solve 0*i + o*i + 9 = 0 for i.
-3
Let t be 218/44 - (-419)/9218. Suppose 2 = n - 2. Solve -3*a - n = -t*a for a.
2
Let r = 949 - 944. Solve 15 = r*i + 15 for i.
0
Let m(t) = -6*t - 39. Let u be m(-7). Let p be 2*8/(2/1). Suppose 2*c = -0*c + 8. Solve -c = -u*h + p for h.
4
Suppose -5*q - 2 = -g, -6 = -11*g + 14*g - 3*q. Let r be (-16)/g + (-13)/39. Solve 5 = -r*u - 0 for u.
-1
Let k(w) = -3*w - 46. Let m be k(-17). Solve -m*x + 15 = 5 for x.
2
Let y be -142*(-2)/20 + (-8)/(-10). Solve -y*z + 20*z = 0 for z.
0
Let n = 403 + -394. Solve 4*a = 7*a - n for a.
3
Let n(w) = 3*w + 17. Suppose 14 = -2*f + 2*b + 4, -5 = -5*b. Let j be n(f). Solve -2*g - 3 = j for g.
-4
Suppose r = 4*v - 28, -v = 5*r + 12 - 40. Suppose o = v*o. Solve 8*n - 3*n - 25 = o for n.
5
Let p = -82 - -83. Suppose -25 = -3*q - p. Solve n = -q + 7 for n.
-1
Suppose 5*w + 3*x = 2*w + 105, x = -3. Suppose 4*k - w = -2*y, 5*y + k + 16 = 84. Suppose y = 2*z - 2*t + t, -4*z + 3*t = -23. Solve -i - i = -z for i.
4
Let h = 15 + -8. Suppose 4*s - 3*w = -h, 2*s - 34 = -3*w - 15. Solve -3*z = s*z - 25 for z.
5
Let u be (8/(-5))/(0 + 1/260). Let c be 6/27 - u/72. Solve -z + 5 - c = 0 for z.
-1
Let i(t) = -t + 5. Let a be i(4). Let y(l) = -l**3 + 2*l**2 + 4*l - 3. Let m be y(3). Let q = 3904 + -3902. Solve s - q*s + a = m for s.
1
Let t = 4 - 2. Suppose -117 = 11*f - 172. Solve y - t*y - f = 0 for y.
-5
Let v(z) = -z**2 - 15*z + 10. Let y be v(-15). Solve 2*o + y = 4*o for o.
5
Suppose 53*n = 7*n + 138. Suppose 4*a - 4 = 3*a. Solve n*x = a*x + 3 for x.
-3
Let a be -3*(-1866)/(-72) + (-2)/8. Let t = a - -78. Solve 5 + t = k for k.
5
Let h be 10*(-3 + (-95)/(-25)). Solve 5*z + 2 = -h for z.
-2
Suppose 0*s - 6 = -3*s. Solve -20 = -s*y + 6*y for y.
-5
Suppose 4*s - 9 = 3. Suppose -3 = -s*i - 4*a + 23, 0 = 2*i - a + 1. Suppose i*r = -3*r + 15. Solve -r*x - 3 = 3 for x.
-2
Suppose 7*w - 5*w - 30 = 0. Suppose -5*n + 5 = -w. Solve -n*q = -3*q + 2 for q.
-2
Let x = 6 - -14. Let z(i) = -2 + 20*i - x*i + 3 + i**3. Let p be z(1). Solve -p*j = -3 + 7 for j.
-2
Suppose 158*m + 22 = 168*m + 2. Suppose -3*y = -4*s - 2*y + 1, -4*s + 2*y + 2 = 0. Solve -4*k + m - 6 = s for k.
-1
Let s(y) = y**2 + 9*y + 4. Let t be s(-9). Solve -6*l - t = -2*l for l.
-1
Let f be 6/15 + 0 + 2024/40. Let q = 53 - f. Solve q*n = 4*n + 6 for n.
-3
Let h(c) = -3*c**2 + 2. Let r be h(2). Let y = r + 15. Let o(v) = -v**2 + 32. Let i be o(0). Solve i - 7 = y*j for j.
5
Suppose -c = 4*y - 7*y + 