.
2
Let u = -37 + 166. Let f = 131 - u. Suppose -31 = -y - 4*y - 4*c, 0 = 4*y + 3*c - 24. Solve 0 = -y*o + f*o - 1 for o.
-1
Suppose -2*a - a + 6 = -u, 2*u - 4*a + 8 = 0. Suppose u = -k + 2 - 0. Solve -k*f = f - 6 for f.
2
Let z(n) = 51 + 9*n**2 + 13*n + 46 + n**3 - 78. Let o be z(-8). Let r be o/(-4) + 8/(-32). Solve -3*u + 8*u + r = 0 for u.
-1
Let k = 19 + -11. Let d be k/6*(-4)/((-24)/9). Solve -d*z = -5*z for z.
0
Suppose -5*u = -8*u + 18. Let s = -24 + 24. Suppose 5*r + r = s. Solve r*k + u = 2*k for k.
3
Let j = -10 - -23. Let w = j + -7. Solve 3*d = -0 + w for d.
2
Let f(z) = -3*z**2 + 5*z - 4*z + 3*z**2 + z**2. Let v be f(0). Suppose 2*h - 30 = -3*h. Solve v = -3*s + h*s for s.
0
Let o(s) be the first derivative of -s**3/3 - s**2/2 + 2*s - 7. Let n be o(-2). Solve n = -2*l + 4*l for l.
0
Let x be (-4)/4 - 50 - -2. Let q be (-231)/x - (-4)/14. Suppose -q*m + 65 = 5*v, m - 6*m = -5. Solve 3*w = -0*w - v for w.
-4
Let j(r) = 5*r + 13. Let y be j(7). Let m = y + -36. Solve 4*h + 0 + m = 0 for h.
-3
Let d = -811 - -838. Solve -12 = -d*n + 30*n for n.
-4
Let k(u) = 22*u + 442. Let v be k(-20). Solve -c = -0*c + v for c.
-2
Let j(w) = -7*w**3 - 2*w**2 - 3*w - 1. Let s be j(-1). Solve 0 = -5*b + s*b for b.
0
Let z be 444/(-54) + 2/9. Let i = -6 - z. Suppose -k - i*k - 3*c = -24, 3*k + 5*c = 34. Solve -6*q + k*q + 9 = 0 for q.
3
Let v(g) = -g - 7. Let q be v(-11). Suppose 0 = t - q*m - 18, 2*m - 12 = -2*t + 4*m. Solve 0 = w + t*w for w.
0
Let r = 7 + -11. Let g be (-3)/5 + -26*r/40. Solve g*x - 5*x + 6 = 0 for x.
2
Suppose -2*u - 6*u = 0. Solve u = -14*m + 10*m + 12 for m.
3
Let d = -173 - -246. Solve -3*q - 67 + d = 0 for q.
2
Suppose -4*o - 5*q = -3*o - 15, -o = -2*q - 15. Solve 5 = 5*r - o for r.
4
Let k(g) = 11*g + 68. Let h be k(-5). Solve -32 = -h*l - 3*l for l.
2
Suppose -1 = -2*l - 3*h, -4*h = 2*l + 4 - 2. Let i(g) = -4*g - 18. Let f be i(-5). Suppose 4*r - 15 = -3*u, 7*u = -3*r + f*u + 25. Solve -w - l + 2 = r for w.
-3
Let b(d) = 5*d + 2 + 14 + 10*d - d**2. Suppose 0 = -0*i + 3*i + 2*a - 42, 4*i = a + 67. Let v be b(i). Solve v = 2*c + 2 - 0 for c.
-1
Suppose -3*d + 2*y = -6, 9*y = 5*d + 5*y - 10. Let v(f) = f**2 - 6*f + 6. Let x be v(5). Let q = x + d. Solve -2*i = q*i for i.
0
Suppose t - 6*t = -70. Suppose -3*f = -1 - t. Let p be (2/f)/(3/15). Solve 3*m = -p*m for m.
0
Suppose 2*z - 78 = -5*f + 6*z, -3*f - z = -40. Solve 0 = -5*b - f - 11 for b.
-5
Suppose d - 2 = -a, 3*d = 2*d - 2*a + 3. Solve -t + 0 = -d for t.
1
Let u = 6 + -3. Let l be (-4 - (-4)/u)*-3. Let d = l - 6. Solve 0*i = d*i - 2 for i.
1
Suppose 36 = -63*l + 72*l. Solve -2*i = l + 4 for i.
-4
Let o be (-8)/6*(-2 + (-5)/(-1)). Let u be (6/o)/((-12)/16). Solve -12 = -a - u*a for a.
4
Let g = 1205 - 1202. Solve -g*s = 4*s - 28 for s.
4
Let c = -32 + 20. Let b be (((-80)/6)/(-5))/((-8)/c). Suppose t - 3*t + 6 = -2*y, -3*y = 2*t + 9. Solve 0 = -t*x + 4*x - b for x.
1
Let q(w) = -2*w**3 - 16*w**2 + 18*w + 3. Let o be q(-9). Let m(x) = -3*x + 1. Let j be m(5). Let u = j - -20. Solve o*z = u - 0 for z.
2
Let a be 1*(0 - 3) - 80/(-16). Solve a*q - 3 - 7 = 0 for q.
5
Let m = 105 + -97. Solve 0 = -2*l + 2 + m for l.
5
Suppose -208*x + 156 + 468 = 0. Suppose 2*k - 22 = -5*g, 1 + 4 = k + g. Solve -4*l = -x - k for l.
1
Let p(x) = -4 - 1 + 3 - 8*x. Let r be p(1). Let o = r - -17. Solve 2*a + 5 = o*a for a.
1
Suppose 5*w + 2*r - 1155 = 0, -3*w + 231 = -2*w - r. Let m be 3/(-12) - w/(-28). Solve x = -x + m for x.
4
Let d(s) = 2*s - 5. Let x be d(5). Let b be (-189)/42*(-10)/15. Let l = -1 - -1. Solve -b*r + x*r - 8 = l for r.
4
Let n(c) = -2*c**3 + 92*c**2 + 7. Let a be n(46). Let l(w) = -w - 6. Let b be l(-3). Let i be 15/9 - 1/b. Solve -i*v + a*v - 10 = 0 for v.
2
Let p(m) = m**2 + 16*m - 29. Let z be p(-19). Solve -30*i + z*i = 10 for i.
-5
Let l = 3 + 11. Let b be l/2 + (-4)/2. Solve -4*f + 3*f = b for f.
-5
Let x be (-153)/(-6) + (12/8 - 1). Solve 28*y - x*y - 10 = 0 for y.
5
Let w(b) = -4*b + 7. Let s(z) = 4*z - 8. Let q(o) = 2*s(o) + 3*w(o). Let h be q(-4). Let m = h + -13. Solve 2*c + 2*c = -m for c.
-2
Let r(z) = -z + z**2 + 4*z - 2*z**2 + 2*z. Let h be r(5). Let d(b) = -b**3 + b**2 + b + 12. Let i be d(h). Solve 0 = 3*w - i for w.
4
Let o be 3 + -5 - (11 + -14) - -4. Solve -i - 8 + o = 0 for i.
-3
Let o(f) = f**3 + 7*f**2 - 2*f - 1. Suppose 4*v + 29 = n, -5 = -3*n - 2*n. Let s be o(v). Let k = -12 + s. Solve 0 = -3*x + 4 - k for x.
1
Let i(w) = -4*w**2 + 21*w - 2. Let y be i(5). Solve 0 = -3*v - y*v for v.
0
Suppose 15*k = 9*k + 12. Suppose 14 = 4*s - k*p, -s = -0*s - 3*p - 1. Solve -s*z + 8 = -0*z for z.
2
Let s be -17 - -8 - -4 - -8. Solve -6 = -s*n + n for n.
3
Suppose -2*s = -2*z - 136, 324 = -5*z - 7*s + 4*s. Let g = -92 - z. Let n = g - -30. Solve -n*a - 2 = -3*a for a.
-2
Suppose 6*z - 30 = -24*x + 21*x, -3*z - 29 = -4*x. Solve -22*j + 56 = -x*j for j.
4
Suppose -3*a = 2*a - 15. Let q be (-2*6/42)/((-16)/112). Solve a*m = q*m + 4 for m.
4
Let x(u) = u**2 + 3*u - 13. Let m be x(5). Solve k = 10*k - m for k.
3
Let d(r) = 3*r**3 + 2*r**2 + 7. Let z be d(-3). Let x = -48 - z. Solve -3*h + x = -h for h.
4
Suppose 8*m - 3*m - 2*g = 34, -m - g + 11 = 0. Solve -9*u + 4 = -m*u for u.
4
Let u(x) = -x**2 - 14*x + 3. Let n be u(-13). Solve 14*r - n = -2*r for r.
1
Let j(p) = p**3 - 13*p**2 + 11*p + 21. Suppose 0*g = 3*n - 3*g - 51, 3*n = 5*g + 61. Let w be j(n). Solve 5*q - w*q = 4 for q.
-1
Suppose -5*y - 5*r = 1 - 6, -r + 7 = -y. Let w be 0 - 0/5 - y. Solve 0 = w*l + 2*l for l.
0
Suppose 13 = 2*u + 2*u - 3*y, -5*u + 11 = -2*y. Let z(k) = 6*k**2 - k + 1. Let v be z(u). Solve -4*j + 14 + v = 0 for j.
5
Suppose -14*s + 3*s = 0. Suppose f - 10*f + 0*f = s. Solve -4*p = -f*p - 12 for p.
3
Let z = -17 - -17. Suppose z = -5*l + l. Suppose 3*c - 4*f - 21 = l, 4*c + 4*f = -c + 3. Solve -c*a = -9 + 3 for a.
2
Let o(y) = y**2 - y + 2. Let f be o(1). Let j(t) = 2*t**3 - 2*t**2 - 3*t + 3. Let l be j(f). Solve 3*r = -2*r - l for r.
-1
Let m = 1438 - 1438. Solve -2*h + m*h = 6 for h.
-3
Suppose -7*c + 34 = -36. Suppose -3*y = 2*y - c. Solve -2*b - 4 = y for b.
-3
Let l be ((-78)/(-91))/(24/112). Suppose 33 = -x + 2*x. Solve 0 = l*p + x - 13 for p.
-5
Let h(d) = 2*d**2 + 6*d - 84. Let a be h(-10). Solve -26*c = -12*c + a for c.
-4
Let q(c) = c + 1. Let p be q(4). Suppose 1 + 9 = p*h. Let s = -3 - -7. Solve 0 = 3*w + s + h for w.
-2
Let l = 22 - -17. Let x = -34 + l. Let v = 24 - 14. Solve 0 = x*b - v - 10 for b.
4
Let z(u) = -3*u + 121. Let l be z(28). Solve -7 = 11*t + l for t.
-4
Let j(l) = l**3 - l**2 - l + 1. Let g be j(-1). Solve g = 4*t - 3*t + 4 for t.
-4
Let c be 20/5 - (-3)/(-3). Suppose -c*k - 14 = -23. Suppose k*d - q = q + 13, -2*d = 4*q + 2. Solve d = 2*a - 1 for a.
2
Let j = 644 + -641. Suppose -2*p = -1 - 5. Solve -p*z = j - 0 for z.
-1
Suppose -12 = -19*l + 15*l. Solve -l*d + 12 = -6*d for d.
-4
Let y(o) = -o**2 - 9*o - 8. Let n(u) = u**3 + 16*u**2 - 16*u + 9. Let d be n(-17). Let q be y(d). Solve x = -q*x for x.
0
Suppose -4*s + 3 = -81. Let d(l) = l**2 + 2*l + 3. Let a be d(-2). Suppose 3 + 4 = a*r + u, 17 = 3*r - 4*u. Solve 9 = r*b + s for b.
-4
Suppose 10*s + 130 = 330. Solve -c - 4*c + s = 0 for c.
4
Let n(m) = m**3 - 9*m**2 + 7*m + 10. Let d be n(8). Suppose 3*s = 1 + 14. Suppose 0*b - d*t = b + 1, -t - s = -b. Solve 0 = 2*x - 3 - b for x.
3
Let m(p) = -p**2 - 12*p - 4. Let l be m(-10). Let t = l - 14. Solve h + t = 3*h for h.
1
Suppose -129 = -21*s + 123. Solve 0*i - 48 = s*i for i.
-4
Let b(o) = -24*o + 212. Let h be b(7). Solve 8*v + 4 = h for v.
5
Let h = 1283 - 1256. Solve -17*s + h = -24 for s.
3
Let j be (-2)/(-2 + 6)*6. Let r be (j + 5/2)*-14. Let s be 9 + (-3 - 1) + r. Solve s = -0*t - 3*t for t.
-4
Let r(l) = 6*l + 8. Let x be r(3). Let o = x + -45. Let d = 19 + o. Solve d = a + 4*a - 20 for a.
4
Let v be 0/5 - 4 - 13. Let n = v - -27. Solve 6*t - n = t for t.
2
Let j = -6 + 22. Suppose -2*s = -d + j - 6, 3*s = -5*d - 15. Solve d*g = g for g.
0
Suppose 2*k = 5*v - 50, -9*k + 39 = 3*v - 12*k. Solve -4*h = -0*h + v for h.
-2
Let p be -27*(-70)/231 + (-4)/22. Solve p*o - 5*o = -15 for o.
-5
Suppose 0 = 4*f + 3*g - 95, f - 3*g + 0*g - 5 = 0. Solve -10*m = -60 + f for m.
4
Let d be (10/(-10))/(37/19 - 2). Solve -4 = -3*a - d for a.
-5
Suppose -9*o - 3 = -12*o. 