 t.
-3
Let l(j) = -6*j + 56. Let r be l(6). Solve 5*v = v + r for v.
5
Let t = 3 + 2. Suppose -10 - 5 = -t*p. Suppose j = p*j. Solve a + j = 5 for a.
5
Let q = 11 + -9. Solve -h = -q*h - 4 for h.
-4
Suppose -3*x = -4*g + 9, -5*g + 4*x + 14 = 4. Solve -3*t + g*t = 12 for t.
4
Let s = -10 + 14. Solve -3*i + 2 = -s for i.
2
Let g be 21/15 + (-4)/10. Suppose 0 = -4*a + 7 + g. Suppose -a*d = d. Solve 2*x + d*x = -10 for x.
-5
Suppose 0 = -p - 2*p. Solve 1 = -f - p for f.
-1
Suppose 3 = 3*n, -5*r - 5*n + 34 = -n. Let h = 0 + 0. Let j be (2/(-6))/((-1)/12). Solve j*t - r*t = h for t.
0
Let w = 0 + 3. Suppose 2*o - w - 11 = 0. Solve -x - 3 = -o for x.
4
Suppose 4*l = 4*h + 32, -2*l + 9 = -5*h - 19. Solve 0 = -l*j + 20 for j.
5
Let r(m) = -m**2 + m - 1. Let u be r(1). Suppose 0 = 4*s + o + 5, 6*s = s + 2*o - 3. Let t be 1/u + (s - -2). Solve 9 = -3*g - t for g.
-3
Let i be (-3)/(-2) + 62/4. Suppose 3*l - 17 = -5*o, 5*l + o - i = 4*o. Let n = -6 - -8. Solve n*p - l = 3*p for p.
-4
Let n(o) = 3*o - 33. Let m be n(12). Solve m*x + 18 = 9 for x.
-3
Let m(y) = y - 2. Let t be m(6). Let f be -1 + (-5 + 2 - -5). Let v be f/(-4*(-4)/96). Solve -v = 5*p + t for p.
-2
Let k(z) = -z - 4. Let c be k(-6). Suppose 0 - c = -4*r + o, 4 = -2*r - 2*o. Solve r = 3*g - 0*g - 9 for g.
3
Suppose w = -1 + 4. Let i be (2 + -5)/w*-5. Suppose 0*q = -i*q. Solve q = -5*v + 2*v for v.
0
Suppose -3*a - g + 22 = 0, 4*a - 3 - 35 = 3*g. Solve a = v + v for v.
4
Let v be (-6)/(-4)*100/15. Suppose 1 = -m + v. Solve -f = -4*f - m for f.
-3
Let s = 0 - -3. Suppose 5 + s = 2*r. Solve -r = -y + 1 for y.
5
Let a(q) = -q**3 + 3*q**2 + 3*q - 1. Let s be a(4). Let k(b) = b**2 + 5*b + 5. Let i be k(s). Let y be (-1 + 0/2)/(-1). Solve -i*d = y - 26 for d.
5
Suppose -3*b + 2 + 4 = 0. Solve -r = r + b for r.
-1
Suppose -s + 2*d + 11 = 7*d, 3*s = -2*d - 6. Let x be 0*2/(s/(-2)). Suppose 2*h = 4 - x. Solve -h*c + 5 = 3*c for c.
1
Let y = -5 + 9. Let k be (-7)/y + (-3)/12. Let t be (-2*1)/(-1) - k. Solve 8 = -0*p + t*p for p.
2
Suppose -q + 2*i = -3*i - 6, -4*q - i = -3. Solve 0 = 4*h - q - 3 for h.
1
Suppose q = 4 - 1. Let t(i) = i + 4. Let x be t(-3). Let b be 4 - x - -1*3. Solve q*f - b = f for f.
3
Let v(t) = -t**2 + 15*t - 8. Let p be v(14). Solve -3 - p = -3*f for f.
3
Let z be (-3 + 2)*(0 + -2). Suppose -z*c = -3*d + 6, 2*c + 2*c = 4*d - 4. Solve -l = -c*l for l.
0
Suppose 8*a = -3 + 19. Solve -a*l - 3 = 5 for l.
-4
Suppose -4*c - 56 = -8. Let z be 3*2 + c/3. Solve -z*j = -j for j.
0
Let p(b) = 3*b**2 - 6*b + 2. Let r(z) = 7*z**2 - 12*z + 4. Let o(j) = 5*p(j) - 2*r(j). Let i be o(6). Let q = 10 - 4. Solve -i*l + 4*l = -q for l.
-3
Let c(p) = p**3 - 10*p**2 + p - 6. Let r be c(10). Let s = -4 + r. Let j be 8/2*(s - -2). Solve 0 = 3*q - q + j for q.
-4
Let u(x) = -x**3 + 20*x**2 - 20*x + 23. Let a be u(19). Solve 3*b + a = 7*b for b.
1
Let p(y) = y. Let o be p(-2). Let a = o - -3. Solve g + a - 3 = 0 for g.
2
Let b = 6 - 4. Let r be -3*-6*b/(-4). Let d be 4/3*r/(-6). Solve 0 = 3*s + d*s - 15 for s.
3
Let h(t) = -t**3 - 5*t**2 + 12*t - 8. Let o be h(-7). Solve 0 = -o*i + 2*i + 8 for i.
2
Let s(l) = -l + 10. Let g be s(4). Solve 3*w = -g + 3 for w.
-1
Let h(j) = -j + 12. Let l be h(8). Suppose s - 5*b - 25 = 0, -s = l*s + 4*b + 20. Solve s = -5*r - 1 - 9 for r.
-2
Suppose 0 = -5*k + z - 1, -2*z = 2*k + z + 14. Let o be (1 - 0) + (-1)/k. Suppose 0 = 3*v + o - 11. Solve v*u + u = 0 for u.
0
Let o be -3*(2 - 3) - 7. Let f be (6/(-15))/(o/20). Solve -5 = -f*b - 1 for b.
2
Let p be (-12)/9*(-3)/2. Let b = p - 0. Suppose -b*d = -2*u - 3 - 1, d - 5*u = 6. Solve 0 = -g + 3 - d for g.
2
Suppose 4*x - 53 = 3*h, 2*h - 4*x = -37 - 5. Let u = h + 16. Solve 0 = -i + u*i for i.
0
Suppose -20*g = -25 - 75. Solve -g = -5*k + 10 for k.
3
Let r be (24/16)/((-2)/4). Let g be (-119)/(-35) + r/(-5). Solve g = 3*u - 2*u for u.
4
Suppose -3*r + 2*t = -5*r + 10, 3*t = 5*r - 9. Let g be -2 + (5 + 0 - r). Solve 0*m - 4*m - 8 = g for m.
-2
Suppose -p + 66 = 4*m - 18, 0 = -5*p. Suppose 7*r = -4*z + 2*r - m, 0 = 4*r + 20. Let j be (z - 2)/(4/(-16)). Solve j = -5*d + 14 for d.
2
Let r(l) = 3*l + 30. Let o be r(-10). Solve o = z - 1 - 2 for z.
3
Suppose 14 = 2*o + 12. Solve o = -5*c - 4 for c.
-1
Suppose 0 = -l + 3*l, 0 = 3*f + 5*l - 30. Suppose 2*s = f + 4. Solve 3 - s = -h for h.
4
Let v = -6 - -10. Suppose m + v*m - 20 = 0. Solve 0 = -2*f + 3*f + m for f.
-4
Let b(l) = 17*l**2 - 6*l + 2 - 6*l**2 - 12*l**2. Let a be b(-6). Solve 0 = -a*f + 3*f - 5 for f.
5
Suppose -20 = -5*p - 0. Suppose -2*b - 28 = -p*b. Solve -4*i = 2 + b for i.
-4
Suppose 2 = -4*n - 22. Let i = -2 - n. Solve -i*v + 20 = -0*v for v.
5
Suppose j - 2*j + 5 = 0. Let q = 32 - 28. Solve -j*l = -q - 1 for l.
1
Let q be 10/25 + 56/10. Let c be ((-12)/9)/(q/(-9)). Solve -5*n + c = 22 for n.
-4
Let a(m) = -m**3 + 4*m**2 - 4*m + 4. Let v be a(3). Let t be (1 - 3)/(-1*v). Solve 3*h = -t*h + 25 for h.
5
Let d be (-64)/28 + (-2)/(-7). Suppose -3*a + 1 - 4 = 0. Let c be 3 - (-1)/(a/d). Solve 2*u - c*u = -12 for u.
4
Suppose -12*h - 10*h = -21*h. Suppose 4*q + 57 = 3*x, 0 = 4*x + x + 5*q - 95. Suppose -3*a + 17 = 5*b, 0*a - 3*b + x = 4*a. Solve a = 2*d - h*d for d.
2
Suppose -l + 5 + 2 = -3*u, -3*u = 5*l - 17. Solve -3 = -l*p + 13 for p.
4
Let x(y) = y**3 + 4*y**2 - 5*y + 2. Let z be x(-5). Suppose -13 = -3*m + z. Suppose 2*f = u + 2*u - 7, 4*u + m*f - 17 = 0. Solve -u = 5*q - 13 for q.
2
Suppose 4 = -3*w - w. Let h = w - -2. Solve -h = -2*a + 1 for a.
1
Let q = -3 - -5. Solve q*r - 3*r = 2 for r.
-2
Suppose -m + 3 = 1. Let s be ((1 - -1) + (-68)/51)*6. Solve -s*f - m = -3*f for f.
-2
Suppose 7*g - 2*u = 2*g - 14, -u - 6 = 4*g. Let x = 5 + g. Solve -6 + 3 = -x*o for o.
1
Let i = -96 - -98. Solve -i*q + 1 + 9 = 0 for q.
5
Let p(w) = -w - 1. Let y(q) = -q**2 + 6*q - 3. Let z be y(6). Let x be p(z). Solve -1 - 5 = x*g for g.
-3
Suppose 3*i - 2*x - 2 = 0, 0*i + 5*x + 5 = i. Solve 4*t - 2*t + 6 = i for t.
-3
Let w(a) = a + 7. Let q be (-6)/9 + 20/(-6). Let y be w(q). Solve -4*c + y = 11 for c.
-2
Let f = -14 + 14. Let t be 32/14 - 4/14. Solve x + f*x = t for x.
2
Let d(s) = -s**2 + 9*s + 4. Let h be d(9). Suppose -x - h*x + 25 = -5*y, -y - 3*x = 13. Let i = y - -10. Solve -5*q = -2*q + i for q.
-1
Let u = 0 - 0. Let k(z) = z + 2. Let h be k(0). Let d be 8 - u - h - 1. Solve -10 - d = -5*f for f.
3
Suppose -2*m = 2*m - 12. Let q be (1 - (1 - -4)) + 0. Let s be q/4*(-4)/2. Solve -5*i - m = s for i.
-1
Suppose -2*k = 6, -2*l - 2*k - 4 - 2 = 0. Solve s + l*s = 0 for s.
0
Let w be 0 + (0 - (-3 - -1)). Let l(p) = 6*p - 2. Let v be l(1). Let d be v*(2/(-2))/(-2). Solve -8 - w = d*i for i.
-5
Let r(x) = -x + 12. Let b be r(10). Solve -4 = -b*t - 2 for t.
1
Suppose -4*t = -t. Solve 0 = 4*o - t*o - 4 for o.
1
Suppose 47*r = 48*r - 3. Solve 0 = -r*q - 2 - 4 for q.
-2
Suppose -6 = -3*z + 3*b, -2*b + 7*b - 20 = -z. Solve -z*s + 3*s = -4 for s.
2
Suppose -6*o + 2*o = 0. Solve o = 4*r + 8 + 4 for r.
-3
Let f be ((4 - 1) + -3)/(-1). Suppose -3*z = -l - 24, l = -f*z + 5*z - 42. Solve 0*k + 3*k = -z for k.
-3
Let s = 18 - 10. Let u be s - -2*(1 + -2). Solve -2 = p - u for p.
4
Suppose -5 = -4*h - h. Let f be (h/3)/((-1)/(-12)). Solve -f = -3*i + 2 for i.
2
Let w be ((-21)/12)/(-1) + (-4)/(-16). Solve 5*a + 3 = -w for a.
-1
Let v(n) = -n - 23. Let u be v(-24). Solve 3 = -s + u for s.
-2
Suppose 5*g + 35 = 5*m, -5*g = 3*m - 0*m + 11. Suppose 0*c = -m*c - a + 2, 3*c - 4*a - 22 = 0. Solve -2 = -0*t - c*t for t.
1
Suppose 5*v + 9 = -h, 7 = -3*h - 3*v - 8. Let t be (h + 1)/(6/6). Let s be 11 - (-1)/(t/(-9)). Solve s = -5*i - 11 for i.
-5
Let t = -11 - -14. Solve -t + 5 = 2*q for q.
1
Let k = 2 + 0. Suppose 2*c - 5 - 3 = 0, 2*w - 10 = -2*c. Solve 3*b + w = -k for b.
-1
Suppose 2*j = j + 1. Suppose n - 4*s + j = -0*n, s + 1 = -n. Let a = 2 - n. Solve -a*x = x - 16 for x.
4
Suppose 10*p = 20*p - 50. Solve p + 4 = 3*v for v.
3
Let l(v) = v**2 - 8*v + 3. Let u be l(8). Suppose u*w + w = 24. Suppose -w*p + 4*p + 8 = 0. Solve b + p*b = 0 for b.
0
Suppose 0 = 2*k - 11 + 1. Suppose 4*t = -p - 0*t + 16, -k = 5*t. Solve 0*j - p = 4*j for j.
-5
Suppose 4*c - 6 - 10 = 0. Let g be -3 + 3 - (1 + -5). Suppose -g*x + c = -8. Solve p = -x*p for p.
0
Let g(w) be the third derivative of w**4/12 - 19*w**3/6 + 8*w**2. 