 + 3*m. Let t be z(2). Let r = 0 + t. Solve r*d = -2*d + 2 for d.
1
Let d = -9 + 13. Suppose -2*s + 2 = r + s, -4*r + d*s + 8 = 0. Solve -3*h + r = -4 for h.
2
Let w be 10/(-15) + 94/6. Solve w = -i + 6*i for i.
3
Suppose -4*c - 2*s = -0 - 4, -4*c + 3*s - 6 = 0. Suppose -4 = 2*i, 2*h + c = 3*i + 14. Solve 2*j + h = 2 for j.
-1
Let j be ((-8)/(-6))/((-1)/(-3)). Suppose 3*x + j*f = 2*x - 8, 3*x + 2*f = -4. Solve 3*r + 2*r + 20 = x for r.
-4
Let j(d) = -4*d**3 - 2*d**2 + 2*d - 1. Let k be j(1). Suppose 0 = -0*q + 2*q + 6. Let r be q - k/((-15)/(-24)). Solve 6 = -r*s - 9 for s.
-3
Let j = 24 - 19. Solve j*h + 18 = 3 for h.
-3
Let o(j) = j - 6*j + j - 2. Let f be o(-2). Suppose 5*q - 4 = f. Solve -u + q = 6 for u.
-4
Let a = 27 + -24. Solve -a*j = -5*j for j.
0
Suppose 2*a + 4 = -2*a. Let l = a + 6. Suppose 5*v + 3*j = 35, 2*j - 25 = -v + l*j. Solve -6*s - v = -11*s for s.
2
Suppose 0 = 3*p - 12, -q - 3*p + 6 = -10. Suppose q*w + 3*f = 16, -2*w + w = -f - 4. Solve 3 = -b + w*b for b.
1
Let n be (-9)/6*(-56)/12. Solve -n*z = -2*z for z.
0
Suppose -3 = -u - 2*z - 1, 0 = 5*z + 25. Let r = u - 7. Suppose -3*n = r*f - 13, -4*f + 0 + 7 = -n. Solve 13 = 3*b + n for b.
4
Let z be (1/2)/((-2)/(-24)). Solve -z*p - 4 - 20 = 0 for p.
-4
Suppose 2*n = 3*n - 10. Suppose 0*o = -5*o + n. Solve -o*y + 5 - 13 = 0 for y.
-4
Let r be 5/(-4)*(-2 - 2). Let o = r + 0. Solve -4*q + o + 3 = 0 for q.
2
Let t = 11 + -9. Solve -4 = -t*b + 6*b for b.
-1
Let k(a) = -a**3 - 15*a**2 + 3. Let p be k(-15). Suppose 7 = 3*f - 4*s - 8, 3*f - 30 = -s. Solve 0*h = p*h - f for h.
3
Suppose 2*g = -g. Suppose 0 = -g*f - 2*f. Suppose 60 = 10*u - 5*u. Solve f*x - 3*x - u = 0 for x.
-4
Suppose y + 0*y - 3 = 0. Solve -7 = y*a - 19 for a.
4
Let f(i) = i**2 - 11*i + 11. Let k be f(10). Solve -2*h + h = k for h.
-1
Let f be 2/(-8) + (-20)/(-16). Let k(z) = 3*z - 1. Let j be k(f). Solve 0 = -0*s + j*s - 6 for s.
3
Let w = -5 + 9. Suppose 29 = w*j - 19. Suppose 4*l - 22 = -6. Solve 0*b = -l*b - j for b.
-3
Let i(h) = -h**2 - 3*h + 11. Let b be i(-5). Solve s + 4 - b = 0 for s.
-3
Let k be (-2 - -1)/(2/(-10)). Suppose 5*p + 2*a = 252, -k*p - 3*a + 276 = -7*a. Let r be p/14 + 4/14. Solve -f + 25 = r*f for f.
5
Let j(k) = -k**3 - k**2 - k + 2. Let p be (3 + -6 - -3)/1. Let i be j(p). Solve i*x - 3 = -1 for x.
1
Suppose 2*r - 2*p = 8, -r - 5*p - 12 = 2*r. Suppose -m + 3 - r = 0. Solve -m = -0*d + d for d.
-2
Let j be (-1)/(-1) - (-2 + 0). Suppose -12*s + 11*s = -j. Solve 0 = -5*b + s + 2 for b.
1
Suppose 0*b + 4*b = -j + 16, 2*j = 2*b - 8. Let n be 4/(-14)*(-91)/13. Suppose -4*w + n = -6. Solve -w*y = -3*y + b for y.
4
Let y(a) = -4*a + 6. Let g be y(1). Solve g*h = 2 - 0 for h.
1
Suppose 14 - 6 = 2*m. Solve l = m*l for l.
0
Suppose 0*u - 3*h = -5*u + 64, -3*u + h = -36. Let m be -1*1*(-1 - 0). Solve m = -3*q - u for q.
-4
Suppose -13 = -c + 2*c + 4*j, 3*j + 27 = 5*c. Let d(q) = q**2 + 3 - 8*q**2 - q**c - q + 9*q. Let p be d(-8). Solve 1 + 11 = p*a for a.
4
Suppose l = -0*l - 5. Let z be l + (6/2 - 0). Let i be (-2 + z)*1/(-2). Solve -a + 4 = i for a.
2
Suppose -5*h + 4*a = 3*a - 2, -h = a + 2. Let m = 2 - 0. Solve h = m*y + 3*y for y.
0
Let t(y) = -8*y + 80. Let n be t(10). Solve n*j = -4*j for j.
0
Let r = -120 - -121. Solve -k - 4 = r for k.
-5
Suppose -3*n - 2*l - l = -12, -3*l + 18 = 5*n. Solve -n = -4*f - 23 for f.
-5
Suppose 2*i - 5*m = -12, m = -2*i - m - 12. Let s = i - -3. Let r be (-13)/s + 2/(-6). Solve 0*j = r*j + 12 for j.
-3
Let t = -4 - -6. Solve 6*b = t*b + 8 for b.
2
Let r be (0/1)/(-4) + 4. Let b(v) = v**3 - 2*v**2 - v - 3. Let k be b(r). Solve -d - 4*d + k = 0 for d.
5
Suppose 2*o + 4 = 4*c, 4*o + c = -6 + 16. Let t(a) = -4 - 4*a + o*a - 2. Let d be t(-5). Solve d*f = 8 + 8 for f.
4
Let f = -20 - -24. Solve 6*a = 2*a + f for a.
1
Let r = 0 - 0. Let u = -20 - -23. Suppose -u*k = 2*k - 20. Solve z - k + r = 0 for z.
4
Suppose 2*x - 10 = y - 36, -4*y + 107 = -5*x. Let p be y/4 + 1 + -4. Let q = 3 - 0. Solve g + p - q = 0 for g.
-1
Suppose 1 = -2*t + 9. Let o(z) = -z + 0 - 5 + 3. Let x be o(-6). Solve -x*c + 20 = t for c.
4
Let g(q) be the first derivative of q**4/6 + q**2/2 - 3*q - 2. Let l(d) be the first derivative of g(d). Let n be l(1). Solve n*y - 4*y = 5 for y.
-5
Suppose 5*p + 307 - 82 = 0. Let a be p/54*(-6 + 0). Solve -6 = a*d - 1 for d.
-1
Let t(l) = l**3 + 2*l**2 + 4*l + 3. Let k be t(-2). Let d be (-1)/(4/k - -1). Let n be d/(-30) + 58/12. Solve 3 = n*s - 12 for s.
3
Suppose -2*l - 3*l = -90. Let r be 9/l*(9 + -1). Suppose -5*x + 1 + 1 = -4*i, -x + 4*i - 6 = 0. Solve -6 = x*z - r*z for z.
3
Suppose -2*k + 5*k = 0. Suppose -s = -v + 3, 0*v + 2*v - 4*s = k. Let j be (-6)/4*(-20)/v. Solve -3 = -4*q + j for q.
2
Suppose -4*a + 0*a = 0. Suppose a*t - 18 = -3*t. Solve -2*s - t = s for s.
-2
Let s(y) = 5*y + 1. Let i be s(1). Let g(a) = -a + 8. Let m be g(i). Solve 0*p + 6 = -m*p for p.
-3
Let y(d) = -d**2 + 13*d + 14. Let a be y(14). Solve a*c = -3*c for c.
0
Suppose -5*u + 5 + 5 = 3*t, -2*t + 6 = 3*u. Solve -4*i + u = 10 for i.
-2
Suppose -3*g + 5*g = -10. Let z be 2/g + (-32)/(-5). Suppose z + 6 = 4*f. Solve 0 = -f*r - r + 12 for r.
3
Let j = -68 + 70. Let x(z) = -z**2 + 4*z - 4. Let l(w) = -w + 1. Let r(y) = -4*l(y) - x(y). Let d be r(j). Solve -i = -1 - d for i.
5
Suppose -5*x = 3*a - 16, 6*a + 8 = 5*x + 5*a. Let u = 3 - 1. Solve u + 0 = -x*c for c.
-1
Let v be 69/9 - 4/6. Let w(b) be the third derivative of b**4/24 - b**3/3 + b**2. Let m be w(v). Solve -y = -m*y - 20 for y.
-5
Suppose 22 = 4*d + 2*v, -v = -4*d + 2*v - 3. Suppose 10*l - 11*l = -3. Suppose -d - 6 = -l*u. Solve 0*j = -u*j + 12 for j.
4
Let k = -61 + 61. Solve 9*u - 4*u - 5 = k for u.
1
Let x(k) = -2*k - 2. Let y be x(-2). Solve 3 = s + y for s.
1
Let j(g) = -g**3 + 7*g**2 - 2. Let q be j(7). Let m = q - -6. Solve m = -2*b - 0*b for b.
-2
Let n be 19/7 - 2/(-7). Suppose n*x = 6*x. Solve 2*w - w = x for w.
0
Let t(q) = -q**3 + 6*q**2 - 3*q + 3. Let w be t(6). Let n = -9 - w. Solve -2*i = i + n for i.
-2
Suppose -4*v = -3*t, 3*t = -2*v + t. Solve v*g + 25 = -5*g for g.
-5
Let r(z) = z**3 + 8*z**2 - 8*z + 11. Let v be r(-9). Suppose -4*j = v*u - 15 - 1, 4*j = -u + 16. Solve u = m + 6 - 2 for m.
-4
Let m(r) = 2*r**2 - 1. Let g be m(-1). Let f be (-6 + 4)/((-1)/2). Suppose -8 = 3*s + f*o + 6, 2*s + 11 = -3*o. Solve g + 9 = s*a for a.
5
Let p(c) = -2*c + 0*c + 2*c - 2*c + 3. Let i be p(-7). Let x(f) = -f - 2. Let v be x(-6). Solve -v*l - i = 3 for l.
-5
Let v be ((1 - 1)/2)/(3 + -2). Solve 10 = -v*w + 2*w for w.
5
Let s(q) = q**2 - 3*q - 2. Let l be s(4). Suppose z - i - 3 = 0, 4*z - l*z = 4*i + 10. Let f be (14 + z)*(-2)/(-6). Solve -f*u = -4 - 11 for u.
3
Suppose 0 = 5*g - 33 + 13. Solve 4*p + g = -12 for p.
-4
Let k(f) = 4 + 1 + f - 14. Let z be k(11). Solve z*i - i = 0 for i.
0
Suppose -12 = -5*z + 18. Let c be ((-2)/z)/((-5)/30). Solve -c*b + 20 = 3*b for b.
4
Let k(q) = q**2 - 4*q + 3. Let u be k(4). Suppose 0 - 3 = -d. Suppose -2*b - 21 = -5*b + d*a, 23 = 4*b - 3*a. Solve -u*h + 20 = b*h for h.
4
Let s = 6 + -4. Suppose -4*z - 7 = 5*w, 0 = -2*w + s*z + 5 + 3. Let r(q) = 6*q - 1. Let t be r(w). Solve -t*l = -0*l - 15 for l.
3
Let f(j) = j**2 + 8*j + 9. Let m be f(-6). Let d be m - -9 - 1*2. Solve -u - d = -2 for u.
-2
Let a(c) be the first derivative of c**4/4 - 7*c**3/3 + 7*c**2/2 - 2*c + 3. Let l be a(6). Suppose l*u + 0 - 8 = 0. Solve u*n + 7 = 1 for n.
-3
Let t = -1 - -5. Solve t*j - 1 = 11 for j.
3
Let v(k) = 2*k**2 - 9*k - 12. Let u be v(6). Solve -n = -u*n + 5 for n.
1
Suppose -m + d + 11 - 2 = 0, -34 = -4*m + 2*d. Let s = 11 - m. Suppose -s*a - i = -8 - 5, -21 = -5*a - 2*i. Solve 2*l = a*l for l.
0
Let u be -10*(-1)/(-2)*-1. Suppose -24 = -u*d + 21. Solve d + 11 = -5*k for k.
-4
Let p be 56/(-9) + 2/9. Let v(j) = -3*j - 15. Let n be v(p). Solve -n*h = -2 - 1 for h.
1
Suppose 2*s - 3*z - 14 = 0, 4*s - 11 - 17 = z. Let g = s - 4. Suppose -2*y = -0*y. Solve -4*n + g*n - 4 = y for n.
-4
Let m be -1*(-3 - 0) + 17. Suppose -4*u = u - m. Solve u = l - 5*l for l.
-1
Suppose -37*k + 32*k = 0. Solve 0*q + 2*q = k for q.
0
Suppose -4*m = -1 - 3. Suppose -3*q - 2 = -32. Suppose -3*n + q = m. Solve -2*j + 5 = n*j for j.
1
Let b be ((-3)/9)/((-3)/18). Solve -2*n = -n - b for n.
2
Suppose -2*z - 5*x - 10 = 6, 2*z 