= -3 - u for d.
-4
Let u(j) = 27*j + 60. Let m be u(-2). Solve m*g + 2*g + 24 = 0 for g.
-3
Let t(b) = -b + 16. Let u be t(13). Suppose -30 = 3*o - u. Let s = o - -21. Solve q = 5*q - s for q.
3
Let q(z) = z**2 + 6*z + 12. Let k be q(-3). Let x(d) = -3*d - 1. Let a(v) = -2*v - 1. Let p(j) = 4*a(j) - 3*x(j). Let s be p(k). Solve 0*o - 8 = -s*o for o.
4
Let g = -14 + -1. Let t = -11 - g. Solve 0 = -5*r + 4*r + t for r.
4
Let t be -2 - (0 + -3*1). Let p be 7 - (-3 + 7) - 5. Let g = -2 - p. Solve 0 = -g*z - z - t for z.
-1
Let a(w) = w + 13. Let b be a(-4). Let i be b/(-18)*0/(-2). Solve 3*q - 3 = -i*q for q.
1
Let h(l) = -3*l**3 + 3*l**2 + 5. Let f be h(-3). Let z = -113 + f. Solve d - 2 - 3 = z for d.
5
Suppose -5*n - 2*i = -52, -4*i + 2*i + 2 = 0. Let r(f) = f + 1. Let o(t) = 3*t - 12. Let c(l) = -o(l) + 2*r(l). Let y be c(n). Solve -4 = 2*q + y for q.
-4
Let w = -4 + 6. Let u(x) = x - x**w - 8*x - 5 - 1. Let g be u(-6). Solve g + 4 = -o for o.
-4
Let m(a) = 3*a**2 + 17*a - 16. Let n be m(1). Solve n = g + 5 for g.
-1
Let k = 1108 + -1091. Solve -23*w = -k*w + 12 for w.
-2
Let z(f) = -f**2 - 31*f - 150. Let a be z(-25). Let v be ((-3)/(-12))/((-1)/(-4)). Solve a = p - 3 - v for p.
4
Let v be (-5)/(-1) - 2/(0 - -2). Solve 0 = w + 1 + v for w.
-5
Let x = 99 - 42. Suppose 3*c + v = 69, -2*c + 4*v = v - x. Suppose k + 4 - c = 0. Solve 0 = 6*w - w + k for w.
-4
Let p = -71 + 83. Solve 40*x + p = 43*x for x.
4
Suppose 3*l = 2*l + 1. Let w = l + 1. Let z = -264 + 267. Solve w*j - 13 = -z for j.
5
Let c(a) = 6*a**3 - 2*a**2 - a - 3. Let o(z) = -7*z**3 + z**2 + z + 4. Let l(y) = -6*c(y) - 5*o(y). Let j be l(7). Solve j*w + 2 = -3 for w.
-1
Let t = 4 - 2. Suppose -2*q + 2*l = -0*l - 14, 2*q + 2*l - t = 0. Let n be -24*(4 + 45/(-10)). Solve 0 = -v + q*v + n for v.
-4
Suppose -3*f = 2*d - 8, -2*f - 3*d = -13 + 1. Suppose -3*j = -o - f*j + 26, 0 = -3*o - j + 58. Suppose 3*p = p + o. Solve 0 = -2*s - 4 + p for s.
3
Suppose 0 = -5*z - 3*w + 25, -15 = -5*z - 7*w + 2*w. Solve -z + 6 = -2*i for i.
1
Let b(z) = 2*z + 57. Let n be b(-26). Suppose -5 + 13 = 2*d. Suppose 5*a - 5*s = 10, 6 = -d*a + 5*a - n*s. Solve 2*t = t + a for t.
1
Let v be -36*(-7)/(-14)*2/(-3). Solve -v = 4*u - 0 for u.
-3
Let d(v) = v**2 + 4*v + 3. Let n be d(-4). Let y = -4 - -8. Let b be (0 + -2)*(-10)/4. Solve 0 = b*r - y*r - n for r.
3
Suppose -73 = -j + x, -j + 207 = 2*j + x. Let f = j + -68. Solve -18 - f = 4*i for i.
-5
Let l(f) = f**2 + 7*f + 8. Let c be l(-6). Suppose 12*m - 17 = 7. Suppose m = -u + c*u. Solve 0 = -i - u*i + 6 for i.
2
Let v(f) be the second derivative of f**5/20 + f**4/12 - f**3/6 - f**2 + 3*f. Let g be v(3). Let w = g + -10. Solve -6 + w = -3*i for i.
-5
Let x(m) = 8*m + 1. Let n be x(-1). Let b(q) = -q**3 - 7*q**2 - 2*q - 2. Let l be b(n). Let t be l/7 + (-12)/(-42). Solve t = o - 1 for o.
3
Let b = 31 - 29. Suppose 0 = z + 5*h + 7, b*h + 34 = -3*z - 0*h. Let s = -8 - z. Solve v + s = 5*v for v.
1
Suppose 2*j - 5*j = 4*z - 19, -18 = -3*j - 3*z. Solve 0 = -j*h + 10 + 5 for h.
3
Let h = -369 + 375. Solve 6*u = 4*u + h for u.
3
Suppose y + 106 = 4*q, 91 = -0*q + 3*q + 5*y. Solve 0 = -5*t + q - 7 for t.
4
Suppose 4*u = 2*r - 4, 0*u - 3*u - 15 = 0. Let z = 14 + r. Let b(l) = -5*l**2 - 26*l - 4. Let p be b(-5). Solve -z = 5*x - p for x.
-1
Suppose d - 5*l + 5 = 6*d, -4*d - 5*l = -2. Suppose 2*h + 3 = n, -d*h + n = 2*h. Solve 3*v - h = 2 for v.
1
Suppose 0 = 2*w - 4 - 0. Suppose -q + 1 = -2*j + 4, w*j - 2*q - 2 = 0. Let x be (-13 - j)/1*-1. Solve 3*p + 0*p + x = 0 for p.
-5
Let a = 23 - 59. Let v = 38 + a. Solve 0 = 3*p - 2*p - v for p.
2
Let l be ((-96)/(-816))/((-3)/(-51)). Solve -16 = -6*d + l for d.
3
Let m = -22 - -16. Let y be 459/15 + m/10. Let g be y/(-20) - (-58)/4. Solve g = 5*o - 12 for o.
5
Let s(n) = n**3 - 6*n**2 + 8. Let k be 15/2 - (-3)/(-2). Let x be s(k). Solve -m - m = -x for m.
4
Let l(b) = -2*b**2 + 9*b - 2. Let d(m) = -m**2 + 8*m - 3. Let c(n) = -3*d(n) + 2*l(n). Let y = 13 - 18. Let r be c(y). Solve 4*f + r = 2*f for f.
-5
Let o = 217 + -210. Solve -o*k + 2*k = -20 for k.
4
Let g(q) = -q**2 + 7*q - 8. Let s = -11 - -15. Let f be g(s). Solve o - 3*o = -f for o.
2
Let m(d) = 2*d + 14. Let k be m(-7). Suppose -h = -k*h. Solve h = 3*j - 4*j for j.
0
Suppose 5*f = 17 - 2. Suppose u + 0*u - 25 = 0. Suppose -u = f*t - 8*t. Solve t*c = c for c.
0
Let d(h) = -15*h - 86. Let a be d(-6). Solve -2*u = a*u - 24 for u.
4
Let k(n) = n + 18. Suppose j = -j. Let l be k(j). Let x be 6/(-21) - l/(-14). Solve 5 = -q + x for q.
-4
Let n = 16 - 14. Suppose -2*k + 0*y + n*y - 10 = 0, 0 = 3*k - 2*y + 10. Suppose k = 5*t - 8 - 2. Solve 0*z - 2*z = t for z.
-1
Let j = 31 - 27. Let r(x) = 2*x. Let d be r(j). Solve -2*k = -0 - d for k.
4
Let i(b) = b**3 - 4*b**2 - 3*b - 1. Let k be i(5). Suppose -16 = -5*g + k. Suppose g*q = q + 20. Solve -q*a + a = 4 for a.
-1
Let f(b) = -3*b + 76. Let p be f(24). Solve p*o - 3*o = 0 for o.
0
Let i be 4/(-18) + ((-364)/(-18) - 20). Solve i = -15*d - 42 - 18 for d.
-4
Let r = -148 - -155. Solve 11*p = r*p for p.
0
Let z(b) = b - 1. Let u be z(7). Suppose -u = 2*w - 5*w. Solve -3*t - w*t = -10 for t.
2
Suppose 0 = 12*w - 27 - 141. Solve w*t = 9*t for t.
0
Suppose -3*n - 2*g + 3 = -0*n, -5*n + 24 = -3*g. Solve 0 = n*y + 4*y - 35 for y.
5
Suppose 0 = 10*p - 3*p. Suppose p = -3*b - 1 + 7. Solve 0 = b*f - 3 + 5 for f.
-1
Let v(o) = 4*o**2 - o + 1. Suppose -5*j + 0*l + 21 = 4*l, 2*j - 14 = -3*l. Let z be v(j). Solve z*x - 16 = -0*x for x.
4
Let g = 47 + -42. Solve 9*x = -g*x - x for x.
0
Let y be -2 + (-2)/2 - -5. Let s(i) = -i**2 + 8*i + 6. Let w be s(8). Solve t = -w + y for t.
-4
Suppose -1 = -3*z + 5. Suppose -4*c + 4*l + 101 = 5*l, -c = z*l - 27. Let s = 10 + -5. Solve -4*x + c = s for x.
5
Suppose 2*i = 5*a + 39, -128 = -5*i + 2*a - 62. Solve -19*f = -22*f + i for f.
4
Let g be ((-2)/4)/((-5)/(-20)). Let h = 2 - g. Solve 6*b - 8 = h*b for b.
4
Suppose 50*g - 42*g - 16 = 0. Suppose -s + 26 = 3*d - 5*s, -2*s = 10. Let u = d + 0. Solve u + 2 = g*j for j.
2
Let b(k) = -k**3 + 6*k**2 + 16*k + 5. Let q be b(8). Solve 0 = -q*l + 4*l - 2 for l.
-2
Let z be (1/(-1)*-5)/(2/10). Suppose 4*n + 108 = 4*j, -5*j - 2*n + 62 = -45. Let q = z - j. Solve q = -2*t - 8 for t.
-5
Let u = -106 + 101. Let h be (u - -4)*(-3 - -2). Solve 2*x - 5 - h = 0 for x.
3
Suppose -2*o + 61 = 3*t, -3*o = t - 0*o - 18. Let l be (4/(-7))/((-3)/t). Solve 0 = 2*q + 12 - l for q.
-4
Let z = -1225 - -1239. Solve -12*n + 5*n - z = 0 for n.
-2
Suppose 0 = -2*m + 54 - 0. Suppose 0*r - r - 66 = 3*x, -12 = -4*r. Let w = m + x. Solve -5*d + w = 29 for d.
-5
Suppose 4*o - 5*o + 191 = 186. Let n(a) be the second derivative of -a**5/20 + a**4/3 - a**3/3 - a**2 + 2*a. Let h be n(2). Solve h*u - o*u = 6 for u.
-2
Let w be (-6)/((-2)/(-3 + 5)). Suppose 2*m - w*m = -20. Suppose 4*n = -4*z, -5*z + m = -5*n - 15. Solve -20 = -2*o - z*o for o.
5
Let o be -6*(-5)/3 + -1. Let r be 5 + o/((-9)/4). Solve r = -m - 1 for m.
-2
Let j be (-160)/(-12)*(-3 + 9/2). Solve 164*l = 168*l - j for l.
5
Let p(v) = -2*v - 22. Let a be p(-10). Let s be (-5)/a*32/20. Solve u - s*u - 15 = 0 for u.
-5
Let u be 7*-1 + (5 + -8 - -2). Suppose 4*x = 20, 4*x = -4*a + 2 + 26. Let q be a/u*0 - -5. Solve 15 = q*g - 5 for g.
4
Suppose 3*v = -0 - 63. Let f = -10 - v. Let l = 13 - f. Solve -b = -l*b for b.
0
Suppose -68*z = -71*z. Solve z = -a + 4*a - 3 for a.
1
Let g(i) = -i**3 - 3*i**2 + 8*i - 4. Let n be g(-5). Suppose -4*s = s. Suppose -d + s*d + 12 = 0. Solve 3*j + d = n*j for j.
4
Suppose 5*t = -0*t + 80. Suppose 0 = 10*s - 12*s - 20. Let h = t + s. Solve -z + h = z for z.
3
Let t(r) = r**2 + 9*r - 1. Let j be t(-9). Let a(i) = -9*i**3 + 2*i**2 + 2*i + 1. Let d be a(j). Solve q + q = -d for q.
-5
Let s(l) = l**3 - l**2 - l + 10. Let a be s(-2). Solve 0*q - 6*q + 6 = a for q.
1
Suppose -6*t = 215 - 245. Solve t - 10 = 5*p for p.
-1
Suppose 0*x = -4*x - 96. Let k be (-32)/(-3)*x/(-16). Solve -k = -3*b - 7 for b.
3
Suppose 302 - 17 = 19*u. Solve 3 = -3*c + u for c.
4
Suppose 0 = -2*g + g - 4*a - 4, -12 = -4*g - 2*a. Suppose 18*w = 34*w. Solve w = -g*v + 7 - 19 for v.
-3
Let q be ((-3)/7)/((66/(-42))/11). Solve -4*i + i + q = 0 for i.
1
Suppose 5*i + 30 = 10. Let v be (-410)/(-130) + i/26. Solve v*p = 11 + 4 for p.
5
Suppose 0