 for s.
-2
Let t be -1 - ((-4 - -1) + 1). Let h(a) = a - 1. Let v be h(6). Suppose -v*f + 20 = -5. Solve -t = i - f for i.
4
Let w(o) = o**3 + 6*o**2 + 7*o + 6. Let l be w(-5). Let v be (0 + -2 - l) + 2. Suppose v = -0*f + 4*f. Solve -2*x - 5 = -f for x.
-2
Let c = -40 + 44. Solve z + c = 5*z for z.
1
Suppose -6*p + 24 = -12. Suppose -3*c + p*c - 24 = 0. Solve 2*k = -2*k - c for k.
-2
Suppose -24 = -t - 2*t. Solve -3*j - 10 = -t*j for j.
2
Suppose -y - 3*u = -22, 23 = 5*y - 2*u - 19. Solve 0*k + 2*k = y for k.
5
Suppose 2 = 4*x - 6. Solve -x*d + 5 = -1 for d.
3
Let b(o) = 2*o**2 + 9*o - 5. Let g be b(-6). Suppose t = 2*t - 2*f + 1, 3*f = 2*t. Suppose 2*p = p + 3*q + 17, -3*p = -5*q - 31. Solve -p*h + g = t for h.
5
Suppose 2*b + 1 - 7 = 0. Solve -2*x - 4 = -b*x for x.
4
Let s be (-9)/(-6)*8/(-6). Let d be -1 - (2 - 3 - s). Let f be (2 + 0 + d)/(-1). Solve f = -2*a - 2*a - 16 for a.
-4
Let a be ((6 - 3) + -3)/3. Suppose a = -10*t + 15*t. Solve -3*g + 1 + 8 = t for g.
3
Suppose 0 = -3*v + 5*v - 48. Suppose 4*t - t - v = 0. Solve y + t = -3*y for y.
-2
Suppose 2 = -2*g - 4. Let w be 1/(g/(-162)) + -1. Let d = w + -31. Solve d = 5*l - 3 for l.
5
Let z = 1 - 5. Let p = z + 6. Suppose -4 = 5*b - 9. Solve p*v - v + b = 0 for v.
-1
Let r(d) = -d**3 + 3*d**2 - 3*d + 2. Let f be r(2). Let m(q) = q**2 + 5*q. Suppose -4*a = -0*a + 20. Let g be m(a). Solve f*h + 3*h - 3 = g for h.
1
Suppose -3*x + 4*x + 2*y = 0, 4*y = x. Let c = 4 + x. Solve -r + 5*r - c = 0 for r.
1
Let t(j) = j**3 - 9*j**2 - j + 12. Let f be t(9). Suppose -2*h + 0 = f*o + 3, 3*h - 4*o - 4 = 0. Solve h = 5*x + 12 + 13 for x.
-5
Let v = -16 - -17. Solve -4 = -5*p + v for p.
1
Suppose -3*f + 4 = -f. Suppose 5*c - 8 = -a + 5*a, -3*c = 2*a - 18. Let q(n) = -n**2 - 8*n - 7. Let d be q(-5). Solve c*j + d = f*j for j.
-4
Let q = 9 - 7. Solve 2*p - 16 = -q*p for p.
4
Suppose 0 = -4*r - 4*r + 40. Solve 2*p + 1 + r = 0 for p.
-3
Suppose 3 = 3*o - 6. Let r = -4 + 4. Suppose -g + r = -2. Solve g*a + o*a = 0 for a.
0
Let h = 10 + 1. Let i be 2/(-4)*(h - 11). Solve -3*x - x - 8 = i for x.
-2
Let w = 54 - 38. Suppose -4*u - w = 0, -3*o - o = -2*u - 108. Solve o = -a - 4*a for a.
-5
Suppose -45 = -5*o - 15. Let h = 11 - o. Suppose 20 = 4*v - 3*z, h*v - 3*z + 5 = 30. Solve 0 = -3*m + 20 - v for m.
5
Let o be 24/(-30) + (-58)/(-10). Solve -o*q - 23 = -8 for q.
-3
Suppose -14 = -4*g - 2. Solve 6*j - g*j = 15 for j.
5
Let l = -3 - -3. Suppose l = 5*r + 2*j - 8, -4 = -r + 5*j + 3. Solve -r*i + i = 0 for i.
0
Let m(g) = 25*g + 3 - g**2 + 25*g - 45*g + 3. Suppose -6*k + 2*k = -20. Let t be m(k). Solve r = t*r for r.
0
Suppose 3*p = 5*p - 8. Solve 0 = -0*w + p*w - 4 for w.
1
Let v = 28 - 20. Solve 0 = v*i - 3*i + 10 for i.
-2
Let n be (-3)/(-4) + 6/24. Let i be n + 2/2 + 0. Solve i*d - 4 = d for d.
4
Let c(q) = q**2 - q + 3. Let a = -5 - -5. Let v be c(a). Let t = 1 + 1. Solve o = v - t for o.
1
Suppose 4*b + 67 = -g + 18, -g = -b - 6. Let u = 15 + b. Solve -u = -x - 0 for x.
4
Suppose -4*z + 6*z = 10. Solve k - z = -0 for k.
5
Suppose 0 = z + 3*z - 4. Solve 0 = -0*a - a - z for a.
-1
Let a be 138/18 + (-1)/(-3). Let b be 2/a - 44/(-16). Suppose 2*x = -0*x + 20. Solve -1 = b*n - x for n.
3
Let n be (-3*1)/(12/(-8)). Suppose -n*l = -0*l - 2. Solve 2*b - l = b for b.
1
Let t be (2 + (-12)/3)*-2. Suppose 3*y - t*y + 3*v = 3, -3*y = 3*v - 3. Solve 4*s + 1 - 21 = y for s.
5
Suppose -11 = -6*i + 7. Let s be 1 + 0/2 + 4. Let j = s + 0. Solve -2*h = -i - j for h.
4
Let y be 1145/55 - (-2)/11. Let x = -15 + y. Solve x = 2*t - 0 for t.
3
Let z be (4/6)/(8/24). Let u be 2/(z/(2 + 2)). Solve u = -5*p + 19 for p.
3
Let g = -6 + 6. Suppose g = -4*r - 5*o + 7, 2*r - 4*o = 10. Solve -u + r*u = 0 for u.
0
Let t(k) be the second derivative of 5*k**4/12 + k**3/2 + k**2/2 - 5*k. Let x be t(-2). Let u = 8 + -6. Solve -u*j - x = j for j.
-5
Suppose -2 - 23 = -5*t. Suppose -2*q = -6*q + 16, -14 = 5*v - q. Let a = v - -2. Solve 4*p - 3 - t = a for p.
2
Let z be (1 + 3)/((-5)/(-10)*4). Suppose -r + 1 - 4 = -5*x, 4*x = 2*r. Solve 16 = z*k + r*k for k.
4
Let r(d) = 0*d**2 - 2*d**2 - d**3 + 2*d + 2 - d. Let k be r(-3). Suppose 4*z = k*z. Solve -f = -z*f + 4 for f.
-4
Let x(p) be the first derivative of p**4/4 + p**3 - p**2 - 3*p - 3. Let n be x(-3). Solve -3*t - n = -0 for t.
-1
Let l(k) = k**3 + 3*k**2 + k - 2. Let x be l(-2). Let j = 3 - x. Suppose 4*a - z = 3, -2*a + 0*z + 29 = 5*z. Solve -d = -j + a for d.
1
Suppose -3*s = -s - 16. Solve x = -x - s for x.
-4
Suppose -s = -2 - 2. Suppose -n + 4 - 2 = 0. Suppose -6*y = n*p - 3*y - 11, -16 = -p + 2*y. Solve q + p = -s*q for q.
-2
Let l be (-4)/(-8)*(2 + -2). Suppose -2*y = -2*f + 2, 5*y - 20 = y - 4*f. Suppose -c - 2*s - 8 = l, 4*s = c - y - 14. Solve c*r - 12 = -3*r for r.
4
Suppose 3*p = 6*i - 3*i - 12, -2 = -2*i. Let x(y) = -y - 3. Let v be x(p). Solve v = -8*g + 5*g + 12 for g.
4
Suppose 2*q - 35 = -5*z, -3*q + z = 4*z - 39. Solve 3*p = 1 - q for p.
-3
Suppose 0 = -j - 2*h - 10, -10 = -3*j - 2*j + 2*h. Solve 4*r - 2*r = j for r.
0
Let j be 2/(-6)*0*(-5)/(-30). Solve j = -4*w + 13 + 3 for w.
4
Let b(l) = l**3 - 19*l**2 + 18*l + 19. Let q be b(18). Solve 0 = -4*k - 3 + q for k.
4
Let o = 10 + -8. Solve o*u - 10 = 4*u for u.
-5
Let l be (-9)/7 + (-6)/(-21). Let f = l - -1. Suppose 4*g = 4*x + 12, 4*x = -2 - 2. Solve f = -g*n + n for n.
0
Let a = -13 + 4. Let g = a + 12. Solve -4 = g*r - r for r.
-2
Let b(n) = -n**3 - 4*n**2 - n - 3. Let o be b(-4). Solve 4 + o = 5*s for s.
1
Let p(f) = 3*f**2 - f + 1. Let t be p(3). Let a be ((-3)/9)/(2/30). Let g = a + 8. Solve -g*s + t = 2*s for s.
5
Let f be (0 - -1)*(-165)/(-11). Solve 0 = -7*z + 2*z + f for z.
3
Suppose -3*d - 6 = 3*k, -4*d - 2*k - 3*k - 12 = 0. Suppose l - 3*l = o, -l = -o + 3. Let i = l + d. Solve -i = -r - 0 for r.
1
Suppose 9*z = 4*z + 40. Let h be (-1 + 1)*5/10. Suppose 4 = -h*g + g. Solve g*q = -0*q + z for q.
2
Let q be 1/(-4) - 196/(-16). Solve 0 = -4*r + 4 - q for r.
-2
Let i be (-1 - 13/(-11)) + (-580)/(-319). Solve 3*y = i*y - 3 for y.
-3
Let m = -123 - -128. Solve m*q + 3 + 2 = 0 for q.
-1
Suppose 2*a = -3*k + 2, 14*k - 5 = 10*k - 5*a. Solve k = -j + 2*j + 1 for j.
-1
Suppose a - 2 = 2. Solve -1 = a*x - 13 for x.
3
Suppose -6 - 3 = -3*j. Let g(s) = -s - 4. Let x be g(-4). Let h = -4 - -4. Solve h = -3*y - x*y + j for y.
1
Let f(k) = k**3 - 4*k**2 + k + 1. Let w be f(4). Suppose 26 = w*i + 6. Suppose -4*g - 28 = -q, 2*q + g + i*g - 4 = 0. Solve 2*s = 5*s - q for s.
4
Let g = -2 - -5. Suppose -2*a + 5 = g*u, -3*u + 6*u - 10 = -a. Let q be (18/8)/((-13)/(-52)). Solve u*c = 2*c - q for c.
-3
Let p be (7/3 + -2)*3. Suppose -7*b - 2*b + 36 = 0. Solve 3 = -b*x - p for x.
-1
Let j(g) = 2*g**2 - 2*g - 1. Suppose 0 = -3*r + 1 - 4. Let t be j(r). Suppose 2*d = -t*d. Solve 0 = 2*o - d*o for o.
0
Let r = 10 - 6. Suppose -r*i + 7 = -9. Solve 7*f = 3*f + i for f.
1
Let p be 1/(-1) + 4 + 1. Let b(c) = c + 3. Let v be b(0). Suppose -2*z - 2*t - v*t = 0, 3*t = 4*z - 52. Solve 2 = p*g - z for g.
3
Let t be 22/3 - 14/(-21). Suppose -t = -5*d - 3*j, 0*d + 3*d = j + 2. Solve -g + d = -1 for g.
2
Let j(w) = -w**2 - 2*w + 17. Let u be j(0). Solve -u - 3 = -5*k for k.
4
Let m(c) = -c**2 - 9*c - 5. Let z be m(-8). Solve -z*f + 6 = -f for f.
3
Suppose o - 4*r = 10, 0*r + 2*r + 6 = o. Suppose 2*k - o*l + 14 = -6*l, -4*k - l = -7. Let n be ((-35)/343*-7)/((-1)/(-7)). Solve -k*f = -n*f - 2 for f.
-1
Let s(y) = y**3 - 12*y**2 + 4. Let r be s(12). Solve 12 = -8*n + r*n for n.
-3
Suppose -3*l = 2*l - 35. Solve 0 = -2*b - l + 3 for b.
-2
Suppose -16*p + 17*p = 0. Solve 7*z - 2*z + 10 = p for z.
-2
Suppose 10 = 5*s - 0*s. Solve 4*q + 2 = -s for q.
-1
Let p(i) = i + 7. Let c be p(-7). Let m be 2/(-2) - c/1. Let n be (m/2)/((-2)/4). Solve 3 + n = 2*y for y.
2
Let g(c) = c**3 - c**2 + 4*c + 1. Let l(j) = -j + 1. Let t(q) = g(q) + 3*l(q). Let k be t(0). Let d(w) = 3*w - 5. Let n be d(k). Solve 3*a = -n - 2 for a.
-3
Let a = -4 - -8. Suppose a = -4*t + 3*j, -t - 4*j + 20 = t. Suppose 2*q = -3*m + 33, t*m - 3*q - 14 = -5. Solve m = -3*i - 0 for i.
-3
Suppose 14 = 4*w - 2*l - 0, 5*l + 7 = -4*w. Suppose -2*i + 2 = -2*m, -m = 5*i - 3*i - 2. Solve h - i = w for h.
3
Suppose 2*f + 98 = 4*g, 2*g + f + 71 = 5*g. Let h = g - 6. Solve -h + 1 = 3*b for b.
-5
Suppose