5*m + 1 for m.
-5
Let b(a) = a**3 - 2*a**2 - 142*a - 9. Let w be b(13). Solve d + 3*c + w = 14, 4*c - 22 = 3*d for d.
-2
Suppose 11*i - 243 = -166. Suppose 0*a - 15 = -3*a. Let v(t) = t**3 - 8*t**2 + 6*t + 10. Let r be v(7). Solve d - i = 4*k, -r*k + 5*d = -a*k - 31 for k.
-3
Suppose 4*s = -20, -6*s = -5*m - 4*s + 30. Solve -m*z - 17 = -o, -5*z - 39 = -14 for o.
-3
Let x be (-3 - -7)/((-4)/(-10)). Let l = x + -7. Let y = -87 - -90. Solve -19 = -m + 4*g, -y*g = 3*m + l - 0 for m.
3
Let b be 5/((-15)/(-138)) - -3. Let j = b - 49. Solve -3*v - 12 = -j*v + 5*o, -o = 3 for v.
1
Suppose -3*a + 7 = -g, -2*a = -4*g - 10 + 22. Solve 0 = 2*v + 2*b + a, -3*v - 4*b - 6 = 0 for v.
-2
Suppose -28*j = -63*j + 140. Let v = -4 - -15. Let q = -6 + v. Solve -q*o + 9 = -j*u, 0*o - 2*u + 3 = -o for o.
5
Let n(v) = -2*v**3 + 45*v**2 - 21*v - 21. Let p be n(22). Suppose 5*i = i - 4. Let s = p + i. Solve c - 1 = s, -2*c = -4*d + d + 13 for d.
5
Let d be -18*(6/21)/(24/(-56)). Solve 3*y - 9 = 3*g + d, 2*y - 2 = -g for y.
3
Suppose 18 = 15*t - 12. Let f be 7 - t - 1 - (-16)/4. Solve -3*i = -p - f*i + 26, -4*p + i = 1 for p.
1
Let w be 3*(-2)/14 + 4199/1729. Suppose -37 = -4*x - 3*t - 5, 0 = -t. Solve -4*v + 0 = -w*i + x, -v + 7 = 4*i for v.
-1
Suppose -4*s + 15 = m, -4*s - 7 + 23 = 0. Let j be (-2 - m)/((-2)/4). Suppose 10*f = 7*f + 6. Solve y = j*z, f*y - 4*y - 7 = 3*z for y.
-2
Let k(u) = u**2 - 5*u. Let n be k(6). Let h be 3/3 - (n + -8). Solve 1 = -z - 3*q + h, 0 = 3*z + 5*q + 2 for z.
-4
Suppose -2*r - 11 = 21. Let u = r + 16. Let g be 5 + (-2 - (-1 + u)). Solve 4 = -p + g*p + 4*c, 0 = 4*c + 8 for p.
4
Let a(p) = 39*p + 240. Let q be a(-6). Solve -w + 2*i = -q, -w + 3*i = -0*w - 8 for w.
2
Let r = 5 - 1. Let a(d) = d**3 + 6*d**2 + 4*d - 5. Let p be a(-4). Suppose 2*y + n = -0*n + p, 0 = y - n - 1. Solve -5*m + r*z = -m - 8, 0 = -y*m - 4*z for m.
1
Let g = -13 + 18. Suppose 15*y + 9*y = -0*y. Solve -o + 23 = -3*v + 3, g*o - 4*v - 45 = y for o.
5
Suppose -2*x - 42 = 5*x. Let c(q) be the third derivative of -q**4/24 - 2*q**3/3 + q**2. Let m be c(x). Solve -17 = y - 5*u, -1 = m*y + 4*u - 3*u for y.
-2
Let k = -7 + 3. Let m be (-1 + 3 - -28)/(k + 6). Solve -3*b - 4*p = -9, 5*b + p = -p + m for b.
3
Let h = 3 + 3. Suppose 385 - 4327 = -27*o. Let r be h/(-14) + o/14. Solve q - 2*i - 7 = 0, 2*i + r = -0*i for q.
-3
Let f = 221 - 218. Solve 2*m + f*d - 7 = 0, -2*m - 5*d + 21 = -m for m.
-4
Suppose -4*g = -7 - 5. Solve n = 4*v - 5 + 12, g*n - 5 = -4*v for v.
-1
Suppose -2*g + 3*w + 28 = 0, g = 5*g + w - 56. Let a(s) = s + 12. Let u be a(-9). Suppose 14 = u*m + 8. Solve -2*d = m*n + 18, 3*n - g = 2*d + 4*n for d.
-5
Let c(g) = g**3 - 5*g**2 + 13*g - 6. Let s be c(4). Solve 3*b = -5*u - s, 3*u - 3*b - 3 = -u for u.
-3
Let y be 6 + 2/(-2 + 1). Suppose 38*o = 35*o. Solve o*u = -3*r + u + y, -5*r + 4 = u for r.
1
Let v be -4*(0 + (-122)/8). Suppose 4*k - v = 59. Let r be 2/10 - (-894)/k. Solve -6*b - 4*m + 29 = -3*b, -5*b - 3*m + r = 0 for b.
3
Let o = 213 + -208. Solve -o*b + 2*w + 10 = -2*b, 3*b = -2*w + 14 for b.
4
Let r(w) = -w**3 + 10*w**2 + 14*w - 30. Let x be r(11). Solve -3*a - x*o + 3 = 0, 5*a - 4*o - 10 = 2*a for a.
2
Let w(m) = -m**2 - 22*m - 67. Let z be w(-5). Solve -2*j + 18 = -7*t + 2*t, 0 = 3*j - 3*t - z for j.
4
Let a be 1*46 + -35 + 34. Solve 0 = -5*k + 4*t + a, -5*k - 3*t + t + 15 = 0 for k.
5
Suppose 8*h = 11*h, 4*h = 2*p. Solve y - 3*a - 4 = -0*a, 2*y - 2*a = p for y.
-2
Suppose -2*p + 28 = 2*p. Let l be (-10)/(-3) + (-16)/12. Suppose 23 = 2*s + 4*q - 11, l*q - 26 = -2*s. Solve 5*c + 0*w = 2*w - p, -4*c = -5*w + s for c.
-1
Let g(r) = -16*r + 4. Let s be g(-2). Let y be 31/6 - 6/s. Let d = -4 + 4. Solve -i = -p - y, -i - 15 = 3*p - d for i.
0
Suppose -4*y = 4*k + 16, -k + 4*y - 3*y = -6. Let m be k*5 - (15 - 12). Solve m*x + 12 = h, 0 = -3*h + h - 4*x - 16 for h.
2
Let j(m) = -m + 18. Let r be j(14). Let p(x) = x**3 + 9*x**2 + x + 5. Let l be p(-9). Let u be (-2)/l*84/7. Solve r*v + u*a = 2*a - 36, -3*v - 5*a = 37 for v.
-4
Let p be 2 + (1 - 6 - 8/(-2)). Let v be -2*p*(5 + -6 + -1). Solve 3*k = -3*l - 5 + 26, 0 = v*k + 2*l - 18 for k.
2
Let l be (-5*(-14)/(-105))/(4/(-30)). Solve -5*t - 15 = 0, -2*b = t - 2*t - l for b.
1
Let y(p) = 6*p - 14. Let k(s) = -5*s + 13. Let h(l) = 4*k(l) + 3*y(l). Let i be h(3). Suppose i*x = 3*x. Solve -4*m = 0, -m - 20 = -x*q - 4*q for q.
5
Let u be ((-30)/35)/((-4)/14). Suppose -u*g - 11 = -17. Solve -g*l = -3*n - 5 - 17, 5*n - l + 25 = 0 for n.
-4
Suppose -5*g + 46 = -94. Let v be -3*5/((-30)/4). Suppose 6 = -v*j, y + 4*j - 8*j - 15 = 0. Solve 5*o = -y*k - 25, 2 = 4*k + 3*o + g for k.
-5
Let q(p) = p**3 + 5*p**2 + 5*p + 7. Let g be q(-4). Solve m = c + 5*m - 16, c + 12 = g*m for c.
0
Let m be (12 + 1)*6/(-6). Let k = m - -11. Let j = 2 + k. Solve j = 3*u + 5*z, -z + 6 = 4*u - 11 for u.
5
Let p = 16 - 13. Suppose 0 = q + 3*q - 16. Solve f + 1 = -q*c - p, c = -5*f - 1 for c.
-1
Suppose 2*x - l - 17 = 12, 13 = x - l. Suppose -x = 4*h - 8*h. Solve h*i - 7 = -5*a - 0, 3*a - 19 = 5*i for a.
3
Suppose 8*g = 149 + 11. Suppose 24*k - 20*k - g = 0. Solve -5*w + 0*w = -3*f - 14, -3*f = 4*w + k for w.
1
Let v(u) = -u**2 + 0*u + 3*u**2 + 5*u - 4. Let z be v(-4). Solve 4*t - z = -0*t + 5*a, 4*a = -t + 2 for t.
2
Suppose 50*t - 62*t = -48. Solve 5 = 3*d + 2*r - r, -t = -d + 2*r for d.
2
Suppose -j + 3*j + 4*a - 16 = 0, 5*j + 4*a = 22. Suppose 3*g + 15 = 2*d, 4*d - 4 - 2 = -j*g. Solve -2 = -i + z - 3, -9 = -d*z for i.
2
Let u be (0 - (3 - 2))*0/(-4). Let o be 2/11 + (-14)/77. Solve -q - 3*f + 2 = o, q - 5*f + 14 = -u*q for q.
-4
Suppose -30 = 3*j + 3*c, -2*c = 5*j + 37 + 13. Let z be 1/((-5)/(j/1)). Solve 3*a = 4*l - 26, z*a = 3*a + 2 for l.
5
Let u = 197 - 192. Solve 0 = -n - n + 3*b - u, 2*n + 3*b = -11 for n.
-4
Let t = 522 - 509. Solve -4*x + t + 4 = l, -3*l = -5*x + 34 for l.
-3
Let v be (-7)/(-21)*(9 + 0). Let m = 2 + v. Suppose -4*b + 5*b = 8. Solve 3*z - m*k + 21 = 0, 3*z - b = z - 4*k for z.
-2
Let j(c) = -c**3 + 4*c**2 + 33*c - 106. Let y be j(3). Solve x = -y*m + 11, m - 28 = 3*x - 8*x for x.
5
Suppose -p = -2*p + 2. Suppose a + a - p = 2*s, -s - 5 = -3*a. Suppose -8 = -a*t - 0*t. Solve x - t*g = -13, -2 = -x - 2*g + g for x.
-1
Let u(c) = c**3 - 9*c**2 + 2*c - 14. Let z be u(9). Let b = z - -6. Solve -b - 3 = l + 4*k, 4*k + 4 = -4*l for l.
3
Suppose -15*z = -16*z - 1, -2*z = 5*s - 18. Solve 0 = o + s*f + 13, -5*o + 10 = 12*f - 17*f for o.
-1
Let n be ((-58)/(-87))/(4/24 - 0). Solve -7*g + n*g + 4*r = -11, -r = 2 for g.
1
Let i be (-94)/235*5/2. Let j be (-11)/4 - (-2)/(-8). Let y be 2 - i - (3 + j). Solve 2*k - 4*k = 4*w - 2, -4*w = y*k + 3 for w.
3
Suppose 3*k - 40 = 5*c, 0*k - 62 = -4*k - 2*c. Suppose -5*w = -k - 5. Solve 0 = 3*n + 3*y + 3, 2*n = -w*y for n.
-2
Let h(a) = 2*a**2 + 7*a + 24. Let g be h(-4). Solve 5*k - 3 + g = 0, n = 4*k + 24 for n.
4
Let z be (-150)/(-90) - 4/(-3). Solve -3*l + 6 = -z*d, -2*d - 3*d - 10 = 0 for l.
0
Let t(s) = 2*s**2 - s - 1. Let y be t(-1). Let q(p) = -5*p**2 - 113*p - 257. Let h be q(-20). Solve 0 = h*n - 0*n + y*r, -n - 4*r = 0 for n.
0
Let a(b) = b - 2. Let s be a(6). Let z be (14/4 + -1)*(-300)/(-250). Solve 5*y = -5*t + 40, 0*y + z*t + 11 = s*y for y.
5
Let v(w) = w**3 - 20*w**2 + w - 19. Let c(j) = 3*j**2 + 15*j + 2. Let k be c(-6). Let r be v(k). Solve b = -2*d - 7, -b + 0*d - r = -d for b.
-3
Suppose 21*b + 51 + 117 = 0. Let f(r) = -r**3 - 7*r**2 + 8*r + 2. Let j be f(b). Solve z + 0*z - 2 = -j*t, 5*t - 6 = -2*z for t.
2
Suppose -c = -2*w + 92, -5*w - 2*c = -178 - 61. Suppose n + w = 51. Solve 5*z + 5 = -n*x + 2*x, 8 = -z + x for z.
-3
Suppose 5 = 3*k - 2*k. Let m be (-2)/(-4)*-6 + 2 + 1. Let x = k + m. Solve -5*q + x*u = -4*q - 8, 0 = -2*u - 4 for q.
-2
Let g = 24 - 24. Suppose -p + 1 = g, 2*p - 11 = -2*c + 7. Let k(t) = t**2 - 10*t + 18. Let n be k(c). Solve 0 = -s - n*v - 1, -2*s + 0*v - 3*v = 0 for s.
3
Let b = 30 - 32. Let j be -2 + (0 - (b - 2)). Suppose 10 = 3*y + d, -y - 2*d - 1 = -j*y. Solve y*f - 2*t = 2, 5*f = 3*t + 5 - 1 for f.
2
Let f = 30 + -23. Suppose f*q - 201 = -47. Let l = 23 - q. Solve -h + l = -3*t + 3, -5*t = -5*h - 20 for h.
-5
Let x be 63/(-36) + 23/4. Solve -6 = x*o - 3*f + 6*f, -4*o + 2*f = -4 for o.
0
Let j = -7 - -22. Solve 0 = 4*w + 5*l - 2*l - 12, -5*w