t n be 2 + (4*4 - -2). Suppose -n = -t - 3*t. Solve -t*c - 20 = 5 for c.
-5
Suppose -4*t = -5*j + 20, 0*t - 8 = -2*j + 4*t. Solve 2 = -5*y + j*y for y.
-2
Let j = 19 + -15. Solve 9*k = j*k for k.
0
Let t be -5*(16/10 - 2). Solve -2*g = -g - t for g.
2
Let c(k) be the first derivative of k**2 + 2*k - 1. Let a(h) = -h - 1. Let o(q) = -3*a(q) - c(q). Let f be o(1). Solve f = t - 1 for t.
3
Suppose -7*n = -3*n. Suppose -4*i + n = -16. Suppose 0 = -0*d + 3*d + 12, 0 = -4*o - 2*d + 40. Solve 0 = i*c - 8*c - o for c.
-3
Let f = 7 + -2. Suppose 0 = 4*a + x + 14, f*x - 18 = 2*a - 0*x. Let b = 7 + a. Solve -23 = b*h - 8 for h.
-5
Let v be (4*-1 - -2)/(-2). Let s = 7 - v. Solve 16 = 2*u + s for u.
5
Let h(j) = j - 4. Let c be h(7). Suppose 4*i - 13 = c. Solve 0*s = -i*s for s.
0
Let u = 2 - 0. Let d be (-15 + -1)*3*u. Let w be 4/6 - d/18. Solve -w - 2 = -2*s for s.
4
Let o = 7 - 12. Let n = -3 - o. Suppose -4*z + 2 = -u, -7*u + 11 = -n*u + z. Solve -1 = -q - u for q.
-1
Suppose -d - 3 = 7. Let i be 39/15 + (-4)/d. Solve 11 + 4 = -i*g for g.
-5
Let w be 78/24 - 3/(-4). Let c(v) = 5*v. Let i be c(w). Solve -n - 4*n = i for n.
-4
Let c = 8 - 4. Let d be (30/4)/(2/c). Let p = d + -10. Solve 10 = -p*z - 0 for z.
-2
Suppose 3*w + 3 = 2*m, 3*m - 5*w = 4 + 1. Solve m = -0*j + 4*j for j.
0
Let c = 4 + 4. Let x be -9 + c + (-7)/(-1). Solve -h - x = 2*h for h.
-2
Let v = -18 + 20. Suppose -3*c + 12 = -v*r, -r - 2*r - 16 = -4*c. Suppose -88 = -5*l + 12. Solve c*k - l = 8*k for k.
-5
Let w(n) be the first derivative of n**3/3 - 3*n**2/2 + 1. Let t be w(4). Suppose -t*j + 7 = 3. Solve -3*c = 4 - j for c.
-1
Let f(o) = 3*o. Let x be f(2). Solve -5*k - x = 14 for k.
-4
Suppose -3*a - 1 = a - 5*c, -3*a - c - 15 = 0. Suppose 2*w = -0*w + 2. Let o be (1 - w)*4/a. Solve o = -2*n + 8 for n.
4
Let u be 11/4 - (-3)/12. Let l = 1 + u. Let s be (-18)/4*l/(-6). Solve 0 = v + s for v.
-3
Let j = -15 - -9. Let m be (-117)/(-27) + 2/j. Suppose 34 = 3*a + 2*b, -m*b + 3 = -5. Solve 4*t - 10 - a = 0 for t.
5
Let r = 21 + -21. Let k = r + 10. Solve -3*c = 2*c + k for c.
-2
Let u(b) = b + 1. Let j be u(-1). Solve j = -s - 0 - 3 for s.
-3
Suppose -6 = -7*q + 113. Solve -2 + q = -5*v for v.
-3
Let c be (-22)/(-3) - 4/(-6). Let l be 1*(c + 6/(-2)). Let h = 7 + -4. Solve -l*f - 2 = -h*f for f.
-1
Suppose 3 = o + 9*w - 5*w, -w - 15 = -5*o. Solve i = -o*i for i.
0
Let n = 4 + 0. Let j(r) = n - 5*r**3 + 4*r**3 + r + 2. Let k be j(0). Solve 0 = -k*x + 2*x - 12 for x.
-3
Let j be (3 - 4)/((-2)/4). Suppose p + 7 = 2*n, 4*p + 0*n = j*n + 2. Solve 0 = p*v - 0 + 12 for v.
-4
Let n be (7/3 - 1)*(-44 + 47). Solve -n*i - i = 0 for i.
0
Let c(v) = v + 5. Let o be c(-3). Let l(n) = 4*n**3 - 2*n**2 + 1. Let f be l(1). Suppose -y + t = -f*t + 8, 2*t = -y + 4. Solve y*g + o = g for g.
2
Let f = -67 - -68. Solve 3*v = 4*v - f for v.
1
Suppose 5 = 5*u, 6*k + 3*u - 1 = 8*k. Solve 6*n = -5 - k for n.
-1
Let t be 12/(-18) - 454/(-6). Suppose -2*n = 3*n - t. Suppose 2*m = 5*w - 12, -3*w + 5*m = -0*w + 8. Solve -w*q = q + n for q.
-3
Let r(k) = k**3 - 4*k**2 + 3*k. Let p be r(2). Let i(m) = m**2 + 5*m - 6. Let h be i(-6). Let d = h - p. Solve -d*o = 2*o - 12 for o.
3
Let s(r) = r - 3. Let w(t) = 3*t - 8. Let b(l) = 8*s(l) - 3*w(l). Let n be b(-1). Let f = 0 + 0. Solve -x + f = n for x.
-1
Let f(m) = 9*m + 3. Let n(x) = 5*x + 2. Let y(q) = -6*f(q) + 11*n(q). Let j be y(-5). Let o(g) = -5*g**3 + 2*g + 1. Let s be o(j). Solve 0*u = s*u + 8 for u.
-2
Suppose 5 = 2*k - 1. Let x(v) = v - 4. Let c be x(7). Let y be 35/4 - c/4. Solve 5*a + y = k*a for a.
-4
Let k be (5/(45/24))/((-12)/(-18)). Solve -3*h = -k*h for h.
0
Suppose 3*d + 2*f - 19 = 0, 4*f - 24 = -4*d + f. Let m(s) = -2*s + 1. Let o(j) = j**2 + 2*j - 1. Let i be o(-2). Let t be m(i). Solve d = -t*b + 3 for b.
-2
Suppose r = -2*r + 5*y - 8, y = -r. Let s be (7 - 2) + 3 + r. Suppose z + t - s = 0, 0 = 3*z + 2*z - 5*t - 15. Solve -2*p = -z*p + 3 for p.
1
Let d(q) = -q**2 + 2*q. Let u be d(2). Suppose u = -2*c - 2*w - 2*w, -c + 6 = -4*w. Solve c*x = 5*x for x.
0
Suppose 39 = 3*r + 9. Let b = r - 9. Solve 7 = 2*l - b for l.
4
Suppose 2 = -d + 4. Let u be (d/3)/((-8)/(-36)). Solve u*f = -f for f.
0
Let a = 1 - 2. Let p be a/3 - 2/(-6). Suppose p = -3*c - 4*b - 6 + 1, 4 = 2*c - b. Solve -3*x = 8 + c for x.
-3
Let n = 1364 + -879. Let v be 2/(-12) - n/(-30). Solve -5*j = -9 - v for j.
5
Let m(k) = -k**2 + 6*k - 3. Let h be m(3). Let j be (-20)/30 + 16/h. Solve 0 = 3*c + j + 13 for c.
-5
Suppose -5*h - 3*i + 60 = -i, -5*i = 0. Solve 0 - h = -4*l for l.
3
Suppose -2*k = -2*y + 4, 6*y + 4*k = 3*y + 20. Solve -f - y = -5 for f.
1
Suppose 0 = 4*a - 9 - 15. Let r(b) = 0 - 5*b**3 + 6*b**3 + 2 + b. Let h be r(0). Solve -h*s - 2 = -a for s.
2
Let p = -15 - -16. Solve -z - p = 1 for z.
-2
Suppose -3*f + 534 = -0*f. Let c be f/6 - (-2)/6. Suppose a = -a + c. Solve -4*o = o - a for o.
3
Let a = 12 + -12. Solve 2*v = -a*v - 8 for v.
-4
Let i be -1 + (4/2 - 0). Let g = 47 - 47. Solve n + i + 0 = g for n.
-1
Let r be -2 + (-3)/3*-1. Let x be r/4 + (-3)/(-12). Solve x = -4*t - 10 - 6 for t.
-4
Let m = -3 + -1. Let n = m + 9. Suppose 0*g + 5*g - n = 0. Solve 3*q + g = -8 for q.
-3
Suppose 0 = -2*y - 3 + 7. Solve 3 = -y*h - 7 for h.
-5
Suppose -2*w + 2 = -z + 5, z + 2*w = 3. Solve 5*d + z + 7 = 0 for d.
-2
Suppose 0*z + 4*z = 4*b - 36, -b + 4*z = 0. Solve -6*c + 3*c = b for c.
-4
Let n(u) = u**2 - 17*u + 2. Let j be n(17). Solve j*h = h - 5 for h.
-5
Suppose 7*u - 4*u = 0. Solve u = l - 0*l - 2 for l.
2
Let k be (-6 - -13) + (-1 - -4). Let r be 4*(-3)/(-24)*k. Solve 0*h + h = -r for h.
-5
Suppose b - 12 = 2*k + 2*k, -5*k = 3*b + 15. Suppose -3*i + 6 = 0, -2*i = -4*c - b*c + 8. Suppose -a = c*a. Solve -r - r - 2 = a for r.
-1
Suppose k - 6 = 4*k. Let m be (-72)/(-20) + k/(-5). Let c = -4 + m. Solve c = 6*i - 2*i - 4 for i.
1
Let d = 10 - 6. Suppose -d*y = y + 20. Let f be 0 + 0 - (-1 + y). Solve -3 = -f*v + 2 for v.
1
Suppose u - 44 = -35. Solve -u = -2*h + 1 for h.
5
Let l = -97 - -99. Suppose o + 0*o - 12 = 0. Let q(w) = -w**2 - 4*w + 5. Let s be q(-4). Solve l*t + o = s*t for t.
4
Let m be 3/66*-4 - (-46)/11. Solve -m*a = 1 - 5 for a.
1
Suppose 9 = 3*t - 4*x, x + 6 = 2*t - 2*x. Suppose -n + 5*i = 2*n - 30, t*n - 2*i = 21. Solve n*r = 3 + 2 for r.
1
Suppose 0 = -6*b + 7*b + 2. Let h be (-8 - -5)/(3/b). Solve h*k + 9 = -k for k.
-3
Let s be 2/5 - (-13)/5. Solve s - 7 = -i for i.
4
Let f be (-11)/(-3) - 6/9. Suppose 2*b - f*b + 4 = 0. Suppose -b*z - 4*h = 12, 5*h + 24 = 4*z - 0*h. Solve -2*t + z = -5 for t.
3
Let n be 9/6*6/9. Solve n + 15 = -4*r for r.
-4
Let w(j) = j**3 - 2*j**2 - 4*j + 2. Let l(z) = z**3 + 4*z**2 - 6*z - 2. Let k be l(-5). Let p be w(k). Let m = p - -8. Solve m*c = 4*c for c.
0
Let s be 7/(-14) + (-2)/(-4). Suppose 0 = 17*y - y - 32. Solve s = d + 1 - y for d.
1
Let s = -16 + 19. Solve s = h - 0 for h.
3
Let g(m) = -m**2 - 12*m - 13. Let c be g(-10). Suppose 2*d = 7 + c. Solve -d*i + 2*i + 25 = 0 for i.
5
Let p = 3 + -4. Let a = p + 3. Let y be a - (3 - 0)/(-1). Solve -y = 5*f - 0 for f.
-1
Suppose -2*s - 12 = -6*s. Solve -s = o + 2 for o.
-5
Let q(a) = 2*a**2. Let w(h) = h**2 - 8*h - 1. Let n be w(8). Let s be q(n). Solve -5*l - 7 + s = 0 for l.
-1
Let c be -2 - 2*(-22)/4. Let h = c + -8. Solve -2*p - h = 9 for p.
-5
Let t be (2 + -4 - -3)/(-1) + 3. Solve -t*b + 20 = -6*b for b.
-5
Suppose 4*k = -2*d + 16, -4*k = -3*d + 30 - 6. Solve -3*v - d = -5*v for v.
4
Suppose 3*o - z = 0, 2*o - 3*o - 4*z = 0. Suppose -s = 4*k - 18, -4*s + 0*k - 3*k + 20 = o. Solve s*c = -2*c + 4 for c.
1
Let q(c) = c**3 - c + 1. Let f be q(0). Let v be (f - -1)/((-2)/(-3)). Let s(t) = -t**3 + 3*t**2 + t - 1. Let o be s(v). Solve 0 = o*k - k - 5 for k.
5
Let c be (1/(-3))/((-3)/54). Suppose j - 56 = -3*j. Solve 4*g - c = -j for g.
-2
Suppose -4*k = a - 3, a + k - 6 = -a. Solve -a*h = -h + 8 for h.
-4
Suppose -5*y + 0*y + 10 = 0. Solve -y*a + a - 1 = 0 for a.
-1
Suppose -4 = -5*g + 3*g. Solve -2*l - g - 2 = 0 for l.
-2
Let w(u) = -u**2 - 9*u - 14. Let h be w(-6). Let t be (-2)/4 + (-1)/(-2). Let i(o) = o - 7. Let d be i(9). Solve 0*l + d*l - h = t for l.
2
Let f be -2 + (-11 + -1)/(-2). Let h = 1 - 2. Let d(m) = -m**2 + 1. Let a be d(h). Solve a = -0*g + g + f for g.
-4
Suppose 3*t + 1 - 7 =