olve 2 + d = -3*t for t.
-2
Let j = 36 + -31. Solve -4*x = -j - 3 for x.
2
Let h = 20 - 17. Suppose h*t = -t. Solve -2*x + t*x = 4 for x.
-2
Let t = 77 + -74. Solve -3 - t = -2*b for b.
3
Let b be 1 - (9/(-3) + 1). Let i(p) = 3*p - 2. Let m be i(2). Suppose 0 = -m*y - z + 9, 2*y - 9 = -0*y - 5*z. Solve y*f = b*f + 1 for f.
-1
Let s be 3*-1 - 0/3. Let j = 6 + s. Solve -x - j = 1 for x.
-4
Let k = 18 + -17. Solve 2*y - 9 = -k for y.
4
Suppose -2 - 4 = -2*k. Solve -5*a = -k*a for a.
0
Let p(g) = g**3 + 2*g**2 - 3*g + 2. Let i be p(2). Solve -i = l - 5*l for l.
3
Let s be (-89)/(-3) + (-10)/15. Suppose 0 = 3*i + i - 3*p - 1, 0 = i + 5*p - s. Solve r + i*r + 15 = 0 for r.
-3
Let o be (-1)/(396/100 - 4). Let z = -22 + o. Solve s = z*s - 2 for s.
1
Suppose -5*w - 3 - 9 = 4*y, 4*y - 5*w - 28 = 0. Let l be ((-6)/4)/(y/(-4)). Solve -l*d + 10 = 4 for d.
2
Let s = -6 - 3. Let v = 15 + s. Suppose 0 = -r - 3 + v. Solve r*c = -0*c - 6 for c.
-2
Suppose 4*f + 2*g + 68 = -2*g, -5*f = -g + 109. Let q be 2/(-7) + (-27)/f. Solve 4*b + q = -3 for b.
-1
Let w be (-12)/(-9) + 4/6. Let g(v) = v**2 - 2*v + 3. Let k be g(w). Solve 0 = -k*m + 18 - 3 for m.
5
Let x(h) = -h - 8. Let y be x(-11). Let q(k) = -k**2 - 2*k + 5. Let d be q(-3). Solve 0 = -y*i - d - 10 for i.
-4
Let m be (-4)/14 - (-16)/7. Suppose 3*r + z = 26, 2*r + 3*z = -2*r + 38. Solve m + r = 2*j for j.
5
Suppose 5*b - 234 = 16. Suppose b = 2*a + 5*p, -4*a - p + 3*p = -52. Solve 2*s + a = 7*s for s.
3
Suppose -5*a - 10 = f, -2*f + 5*a = 3*a - 16. Let j(d) = -d**3 + 5*d**2 - d + 5. Let q be j(f). Solve q = -c - 4 for c.
-4
Let g(r) = r**2 - 9*r + 3. Let w be g(9). Suppose w*d = d. Let o = 0 - d. Solve o = x - 6*x - 25 for x.
-5
Suppose 9 = 3*x - 0*x. Suppose -5*i + g = -1, x*i - g - 4*g = 5. Solve i*o - o = 0 for o.
0
Let h(m) = m**2 + 3*m + 1. Let k(g) = -16*g**2 + 1. Let x be k(1). Let v = x + 11. Let s be h(v). Solve -s = -0*o + o for o.
-5
Let a be (-27)/(-6) + -3 + 2/(-4). Solve 4 = x + a for x.
3
Suppose p - 4*q - 14 = 0, 5*q + 15 = -0. Suppose l + 25 = -p*l - i, -3*l - 21 = -3*i. Let b be ((-3)/2 - -1)*l. Solve -b*s = -0*s + 12 for s.
-3
Let w(s) = -s + 6. Let i be w(6). Suppose 5*n = -i*n + 20. Solve 0*l = 2*l - n for l.
2
Suppose -4*i + 2 = -3*i. Solve 0 = -6*c + i*c for c.
0
Let d(l) = -2*l - 4. Let u be d(-3). Suppose -u*r = 4*c - 26, -3*c + 5 = -r - 2. Solve -5*y + r = 20 for y.
-3
Let i be 1/2*80/(-8). Let w be ((-18)/15)/(2/i). Let b = -8 - -12. Solve b = w*y - y for y.
2
Suppose -d + 5*d = -4*m + 80, 5*d = -3*m + 92. Solve 0 = -0*f + 4*f - d for f.
4
Suppose 14 = -4*z - 4*w + 50, 2*z - 2*w - 22 = 0. Solve 6*q = q - z for q.
-2
Let s(m) = m**3 + 13*m**2 - 17*m - 17. Let v be s(-14). Solve -2*g + 7*g - v = 0 for g.
5
Suppose 6*s = -0*s + 24. Suppose 24 = s*g - 4*q, q + 0*q + 1 = 0. Solve -d - 4*d = -g for d.
1
Let i be 8/(-28) - (-36)/(-21). Let j be ((-2)/(-1))/i + 1. Solve 2 = -n - j for n.
-2
Suppose 0 = 591*z - 595*z + 20. Let n = 2 + 0. Solve -j = -n*j + z for j.
5
Let n be -1 + (-4)/(-6) - (-105)/45. Let t(d) = d - 1. Let c be t(3). Solve -n*m = c*m for m.
0
Let x be (1*-2*2)/(-1). Let k be 3 + -2 + -2*(-2)/2. Solve -x = b + k*b for b.
-1
Let n be 0 + 0 + -2 + -1. Let h = n - -6. Solve 4*z = h + 9 for z.
3
Let f(u) = u + 1. Let x(v) = 6*v + 3. Let c(o) = -21*f(o) + 3*x(o). Let r be c(-5). Solve -r*h = 2*h for h.
0
Let n be ((-8)/10)/(2/(-15)). Solve 12 = 2*q - n*q for q.
-3
Let l(c) be the second derivative of -c**5/20 + c**4/12 - c**3/6 + c**2/2 - c. Let b be l(1). Solve b*t = -t - 3 for t.
-3
Let r = 68 - 66. Solve -3*m + r*m = 2 for m.
-2
Let k(o) = o**3 + 8*o**2 - 9*o. Suppose 0 = -11*b + 6*b - 45. Let j be k(b). Let f(i) = i**3 + 4*i**2 + 3*i. Let t be f(-2). Solve j*d + d + t = 0 for d.
-2
Suppose 2*j - 9 = 17. Solve 5*q - 3 = -j for q.
-2
Suppose 8 = -2*n + 3*n - p, 3*n + 6 = -3*p. Solve -u = -0 - n for u.
3
Suppose 5*n = 4*n. Let j be (1 + -2)/((-4)/32). Let u = j - 0. Solve n = -3*a + 1 + u for a.
3
Let h be 2/(-3)*9/(-2). Suppose 3 = 3*y - h. Solve -y - 2 = -i for i.
4
Suppose -2*y + g - 2*g = -41, -4*y + 79 = -g. Solve 0*n + 4*n = -y for n.
-5
Let w be -3 + 4/2 + 25. Let q = -9 + w. Solve 0*v - 5*v - q = 0 for v.
-3
Suppose -2*t + 3*z = 20, z + 17 = -3*t - z. Let j = t + 10. Suppose 5*b = -s, b = 2*s + j*b. Solve 5*h + s = 5 for h.
1
Let t(z) = z**3 - 4*z + 1. Let j be t(-2). Solve 4*y = 3*y + j for y.
1
Let c(v) = -v**3 + 9*v**2 + 9*v + 14. Let k be c(10). Suppose 4*x = -q + 10, -q + 2 = 4*x + k*q. Solve -3 = -x*p + 2*p for p.
3
Let c = 47 - 45. Solve -c*x + 8 = -4*x for x.
-4
Suppose -52 = -2*m - 2*d, -2*d + 9 = d. Let h = -15 + m. Suppose 0 = -h*x + 3*x. Solve x*q - 4*q = 16 for q.
-4
Suppose -m = 12 - 17. Solve -3*y - 2 = -m for y.
1
Suppose 4*u - 40 = 4*f - 4, 0 = 2*u + f - 21. Solve 3*d + 2 = -u for d.
-4
Suppose -4*t = -2*t. Suppose -11*p + 33 + 11 = 0. Solve t*g - p*g = 12 for g.
-3
Let r = 21 - -30. Let k be (-2)/(3 + r/(-15)). Solve -s + 16 = -k*s for s.
-4
Let q = -64 + 65. Solve 3*v = -q + 13 for v.
4
Suppose -5*n - 3*d + 2*d = -32, -4 = -2*d. Let p = n + -2. Solve p*f = 2*f - 4 for f.
-2
Suppose 5*x + 5*i - 42 = -2, 2*i = -8. Solve -b + 5*b - x = 0 for b.
3
Let r(u) = -u**3 - 7*u**2 - 2*u - 1. Let s be (1/1)/((-2)/14). Let f be r(s). Let q = -8 + f. Solve -q*c + 15 = -2*c for c.
5
Suppose -4*h + 9*h = 15, -y - 3*h + 11 = 0. Suppose -4 - y = 2*m, -5*u + 2*m = -21. Let c be u + 2/(-6)*-3. Solve 17 - 5 = -c*p for p.
-3
Let v(m) = m**3 + 7*m**2 + 2*m - 7. Suppose 0 = -0*d - d - 6. Let u be v(d). Solve 3*r = u - 2 for r.
5
Suppose -o = 3*b + 5, 3*b - o - 10 = o. Solve -5 = a - b for a.
-5
Let x be (-3)/(0 - (-1 - -2)). Solve -5 = x*k + 1 for k.
-2
Let r(s) = -s**3 - 7*s**2 - 8*s - 1. Let w be r(-6). Let x = -9 + w. Suppose -x*d + 10 = 0, 2*n - 5*n + 3*d = 6. Solve n*c - 12 = -c for c.
3
Suppose w + 2*g = -3, 2*w - 5*g = 3 + 18. Suppose 47 = w*j + 17. Solve 4*p - 22 = -j for p.
3
Let h(f) = f**3 + 5*f**2 + 5*f + 4. Let k be h(-4). Suppose k*l = 3*l - 12. Suppose o + 6 = l*o. Solve 0 = -o*m + 4*m - 2 for m.
1
Let l(u) = -6*u**2. Let r be l(1). Let y = 8 + r. Solve z = -y*z + 6 for z.
2
Let b(t) = 2*t**2 - 2*t + 2. Let s be b(1). Solve -7*a + s*a = -20 for a.
4
Let m(z) = z**3 - 4*z**2 - 5*z + 2. Let x be m(5). Let n be 0/x*2/(-4). Let k = 3 + -1. Solve -k*p - p + 15 = n for p.
5
Let x = 5 - 2. Solve -2 = -x*k + 4 for k.
2
Let h be ((-4)/14)/(6/(-168)). Solve -2 = 3*x - h for x.
2
Let b = 63 - 60. Solve 2*k = -b*k + 25 for k.
5
Let w = 4 - 1. Let b be -3 + -2 + 2 + 11. Let u(y) = y**2 - 9*y + 11. Let t be u(b). Solve -w*v + t = -3 for v.
2
Let b(u) = -u**2 - 10*u + 8. Let q be b(-10). Suppose -y = -q + 3. Solve 2*f - 3 - y = 0 for f.
4
Let g = -15 + 11. Let k be g/2 + (6 - 1). Let h be (2/8)/(3/12). Solve -k - h = 4*j for j.
-1
Suppose -2*c = -4*w + c + 20, c + 2 = -w. Suppose -19 - 6 = -2*l - 5*d, 0 = -w*l + 4*d + 34. Solve -3*p - l = -0*p for p.
-5
Let x be (-6)/18 + (-38)/(-6). Suppose x*o - o = 0. Suppose 15 = 3*l, o = -5*d + 3*d - 4*l + 24. Solve 0*j = -d*j + 8 for j.
4
Let u(q) = -q + 8. Let k = -8 + 14. Let h be u(k). Suppose -h*s = -4*p + 14, 0 = 4*p + 2*s + 2 - 4. Solve m - 2*m - p = 0 for m.
-2
Suppose q - 33 = -2*n + 6*q, 5*n - q = 25. Solve 2*m - n*m = -2 for m.
1
Let g = -22 - -23. Let u be 6*(g + (-4)/8). Solve -u*k + 2*k + 1 = 0 for k.
1
Suppose -3*t - 6 = 3*d, -24 = 4*d - 7*d + 3*t. Let s be -1 + (1 - -8) - d. Solve -3*y - 2*y = -s for y.
1
Let x(d) = d**3 + 28*d**2 - 31*d - 39. Let y be x(-29). Solve y = 3*z + 4 for z.
5
Let l(y) = y - 9. Let j be l(10). Solve 0 = v + 3 - j for v.
-2
Let b = 13 + -33. Let p be 6/(-27) - b/9. Solve 0 = 5*j - p - 3 for j.
1
Let k(a) = -a**3 - 2*a**2 - 2*a - 2. Let t(v) = -v**2 - 3*v + 7. Let o be t(-5). Let i be -1*1 + (-4 - o). Let x be k(i). Solve -6 = -4*n + x*n for n.
3
Let j be ((-2)/6)/(1/3). Let d be ((-1)/2)/(j/(-34)). Let s = -10 - d. Solve 0 = -2*t - 1 + s for t.
3
Suppose n = -h - 2 + 8, 0 = n - h. Solve 2*w = -n*w for w.
0
Suppose -4*d = 8 + 4, -24 = -3*t + 4*d. Suppose -2*a - 2*a = -3*w - 72, -2*w = -4*a + 68. Solve -b - t*b = a for b.
-3
Suppose -8 = 4*g - 3*w + 73, 5*g - 5*w + 105 = 0. Let h be (g/(-8))/((-1)/(-4)). Suppose h = 3*p - 0*p. Solve 3 = -0*c + p*c for c.
1
Let s be (-4*(-3)/6)/1. Suppose 5*i = 