 -5*v + l for v.
2
Suppose -3*d = 2*q + 12 - 36, 3*q - 40 = -5*d. Let o be -6*d/12 - -4. Suppose 2*n = 3 + 1. Solve o*v - n = -v for v.
2
Suppose 4*z - 179 = 3*v, 0 = 5*z + 4*v - v - 217. Solve 0 = 7*a - 65 + z for a.
3
Suppose -1 - 5 = -3*v + 3*m, 16 = 4*m. Suppose -10 = x - v*x. Let q be (-8)/(1/x*-1). Solve 5*p + q = p for p.
-4
Let w be -18 - -13 - (-172)/4. Solve 8*j - w = 2 for j.
5
Let h = -244 + 244. Solve 0 = 3*g - h*g - 3 for g.
1
Suppose -2*v + 2*z + 6 = -14, -3*v - 5*z = -30. Solve y + v - 14 = 0 for y.
4
Suppose -k - 82 = -3*k. Suppose 5*h + 5 = -4*p + k, -12 = -h - 2*p. Solve 0 - h = 2*g for g.
-2
Suppose 4*b = b - 4*v - 11, 0 = 2*b - 5*v - 31. Let l be 4/(-2) - (-12)/b. Suppose 0*n + n = l. Solve n*t - t = -1 for t.
-1
Let c be (-1 - -1)*((-4)/(-8) + 0). Suppose -5*v - 5*g + 36 = -6*g, c = -5*v - g + 44. Solve -10 + v = 2*w for w.
-1
Let c be 0 + 7 - (-9)/(-3). Solve -c*k + 0 = -8 for k.
2
Let t(f) = f**3 - 10*f**2 - 10*f - 2. Let m be t(11). Suppose -5 = -4*c - m. Let h(u) = -2*u**3 + u**2 + u + 1. Let y be h(c). Solve -a - y*a = 16 for a.
-4
Let f(c) = -c**3 - 5*c**2 - 3*c + 1. Let w be (-4)/(-8)*-10*1. Let r be f(w). Let d be 3/((-6)/r*-2). Solve -d*g + 8 = -8*g for g.
-2
Let g be 100/45 - 2/9. Let q = 4 - g. Suppose q*z + 0*z = 32. Solve -5*l + l + z = 0 for l.
4
Suppose -8*m + 61 = -27. Suppose -187 + m = -8*l. Solve l - 2 = 5*k for k.
4
Suppose 4 + 4 = -g + 4*m, 8 = 2*m. Suppose 5*h + 15 = g*h. Solve 5*t - h = 10 for t.
3
Let y = -42 + 42. Suppose -2*t + 7 = 3. Suppose -5*g = 2*s - t, -3*g - 1 = -3*s - 19. Solve y = g*c - 4*c - 2 for c.
-1
Let i(j) = -j**3 - 4*j**2 + 3*j + 7. Let y be i(-5). Let d = -11 + y. Suppose -3*f + 9 + d = 0. Solve 0 = -3*z + f*z + 2 for z.
-1
Let o = 24 + -26. Let s be (5 - 10 - o)/(1*-1). Solve 0 = f + s*f - 12 for f.
3
Let u = -6 + 6. Let c = -1 + 9. Let r(d) = d**2 - 2*d - 3. Let n be r(3). Solve u*i + 4*i - c = n for i.
2
Suppose -5*n = -5*k, 2*n + 3*n = -5*k + 20. Suppose 0 = -4*p - 3*a + 1, 8 - 11 = -p + 2*a. Solve k + p = t for t.
3
Suppose -10 = -10*l + 8*l. Suppose l = 4*z + z. Let f be z*12/4 - 1. Solve p + p = -f for p.
-1
Let i be (2 - 18/8)*(-19 + -1). Suppose -3*g - 2*b + 8 = 0, i*g + 3*b = -2 + 15. Solve -12 + 2 = -g*q for q.
5
Let w = -108 - -114. Suppose 5*u + 2*k = 58, 20 = -k + w*k. Solve -5*q = -u*q for q.
0
Suppose 5*f - 43 - 2 = 0. Let t be (-10)/(-3) + 3*2/f. Solve o - t*o = -12 for o.
4
Let m(x) = -x**2 - 9*x - 15. Let n be m(-4). Suppose w = -4*w - 4*g + 20, 0 = n*g. Solve 8*v - 4 = w*v for v.
1
Suppose 4*f - 2*v - 20 = 0, -5*f + 3*v + 20 + 7 = 0. Solve 3*x - 24 = -f*x for x.
4
Let m(q) = -q**3 + 13*q**2 - 14*q - 3. Let p(g) = -g**3 + 12*g**2 - 13*g - 2. Let n(u) = -6*m(u) + 7*p(u). Let y be n(4). Solve 0*l + y = -2*l for l.
-4
Let o be (9/15)/(4/20). Solve -o*f - 20 = f for f.
-5
Let z(q) = 4*q + 67. Let j be z(-15). Suppose -3*s = -9, -3*t + 14 + j = -s. Solve t*m - 12*m = 0 for m.
0
Suppose 2*w - 2*b = b + 30, 0 = -4*w - b + 74. Suppose -w = -2*k - 6. Solve -7*o + k = -5*o for o.
3
Suppose 4*b + b - 2*p - 125 = 0, -4*b + 82 = 2*p. Suppose s - 3*f = -b, -33 + 93 = -4*s + 4*f. Let h = 18 + s. Solve -h*n - 20 = -2*n for n.
-4
Let o(n) = -n**3 + 5*n**2 + 4*n + 16. Let r be o(6). Suppose -15 = r*p + 5*l, 0*l = -2*p + 5*l + 15. Solve 3*x + x + 12 = p for x.
-3
Suppose 3 = 2*h + z, 3*h - 10 = z + 3*z. Solve -1 = -h*x + 1 for x.
1
Suppose 4*f - 5*f = -8. Suppose -f*k = -3*k. Let s be (-1)/2*-8 - 2. Solve 2*o + s = -k for o.
-1
Suppose -24 = -2*z - 5*f, 0 = 3*z + 2*z - f - 60. Let x = 12 - z. Suppose x = -4*d + 4 - 0. Solve d = -q - 2 for q.
-3
Let i(w) = 2*w**2 + 54*w - 101. Let o be i(-29). Solve o*t - 7*t = 24 for t.
3
Let j be 6 + (-11 - -4) - (-2 - 1). Suppose -2*a + 38 = 3*y - 0*a, 57 = 2*y - 5*a. Let g be (6/12)/(j/y). Solve g*s = 5*s - 4 for s.
4
Let k = 3 - 3. Suppose -5*r + 17 = -2*n - k, 0 = n + 1. Let z be 3 + (-5 - -2 - -4). Solve -z*s + s = -r for s.
1
Let z(d) be the first derivative of -d**2/2 - 2*d + 5. Let q be z(-10). Let h be q + (0 - 4) + -1. Solve -k = -2*k - h for k.
-3
Let o = 50 + -32. Let j = -16 + o. Solve -6*r = -j*r + 16 for r.
-4
Let h be (-16)/(-6) - (-1)/3. Suppose 15*q + 6 = 51. Solve 6 + q = -h*s for s.
-3
Let d be 3456/(-480)*5/(-2). Solve 15*h = 21*h + d for h.
-3
Suppose 4*j - m - 42 = 0, 2*j + 5*m - 5 = 5. Solve j*l + 3 + 7 = 0 for l.
-1
Let f be (-1)/2 - 3/(-2). Let y = 16 + -29. Let n = y - -17. Solve 0 = -p + n - f for p.
3
Let w(g) = -2*g**2 + 143*g + 233. Let x be w(73). Solve -6*i + 38 - x = 0 for i.
4
Let z be 1/(-4) - (-39)/12. Let x be (-14)/7*(-62)/(-4). Let f = x + 39. Solve z*n = -n - f for n.
-2
Let f(m) be the first derivative of 2*m**3/3 + 11*m**2/2 - 2*m + 37. Let d be f(-6). Solve -q + 15 = -d*q for q.
-5
Let p = 17 + -14. Suppose -p*h = -0 - 3. Let m be 45/12 + 3/(-4). Solve m + h = -y for y.
-4
Suppose -36 = 3*h + a + 7, -3*a = -5*h - 53. Let s = h - -17. Suppose -k = -s*k + 2*v + 4, -2*k + 5*v = 1. Solve -3*f - 4 = -k*f for f.
-4
Let x = 86 + -78. Let p be (-18)/x + 12/48 + 2. Solve p = q - 4*q for q.
0
Let u(n) = -3*n - 30. Let g be u(-11). Suppose g*j - j - 30 = 0. Solve -3*p - 2*p - j = 0 for p.
-3
Let s(n) = n**3 - n**2 + n + 12. Let b(r) = 1. Let o(d) = 3*b(d) - s(d). Let i be o(0). Let q = i - -13. Solve -l = -0*l - q for l.
4
Suppose 2*m + 16 = -2*m. Let s = -2 + m. Let l = -5 - s. Solve 4 = -b - l for b.
-5
Let z = 1 + -4. Let m = z + 12. Let l be (2/6)/(5/30) + -1. Solve l + m = 5*r for r.
2
Let s(l) = -l**3 - 9*l**2 + 7*l - 24. Let c be s(-10). Solve -3*r = -6*r + c for r.
2
Let y be (-12)/(-16)*(6 + 5 + -3). Let d be (15/6)/5*1*y. Solve -4*a - d = 17 for a.
-5
Suppose 0 = 3*h - 5*h + 10. Let i = 285 + -283. Solve -h*q = -i - 8 for q.
2
Suppose -4*t + 6*t - 8 = 0. Suppose 2*w - 3 = -x + 1, 5*w = -4*x + 25. Let g = -8 + x. Solve -j + g = t for j.
-2
Let m = -11 + 17. Suppose -3*w = -8*w - 4*h + 342, 4*w - 5*h = 249. Suppose 24 = 6*o - w. Solve 0 = m*z - 3*z + o for z.
-5
Suppose 0 = 50*u - 54*u + 16. Solve -u*m + 21 - 37 = 0 for m.
-4
Suppose -17*h + 4 = -2*i - 21*h, 10 = -2*h. Let m be 5*-3*3/(-15). Suppose 40 = -0*t + 2*t. Solve i*f = m*f + t for f.
4
Suppose 0 = -0*o - 2*o - 78. Suppose -2*t - 232 = 4*j, -j + t - 5*t - 51 = 0. Let d = o - j. Solve 6*m = m + d for m.
4
Suppose -4*s + 5*l + 6 = -s, -2*l + 10 = 5*s. Solve -s*i + 3 = -5 for i.
4
Let o(m) = 13*m + 80. Let q be o(-6). Solve q*l = 20 - 26 for l.
-3
Suppose -5*u - 14*s + 175 = -9*s, -4*u + 2*s = -140. Solve -u + 40 = -m for m.
-5
Let u be (-30)/(-4)*(8 + -6). Let v(o) = -3 + 3*o + o - 2*o + u. Let d be v(-5). Solve -14 = 3*z - d for z.
-4
Let b(o) = -o**2 - 9*o + 43. Let d be b(-12). Solve d - 2 = -q for q.
-5
Let c(a) be the third derivative of -a**6/120 + a**5/12 + 7*a**4/24 - a**3/6 - a**2 - 6. Let d be c(6). Solve 12 + 8 = d*u for u.
4
Let k be 2*-3*2/(-3). Suppose -8 + 28 = 4*i. Let g(m) = 61*m - 299. Let t be g(5). Solve t + k = -i*o for o.
-2
Let g(t) = 2*t - 2. Suppose 5*n = -3*r - 10, -4*n + 0*r = r + 1. Let k be g(n). Solve 2*c - 3 + 1 = k for c.
1
Let q = 15 + -15. Let y(v) = -v**2 - 2*v + 15. Let t be y(-5). Solve t = x + 2 - q for x.
-2
Let q(s) = -2 - 39*s + 0*s**2 + 4*s**3 + s**2 + 37*s. Let n(g) = g**3 + g**2 - 1. Let h(w) = 5*n(w) - q(w). Let o be h(-3). Solve 2*f - 3*f - 4 = o for f.
-4
Let x = 1128 - 1120. Solve x*n = 4*n - 4 for n.
-1
Let a = 79 + -71. Solve 5*k = k + a*k for k.
0
Let y be (18/(-27))/((-2)/15). Let m(n) = 2*n - 18. Let z be m(11). Suppose 10 = z*p - 14. Solve -y*h + 2*h = p for h.
-2
Let z(g) = g**3 + 13*g**2 + 13*g + 18. Let v be z(-12). Let d be 2/v + (-98)/(-21). Solve -23 - 2 = d*h for h.
-5
Let o = 20 - 8. Suppose 3*h + 0*h = -o. Let i = h + 7. Solve -i*r + 2 = -r for r.
1
Suppose 10 + 5 = -5*a, 19 = -2*q + 3*a. Suppose -2*z = 5*k - 4 - 59, 4*z + 5*k = 101. Let i = q + z. Solve -i*j - 10 = 10 for j.
-4
Let z be (18/3)/((-9)/6). Let a be ((-2)/z)/((-13)/(-1508)). Suppose 15 = -5*b, 3*b = -5*w + a - 7. Solve 0 = 5*x - 2*x + w for x.
-4
Suppose -10*l + 30*l = 60. Solve 3*c + l - 12 = 0 for c.
3
Let c be (((-348)/(-8))/(-3))/((-1)/2). Let m = c + -29. Solve m = -0*g - 3*g + 15 for g.
5
Let u(b) = -b**2 + 10*b + 5. Suppose 4*j - 110 = -7*j. Let f be u(j). Let d be (-6 - -9)*(-1)/(-3). Solve f + d = -2*t for t.