, -2*s + 4*r = 0 for s.
-2
Let l be (-24 - -28)/(3 - -1)*31. Solve 5*z = -12*r + 8*r - l, 5*r = 4*z - 8 for r.
-4
Let y = -87 - -91. Let g(l) = l**2 - l - 3. Let h be g(3). Let r be ((-6)/2 + h)*-1. Solve -y*f = 5*c - 21, r = 3*f + c + 2*c - 15 for f.
4
Let s = 3 + 2. Let l be ((-11)/(-33))/(2/(-12)). Let y be 3/2*l*-1. Solve 6 + y = -3*p, -4*v - 5*p = -s for v.
5
Suppose 78*i = 95*i - 85. Solve 36 = 4*m - 4*v, 3*v + 17 = i*m - 4*m for m.
5
Let i(o) be the second derivative of o**3/2 - 5*o**2/2 - 4*o. Let m be i(-6). Let k = m - -23. Solve -p - 2*v - 1 = -k*v, -2*p = -3*v - 12 for p.
3
Let f be (0 + 2/(-4))/((-201)/804). Solve 0 = 3*c - 3*s + 9, s - 5*s = -f*c - 14 for c.
1
Suppose -12 = 5*i - 4*r, 4*i - 4*r = -5*r + 3. Suppose i = -b + 16 + 14. Let w be (6/9)/((-4)/(-30)). Solve b = -w*q + 5*y, -3 = 5*q - 2*y + 15 for q.
-2
Suppose -4*f + 18 = -2*t, -240*f + 245*f + 2*t - 9 = 0. Let d be (-2)/(-4)*2*4. Solve 0 = d*b + o - 11, f*o - 9 = -b + 2 for b.
2
Let o be ((-24)/21)/(8/(-28)). Let w(f) = -f**3 + 5*f**2 - 3*f + 5. Let v be w(5). Let l be 15 + v - (0 + 2). Solve 2*k = o*q + 12, -l*k - 14 = -q + 3*q for k.
-2
Let r(j) = -j - 10. Let l be r(-8). Let h be (-4)/l - 0 - 35. Let w = -18 - h. Solve f = -3*d - 1, 3*f - 4*d + d = -w for f.
-4
Suppose -5*m - 3*z = 338, -4*m - 152 = -2*m - 3*z. Let o = 73 + m. Solve -3 = -l + p - 5, o*l + 20 = -4*p for l.
-4
Suppose 3*l - 22 = l. Let m(t) = 2*t - 7. Suppose 0 = 2*x + 4, -u + 2*x - 16 = -5*u. Let p be m(u). Solve -5*y + 3*i - 6 = 21, -p*y - 5*i + l = 0 for y.
-3
Let t(f) = -f**2 - 2*f + 82. Let i be t(-10). Solve 18 = 3*k + 3*m, -i*m + 15 = 3*m for k.
3
Suppose 11*p + p = 0. Solve -4*g + 4 = -n + 3*n, 2*n + g - 7 = p for n.
4
Let t be (-28)/(-10) - (-40)/(-50). Suppose 6 = 3*x - x - t*w, x = 5*w + 7. Solve 2*k - h - 10 = 0, -3*k = -k + x*h + 2 for k.
3
Let i = -1302 - -1307. Solve -2 = -c - 3*r, -r = -i*r for c.
2
Suppose -7*n - 25 = -109. Suppose 4*h = h - 2*g + 7, -3*g + n = 5*h. Solve 0*j - 11 = -3*j + 4*x, -h*j - 2*x - 1 = 0 for j.
1
Let s be (-25)/(-5) + (0 - (-6 - -1)). Solve -5*d + s = 0, 5*d - 4 + 2 = -4*b for b.
-2
Suppose -5*n - 4*q = -19, n - 2*n = -5*q + 2. Suppose 20 = 5*x, -4*x + 9*x = -n*w + 23. Solve w = 3*h + 2*z, -5*h + 6*z - 3*z + 8 = 0 for h.
1
Suppose 2*m = -4*h + 126, h + 2*m = 5*h - 146. Let o = -29 + h. Solve -q + 30 = o*a, 3*a = -a - 3*q + 35 for a.
5
Suppose 1 = 3*d - 2*f - 7, -d = 2*f - 8. Suppose 0 = -3*r + 4*r + d*k + 17, 4*k = -5*r - 5. Solve 0 = 5*b + 5, -2*u + u - 5*b - r = 0 for u.
2
Suppose 3*l - 4*l = 2. Suppose -162 = 23*h - 14*h. Let c be 9/l*12/h. Solve 3*r - 5 = q - 2, c*q - 2*r - 5 = 0 for q.
3
Let d be -1 + 3 + -13 - -1. Let r = d + 2. Let i = r - -12. Solve 0 = 2*b + 2*q - 14, 0*b - i*q = -4*b - 4 for b.
3
Let o(k) = 3*k**3 - 9*k**2 + 11*k - 13. Let a be o(3). Solve a = -4*s, -s = 4*z - 2*z + 5 for z.
0
Let z(f) = 3*f**2 - 45*f + 2. Let t be z(15). Solve 2*p + t*o = -10, -5 = 4*p - 4*o + 15 for p.
-5
Let l(m) = -2*m. Let b be l(3). Let v(n) = n**3 + 7*n**2 + 5*n + 4. Let p be v(b). Suppose 0 = -2*o + p*o - 24. Solve -x = 3*y + 2*x, o*y - 3 = -4*x for y.
-3
Suppose -14*a - 4 = -12*a - 3*k, -8 = -2*k. Solve 0 = -g, u + a*g = -0*u - 3 for u.
-3
Let u = -266 - -271. Solve -3*j + 32 = 2*j - 3*y, y + 24 = u*j for j.
4
Let f be (-93)/(-15) - 2/10. Let m = -260 - -267. Solve -4*i - m = -3*y, 5*i - f*y + 10 = -2*y for i.
2
Suppose 5*h - 21 + 1 = 0. Let c be (h/14)/((-7)/(-49)). Suppose c*b - 15 = -3*b. Solve -b*y - 6 = -s - 20, 4*s = -4*y + 24 for s.
1
Let s(t) = 2*t - 19. Let k be s(13). Suppose -n = -0*n - k. Solve 2*m + 10 = -4*f, -4*m + 3*f - n = 2 for m.
-3
Suppose -6*o + 49 = o. Suppose o*s = 24 + 4. Solve 4*t + s*j + 14 = 3*j, -2*t = -2*j + 2 for t.
-3
Suppose 230 + 238 = -6*p. Let z = 78 + p. Solve 3*a + 2*x - 3*x = z, -3*a - 3*x = 12 for a.
-1
Suppose l - 4*l + 4 = -2*v, 8 = 2*v. Suppose -l + 4 = 2*w. Solve -4*j + w*q + 32 = -3*q, -2*j - 3*q = 2 for j.
5
Let i(n) = -n**3 + 9*n**2 + 12*n - 10. Let l be i(10). Suppose -b + l = 4*b. Solve 16 = b*j + 2*j, -3*x - 3*j = 0 for x.
-4
Suppose 0 = 3*b - 6*b. Suppose 2*f - 2 - 4 = b. Suppose f = 5*z - 12. Solve -18 = -2*y - z*p, 2*y + 1 = 3*p - 5 for y.
3
Let q be (-2)/(-3)*9/2. Solve -q*g + 2*s - 15 = 0, 3*s + 1 = -2*g - 9 for g.
-5
Suppose -23 - 208 = -77*d. Solve 0 = 4*u + 3*t - 20, -2*t + d*t - 4 = 0 for u.
2
Let r(o) = o**2 + 9*o + 8. Let s be r(-9). Let p = 15 - s. Solve b - 2*n - p = -5*n, -b - 5 = -3*n for b.
1
Let u(c) = 5*c + 26. Let p(i) = 4*i + 25. Let q(f) = 4*p(f) - 3*u(f). Let h be q(-12). Let a = h + -10. Solve 3*k + 2*k - 2*s - 9 = a, k = 3*s + 7 for k.
1
Let a(j) = j**2 + 14*j. Let x be a(-13). Let f be (x + 13)/(-1*3). Solve -3*g + 5*b + 1 = f, 4*g + 2*b + 3*b - 13 = 0 for g.
2
Suppose 0*h - 3*h + 5 = k, -2*h = 3*k + 13. Let t = -3 - k. Solve 4*g - i + 8 = 0, 4*g - 2*i = -4*i + t for g.
-1
Let n be (-6)/18*(-3)/1*2. Solve -2*a + q = 3*a + 10, -n*a - 11 = q for a.
-3
Let w be -3*(7/3 - 3)*8. Suppose 0 = w*v - 10*v - 90. Solve v = -3*p, 2*t - 5*p = 3 + 28 for t.
3
Suppose 2*w - 3 = 5. Let f = -170 + 172. Solve -f*c = -3*d - 4, -4*c + d - 28 = w*d for c.
-4
Let y be 22/6 + 1/3. Let z = -5 - 15. Let o be (-168)/z - y/10. Solve -5*k = -3*p + 12, 3*k = 2*p + 2*k - o for p.
4
Let t = 37 + -52. Suppose 2*c - 4*r = -64, 5*c - 2*r - 38 = -166. Let i = t - c. Solve 0 = 3*w + 2*f + 23, 2*w + i = w - f for w.
-5
Suppose -4 + 7 = -k - 4*u, -2*k - u + 8 = 0. Solve -4*r = -3*g - 10, 4*g + k*r + 11 - 39 = 0 for g.
2
Suppose 2*j - 3 = -7. Let h = j + 5. Let t be 64/h - 14/(-21). Solve -4*b + 0 - t = 2*q, 3*b = -2*q - 18 for b.
-4
Let u(h) = -7*h**2 + 6*h - 8. Let g(p) = p**2 - p + 1. Let t(r) = -6*g(r) - u(r). Let k be t(1). Solve 0 = -k*x + 3, -x - 4*x = 2*c - 15 for c.
5
Suppose -47*l + 864 = l. Solve h = 5*s + 19, 3*h + 0*s - l = 2*s for h.
4
Let b be (-5 - -9)/((-1)/(-2)). Suppose 2*w + b = 2*a, 8 = 5*a - 4*w - 9. Solve 4*x - 4 = -4*v, 4*v + 4 = 3*x + a for v.
0
Let s = 5 - 8. Let n be -4 + (-5 - s - -8). Solve t + 3*v - 3 = n*t, 0 = -5*v for t.
-3
Let r(a) = a**2 + 8*a - 7. Let f be r(-9). Suppose -c + 0 - 2 = 0, -2*c = 2*g - 2. Solve -15 + 2 = g*y - 4*l, -y + 9 = f*l for y.
1
Let w(x) = x**2 + 23*x + 3. Let b be w(0). Solve b*v = -3*y - 9, 3*y = -4*v - 0*y - 8 for v.
1
Let v(j) = j**2 - 12*j + 13. Suppose 4*y + 5*p = -3 + 27, -p + 51 = 5*y. Let d be v(y). Solve -d*q + 0*l - 20 = -4*l, -q + 3*l = 15 for q.
0
Let u be 2 - (3 - 3)/3. Suppose -15 = -2*x + p, u*x - 4*p + 7*p = 3. Let r be 4*3/x - -2. Solve 0 = -2*i + l + r, 3*l - 2 = -8 for i.
1
Let d(t) = t**2 + 15*t - 13. Let i be 134/(-8) - 6/(-8). Let u be d(i). Solve 0 = -5*z + u*s + 7, -3*z + 4*z - 3*s = -1 for z.
2
Let f = 947 + -940. Solve 13 = d + f*v - 10*v, 3*d = 5*v + 27 for d.
4
Let a(m) = -7 + 14*m - m**2 - 7*m - 2. Let y be a(8). Let h = y + 20. Solve 0*v + 2*v = z - 2, 3*z = -3*v - h for v.
-1
Let s = 70 - 70. Suppose 2*o - 4 - 10 = s. Solve 0 = -3*r + q - 2, -1 = -5*r - q - o for r.
-1
Let b = 59871 - 59867. Let c(w) = w - 1. Suppose 13 + 2 = 5*p. Let g be c(p). Solve g*i - k = -13, -4*i + 0*k - 8 = b*k for i.
-5
Let d(g) be the third derivative of g**6/120 - g**5/3 - 23*g**4/24 + 47*g**3/6 + 25*g**2. Let n be d(21). Solve -4*a - 4 + 9 = -y, n*y = -2*a - 3 for a.
1
Let j(p) be the second derivative of p**5/20 - p**4 - 11*p**3/6 - 12*p**2 - 21*p. Let n be j(13). Solve 0 = -2*z + o + o + 14, 5*o + 23 = n*z for z.
4
Let a(z) = -6*z**2 + 44*z - 43. Let d be a(6). Solve -4*o + 12 = 4*c, 2*o = -d*c - o + 19 for c.
5
Suppose 55 = 5*c + 4*l, 4*l - 12 - 28 = -4*c. Suppose 11*a = c*a - 8. Solve -3*h = -0*h + 4*j - 5, a*h = 5*j + 11 for h.
3
Let y(i) = -3*i + 51. Let s be y(15). Suppose -2*x = 10, -s*x = k - 2*x - 10. Solve -4*b - p = 17 + 6, -3*b = 5*p + k for b.
-5
Let d = -1 + -1. Let k be (624/(-3))/(-2) - 4. Let q be d - 1 - k/(-4). Solve 3*f - 5*p + p = -q, 30 = -5*f + 5*p for f.
-2
Let l = 41 - 31. Let x = 14 - l. Solve 5*d - u + x - 20 = 0, 3*d = -4*u + 5 for d.
3
Suppose 292*d - 323*d + 155 = 0. Solve o - 7 = -4*n + 12, 5 = -5*o + d*n for o.
3
Suppose 0 = -7*k + 2*k + 40. Suppose d - 2 = 0, -3*w + k = -d - d. Solve w*r - 2*r = 3*h + 4, -r = -h - 3 for h.
2
Let b(g) = g**2 + 18*g + 5. Let i be b(-18). Solve -i*s + 3 = 2*w, 0*s - 4*s = 2*w - 2 for s.
