-c*s + x = s for s.
4
Suppose 4 = -4*a + 16. Suppose 2*m = 3*s - 11, 12 = s - 3*m + 4*m. Solve a*n + s = -2 for n.
-3
Let t(o) = 0*o - 12 + o + 2 - 6. Let q be t(10). Let d be q/(-15) - (-23)/5. Solve -d*i = 6 + 9 for i.
-3
Suppose 0*n - 10*n - 3*n = 0. Solve n = 7*u - 5*u + 10 for u.
-5
Let h(w) = w - 6. Let b be h(-2). Let o be (-38)/b - (-6)/(-8). Let n(s) = s**2 + s - 2. Let t be n(-2). Solve v + 1 + o = t for v.
-5
Suppose 4*a + 0 = 32. Solve 2*g - a = -2*g for g.
2
Let b be 5/7 - 8/(-28). Let m be 1 + (-2 - -2) + b. Solve -m*l = l - 3 for l.
1
Let u = 2 + 0. Let c be 15/25 - (-4)/10. Suppose 5 = -2*g + 3*l, -l - u - c = -3*g. Solve -g*d + 4*d + 4 = 0 for d.
-2
Let k = -12 + 18. Let v be 6*3/k + 1. Solve 0 = v*z - 7*z for z.
0
Let q be ((-3)/4)/((-2)/((-80)/(-15))). Suppose -2*a + 7*a - 29 = 2*k, -5*a + 3*k = -31. Let u be (a - 2) + 2/2. Solve -u*h = -q*h + 4 for h.
-2
Suppose -1 + 3 = 4*x - g, 0 = -3*g - 6. Let p(d) = 7 + x + d - 2*d. Let l be p(3). Solve -l = -3*w - w for w.
1
Let w(g) = g - 2 - 3*g + 4*g - g**2 + 0*g**2 + g**3. Let v be w(2). Solve -5*p + v + 4 = 0 for p.
2
Let s be ((-31)/(-2))/(2/4). Let k = s + -15. Solve -3*f = -7*f + k for f.
4
Let z be -4*(-2 - (-2 + 1)). Suppose 3*y - 3*j = 1 - 13, 3*y = -j + z. Solve -3*h + 8 + 4 = y for h.
4
Let m(l) = l + 10. Let s be m(0). Suppose 0 = 3*o - 2 - 13. Suppose 0 = -3*x + o + 7. Solve s = x*d - 2*d for d.
5
Let k(o) = -2*o - 1. Let d be k(-3). Suppose 3 - d = -m. Solve -m = -4*t + 2 for t.
1
Let r = -14 - -17. Solve -2 = r*l + 13 for l.
-5
Suppose 4*z + 0*z = -2*a - 16, 5*z + 25 = 0. Solve 5*k + a = -3 for k.
-1
Let c(l) = -l + 3. Let j be c(-3). Solve -6 = 4*r + j for r.
-3
Let f be 1 - -12 - (0 - -1). Let b(v) = v - 8. Let g be b(f). Solve 0 = 2*p - g - 4 for p.
4
Suppose -2*s = s - 9. Solve s*p + 10 = p for p.
-5
Suppose -57 + 21 = -4*c. Solve -b - c = -4 for b.
-5
Suppose -4*j + 6 = t, -5*j + 3*j - 2 = -2*t. Solve j - 7 = 3*k for k.
-2
Suppose 3*j + 5 = 2*c + 1, -c + j + 3 = 0. Let w(u) = -4 + u**2 + c + 5*u - 5*u. Let v be w(-1). Solve v*b = 3*b - 3 for b.
3
Let h(q) = 0*q + 0*q + 2*q - 3*q + 1 + 4*q**2. Let g be h(1). Solve 0*y - 16 = g*y for y.
-4
Suppose 0*o - 15 = -2*a + 5*o, 2*a - 3*o = 9. Solve -2*g - 3*g + 20 = a for g.
4
Let k(y) = 4*y - 8*y**2 + y**3 + 0*y + 4*y - 3. Let v = -110 + 117. Let n be k(v). Solve -n*o = -0*o - 16 for o.
4
Suppose 0 = h + 3 + 2. Let u(w) = w + 7. Let i be u(h). Suppose 5 = i*a + 3. Solve -y + a = -4 for y.
5
Let i be 2/(-6) + 6/18. Solve 5*t - 6 - 19 = i for t.
5
Suppose -3*p + 20 = p. Solve -2*o - 1 = p for o.
-3
Suppose 0 = -i - 8*i + 27. Solve -i*m = m + 12 for m.
-3
Suppose 6 = -o - 2*n, 3*n - n + 14 = o. Let g be (4/(-6) - 0)*-3. Suppose -g*a - 32 = -o*a. Solve 0 = 3*v + a - 1 for v.
-5
Let s(b) = -b**3 - 10*b**2 - b - 10. Let o be s(-10). Solve -2*p - 1 - 3 = o for p.
-2
Let j be 9/(-15) + (-8)/(-5). Suppose f - 3*c + j = 0, -3*c + 10 = 3*f + c. Solve -f*t - 1 = 3 for t.
-2
Suppose 46 = 4*v + 5*q + 11, -3*q + 34 = 5*v. Let u = -69 - -104. Let o = u + -18. Solve o = v*i - 8 for i.
5
Let k = -77 + 79. Solve 6*g - 8*g - k = 0 for g.
-1
Suppose 2*y - 6 = -0. Suppose 6 = -2*u + 4*c, 0 = -2*u + u - c - y. Let g = 7 + u. Solve f = 3*f + g for f.
-2
Let w(q) = -q**3 + 7*q**2 + 10*q - 11. Let i be w(8). Suppose -4*b = -i - 7. Let v be 2/11 - 212/(-44). Solve -r - v = -b for r.
-2
Let n = 23 - 21. Solve 5 = 3*l + n for l.
1
Suppose 0 = -4*r + k + 17, 3*r = -0*k + 3*k + 15. Let u(g) = -g**2 + 5*g - 2. Let t be u(r). Solve -z - t*z - 15 = 0 for z.
-5
Suppose -4*z - 3 = -5*x, -3 = -5*z - 5*x + 9*x. Solve -2*k = z*k for k.
0
Let r be 4/6 - (-2288)/24. Let x be r/44 - 2/11. Solve -x*j - 5 = 3*j for j.
-1
Let t(p) = -p**2 - 11*p - 5. Let d be t(-10). Suppose d*y + 8 = 9*y. Solve y*a = 6*a for a.
0
Let q be 156/48 + 3/4. Solve -10 = -q*i + 2 for i.
3
Let v be 20*(6/4)/3. Let x(c) = c**2 - 2*c. Let q be x(4). Suppose 3*n = q*n. Solve n = m + 4*m + v for m.
-2
Let o be (-12)/20 - (-1 + (-52)/20). Solve o*t - 3 = -6 for t.
-1
Suppose -r + 1 = 2*d - 5, -2*r - 3 = -d. Suppose -7 = -4*m - d*c, 3*c + 0 = 5*m - 2. Solve 2*o - 1 = m for o.
1
Let d(j) = j - 4. Let f be d(10). Let a be -2 + f/3*7. Let c(b) = b**3 + 5*b**2 - 6*b + 2. Let g be c(-6). Solve -k = g*k - a for k.
4
Let y be 2 - 4*(-1 + 0). Let s = -1 - 0. Let a be -2 + ((-3)/s - -1). Solve a*x + y = -x for x.
-2
Let x = -41 - -43. Solve 4*l - 6 = x for l.
2
Suppose 0 = 4*g - 0*y + 3*y - 60, 2*y - 68 = -5*g. Let h = -18 + 10. Let v = g + h. Solve -p = -v*p + 3 for p.
1
Let f be 2/3 + 52/(-6). Let m be (-65)/(-20) - (-2)/f. Let p = -1 + 1. Solve p = -a - m*a - 20 for a.
-5
Let s be -5 + 1 - (-6 - -2). Solve -3*x - 6 = -s for x.
-2
Let x = 0 - 0. Let m(r) = r - 1. Let s be m(4). Solve -k + x*k = s for k.
-3
Let u(c) = -c**3 + 4*c**2 - c - 2. Let i be 2 - 2*27/6. Let v = i + 10. Let s be u(v). Solve -1 + s = -g for g.
-3
Let c(s) = -s**2 - 14*s + 3. Let y be c(-14). Solve -7*f + y*f = 16 for f.
-4
Let h(u) = -u**2 - 7*u + 3. Let j be h(-7). Let c = 7 - j. Let a be 30/4*(-8)/(-5). Solve c*r + 4 = -a for r.
-4
Let p(s) = 2*s - 3. Suppose -5*i = -x - 33, -3*i + 8*x = 3*x - 11. Suppose -2*m = -n - 9, m - 4*n - i = -n. Let b be p(m). Solve -3 = -b*r + 2*r for r.
1
Suppose 4*c + 10 - 2 = 0. Suppose -4*m + 2*u + 10 = 0, 2*u + 2*u = 2*m - 8. Let h = c + m. Solve -3*t = -h*t for t.
0
Let j = -66 + 69. Solve j*v + 6 + 9 = 0 for v.
-5
Let m(p) = -p + 10. Let r be (-22)/(-6) - 2/(-6). Suppose -r*j + 9*j = 25. Let q be m(j). Solve 14 + 11 = q*x for x.
5
Suppose 1 = 3*w + 2*x - 21, w = -5*x + 29. Solve -t + w*t = 0 for t.
0
Let w be 1*(-9)/(-3)*2. Suppose -3*y + 2*y + w = 0. Suppose 4*c = 0, -t - 5*c = -y + 2. Solve -t*r + r = 0 for r.
0
Suppose 2*a - 10 = 6. Let h = a + -4. Let k be (0 - 2 - -3)*h. Solve 0*d = -k*d for d.
0
Suppose 4*t = 5 + 11. Solve -m - 6 = -t*m for m.
2
Suppose b + 3 = -2*k, 18 = 2*b - b - 5*k. Suppose -2*p + 9 = 3*f + 3, 2*p + 6 = b*f. Suppose 0 = f*g - 4*g. Solve -5 = -g*r - r for r.
5
Let c be 1/2*2 + -1. Let f be -24 - 0/(-2 + 0). Let l = -21 - f. Solve -6 + c = -l*a for a.
2
Let c be (32/(-12))/((-1)/6). Let f = -10 + c. Suppose 0 = -d - 2*d + f. Solve d = -j + 5 for j.
3
Suppose 4*x - 1 = m, 3*m + 4 = -3*x - m. Suppose l = -x*l + 2. Solve w - 15 = -l*w for w.
5
Let d(y) = 4*y**2 - 1. Let p be d(-1). Solve 3 = p*t - 0 for t.
1
Let d be 6/(-8) - (-63)/(-12). Let v be (-12)/9*9/d. Solve 0 = v*y + 3*y for y.
0
Let d(i) = 7*i + 37. Let l be d(-5). Let m(r) = 2*r**2 + 3. Let j(x) = 3*x**2 + 5. Let h(a) = -3*j(a) + 5*m(a). Let z be h(-1). Solve l*q - z - 3 = 0 for q.
2
Let k(y) = 10*y**2 + y. Suppose 2*h - 22 = 4*m, 4 = -3*m - 11. Let w be k(h). Suppose 4*g = -r + 17, -g = 5*r - w + 2. Solve -g*p + 10 + 2 = 0 for p.
3
Let u(h) = -h**3 - 9*h**2 + h + 10. Let c be u(-9). Let j(r) be the third derivative of r**4/6 + r**2. Let n be j(c). Solve 1 = -n*q - 15 for q.
-4
Let w(o) be the third derivative of o**4/24 - o**3/6 + 3*o**2. Let k be w(3). Suppose -24 = k*n - 6*n. Solve -4 = p - n for p.
2
Let x(l) = l**3 - 3*l**2 - 3*l - 2. Let c be x(4). Let h be (-1)/(-1 + c/4). Solve 3*p + 4 = -h for p.
-2
Let m = -2 - -3. Let j(d) = -8*d + 4 + d**2 + 3 - 11. Let q be j(9). Solve 4*f = -m + q for f.
1
Let j = 4 - 0. Solve -3 = -a - j for a.
-1
Let h(o) = o**2 - 4*o + 3. Suppose -y - 12 = -3*t, -t = -y - 3*y - 15. Let i be h(t). Suppose 2*u = -2*u. Solve u = -2*n - i - 8 for n.
-4
Let t(i) = i. Let u be t(-1). Let s(m) = -6*m**3 - m**2 - m - 1. Let v be s(u). Solve -v - 1 = 3*f for f.
-2
Suppose -5*p = -3*p - 2. Let v(t) = -t**2 - 6*t - 1. Let x be v(-5). Let u(i) = -2*i - 19. Let r be u(-11). Solve x = r*m + p for m.
1
Suppose -4*k - l + 8 = -5*l, -4*l = k - 22. Suppose -k*d + 3*d = -6. Solve d*z + 2*z = 12 for z.
3
Suppose 4*c = c - 6, 0 = 2*v + 2*c - 22. Let a = 0 - -3. Suppose -j + 1 = 2*s + 6, -s - v = -a*j. Solve q - 4*q - j = 0 for q.
-1
Let a be (3 - (0 + 2) - 1)/(-2). Solve -2*z + 4*z - 8 = a for z.
4
Let u = -128 - -131. Solve 2*x = -u + 1 for x.
-1
Let h(z) = 14*z - 2 - 2*z - 12 - z**2 - 2*z. Let f be h(8). Solve -f*a + 12 = -6*a for a.
-3
Let u(g) = -g - 3. Let p be u(-7). Solve 3 = -p*w - 1 for w.
-1
Suppose -5*l = -8 - 12. Solve -8 = a - l for a.
-4
Suppose 8*u = 4*u. Let r be u/(-7) + -1 + 4