= -p**2 - 7*p - 12. Let m be a(-6). Let c be (-11 - m/2)/(-2). Suppose -c*l = -3*l - 1. Solve j - 4 = -l for j.
3
Let z = 172 - 167. Solve 3*x - z = -14 for x.
-3
Let t = 260 + -257. Solve 6*x + 21 = -t for x.
-4
Let r be (2/(-4))/(5/(-30)). Let z be r + 4 + -3 - 2. Suppose z*l - 11 = -7. Solve 6 = l*d + d for d.
2
Let i be (3 - -3) + (-20)/5. Let j = 4 - i. Solve -j*g = -6 - 2 for g.
4
Let u(v) = -49*v - 7. Let j be u(-2). Suppose h + 89 = j. Solve -h*c - 1 = 7 for c.
-4
Let u be (24/(-40) + (-2)/5)*-4. Solve 1 = u*f + 17 for f.
-4
Let j(s) = -s - 7. Let k be j(-11). Suppose 1 = -k*t - 7. Let r be (0 - 0)/(1 + t). Solve r*z = -3*z for z.
0
Suppose -1 = -p + 1. Suppose -12 = 3*a, -4*s - s - 3*a = 22. Let q be (1/(-2))/(s/24). Solve -2*l + q + p = 0 for l.
4
Suppose -4*r = 5*s - 16, 3*r - 12 = -0*r - 2*s. Let o(t) = -t**3 + 6*t**2 - 4*t - 2. Let l be o(5). Let z be (l/1 - 10)*-2. Solve -r*j - z = 2 for j.
-4
Let c = 202 - 187. Solve -c*m + 19*m = -12 for m.
-3
Let l be (-3)/(-1)*16/24. Suppose a = 2*a + l. Let i be (3 + -11)*a/4. Solve 0 = -3*h + i*h + 4 for h.
-4
Let i be 3*(-44)/(-21) - (-2)/(-7). Suppose i*n = n. Solve n*w + w = -4 for w.
-4
Let c(o) = 6*o + 2. Let k be (-11)/(-22) + (-9)/(-2). Let r be c(k). Suppose 3*a - 7*a + r = 0. Solve 7 + a = -5*h for h.
-3
Suppose -15*i + 40 + 5 = 0. Solve -2*x - i*x = -0*x for x.
0
Let q(c) = 551*c - 2 - 552*c - 14. Let i = -6 + -12. Let s be q(i). Solve 0 = -s*k + k - 2 for k.
-2
Suppose 6 = j + g, 19 = 4*j - 0*g - g. Let h be (-456)/(-60) + (-2)/(-5). Suppose h*u - 3 = 7*u. Solve 0 = -j*z + u*z - 6 for z.
-3
Let p(l) = -11*l + 10 + l**2 - 2 + 2. Suppose 12 = -6*s + 72. Let w be p(s). Solve w = -u - 0*u - 2 for u.
-2
Let t be (-16)/104 - 2/(-13). Suppose -3*q + 15 = t, q = -l - l + 17. Solve 2*z + z = -l for z.
-2
Let l(g) = -3*g**2 - 2*g + 2. Let u be l(-1). Solve 4 = -r + u for r.
-3
Suppose 8 = -2*l, -l + 8 = 5*p - 3. Suppose -z - 3*q + 5 = 0, q + 4 = -p*z + 3. Let n be (z - -12 - 3)/2. Solve 2*o = -0 - n for o.
-2
Let w = -18 - -13. Let j be 15/w + 3 + 0. Solve j*a - 10 = 2*a for a.
-5
Let t(r) be the first derivative of -r**3/3 + 2*r**2 + 15*r + 4. Let g be t(6). Solve -g*x = -0*x + 6 for x.
-2
Let r be ((-76)/(-6) - 12/18) + 2. Suppose r = -23*f + 25*f. Solve 4*h - f = 5 for h.
3
Let k be -1 + 0 + 4 + -5. Let l be 390/(k - 1) + -3. Let j be l/(-49) + (-2)/(-7). Solve 0*c + j*c = 3 for c.
1
Let j(d) = 2*d**2 - 20*d + 21. Let c be 3 - (-1 - (-2 - -1 - -6)). Let s be j(c). Solve 7*i + 20 = s*i for i.
-5
Let s be (0 - 3 - 27)/((-2)/1). Suppose -2*m - f + s = 0, -3*m - 20 = -6*m - 4*f. Solve -5*k = -k - m for k.
2
Suppose -19*t - 24 = -22*t. Let o(j) = -3*j + 2. Let h be o(-7). Suppose h = 5*z + t. Solve 0 = d - z*d for d.
0
Suppose 2*f = 11 - 1. Suppose 4*g = -3*k + 6*k - 2, 5*k = -4*g + 14. Solve -f*o + 3*o = k for o.
-1
Let o(u) = -u**3 + u. Let h be o(-1). Solve h = 2*r + 3*r + 5 for r.
-1
Suppose -4*u + 9 + 3 = 0. Suppose u*g = 12*g. Solve g = 3*h - 4*h for h.
0
Let w = 49 - 45. Let m be (2*(-6 - -3))/(w/(-2)). Solve -m = o + 1 for o.
-4
Suppose 4*b - 6*b = 0. Let m be ((b - 0) + -2)/(-1). Suppose 0 = -5*i + 5*v + 10, v + 4*v = 3*i - 4. Solve i = -m*o - o for o.
-1
Suppose -4*y - 2*q - 15 + 29 = 0, 0 = y + 3*q - 6. Solve 0 = -y*a - 2*a + 5 for a.
1
Let v = 231 - 229. Solve 0 = 4*t + v*t for t.
0
Let b(c) = -2*c - 10. Let u be b(-7). Suppose -10 = -o - 2*w, -5*o + 22 + u = 4*w. Let h be o/(-5) + 35/25. Solve -a - h + 0 = 0 for a.
-1
Suppose -4*c = 5*j - 83, -2*j - j + 3*c + 39 = 0. Let x be 3/(-15) - (-18)/j. Solve 5*p - 21 = -x for p.
4
Suppose -5*a - 14 + 74 = 0. Let j be 2/(-8)*18*8/(-3). Let h = a - j. Solve h = l + 4*l for l.
0
Suppose -3*a + 4*o = -90, -3*a + 6*o + 87 = 3*o. Let d = 29 - a. Solve 2*k = -1 + d for k.
1
Let f be (-2 + -1)/((-2)/(104/6)). Solve -4*l = f - 18 for l.
-2
Suppose 46*f - 1332 = 692. Solve -9*a - 13*a + f = 0 for a.
2
Let k(m) be the first derivative of m**4/4 + 11*m**3/3 + m**2 + 24*m + 13. Let d be k(-11). Let i be (-2)/((-4)/26)*1. Solve -d*g = -3 + i for g.
-5
Suppose 5*n + 3*c = 15, -4*n + 5*c + 40 + 9 = 0. Solve -s + n - 1 = 0 for s.
5
Let p = 119 + -117. Solve -u + 6 - p = 0 for u.
4
Let x = 10 + -12. Let d be (-1)/((-4)/(-40)*x). Suppose d*k - 24 = 2*k - 5*j, -2*j + 6 = 0. Solve -k*t = -t + 2 for t.
-1
Let p be 52/(-91) - (-16)/28. Suppose -2*q + 7 = -3. Solve p = -5*w + q + 20 for w.
5
Suppose 5*x - 20 = 0, -r + 9 = -39*x + 40*x. Solve 28 - 3 = -r*p for p.
-5
Let p(b) = -b**2 + 6*b - 1. Let j be p(8). Let s = j - -30. Let d = -6 + s. Solve 3*r = d*r + 12 for r.
-3
Let y(t) = 3*t - 2. Let h be y(4). Let j = h + -8. Suppose 2*v + 3*v - 5 = 0. Solve p = -j - v for p.
-3
Let i be (3 + (-6)/3)*(-13 - -13). Solve -6*d + 4*d = i for d.
0
Let a be 30/(1/(20/6)). Suppose -3*h - 6*j = -j - a, h = -5*j + 40. Suppose -4*n + 5*b = 12 + 1, 5*n + 3*b - h = 0. Solve 0 = -0*y - n*y - 12 for y.
-4
Let s be -1*(-2 - -3) + -18. Let i(b) = b**2 + 19*b + 4. Let k be i(s). Solve 1 = -p - k for p.
-5
Suppose 3*j - 8 = j. Suppose 2*y + 7 - 51 = 0. Let w = -19 + y. Solve -w*r - r - j = 0 for r.
-1
Let p = -9 + 12. Suppose -p*y - 3*y = -6. Solve 5*c + y + 4 = 0 for c.
-1
Let f(k) = -19*k + 11. Let d be f(-2). Let b = 59 - d. Solve 5 = 9*r - b*r for r.
-5
Let z be 6*(-2 - (-7)/3). Let c(f) = 5*f - 24. Let r be c(6). Solve r - 2 = -z*y for y.
-2
Let f be (-8)/((-96)/28)*3. Solve 3 + f = 2*n for n.
5
Suppose 8 = -5*v - 2, 5*o - 2*v - 19 = 0. Solve 2*y + o - 13 = 0 for y.
5
Suppose -2*i = 2*i, -3*i - 4 = -z. Suppose 0 = -b + f, 0 = z*b - 5*f + 4. Solve 7*w = b*w - 6 for w.
-2
Suppose 4*g + g - 120 = -4*m, 5*g - 125 = -3*m. Let a be 63/g + 2/(-8). Suppose -6 - 6 = -3*i. Solve -a = -i*r - 6 for r.
-1
Let t = -1619 - -1628. Solve 41*c - 32*c - t = 0 for c.
1
Suppose 0 = -5*t - 2*g + 7, -9 = -2*t - g - 7. Solve -t*c - 4 = -4*c for c.
4
Suppose 33 = -14*o - 51. Let w(d) be the first derivative of d**4/4 + 2*d**3 - d**2 - 6*d - 1. Let b be w(o). Solve -b*r = -r + 5 for r.
-1
Let i(w) = w**3 + 5*w**2 + 3. Let c be i(-5). Suppose 0 = -2*k + 2*m + 6, c*k + 2*k = -4*m + 33. Solve 0 = 2*r - k*r for r.
0
Let r = -40 + 43. Suppose 7*m - 16 = r*m. Solve m = -2*a - 2*a for a.
-1
Let q be 10 + (3 + -4)*6. Solve -q*a = -5*a for a.
0
Let z(u) be the first derivative of -u**2/2 - 9*u + 6. Let h be z(-13). Solve 4 = -4*t - h for t.
-2
Let j(g) = 8 - g - 2*g - 6 + 6*g. Let a be j(0). Solve 0 = -6*l + 7*l - a for l.
2
Let b be (-1)/(((-1)/(-41))/1). Let m = -37 - b. Solve -m*n = -12 - 8 for n.
5
Let w be -11 + 0 + (-210)/(-5). Solve -w*p + 36*p = -25 for p.
-5
Let g = -7 - -7. Suppose g = 5*h - 2*a - 37, -3*h + 5*a - 11 = -2*h. Let j = -15 + 20. Solve h = 2*i - j*i for i.
-3
Suppose -5*i - 55 = -2*r, 2*i = -2*r - 2*r + 170. Let m be 1/3 - r/(-24). Solve -m*w = -4*w for w.
0
Let f be 0*(4 - 3*(-5 + 6)). Solve -44*p + 45*p + 3 = f for p.
-3
Suppose -12 - 12 = -4*m. Suppose -u - 1 = -3*k + 12, -5*k + 25 = -5*u. Suppose -8 = -k*b - 0. Solve 4*d + b = m for d.
1
Let r be (-1 - -18)*15/15. Solve 5 - r = -6*f for f.
2
Let g(k) = -2*k**2 + 34*k + 16. Let i be g(17). Solve 0 = -i*j + 4*j - 36 for j.
-3
Let f = 10 - 10. Suppose 3*t - 8 - 1 = 0. Suppose 5 - t = s. Solve l + 3 - s = f for l.
-1
Suppose 0 = -5*a - k + 66, -3*a - 2*k = -k - 38. Solve -23 = a*f + 47 for f.
-5
Let t = -58 - -62. Suppose -3*z = -t*y - 34, z + 3*z - 44 = 5*y. Solve -h = -4*h - z for h.
-2
Let s(m) = -m**3 + 5*m**2 + 3*m - 3. Let k be s(5). Solve 2*u + 2*u - k = 0 for u.
3
Suppose -v + 4*v - 3 = 3*n, 2 = v - 2*n. Suppose v = -8*s + 7*s + 2. Solve s*u + 2 = -2 for u.
-2
Let t be (-4 - -5)/((-1)/56). Let d = t + 85. Let h = 33 - d. Solve -a - a = -h for a.
2
Suppose 11*u - 7*u + 140 = 0. Let g be (1 + 19)*(-28)/u. Solve -4*v - g = 4 for v.
-5
Let x(j) = -5*j**3 + 3*j**2 - j - 2. Let l be x(2). Let f = l + 32. Solve f = 7*k - 4*k for k.
0
Let j = -32 - -31. Let m be 12/3 - (1 + j). Solve -k + 0 + m = 0 for k.
4
Let d = 4 + -2. Let g = 91 + -88. Solve 5 = d*t + g for t.
1
Let l be 11/(-2)*(2 + 238/(-77)). Solve n + 15 = l*n for n.
3
Suppose 633*n - 645*n = -24. Let t be (-1*1)/1*-3. Solve n = -f - t for f.
-5
Let s(o) = 3*o**2 - o + 31 - 30 + 0*o. Let w be s(2). Suppose 14 - 66 = -2*u. Solve -3*l = u - w for l.
-5
Suppose a - 7*r = -4*r - 6