 for s.
3
Let t(m) = m**2 + 8*m - 4. Let p be t(-9). Let c be 21*1 + 0 - 0. Let s be (-26)/(-7) + 6/c. Solve 24 - s = p*b for b.
4
Suppose 2*g - g - 6*g = 0. Solve t + g*t - 2 = 0 for t.
2
Suppose 4*w = 251 + 37. Suppose b - 5*b = -w. Suppose 5 = -5*h + 5*i + 80, 2*h = 5*i + b. Solve h = -5*v - 6 for v.
-5
Let u be (16/10)/((-2)/(-5)). Suppose 9 = -p + u*p. Suppose p*y - 3 - 3 = 0. Solve 0 = 3*g + y*g + 25 for g.
-5
Suppose 0 = -2*d - 3*d + 3*u + 22, 0 = -3*d + u + 14. Suppose 0*m = -m + 4*f + 40, -4*m - d*f + 55 = 0. Solve 0 = 4*b - 0*b + m for b.
-5
Let d be (-10)/(-25) - (-54)/15. Solve d*q = -3 - 5 for q.
-2
Let r = -5 + 11. Let p = 26 + -23. Solve -o - r = -p*o for o.
3
Let w = 0 - -11. Solve -5 = -3*f - w for f.
-2
Let w = 8 - 0. Let p = w + -8. Solve 2*t = -p*t + 2 for t.
1
Let b = -24 - -26. Solve -6 = b*j + j for j.
-2
Let w(t) = -t**3 + 2*t**2 + 12*t - 13. Let u be w(4). Solve -k - u = 2 for k.
-5
Let r = 29 + -27. Solve -c - 2 = -r*c for c.
2
Suppose 2*a - j + 11 = -7, a - j = -7. Let d = -8 - a. Solve -12 = -3*r + d for r.
5
Let g = 18 - 7. Suppose 3*w + 3*y - 9 = 6*y, 4*w - 3*y = g. Solve -2*r - w = -0 for r.
-1
Suppose 3*f + 2 = 11. Let s = 2 - 5. Let x be f/(-6)*(-7 - s). Solve 6*t - 20 = x*t for t.
5
Let n(u) = u**2 - 2. Let y be n(2). Let f be 1*(-1 + (3 - 2)). Solve y*i = 4 - f for i.
2
Suppose -n + 5*a = -22, -2*n - 5*a = -8*a - 16. Solve 4*o - 10 = n for o.
3
Let j = -2 + 2. Let f(g) = g + 4. Let l be f(j). Solve 0 = -3*i + 8 + l for i.
4
Suppose -4*k - 8 = 2*f, f + 0*k - 8 = 2*k. Let t be 244/36 + 2/9. Suppose -t*s = -3*s - 24. Solve -y - f*y - s = 0 for y.
-2
Let o = 2 - -3. Suppose 3*c - 3*n - 9 = 0, c - 5 = -2*n + o*n. Suppose 15 = 4*x + 3. Solve -c*y + x = y for y.
1
Let t be (2 - 1)/((-3)/(-15)). Solve 0 = o - t*o for o.
0
Let h(b) = b**3 - 3*b**2 - 4*b + 5. Let f be (-9)/(-2) - 6/12. Let g be h(f). Solve -14 = -g*c - 4 for c.
2
Let k(a) = -a**2 - 4*a + 4. Let b be k(-4). Suppose -5*i + 14 = b. Solve i*c = 7*c + 20 for c.
-4
Let d(k) be the second derivative of -k**5/20 - 5*k**4/12 + 7*k**3/6 + 3*k**2 + 2*k. Let i be d(-6). Solve i = -z + 1 for z.
1
Suppose -5*m - 27 + 7 = 0, f + 2*m = -5. Solve f*j + 6 - 15 = 0 for j.
3
Let h = 19 - 4. Suppose v - 2*v - 3 = 0, -4*c = 5*v + h. Solve u = -c*u - 4 for u.
-4
Let a = 1 - 1. Suppose a*s + s - 25 = 0. Suppose -2*x + 4 = 4*u, 3*x = 4*u - 2*x - 32. Solve -8*j + u*j = -s for j.
5
Let k = 102 + -97. Solve -g = k - 3 for g.
-2
Let v(m) = -m**3 + 2*m**2 + 3*m + 3. Suppose 0 = 2*y - 3 + 1. Let g = 2 + y. Let o be v(g). Solve -10 = o*t - t for t.
-5
Let d(b) = b**2 + 3*b - 4. Let k be d(-4). Let t be (-1)/3 - 28/(-12). Let p be 19 - (t - (4 - 2)). Solve k = 5*g + p + 6 for g.
-5
Let f be (-7)/(-2)*(-160)/(-56). Solve -3*c + 5*c - f = 0 for c.
5
Let v = -11 + 7. Let p be (-40)/(-12)*(-6)/v. Suppose p*f - 5*d = 25, 0*f - 4*f = -d - 20. Solve -f = -c - 0 for c.
5
Let w(g) = 4*g**2 + g + 3. Let r(o) = o**2 - o. Let f(j) = -3*r(j) + w(j). Let t be f(-2). Let u be (t - -2)/(-1)*-1. Solve u = d - 0 for d.
1
Let m be (-4)/(-8)*(-4 + -32). Let w be 4/(-8) + m/(-4). Solve -7*n = -w*n - 6 for n.
2
Let n(z) = 3*z**2 - 3*z + 2*z - 7*z**2. Let h be n(1). Let c = -5 - h. Solve 0 = -c*u - 2*u - 2 for u.
-1
Let k(r) be the third derivative of r**5/60 + r**4/24 + r**2. Let z be k(3). Let i be (7 - 8)*(-10)/2. Solve -i*a = -a + z for a.
-3
Let b(f) = 5 - 9*f - 3*f - f**2 + 6*f. Let v be b(-6). Solve 0 = -v*a + a + 8 for a.
2
Let r(q) = -q**2 - 1. Let t be r(0). Let s be t - -1*(-2 - -8). Suppose 0 = s*y - 21 - 19. Solve 0*i - 4*i = -y for i.
2
Let x(i) = -i**3 - 5*i**2 + 6*i + 4. Let t be x(-6). Solve 10 = -t*o - 2 for o.
-3
Suppose -27 + 43 = 4*l. Solve -l*a = -2*a for a.
0
Let a = -31 - -32. Solve 0 = q - 0*q - a for q.
1
Let t(k) = 3*k. Let j be t(1). Let g(y) = -7*y - 1. Let p be g(-1). Let d = p - 4. Solve 0 = -u + j*u - d for u.
1
Suppose -4 = -2*r, 0 = -m + 2*m + 2*r + 3. Let a = m - -7. Solve -p = -a*p - 4 for p.
4
Let r be (2/(-3)*3)/(-1). Let v be (r + -5)/((-4)/12). Let o be (-1)/(-2) - (-5)/(-10). Solve o*u - v = 3*u for u.
-3
Let q be (-4)/(-14) + (-10)/35. Let s(m) = -3*m + 10 + 2*m + q*m. Let f be s(6). Solve -3 = -x - f for x.
-1
Let q = 3 + 2. Suppose 0 = -4*b - a + 39, -2*b - 4*a - 34 = -q*b. Suppose 2*g + 8 = 4*z, 0*z + 4*z + 3*g = 18. Solve b = -2*j - z*j for j.
-2
Let m be 8/(2/10 + 0). Suppose h + m = 6*h. Let g be 3/((-2)/(h/(-6))). Solve -2*w - g*w = -20 for w.
5
Let k be 3*(12/9 + -1). Suppose -2*z = -7 - k. Solve -z*q = -q - 6 for q.
2
Let i be 2/7 + (-38)/(-14). Let w(r) = -r**3 - 10*r**2 + 10*r - 14. Let u be w(-11). Let s be u/(-5) - 4/(-10). Solve -4 = i*o - s for o.
-1
Let k be 53*1 + (0 - 2). Suppose 5*f = 24 + k. Solve 2*w + f = 5*w for w.
5
Let i be 2/7 - 2/7. Let r be ((-1 - -1) + i)*-1. Let o(b) = 2*b - 2. Let m be o(2). Solve -m*c - 3*c - 5 = r for c.
-1
Let o(g) = g**3 - 4*g**2 + g - 4. Let d be o(4). Solve 2 + d = i for i.
2
Let w(g) = g**2 - 5*g + 2. Let n be w(5). Let b be (-1)/(-4) + (-483)/(-84). Solve -n*c = c + b for c.
-2
Let i be (-2)/(-1)*3 - 1. Suppose 2 = -a, h - 4*h - 5*a - 1 = 0. Let d = 36 - 26. Solve -i = h*q + d for q.
-5
Let c(n) = -n**3 + n**2 + n + 17. Let d be c(0). Suppose 0 = 4*g - 2*a - 26, -2*g - 10 + 5 = 5*a. Solve g*f + 8 = -d for f.
-5
Let d(v) = v**2 + 12*v + 5. Let z be 0 + (-6)/2 + -9. Let o be d(z). Solve 0 = o*k + 13 + 12 for k.
-5
Let s(j) = 2*j - 1. Let t be s(2). Let r = 6 + -4. Let n = t + r. Solve 0*y = -n*y - 10 for y.
-2
Let t(n) = n**2 - 2*n**2 + 4 + 6*n - 2*n + 2*n**2. Let v be t(-7). Solve v = 5*g - 0*g for g.
5
Suppose 0 = g + 5 - 6. Solve -5*t = -g - 9 for t.
2
Suppose -5*v = -5*z - 30, -5*v + 0*z + 42 = -z. Let x = v + -5. Solve -4*m - x = 4 for m.
-2
Let q = -9 - -12. Solve -5*z - 28 = -q for z.
-5
Suppose -4*i + 4 = -3*f, -2*i + 2 = -0*i + f. Solve -5*l + 4 = -i for l.
1
Let c = 35 - 26. Let w = -9 + c. Solve -3*i - i = w for i.
0
Suppose 5*d = 6*d + 4. Let i = d + 6. Let m(a) = 4*a - 2. Let b be m(2). Solve i*y - b = -y for y.
2
Let y(l) = l**2 + 3*l - 2. Let m be y(1). Solve 0 = p + 3 - m for p.
-1
Let l = -4 + 4. Solve l*t = t + 1 for t.
-1
Suppose 0 = 9*x - 4*x - 10. Solve 2 = -x*m - 6 for m.
-4
Let n(b) = -b**3 - 6*b**2 + 3*b - 3. Let f be n(-7). Let a be 2 + -1*(-4 + 1). Solve 0*t - a*t + f = 0 for t.
5
Let q = -243 - -243. Suppose -2*v = 2*p, -8 = -3*v + 4*p + 13. Let s be -2*(-6)/8*4. Solve -v*g + s + 9 = q for g.
5
Let a(k) = k + 24. Let q be a(-22). Solve q*x - 3*x = 2 for x.
-2
Suppose 2*d - 8 + 0 = 0. Suppose 5*o + d*k + 16 = 0, -4*o + k = -k - 8. Solve t - 5*t = o for t.
0
Let c(a) = -15*a + 3. Let z be c(2). Let j be (-6)/(-27) - (-6)/z. Suppose y - 1 - 1 = 0. Solve j*p + 8 = -y*p for p.
-4
Suppose w + 3 = 2. Let p be -3 - (-8 - w)/1. Solve 0*m - p*m = 0 for m.
0
Let h be 0 + (-3)/(-2)*2. Solve h*k - 8 = 5*k for k.
-4
Let l be -3 + (-3)/(3/(-4)). Let s = -3 + 2. Let p = s - -1. Solve p*v + l = -v for v.
-1
Let n be 1/(-3 - (-49)/16). Suppose -2*m = -o - 3*o - 4, 5*o = -m + 9. Solve 3*z = -n + m for z.
-4
Suppose 0 = -2*t + 5 - 1. Let q be (7/5 - t)*-10. Let g = 2 + 0. Solve g = 2*a - q for a.
4
Let k be (-3)/12 + 42/8. Suppose -2*s = k*f - 60, -4*f + 48 = -s - 0. Solve -g = 2*g + f for g.
-4
Let m = 12 + -5. Let h = m + -6. Let p(w) = w**2 - 1. Let d be p(h). Solve d*v - 5*v = -5 for v.
1
Suppose 0 = -5*l + 8*l - 3. Let g be l/(-4) + 8/32. Solve o + 2*o = g for o.
0
Suppose 2*g = 3 - 5. Let j be 0 - (1 - (-3)/g). Solve 0 = -j*a + 2 + 2 for a.
2
Let q be (-6)/(-9)*-3 - -4. Suppose -k = -q*k. Solve -s - 4 + 8 = k for s.
4
Let w(p) = p**2 - 11*p - 8. Let n be w(10). Let x be 4/n + 174/54. Solve s = 4*s + x for s.
-1
Suppose 54 = n + 51. Solve n*a = a + 4 for a.
2
Let y = 11 - 5. Let c be y/(-4)*1*-2. Suppose -o - c*o = 0. Solve -5*f + 10 + 5 = o for f.
3
Suppose 3*r - 4*g = 19, r - 5 - 5 = 5*g. Suppose r*k - k = 0. Solve k + 4 = t for t.
4
Suppose 44 = -3*h + 7*h. Solve -13 + h = a for a.
-2
Let f(j) = j**2 - 5*j + 6. Let l be f(5). Suppose -p + x + 12 = l*x, 5*p - 16 = -3*x. Solve p*z = -3*z for z.
0
Suppose 5*x - 32 = 4*n, -8 = -3*n - 3*x - 59. Suppose 0*t + 12 = -3*t, t - 53 = -3*q. Let a = n + q. Solve 0 = a*d - d for d.
0
Let i(r) = 24*r + 5*r - 11*r - 18*r**2 + r**3 - 13. Let b be i(17). Solve 