*m = i + 5 for m.
3
Suppose 0 = -4*p + 2*m + 62, -7*m + 2*m + 32 = p. Let v = 27 - p. Suppose 20 = v*u - 5*u. Solve -1 = u*c + 3 for c.
-1
Suppose 5*b - 104 + 84 = 0. Solve 9 = -5*g + b for g.
-1
Let v = 19 + -8. Suppose 2*g = -4*k + v - 1, 0 = -5*g + 15. Suppose 4 = 4*h, k + 4 = z + 5*h. Solve z*o = -2*o + 8 for o.
4
Let s be (187/(-85))/((-2)/20). Solve -20*k + 10 = -s*k for k.
-5
Let n(t) = -5*t**3 + t**2. Let u be n(-1). Suppose -d = -u + 2. Let z(k) = 2*k - 9. Let w be z(9). Solve -w*m = -d*m + 20 for m.
-4
Let l(u) = u**3 - 8*u**2 - 19*u + 2. Let x be l(10). Suppose -7*h + 10*h = x. Solve 2*y = -2*y + h for y.
1
Let n be (-162 - 6)/(-7) + 1. Solve 0*u = -5*u + n for u.
5
Let o = 135 - 135. Solve -5*g + 25 = -o for g.
5
Suppose 5*g = -2*v + 4*g + 6, -2*v + 3*g + 6 = 0. Suppose -2*l + 80 = v*l. Suppose 4*n - l = -c, 4*n - 8 = -3*c + 4*c. Solve -d = -n*d - 10 for d.
-5
Let k(z) = z**3 - 9*z**2 + 11*z - 19. Let w be k(8). Solve w*j - 12 = j for j.
3
Suppose -3*z + 237 = -5*x - 0*x, 0 = -2*z + 2*x + 158. Let b = z + -74. Solve -4*s - s = -b for s.
1
Suppose 0 = -a, 3*s - 6*a + 2*a - 12 = 0. Let c(h) = s - 2 - 2*h + 2. Let r be c(-3). Solve -r = -0*j + 5*j for j.
-2
Suppose h + 78 = 3*u + 88, -3*h = -2*u - 44. Solve -h*v = -13*v for v.
0
Let l(j) = -j**3 + 14*j**2 + 15*j + 2. Let i be l(15). Solve -1 = i*d + 3 for d.
-2
Let k be -7 + 1 + 2 + -5. Let j(m) = m**2 + 24 - 40 + 19 + 9*m. Let v be j(k). Solve -w - 2 = v for w.
-5
Let g(c) = -17*c - 31. Let y be g(-3). Solve y = 4*q - 0*q for q.
5
Let s(q) = 2*q. Let z be s(2). Suppose 2*v + 0*v + k - z = 0, v + 5 = -4*k. Suppose -2*j - 29 = -5*w, -w + 4*j = 5 - 18. Solve w + 7 = -v*f for f.
-4
Let f(a) = -9*a + 76. Let y be f(7). Solve -j = -y + 18 for j.
-5
Let h = -205 - -207. Solve -k + 4 = -h*k for k.
-4
Let k = -36 + 41. Suppose -3*m = -k*y + 14, 0 = -3*m - 4*y + 3*y + 10. Solve -g + 2 = -m*g for g.
-2
Suppose -15*k - 36 = -18*k. Solve k*i = 13*i for i.
0
Let j(q) = 36*q - 771. Let i be j(22). Solve -4*a = 3*a - i for a.
3
Let c be (-1 - -1)/2*1. Let y = -13 + 15. Solve -2*p - y - 2 = c for p.
-2
Let k = -2858 - -2867. Solve -k + 11 = g for g.
2
Let a(c) be the second derivative of -c**3/6 + 11*c**2/2 + 9*c. Let w be a(6). Solve 1 + 4 = -w*o for o.
-1
Suppose -d = 4*w + 49, 3*w = -d + 3*d + 65. Let b = -33 - d. Solve 0*g + b = 4*g for g.
1
Let b(f) = 2*f + 24. Let i be b(-20). Let s be 4/(i/12) - -5. Solve s*p + 6 = -0 for p.
-3
Let m(x) = -3*x - 7. Let d be m(-4). Let s be (-1)/(-2) - (-44)/8. Let z be (-1 - -3)/(s/39). Solve -d*a + 2 = -z for a.
3
Let x(i) = i**2 - i + 3. Let h be x(0). Suppose -5*d = -21 - 9. Suppose h*q = q + d. Solve 4*a - q*a - 2 = 0 for a.
2
Let z be ((-3)/(-9) + (-3)/(-9))*-9. Let v(b) = -b**2 - 6*b + 3. Let g be v(z). Solve 1 = g*s - 14 for s.
5
Suppose -9*m = 18 - 45. Solve -2*l + m*l = -0*l for l.
0
Let f = -110 + 115. Suppose 0 = 3*j + f*z + 3, 6*j + 6 = 9*j + 2*z. Solve -4*q + 0 = -j for q.
1
Suppose -c - 5*k - 16 = 0, -c + k + 3 = -5. Suppose -5*t - 3*x = -72, 0*t - 5*x + 68 = c*t. Solve 5*u = t + 8 for u.
4
Suppose -3*l + 25 = -8. Solve -10*k = -l*k for k.
0
Let d be ((-1)/2 - 0)/((-2)/4). Let o be d/(12/66 + 5/(-88)). Solve -3*h + o = -1 for h.
3
Suppose -2*c = -4*c + 24. Suppose h = -c + 16. Solve 0 = -2*g + h*g - 2 for g.
1
Suppose 14*u - 3 = 15*u. Let z be (32/6)/(u/9). Let o be (-33)/(-88) + (-58)/z. Solve s = -s + o for s.
2
Suppose 6 = -p + 4*p, -3*p + 18 = 3*k. Suppose -g + k*t + 4 = 0, 0 = -0*g - g + 5*t. Let u be (0 - 1)/((-26)/260). Solve -5*y = -u*y + g for y.
4
Suppose 245 + 25 = -5*z. Let y be (-1)/2 + (-135)/z. Solve 3*k + y + 1 = 0 for k.
-1
Let a = 2 - 2. Let l(z) = z**2 - z. Let n(m) = -4*m**2 + 7*m + 3. Let v(o) = 5*l(o) + n(o). Let s be v(-2). Solve a = s*w - w for w.
0
Let s be (-4)/(-8) - (-13)/2. Suppose -2*c + 31 = -5*x, -3*x + 4 = -c - s*x. Let l(m) = -2*m + 8. Let o be l(2). Solve -c = -0*a - o*a for a.
2
Suppose f + 12 = 3*m, -2*f + 3 = -3. Suppose -l = -r + 8, m*r + l - 12 = 4. Suppose 7 = -0*w - r*w - 3*x, 2*x = -10. Solve -v + w = 1 for v.
1
Suppose v - 10 = -4*v. Let d(z) = 2*z**2 + z - 2. Let t be d(v). Let u = t + 0. Solve 4 = -4*b - u for b.
-3
Let o(i) = 2*i**2 - 7*i + 7. Let m be o(4). Let v = m + -17. Let y(b) = -b - 6. Let z be y(v). Solve -f + 1 - 3 = z for f.
-2
Let h = -2601 - -2607. Solve 14*q + h = -8 for q.
-1
Let b(s) = 2*s**2 + 8*s. Let r be b(-5). Suppose -y - 5 = -2*c, 0 = -y + 2*c + c - r. Solve y*f - 32 = -7 for f.
5
Let z = 79 - 75. Suppose -s = z*s - 50. Solve f + f = s for f.
5
Let g(x) = -21*x + 149. Let l be g(7). Solve 2*n = l + 2 for n.
2
Let x = -11 + 12. Let u be (x + (3 - 1))*1. Suppose -3*l = -r - l + 12, 0 = -r - 3*l - u. Solve -f = f + r for f.
-3
Let t be 2/5 - (-13)/5. Let p be (3 + -5)/((-2)/t). Solve 0 = -g - 0*g + p for g.
3
Suppose 37 = 14*a - 187. Suppose -18 + a = -2*t. Solve -3*r + 2*r - t = 0 for r.
-1
Suppose 2*l - 2 - 1 = t, 0 = 3*t + 4*l - 11. Suppose -8 = -3*m + 5*j, -3*j = 4*m + 2*j + t. Solve 0 = -5*d + m - 6 for d.
-1
Suppose 4*r - 7*r = -21. Suppose -p = -r*p - p. Solve p = -0*a - a - 1 for a.
-1
Let c(s) = s + 26. Let d be c(-18). Suppose -2*t - z = 2*z + 7, -3*t - 4*z = d. Let q = -3 - -3. Solve q*r = -r - t for r.
-4
Suppose -56*s + 48*s = 0. Let j be (-5)/(-2)*(-12)/(-10). Suppose -2*y - 2*t = -6, j = 2*y + t - 4. Solve v - y = -s*v for v.
4
Let s = -280 - -284. Solve 20 = -s*f + 8 for f.
-3
Suppose 7*k = 3*k - 4. Let h(j) = -5*j - 1. Let s be h(k). Solve s*x = -0*x for x.
0
Let h be -1 + 3*9 + -1. Let m = 883 + -877. Solve -n + m*n = -h for n.
-5
Let p = -107 - -17. Let c = p + 105. Solve -c = 4*m - m for m.
-5
Let u = -1610 + 1615. Let l(j) = -2*j**3 - j. Let o be l(-1). Solve u*m = o*m for m.
0
Let f(t) = 5*t + 2. Let h be f(4). Let j = 30 - h. Solve -2*m - j = -4 for m.
-2
Suppose 0 = -3*h + 15, -3*h + 18 = 3*p - 30. Let k(f) = -f**3 + 12*f**2 - 11*f + 1. Let i be k(p). Solve 0 = -4*d + 3*d - i for d.
-1
Let p(l) = l**2 - 3*l + 4. Let q(s) = -s**3 + 3*s**2 + 2*s - 3. Let x be q(3). Let t be p(x). Suppose -16 = -t*d + 2*d. Solve -8 = 4*w + d for w.
-4
Let k(q) = 9*q**2 - 3*q + 5. Let b be k(4). Let u = 137 - b. Solve 2*g = -u*g for g.
0
Let f be (-2)/4 - 189/(-6). Suppose -3*w + 0*w - q - 21 = 0, 3*q - 3 = 2*w. Let n be f/6 - (-1)/w. Solve 4 = -3*t - n for t.
-3
Let h(m) = -m**3 + 4*m**2 + 12*m + 3. Let p be h(6). Suppose -p*g + 7*g = 0. Solve g*i + 5*i = 15 for i.
3
Let d(l) = l**3 + 2*l**2 + 2*l - 3. Let w be d(1). Let h = -11 - -13. Solve w*k + h = k for k.
-2
Let a be (-8)/36 + (-190)/(-45). Solve 3*m = 1 - a for m.
-1
Let d(n) = -n**2 - n + 2. Let w be d(0). Suppose 17*c = 3*c + 56. Suppose h - c*q - 34 = 1, -5*h - q + 70 = 0. Solve -3*z + h = w*z for z.
3
Let p = -4 + -4. Let b be (p - -10)*(-11)/(-2). Let w be b + -6 - 2*1. Solve 0 = -w*x - 7 - 5 for x.
-4
Let g = -81 - -47. Let d = -28 - g. Solve -x + 4*x = d for x.
2
Let l(x) = x**3 - 2*x**2 - 2*x. Let g be l(3). Let d = 6 + -1. Let j = 1229 - 1227. Solve -g = -j*t + d for t.
4
Suppose 0*n - 4 = -2*n. Let p = -73 - -78. Suppose p*d - n = 33. Solve r + d = 3 for r.
-4
Suppose 4*z = -5*w - 428, w - 5*z + 114 = 11. Let m = w + 88. Solve -i + 4*i + 3 = m for i.
-1
Suppose -4*n = 4*d - 24, n - 6 = -5*d + 9*d. Solve n*o = -3*o for o.
0
Let s be (13/(-39))/(3/(-189)). Let l be (11/2)/(2/(-4)). Let q = s + l. Solve r = q - 5 for r.
5
Let a = 135 - 112. Solve 18 = u + a for u.
-5
Let n(x) = -x**2 + 9*x - 1. Let h be n(7). Let l be 54/h + (-4)/26. Suppose 4*i - 8*i = 0. Solve 0 = 2*g - l - i for g.
2
Let p = -190 + 192. Solve p*c + 12 - 22 = 0 for c.
5
Let d(g) = -g**3 - 3*g**2 - 7*g - 7. Let i(l) = 4*l**3 + 11*l**2 + 29*l + 27. Let q(c) = -9*d(c) - 2*i(c). Let p be q(-4). Solve 0 = p*f + 3 + 17 for f.
-4
Let t(b) = -b**2 + 5*b + 3. Let p(m) = 9*m**3 + m**2 - m. Let g be p(1). Suppose -4*k + g = -11. Let w be t(k). Solve 0 = -w*z - 2*z + 25 for z.
5
Suppose 2*r = -4*c - 0*r + 46, -3*c + 5*r + 28 = 0. Let n be (-2)/10 + c/5. Solve 0 = -n*x - 5 - 5 for x.
-5
Suppose 2*i = -3*g + 16, 3*g + 2*i = -i + 21. Suppose -20 = 4*v, -g*f - 13 = 2*f + 5*v. Suppose -4 = -3*a - a, -3*a - 13 = -2*n. Solve n*d - 10 = f*d for d.
2
Let u(p) = -50 - 50 + 133 + 3*p. Let f be u(-11). Solve a + f*a - 2 = 0 for a.
2
Let h(u) = -u**3 + 4*u**2 - 2*u