b be t(s). Suppose -3 = -2*y + b. Solve h + y = -1 for h.
-3
Let o(a) = -5 + 1 - 1 - 2*a. Let k be o(-5). Suppose k*p = 3*h + 26, -2*p - 2*h = 3*h + 2. Solve 0 = p*i - 3*i for i.
0
Suppose 0*n + 51 = 3*n. Suppose -n + 8 = -3*t. Solve t*p = -0*p - 9 for p.
-3
Suppose 2*p - 5*s - 10 = -1, -s = -1. Solve p*q = 3*q + 8 for q.
2
Suppose y + 16 = -3*y. Let g be (-2 + (-8)/y)*1. Solve g = -0*n - 3*n for n.
0
Let g(i) = -i + 11. Let w be g(8). Solve -w + 2 = -d for d.
1
Suppose 3*f - 5*m + m = 4, 2*m = f. Solve 5*t - 3 = f*t for t.
3
Let m be 0 + 5 - (0 + 2). Let a = -4 + 12. Solve -7*t + m*t = a for t.
-2
Suppose 7*o = 4*r + 3*o - 12, 0 = 5*r + 3*o - 31. Let u = 13 - 8. Suppose t + 3*t + 8 = -2*l, -u*t - 5 = r*l. Solve 3*x = l*x + 2 for x.
2
Suppose 4*h - 3*p + 5 = 20, 25 = -5*p. Solve h = 4*d - 5*d + 3 for d.
3
Suppose 2*a - a + 6 = 0. Let c be (12/a)/((-2)/(-3)). Let q be 5 + 2/(-4 - c). Solve -q*i = -i for i.
0
Suppose -4*s + 3*s = -22. Suppose h + s = -5*p, 3*p + 7 + 14 = 2*h. Let q = h - 1. Solve -q*b - 2 + 0 = 0 for b.
-1
Suppose 5*n = -14 + 89. Let f be (-5)/(n/(-24)) - 2. Solve -w + f = w for w.
3
Let z(p) = -p**3 - p**2. Let i(l) = -l**2 - 5*l - 6. Let d be i(-4). Let o be z(d). Solve -o + 1 = -3*b for b.
1
Let b = -32 - -11. Let v = 22 + b. Solve -q + 0 + v = 0 for q.
1
Suppose -2 = q - 8. Let g(y) = y**2 - 5*y - 6. Let w be g(q). Solve w = -t - 6 + 1 for t.
-5
Suppose 0 = -4*g - 267 + 287. Let s(r) = r + 1. Let v be s(-1). Solve v = g*o + 27 - 12 for o.
-3
Suppose -t = 2*t + 6. Let x be t + (26 + 1)*1. Solve 8*a = 3*a - x for a.
-5
Suppose -4*c = -4 - 8. Let k be c*8*3/18. Suppose 3*v - 29 = -k*h, 5*h = -3*v + 3*h + 19. Solve -r + 12 = v*r for r.
3
Let v = -6 - -8. Solve 0 = c - 2*c + v for c.
2
Suppose 4*j - 42 - 6 = 0. Suppose 3*b + 4*v - j = 6*v, 0 = 5*v - 15. Let x = -5 - -5. Solve -3*n = -x - b for n.
2
Suppose -9 = 5*j + 36. Let v = j - -11. Solve -v*t = -t for t.
0
Suppose 0 = 4*u - u - 24. Let i be (1 + -2)*-1*u. Let k be (-174)/(-10) + i/(-20). Solve -k = -4*r - 5 for r.
3
Let b(d) = -d**3 + 6*d**2 - 5*d + 2. Let o be b(5). Suppose 5*j + 2 = -4*q, 0 = j + q - o*q - 5. Solve 4*n = j*n - 2 for n.
-1
Let n be 6/4*(-32)/(-24). Solve n*v = -v for v.
0
Let w be 14/4 + (-34)/68. Solve 2*m - w*m = -5 for m.
5
Suppose -5 = -2*h - 3. Let r be 6/8 + h/4. Let q be 3 - (1 - 0)*r. Solve q*w + 2*w = 4 for w.
1
Let t(p) = -p - 1. Suppose 5*v + 18 + 22 = 5*s, 3*v = -3*s. Let k be t(v). Suppose -28 = 10*w - 24*w. Solve k*b - w = b for b.
1
Let h(j) = j - 18. Let g be h(24). Solve -g*u + 5 = -u for u.
1
Let r(f) = 6*f. Let o be r(3). Suppose -4*g - o = q, -2*q - 3*q - 15 = 5*g. Let t = q + -2. Solve m = -1 - t for m.
-1
Let m be (-6)/(-3)*-1*(2 - 4). Solve -m*d - d + 5 = 0 for d.
1
Let c = -1 + 0. Let b be (-2*(-15)/(-6))/c. Let z = -10 + 24. Solve b*r = -11 - z for r.
-5
Let l(o) = 2*o - 7. Let c be l(6). Let t = -3 + c. Solve 0 = -3*z - 5 + t for z.
-1
Let c be (10 + -6)*((-6)/(-3) - 1). Let o(n) = 2*n - 3. Let d be o(5). Solve d*x = c*x + 9 for x.
3
Suppose -t - 3*t + 8 = 0. Let a = -1 - t. Let u = a - -3. Solve -2*p - 3*p + 15 = u for p.
3
Let a(d) = -d - 10. Let u be a(-15). Solve -1 = -3*p + u for p.
2
Suppose -5*h + 30 = -5. Let y = h + -7. Let n = 7 - 5. Solve n = -p - y*p for p.
-2
Let m be (-5 + -1)*(-1)/2. Suppose 0*q + 5*q = -3*h + 10, 4*q - 8 = -4*h. Solve -m = q*g - g for g.
-3
Let t(b) = -6*b - 14. Let d be t(-5). Solve -d + 12 = -2*p for p.
2
Let j be -4 - -4 - (-3 + 1 + -6). Solve -7*z + 9*z - j = 0 for z.
4
Let a = -18 - -20. Solve 0 = -a*x + 2 + 6 for x.
4
Suppose -4*k - 37 = -53. Solve -3*v + v + k = 0 for v.
2
Let p = -4 + 7. Let m(h) = h**3 + 3*h**2 - 2*h + 2. Let i be m(-3). Suppose 3*l + 12 = p*o, -o + 3*l = -i - 0. Solve o*n - n + 4 = 0 for n.
-4
Suppose 4*l + 5*h - 2 = 5*l, h + 14 = 5*l. Solve 2 = d - l*d for d.
-1
Let n = -26 - -28. Let a(f) = -f**3 + f**2 + 2*f. Let u be a(n). Solve -3*d + 0*d - 6 = u for d.
-2
Let u(o) = 8*o + 1. Let r be u(1). Suppose 1 = -2*d + r. Suppose -4*f = -27 - 21. Solve f = -0*l - d*l for l.
-3
Let q(t) = t**3 + 4*t**2 - 7*t - 7. Let h be q(-5). Let r be (4 - h)*1 - 1. Solve r = -x - 0*x + 3 for x.
3
Let d = -1 + 3. Suppose -40 = -2*q - d. Solve -5*z = q + 1 for z.
-4
Let a(u) = -u**3 + 6*u**2 + 9*u - 10. Let j be a(7). Solve -o = -0 - j for o.
4
Suppose -2*s + 12 = 4. Solve -s = 3*g - 19 for g.
5
Let n be (-4)/(-7) + 50/35. Solve 5*m = n*m + 9 for m.
3
Let r(o) = -o**2 + 4*o + 7. Let t(c) be the first derivative of c**2/2 - c + 2. Let v be t(6). Let y be r(v). Solve -2*j - y*j = 8 for j.
-2
Let q be -2*1 - 4/(-2). Suppose 4 + 4 = 4*b - 2*v, -5*b + 3*v + 9 = q. Solve 0 = b*t - 7*t for t.
0
Suppose 5*y + 4*f - 9 = 0, -f - 4*f = 5*y - 10. Solve -2 - y = -u for u.
3
Let v be -2 - ((-4 - -2) + -1). Solve 0 = c + v - 2 for c.
1
Suppose 9*q - 527 = -8*q. Solve -5*k + 11 - q = 0 for k.
-4
Let f(z) = z**3 - 4*z**2 + z - 2. Let l be f(4). Solve l*w - 7*w + 15 = 0 for w.
3
Suppose 5*u + 3 = 2*u - 5*i, -4*i = 12. Suppose -3*j + c - 14 = 0, -5*j = -3*c + 14 + u. Let t be ((-8)/j)/((-2)/(-18)). Solve 0*k - t = 4*k for k.
-3
Let p be (-3)/6 + 3/(-2). Let c(a) = -a**3 - a**2 + 3*a + 2. Let n be c(p). Solve n*r = -r - 2 for r.
-2
Let i be (-4)/(-4) - (-1)/(-1). Suppose i*h = 5*h - 25. Suppose 5 = -s - 2*m, 0*s + 23 = s - h*m. Solve -s*l = -7 - 8 for l.
5
Suppose 2*q - d - 3*d = 14, -q + 1 = d. Let f be (4/q)/(6/18). Solve 0 = j + j + f for j.
-2
Suppose w = 6*w. Let u be (-6)/15 + (-4)/(-10). Suppose -2*x - 12 = -3*z, 5*z + 5*x = 20 - u. Solve w = -g - g - z for g.
-2
Let f(d) = -13*d**2 + d + 23. Let y(z) = 7*z**2 - 12. Let c(a) = 6*f(a) + 11*y(a). Let t be c(6). Solve -2*g + t = -2 for g.
4
Suppose -4*p + 4*f + 8 = 0, 5*p + f = 11 + 17. Suppose -2*d = 3*q + q, -d = 4*q - 4. Solve q*s - p = s for s.
5
Let q = -16 - -20. Solve 0 = q*y + 5 - 1 for y.
-1
Let c(h) = 20*h**2 + 35*h + 26. Let g(n) = -7*n**2 - 12*n - 9. Let a(i) = 6*c(i) + 17*g(i). Let f be a(-7). Let p be 4/f - 4/10. Solve w - 3*w + 6 = p for w.
3
Suppose 0*k = -k. Let o(n) = n**3 + 7*n**2 - 9*n - 4. Let z be o(-8). Solve k = -b - z*b for b.
0
Suppose -5 = 2*h + 5. Let p be 0/(-3)*h/10. Solve 5*r = -p*r + 5 for r.
1
Let z be 65/(-7) - (-8)/28. Let q = 8 + z. Let r be (-10)/10 - 1*q. Solve -5*x + 6*x + 3 = r for x.
-3
Let o(w) = 3 - 1 - w + 3. Let b be o(5). Solve -v = -b*v + 5 for v.
-5
Let f be 3 + -2 - (-4 + 5). Solve f = 3*d - 0*d + 6 for d.
-2
Let f be 2/7 - 2/7. Let o be 8/(-1)*(-4 + 3). Let z = o + -2. Solve f = -5*a - z + 26 for a.
4
Suppose -14 = 5*n + 6, -2*s - 10 = 5*n. Let d be ((-4)/(-14))/(s/35). Let j = 20 - 10. Solve j = 3*f + d*f for f.
2
Let m = -9 - -28. Suppose g = k + 4*k - 7, -5*g - 2*k = -m. Suppose -9 = x - 4*x. Solve -x = 3*b + g for b.
-2
Let z(q) be the third derivative of -q**5/60 - 5*q**4/24 - 2*q**2. Let b be z(-4). Solve 0 = b*g - 2*g + 10 for g.
-5
Let s be 3 - 1 - (1 - 0). Let x be (s + 0)*(2 - -1). Solve q = -6 + x for q.
-3
Let s = 12 - 10. Let x be (s + -3)/(2/(-8)). Solve x = 2*z + 2 for z.
1
Suppose -4*j = -s - 11, -3 = -j + 4*s - 4. Solve 0 = -j*x + 5*x + 10 for x.
-5
Let h = 3 - 1. Suppose n + 1 = -5*b, 5*b + h*n + 1 = -1. Suppose 2*w + 2 - 6 = b. Solve -2 - w = 2*g for g.
-2
Let w be 2*2/4 - -12. Suppose -4*n = 5 - w. Let h(o) = o**2 + 6*o + 2. Let v be h(-6). Solve v*a = -n*a + 4 for a.
1
Let n = 16 + -14. Solve 3 = n*u + 5 for u.
-1
Suppose 2*m + m + w + 12 = 0, -m - 4 = 4*w. Let o be 24/14 - m/14. Suppose -2*z - o*z = -12. Solve -12 - z = 5*l for l.
-3
Let r(c) be the first derivative of 2*c**3/3 + 3*c**2/2 + c - 1. Let k(q) = q**3 - 10*q**2 + 18*q - 19. Let s be k(8). Let u be r(s). Solve -m = m + u for m.
-5
Let y = -44 + 44. Solve 5*n + 20 = -y*n for n.
-4
Let j(i) = -i**3 + i**2 + 2. Let r be j(0). Solve 0 = -3*p - r*p + 25 for p.
5
Suppose -2*n = 2*j + 8, 2*j = -3*j + 2*n + 15. Let u be -2*j/4*0. Let v be 2 - ((u - 0) + -1). Solve -v*s - s = 0 for s.
0
Let m = 9 + -5. Let t = -15 + 18. Solve w - m = -t*w for w.
1
Suppose -2*r + 15 = -5*r. Let h be (-2)/(r/(-4) - 1). Let v be h/44 + 13/11. Solve -a + 0 = v for a.
-1
Suppose 3*l - 2*z + 14 = 4*l, -5*z + 9 = -4*l. Solve -l*q = q for q.
0
Let m = -21 + 21. Solve j + m*j = 2 for j.
2
Let c = 54 - 51. Suppose 5*d - 22 = -0*x - 2*x, 5 = 2*d - 3*x. Solve