4*q - o - 5 = 0 for q.
5
Suppose 0 = 4*b - 5*h + 9, 0 = -3*b - h - 0 - 2. Let p = 6 + b. Solve -p*s - 6 = 4 for s.
-2
Let w(s) = s + 5. Let j be w(-3). Suppose -12 + 1 = -3*d - u, 3*u + 11 = j*d. Solve -20 = -d*c - 4 for c.
4
Let p be 15*((-16)/12)/2. Let w = -5 - p. Solve -z = -2*z + w for z.
5
Let n(i) = -i**2 - 4*i + 3. Let g be n(-5). Let q be ((-1)/g*0)/2. Solve -w + q = -4 for w.
4
Suppose h + 4*y - 9 = -0*h, 2*y = 4. Solve -z + h - 5 = 0 for z.
-4
Let i(n) = n**3 - 8*n**2 + 13*n - 37. Let g be i(7). Solve -7 = g*k - 2 for k.
-1
Let z be 2/(1 + 1) - -1. Let p(q) = 6*q - 2 + q**z - 1 + 10. Let r be p(-5). Solve 0 = -0*o + r*o - 8 for o.
4
Let u(g) = 5*g + 2*g - 2*g + g**2 + 6. Let i be u(-4). Solve 0*l = -i*l - 8 for l.
-4
Let v(r) = -6*r - 21. Let h be v(-4). Solve 0 = h*i - 15 - 0 for i.
5
Let o = -35 - -65. Let k be ((-1)/(-2))/(5/o). Let h = k + 9. Solve -n - h = 3*n for n.
-3
Let v be 0/(4/2*-1). Suppose -16 = -2*b + 2*p, 4*b - p = 11 + 6. Solve v*a + b*a = 9 for a.
3
Let v be (42/(-4))/3*-2. Suppose -v - 9 = -4*x. Solve -x*u = -8 - 8 for u.
4
Let j(g) = 5*g - 10. Let l(v) = -v + 1. Let u(a) = -j(a) - 4*l(a). Let n be u(5). Let r be (4 + -9)*1/(-1). Solve -r*z = -4*z + n for z.
-1
Let c = 226 + -119. Let n = -47 + c. Suppose -4*k = -0*k - n. Solve 0 = -0*d + 3*d - k for d.
5
Let p be 1 - (-4 + 2 + -2). Suppose 3*x = -5*v + 9, -4*v + p*v = x + 5. Solve -2*q = -v*q + 2 for q.
2
Let p be (-34)/(-6) + 1/3. Suppose 3*d - 20 = -2*d. Suppose 5*o - d = 16. Solve -r + o*r = -p for r.
-2
Let n = -13 + 13. Solve n*y = -y + 2 for y.
2
Let v be 10/3*3/(-2). Let u = v - -11. Solve 6 + u = 4*w for w.
3
Suppose 0 = -6*o + 11*o - 125. Solve -3*z - o = 2*z for z.
-5
Suppose 75 = 3*o - 2*f, 0 = -0*f + 3*f. Let n(c) = -c**2 - 4*c + 3. Let a be n(-4). Suppose -5*b + 19 = a*t, -5*t = -2*b - 3*t + 14. Solve o = -b*k - 0*k for k.
-5
Suppose 2*l = 5*c - 34, -4*l - 12 = -c - l. Solve 0 = -c*v + 9*v + 6 for v.
-2
Let d = -4 - -7. Suppose -t + 2 = -0*t. Suppose 0 = -2*b - t*b + 4. Solve -b = d*r - 2*r for r.
-1
Let s be 8/6*9/6. Suppose -s*c = -0*c. Solve 2*a - 10 = -c*a for a.
5
Let o(c) = -c**2 + 3*c - 2. Let g be o(2). Let n(r) = -2*r - 17. Let y be n(-10). Solve g*s + 3 = y*s for s.
1
Suppose 6*h - 15 = h. Let k = h + 4. Solve k*t = 2*t - 20 for t.
-4
Suppose 0 = 2*g - 6*g. Suppose 4*f = -g*f. Suppose r = 4*n + 4, r + 3*n + 3 = -f*r. Solve -z = -r*z for z.
0
Suppose 2*b + 4*u - 6 = 0, 0*b + b = -3*u. Suppose -38 = i + 5*c, -b - 12 = 2*i - c. Let s = 28 + i. Solve -5*l - 5 = s for l.
-4
Suppose -3*u = -4*x - x - 4, 3*u - x - 8 = 0. Solve 0 = u*t - 8*t - 10 for t.
-2
Let m = 38 - 33. Solve 2*j - m*j = -12 for j.
4
Suppose 3*w = -5*p + 25, -w - 1 + 4 = -p. Let u(t) = -t + 2. Let l be u(p). Solve l*n - 8 = -2*n for n.
4
Let z = 35 - 30. Solve -z*c = -20 + 5 for c.
3
Let j(z) = 5*z**2 + 8 - 7*z**2 + 6*z**2 - 8*z + z**3 + 3*z**2. Let q be j(-8). Suppose 5*r - 6 = -4*p + 2, -2*r - 4*p = -q. Solve r = k + k for k.
0
Let f = -29 + 29. Solve f = -6*h + 2*h - 8 for h.
-2
Let v(n) = n**2 + 2*n + 10. Let x be v(0). Solve -2*h = -4*h + x for h.
5
Let n = -7 + 11. Let k(o) = -o**3 + o. Let p be k(-3). Solve n*x - 4 = -p for x.
-5
Suppose -4*n = 5*a - n + 39, 5*a + 51 = 3*n. Let u be (-3)/(a/10)*3. Solve 3*g + 2 = -u for g.
-4
Suppose -2*l + 8 = 0, -b + 5*l - 15 = 5. Let f be 7/2 - 3/(-6). Solve b*g + g - f = 0 for g.
4
Let v(d) = -d**3 - 16*d**2 + 17*d + 5. Let c be v(-17). Solve c*r - 1 - 9 = 0 for r.
2
Let i be 8 + -5 + (1 - 0). Solve -12 = -i*h + 4 for h.
4
Suppose -v + 9 = 3. Solve 2*f - v*f + 8 = 0 for f.
2
Let t be 12*(5/3)/(-5). Let w be ((-2)/t)/1*10. Solve 6 = w*p - 4 for p.
2
Suppose -2*v - 9 = 5*j, -4*v - j = -5*j - 24. Suppose 0*s - 2*s = 0. Solve s = v*u - u for u.
0
Let y be 50/8 - (-3)/(-12). Let k(r) = r**2 - 6*r + 7. Let b be k(y). Solve 3*l = b*l for l.
0
Let f(c) = -c + 1. Let h be f(2). Let y be (-18)/3*h/2. Solve -y*j + 6 = -6 for j.
4
Suppose 8*q - q - 7 = 0. Solve 4*g - 5 = -q for g.
1
Suppose 5*y - 12 - 33 = 0. Let i be 5/15*y/1. Solve m - 4 = -i*m for m.
1
Let r be (-9)/(-2)*(-2)/(-3). Suppose s = -r*s - 4. Let f be s/(-2) - (-6)/4. Solve 1 + 1 = -f*c for c.
-1
Suppose f = 3*x - 19 + 5, 24 = 5*x - 2*f. Suppose -2*a + 12 = -x*a + 5*n, 0 = -n + 4. Suppose -a*m + 2*m = -6. Solve -6*j = -m*j for j.
0
Let i = 58 - 46. Solve i = t + 2*t for t.
4
Let w = 24 - 2. Suppose 0 = 3*t - 4*h - w, -3*t = -0*t - h - 19. Solve -2*s + t = -4*s for s.
-3
Let d be 0/((-1 + -1)/(-1)). Let k = 1 - d. Solve k = 5*g - 4 for g.
1
Suppose -4 = -4*g - 4*b, g - 4*g - b = -9. Suppose -4 = 2*y - g*y. Solve 0*z + y = z for z.
2
Let u be ((-4)/(-2))/1 - -1. Suppose -4*d - 52 = -16. Let m be (-3)/2 - d/6. Solve m = u*o - 5*o + 2 for o.
1
Let d(z) = -z + 10. Let q be d(7). Suppose -q*t - o - 2*o - 3 = 0, 5*o = -3*t - 11. Solve 0 = -t*n - 2*n + 10 for n.
2
Let u be (0 - 0)/(0/(-4) - -2). Let l(y) be the third derivative of y**5/60 + y**4/24 + 5*y**3/6 + y**2. Let i be l(u). Solve 3*g = -2 + i for g.
1
Let c = 0 + 4. Suppose 8 = 2*d + c. Let y be (0/d)/(1/(-1)). Solve y*a = -2*a - 4 for a.
-2
Suppose 0*d = 3*d + b - 10, 3*d - 22 = 5*b. Solve -d*z + 8 = -8*z for z.
-2
Let q = -33 + 34. Solve q = -4*d - 7 for d.
-2
Let n be 2*(-4)/(-4) - 0. Solve n*k + 3*k = -5 for k.
-1
Suppose 0 = 5*y - 5*i + 5, 2*i - 2 = 4*y - 0*y. Let z(v) = -v**3 - 5*v**2 - v - 3. Let s = -7 + 2. Let t be z(s). Solve y = -n + t*n for n.
0
Let q(y) be the second derivative of -y**4/12 - 5*y**3/3 - y. Let x be q(-10). Solve x*l + 3 = 3*l for l.
1
Let r be (-40)/(-24) + (4/(-2))/(-6). Solve r*d = d - 1 for d.
-1
Let y be -3 - (17/(-17))/((-1)/(-5)). Solve 2*a = -y - 2 for a.
-2
Let v(x) = x - 5. Suppose -3*y + 24 = 3*c, -2*c + 5*y - 12 = -3*c. Let m be v(c). Solve 3*l - 25 = -m*l for l.
5
Let t(f) be the second derivative of -2*f + 0 + f**2 + 1/6*f**3 - 1/12*f**4 - 1/20*f**5. Let o be t(0). Solve 4*k + o = -2 for k.
-1
Let t(y) = -y - 2. Let a be t(-3). Let d = a - -3. Suppose -4 = 2*m, d*v - 20 = 3*m + m. Solve 0*q + v*q = 0 for q.
0
Let t be 1/1 - 3/(-1). Solve -15 = t*r + 5 for r.
-5
Let g be (-10)/20 + (-30)/(-4). Solve 3*y + g = 1 for y.
-2
Let t = -3 - 1. Let r = t - -7. Suppose 5*i - 11 - 14 = 0. Solve r*b - 2*b = -i for b.
-5
Let w be (-12 - -16)*2/4. Let i be (-49)/(-3) - (-3)/(-9). Solve w*j - i = -2*j for j.
4
Let u = 29 + -29. Solve 3*y + u*y = 15 for y.
5
Suppose 2*k + 2*h = 6*h + 36, 5*h + 9 = -2*k. Solve -f = 3 - k for f.
5
Suppose -3*t - 3*g - 6 = 0, 5*t - 3*g - 10 = 4*t. Suppose 4*s - 9 + t = 0. Solve 3*b + s*b = -5 for b.
-1
Let g be 11/(88/32)*7/2. Solve g*d = 18*d + 12 for d.
-3
Let x(v) = -v**2 + 8*v + 7. Let o be x(9). Let k be 2 - o - -2 - 0. Solve 0*w - k = -3*w for w.
2
Suppose o + 4 = 5. Solve -o = 3*n - 4 for n.
1
Let o be (12/9)/(6/9). Solve 0 = -0*z + o*z + 6 for z.
-3
Let n = -33 - -33. Solve p - 1 = -n for p.
1
Let z = 91 - 59. Let g = -26 + z. Solve -g*m + 3*m = -3 for m.
1
Let m = -6 - -8. Solve b = -0*b - m for b.
-2
Suppose 5*v = 4*v + 5. Suppose 0 = v*i - 2*i - 6. Suppose -c + 0 = -3. Solve i*q - c*q - 4 = 0 for q.
-4
Let y be 0 - (2/2 + -9). Let a be -1 - 1/((-2)/(-6)). Let v = a + y. Solve d = -v*d for d.
0
Suppose 7 = 4*i + 5*m, 1 = -7*i + 2*i - 3*m. Let b = 4 + i. Let q(a) = -a**2 + 3*a - 2. Let g be q(b). Solve g*u - 4 = -4*u for u.
1
Let x be (-2)/(-7) + (-52)/(-14). Solve 2 - 6 = x*j for j.
-1
Let c = -26 + 36. Let p = -8 + 11. Solve c = p*o - 5 for o.
5
Let x be 2/4 + 20/(-40). Solve 0*u - 5*u = x for u.
0
Let g be (-6)/8 - 2/8. Let i = 1 + g. Solve i = -p + 2 + 3 for p.
5
Suppose -3*q + 2*s + 11 = 0, -6*s = -4*q - s + 17. Solve q*j + 2 = -4 for j.
-2
Suppose -5*t = 2*m - 7*m - 5, m = 2*t - 2. Solve m = w + 5 - 6 for w.
1
Suppose 0 = -2*d + 1 + 19. Suppose 0*q - q = -2*s + 7, 5*q = s + d. Suppose 7 + 32 = q*c - 5*b, -5*b = 15. Solve u + c = -u for u.
-4
Suppose -3*g - 10 = 4*r - 2, 12 = -2*g - 4*r. Suppose 2*i + 4*k = g*i - 6, 5*k + 5 = 0. Suppose 4*l - 9 = -i. Solve 4 = l*a - a for a.
4
Suppose 3 - 15 = -3*b. Solve -b*p - 6 = -2*p for p.
-3
Let a(i) = i**2 + 5*i - 3. Let r be a(-6). Let n = 1 + 3. Suppose 0 = n*d - 0 - 8, 13 = y + 5*d. Solve -r + 6 = y*w for w.
1
Let x(c) be the second derivative of c**4/12 - c**3/3 - 3*c**2/2 + 3*c. Let a be x(3). Let g = a + 2. Solv