 6 for s.
-4
Let q be (-2)/(8/(-1) + 6). Let f(c) = -c**3 + 7*c**2 + 2*c**3 - c - 1 - c**2. Let h be f(-6). Solve -q + h = 4*w for w.
1
Suppose 0 = -11*v + 3*v - 48. Let j(z) be the third derivative of -z**4/24 + z**3/2 - z**2. Let k be j(v). Solve -4*m = -k*m + 25 for m.
5
Let a be 57/(-95) - ((-28)/5 + 2). Solve -3*s - 6 = a for s.
-3
Let f(v) = 8*v + 7. Let n be f(0). Let q be ((-6)/8)/(1/(-12)). Solve 4*y = -n - q for y.
-4
Let y(r) be the second derivative of r**2 - 1/20*r**5 - 3*r + 0*r**3 + 1/4*r**4 + 0. Let g be y(3). Solve s + 3 + g = 0 for s.
-5
Let n be 14/8 + 3/12. Suppose -4*b = -n*b - 12. Suppose -30 = g - b*g. Solve 3 = 3*m - g for m.
3
Let y(r) = -r**2 + 20*r - 19. Let t be y(19). Solve t = 3*q - 5*q + 10 for q.
5
Suppose 0 = -2*t - 3*i - 3, 0 = -5*t + 3*i + 1 + 2. Let p be (-1)/(-2)*t + 8. Let b = -185 + 187. Solve p - b = -3*c for c.
-2
Let m be (-2)/(-5) - (-6)/10 - 1. Solve -5*k = -m*k for k.
0
Let d be (-2)/4 + 30/4. Suppose 15 = 5*i - 5*m, -d*i - 3*m = -2*i - 23. Suppose -i*t = -4*k + 18 + 2, 5*k = -3*t + 17. Solve -6 = x - k*x for x.
2
Let k = 0 + 5. Let h = 1 - -57. Suppose 2*r = 4*i - h, -2*i + 4*r + 18 = -i. Solve -k*d = -6 - i for d.
4
Suppose 0 = 2*t + u - 8, 2*u + 2 = 4*t - 6. Solve -2*q + t*q = 0 for q.
0
Suppose -2*t + 4*v = 12, 0*t + 4*v = -3*t + 12. Solve t*d + 5 = d for d.
5
Let j(b) = b**3 + 14*b**2 + 14*b - 2. Let v be j(-13). Let s be 6/12 + v/(-2). Let a be 4/6*(1 - -2). Solve a*z - s = -4 for z.
2
Let y(o) = o**3 - 2*o**2 - 2*o. Let p be y(3). Suppose -2*a + 1 = x - 3, 5*x = p*a + 20. Let n be 8 + a - (3 - 3). Solve 5*s - n - 2 = 0 for s.
2
Suppose -5*p - m - 3*m + 2 = 0, 2*p = -m + 2. Solve -h - p = h for h.
-1
Suppose 2*n - 57 = -4*l + 3*n, -2*n = -3*l + 39. Solve u + l = 4*u for u.
5
Let l be 8 - (-4 + -2 + 2). Solve -5*x - l = -x for x.
-3
Let f be ((-6)/(-2))/((-9)/(-15)). Solve 0*c - f = c for c.
-5
Suppose -3 = -3*h - 0. Solve -6*q + h = -7*q for q.
-1
Suppose 4*k = -0*h - 2*h + 16, -3*h - 8 = -2*k. Suppose -5*z - 4 + 19 = h. Solve 0 = z*g + 9 + 6 for g.
-5
Suppose k - 23 = -2*r - r, -38 = -2*k + 2*r. Suppose 2*o = 5*o. Solve o*l = 5*l - k for l.
4
Let p(a) = a**3 + 10*a**2 + 5. Let k = -9 - 1. Let b be p(k). Suppose -2 = b*q - 12. Solve 0*t = -q*t + 10 for t.
5
Let n(o) = -o**3 - 16*o**2 - 14*o + 17. Let x be n(-15). Solve 0 = g - x + 1 for g.
1
Suppose 0*h - 2*h = -4*h. Suppose 0*n + 3*n = 27. Solve 2*i - n - 1 = h for i.
5
Let n be (-1 + (-1 - -4))*29. Suppose -4*s = 2*a + n, -3*a = -3*s - 22 + 1. Let x be ((-12)/(-10))/(s/(-30)). Solve c - x = 1 for c.
4
Let h = 7 - 3. Suppose 2*s + 3*t = -1 + 7, -8 = -5*s - 4*t. Suppose s*i + i - 3 = 0. Solve -i*l = -l + h for l.
-2
Suppose -c + 2*w - 6 = 0, 6*c - 2*c + 9 = 3*w. Solve i = -c*i - 1 for i.
-1
Let z = 17 - 13. Let s = -11 + 23. Suppose s = h - z. Solve -2*j - h = 2*j for j.
-4
Let d(h) = -h**3 + 7*h**2 + 9*h + 8. Let a be d(8). Suppose 85 = 5*s + y, -s - 4*y = s - a. Solve -s = -4*f - 2 for f.
4
Let r(u) = u**2 + 2*u + 2. Let w(m) = -m - 10. Let o be w(-7). Let a be r(o). Solve 10*f - a*f + 5 = 0 for f.
-1
Let m = -19 + 23. Let h be 4*(2 + (-111)/(-12)). Suppose 51 = 4*k - h. Solve k - 4 = m*t for t.
5
Suppose 4*f + 8 = 0, -2*z + f + 18 = 3*f. Suppose -3*y = -15, z = -4*k + 3*y + 4. Let i = 8 - 5. Solve i*c = k*c - 1 for c.
-1
Let v(n) = n**2 - 7*n - 13. Let c be (-3)/(-2)*2/1. Let y = 6 + c. Let m be v(y). Solve r = -0 + m for r.
5
Let k(s) = -s**2 - 6*s + 9. Let u be k(-7). Suppose u + 4 = 2*h. Suppose -2*t + v + 9 = 2*t, 5*v + 5 = 0. Solve -10 = t*f + h*f for f.
-2
Let x = 12 - 8. Solve x = -2*s - 2 for s.
-3
Suppose -5*b + 2*b + 12 = 0. Suppose a + 12 = s + 4*s, 0 = -b*a + 2*s + 42. Solve a = -3*i + 4 for i.
-3
Let z = -21 + 31. Let j(b) = -b**2 + 11*b - 6. Let a be j(10). Let u = a - 0. Solve t + z = -u*t for t.
-2
Let h(g) = -g**3 + 4*g**2 + 3. Let s = 10 - 6. Let p be h(s). Let m be (-4)/(-12)*2*p. Solve m*z = -z for z.
0
Let i(r) = -r**2 + 6*r - 3. Let g be i(5). Let k be 0 - 0*3/(-6). Solve g*w = -k*w for w.
0
Let j = -16 - -10. Let t = j + 13. Solve -2*p = -t*p - 20 for p.
-4
Let g = -14 - -26. Suppose 5*i - u = 22, 0 = 4*i - 4*u - g + 4. Solve -i = -2*t + 3 for t.
4
Suppose 3*v + 0*v - 3*b = 12, -3*b - 2 = -v. Suppose v*m = m + 16. Suppose 7 = l - 3*n, -5*l + 4*n + 2 = -22. Solve -m*g - l = 16 for g.
-5
Let v(h) = -h**3 + 10*h**2 + 13*h - 11. Let r be 33/(-2)*2/(-3). Let x be v(r). Solve -x = 3*c + 1 for c.
-4
Suppose 4*s - 5*f = 0, 0 = 3*f + f. Solve -2*n + s*n = -4 for n.
2
Let m be ((1 - -2) + -3)/(-1). Solve 7*v - 3*v + 20 = m for v.
-5
Let k be (-4)/(-6) - (-30)/9. Suppose 2 = -w + k. Solve 0 = -3*d - w*d + 5 for d.
1
Let u be ((-1)/3)/((-1)/12). Let i(k) = 3*k - 6. Let r be i(6). Solve f = u*f - r for f.
4
Let z be 25*2*1/5. Let w be z/35 - (-52)/14. Suppose 5*h - 14 = y, -2*y = 2*h - 4 - w. Solve -2*x = 3 - y for x.
-1
Let t be (0 + 1)*-1*-2. Suppose t = 3*r - 1. Suppose 4*u - r = 7. Solve 0 = 3*k + u*k - 15 for k.
3
Let p = -13 - -7. Let u be (-1 + 1)*p/(-18). Solve 0 = -u*i - 5*i - 5 for i.
-1
Let y be (8/3)/(4/6). Let z = 70 - 66. Let b = 1 - 1. Solve z = y*o - b*o for o.
1
Let n be (9/(-3))/1 + 4. Suppose p = -o - 0 + n, 2*o - p = -1. Solve -5*y - 18 + 3 = o for y.
-3
Let i be 6/7*(-42)/(-12). Suppose -t + 2*t = -17. Let d = t + 24. Solve 0 = -i*w + 19 - d for w.
4
Let c be 3 + (2 - -1 - 3). Suppose -3 = -2*i + c. Solve -i*h = 1 - 4 for h.
1
Let r = -8 - -13. Let y(g) = 2*g**3 - 3*g**2 - 3*g. Let z(p) = 2*p**3 - 2*p**2 - 2*p. Let d(t) = r*y(t) - 6*z(t). Let w be d(-2). Solve 2*a - w = -0*a for a.
5
Let u(v) = v**3 - 7*v**2 - 7*v - 1. Let q be u(8). Solve q = -3*t + 1 for t.
-2
Let x(l) = l**2. Let f be x(-2). Suppose 0 = -3*s + v - 5, f*v + v - 25 = -2*s. Suppose s*r = -3*r + 15. Solve -a + 0 = -r for a.
5
Suppose -30 = -5*l + 5. Solve 8 + l = 5*j for j.
3
Let o be (-3)/3 + 1*2. Let w be 4/(-6)*(-6)/o. Let j(b) = 3*b + 15. Let v be j(-3). Solve -v = w*i - i for i.
-2
Let l(r) = -3*r - 4. Let s be l(-2). Solve 0 = -s*g - 3 - 5 for g.
-4
Suppose 5*a - 2*j = 55, -16 = -3*a - j + 6. Let k be 38/a - 4/18. Suppose o = 3*o - k. Solve 2 - 10 = o*l for l.
-4
Suppose -5*o + 0 + 5 = 3*g, -4*o - 5*g + 4 = 0. Let h be -1 + -2 + (o - -2). Solve h = -0*k - k - 2 for k.
-2
Suppose 4*a = 3*d + 70, 4*d = 2*a - a - 24. Solve -4*h + 0*h = a for h.
-4
Let w = 20 + -38. Let i = w + 22. Solve -3*s = -s + i for s.
-2
Let f(p) = 3*p - 4. Let w be f(3). Solve -w*z + z - 8 = 0 for z.
-2
Suppose 0 = -5*d - 2 + 7, 5*x - 5*d = 0. Suppose -6*w = -4*w. Suppose 3 = -3*j + 15. Solve -q - x + j = w for q.
3
Let p(t) = 7 - 3*t + 2*t + 0*t. Let f(b) = -5*b**3 + b**2 - b - 1. Let j be f(-1). Let x be p(j). Solve g - 3 = -x for g.
2
Let k = -4 + 16. Let a be 2*5 + -2*1. Suppose -5*w + a = -k. Solve -r = -3 + w for r.
-1
Suppose 2*t - 13 = -9. Solve t*o - 6 + 2 = 0 for o.
2
Suppose 0 = -4*x + 4, 3*g - 3*x - 2*x = 22. Suppose -14*d + 3 = -13*d. Suppose 4*z = d*n - 3, -g = -z - 5*n + 19. Solve 4 = -z*m - 2 for m.
-2
Suppose 4*c = -0*c + 12. Suppose c*h + 23 = 2. Let r = -1 - h. Solve -r = -2*f - f for f.
2
Suppose 0*y = -2*y + 28. Let m = -23 + y. Let q be 8*3*(-3)/m. Solve -q = -w - w for w.
4
Let u = 2 - -1. Solve 22 + u = -5*j for j.
-5
Let f be 6/16 + 168/64. Solve 13 = f*i - 2 for i.
5
Let a = 0 + -6. Let l be (15/a)/5*-6. Solve -2*k = -l*k - 5 for k.
-5
Suppose -2*t + 12 = t - 5*f, 8 = 2*t + 3*f. Solve -d = -2*d + t for d.
4
Let i be (-1 - (-34)/4)*(-48)/(-60). Solve 0 = 3*v + 3 - i for v.
1
Let q = 11 + -8. Let h = q - 3. Solve -3*p + 19 - 4 = h for p.
5
Suppose 4*z = -53 + 1. Let q be z/(-3) + (-5)/15. Suppose 3*n - 4 - 21 = -l, 4*n - q*l = 28. Solve -2*d + 0 = -n for d.
4
Suppose -g - 2 = -2*a, -4*a - a + 5 = -5*g. Suppose -3*u + 42 = 4*u. Solve 5*v - a = -u for v.
-1
Let j = 0 + 25. Let n = j - 11. Let y be (-1)/2 + 49/n. Solve -y*s = -s for s.
0
Let m = 11 + 2. Let c = -13 + m. Solve c = 2*b - 0*b + 4 for b.
-2
Let a be 2/2 + 10/(-2). Let k(p) = -5*p. Let i(m) = -4*m. Let o(n) = 4*i(n) - 3*k(n). Let w be o(a). Solve 2*l - w = -2*l for l.
1
Let a be (35/10)/((-3)/(-6)). Let g = -3 + a. Solve q = -g*q - 10 for q.
-2
Let g be -8 + 5 + (-1 - -13). Solve 0 = -4*a + 7 + g for a.
4
Suppose 0 = -3*u - u - 4. Let b be (u - 2)*16/6. Let n = b - -15. Solve n*k 