w = -24 - -25. Solve 2*m - 1 - w = r for m.
1
Let y = 6 - 4. Suppose -y*j - 19 = 25. Let b be (-2)/1 + 0 - j. Solve u - 6*u = -b for u.
4
Suppose -27 = 3*f - 33. Solve 0 = -f*p + 8 for p.
4
Suppose 3*c - 5*r = -40, 3*c + 3*r + 41 + 7 = 0. Let h be (-2)/3 + (-10)/c. Solve -2*d - 8 = -h*d for d.
-4
Let y be -1 + 0 + (3 - 0). Suppose 2*p + 4 = d + 1, 27 = y*d + 3*p. Solve -3*j - 6 - d = 0 for j.
-5
Suppose 2*d - g = 2 - 5, 0 = -5*d + g. Suppose 3*p - o = -p - 11, -p + 4*o + d = 0. Let b be 0 - (0 + -1) - p. Solve -i - b = -0 for i.
-4
Suppose 32 = 5*q - 3*q. Solve -3*p + q = p for p.
4
Let i = 9 - 7. Suppose t = -i*t. Solve t = 3*d + 11 + 1 for d.
-4
Suppose 3*r - 20 = 4*q, r + 11 = -3*q - 4. Suppose -5*z + 19 + 1 = r. Solve 4*n = -0*n - z for n.
-1
Let x be (23/7 - (-6)/(-21))*1. Solve 0 = -20*m + 17*m - x for m.
-1
Let z(o) = 2*o - 4*o + 6 + 5 + 3. Let l be z(6). Solve -l*b + 6 = -4*b for b.
-3
Suppose -o + 0*o = 4, -4*o - 14 = w. Suppose w*x + 0 = 4. Suppose -x*k + 6*p = 2*p, 5*p = 3*k. Solve k = -2*n - 1 + 3 for n.
1
Let h be 4/((4 - 2) + -1). Suppose 0*d = 2*d - g - 1, 4*d = g + 7. Suppose d*s = -3*a + 2*s + 6, -5*s - 2 = -a. Solve -q + a*q + h = 0 for q.
-4
Let f(l) = 2*l - 3 + 5 + 0. Let m(b) = -b - 1. Let r(p) = 6*f(p) + 14*m(p). Let h be r(-4). Solve 0 = -h*k + 3*k + 9 for k.
3
Suppose 2*n = -n. Suppose 5*c - 125 = -0*c. Suppose 3*k - 26 = -y, 0 = -3*k - 0*k - 2*y + c. Solve -3*r + n*r = -k for r.
3
Suppose -4*i = -2*n - i + 8, -3*n - i = 10. Let h(c) = 3*c**2 - c + 1. Let k be h(n). Solve -l - k = -6*l for l.
3
Let y(g) = -g**3 + g**2 + 6*g + 4. Let r be y(3). Solve -r*n + 8 = 24 for n.
-4
Suppose 5*m - 30 = 45. Solve m = 5*k - 0*k for k.
3
Let n = -19 - -19. Solve -3*t + 0*t = n for t.
0
Let y be 24/(-32) - 22/(-8). Solve -m = -y*m + 1 for m.
1
Suppose -3*k + 5*k = -5*q + 16, 4*q + 7 = 5*k. Solve q*u - 8 = 2 for u.
5
Suppose 0 = 5*c - 2*c. Let k be ((-2)/4)/(1/(-12)). Suppose k*m - m = c. Solve 2*x + 2 + m = 0 for x.
-1
Let w = -38 + 40. Solve w*p + 4 = 8 for p.
2
Let r = -7 - -13. Suppose r + 0 = 3*d. Solve 6*l - 16 = d*l for l.
4
Let d be 0/(-1) - (1 + 0). Let u be (21/(-14))/(d/2). Solve 7 - u = 4*i for i.
1
Suppose -2*q = 2*q. Solve i - 1 = -q for i.
1
Let n(c) = -2*c - 4. Let f be n(-3). Suppose 0 = x + x - 28. Suppose 2*l + 0*i - 5*i + x = 0, i - 10 = -2*l. Solve 10 + f = -l*z for z.
-4
Let i(j) = -j**3 + 5*j**2 - 5*j + 4. Let a be i(3). Solve -2*b - 15 = -a*b for b.
3
Let m be 2/(1/(-5)*-2). Let r = m + -5. Solve r = g + 5 - 0 for g.
-5
Let o be 133/21 + 4/(-3). Suppose 0 = -0*d + 4*d - 3*g + 3, -o*d = 5*g - 5. Solve 2 = -d*h - h for h.
-2
Let j(r) = r**3 - 7*r**2 - 2*r + 9. Suppose -t + 4 + 3 = 0. Let k be j(t). Let a(o) = o**2 + 4*o - 2. Let p be a(k). Solve -y + p*y + 2 = 0 for y.
-1
Suppose 5*t + 39 = 4*y, 5*y + 2*t = 54 + 36. Let l(z) = -2*z - 10. Let o be l(-7). Suppose -o*j - 8 = -5*v, 5*j = 4*v - 1 - 0. Solve c + j*c - y = 0 for c.
4
Let g(t) = t**2 - 3*t - 4. Suppose -3*m = -0*k - 2*k + 14, -26 = -4*k + 5*m. Let p be g(k). Solve -w - 4 - 1 = p for w.
-5
Let h be 7 + -7 - (-1 - 1). Let v = -2 + 3. Suppose 3*l + v = 4. Solve h*d = d + l for d.
1
Let v be -6 + (4 - 0) - -16. Let i be (-10)/(-35) + (-4)/v. Solve i = -3*k - 0*k - 6 for k.
-2
Let g be (-1 + 9/6)*0. Suppose g = y - 6*y + 20. Solve -r + y = -1 for r.
5
Suppose 0 = 6*b + b. Solve 0 = w - b*w + 3 for w.
-3
Let x be 5/2*(-32)/(-20). Solve 0*h = x*h - 16 for h.
4
Let v be ((-8)/(-36))/(1/9). Let k(q) = q**3 + 4*q**2 + 2*q - 3. Let o be k(-4). Let l be -1 - o - (-2 - -4). Solve 4 - l = v*r for r.
-2
Let y be 4 + -2 - (-2)/2. Suppose -60 = -y*a - 7*h + 2*h, 0 = 3*a + 2*h - 51. Solve -6*z + z - a = 0 for z.
-3
Suppose 10*r = 5*j + 11*r - 43, 0 = j + r - 11. Solve 20 = -4*l + j*l for l.
5
Suppose t = -0*t + 4. Solve -t*p - 9 = -p for p.
-3
Let c(n) = -7*n**3 - 5*n**2 + 2*n. Let u(t) = -6*t**3 - 5*t**2 + t. Let o(k) = -4*c(k) + 5*u(k). Let s be o(-3). Solve -s = 4*j + 2 for j.
-5
Let o(i) = 2*i - 7. Let p be o(16). Suppose 2*a - 4*w - 12 = 0, 0 = a - 0*a + 4*w. Solve p = -a*x - x for x.
-5
Let b = -5 + 7. Let i be 1 + -3 - (-1)/(-1). Let d = i - -5. Solve b*j - 4 = -d*j for j.
1
Suppose 4*n + n - 2*z = 33, -n + 3*z = -17. Suppose s + 8 = n*s. Solve -l = -s + 4 for l.
-2
Let d be 2 - 0 - (-1)/1. Suppose -d - 27 = -5*l. Solve -3*o + 9 = -l for o.
5
Suppose w - 10 + 5 = 0. Solve -l = -0*l + w for l.
-5
Let g(s) = -s**3 - 4*s**2 + 2. Let q = 0 - 4. Let l be g(q). Solve 3*k - l*k = 0 for k.
0
Let o = -2 - -5. Suppose -6*j = -o*j. Solve j = -h - h for h.
0
Let t(g) = -g**3 + g**2. Let d(c) = 2*c**3 + 5*c**2 + 3*c - 7. Let u(w) = -d(w) - t(w). Let i be u(-5). Let x = 4 + i. Solve -j + 2 = -x for j.
3
Suppose 0 = -0*l + 3*l - 75. Let t(p) = -11*p + 1. Let b(r) = 6*r. Let o(c) = -7*b(c) - 4*t(c). Let z be o(3). Solve -7*h - l = -z*h for h.
-5
Let f(t) = -t**3 - 5*t**2 + 7*t + 9. Let n be f(-6). Suppose x - 12 = g, -g + 0*g = -n*x + 28. Suppose -5*u = -u - x. Solve -3*b + 4*b - u = 0 for b.
2
Suppose 0 = 4*d - 2*q - 2*q - 152, -2*d - 2*q = -84. Let i be (-23)/(-7) + (-4)/14. Suppose -d = -v - i*v. Solve -2*m + 0*m = -v for m.
5
Suppose 0 = 3*n - i - 22 - 0, -3*i + 6 = -n. Let t = 13 - n. Suppose -t*f + 13 = -5*u, -f - 3*u = -4 + 5. Solve f*p - 3*p = 2 for p.
-2
Let v = -27 + 31. Solve -c = v*c + 20 for c.
-4
Suppose -5*j - 21 = -2*k, -5*k + 6 = j + 2*j. Let q = 4 - 2. Solve q*u = k*u for u.
0
Let a(m) be the first derivative of m**5/120 + m**4/3 + m**3 - 2. Let u(g) be the third derivative of a(g). Let o be u(-6). Solve o = d - 1 for d.
3
Suppose 4*s - 4*h - 32 = 0, 4*s + 5*h - 5 = -0*s. Suppose -5*c = -187 + 37. Suppose -2*r - 11 = 5*u, u + c = 5*r + 2*u. Solve s*m = -18 - r for m.
-5
Let t be -9 - (-9)/(0 - 3). Let i = t + 26. Solve -6 = -4*r + i for r.
5
Let g = 1 + 0. Let a = -5 + 10. Let k be a + (2 - (1 + -2)). Solve 3*b - k = g for b.
3
Let t(q) = q**3 - q**2 + 3*q - 2. Let d = -22 - -23. Let g be t(d). Let c(o) = o**2 - 4*o - 8. Let w be c(6). Solve -w*x - 11 = g for x.
-3
Let f(z) = -4*z**3 + 8*z**2 - 3*z + 6. Let y(i) = -6*i**3 + 12*i**2 - 4*i + 9. Let j(p) = -8*f(p) + 5*y(p). Let u be j(2). Solve 5 = u*g - 4*g for g.
5
Let d = 11 + 2. Solve 0 = -5*g - 12 - d for g.
-5
Let z = -10 - -14. Suppose -i = 3*i. Suppose 5*w = i, 3*h - z*w - 4 = h. Solve 0 = h*o + 2 + 6 for o.
-4
Suppose -w = -1 - 2. Suppose -4*b - 6 = -2*f, -f + 3 = -0*b + 4*b. Solve -2*j - w*j = b for j.
0
Let p be ((-2)/(-5))/(3/30). Suppose 0 = 2*c, c = -p*b + 12 + 52. Solve 0*n - b = 4*n for n.
-4
Suppose 0 = -5*z + 66 + 9. Solve 3*f - 6*f - z = 0 for f.
-5
Let k be 1 - (2 + -10)/2. Suppose -4*w = -3*l - 8 + 26, 0 = w + 5*l + 16. Let b(n) = -n - 4. Let q be b(w). Solve 7*h + k = q*h for h.
-1
Let c be (3/(-3))/(-5 + 4). Solve c = -5*j + 11 for j.
2
Let i be (7 - 6)/((-1)/(-2)). Solve i*r - 16 = -2*r for r.
4
Suppose 0 = -z - 4*z. Suppose 4*c + 2 - 14 = z. Suppose 0 = -p - 3*b + 8, -p + 2*b = -2*b - 8. Solve 7 + p = -c*n for n.
-5
Suppose -3*g + 30 = 4*s - g, -5 = -3*s - 5*g. Let w(p) = -p**3 + 11*p**2 - 13*p - 8. Let m be w(s). Let j be m/(-8) + 2/8. Solve q + 0*q = -j for q.
-5
Suppose -2*f = -f - 2. Solve 0 = 2*u - 8 - f for u.
5
Let s be (-65)/(-13) + (-6)/2. Solve 0 = -s*c + 8 for c.
4
Suppose -3*o + 20 = -3*v - v, -26 = -4*o + 5*v. Solve o*z + z = -10 for z.
-2
Let f be 3/(2*(-3)/(-4)). Suppose -r + f*r + 3*o - 23 = 0, 4*r - 2*o - 78 = 0. Solve -r + 4 = 4*w for w.
-4
Suppose 0 = -11*d + 7*d + 80. Solve -d = -5*i + i for i.
5
Let k(u) = 11*u**3 + u**2 - 1. Let p be k(-1). Let x = p - -15. Let z(r) = -r**3 - 6*r**2 + r + 8. Let s be z(-6). Solve x = s*t + 2*t for t.
1
Let a = -3 - -3. Suppose -5*o + 2*b + 48 = 0, -4*o + 23 = -b - 13. Suppose 5*n + 4*g = o*g + 25, 3*g + 16 = n. Solve -3*p - 10 + n = a for p.
-3
Suppose 0 = -n - 0 + 2. Let u(q) = 2*q**3 - 3*q**2. Let z be u(2). Suppose -n = -r - a, 5*r = z*a - 1 + 11. Solve r*m = -3*m for m.
0
Suppose -2*l = -4*b + b - 7, l = -b + 6. Suppose 12 = 2*y - 2*k, y - l*k = 1 + 9. Suppose -i - 5*g - 5 = 0, -i - y = -4*i + 5*g. Solve i + 5 = 5*f for f.
1
Let a = 10 + -9. Suppose 0 = -3*i - 1 - 2, a = x - i. Let r = 3 + 0. Solve -u - r + 7 = x for u.
4
Let g(t) = 3*t**3 - 10*t**2 - 9*t + 13. Let q(f) = f**3 - 5*f**2 - 4*f + 6. Let j(x) = 2*g(x) - 5*q(x). Let 