a = 4 - o for a.
-2
Let s(v) = -1 - v + 0 - 2. Let h be s(-5). Suppose -62 + 187 = 5*u. Solve -u = -3*w - h*w for w.
5
Let l = -12 - -14. Solve h + h = l for h.
1
Let h(j) = -j**3 + 20*j**2 + 2*j - 29. Let n be h(20). Solve -4*g - 1 = n for g.
-3
Let j(z) = -1. Let g(r) = 2*r**2 + r + 3. Let f(m) = g(m) + 2*j(m). Let l be f(-2). Solve -4*a = -l*a for a.
0
Suppose 4*z + 4 = 4*h, -4*h = -2*h + 5*z - 16. Solve -12 = h*l - 7*l for l.
3
Let h be (3/(-6))/(((-35)/10)/7). Solve -3*j = -8 - h for j.
3
Suppose 0 = -2*h - 0*h - 2. Let p = h - -6. Solve -20 + p = -5*k for k.
3
Let p(d) be the second derivative of -d**3/6 - 3*d**2/2 + d. Let v be p(-7). Let f be (-75)/(-6) + (-2)/v. Solve -f = -2*x - x for x.
4
Suppose g - 5 = -3*q - 0, 4*q = 5*g + 32. Solve 5*w - q = 2 for w.
1
Let s(o) = 12 - 2*o + 2*o - o. Let p be s(9). Suppose p*d - 10 - 7 = -k, 0 = -2*d + k + 8. Solve 4 = -d*m - 11 for m.
-3
Suppose 0 = -3*l - 1 + 10. Suppose l - 9 = -2*n. Suppose -16 = -4*d + 7*z - 3*z, -2*d - 3*z = -3. Solve 0 = n*s + 9 - d for s.
-2
Suppose 4*m - 4 = -2*g, m = -2*g - 2*m + 3. Solve 2 = -g*s + s for s.
2
Let i be (((-5)/2 - -2)*0)/(-2). Solve i = -2*c - 2*c - 12 for c.
-3
Suppose 3*w - 40 + 37 = 0. Solve 4*c = w - 5 for c.
-1
Let v = 14 - 9. Let q(i) = -i**3 + 4*i**2 + 6*i - 7. Let f be q(v). Let w be f/4*0/(-1). Solve 0 = -w*a - 5*a for a.
0
Suppose -11*s = -6*s + 80. Let p = -12 - s. Solve 8 = -4*i - p for i.
-3
Let t(n) = n + 1. Let g be t(-1). Suppose 5*o - 4*b - 19 = g, 5*o - 12 - 15 = 2*b. Solve -4*w + 13 = -o for w.
5
Let n(w) = -3*w - 3. Let r be n(-4). Let s(x) = 2*x**3 + 0*x**2 + 13*x**2 - 3*x**2 + 2 - 3*x**3 - 7*x. Let g be s(r). Solve -5*y = -y + g for y.
-5
Let j(v) = v**3 + 10*v**2 - 13*v - 14. Let a be j(-11). Let z = 10 - a. Suppose 5*n - n - 8 = 0. Solve -z*q + 8 = n*q for q.
2
Let k be 2/(-8) - 18/(-8). Let i(j) = j**2 + 9*j + 16. Let h be i(-9). Solve -k*y + h = -6*y for y.
-4
Let l = 9 - 8. Let y be l/2*-2*-2. Solve -y*h = h - 12 for h.
4
Suppose 3*o - 185 = -2*o. Let u = o + -13. Solve 0 = 3*g + u - 9 for g.
-5
Suppose 0 = -4*c + 10*c - 18. Let f(r) = r**3 - r + 69. Let v be f(0). Suppose -3*k + v = 5*o, -5*k + c*o = -84 - 65. Solve -8 + k = -5*d for d.
-4
Let p(c) = 4*c + 1. Let y be p(1). Suppose -y*d = -3*d - 4. Solve -d*x + 1 = 3 for x.
-1
Let o = 28 + -14. Suppose w + 0*h - 10 = -2*h, -3*w + 5*h - o = 0. Solve w = -0*v + v for v.
2
Let q = 6 + -2. Suppose -q*u + 3*u - 4*c = 0, 0 = -u - 5*c. Solve u = -d - 3*d for d.
0
Let i be -2 + 4 + -4 - -5. Solve -i*l + 3 = -6*l for l.
-1
Suppose 2*n - 6 - 2 = 0. Let w be -30*(-4)/24*2. Solve w = -n*z - z for z.
-2
Let u = 56 - 54. Solve 4*y = -u + 10 for y.
2
Suppose 5*w = -2 - 18. Let q = w - -8. Let i be q/10 + 2/(-5). Solve i = -u + 4 - 1 for u.
3
Suppose 13 + 3 = -2*s + 2*y, s + 4*y = 12. Let h be 0 + (-2)/s*12. Solve -6 = -h*j + 9*j for j.
-2
Suppose 19 = t + 4*t + 2*h, -2*h + 7 = t. Suppose t*z = z + 6. Solve -z*u + 1 = 13 for u.
-4
Let s = 1 + 0. Suppose -23 = 4*z - 3. Let u(h) = h**2 + 5*h + 2. Let l be u(z). Solve -1 - s = -l*m for m.
1
Suppose 4*x - 7 = 3*r, -5*r - x + 7 = -3*x. Suppose -p - p = -4. Suppose 0 = -p*u + 8, -r*u = d + 2*u - 22. Solve d*i - 4 = -2*i for i.
1
Let a = -11 - -10. Let j be (a*(2 - 2))/(-2). Solve j*g = -g + 4 for g.
4
Let p be (0 - -1)/((-2)/(-6)). Suppose -2*w - 3*w + 15 = -3*o, -p*w - 15 = 3*o. Solve 4*n + 2 + 10 = w for n.
-3
Suppose 0 = -3*s - 5*g + 28, 4*s - 2*s - 3*g + 13 = 0. Solve 0 = 2*t + 9 - s for t.
-4
Suppose -2*m + 3*h = 5*h - 6, h - 7 = -3*m. Solve 12 = y + m*y for y.
4
Suppose -b - 8 = -j, 5*b = 3*j + b - 20. Suppose -27 = -3*h - j. Solve 0 = 4*y - 15 - h for y.
5
Let k(f) = f**2 - f**3 - 2*f**2 + 2*f**2 + 6 + 9*f**2. Let b be k(10). Suppose -d = -b*d + 20. Solve -d*c = -3*c + 1 for c.
-1
Suppose -4*l = -2*x + 4, 0*l + 2*l + 2 = 0. Let g = 0 + x. Suppose g = s - 4 + 3. Solve 4 = 3*t + s for t.
1
Suppose -4*j = -9 - 11. Let o be (64/20)/(2/j). Solve -4*g = -o - 4 for g.
3
Suppose 5*x - 3*v = v - 19, -4*x - 5*v - 48 = 0. Let d = 4 - x. Let o = d + -7. Solve -o*a = -0*a for a.
0
Let s be -2 - -10 - (-2)/(-1). Let i(r) = -7 - r**2 + 7 - s*r. Let o be i(-5). Solve -o + 4 = -b for b.
1
Let n be (-2 + 9)/(2/(-4)). Let a = -24 - n. Let m(j) = -j - 2. Let p be m(a). Solve 3*c - p - 1 = 0 for c.
3
Let c = -25 - 19. Let w be (-4)/(-6) + c/(-6). Solve 1 = -3*g - w for g.
-3
Suppose 4*v - v = -6. Let x be (v - -2) + -3 + 1. Let k(i) = 2*i**2 + 3*i + 1. Let u be k(x). Solve 0 = -u*f + f for f.
0
Let y = 8 - 5. Suppose -3*l + y*j + 0*j = 12, -2*j + 9 = -l. Solve n + 0 = l for n.
1
Let z be 2/(-4) + -2*25/(-20). Solve z*q - 1 = -7 for q.
-3
Let d(b) = b + 9. Let r be d(-6). Suppose 4*y + 4 = 4*u, u - 3*u + 2 = -r*y. Solve y = -c - 0*c - 3 for c.
-3
Let h(s) = -7*s + 6. Let c(v) = v - 1. Let q(y) = 6*c(y) + h(y). Let b be q(6). Let r = b + 7. Solve 0 = 4*l + r + 3 for l.
-1
Let t be 3 + -1 - (6 - 7). Suppose 4*u - q - 3 = u, 3*u = -q - t. Solve u*p = p for p.
0
Let o = 14 - 16. Let m(v) = -3*v**3 - v**2 + 2*v - 1. Let r be m(o). Solve 6 = -3*j + r for j.
3
Let u(y) = y**3 - 4*y**2 - y + 4. Let o be u(4). Let p(m) be the second derivative of m**4/3 + m**2/2 - 2*m. Let r be p(1). Solve o = -2*g - 1 - r for g.
-3
Suppose -7*w + 20 = -2*w. Solve 3*r + r = -w for r.
-1
Let j(t) = t**2 + 5*t + 5. Let f be j(-5). Solve f*x - 7 = -32 for x.
-5
Let j be (3 - 1)*(1 + 1). Suppose j*i - 36 = i. Solve -2*v + i = v for v.
4
Let j be 6/2*40/(-15). Let k = -7 - j. Solve 0 = 5*i + 9 + k for i.
-2
Suppose 4*f + 2 = -3*i, 3 = 5*i + 3*f - 1. Suppose -2*s - 4*y = -5*y - 29, 2*s - 20 = 4*y. Let h = s - 13. Solve -h*u = -i + 8 for u.
-2
Let z(r) = -r**2 + 15*r + 62. Let w be z(18). Let l = -1 - -1. Solve 2*h - w + 2 = l for h.
3
Let p(f) = -4*f + 5. Let r be p(0). Solve r = -2*d + 3*d for d.
5
Let y = 10 + -7. Suppose y*m - p = 4, -5*m = 4*p + 2 - 20. Solve 0*n = -m*n for n.
0
Let a(q) = q**3 + 4*q**2 - 6*q - 5. Let w be a(-5). Suppose -3*m + 0*m + 2*v = -10, w = 2*m - 4*v - 20. Suppose -l + 6*l - 55 = m. Solve -1 + l = 5*o for o.
2
Suppose 55 = 3*a - 3*y + y, -35 = -a + 4*y. Solve i + 4*i - a = 0 for i.
3
Let b = -6 + 5. Let m = 4 + -7. Let c = b - m. Solve 6 = -v - c*v for v.
-2
Suppose y + 3*y - 20 = 0. Solve -y*x = -2*x for x.
0
Suppose 0 = b + 2*b. Let u = 2 - b. Solve u = x - 1 for x.
3
Let p(d) = -d**2 + 6*d - 4. Let g be p(5). Suppose -2*j + 8 = 3*y, 4*y - 2*j = 5 + g. Solve -4*t - 6 - y = 0 for t.
-2
Let v(y) = 11*y + 8. Let m(r) = 7*r + 5. Let o(j) = 8*m(j) - 5*v(j). Let q be o(4). Solve 0 = q*b - 5 + 13 for b.
-2
Suppose -3*n + 36 = -0*n. Suppose z - 5*u + 22 = 0, 2*z + 4 = 4*u - 22. Let g = z + n. Solve g*x - 12 = x for x.
3
Suppose -n = 3*c - 0*c - 13, -c + 4 = 0. Let b be (-2 + 4 - 0)*n. Suppose 2*y + 4 = -2*s, -b*s + s = -y - 2. Solve 4*x - 8 = -s for x.
2
Let i = 20 + -18. Solve 0*q - q = i for q.
-2
Let z be ((-40)/15 + 2)/((-2)/3). Solve b - 1 = z for b.
2
Suppose 18 = -4*n - 22. Let u(z) = z**2 + 11*z + 15. Let k be u(n). Solve -2*g + 3*g = k for g.
5
Let h = -1 - -3. Suppose 5*c + l - 3 = 11, h*c = 3*l - 8. Let m = c - 0. Solve m*z + 2 = 4*z for z.
1
Suppose -6 = -u - 3*t, -7 = -0*u - 2*u - t. Let s(j) = j**2 - 5*j + 6. Let m be s(4). Solve m*y = -y - u for y.
-1
Let v be (-86)/(-7) + (-6)/21. Suppose v = -0*y + 4*y. Suppose 2*p = -4*q + 8*q - 28, -4*q - 3*p + 38 = 0. Solve q = -k - y*k for k.
-2
Suppose 0 = 2*z + 4*i + 2, -z - 4*z + 4*i + 23 = 0. Let g = z + 4. Solve g = -5*v + 22 for v.
3
Suppose -18 - 22 = -5*r. Let f(l) = -l**2 + 7*l + 10. Let x be f(r). Solve -3 = -x*c + 3*c for c.
-3
Suppose -6*h = -2*h - 5*j - 24, j = -4*h + 24. Solve 0 = 2*z + h for z.
-3
Suppose -8*c - 5*u + 25 = -3*c, -15 = -3*c - 4*u. Solve -4*p - 3 = c for p.
-2
Let z(o) = -3*o**3 - 2*o**2. Suppose 1 = 2*d + 3, -x + 1 = -3*d. Let a be z(x). Solve l + 3*l = -a for l.
-4
Let p be (-3 - -2 - -1)/(-5 - -4). Solve n + 3*n = p for n.
0
Let y be 1 + -1 + 5 + -5. Suppose 13*f + 30 = 15*f. Solve y = j + 2*j + f for j.
-5
Suppose 4*l + 2*p = 18, 0*p + 4*p - 20 = 0. Suppose -2 = -4*g + l*g. Solve j + 6 - g = 0 for j.
-5
Suppose 3*r = 7*r - 12. Let g = -3 + r. Suppose g*i + i = 2. Solve i*d = -2*d - 4 for d.
-1
Let q = -4 - -9. Solve q*i = i for i.
0
Suppose -4*w + 6*w + 16 = 3*s, -6 = 2*s + 2*w. 