= -4*q + 19 + 7 for v.
-5
Suppose 0*w + 4*w - 20 = 0. Let d(h) = -h**2 + 8*h + 2. Let t be d(5). Suppose 4*b - t = 55. Solve 2*k = 4*g - b, -w = -3*k - g - 18 for k.
-5
Let p = 488 - 465. Solve 5*h = 1 + 4, 5*d - 2*h = p for d.
5
Suppose 0 = 5*v - v. Let m = -7 - -11. Suppose 3*g - 32 = -m*n, 0*g - 4*n + 24 = g. Solve -g*q - 5*r = -2, v = -r + 2 - 0 for q.
-2
Let q(n) = 48*n**2 + 5*n - 4. Let h be q(1). Suppose 0 = -h*z + 45*z. Let i = 8 - 2. Solve r + t - 4 = z, -3*t - 6 = -i*t for r.
2
Let f be -3*4/12 - 56. Let y = -39 - f. Solve 4*l = 3*c + y + 11, 3*l - 30 = 5*c for c.
-3
Let b = 0 - -7. Let m(i) = -16*i - 24*i - 9 + 43*i. Let g be m(b). Solve -5*s + 2*r + 24 = -0*r, -s + g = -4*r for s.
4
Let t(u) = u**2 - 7*u - 20. Let p be t(9). Let f be ((0/1)/(-2))/(p - -3). Solve -5*j = -2*g + 26, 2*g = -j - f + 2 for g.
3
Let l = 42 + -22. Let c be ((-12)/l)/(2/(-50)). Suppose 2*n = 21 + c. Solve -4*g - 8 = 0, -g - 4*g - n = -2*t for t.
4
Suppose -7*c + 23 - 9 = 0. Solve 4*m + 22 = -3*a, -a - c*a = 6 for m.
-4
Let n = 9 + -7. Suppose 3*h = -5*f - 10, 0 = 3*h - f + 2*f - 10. Solve -3*a = h*j + 15, n*a + 7 = -5*j - 8 for a.
0
Let f be (53 - -1) + 2 + -6. Suppose u - 3*u = -f. Solve -5*t + m = -u, 5 = -t + 2*t - m for t.
5
Let h(u) = u - 3. Let p be h(4). Suppose -88 = 3*g - p. Let s = -27 - g. Solve 5 + 7 = -5*o + c, -2*o = s*c for o.
-2
Suppose -3*m - 60 = 2*m + 5*d, 5*d = -4*m - 53. Let c be m/(196/(-8)) + (-36)/(-21). Solve -z - 3 = 0, -7 = v - c*z + 3*z for v.
-4
Suppose 0 = -2*y + 49 + 31. Let k = -25 + y. Solve -3*s - k = 4*a + 8, 7 = -3*s + 4*a for s.
-5
Let s be ((-395)/237)/((-1)/15*1). Solve -p = -2*o - 3*o + s, -2*p = 0 for o.
5
Let g be 0 - -3 - -1 - 0. Solve -3*n - 12 = 2*k, n - 3*n = g for k.
-3
Suppose 0 = -q - 0*q - 10*q. Solve 6 = -4*n + 2*k, 0*n - 3*n - k - 7 = q for n.
-2
Let s be -2 + (-9)/(3 - 4). Let u(v) = -4*v + 2. Let r be u(4). Let f = s - r. Solve 33 = -4*q - 5*m, 0 = -2*q + 4*m + m + f for q.
-2
Let u be 14/4*(10/7 + -2). Let b be (-2*(-3 - -2))/((-1)/u). Solve -4*i = -4*s + i + 5, -4*i - b = 3*s for s.
0
Suppose 4*x - 4 = -2*t, 0*t - 5*t + 5*x = -10. Suppose -112*a = -110*a - 40. Solve -t*s - a = 5*p, 0 = -s - 4 - 1 for p.
-2
Suppose -44 = -2*z - 5*u, -2*z + 5*u - 6*u + 28 = 0. Solve 4*y - 2 = s - 5, 4*s + 4*y - z = 0 for s.
3
Let z be (4 + 2)*(-1)/(-3)*1. Suppose 0 = 2*x - 4*x. Suppose z*y + y = x. Solve y = 3*k - 3*g - 6, 4*g - 7 = -27 for k.
-3
Let i(a) = 15*a - 79. Let f be i(6). Solve 0*z + 9 = 3*y - z, -f = -5*y + 3*z for y.
4
Let q(c) = -6*c**3 + 5*c**2 - 7*c + 5. Let m be q(2). Let o = 39 + m. Solve 2*h - 10 = 2*g + g, g = o*h - 6 for g.
-2
Let h = 25 - 13. Let c be 3/(-6) + 6/h. Let q be 50/5*(0 - -1). Solve c*n = -n + 2*r + 6, -2*r + q = -5*n for n.
-4
Suppose -44*d = -6*d - 76. Solve -2*f + d = -o, -2*o = -11 + 7 for f.
2
Let y = 37 - 38. Let w be (y/1 + -4)/(-1). Let v(p) = p**2 - 5*p + 5. Let l be v(5). Solve -l*a - 25 = -4*c, 3*a + a - 21 = -w*c for a.
-1
Let t be (-253)/(-207) - 4/18 - -5. Solve -3*o = r - t*o, 5*o = -5*r for r.
0
Let y(j) = 4*j**2 - 62*j - 30. Let o be y(16). Solve 2 = -0*k - 3*k - o*m, -2*m - 4 = 4*k for k.
-2
Let w be ((-54)/(-12))/(1/(-4)). Let c be 36/10 - w/45. Suppose -3*y = c - 19. Solve -y*i + t + 0*t = -15, 3 = i + 4*t for i.
3
Let p be (-156)/26 + 1 + 7. Solve 4*q - 20 = 0, -4*q + 4 = -p*h - 18 for h.
-1
Let p = -707 - -718. Solve -3*w = -f, -2*w = 2*f + f - p for w.
1
Let g(k) = -k + 14. Let s be g(10). Suppose -5*v + 3*l + 33 = -2*v, s*v - l = 56. Let r = -15 + v. Solve 5*u + 0*u - 15 = 0, -w - 4*u + 16 = r for w.
4
Let m be 4/(8*(-3)/(-18)). Let g = 9 + m. Solve -n = -z + 6*z + g, z = -n for n.
3
Let s be (117/45 - 3)*50/(-4). Solve 4*c = s*g - 13, -5*g - 2 - 1 = 4*c for g.
1
Let j = -362 + 365. Solve z + 6 = j*z, -5*m + 4*z = 17 for m.
-1
Let c be 3/(-1)*(4/12 - 2). Suppose 3 + c = 8*o. Suppose 3*p + 2*f - 33 = 5*f, -90 = -5*p - 2*f. Solve u - p = 4*g - o, 50 = -5*u - 5*g for u.
-5
Let f(n) = -n**2 - 12*n + 13. Let a be f(-13). Let v(k) = -k**3 + k**2 - k + 3. Let g be v(a). Solve 5*l = -4*s - 1, -4*l + 0*s + 24 = -g*s for l.
3
Let j = -22 - -24. Suppose 0*p + 2*p = -u + 7, -5*p = -j*u - 31. Solve -p*v - 9 = -4*n - 21, -5*v - 2*n = -24 for v.
4
Let a be (-24)/(-10) - (-6)/10. Let p be (1 - 1)/((-11)/((-33)/(-6))). Solve 2*z = -1 - 9, p = -a*x - 4*z - 32 for x.
-4
Suppose -7*j + 3*j + 21 = -q, -2*q - 22 = -3*j. Suppose 4*r = 24 - j. Suppose y - 5 = z, -2*y - z + r = -5. Solve -k - 1 = -4*u + 2*k, 0 = y*u - 4*k - 2 for u.
-2
Suppose 7*h - h - 36 = 0. Let u(l) = -l**3 + 6*l**2 + 3. Let x be u(h). Solve 3*v - 3 = -3*b, -4*v + 1 = -2*b + x for b.
1
Let w be 10/(-25)*(-5 - 0). Solve w*b = -4, 2*c - 2 = 6*b - b for c.
-4
Suppose -11 = -g + 2. Let z = -10 + g. Solve -3*o = 3*c - 6*o, -c - 2 = -z*o for c.
1
Let i(w) be the third derivative of -w**4/24 + w**3/3 + w**2. Let m = 75 - 77. Let t be i(m). Solve t*d + 17 = 3*p + 2*d, d - 9 = -2*p for p.
5
Suppose 0 = t - 1 - 4. Let m(v) = -25*v + 79. Let c be m(3). Solve -8 = c*d - 4*w, -2*w - t = 4*d + 3 for d.
-2
Let b be ((-3)/12)/((-2)/8). Solve -b + 21 = 4*y - 2*n, 0 = 2*y + 3*n + 6 for y.
3
Suppose 4*l = c + 21, c = l - 0*c - 3. Suppose 3*y - 24 = -l. Suppose 2*m + y = 5*m. Solve v = -4*d + 2*v - 17, -d + m*v = -1 for d.
-5
Suppose 4 = 2*g - 0. Let p(h) = h - 2. Let b be p(g). Solve -j = -2, -4*f - 4 = -2*j - b for f.
0
Let v = 60 - 179. Let m = v + 136. Solve 0 = 5*q + 4*t - 45 + m, 0 = 2*q - t - 6 for q.
4
Let c = 9 + -9. Let b = -63 + 114. Let i = b - 46. Solve 0*l - 2*l = -a - 5, c = -4*a + i*l - 14 for a.
-1
Suppose -12*r - 12 = -204. Solve -3*h + r = 2*a, -a + 5*a + 4*h - 28 = 0 for a.
5
Suppose -15 = -3*k, -v + 4*k + 6 = 24. Let n be v/8 + (-323)/(-68). Solve -n*c = 3*o - 6, -3*o + 2*c = -4 - 2 for o.
2
Let h be 25*(-2)/(-4)*2. Let k(c) = 8*c + 13. Let r be k(-1). Solve -2*n + 8 = -2*q + 4*q, -h = -r*n for q.
-1
Let n(s) = -12*s - 114. Let d be n(-12). Solve -5*r + 0*o + 2*o + d = 0, -2*r + o = -13 for r.
4
Let q be 2/3*3 - -2. Suppose -3*g = -2*g - q. Suppose 0 = 33*d - 31*d - 4. Solve -16 = -d*f - g*i, -2*f - 2*f + 8 = -4*i for f.
4
Suppose 3 = -3*r - f + 9, 3*f - 3 = -4*r. Let s = 3 - 1. Solve 0 = r*x - d + 1, -4*x + s*d - d = 2 for x.
-1
Let m(a) = 3*a**2. Let o be m(-1). Let b(c) = 5 + c - 6*c**2 + 0*c - c**o + 2*c**2 - 2*c. Let l be b(-4). Solve 0 = 2*n, -f + 3*n = -4*f + l for f.
3
Let d(h) = -3*h**2 + h + 4. Let r be d(0). Solve 2*i - j + 3 - 5 = 0, -3*j = r*i - 24 for i.
3
Suppose 23*d - 4 = 42. Solve 5*q - 33 = 2*j - d, -34 = 3*j - 5*q for j.
-3
Let w(r) = 3*r**2 + 2*r + 3. Let g be w(-2). Let d(b) = -2*b - 38. Let u be d(-16). Let x = u + g. Solve -10 = x*q - 5*o, -2*o + 6 = -q - 3*q for q.
-1
Let x = -16 + 27. Suppose -5*q + 6*q = 4*p + x, 2*p + 7 = q. Solve -4*i - b - 2 = -q*b, -i = -3*b + 8 for i.
1
Suppose -200*i = -204*i + 20. Solve -b = 0, -i*c + 16 = -b + 1 for c.
3
Suppose 5*x - 14 = -9. Let j(a) = -a**3 - 4*a**2 + 5*a - 3. Let c be j(-5). Let u be (c - (x + -3)) + 5. Solve -5*g = 5, -g + 5 = u*f - 2 for f.
2
Let m be (-2)/(14/(-7) + 1). Solve r = -4*z - 9, -2*r + 3*z - 5 = -m*z for r.
-5
Suppose 6*b = 2*b + 8. Let s be -3*1 - (-9 + 6). Suppose s = i - 6*i. Solve 3*l - 17 = d, b*d + i = -2*l + 6 for d.
-2
Let b(m) = m**3 - 2*m**2 - m - 3. Let q be b(3). Suppose k = -0*k - 5, 2*k + 52 = q*g. Let r = g + -9. Solve -3*s + 7*s + j - 5 = 0, r*j - 1 = 4*s for s.
1
Let r(a) = -2*a**2 + 4*a + 21. Let b = 145 + -141. Let v be r(b). Solve -4*z + 4 = 0, 4*z - 2 = v*h + 27 for h.
-5
Suppose 0 = -u + 5 + 7. Let a(s) = s**3 - s - s**2 - 5*s**2 + u - 6*s + 2*s**2. Let i be a(5). Solve 4*m + i*b = 24, 4*m + 3 = 5*b - 1 for m.
4
Let x = -1363 + 1369. Suppose -q + 5*q - 8 = 0. Suppose q*a = 8 + 2. Solve -i + x = a*o - 4, 3*o = 3 for i.
5
Let l = -335 - -335. Let p = -4 - -8. Solve l = 5*m + h + 27, -3*m - 3*h = p + 17 for m.
-5
Let w(u) = -u**3 + 8*u**2 - 8*u - 1. Let i be w(4). Let b = i - 27. Solve -11 = -b*k - k + 3*n, -3*k - 3*n + 21 = 0 for k.
4
Let f(q) = q**3 - 5*q**2 + 2*q + 6. Let w be f(5). Let s be 20/4*5/1. Suppose -6*c = -c - s. Solve 0 = c*g + 20, -3*z + 3*g + w = -2*z for z.
4
Suppose 22 = -3*m + 4. Let k = m + 11. Suppose 0 = 2*q + 4*n - 54, 2*n + 10 = 4*n. Solve o = -4*a + q, 0*o + 3*o + k*a = 16 for o.
-3