**2 - 25*z + 14. Let q be u(-13). Solve q = 3*f - 11 for f.
4
Let y(i) be the third derivative of i**6/120 + i**4/24 + i**3/2 - 2*i**2. Let q be 60/(-45) + 8/6. Let k be y(q). Solve h - k + 7 = 0 for h.
-4
Let s(n) = -n**3 + 3*n**2 + n. Let r be s(3). Let f(c) = -c**2 + 2*c + 3. Let u be f(r). Suppose -t - 5 = -4*h, t = 2*t - 3. Solve -2*q + h = -u*q for q.
1
Let b = -64 - -67. Solve -2*g = g - b for g.
1
Let w(q) = -q + 22. Let p be w(10). Solve 5*v + 8 + p = 0 for v.
-4
Suppose 2*v = 4*p - 0*p + 2, 0 = -5*p + 2*v. Suppose -5*n + p*n = 0. Solve n = -4*y + 2 + 2 for y.
1
Suppose -4*d + 17 = 1. Solve 3 = d*c - 17 for c.
5
Suppose 0 = 3*l + j - 6, j + 1 + 1 = l. Suppose 5 - 71 = 3*d. Let t = 34 + d. Solve -l*o - o = t for o.
-4
Suppose 23 = t - 5*b, 4*t - 2*b + 3*b - 71 = 0. Suppose n = 2*n - 5*p - t, -4*p = 2*n + 6. Solve -7 = n*h - 4 for h.
-1
Let h(c) be the first derivative of c**3/3 + 2*c - 1. Let j be h(0). Solve 22 = 4*r + j for r.
5
Suppose -3 = 7*h - 8*h. Suppose -i = -2*i + 6. Suppose -5*y + h*n + 27 - 3 = 0, 0 = y - n - i. Solve 0 = -m + 4*m + y for m.
-1
Let z = 87 + -87. Solve -3*y + 5*y - 8 = z for y.
4
Let j = 33 - 30. Solve -2*h = j*h + 15 for h.
-3
Let i = -66 - -71. Solve -i*l = -4*l + 2 for l.
-2
Suppose -10 = -4*g + 2*y + y, 3*y - 6 = 0. Solve 0 = r - g*r - 9 for r.
-3
Let k(j) = -j**3 - 2*j**2 + 3*j + 2. Let o be k(-3). Suppose -3*b + 2*b + 28 = t, o*b - 31 = -t. Solve t = 4*g + 5 for g.
5
Let y = 25 + -13. Solve 5*l - 8 = y for l.
4
Let b = 12 + -6. Let p(d) be the second derivative of d**4/12 - d**3/6 + 6*d**2 + d. Let l be p(0). Solve -2*u + b*u = -l for u.
-3
Let f = 192 + -192. Solve 0 = 5*l - f*l for l.
0
Let i = 0 + 0. Suppose y - 2*c + 14 = 0, 4*c - 4 = -4*y - 0*c. Let j be (-16)/(-9) - y/18. Solve i = -0*o + j*o for o.
0
Let k = 0 + -23. Let z = 12 - k. Suppose z - 1 = 2*r. Solve -4*m - r = 3 for m.
-5
Let p(z) = -z**3 + 2*z**2 + z - 1. Suppose -3*h - 3*b + 8 = -10, -h = 3*b - 14. Let a be p(h). Solve -u = -2*u - a for u.
-1
Let t = -68 - -72. Solve 2*k = t*k for k.
0
Suppose -5*a + 2*x = -139, 5*a - 125 = -10*x + 5*x. Let m be 4/(-18) + 87/a. Suppose 0 = -m*o - o. Solve -10 = -o*c + 2*c for c.
-5
Suppose 3*w - 2 = 2*w. Suppose w*t = -3*b - t, -2*t - 6 = 0. Suppose b*d - 12 = -2*a, 4*a - 18 - 6 = -d. Solve 0 = 2*g - a*g - 20 for g.
-5
Let w be 2/2 - (-5 - -3). Suppose 4*k = 3*k + a, w*k = a + 4. Suppose s - 10 = 3*s + 4*m, -4*m - 22 = -k*s. Solve -s*v + 0*v = -12 for v.
4
Let w = 4 - 4. Solve -3*s = -w*s for s.
0
Let r = -9 - 0. Let s = r - -12. Solve 0*x + 12 = -s*x for x.
-4
Let y be -3*((-1)/(-1) - 2). Suppose -9 = -2*j + c, -j + 4*c - y*c + 4 = 0. Let n = -117 + 119. Solve -j*x + 22 = n for x.
4
Let g(u) = -2*u - 2. Let s be g(-1). Solve s = 2*c - 9 + 19 for c.
-5
Suppose 3*i - 24 = i. Suppose 3 = -s, 0 = -3*f + 8*f + 3*s + 29. Let j = 12 + f. Solve 5*t + j + i = 0 for t.
-4
Suppose -22 = -4*q + 2. Solve -q*o = -o for o.
0
Let t = -16 + 18. Solve -6 + 2 = t*u for u.
-2
Let y be 14 + (4 - (-5 - -8)). Solve -c - y = -6*c for c.
3
Let n = -109 + 111. Solve n*t - 4 = -0 for t.
2
Let t be 8/(-4)*(-15)/6. Suppose -t*w - 3 = 2. Let r be (3/(-9))/(w/42). Solve -r = -2*a - 4 for a.
5
Let d be 18/(-4)*4/(-6). Suppose 0 = 5*h - 5*g - 35, -2*g - 2 - 17 = -d*h. Suppose -1 = h*k - 6. Solve u + k - 4 = 0 for u.
3
Let a = 7 + 0. Suppose -a - 1 = 4*l. Let u be (0 - -2)*l/(-4). Solve -b = -0*b + u for b.
-1
Let v be 1*(1 - 3)*2. Let g = 0 - v. Solve g = m + m for m.
2
Suppose h = 2*c - 5, -5*c + 4*h - 8 = -4*c. Suppose -3*g - 1 = 2, 0 = 2*m - c*g - 8. Solve -2*v + 6 = -m for v.
4
Let a = 7 + -7. Let j = a + 0. Solve j = -v - 0*v + 4 for v.
4
Let c be 19 - ((-60)/4)/(-5). Solve -4*n - c = -0*n for n.
-4
Suppose 6*d = 5*d - 5. Let l = -5 - d. Solve l*w + 4*w = -12 for w.
-3
Suppose -60 = -5*v + 3*y + 447, 0 = -v - 4*y + 83. Let w = 57 - v. Let b be (-217)/w + 1/(-6). Solve 3*m - 17 + b = 0 for m.
4
Let z = 34 + -31. Solve -z*i = -4*i - 4 for i.
-4
Let h(c) = c**2 + 9*c - 90. Let l be h(-15). Suppose -5*z - 3 = -4*j, -5*j + 3*z + 1 + 6 = 0. Solve -j*t - 2 - 8 = l for t.
-5
Let l(q) = 6*q**2 - q - 1. Let y be l(-1). Solve -15 = f - y*f for f.
3
Let w be (-74)/(-14) - 6/21. Suppose -1 - 9 = -w*l. Suppose 3*x - x + 26 = 2*k, -x = l*k - 23. Solve -2*i - 4 = -k for i.
4
Suppose -2*a + 104 = -6*a + 2*s, -2*s = -3*a - 76. Let i = 32 + a. Solve -i*h = h + 25 for h.
-5
Let l = 26 + -22. Suppose l = -0*a + a. Solve 0*x + a*x = -8 for x.
-2
Let t(x) = x**3 + 7*x**2 + 9*x + 18. Let u be t(-6). Solve u = -0*i + i for i.
0
Let o(c) = 5*c + 69. Let z be o(-13). Solve f + 0*f = z for f.
4
Let l be ((-12)/10)/((-9)/150). Suppose -t - 12 = 3*o, -t - 5*o = t + l. Solve -v + t*v = 2 for v.
-2
Suppose 3*y - 1 = 5. Let k(p) = 10 - 2 + p + 0*p**3 - p**3 - 8*p**y. Let n be k(-8). Solve n = 2*j + j + 12 for j.
-4
Suppose 0*l + l = c + 4, -2*l - 3*c = -13. Solve l*f + 1 = -19 for f.
-4
Let q be ((0/(-2))/2)/(-2). Let d = 8 + q. Let i be 0/((0 + -1)*2). Solve 4*m + 0 - d = i for m.
2
Suppose 2 = -2*k + 3*k. Suppose 5*q = 4*q. Suppose 4*d + k*w + 2*w = 8, 5*w - 10 = q. Solve d = 5*u + 11 + 4 for u.
-3
Suppose 3*q + 2 = -2*o, -o + 2*o = q - 6. Let r be (17 - q) + (0 - 0). Solve -4*m = m + r for m.
-3
Let g = -6 + 11. Solve -g*q = -20 + 5 for q.
3
Let j = 59 - 56. Solve -f = j*f - 12 for f.
3
Suppose m + m - 12 = 0. Let f(x) = 5*x**2 + 4*x + 3. Let s be f(-2). Solve -3*t + s = -m*t for t.
-5
Suppose -2*l - z - 6 = -25, -5*z = -5*l + 55. Solve -3*v - 4 = -l for v.
2
Suppose -4*v + 37 = k + 6, -4*k - 47 = -3*v. Solve 7 + v = -4*z for z.
-4
Suppose -2*y + 6 = y. Solve 2*q - 4 = -y*q for q.
1
Suppose -2*w + 31 = -3*x - 4*w, 0 = -4*w - 8. Let c be 24/x*3/(-2). Let n(r) = r + 7. Let m be n(-3). Solve -m*q - 4 - c = 0 for q.
-2
Let y = -8 + 13. Solve -y*i = -18 - 2 for i.
4
Let m = 9 - 4. Suppose 0 = -6*g + m*g - 4. Let b = g + 8. Solve 9 = -w + b*w for w.
3
Let v = 184 + -176. Solve -3*d - 20 = -v*d for d.
4
Suppose 4*g + g - 5*j = 45, 4*g = -j + 41. Let c(x) = x**2 - 7*x + 5. Let h be c(7). Solve 0 = -5*n + g - h for n.
1
Let x be (-4)/6 + (-16)/12. Let w be (x/(-6)*0)/1. Solve j = 3 - w for j.
3
Let x be (-22)/(-10) - 4/20. Let a(q) = -x*q**3 + 11*q**2 + 8 + 3*q**3 - 6 + q + 11. Let w be a(-11). Solve 20 = -w*n - 3*n for n.
-4
Suppose -i + 11 = 5*u, -4*u + 9 = -2*u + 5*i. Suppose 5*h - 4 = 3*h. Solve u*p = -h*p + 16 for p.
4
Suppose 5*f - 16 + 9 = 4*n, -4*n = 3*f - 17. Solve 0 = -n*w - 1 - 5 for w.
-3
Suppose -12*r + 71 = 47. Solve -8*y = -6*y + r for y.
-1
Let q be (0/1)/(-4 + 3). Solve q = x - 4*x for x.
0
Let w = 24 + -21. Solve w*k - 15 = -2*k for k.
3
Suppose 5*m + 5*x - 1 - 19 = 0, 5*m = -3*x + 14. Solve -m = -o + 3 for o.
4
Let s be (-65)/2 + 1/2. Let r be (s/(-8))/(4/2). Solve -p = -r + 6 for p.
-4
Let h(v) = -v**2 - 8*v + 10. Let z be h(-8). Suppose 2*p = -0*p + z. Suppose -i - 4*j + 6 = 0, -j = 3*i - p*j - 2. Solve 0*c = -c - i for c.
-2
Suppose 2*o - 4*j = 16, 5*o + 7*j - 40 = 2*j. Let d(q) be the third derivative of q**4/24 + 2*q**3/3 - q**2. Let r be d(o). Solve r = 5*h - h for h.
3
Let g(t) = t**3 - 3*t**2 - 2*t - 4. Let y be g(4). Let z = -8 + 23. Solve -y*k = k - z for k.
3
Let p = 29 + -18. Solve -4*t + 1 = -p for t.
3
Let c(a) = a + 14. Let v be c(0). Let t(h) = h**3 + 2*h**2 - 3*h - 3. Let l be t(-3). Let r be ((0 - 0)/l)/(-2). Solve r = -5*y + 4 - v for y.
-2
Let i(l) = -l**3 - 2*l**2 + l. Let j be i(0). Solve -4*s + 7*s = j for s.
0
Let k = -202 - -207. Solve k*x - x - 12 = 0 for x.
3
Let v = 92 - 88. Solve -v*h + 6*h = 6 for h.
3
Let t be (2 - 28/16)*16. Solve -t = w - 1 for w.
-3
Suppose 2*j + 183 = 5*i + 544, -4*j - 8 = 0. Let w = 135 + i. Suppose -18 = -5*a + w. Solve 0 = 2*u + 2*u - a for u.
4
Suppose 30 = 5*q - 0*q. Suppose 10 = -3*b - 4*v, -4*v = 2*b + q + 6. Suppose -2*g + 0*h + 13 = h, 0 = 3*g + 5*h - 30. Solve b*x - g = 7*x for x.
-1
Suppose -11 = -2*o - 1. Solve o*a = 29 - 4 for a.
5
Suppose -9 + 5 = -2*g. Suppose 2*w - 8 = -3*o - g*w, -o + 2*w = -6. Solve 0 = -o*h + h + 9 for h.
3
Let k be 2/4 - 11/2. Let h be k/(-4) - 6/(-8). Solve -3*p + p = -h for p.
1
Let x = 3 - -4. Solve -x*b = -2*b for b.
0
Let i(b) = -b**2 + 4*b + 1. Let q = -16 + 24. Suppose -4 = -3*w + q. Let l be i(w). Solve 3*n - 2*n + l = 0 for n.
-1
Suppose 2*a + 2