 -3*j + 2*j + 3 = 0. Solve -2*x - 1 = -j for x.
1
Suppose -13*o = -74 - 134. Solve -6*l = -2*l - o for l.
4
Suppose 0 = 4*g - 2*d - 0*d - 22, -d - 17 = -4*g. Let x(m) be the first derivative of -m**3/3 - m**2/2 + 5*m + 3. Let o be x(0). Solve o = -4*u - g for u.
-2
Suppose -a + 6 = -3*u, 2*u = a + 2 - 5. Let s(i) = -i**3 + 2*i + 1. Let p be s(-2). Let b be a*2/3 + p. Solve 0*y - b*y = -9 for y.
3
Suppose 4*y + 2*h + 12 - 28 = 0, -3*y - 10 = -4*h. Suppose -p + 0*p + y = 0. Solve -p = -4*s + 2 for s.
1
Let b(a) be the second derivative of -a**4/12 - a**3/3 + a**2/2 + 2*a. Let m be b(-4). Let y = -5 - m. Solve y = n + 7 for n.
-5
Let i = 10 + -4. Let t be ((-8)/i)/((-2)/6). Let d be (2/(-6))/((-2)/30). Solve -3*y = d + t for y.
-3
Let k(h) = 5*h - 23. Let t be k(5). Solve -t = 3*u - 11 for u.
3
Suppose k - 10 = -2. Solve 0*x + k = -4*x for x.
-2
Let g = 0 - 0. Let i(n) = 3 + 18 - n + 2*n. Let y be i(-9). Solve g = q + 3*q - y for q.
3
Let x(o) = o**3 + 3*o**2 - 7*o - 3. Let t be x(-5). Let m = -18 - t. Solve m = -3*y - y + 20 for y.
5
Let a(b) = b + 4. Let q be a(6). Let m = 14 - q. Let i = -6 + 20. Solve -m*p + i = -6 for p.
5
Let n(k) = -5*k + 5. Let r be n(-6). Suppose 0 = p - w - 3, 0 = -5*p - 2*w - 3*w + r. Solve 1 = -p*y + 26 for y.
5
Suppose -r = 3*r - 8. Solve -s + 9 = r*s for s.
3
Let t be (-6)/(-2)*-1 + 12 + 0. Solve -11 = 4*x + t for x.
-5
Suppose 6 = -3*u - 3*p, 3*p - 6 = -u + 4*p. Solve -u*q = 2*q - 16 for q.
4
Let k be 8/32 + 22/8. Suppose 3*n - 5*d - 65 = 0, n - 3*d = -k*n + 72. Solve 0 = 7*o - 2*o + n for o.
-3
Let z(h) = -2*h - 4. Let u be z(-4). Let k(b) = -6*b - 38. Let r be k(-9). Solve 4*x = -r - u for x.
-5
Let x be 1/2 - (-2)/(-4). Solve 5 = -x*y + y for y.
5
Suppose 0 = -0*p + p. Suppose p*l + 3*l = 18. Let v be 4/(-12) - 1/(-3). Solve v = 3*r + 6 + l for r.
-4
Suppose 0 = c - 5*n, -c = 2*c - 5*n. Suppose c = -x - 0 + 1. Suppose -i + x = -3. Solve -5 = -3*m + i for m.
3
Suppose -w + 29 = -2*i, 3 = -0*w - w. Let j = -13 - i. Solve 2*o - j*o = 0 for o.
0
Let u be (-22)/(-6) - 15/((-405)/(-18)). Solve 6*s - u*s + 9 = 0 for s.
-3
Let d(m) = m**3 + m**2 - m + 3. Let i(g) = -g**3 + 7*g**2 - 6*g. Let v be i(6). Let c be d(v). Solve -c*y + 5 = -2*y for y.
5
Let v be 2/4 - (-13)/2. Suppose 5*i + 3*o - 2 = 0, -4 - 8 = -4*i - 5*o. Let x = v + i. Solve 2*n + 3 = x*n for n.
1
Let b(u) = -u - 4. Let i be b(-4). Let n(s) = s + 4. Let p be n(i). Solve -p = -l - 1 for l.
3
Suppose -4*u - 6 = 3*k, -k = -0 + 2. Let x(d) = d**3 + 3*d**2 - 2*d - 6. Let l be x(-3). Suppose u = -l*b + 2*b - 8. Solve -y = y + b for y.
-2
Let s(n) = 2*n**3 - 3*n**3 + 11*n**2 + 1 + 4. Let b be s(11). Solve -2*p + b*p - 3 = 0 for p.
1
Let u be (3/9)/(5/45). Solve 2*b = b + u for b.
3
Let h(t) = -4*t + 5 + 0*t + 3*t + 4. Let r be h(6). Suppose -5*g + 4*k - 4 = 0, 2*g - 5*g = -k + 1. Solve -d + 4*d - r = g for d.
1
Let i(z) = -z**2 - 10*z - 19. Let h be i(-7). Solve -h*s + 1 = -1 for s.
1
Let x = -33 + 35. Solve x*r + 3*r - 10 = 0 for r.
2
Let a(c) = -c**2 - 4*c + 7. Suppose g + 3*g = -p - 20, -2*p = 0. Let o be a(g). Suppose 2*t + t + 2 = -5*d, 5 = 3*t - o*d. Solve -i = -2*i + t for i.
1
Let q(h) = -7*h**2 + 8*h**2 - 2*h**2 - 10*h - 1 + h. Let l be q(-7). Let y = 19 - l. Solve 0 = y*k - k + 20 for k.
-4
Let h(l) = -l**2 + 6*l + 27. Let c be h(9). Solve c = 6*f - 2*f + 20 for f.
-5
Let o be 11 - (5 - 8/2). Solve 4*b = -b + o for b.
2
Suppose -c + 3 = -5*w, 12 = 3*w - 2*w + 4*c. Solve -5*z + 6 - 26 = w for z.
-4
Let t(r) = 13*r**2 + 2*r + 1. Let u be t(2). Let q be u/12 - 3/(-12). Solve -3*j - q + 2 = 0 for j.
-1
Let g = 2 + -2. Suppose -2*d + 5 = 3*h, 12 + 8 = 4*h - 4*d. Let k(b) = -b + 6. Let i be k(4). Solve g = -i*r + r - h for r.
-3
Suppose 5*h - z - 30 = 0, -3*z - 18 = -3*h - 0*h. Suppose 4*l = -5*q + 31, -3*q + 16 = q + l. Suppose -t = q*t - 16. Solve -h = 5*v + t for v.
-2
Let t = -5 + 8. Let v(f) = -3*f + 7. Let g be v(5). Let d = -5 - g. Solve t*h = 6 + d for h.
3
Suppose 16 = 10*f - 4. Solve 0 = 4*n + f - 6 for n.
1
Suppose -5*s = 7 - 27. Solve 0*p = 4*p - s for p.
1
Suppose -2*v - 3*v + 22 = -w, 5*w = -2*v - 2. Suppose 0 = -q - v*q. Suppose 32 - 6 = 4*b + 5*r, -5*r = -10. Solve b*i - i = q for i.
0
Suppose 0 = 2*k + a - 14, -a + 6*a - 15 = k. Let r be (-92)/(-22) + 12/(-66). Solve -k = -r*b - 21 for b.
-4
Let v(x) = x**2 - 13*x + 12. Let p be v(12). Suppose -3*b - 3 = -p. Let o = b + 5. Solve -o*j + 2 = -2 for j.
1
Suppose x - 18 = -4*d, -3*x + 5*d = 2*d + 6. Let g be (-1)/2*(-8)/x. Suppose -3 - 8 = -4*w - h, g*w - 11 = 5*h. Solve -8 = w*c - c for c.
-4
Let h(y) = -y**2 - y + 9. Let p be h(0). Suppose 0 = -5*t + 11 + p. Solve 1 - t = -s for s.
3
Suppose g = -4*g + 180. Suppose 0*z = 2*n + 5*z - 11, 4*z + g = 4*n. Solve l + n = -l for l.
-4
Let j(k) = k**3 + 6*k**2 - 8*k - 6. Let z be j(-7). Let v = 3 - z. Suppose 4*q + 4*t = 2*q + 10, v*t - 25 = -5*q. Solve 4*d = 11 + q for d.
4
Let m(y) = 3*y - 7. Let j be m(5). Suppose 0*s = -4*s + j. Let b be (-2)/(-11) + (-14)/77. Solve 4*d - 3*d + s = b for d.
-2
Let j(s) = s**2 + 4*s + 7. Let m be j(-5). Solve 5*u - u = m for u.
3
Let q = -29 - -52. Suppose 4*b - d = -q + 62, 3*b = -2*d + 43. Suppose 0*l + r + 21 = 4*l, -3*l + b = 4*r. Solve -2 = -h - l for h.
-3
Suppose 0*c + 5*c - 25 = 0. Solve 13 + 7 = -c*o for o.
-4
Let i = 13 + -8. Solve i = 4*j - 3 for j.
2
Let m(k) = k - 2. Let x be m(5). Let t = 9 - x. Solve f + t = -2*f for f.
-2
Suppose 3*r - 8 = r + 2*j, r - 3*j = 4. Suppose -2*u = -12 - r. Let k be (1/2)/(2/u). Solve -k*c + 2 = -0*c for c.
1
Let h(b) = -4*b + 7. Let z be h(7). Let j = z + 30. Solve -j = 4*w - 25 for w.
4
Suppose -3*w = -16 - 23. Let q = 13 - w. Solve 0 = -h - q*h for h.
0
Let t(v) be the second derivative of -v**4/12 - v**3 - 2*v. Let r be t(-6). Solve o = -r + 1 for o.
1
Suppose 2*x = -6*w + w + 125, -2*w = -4*x - 50. Suppose -8*i + w = -3*i. Solve -i*f + 4 + 6 = 0 for f.
2
Let m(o) = 5*o**2 + 2*o + 1. Let h be m(-1). Solve -h + 16 = -3*w for w.
-4
Let w(j) = j**2 - 13*j + 12. Let m be w(12). Solve -4*z - 16 + 4 = m for z.
-3
Let h = 1 + -1. Let r(o) = -o**3 - 7*o**2 + 9*o + 10. Let c be r(-8). Solve u + c + 1 = h for u.
-3
Let z be ((-48)/(-4))/((-2)/(-2)). Solve 2*u + u - z = 0 for u.
4
Let z = -8 - -8. Solve z*j - 12 = 3*j for j.
-4
Suppose -3*a + 5*a - 6 = 0. Suppose 0*o = a*o - 12. Suppose -8 = 2*f - o*f + 3*i, 2*i - 28 = -2*f. Solve 2 = 2*n + f for n.
-4
Let l be ((-4)/(-6))/((-2)/(-9)). Suppose -3*n - r = -13 - 9, 2*n + 3*r - 10 = 0. Solve -l*f = -f + n for f.
-4
Let r = -7 + -2. Let p = -4 - r. Let l = 14 - 13. Solve -4 = p*f + l for f.
-1
Let q = -61 - -63. Solve 3*d = 8 - q for d.
2
Let y be (3 - 11)/((-1)/2). Let j be (3 - 0)/(12/y). Suppose -j*a + 5 = -2*d - 11, -2*a = 2*d - 2. Solve 3 = -a*q - 3 for q.
-2
Let n be 1/(-2 + 10/4). Let a(q) = -q**3 - 3*q**2 - 3*q - 1. Let p be a(-3). Let l be (-1 - -2 - 2)*0. Solve l*b + p = -n*b for b.
-4
Let n(f) = f**2 - 6*f - 1. Let l be n(7). Suppose -w = -l*w + 10. Suppose 2*u - w = u - t, -10 = -3*u + t. Solve -4*v = -7*v + u for v.
1
Let v(w) = 5*w - 6. Let u be -3*1*(-6)/3. Let s be v(u). Suppose 0*a = 4*a - s. Solve -25 = -a*x + x for x.
5
Suppose 53 = -3*m - m + 5*b, 5*m - b = -61. Let g(n) = -n**2 - 12*n + 6. Let u be g(m). Solve -u*d = -d - 15 for d.
3
Let m(u) = 6*u - 22. Let x be m(4). Solve 0 = 4*k - 6 + x for k.
1
Let k = 0 - 0. Suppose k = -a - 6 + 8. Solve 7 = a*b + 1 for b.
3
Suppose 5*k = k - y + 23, 0 = -2*k - y + 13. Suppose -k*c = -c + o - 3, 3 = 5*c + o. Solve c*r - 9 = 3*r for r.
-3
Let r(a) = 3*a**2 - 14*a - 5. Let m be r(5). Let l(x) = x**3 - 5*x**2 + 3*x - 2. Let h be l(4). Let p be (-4)/3*h + 0. Solve m*g = -2*g - p for g.
-4
Let j(m) = -m**2 + 4*m - 4. Let s be j(5). Let i be (-6)/s + 12/9. Solve -i*y = -y for y.
0
Suppose -4*z - 1 = -0*h - 3*h, 0 = -z - 3*h + 11. Solve -z*l = 2*l - 16 for l.
4
Let a = 11 - 6. Let o(d) = -d**3 + 4*d**2 + 5*d + 4. Let j be o(a). Suppose -t = 2 - 1, -4 = -4*v + j*t. Solve 4*n + n + 25 = v for n.
-5
Let j = 63 + -63. Solve j = 3*l + 2 - 5 for l.
1
Suppose 0 = 2*x - 0*x - 10. Let l(g) be the second derivative of g**3/6 + 3*g**2 - 3*g. Let h be l(-6). Solve -x*a - 11 - 14 = h for a.
-5
Suppose -2*m - 6 = -3*g - 5*m, -m = -4*g + 28. Solve 0*i - 2*i = -g for i.
3
Let m(d) = d**3 - 6*