= -4*a - 31 for r.
-4
Let s(l) = -l**3 + 9*l**2 + 8*l + 20. Let n be s(10). Suppose n = 5*o - 9 - 6. Solve 3*a = 5*g + 29, -o*g - g - 22 = -2*a for g.
-4
Let z(o) = 2*o - 30. Suppose -69 = -3*n - 18. Let j be z(n). Solve -4*d = -5*s + 36, j*d - 2*s + 3*s = -12 for d.
-4
Let v = 177 - 248. Let p = -42 - v. Solve -4*a - 2*n - p = -7*n, n = 5 for a.
-1
Let l be ((4 - 1) + 20)*-1. Let c = l - -27. Suppose -4*s + c*w + 50 = -w, 2 = w. Solve 2*u - s = j - 0, 0 = -4*u - j + 15 for u.
5
Suppose 4*f - 1 = -12*g + 13*g, 0 = -f - 2*g - 2. Solve -4*p + t + 17 = f, -5*t - 11 = -4*p + 10 for p.
4
Let d(t) = -t**3 + 2*t**2 + 5*t - 6. Let k be d(2). Let r be ((-1)/k)/((-4)/32). Solve -w + 2*w + g = 3, 0 = 5*w - r*g + 13 for w.
-1
Let o(r) be the second derivative of -r**4/12 + r**3/3 + 2*r. Let i be o(2). Solve i = -5*z - 3*h - 34, z + 6*h - 4*h = -11 for z.
-5
Let p = -652 + 656. Solve -4*q + p*r = q + 3, -4*r = -8 for q.
1
Suppose -3*p - 33 + 24 = 0. Let v be (-105)/10*4/p + -2. Solve 4*c = -4*o, -c + 2*o = 7*o - v for c.
-3
Let y be (-1)/((6/(-24))/(1/2)). Solve -2*s - 5*t = -t + 10, 4*s - t + y = 0 for s.
-1
Suppose 0 = 4*z + z + 4*p - 160, -4*z + 149 = -p. Let i = z - 28. Solve -1 - 3 = l, -i = -3*d - l for d.
4
Suppose 5*g = 55 - 35. Suppose -3*r - 11 = -g*x, r - 26 = -3*x - 8. Solve -2*n + 3*u = 8, 4*u - 3*u = -x*n - 20 for n.
-4
Let z(i) = -i**2 + 8*i + 9. Let f be z(8). Solve u + l - f = -l, 3*l = -2*u + 15 for u.
3
Let a be 1/(36/8 + -2 + -2). Solve -a*r - 2 = 3*f, -f + 4*f + 5 = -5*r for r.
-1
Suppose -168*y + 20 = -164*y. Solve -2*q = -y*q + 4*i - 8, i + 5 = -q for q.
-4
Let r be 1/2*30/(-3). Let o = r - -5. Solve -4 = j + 5*v - o, -4*j = 3*v + 16 for j.
-4
Let a(x) be the second derivative of x**3/6 + 3*x**2/2 + 7*x. Let f be a(-5). Let m be f/(-9) - (-144)/81. Solve -5*b = m*r - 5, b + 2*b = -r + 4 for b.
3
Let m(u) = -12*u - 6. Let q be m(2). Let i = -21 - q. Solve -h = 2*j - i, 5*h + 0*h - j - 12 = 0 for h.
3
Suppose -5 = -5*d - 4*n, -2*d + 44 = -4*n + 14. Solve 5*f - d*j = 2 + 3, 2*j = 6 for f.
4
Let o(r) = -r + 4. Let i be o(0). Suppose w + i*m = -3, 13 = w - 4*m - 8. Let q = 122 + -120. Solve y + 5*b = 7, -q*y + 3*b - w = -y for y.
-3
Let r = -494 - -496. Solve -3 = b, 0*w - w + r*b = -8 for w.
2
Let n(r) = -r**3 - 13*r**2 - 30*r + 5. Let u be n(-10). Solve -u*i + 3*l - 10 = 4*l, -i = 5*l + 2 for i.
-2
Let t be ((-705)/12)/(-5) - 2/(-8). Solve 0*i - t = 3*i - a, -i - 5*a = 20 for i.
-5
Let c(a) = 2*a**2 + 2*a + 1. Let u be (-14)/(-49) - 9/7. Let b be c(u). Solve -r - 2*o + b = 6, 0 = 2*o + 4 for r.
-1
Let h(n) = -n**2 - 10*n - 20. Let g be h(-7). Suppose 0 = -7*r + g + 27. Solve r - 3 = -m + 4*c, 0 = -3*c for m.
-1
Let x = 2046 + -2038. Solve -3*j + x = 2*l, -3*l + 5*j = 6 + 1 for l.
1
Let x = -6 + 17. Suppose x*y - 9*y = 0. Solve -5*m = -k + 16, y*m + 11 = 5*k - 2*m for k.
1
Let h = 4 - 2. Let t(m) = -m**3 - 36*m**2 - 32*m + 106. Let r be t(-35). Solve 2*j = 4*j - 3*q + 5, 3*j = -h*q - r for j.
-1
Let u be (24/(-14))/(15/(-70)). Suppose 2 = 3*g - 4. Let t be (-1)/((-21)/(-18))*(-70)/20. Solve u = -t*z - g*z + n, 2*z = -2*n + 4 for z.
-1
Let a be (76/(-57))/((-7)/(-3))*-7. Solve 1 = y + n, -6*y + 11*y + a*n = 9 for y.
5
Let d(n) be the second derivative of n**5/20 - n**4/6 + n**3/6 - 2*n**2 + 3*n. Let q be d(3). Solve -o = -v + 2, -3*o + q*o = -5*v for o.
-1
Suppose 0 = -2*j + 2, 23*u - 20*u - j - 98 = 0. Solve 2*b + 2*v = -0*v - 18, 5*v + u = -2*b for b.
-4
Let j be 180/63*(-7)/(-2). Suppose 6*r = 16 - j. Solve -r = 2*y + 3*s - 6, 2*y - 2*s = 0 for y.
1
Suppose -2*p - 65 = 2*g + 35, -44 = p - 2*g. Let i = p + 50. Solve 14 = 3*r - i*m - 4, -4*m = -4*r + 28 for r.
4
Suppose x + 2*v - 10 = 116, -3*x + 385 = -v. Let s = 137 - x. Let u be -1 + 2 + -1 + 3. Solve -3*q + u*g = -24, 10 + s = 5*q + 2*g for q.
5
Let o = -47 + 89. Let i = 47 - o. Solve -i*v = -2*d + 9 - 34, -2*d + 2*v - 16 = 0 for d.
-5
Suppose 5*l - 3 + 8 = 2*r, -3*l + 8 = r. Let i be 1*l*16/2. Let s = -36 + 40. Solve d - n = 4, s*d - n - i = n for d.
0
Let p = -186 - -208. Solve 0 = -4*s - y + p, y + 35 - 12 = 5*s for s.
5
Let o(r) = r**2 + 7*r + 5. Let z be o(-6). Let q be ((8 - 7) + -1)/(z*1). Solve q = 3*i + d - 11, -5*i + d + 8 + 13 = 0 for i.
4
Let a(n) = 8*n - 16. Let x be a(4). Let j be (2 + 1)/(24/x). Solve j*c - 6*r = -r + 10, 4*r + 5 = c for c.
5
Let p be -1 + (-4)/1*-4. Let y = p - 3. Solve 2*x = 2*o + x + y, 2*o = -3*x + 4 for o.
-4
Let u be 56/21 - 2/3. Suppose u*o + 31 - 109 = 0. Suppose 0*q - 3*q = -o. Solve -4*p - 5*j + 7 = 0, -2*p + j - q = -2*j for p.
-2
Let r be (-276)/(-27) + (-4)/18. Let z(j) = 4*j - 16. Let b be z(r). Solve 3*o + 4*f - b = -o, -o = -5*f + 18 for o.
2
Suppose -o = -2*o - 3. Let g be 6 - (-4 + 4 - o). Solve -g*t + 7*t = 0, -t = -4*c - 16 for c.
-4
Suppose -2*q - 3*j = -52, -2*q = -36*j + 41*j - 60. Let d(t) = -t**2 - 2*t - 1. Let n be d(-1). Solve 0 = -5*x - 5*r + q, -r + 2 + 0 = n for x.
2
Suppose 11*p + 155 = 42*p. Solve p = 5*j + n - 5, 11 = 2*j - n for j.
3
Suppose 5*d - 17 = 4*s + 24, 21 = d - 4*s. Solve -o + d = 2*k, o = k + 2*o for k.
5
Let h = 676 - 674. Let d(x) = x**3 - x**2 + x - 3*x**3 - 2*x**3 + 1. Let q be d(-1). Solve 5*f + q*g = -h*g + 15, -2*f + 2*g + 6 = 0 for f.
3
Suppose 2*y = 5*d - 84, 0*d + 84 = 4*d + 4*y. Let x be 1 - (-1 + 3)*9/d. Solve x*a - 2*a + 28 = 4*v, 0 = -v + 5 for a.
4
Let p be 191/9 - 10/45. Suppose -l - 6*l = -p. Solve 3 = r + 3*a - 2, 4*a = l*r - 15 for r.
5
Suppose q + 5 = -d, 0 = -2*d + 4*d - q + 1. Let h = d + 12. Solve -2*f + h = 4*r, -r + 6*r = 4*f + 45 for f.
-5
Suppose 0 = -3*q + 14 + 4. Solve a + 5 = q*a + 2*m, 5 = 5*a - 2*m for a.
1
Let z(q) = -17*q + 19. Let n be z(1). Solve 5*p + 23 = -4*s, -s = -n + 4 for p.
-3
Suppose 0 = -2*g - 3*p + 6*p + 91, -41 = -g + 3*p. Suppose -3*n = 41 - g. Solve -n*b + 0*t = -5*t - 13, 0 = -2*b + 4*t + 10 for b.
1
Let f be (2 + -1)*(1 + 2). Solve 0*t - 21 = 3*x - f*t, 0 = -x - 5*t + 11 for x.
-4
Let c = 33 - 8. Suppose -4*n - n = 4*p - 22, c = 5*p + 5*n. Solve -3*g + 9 = 3*h, p*h + 4*g - 2 = 5 for h.
5
Let r be 14/2 + (-2 + 4 - 5). Solve 20 = -4*v + 3*l, -4*l = r*v - l - 4 for v.
-2
Let s = -10 - -15. Let v = s - -13. Suppose -2*y + 4 = -6, 3*c - 3*y = v. Solve 4*r - 12 = 4*b - 0*r, 2*b - 3*r + c = 0 for b.
2
Let d = -406 - -410. Suppose 3*f - 117 = -3*r, 0 = -5*f - 2*r - 2*r + 194. Let z be f/(1 - (0 + -1)). Solve -5*a = -5*h - 0*a - 10, 5*h + d*a + z = 0 for h.
-3
Suppose 2*n + 36 + 264 = 0. Let u be ((-2)/(-3))/((-20)/n). Solve -b = b - m - u, -4*b = -3*m - 11 for b.
2
Let z(l) = -l**2 + 15*l + 46. Let o be z(17). Let h be (-1)/(3/o*-2). Solve 6 = -h*r - 5*v, -4*r - v + 3*v = 12 for r.
-3
Suppose 4*a = -2*y + 20, 0 = 3*y - 4*a - 7 - 3. Solve 2*x - 4 = r, 12 = -y*r + 3*r + 2*x for r.
-4
Let j be (10/7)/((-165)/35 - -5). Solve 0 = j*a + 4*i + 4 - 11, 3 = i for a.
-1
Let l(k) = k**3 - k**2 - 12*k + 3. Let r be l(-3). Suppose -s + 2*s - r = 0. Solve 2*h = -s*h - 2*i + 2, -2*i = 2*h + 4 for h.
2
Let g be (1 - 4)/((-21)/56). Suppose 24 - g = 2*h. Let s be (-3)/6 + 4/h. Solve -3*a + 4 = 3*u - 5, -2*a + 2*u + 6 = s for a.
3
Let y(s) = 5*s + 197. Let w be y(-39). Solve 0 = -3*i - 9, -27 = -w*j + 7*j + 4*i for j.
-3
Let t(j) = -14*j + 41. Let m be t(7). Let f = m - -77. Solve 3*d - 2 - 1 = 0, 0 = 4*i - 4*d + f for i.
-4
Suppose 0 = -3*b + 10 - 16. Let s be b/(-11) - 341/(-121). Solve s*w - 9 = -c + w, -2*w = 5*c - 29 for c.
5
Suppose -4*g - 56 = -8*g. Let i be ((-5 - -2) + g)*(0 - -1). Solve -3 = w, -i + 2 = -3*h + w for h.
2
Let k be 1/(-3) - 58/(-3). Let y = 24 - k. Solve 0*b = -2*b - 3*u - 11, y*b + u = 5 for b.
2
Let t = 8 + -7. Let a(y) = y**2 + 30*y + 98. Let g be a(-27). Solve -t = -4*r - g, 0 = 3*x + 4*r + 19 for x.
-1
Let j be (-84)/6 + 12 - (-6)/1. Let a = 4 - 1. Let n = -2 + a. Solve -y + 2*c - 4 = 0, 4*y - j*c + n = -7 for y.
0
Let x(g) = 2*g**3 + 22*g**2 - 22*g + 26. Let j be x(-12). Solve -p - 3*t - 14 = 0, -9*p + j = -4*p - 3*t for p.
-2
Suppose 12 = 6*v - 30. Let g = -5 + v. Let l be (-2 - -4)*13/2. Solve 6*k + l = 2*k + 3*h, g*k = -4*h - 12 for k.
-4
Let x be (-13)/(364/(-1281)) + 3/(-4). Suppose x*y + 6 = 47*y. Let m be 0 + (2 + -1)*2. Solve -m*c = -y*i + 9, -8*i + 4*c = -3*i - 13 for i.
5
Suppose 2*b - 5*b = -11*b. Solve 5*g + 0*y - y + 12 = b, 2 = -5*g -