, 0 = -2*s - 2*d + 4. Solve -s*g + 2 = -2 for g.
1
Let u(x) = -2*x - 3. Suppose 0 = o - 0*o + 2. Let a be u(o). Let b be -6*(0 + a - 2). Solve z = -1 + b for z.
5
Let j(o) = -o**3 - 4*o**2 + 6*o - 9. Let u be j(-6). Solve -7 = 4*i - u for i.
5
Let b(s) = -s**3 - 3. Let g be b(3). Let c be g/(-8) + 6/(-8). Solve -c*l + 7*l = 8 for l.
2
Let p be 52/(-12) + 2/6. Let y be p/2 - 3/(-1). Let v be (1/2 - y)*0. Solve -x + v*x = -1 for x.
1
Let h = 3 + 1. Suppose h*t - 45 = t. Let k be (24/36)/(1/3). Solve -t = -k*d - 3*d for d.
3
Let v = -47 + 27. Let y be (-26)/(-10) - 8/v. Solve -7*h = -y*h for h.
0
Let x = 10 - 10. Suppose 3*c + c = x. Solve c*r = -5*r - 15 for r.
-3
Suppose 2*n - 2*x = -40, -5*x = 5*n + 99 + 1. Let i = n - -22. Solve 5*q = i*q for q.
0
Suppose n - 4 + 3 = 0, 3*q - 5*n = 10. Solve 0*f - q*f = -25 for f.
5
Suppose -4*l = -23 + 7. Solve 4 + l = -4*m for m.
-2
Suppose -3*h + h - 8 = -3*o, 9 = 5*o + h. Solve l + 9 = -o*l for l.
-3
Suppose -5*s = -3*s - 14. Suppose 5*j - 19 = 2*l + 4, j - s = l. Let o = 5 + j. Solve -o = -3*g + 7*g for g.
-2
Let b(t) be the second derivative of t**3/6 - 9*t**2/2 + t. Let w(x) = x**2 - 6*x + 2. Let q be w(7). Let n be b(q). Solve n = -3*o + o - 10 for o.
-5
Let l be (-7)/3 + 2 - (-221)/51. Solve l = -2*m - 6 for m.
-5
Suppose 0*t - 9 = -3*t. Solve -5*w + t*w = -10 for w.
5
Let a(v) = -7*v**2 - 12*v + 2. Let g(l) = 3*l**2 + 6*l - 1. Let r(j) = 4*a(j) + 9*g(j). Let f be r(5). Solve h + 3*h = -f for h.
-1
Let j = 0 - -4. Suppose -q + 4*p + j = 0, -q - 3 = -2*p - 5. Solve -2 = 2*u - q*u for u.
-1
Let k = 49 + -46. Solve y + 2 = k for y.
1
Let i be ((-1)/2)/(3/24). Let d = i - -16. Let u = -7 + d. Solve 0 = k - u for k.
5
Let t(v) = 2*v**2 + 4*v + 6. Let m be t(-5). Let o = -25 + m. Solve -o = -3*x + 4 for x.
5
Let k be (-3)/(-1) + -1 + 0. Suppose k*a = -2*a. Solve a = -6*x + 2*x for x.
0
Let j(r) = r**3 + 8*r**2 - 2*r - 5. Let a be j(-4). Suppose -2*z - a = -4*k + z, 5 = -5*z. Solve k = 4*s + 4 for s.
3
Let v be ((-12)/8)/(3/(-6)). Let o be (-1)/(-2*v/30). Solve 4*u + 1 = o for u.
1
Suppose u = 4*u. Solve -f - f - 4 = u for f.
-2
Suppose -l + 0 = -4. Suppose 2*h + l = 4*h. Solve h*q = -3 + 13 for q.
5
Suppose 3*h - 24 = 33. Let r = h + -18. Solve 3*j - 4*j - r = 0 for j.
-1
Let m be -1*2 - (-5 + 5). Let w be ((-3)/9*0)/m. Solve w = -t - 2*t - 12 for t.
-4
Let i = 18 + -13. Let p(v) = 10*v. Let n be p(2). Let a(u) = -u**3 + 2*u**2 + 2*u - 1. Let k be a(2). Solve -i = k*t - n for t.
5
Suppose 14 = 2*v + 3*u, -v + 4*u - 15 = -0*v. Solve m = -3 + v for m.
-2
Suppose -2*t = 3*t - 15. Let s(b) be the first derivative of b**4/4 - b**3 + 3. Let m be s(3). Solve m = -c - t*c - 12 for c.
-3
Let k be 4*(-1)/((-16)/20). Solve k = g - 0 for g.
5
Let o(t) = 2*t + 28. Let i be o(-14). Solve 5*c + i*c = 20 for c.
4
Let j(d) = -d**3 + 5*d**2 - 2*d. Let l be j(4). Let k = l + -6. Solve k*r + 4 = 3*r for r.
4
Let y(d) = 7*d - 3. Let t be y(1). Solve -t*f = 25 - 9 for f.
-4
Let l be (5 + -2)/(6/8). Suppose -l*w = 4*o - 2*o - 16, -2*w - 3*o + 4 = 0. Suppose -4*d + 56 = -3*b - b, 3*d - 2*b - 45 = 0. Solve 7 = -w*r + d for r.
2
Suppose -b + 3*b - 6 = 0. Solve -b*c = -4*c for c.
0
Let j be (-3 - -3)*1/(-2). Let x = -2 + 4. Solve j = -2*c - x + 6 for c.
2
Suppose 12 = 2*w + 2. Suppose 51 + 24 = w*c. Solve 0 = -z - 2*z - c for z.
-5
Let a(n) = -n + 8. Let r be a(6). Suppose y - 1 = 2*y, -y + 7 = r*j. Solve -3*k = -j*k - 4 for k.
-4
Let t = 11 - 7. Solve -14 + 34 = t*n for n.
5
Let v(x) = -x - 3. Suppose 5*a - a + 20 = 0. Let y be v(a). Solve -20 = -3*h - y*h for h.
4
Let r be (10/20)/(2/(-12)). Let v be r/(-2)*(-8)/(-6). Solve -4 = i - v for i.
-2
Let o be (-17)/(-1) + 3/(-1). Let j be (-13)/39 - o/(-6). Solve 0 = 2*w - j + 6 for w.
-2
Let d be 40/6 + 10/(-15). Solve -t + d = 2*t for t.
2
Suppose 5*s + 5 + 35 = 0. Let k = 10 + s. Suppose 5*i = k*i. Solve -2 = -w - i for w.
2
Let z be (-3)/(-3)*(-2 - 1). Let m be 2 - (z/(-3) - 0). Solve 2*d - 3 - m = 0 for d.
2
Let h be (0 + 1)/((-2)/(-10)). Let q be 4/14 + 52/14. Suppose -3*d - 2*c = -17, 2*d = 4*d + 4*c - 14. Solve 0 = d*n - q*n - h for n.
5
Suppose -7*u - 5 = -33. Solve -5*z = -u*z for z.
0
Suppose 57 = -4*b - 87. Let l be 274/18 + 8/b. Solve 3*v + 0*v + l = 0 for v.
-5
Let q = 3 - 1. Solve q*v - v = 1 for v.
1
Suppose 0 = 2*p + p - 3*j - 15, -3*p - 3*j + 3 = 0. Solve -p*i - 11 - 4 = 0 for i.
-5
Let m(q) = -q**2 - 6*q + 7. Let n be m(-7). Let z be (n/(8/(-4)))/(-2). Solve z = -4*x - 0 + 4 for x.
1
Suppose -2*i - 2*i = 0. Suppose i = k + k - 8. Solve w + 1 = k for w.
3
Suppose -4 + 6 = -v. Let h be 1/(-2) + (-23)/v. Suppose 3*g - 1 = 2*g. Solve g = -5*c + h for c.
2
Suppose 2 = y - 7. Let w be 3*6/y + 26. Suppose -w = -2*q - 2*q. Solve 4*t = q*t - 3 for t.
1
Suppose -3 = -x - 2*t, 2 - 8 = -x - 3*t. Let o = 11 + x. Solve -o = 2*z - 0 for z.
-4
Let a be (8/(-5))/((-2)/5). Solve p = -a*p for p.
0
Let n(s) = s**2 + s + 1. Let i(c) = 4*c**2 - 2*c - 2. Let m(h) = i(h) - 5*n(h). Let l be m(-5). Solve -l*f - 20 = f for f.
-5
Suppose -1 = -t + 2. Suppose 16 = t*x - 8. Suppose -4 = -3*n + x. Solve n = -l - 1 for l.
-5
Let h = -17 - -14. Let j be 3*h/6*-2. Solve 2*w = -1 + j for w.
1
Suppose q + q + 28 = 0. Let d be 75/7 + (-4)/q. Suppose 0 = n - 3, n = -h + d - 1. Solve -h = 2*z + 1 for z.
-4
Suppose -3*a + 2*v - 1 = 0, a + 3*v = 10 + 8. Solve -2*q + 5 = -a*q for q.
-5
Let v be (-4)/(-3)*3/1. Suppose -2*h + 5*k = -31, 0 = h + v*k - 2 + 19. Let n = -3 + 11. Solve -n*s - 25 = -h*s for s.
-5
Suppose 12*o - 6 - 30 = 0. Solve o*b = -0*b for b.
0
Suppose 3*i + 32 = 8*i - z, -6 = -3*i + 5*z. Let a = i + -16. Let v be 1/3 - 69/a. Solve -t - t = -v for t.
4
Suppose 2*x + 8 = -4*d, 0*x = 2*d + 2*x + 4. Let u = 0 - d. Suppose 0 = -l - 4*z - 3, -4*l - 3*z + u*z + 3 = 0. Solve l = g + 2 for g.
-1
Let r(u) = -2 + 7*u + u**2 - 8*u**2 + u**3 - 2. Let n be r(6). Suppose 5*y - 51 = 4*j - 7*j, -4*y + j + 34 = 0. Solve 0 = n*w + w + y for w.
-3
Let h = 2 - -1. Solve 0 = -2*u + 11 - h for u.
4
Let b(o) = -o**3 + 3*o**2 + 3. Let y be b(3). Suppose -t + a - 2 = 0, -y*t - 3 = -4*a + 5. Solve -x + 0*x = t for x.
0
Suppose -2*g = g + 9. Let r = g + 6. Suppose -2*l + 7 - r = 0. Solve h - 1 = l for h.
3
Let q = 5 + -7. Let r be q + 1 + 6 + -5. Solve r = -h - h for h.
0
Let u = 114 - 108. Solve v = -2*v - u for v.
-2
Let s = -72 - -78. Solve -5*f + 4 = -s*f for f.
-4
Let i be (-92)/(-6) + (-2)/6. Suppose 5*x + 23 = 3*w - i, 44 = 4*w - 5*x. Suppose -5*q + 5 = -5*c, 1 = -5*q + w. Solve -f - 3*f = c for f.
0
Let y(q) = q**3 + 6. Let v be y(0). Let r be (-46)/(-10) + v/(-10). Solve -r*t - 25 = t for t.
-5
Suppose 0 = -g - 3, n + 4*g = 2*g - 5. Let j be 1/1*-1*n. Let t be (1 + j)/((-7)/(-7)). Solve 5*l + 20 = -t*l for l.
-4
Let q = 36 + -19. Suppose 4*f + q = 1. Let k = f - -4. Solve 0 = 2*v - k + 6 for v.
-3
Let g(y) = 3*y + 11. Let x be g(-2). Solve -p - 20 = -x*p for p.
5
Let h(a) = -a**2 + 4*a - 3. Let x be h(3). Suppose x = -4*u + 26 - 6. Suppose -2*q + q - 10 = -4*c, -u = -3*c + 2*q. Solve -6 = -c*f - 0*f for f.
2
Let v = -47 + 69. Let o be 4/(-18) - v/(-18). Solve z + o - 2 = 0 for z.
1
Let n = 44 - 35. Solve 3*d = -0*d + n for d.
3
Let h be ((0/(-3))/(-3))/(-2). Solve p + 2 - 3 = h for p.
1
Let h = 14 - 5. Solve -5*i - h = -4 for i.
-1
Let t be (-2)/3 + (-232)/(-24). Solve t*c - 12*c = 0 for c.
0
Suppose -3*c - 25 = -4*f + 6, -4*c + 2*f = 28. Let b = -3 - c. Suppose -5 - 12 = -5*l - v, -23 = -5*l - 4*v. Solve m = -b - l for m.
-5
Let o(y) = 2*y**2 + 7*y + 8. Let a be o(-3). Solve 0 = 4*v - a*v + 2 for v.
2
Let y(f) = f. Let l be 0 + 2/(2/5). Let o be y(l). Solve 12 - 27 = -o*m for m.
3
Suppose 7*k + 2*o + 4 = 3*k, k - 5*o = 21. Let v = k - -1. Solve v*x - 6*x + 20 = 0 for x.
5
Suppose -4*r = -5*f + 92, 2*f - 4 = 4. Let z be ((-63)/r)/((-1)/(-2)). Solve u + 4 - z = 0 for u.
3
Suppose -8*g = -7*g - 2. Solve -15 = 3*o + g*o for o.
-3
Let v be 2 - (2/(-2) + -1). Let r be 100/26 + v/26. Solve -3*k + r = 1 for k.
1
Let i(y) = -y**2 - 5*y + 2. Let r be i(-6). Let q be 41/3 - r/(-6). Suppose 5 + q = 5*z - 4*x, 5*x = -5*z. Solve 0 = c + z*c + 6 for c.
-2
Let r(p) = 13*p + 1. Let l be r(-1). Let u = l - -17. Suppose -3*n = -3*d, 4 - 14 = -n - 4*d. Solve -3 = n*h + u for h.
-4
Let l(t) = -2*t**2 + 4*t - 2. Let z be l(2). Le