 0*y = -y + j for y.
4
Let m(v) = -v**2 + 10*v + 15. Let i be m(11). Suppose 0 = 2*y + 3*y + i*r + 8, 4 = 5*y - 2*r. Suppose y = -z - 0*z. Solve 2*t + t + 12 = z for t.
-4
Suppose -c + 3 = -5*m + 12, 5*m - 3*c = 7. Solve -2*g - m*g - 8 = 0 for g.
-2
Suppose 14 - 14 = -6*c. Solve 5*t + 5 = -c for t.
-1
Let z = -79 + 81. Solve z*w + 0 = -4 for w.
-2
Suppose -5*j = 4*k + 2 - 28, j + 2 = k. Let i be j/8 - 4/16. Solve r = -i*r - 5 for r.
-5
Let d(v) be the first derivative of -v**3/3 + 2*v**2 + 1. Let h be d(4). Solve 0 = p + 5 - h for p.
-5
Suppose -4 = -2*o + 4. Suppose 2*x = 1 + 1, g + o*x - 6 = 0. Solve g*a + 3 = 1 for a.
-1
Let o(n) = -3*n + 4. Let h be o(-4). Suppose 2 = 3*y - h. Solve -y*a + 2*a + 16 = 0 for a.
4
Let u = 7 - 14. Let j = u + 11. Let a = 5 - -4. Solve a - 1 = j*k for k.
2
Suppose 5*g - 16 - 44 = 0. Suppose 2*b - g = -2. Suppose -b*m + 8 = -m. Solve 1 = -m*q - 9 for q.
-5
Let g = -41 - -42. Solve 14 = 5*m - g for m.
3
Suppose -2*x + 3*q - 8 = -4, -3*q = 3*x - 24. Suppose -40 = -x*z + 60. Let h = z - 18. Solve 0 = -h*r + 4*r for r.
0
Let o = -12 + 12. Solve t - 2*t + 1 = o for t.
1
Let c(t) = t**3 - 3*t**2 - t + 3. Let l(y) = y - 4. Let i be l(7). Let r be c(i). Solve r = -w - 4*w + 20 for w.
4
Suppose 4*c - 69 = 3*v, c + c - 3*v - 33 = 0. Let d be (4/(-3))/(3/c). Let o be (2 + (d - -2))*-1. Solve o*f = 3*f + 2 for f.
2
Let u(k) = k**3 - k**2 - 1. Let y be u(1). Let o be 1 + 5 + -1 + y. Suppose -n + 3 = -2*q - 2, 3*n - 15 = -5*q. Solve q*c - o = 4*c for c.
-1
Suppose 0 = -0*j - 6*j + 12. Solve 3*y = 4 + j for y.
2
Suppose -4*y + v = 6, -2*y + 0*y - 2*v = -2. Let j be (9/(-12))/(y/4). Solve 0 = 4*l + j + 9 for l.
-3
Let k be (-9)/(-3) + (2 - 1). Let j be (-78)/(-4) - k/(-8). Solve 3*g - 7*g = j for g.
-5
Let j be (1 - 1) + 1 - -3. Let b(n) = n**2 - 9*n + 12. Let s be b(8). Suppose 0 = -3*f + 3*v + 30, f = 2*f + s*v - 35. Solve o - j*o = f for o.
-5
Let j = -90 + 105. Solve 4*l - l = -j for l.
-5
Let h = 34 - 22. Let b = 12 - h. Solve b = -2*t + 4*t for t.
0
Let i(d) = d**2 + 8*d - 8. Let j be i(-9). Suppose -2*n + t = j, 2*n + 2*t = -3*n + 2. Solve 4*h = -n*h for h.
0
Let p = 15 - 12. Solve 0 = 2*c + 3 + p for c.
-3
Let s(p) = -3*p**3 + p**2 - 1. Let o be s(-1). Let a(q) = q + 2*q - 4*q. Let i be a(-2). Solve -5 = i*t - o*t for t.
5
Let b(j) = j - 4. Let a be b(7). Solve 0 = a*v - 4 - 11 for v.
5
Let k(y) = 4 + 0*y + 0*y - y. Suppose 4*j - 20 = -4. Let o be k(j). Solve o - 5 = -s for s.
5
Let c(u) = -3*u**3 - u**2 + u + 2. Let q be c(-2). Suppose -q = 3*y - 8*y. Solve 0 = y*s - 2*s + 2 for s.
-1
Suppose 3 - 11 = -4*k, 5*k = 3*d + 10. Suppose d = -7*m + 4*m + 30. Solve -l + m = l for l.
5
Let f = -5 + 4. Let k = 4 + f. Let o = k - 1. Solve -o*h - 20 = -6*h for h.
5
Let y(p) = p**3 - 4. Let r be y(2). Solve 2*n + r = n for n.
-4
Let f = 18 + -8. Let x be (-2 + f/4)*12. Solve y = x*y + 25 for y.
-5
Let q = 33 + -29. Solve q*j = 6*j for j.
0
Suppose r - 5 = 3*l, -5*r + 2*l + 3*l + 15 = 0. Suppose 0 = -3*m - m + 12. Solve -m = -r*d + 7 for d.
5
Let r = 18 + -13. Solve -r*s + 8 = -2 for s.
2
Let f(c) = -2*c - 5. Let n be f(-4). Let r(k) = k + 6. Let t be r(5). Suppose 13*y = t*y. Solve -n*p + 9 + 0 = y for p.
3
Let p = 9 - 6. Let f = 2 + -3. Let d be (-1 - (f + -1))*10. Solve x + d = p*x for x.
5
Let a be (-1)/(((-28)/(-16))/(-7)). Solve -a*v = -16 - 4 for v.
5
Suppose -6 = 2*m - 5*u, 2*m = -0*m - 5*u + 14. Solve 2*s - m + 12 = 0 for s.
-5
Suppose -5*y - 5*v = -2*v - 5, -y + 29 = -5*v. Solve -2*i + y + 0 = 0 for i.
2
Let v = -25 + 31. Solve -25 = -v*r + r for r.
5
Suppose -p = 2*c - 2*p - 7, c = p + 4. Let r(w) = -w**3 + w**2 + w + 1. Let s be r(2). Let j = s + c. Solve 8 = -0*i + j*i for i.
4
Let p be 0*(0 + (0 - 1)). Suppose p = -3*x - x + 24. Let w be 2/(-3) - (-4)/x. Solve -r = -w + 4 for r.
-4
Suppose 0 = -5*o + 2 + 8. Let b(v) = 2*v**3 + o*v + 0 - 3*v**3 + 0*v**2 - 1 - 2*v**2. Let l be b(-3). Solve 0 = -2*r - l - 0 for r.
-1
Let x(m) = 2*m. Let k be x(2). Suppose -l + 15 = k*f, -3*f + 0*f + 2*l + 14 = 0. Solve f*t - 1 - 7 = 0 for t.
2
Let g = 3 - 14. Let s = g - -16. Solve 5*q + 0*q = -s for q.
-1
Let q(y) be the third derivative of -y**6/120 + 4*y**5/15 - 2*y**4/3 + 3*y**3 + 7*y**2. Let w be q(15). Solve 3*s = 9 + w for s.
4
Let x(w) = w**2 + 2*w + 3. Let v be x(-2). Solve v*m + 1 + 2 = 0 for m.
-1
Let x be (-24)/(-10)*10/(-3). Let t = 10 + x. Solve -10 + t = 2*y for y.
-4
Suppose 0 = -5*q + q + 32. Solve 4*n - 2*n = q for n.
4
Let z be 4/(-2) + (9 - 0). Let x(o) be the second derivative of o**4/12 + 7*o**3/6 - 7*o**2/2 + o. Let k be x(-8). Solve -2*w + k = z for w.
-3
Let l(n) = -2*n - 24. Let s be l(-16). Solve s*w = 3*w for w.
0
Let p(k) = k**2 + k + 4. Let b be p(0). Let h = b - 2. Solve h*y - 4 = 4 for y.
4
Let i(f) = -3*f - 3. Let v be i(-2). Let r be -3 + 2 - v*-1. Let x be 12 - (4 - (r - 0)). Solve 3*m = m - x for m.
-5
Let n = 15 - 13. Solve -a + 1 = n for a.
-1
Suppose 2*n = -4*k + 212, k + 0*k - 48 = -3*n. Suppose -4*d + k = 5*a - d, 4*a - 4*d = 24. Solve -3 = -3*q + a for q.
4
Suppose 5*q - 12 = r - 3*r, 4*q - 4*r - 4 = 0. Solve -q*d + 4*d - 4 = 0 for d.
2
Suppose 0 = -4*a + a. Solve -4*y + a*y = -12 for y.
3
Let u(h) = 7*h + 79. Let j be u(-11). Solve 4*s - j = 14 for s.
4
Let m(r) be the first derivative of -r**2/2 - r + 5. Let u be m(-4). Solve u*h + 0*h = -15 for h.
-5
Let d(i) = 2*i**2 - 4*i**3 + 3*i**3 - i**2 + 2*i. Let s be d(2). Suppose 5*p + 3 - 33 = s. Solve -p = -4*z - 2 for z.
1
Let o(v) = -v - 2. Let j be o(-12). Let w be ((-33)/(-12))/((-2)/(-8)). Suppose -i = -3*f + 6, -5*f = 3*i - w + 1. Solve i*c - 5*c = j for c.
-2
Let h be (1 - 0)/((-1)/13). Let s = h + 21. Solve m = 5*m - s for m.
2
Let h be (-2)/7 + 138/(-7). Let j = h - -35. Solve 4*i - j = -i for i.
3
Let k = -41 + 45. Let q be 3/(-6)*(1 - 5). Solve q*m + 2 = -k for m.
-3
Suppose 2*q - 22 = -4*n + 32, 0 = -q + 3*n + 22. Suppose 0 = 5*g - q + 10. Solve 0*o - 12 = g*o for o.
-4
Let p(i) = -2*i**3 - 4*i**2 + i + 1. Let a be p(-3). Suppose -2*x - 2*l + 4 = -7*x, 2*x + a = -4*l. Let u be ((-2)/(-4))/(x/(-16)). Solve y = -u*y for y.
0
Let k be 8/(-3)*(-3)/1. Solve -k = s - 5*s for s.
2
Let g(s) = s**2 + s. Let i be 2*(1/(-2) - 1). Let r be g(i). Solve -y + r = y for y.
3
Suppose 5*x - 7 = 2*g, 13 = 3*x + 3*g - 2*g. Solve x*m - m - 2 = 0 for m.
1
Let p(l) = -1 + 1 + 5*l - 2. Let a be p(2). Suppose 2*r = 6*r - a. Solve r = 2*n - 6 for n.
4
Let r = -2 + 2. Solve -d + 6*d + 5 = r for d.
-1
Let i = 6 - 4. Let k be 15/(-10) + (-132)/(-8). Let a be ((-18)/k)/(2/(-5)). Solve -h + a = -i for h.
5
Suppose -3*c + 17 = -c + 3*t, -c - 9 = -2*t. Suppose -3*a - 5*i = -c, 1 = -4*a - 2*i + 7. Solve -a*w - 2*w + 12 = 0 for w.
3
Let y = 9 + -7. Suppose r = y*r - 1, -5*j + 10 = -5*r. Solve j*g + 6 = -3 for g.
-3
Let z(u) = -u**3 - u**2 + u + 1. Let f be z(-1). Let k = 2 + f. Suppose 3*l = -3*r + 3 - 12, -r - 9 = 3*l. Solve p + k = -r for p.
-2
Let t(f) = 2*f + 12. Let w be t(-5). Suppose 16*c + w = 17*c. Solve 4*u - c*u = -10 for u.
-5
Let v = -27 + 29. Solve -3*d + v = -4 for d.
2
Let o = -130 - -133. Solve -o*v = v for v.
0
Let s = 2 - -10. Suppose -5*r - 2*w - w = s, 2*w - 5 = r. Let f = r + 5. Solve -f = -3*z + 10 for z.
4
Suppose 6 + 4 = 2*i. Solve 0 = -c + i for c.
5
Suppose -k + 3 + 5 = 0. Let b = -6 + k. Let i = 14 + -8. Solve -i = -0*r + b*r for r.
-3
Suppose -5*t + 8*t - 9 = 0. Solve -5*k + 4*k = -t for k.
3
Suppose z - 4*i + 2 + 4 = 0, -3*i = -3*z + 9. Suppose s = z*s. Solve -4*p + 20 + 0 = s for p.
5
Let n(f) = -2*f - 16. Let j be n(-11). Suppose -b + j = 4. Solve -r = b*r + 3 for r.
-1
Suppose o + 10 = 3*n, 2*o = -o + 5*n - 22. Let l be (3/6)/((-1)/o). Solve 2*d + l*d = 0 for d.
0
Let z(y) = -y - 3. Let w be z(-5). Solve -w*f = f for f.
0
Let p be (-1)/(-4)*4 + 2. Solve -2*q = q + p for q.
-1
Let n(z) = -z - 36*z**2 - 6*z + 35*z**2. Suppose 0 = -2*b + 6*b + 28. Let o be n(b). Solve -2*j - j + 6 = o for j.
2
Let v be ((-14)/2)/(-20 - -19). Let w(a) = a - 1. Let z be w(3). Solve 5*c = -v + z for c.
-1
Let n(w) = -6*w**2 + 8*w - 2. Let s be n(3). Let x = -4 + -5. Let t = x - s. Solve 5*c + t = 3 for c.
-4
Let p = 19 - 18. Solve -3*h = -2 - p for h.
1
Let p = -1 - -1. Let w = -6 - -8. Solve p*k = w*k for k.
0
Suppose 5*d - 3*c - 31 = -4, -2*c = 5*d - 32. S