s.
-2
Let a = 5 + 0. Solve 19 + 6 = a*b for b.
5
Let d(s) = -s**2 - 10*s - 9. Let i be d(-9). Suppose 0 = u - i*u, 5*g = -5*u. Solve 12 = -g*v - 4*v for v.
-3
Let m be 3 + 11 + 6 + -3. Suppose -y + 2*x + m = -3*x, 13 = 2*y - 3*x. Solve -y*n - n = 9 for n.
-3
Let y(n) = n + 6. Let u be y(-6). Let i be (1 - u/3) + 19. Solve -6*l + i = -l for l.
4
Let d(u) = 2*u + 1. Let a be d(0). Solve -2 = -3*y + a for y.
1
Suppose 0 = 2*v - 5 - 1. Solve -v*s = s for s.
0
Let y = 10 + -15. Let j be (-69)/(-15) + (-6)/(-15). Let g = j + y. Solve k + g*k - 1 = 0 for k.
1
Let g be (-6)/9*15/2. Let k(z) = -z**3 - 4*z**2 + 4*z - 5. Let q be k(g). Solve q*a = -a for a.
0
Let s be (-45)/3*6/(-15). Solve -8*z + 4 = -s*z for z.
2
Suppose -3*j = -5*l - 5*j - 11, -2*j = -4*l - 16. Let n = l - -6. Solve -2*d - 5 = n for d.
-4
Suppose q = s - 6 - 4, -4*q - 22 = -s. Suppose -6 - 24 = -2*z - 5*y, 0 = 3*z + 2*y - 23. Solve z*v = s*v for v.
0
Suppose 0 = 3*g - 12, -2*j + 0 = 4*g - 20. Suppose -q - 2*q = 4*h + 40, 0 = -2*q - j*h - 30. Let l = 29 + q. Solve -l - 16 = -5*f for f.
5
Let j(v) = v**2 - 2*v + 4. Let r be j(0). Solve -f - 6 = -r*f for f.
2
Let o(z) = 5*z**2 - z - 1. Let k be o(-2). Let l = -5 + 11. Solve k - l = -5*s for s.
-3
Let j be (4 - (-5 + 8))/((-1)/(-4)). Solve -5*a + j = -1 for a.
1
Let a(z) = 3*z + 3. Let o be a(2). Let b be (9/(-4))/(o/(-24)). Suppose -s + 4 = -4*d + 7, 0 = -3*d - 2*s + 5. Solve -b = 5*k - d for k.
-1
Let l be (-75)/(-2)*(-8)/(-12). Solve m = -4*m - l for m.
-5
Let a = 111 + -109. Let w(q) = 9*q - 3. Let u be w(2). Solve -a*k = k - u for k.
5
Suppose -7*b + 2*b = 0. Solve 5*q = -b - 10 for q.
-2
Let b = 1 - 2. Let o = b + 43. Suppose 4*j - o = 5*g + 57, 0 = 4*j - 3*g - 101. Solve 4*x = 6 - j for x.
-5
Let c be 3/2*2/3. Let d = 5 - 6. Let j = c - d. Solve -j - 8 = 2*y for y.
-5
Let l = -7 - -11. Let q be 21 + 0 - (l + -3). Solve 0 = t + 3*t + q for t.
-5
Let z(c) be the third derivative of c**5/60 + 7*c**4/24 + c**3 - 4*c**2. Let t be z(-7). Solve 0 = 3*k - k + t for k.
-3
Let q be 59 - (0 - (5 + -2)). Suppose -4*f + 12 = 0, 4*r + 3*f - q - 27 = 0. Solve -4*a - r = -0*a for a.
-5
Let b(c) = 4*c + 1 - 2*c - c + 0*c. Let j be b(3). Solve i - j*i = 12 for i.
-4
Let u(q) = -q**2 - 11*q + 6. Let z be u(-11). Suppose -15 = -5*a, 2*a - z = -2*w - 0*a. Solve w = -v - 4 - 1 for v.
-5
Suppose 4*b - 6 = 2. Let w be b/8 + 183/(-12). Let v = -11 - w. Solve v = -3*h - 2 for h.
-2
Let a = 37 - 34. Solve -a*b + 0*b = 0 for b.
0
Suppose 2*x + 30 = -3*n + 6*n, -3*x - 9 = 0. Let m = 2 - -1. Solve m*v = n*v for v.
0
Let n = 35 + -59. Let i = n - -25. Suppose 0 = -5*t + t + 44. Solve 4*z = i + t for z.
3
Suppose -5*v = -25, 3*f + 3*v - 2*v = -13. Let c = -8 - -17. Let o = f + c. Solve -3 = o*m + 3 for m.
-2
Suppose -2*y - k - 1 + 4 = 0, 3*k = 3. Let o be 7 - 3*y/3. Solve 3*a - o = 5*a for a.
-3
Let q be 290/35 + (-2)/7. Let z = q + -2. Solve 2*a + z = -a for a.
-2
Let w(o) = -o - 5. Let z(j) = 2*j + 9. Let i(s) = s + 2. Let p be i(5). Let l(v) = p*w(v) + 3*z(v). Let y be l(-10). Solve x = 5 - y for x.
3
Suppose 0 = 5*y + 5*c + 5, 4*y + 5*c + 3 + 4 = 0. Solve y*w = 3*w for w.
0
Let u be -2 - (-2*3)/(-1). Let g = 8 + u. Let f be g/(-6) + (-6)/(-1). Solve -f - 6 = 4*x for x.
-3
Let a be 144/60 - 4/10. Solve a = -2*z + 10 for z.
4
Let p = 10 - 6. Let m = 9 - 0. Let z = -6 + m. Solve a + z = p*a for a.
1
Let k(h) = -h**3 + h**2 - h + 5. Let r be k(0). Let v = -7 + r. Let g be (v - (-2 - 0))*-1. Solve -2*f + g*f - 8 = 0 for f.
-4
Let i = 5 + -11. Let t = i + 9. Solve -t*p - 11 = -2 for p.
-3
Let q(m) = 2*m**2 + 2*m - 7. Let b be q(-3). Suppose b*y = 7*y. Let a be (10/(-8))/(2/(-8)). Solve y = 4*t + 11 + a for t.
-4
Let b be -4 - -2*1 - -49. Let t = -22 + b. Solve 3*l + t = -2*l for l.
-5
Suppose 3*l - 9 = -4*o, -o - 4*l = -6*o - 12. Solve -4*p + 4 + 8 = o for p.
3
Let c be 3*1 - 14/(-7). Let l = -2 + c. Solve l*s = -s for s.
0
Let n be (2 - (1 + 1))/(-2). Solve 0 = b - n*b - 4 for b.
4
Let d(o) = o**3 + 10*o**2 + 10*o + 11. Let r be (1*-6 - 3)*1. Let h be d(r). Suppose -g = 4*y - 15, h*y - 69 + 24 = -3*g. Solve 0*u + g = 5*u for u.
3
Let x(w) = w**2 + 7*w + 9. Let u be x(-6). Solve 4*s - s = -u for s.
-1
Suppose 2 = z - 4*i - 6, i = -z + 3. Suppose -5*m + 25 = 5*d, 5*m - z*d + 14 = -6. Solve -u + 5 - 2 = m for u.
3
Let p be (2 + -2)*(6 + -5). Solve -i - 2 + 0 = p for i.
-2
Let l = -37 - -42. Solve l*w = 5 - 0 for w.
1
Suppose -c = -0 - 2. Let g be c/(-4*(-1)/8). Solve 20 = -g*t - t for t.
-4
Suppose -2*v - 18 = -3*v. Let g = v + -10. Solve u + g = -u for u.
-4
Let v be (1 + -1)/(-2 + 1). Suppose -4*x = -v + 4. Let n be -2*((-1)/x)/(-1). Solve 2*b = 3*b - n for b.
2
Let u be 8/(-2)*(-4 + 3). Suppose 6 = 3*q - y, u*q - 5*q + 2*y + 2 = 0. Solve -x - 6 = q*x for x.
-2
Suppose 0 = -3*k - 15, 3 = -5*y - 4*k - 7. Solve y*z = z + 3 for z.
3
Let d = -1 + 4. Let u be 0 + (0/1)/d. Solve -2*j + 4 = -u for j.
2
Let p = 27 - 27. Let v = 5 - 3. Solve p = v*k + 2*k for k.
0
Let z(w) = 2*w + 2*w + 6*w**2 - 5 - 5*w**2. Let u be z(-5). Let v(i) = -i**2 + 7*i. Let c be v(7). Solve -4*f + c*f + 12 = u for f.
3
Let u be ((-6)/18)/((-2)/18). Suppose 20 = -u*p - 4*k, -5*p = -3*k - 8 - 7. Solve 1 = m - p*m for m.
1
Let p(n) = -n**3 + 2*n**2 + 2*n - 2. Let t be p(2). Suppose -t*r = r. Solve 0 = -r*v - v + 4 for v.
4
Let t = -1 - -3. Suppose -15 = 3*z, t*y = 3*z + 11 + 12. Solve -y = 5*o + 6 for o.
-2
Suppose 9*u = u + 16. Solve u*t = 4*t + 8 for t.
-4
Suppose 12 - 4 = j. Let d = j - -4. Solve -3*t - t = d for t.
-3
Suppose 0 = -3*d - 5*w + 11, -2*d + 0*w - 4*w + 4 = 0. Solve -m = -5*m + d for m.
3
Suppose 3*q + 6 = 4*o - 14, -4*q - 20 = -4*o. Solve -3*v - o = -2 for v.
-1
Suppose -7*p + 15*p - 8 = 0. Solve -p = -u - 2 for u.
-1
Let i be (-7)/(-4) - 3/4. Solve i = -2*b + 7 for b.
3
Suppose 2*d - 15 = -3*d. Let t be (1/d*0)/(-2). Suppose t*w = 3*w. Solve w = -2*u - 7 + 1 for u.
-3
Let j(c) = -2*c - 11. Let r be j(-9). Let h = 2 - r. Let n = 14 + h. Solve n = 4*o - o for o.
3
Let n be 27/21 - 4/14. Let y = 4 - n. Solve g = y*g + 10 for g.
-5
Let l = 26 - 3. Let i be 2 + (-14)/(-2) + -1. Solve -3*s + i - l = 0 for s.
-5
Let o(a) = 10 + 0*a + 0*a - 5*a + 4*a. Let q be o(5). Solve 0*z + 15 = q*z for z.
3
Let q = -18 - -18. Solve q = -5*t + 2*t + 9 for t.
3
Let o be (1/2)/(5/250). Suppose 3*m - o - 2 = 0. Suppose -2*s + m = s. Solve -2 = -s*x + x for x.
1
Let n(r) = r**3 - 11*r**2 + 9*r + 12. Let t be n(10). Solve -t*m = -0 - 2 for m.
1
Let l(x) = x. Let a be l(7). Suppose -4*s + 4*j = -12, -2 = -s + a*j - 5*j. Solve 5*c - c + s = 0 for c.
-1
Suppose h - 7 = -3*h + 3*b, b - 3 = 0. Suppose 3*s - h = s. Solve s = 3*y + 11 for y.
-3
Let a = 29 - -11. Suppose -5*i + a = -0*i. Let l be (i/(-3))/((-3)/9). Solve u + l = 3*u for u.
4
Let z = -16 + 19. Solve -a - 20 = z*a for a.
-5
Let d be 2*((5 - 10) + 9). Solve 4*g - d - 8 = 0 for g.
4
Let k(t) = -2*t**2 - 11*t - 1. Let g be k(-5). Solve -a = -0*a + g for a.
-4
Let d = -9 - -11. Suppose c = -d + 3. Solve 4*s - 15 = c for s.
4
Let j(b) = 3*b - 12. Let u be j(8). Suppose 3*p + 14 = 5*r + 3, -4*r + 19 = p. Solve -p*m + u = m for m.
3
Let a(i) = i**2 - i - 5. Let r be a(3). Let k be ((-12)/2)/(2/9). Let v be k/(-6)*2/3. Solve -r = v*x - 13 for x.
4
Let o = -25 - -35. Solve 4*u - 6*u = o for u.
-5
Let c be ((-16)/(-12))/((-2)/(-3)). Suppose 0*k - 6 = -c*k. Solve k*g = 8 + 4 for g.
4
Suppose 3*t + 2*b - 4*b - 15 = 0, -3*b = 0. Solve -2*x + t = -3 for x.
4
Suppose 11*n + 135 = 366. Solve -6 + n = 3*j for j.
5
Let a = 3 + -14. Let l(q) = q + 11. Let s be l(a). Solve 2*g + s = -8 for g.
-4
Let t(d) be the first derivative of d + d + d**2 - 5*d - 3. Let g be t(4). Solve -20 = n - g*n for n.
5
Suppose -2*b + 1 = -3. Suppose 0 = -b*f - 6, 5*w - 5*f + 6 - 36 = 0. Suppose -p = w*k + 2, 3*k = 5*p + 1 - 27. Solve p*l = 3*l for l.
0
Let d be ((-22)/(-4))/(-1)*4. Let h be (-12)/(-18) + d/(-3). Let j be h + (-2 - 4/(-2)). Solve j*a - 3*a = 25 for a.
5
Suppose -d + 4 = z - 1, -10 = -2*z + 2*d. Suppose 0*v + m = -2*v - 1, 0 = 2*v - 5*m - z. Solve v = -2*c - 2*c - 20 for c.
-5
Let j = 33 - 23. Let a = 1 - -5. Let y = j - a. Solve 0 = x + x - y for x.
2
Let i(u) = u**2 + 2*u - 3. Let c be i(-4). Suppose c*m = 2*m. Solve 5*b + 25 = -m*b for b.
-5
Suppose -2*r + 4*z + 16 = 0,