o - 2 for o.
-4
Suppose 0 = -0*b + b. Suppose b = -v + 4. Solve 0 = v*a - 2*a - 10 for a.
5
Let i be 10/6 + 2/6. Let c be (1 - 2)*(-12)/i. Solve -3*b - 3 + c = 0 for b.
1
Let d be (2/(-6))/(1/(-6)). Suppose -2*j - 3 = d*a + 7, j - 15 = 3*a. Solve 3*w - 3 + 0 = j for w.
1
Suppose 0 - 39 = -3*a. Let l = -10 + a. Solve -l*u + 7*u = 0 for u.
0
Suppose -12 = 2*z - 4*z. Solve 2*l + z = -l for l.
-2
Let l = 54 - 51. Solve -l*m + 8 = 20 for m.
-4
Suppose -20 = -4*u + 3*u. Suppose 5*w - 4 = -4*v + 24, 0 = 2*v + 4*w - u. Solve v*l - 7*l = 0 for l.
0
Let u(x) = 3*x + 4. Let z(o) = 8*o + 11. Let d(t) = 11*u(t) - 4*z(t). Let h be 9*(3 + 100/(-36)). Let k be d(h). Solve 2*l - k = -10 for l.
-4
Suppose -9*a - 2 = -10*a. Solve -6*o = -a*o - 20 for o.
5
Let g(k) = -k**3 - 8*k**2 - 7*k. Let u be g(-7). Let c be ((-2)/4)/((-1)/10). Solve -c*m + 3*m - 10 = u for m.
-5
Suppose -1 = d - 2. Let v = d + 1. Solve -5*j - 18 - v = 0 for j.
-4
Let c(p) = -p**3 + 3*p**2 + 5. Let d be c(3). Solve 0 = d*z + 36 - 11 for z.
-5
Let u(a) = 2*a**2 - 2*a + 5. Let r(y) = 3*y**2 - 5*y + 10. Let v(p) = 3*r(p) - 5*u(p). Let x be v(-5). Solve x*s + 8 = 3*s for s.
-4
Suppose 2*w = -2*n - 1 + 13, 3*n - 2*w = 8. Solve -1 = -n*s - 13 for s.
-3
Let z be 21/(-28)*(-1 + -3). Solve 0 = z*c + 2*c for c.
0
Let g = -3 + 2. Let k be ((0 - 0)/g)/(-3). Solve -w + k*w = -5 for w.
5
Suppose l + 2 = 5*a - 24, -2*a = -2*l - 12. Solve a - 1 = 2*f for f.
2
Let q be (7 - 1) + 2/(-2). Suppose q*c + 8 = -v, 0 = -v - 0*v - 4*c - 6. Let x = -3 + 5. Solve -x = -k + v for k.
4
Suppose -42 = 2*y - 5*y. Let s be 0 - (0 - 0) - 10. Let w = y + s. Solve 0 = -j + w*j for j.
0
Let d be 4/12 - (2 + (-52)/6). Solve 2 = 3*f - d for f.
3
Let i(c) = -c**2 - 4*c + 2. Let j be i(-4). Solve -4 + 10 = j*h for h.
3
Suppose -3*t + 1 = 13. Let k = 4 + t. Solve k = -n + 4 - 8 for n.
-4
Let t = 29 - 17. Solve -3*u + t = 3 for u.
3
Let z = -9 - -2. Let x = 12 + z. Solve 2*r + x - 3 = 0 for r.
-1
Let b = -5 + 7. Solve b*r - 2 = 2 for r.
2
Let t = 7 - 11. Let o = -2 - t. Solve -2 = -z + o*z for z.
-2
Let u(j) = j**3 + j**2 + j + 4. Let v be u(0). Solve -w = -v*w - 12 for w.
-4
Let f(m) = -m**3 - m**2 - m - 1. Let u be f(-1). Solve u = 5*g + 5 for g.
-1
Let b(j) = -2 - 2*j + 0 - 1 + j. Let m be b(-4). Solve r = m + 3 for r.
4
Let a be 4 + -4 - (-1 - -1). Suppose a*r + r = 0. Solve r = 3*f - 3 - 3 for f.
2
Let z = -47 + 47. Solve z*l - 2 = -2*l for l.
1
Let j(d) = d + 5. Let q be j(-3). Let c be (-1)/(3 - q)*-1. Solve -4*y + 19 = -c for y.
5
Let t(n) = n**3 + 10*n**2 + n + 14. Let h be t(-10). Solve 0 = h*r - r - 12 for r.
4
Let k(w) = 2*w**2 - 12*w - 11. Let d be k(7). Solve 6*f - d*f = 0 for f.
0
Let p(k) = 6*k - 3*k + 10 + 4*k - 8*k. Let m be p(10). Solve -v = -m*v - 2 for v.
2
Let q = 21 + -14. Solve -q*a + 2*a - 5 = 0 for a.
-1
Let u(q) = q + 16. Let w be u(-12). Solve -w*x = -7 - 13 for x.
5
Suppose 4*y - 24 = -3*p - 8, 2*y = -4*p + 8. Suppose 0*w - 5*w + 330 = p. Suppose m + 4*t - 18 = 5*t, -4*m + t = -w. Solve -j = 3*j - m for j.
4
Let b = 126 + -122. Solve -1 + 5 = -b*g for g.
-1
Let a(x) = x**3 - 3*x**2 - 3*x. Let k be a(4). Suppose -k = -d - 2*d - 4*h, 2*h = 3*d + 2. Solve -r - 4*r = d for r.
0
Let o(a) = a**2 + 7*a + 4. Let j be o(-7). Solve v - 12 = j*v for v.
-4
Suppose 40 + 40 = 4*x. Suppose 5 = -5*f - 0. Let c(v) = -2*v**3 - v**2 - 2*v - 1. Let j be c(f). Solve -j*l + x = -6*l for l.
-5
Let i(f) = 4*f**3 + f**2 - 2*f + 1. Let d be i(1). Solve 4*c + d = -0*c for c.
-1
Let u be ((-2)/(-12) - 0) + (-30)/(-36). Solve 21 = 5*l + u for l.
4
Let a = 5 - 3. Suppose 5*c = -j + 4*c + 9, a*j = -5*c + 33. Suppose s - 10 = -2*x - x, 0 = j*x + 2*s - 12. Solve x*g + 0*g = 0 for g.
0
Let d = -10 - -13. Solve d = -4*w - 1 for w.
-1
Suppose 0 = -2*u - u + 45. Let w = -13 + u. Solve 1 = a + w for a.
-1
Let h be (30/4)/((-3)/(-4)). Suppose 3*f + 0*f = -2*m - h, 5*f = -20. Solve 5*d = 4*d - m for d.
-1
Let t be -3*(-5 + (6 - 3)). Solve t*l - 10 = 11*l for l.
-2
Let b be (4/6*-3)/1. Let i = b - -2. Let t = 1 - -4. Solve i = t*r - 18 - 7 for r.
5
Let l(w) = w**3 - w**2 - 2. Suppose -3*o - 4 = -c - c, 3*c - 15 = 0. Let j be l(o). Solve -j*d + 16 = -6*d for d.
-4
Let g(i) = -i. Let t be g(-4). Suppose 0 = 5*a + t*l - 12, 5*l + 3 = 18. Solve 3*s + 2*s = a for s.
0
Let n = 96 + -89. Solve -2*v = 1 + n for v.
-4
Let o be (3 - 9) + (7 - -1). Solve o*p = -p + 12 for p.
4
Let u(l) be the first derivative of -l**4/12 - l**3 - l - 3. Let d(y) be the first derivative of u(y). Let f be d(-6). Solve f*m - 1 = m for m.
-1
Let h = 11 - 0. Suppose -5 - h = -4*c. Suppose -3*o = o - c. Solve 1 = -2*y - o for y.
-1
Let r be (10/4)/(1/2). Suppose 6 = r*z - 9. Solve -5*k - z = 7 for k.
-2
Suppose -9*h + 7*h = 0. Solve -x + 0*x + 4 = h for x.
4
Suppose -4 = -p - 8. Let b be 25 + (-1)/(p + 3). Solve 3*g = b - 11 for g.
5
Let c be -2 + (-1 - 1 - 628). Let a be 4/(-26) - c/52. Solve a + 8 = 5*h for h.
4
Suppose 5*f - 33 = -4*k, 4*k = 4*f - 14 + 2. Solve -k*y + 15 = y for y.
5
Suppose -2*d = 3*b, 6 = -5*b + 2*b - 4*d. Suppose -4*x = 4, 3*r + 4*x - 2 - 3 = 0. Solve r*q - b = q for q.
1
Suppose -15 = -3*z + 3*v - 6*v, 10 = 3*z + 2*v. Solve z = -b - 0*b - 3 for b.
-3
Let v be (0 - 2)*1/2. Let p(m) = -m**3 + 2*m - 3*m - 2 + 2. Let d be p(v). Solve -s = s + d for s.
-1
Let q(o) = o**3 + 3*o**2 - 2*o - 4. Let u be q(-3). Suppose 0 = u*b - 0*b - 10. Solve -5*s - b = -0*s for s.
-1
Let h = 0 - -2. Let j = 3 + -1. Suppose -2*m = 3*o - 33, 0 = 5*o + m - j*m - 68. Solve -5*b - h = o for b.
-3
Let h(a) = a**2 + 9*a. Let m be h(-9). Solve m = -0*s + s - 2 for s.
2
Let c(m) = -m**3 + 6*m**2 + 7*m + 3. Let i be c(7). Suppose -3*v - 4 - 11 = 0, v + 5 = -5*y. Solve y*o = o + i for o.
-3
Let b be (5/(-2))/(2/4). Let z(p) = -p - 2. Let m be z(b). Let r be (-4 - -8)/(-1 + m). Solve 5*j - r = 23 for j.
5
Suppose -3*l = 3*y - 15, 2*y - 3*l = y - 3. Suppose z + 5 = y*v + 1, -2*v - 4*z = 16. Solve 3*c + c + 16 = v for c.
-4
Let m(r) = r**2 - 10*r. Let d be m(11). Let w = d - 5. Solve -2*t - 4 - w = 0 for t.
-5
Suppose -r + w + 6 = 0, w + 6 + 5 = 2*r. Solve -j + r = 8 for j.
-3
Let q be (6/(-3))/((-2)/3). Suppose -1 = 2*m - q. Solve -2*u - 3 = -m for u.
-1
Let q be 10/4 + (-11)/22. Let h be q/2 + 24/6. Solve 2 + 8 = h*o for o.
2
Suppose n = 2*n - 5. Suppose r + 1 = 3*r - 5*w, n*r = -w + 16. Suppose 0 = j + 3*g - 2 + r, 0 = 5*j - 4*g - 52. Solve 4*o - j = -24 for o.
-4
Let t be ((-12)/2)/(-2) + 1. Let u be (-2 - -5)/(5/(-40)). Let p = 26 + u. Solve t*i - 6 = p*i for i.
3
Let o = 1 - -4. Suppose o*w - 12 = w. Suppose -2*z + 3*z - 15 = 3*p, -5*z + 5 = -p. Solve z = -w*x - 0*x for x.
0
Let z(g) = -g**3 + g**2 + g - 1. Let i be z(0). Suppose 3 = 2*o - 5. Let p = i + o. Solve -p*w = w + 20 for w.
-5
Let f(z) = -7*z**2 + 2*z + 1. Let c be f(-1). Let j = c - -11. Let b(u) = -u**2 - 4*u + 2. Let g be b(0). Solve j*m - g*m = -2 for m.
-2
Let b(j) = j**3 + 3*j**2 - 4*j + 3. Let z be b(-4). Suppose 3 = -2*u + 5*y, 4*u + 7*y - 2*y - 9 = 0. Solve z*x - 2*x - u = 0 for x.
1
Suppose -7*f + 2*f + 4*p + 24 = 0, -p = -2*f + 12. Suppose -2*a + f = 0, -2*a = -o - 7*a + 25. Let n be (-9)/2*(-6)/9. Solve 6 = o*c - n*c for c.
3
Suppose -q = -3*q. Solve q = l - 2 for l.
2
Let c be (-282)/22 + 30/(-165). Let k = 18 + c. Solve k*g = 6 + 9 for g.
3
Let m = 21 + -12. Let b = m + -4. Solve -b*d = -1 - 4 for d.
1
Suppose u + u = 3*u. Solve 3*j + 0 - 9 = u for j.
3
Let v = -5 - -7. Suppose -4 = -r - c, 3*c - 12 = v*r - 0*r. Let h = 4 + -2. Solve -7*d + h*d + 20 = r for d.
4
Suppose 63 - 13 = 5*r. Solve -3*c - 2*c = -r for c.
2
Let n be (-2)/3*-3 + 1. Let t(f) = -f**3 - 4*f**2 + 6*f + 7. Let o be t(-5). Suppose o*w + 3 = n*v, 2 = -v + 3. Solve 3 = -h - w*h for h.
-3
Let v(z) = -2*z - 9. Let c be v(-6). Suppose -5*u + 30 = -5*f, 4*f + 13 = 2*u + f. Solve 0 = -m + u - c for m.
2
Suppose 0 = 15*h - 10*h - 10. Solve -h = -y - 0 for y.
2
Let o = 7 - 4. Suppose -4*w = 3*b - 15 - 11, -5*w = -o*b - 19. Suppose 5*m + 2*l = 25, m - w = -0*l + 3*l. Solve -g = -m*g + 16 for g.
4
Let s = 11 + -2. Let u be (s - -2) + (2 - 1). Solve -u = -5*m + 8 for m.
4
Suppose 0 = -3*p + p. Suppose a - 5*a + 8 = p. Suppose 0 = 7*m - 5*m - 2. Solve -a = -q + m for q.
3
Suppose 5*z + t = 13 + 27, 2*z = -2*t + 8. Let a = z + -7. Solve -a*c + 12 = -6*c 