-5*y - d = -0 for y.
-2
Suppose -5*i + 3 = -2*t, t - 5*i + 6 = 2. Let g(r) = -r**3 + 2*r**2 - 1. Let l be g(t). Solve l*s = 4*s for s.
0
Let m(p) = -p**3 - 6*p**2 + 6*p - 3. Suppose 2*f = -0*f - 14. Let z be m(f). Suppose -4*n + z = -2*n. Solve -n = 4*r - 5*r for r.
2
Suppose -3*k = 5*l - 34 + 5, l - 16 = -4*k. Let m(f) be the second derivative of f**4/12 - 2*f**3/3 + f**2 - f. Let n be m(l). Solve -6 = -n*b - b for b.
2
Let j = 11 + -11. Let s(y) = -8*y**2 + 14*y - 11. Let o(u) = 3*u**2 - 5*u + 4. Let w(k) = 11*o(k) + 4*s(k). Let l be w(0). Solve j = -q - l + 2 for q.
2
Suppose 4*f = 9*f. Suppose f = 2*n - 13 - 27. Solve 6*o = 2*o + n for o.
5
Suppose 2*b - 48 = -6*b. Solve 4*l + b = -2 for l.
-2
Let v(l) = -l + 9. Let y be v(9). Suppose y*t + 20 = 4*t. Suppose 26 = s + 4*m, s - t*m + 50 = 4*s. Solve x = -x - s for x.
-5
Let v(q) = 4*q - 4. Let o be v(3). Solve o*j = 4*j - 16 for j.
-4
Let g(f) = -f**3 - f**2 + 3. Let d be 2/2 + 2/1. Let l = -3 + d. Let w be g(l). Solve w*z + z = -16 for z.
-4
Suppose 3*u - 10 = -2*u. Suppose o = -o - u. Let z = 1 - o. Solve -l = z*l for l.
0
Suppose 2*v - 8 = 2*u, 0 = -4*u + v + 4 - 20. Let x be (-1 - (2 + u))*0. Solve -f = -x*f - 1 for f.
1
Let m(g) = -g + 1. Let w(d) = d**2 + 8*d - 12. Let a be w(-9). Let p be m(a). Solve 12 + p = -4*o for o.
-4
Let w be 2 - (6 + -3) - -4. Solve -j = w*j - 20 for j.
5
Let q be (-6)/(-3)*3/(-2). Let g = 6 + q. Solve 0 = g*z - z for z.
0
Let l be (-3)/9 + 16/3. Let f be ((-12)/(-10))/(1/l). Solve -f*r = -r + 10 for r.
-2
Let h(t) = -3*t + t + 4*t. Let x be h(2). Solve 2*w - 4 = x for w.
4
Let t = 14 + -7. Suppose i - 3 = -t. Let g = i + 4. Solve g = 5*v - 2 + 27 for v.
-5
Let p be 4/8*-6 + 3. Let t(d) = d**3 - d**2 + d + 4. Let n be t(p). Solve n = -4*s - 0 for s.
-1
Let t be (-21)/(-2)*(-12)/9. Let o = 14 + t. Solve o = -4*f + 7 + 5 for f.
3
Suppose -3*k - k = 3*u - 26, -24 = -2*k + 4*u. Let c = -16 + k. Let n = 11 + c. Solve 13 = -4*a - n for a.
-4
Let x be (-2)/4*-8*(0 - -1). Solve 0 = -2*h - 2*h - x for h.
-1
Let a be (6/(-10))/(6/(-30)). Let k be (-6)/9*6/(-4). Let r = k + a. Solve -r*p + 3*p = 3 for p.
-3
Suppose 0 = -4*c + 27 + 5. Solve c*s = 4*s + 4 for s.
1
Suppose 0 = -a - 4*a + 4*m + 5, 2*a + 16 = -2*m. Let o be (-6)/(((-18)/(-4))/a). Suppose -4*r + 2*y + 121 = r, y - 102 = -o*r. Solve -3*n = 2*n + r for n.
-5
Suppose h = 3*h - 2. Let m be (1 - h) + (-48)/(-4). Suppose -5*k + m = 3*c - 16, -k + 2 = 0. Solve c - 2 = 4*w for w.
1
Let i be 29 - (-9)/6*2. Let p be ((-3)/(-6))/(4/i). Solve -p = -0*o + 4*o for o.
-1
Let l(n) = 7*n - 5. Let h be l(2). Solve o + h = 4*o for o.
3
Let f = 12 - 7. Let s be 8/24 + f/3. Solve 5*y - 8 = s for y.
2
Let g = -8 - -23. Let o be (-1)/(12/g - 1). Solve 2 = 3*p - o*p for p.
-1
Let o(a) = 17 + 4 + a**3 + 15*a - 10 - 6*a + 9*a**2. Let j be o(-8). Suppose -4*f - 2*y + 13 - 3 = 0, 0 = j*f - y - 10. Solve 9 = f*w - 0 for w.
3
Let a(p) = -2*p - 2. Let s be a(-2). Suppose 7*c - 12*c = -30. Solve -s*l + c + 2 = 0 for l.
4
Let g(k) = -k - 5. Let a be g(-5). Let w(v) be the second derivative of -v**4/12 - v**3/2 + 3*v**2/2 + v. Let q be w(-3). Solve 0 = m - a*m - q for m.
3
Let y be 16/12 + 6/9. Solve 7*u = y*u - 20 for u.
-4
Let r = 2 + 4. Let u be (15/(-1))/((-9)/r). Let i be u*(-3)/((-45)/12). Solve 2*p = -i + 4 for p.
-2
Let u be (-5 + 2 + 0)*-1. Solve -1 + u = -2*z for z.
-1
Let b(z) = -z**3 + 8*z**2 + 8*z + 5. Let h be b(9). Let p be 1 + (-3)/6*h. Solve 0*r - 6 = -p*r for r.
2
Let n(g) = g**3 - 2*g**2 + 3. Let d be n(2). Solve d*y = 4*y - 3 for y.
3
Let r(j) = 3*j**2 - 1. Let u be r(2). Suppose 3 = -2*w + u. Let a be (6/3)/1 + 2. Solve w = -a*n - 0 for n.
-1
Let a = -3 - -5. Suppose 0 = a*i - i - 1. Let b be 2 + i/1*3. Solve b = -r + 3 for r.
-2
Let l = 2 + -2. Suppose k + 4*j + 10 = l, 0 = 2*j - 0 + 6. Let d be 50/((-4 + k)*-1). Solve 0 = 3*s + d - 10 for s.
-5
Let q(w) = 3*w - 6. Let m be 20/6 - (-6)/9. Let s be q(m). Let x = 10 - 7. Solve s*u = x*u for u.
0
Let w = -3 - 2. Let d = -5 - w. Suppose 2*q + 0*q - 4 = d. Solve 0 = q*f - 2 - 4 for f.
3
Suppose 0*k + 5*k = 3*t - 325, -4*k - 247 = -5*t. Let x be k/(-18) - 6/(-27). Solve x*a + 9 = 29 for a.
5
Let j(y) = y**3 + 6*y**2 + 3*y - 8. Let i be j(-5). Suppose 8 = 2*v, -8*k + 3*k + 42 = -i*v. Solve -3*d + d = k for d.
-5
Suppose 1 - 13 = -4*d. Solve 2*x - d = -9 for x.
-3
Let t = -12 + 14. Suppose -2*n - n = -i - 1, -t*i + 9 = 5*n. Solve -f + 2 = -i*f for f.
-2
Let f(u) = u**2 + 2*u - 2. Let z be f(-2). Let j be 18/z*(-2)/6. Solve -j*b + 0 = -3 for b.
1
Suppose 0 = -69*s + 72*s. Solve 2*f + s = -4 for f.
-2
Let s = -24 + 37. Solve 0 = -5*r - s + 38 for r.
5
Let s = 2 + 3. Suppose -q = s*a - 60, -3*q - 2*a - a = -156. Suppose 5*y - q = -10. Solve 0 = 3*g + 1 + y for g.
-3
Suppose -g = 5*g - 18. Let x be (2 - (-27)/(-6))*-2. Suppose 0 = -9*s + 4*s + 30. Solve -s*u = -x*u - g for u.
3
Let m(k) = k + 5. Let y be m(-5). Suppose y*o = -5*o. Solve o = 6*s - 2*s for s.
0
Suppose q = 4*t - 3*q - 52, 0 = -2*t - 3*q + 11. Let o = 2 + 12. Let f be 21/o*8/3. Solve u + f*u = t for u.
2
Suppose -2*q + 10 = 2. Suppose q*m = 5*m - 1. Solve -2*w = m + 1 for w.
-1
Let d be (-38)/(-4) + (-3)/(-6). Suppose -3*w = -4*s + 3*s + 11, -2*s + d = -2*w. Let k be (-1)/3 + (-1)/w. Solve k = -2*r - r + 3 for r.
1
Let n = 11 + -8. Suppose 0 = -2*u + n*z + 1, -5*u = -4*z - 6. Suppose 0 = 3*r + 15, -6 = l + 3*r - r. Solve -l*k + 4 = -u*k for k.
2
Let d(u) = u**2 + 5*u + 3. Let k be d(-3). Let r be (0/k)/(1 + 0). Solve r = -4*z - 0*z for z.
0
Let k be 0 - (3 - 1) - -4. Suppose 1 = -2*p - k*x + 5, -p = 4*x - 8. Solve -r + p = 2 for r.
-2
Let s be 36/((-4)/2) - 0. Let o = 18 + s. Solve w - 3 = -o for w.
3
Let l(u) = -u**3 - 4*u**2 - 2*u - 5. Let d be (-3)/(-1 + -2)*4. Suppose 5*q + d = -1, -s - 4*q = 8. Let a be l(s). Solve 0 = a*v - v - 8 for v.
4
Suppose a + 7 - 6 = 0. Let m(o) = -11*o**3 - 2*o**2 - 2*o - 1. Let n be m(a). Solve 0*d - 5*d + n = 0 for d.
2
Suppose 0 = -0*k + 3*k - 9. Let m be k/3*3 + 2. Suppose -w - 1 = -4*z - 2, w = -m*z + 1. Solve 5*n + z*n = 0 for n.
0
Let z(j) = j**3 - 2*j**2 + 4*j - 3. Let i = -5 + 7. Let p be z(i). Solve -4*b + p = b for b.
1
Suppose -5*y + 19 - 4 = -5*v, -4*y = 5*v + 15. Solve y = -3*m - 5 + 20 for m.
5
Let s = -9 - -14. Solve s*x = x - 8 for x.
-2
Suppose -2*h = -4*h + 4. Suppose -6 = -h*a + 4. Suppose -d + 3*f + 8 = -0*d, -a*d - 3*f = -22. Solve -s = -d*s - 8 for s.
-2
Let j = 96 + -57. Let n = j - 23. Solve 9 = 5*c - n for c.
5
Let r(b) = b**3 + 12*b**2 - 13*b + 5. Suppose 0*j = 5*j + 65. Let t be r(j). Solve -t*f = -2*f + 15 for f.
-5
Let f(y) be the third derivative of y**5/60 - 5*y**4/24 - y**3/3 + 3*y**2. Let p be f(7). Solve -2 = 2*r - p for r.
5
Suppose 2*v + 4 = -2*j + v, j - 4 = v. Solve j = -3*x + 2*x - 3 for x.
-3
Let r(g) = g**3 - 3*g**2 + 2*g - 2. Let l be r(3). Solve 2*a + 6 = -l for a.
-5
Let v = 6 + -8. Let f be (2/v)/(3/(-9)). Let b = f - -2. Solve -2*j = 3*j + b for j.
-1
Let q(k) = k**3 - 5*k**2 + k - 5. Let f(y) = -3*y**3 + 15*y**2 - 3*y + 15. Let d(u) = 2*f(u) + 7*q(u). Let i be d(5). Solve i - 2 = -s for s.
2
Suppose -3*n - v + 3*v + 2 = 0, 0 = 3*n - 3*v + 3. Solve 2*w - n*w = 0 for w.
0
Let y(k) = -k. Suppose -6 = d - 1, -5*j = -d - 20. Let h = j - 3. Let v be y(h). Solve v*b = 4*b for b.
0
Let p(i) be the first derivative of -i**2/2 + 13*i - 1. Let u be p(9). Solve u = -x + 2*x for x.
4
Let d be -1 - (-3)/2*4. Let p = -7 + -1. Let y = 11 + p. Solve y = -d*b - 2 for b.
-1
Suppose 0*k - 4 = -4*k + 4*z, -5*k + 2*z + 8 = 0. Suppose k*r - r = 2. Solve -1 = r*q + 3 for q.
-2
Suppose 16 = 4*y - 0. Solve y - 1 = -v for v.
-3
Suppose 0 = -4*v - 3*f + 5 + 6, 2*v - 1 = 3*f. Suppose 3*m - 5 = -v*m. Let s be -4 + 4 + 2*m. Solve -d = -s*d for d.
0
Suppose -4*a = -20, b + 5*a - 46 = -2*b. Let q = -11 + b. Let f = q + 6. Solve 5*j - 18 - f = 0 for j.
4
Suppose 1 = q + 5*r + 23, 2*q - 2*r = 16. Suppose -5*h + 5*g + 5 = 0, 3*g = -5*h - 0*g + 45. Solve q*i + 0*i = -h for i.
-2
Suppose 2*y + n - 88 = 0, -2*y = 3*n - 54 - 38. Suppose -4*c - 17 + 4 = -b, -4*b = 3*c - 71. Suppose b + y = 4*t. Solve -t = 3*z + 2*z for z.
-3
Let c be (1 - -1) + 8/(-2). Let i be (c - -2) + 3*1. Solve -z = i*z for z.
0
Let y(b) = -2*b - 19. Let c be y(-19). Solve -4*d - 1 = c for d.
-5
Let u be 