 Let p = 5 + x. Solve -o - 1 = -p*z for z.
2
Let h(v) = 2*v + 23. Let f be h(-6). Solve -f*m = -14*m for m.
0
Let r be 6/(-12) + (-1)/(-2). Suppose 2*b + r - 16 = 0. Solve -3*h = h - b for h.
2
Let h be ((-6)/8)/((-5)/60). Suppose h = q + 2. Let u = 12 - q. Solve -4*g + 1 - u = 0 for g.
-1
Suppose 5*p + 35 + 60 = 0. Let v = 21 + p. Solve -u + 1 = v for u.
-1
Suppose -2 = -6*z + 22. Solve z*a - 4 - 16 = 0 for a.
5
Suppose 0*s - 3*s = -9. Suppose s*v - 25 = -2*v. Solve -1 = -v*o + 14 for o.
3
Let w(j) be the second derivative of -j**4/12 - 3*j**3/2 + j**2 + 3*j. Let i be w(-9). Solve -i = 3*l - 5 for l.
1
Suppose 0 = -3*l + 10 - 4. Let h = -18 + 21. Solve -l*v = -h - 3 for v.
3
Let f(c) = 6*c - 9. Let o be f(2). Solve -v = -o*v for v.
0
Suppose 2*o + 2 = 0, -2*l - 2*o = 2*o - 2. Let q be 1/(-2)*(l - 5). Suppose 0*t + q = t. Solve t - 9 = -4*u for u.
2
Suppose -1 = -3*o + 8. Suppose -2*g - o = -3*g. Suppose r - 2*r = 0. Solve -2*y - g*y = r for y.
0
Suppose -8 = -3*u - q, -4*q - 4 = 2*u + u. Solve -u*h - 11 = 1 for h.
-3
Let y(k) = -3*k**2 + k. Let v be y(1). Let b be (21/(-35))/(v/10). Solve -b = 4*m - 11 for m.
2
Let x(o) = -o + 4. Let b be x(0). Suppose 0*u = -b*u. Solve 4*z + 3 - 23 = u for z.
5
Suppose -10*i - 15 = -13*i. Suppose 6*r = r. Solve r*l + l = i for l.
5
Suppose 5*l + 54 = -2*g, -4*g - 13 = -5. Let x be l/(-15)*(-9)/(-2). Solve 0 = -x*i - 6 for i.
-2
Let n(y) = y + 1. Let i(s) = 5*s - 2. Let o(b) = i(b) - 6*n(b). Let x be o(0). Let h = x - -8. Solve -z - 4*z - 15 = h for z.
-3
Suppose -1 = c - 5. Solve -c + 6 = -2*w for w.
-1
Let w = 0 + 5. Let i be -2 + -1 - 16/(-2). Suppose -i*b + 5*o - 3*o - 10 = 0, 25 = -2*b + 5*o. Solve w*t - 2*t = b for t.
0
Suppose -44 + 36 = -4*a. Solve -4*v = -a*v - 8 for v.
4
Let j(z) be the second derivative of -z**3/6 + 5*z**2/2 + 6*z. Let x be j(3). Solve x*n - 4*n = 2 for n.
-1
Let o = -48 - -84. Suppose -5*v + 40 = -5*b, 4*v + b - o = 6*b. Suppose -2 = -v*j + 14. Solve t + t = j for t.
2
Suppose 13*f + 16 = 15*f. Suppose 10*g = 14*g - f. Solve 2*a + 4 = -g*a for a.
-1
Let y = -23 - -26. Solve 20 = y*w + 2*w for w.
4
Let j(a) = a - 3. Let b be j(7). Let c(q) = 2*q**3 + 2*q - 1. Let v be c(1). Solve v = -b*m - 1 for m.
-1
Let s(t) = t**2 - 5*t - 6. Let f = 12 + -6. Let g be s(f). Solve n = -g*n - 1 for n.
-1
Let w = -164 + 168. Solve 3*c = w*c for c.
0
Let l(v) = v**2 + 14 - 12*v + 2*v**2 - v**2 - v**2. Let j be l(12). Solve 0 = 4*m - j - 6 for m.
5
Suppose 0 = 2*n - 4. Suppose 2*z = -n + 8. Solve 6 + 6 = z*b for b.
4
Let j be -1 - (-4 - -6)*-1. Solve -2 = -3*p + j for p.
1
Suppose 7 = -4*a + 27. Suppose f - 1 = 3. Let m be 4/((2 + 0)/f). Solve 2 = -a*y - m for y.
-2
Suppose -3*p = 2*a - 30, -5*a + a + 28 = -2*p. Suppose -4*n + 21 = a. Solve -n*j = j for j.
0
Let m(c) = c + 2. Let x be m(0). Solve -1 = -g - x for g.
-1
Let v be -6 + 1 + 3 - (-8 + -1). Solve -j = v - 3 for j.
-4
Let x(j) = -j. Let d be x(-6). Suppose -3*b + 7*b = -q - 3, -d = b + 2*q. Solve 2*r + 0*r - 6 = b for r.
3
Let x(v) = -5*v - 1. Let s be x(-1). Suppose 3*b = -q + 2, 3*q - s*b - 8 = -q. Solve 0 = -3*d + 13 + q for d.
5
Let k = 12 - 9. Solve 0 = 5*a - 18 + k for a.
3
Let x(a) = -a**2 + 10*a - 16. Let f be x(8). Suppose 3*j - 19 - 11 = f. Solve -j = -0*c - 2*c for c.
5
Let s = 6 + -11. Let n = 10 + s. Solve 3*z + 4 = -n for z.
-3
Let d = -11 - -19. Solve -d = 3*z + z for z.
-2
Let h(w) = -w**3 + 4*w**2 + 6*w - 3. Let q be h(5). Solve -5*o = -q*o + 12 for o.
-4
Suppose -4*x = -13 + 1. Let o = 11 + 4. Solve 6*v + o = x*v for v.
-5
Let s = 11 + -8. Solve s*l - 15 = -3 for l.
4
Let l(w) = w**2 + 7*w + 9. Let h be l(-6). Let u(x) = x**2 - x. Let v be u(5). Suppose -2*b + 0 = -v. Solve 0 = -8*z + h*z + b for z.
2
Let r(w) = -4*w**3 + 1. Let u be r(-1). Let t be 2/(-1) + 20/u. Let c = 10 - 6. Solve 0 = -t*q + 4*q - c for q.
2
Let z be 0*(-3)/18*2. Solve 4*x = -z*x + 4 for x.
1
Let h = -117 - -121. Solve 4*u = h + 16 for u.
5
Suppose -6*i = -3*i - 63. Suppose -10*m - 48 = -18*m. Solve -3*k + m = i for k.
-5
Suppose -t + 5 = 2. Solve -8 = -t*v + v for v.
4
Suppose u = 20 - 15. Solve -u*h = -0 - 10 for h.
2
Let j = 6 + -4. Suppose -j*u = 3*u - 10. Solve 4 = -u*z + 10 for z.
3
Suppose -3*k = 2*k - 3*h + 60, -4*h = k + 12. Let w = 18 + k. Solve 0 = w*j - j for j.
0
Let k be -2 + (-2 - 4/(-2)). Let z be ((-1)/(-2))/(k/(-4)). Suppose 3*t = 3*s - 15, -4*s - 3*t + z = s. Solve s*a - a = 4 for a.
4
Suppose 0 = x + x. Suppose -2*c - 14 + 44 = x. Solve g + c = 4*g for g.
5
Suppose 0 = j + 4*j - 20. Solve -k + j*k = -6 for k.
-2
Suppose 2*s - 7 = -n + 18, 4*n - 58 = -5*s. Suppose p = -3*d + s, 11 = 2*d - 5*p - 4. Solve d*t - 2 = 6*t for t.
-2
Suppose -b - v + 3*v = 7, 3*v = 2*b + 10. Solve r - 3 = b for r.
4
Let u be -1 - (-5)/(15/27). Suppose -2*m + m = -u. Let q(i) = i**3 - 7*i**2 - 6*i - 11. Let z be q(m). Solve -w + z*w = 0 for w.
0
Suppose -24 = k - 3*k. Let v be (1 - 0) + (k - 1). Solve 2*z = 5*z - v for z.
4
Suppose 3*a - 2*a = 3. Let t(q) = -4*q. Let w be t(-2). Let n be w/(-12)*(-6)/2. Solve n - 5 = -a*g for g.
1
Suppose -2*r - 4*d + 50 = 0, 3*d = -2*d + 25. Solve -4*c = -3 + r for c.
-3
Suppose -4*i = r - 11, 3 = 4*i + 5*r + 12. Solve -2*n = -3*n - i for n.
-4
Let r(k) = k + 14. Let p be r(-9). Solve -2*h = -p*h for h.
0
Let a be 4/8 + 2*1/(-4). Solve a = 4*t + 6 + 14 for t.
-5
Let g(q) = -q - 4. Let c be g(-4). Suppose 4*t = -c*t. Solve 0*m + 2*m + 6 = t for m.
-3
Let n be 3/(-3 + 2) + 4. Solve 2 = -j - n for j.
-3
Suppose -15 = 4*c - 5*m, 2*m = 5*c - 0*m + 6. Let b = -7 - -11. Solve c = -b*d + 2*d + 4 for d.
2
Suppose 3*a - r = -a + 12, 3*a - 14 = 2*r. Let f be -1*(6 + (1 - a)). Let n be (10/(-25))/(1/f). Solve 9 = n*l + l for l.
3
Let w(a) = -a**2 + 13*a + 10. Let x(y) = -y**3 - y**2 + 3*y + 4. Let s be x(-3). Let f be w(s). Solve 0*o + 2*o = f for o.
5
Let b be (-8 - -1 - -3) + 7. Solve b*u = -0*u - 12 for u.
-4
Let g = 3 + -2. Let y be 2 - 1/(-2 + g). Suppose 0 = -0*r - y*r + 5*q + 26, -16 = 4*q. Solve r*v = -v + 9 for v.
3
Suppose -4*j = -3*t - 12, 5*t + 26 = j + 6. Let y be (-1*2)/(6/9). Let b be y/(-1 - 2)*j. Solve -2*w + 1 + 7 = b for w.
4
Let z = 30 - 20. Suppose -3*t - 2*i + 13 = 0, -1 - 18 = -5*t - 2*i. Let q = 3 - t. Solve q = n + n + z for n.
-5
Let p(f) = -f + 11. Let t be p(6). Solve 8*l - t = 3*l for l.
1
Suppose 4*n = 2*n + 2. Let w be (-1 - n/(-2))*-16. Solve -w = -3*r - 23 for r.
-5
Let m be 0 + 1 + (-4)/(-2). Solve -1 = m*r + 5 for r.
-2
Let w be 1/(((-8)/(-44))/(-2)). Let n = -7 - w. Solve -h - n = -0*h for h.
-4
Suppose -82*o + 87*o = 5. Solve 2 = -y + o for y.
-1
Let o be (-6)/9 - (-132)/9. Let f = o + -12. Solve f*u + 3*u = -5 for u.
-1
Let r(u) = u**2 + 8*u + 22. Let v be r(-6). Solve -v*b + 5*b = 0 for b.
0
Let g = 19 + -13. Solve -5 = -s - g for s.
-1
Let g be (-2)/(-3) + 7/3. Let m = g + 6. Solve -4*p + 25 = m for p.
4
Let q(s) = -s + 1. Let p(l) = 4*l - 5. Let m be (-1)/(1/11) + 0. Let b(w) = m*q(w) - 2*p(w). Let t be b(3). Solve -2*g = -2 - t for g.
5
Let x = 136 + -135. Solve x = -2*m - 5 for m.
-3
Let j(p) = -p**2 - 10*p - 4. Let u be j(-8). Solve -3*r + u = -0*r for r.
4
Suppose -4*h - h = 0. Solve h = -4*c - 0*c for c.
0
Suppose -5*t + 0*i - i + 6 = 0, -3*i = 12. Solve 2*l - t - 2 = 0 for l.
2
Let k(h) = -h**2 + 19*h + 23. Let r be k(20). Solve -7*m = -r*m - 8 for m.
2
Suppose -4*h + 7 = -5. Suppose -5*y - 15 = -a, 0*y + y - 2*a = -h. Let f = 6 + y. Solve 5*u = 4*u + f for u.
3
Let n = -3 + 28. Suppose 2*u - 11 - n = 0. Solve -5*y - u = 7 for y.
-5
Suppose -4*i + 8 + 4 = 0. Solve -i*y + 4 = 16 for y.
-4
Suppose 4*t - 14 = 2*t. Solve -5*n + t + 3 = 0 for n.
2
Let h(u) = -2*u**3 + 18*u**2 - u + 11. Let v be h(9). Solve 0*q + 10 = v*q for q.
5
Let o(g) = g**3 + 3*g**2 - 4*g + 3. Let y be o(-4). Let h = -3 + y. Let x = 2 - h. Solve r + x*r = -6 for r.
-2
Suppose m + 3*m - 4 = 0. Suppose 11 = u + m. Solve -5*s - u = -0*s for s.
-2
Let n be (-12)/10*25/(-15). Solve -n = 3*a - 5 for a.
1
Suppose -5*d + 12 = -8. Suppose 0 = z - 1 - 1. Solve d = -z*j - 2 for j.
-3
Let z(m) be the third derivative of m**6/120 - 7*m**5/60 + 5*m**3/6 + 2*m**2. Let k be z(7). Suppose -k*w - o = -5*o, w + 2*o = 14. Solve -6 - 2 = w*s for s.
-2
Let a be -3 + 5 + 0/(-2). Suppose -j - 6 = 3*c, 3*j - 12 = a*c - c. Solve -3 = j*x + 3 f