
2
Let y(r) = r**2 + r + 4. Let x be y(0). Solve 5*v - x + 15 = -2*k, 0 = -4*k + 8 for v.
-3
Let x(z) = z**3 - 7*z**2 + 8*z - 8. Let f(k) = k + 4. Let d be f(2). Let u be x(d). Suppose -u = -g + 1. Solve 2*w = j - g, -w - 2*w + 5*j + 3 = 0 for w.
-4
Suppose -3*j + 4*f + 24 = 0, 0 = 3*j - j + 3*f + 1. Suppose 3*c = j + 14. Suppose 4*d = c*d - 4. Solve -d*q = -2*l + 18, 0 = 2*q + 3*l + l - 12 for q.
-4
Suppose -4*i + 3*i = k - 12, -2*i - 4*k = -26. Suppose 4*t + i = 31. Solve -4*r + 24 = 4*u, 5*r = t*u + 9 + 11 for r.
5
Suppose 2*p - 7*j = 7*p - 39, 2*p - 5*j = 0. Solve -2*d + 1 = p*h, 3*h - 3*d + 12 = -0*h for h.
-1
Suppose -3*y + 4 = -8. Suppose y*m - 3*m = 0. Solve 4*f - s - 2*s = m, 2*s - 23 = -5*f for f.
3
Let x be -4 + (0 - 75/(-5)). Suppose 9*k + 10 = x*k. Solve k*r + 6*m = m + 30, r + 4*m - 18 = 0 for r.
2
Let k be -19*(-3)/(-6)*-2. Suppose -5*u + 58 = 4*d, -4*d + 2*u + k + 25 = 0. Solve 3*l - d + 0 = 2*g, 0 = 5*l - 10 for g.
-3
Let z be 11/22*-19*-2. Let v = 5 - 0. Solve 0 = -a - v*l - z, 4*a + l = -2*l - 8 for a.
1
Let p(q) = 2*q**2 + 48*q + 4. Let a be p(-24). Suppose 0 = -4*v - 20, -3*r = 2*r + a*v + 10. Solve 5*y - 2 = -r*c, -6*y + y = -10 for c.
-4
Let w(d) = -d**3 - 4*d**2 - 3*d + 2. Let j = 12 + 2. Let v be (21/j)/((-2)/4). Let b be w(v). Solve -3*o = s + b - 11, 2*s + 2*o = 6 for s.
0
Suppose -3*x + 0*w - 8 = w, 4*w = x + 7. Let y = 2 - x. Let z(c) = 4*c**3 - c + 1. Let r be z(1). Solve -4*a + y*j - 18 = 0, -r*a - 3 = j + 3 for a.
-2
Suppose 9*v - 61 = 83. Solve 2*f - 3*y = 4*f - 2, 4*y + v = 2*f for f.
4
Suppose 7*w + w = 0. Solve w = 2*v + 8, 0 = -5*o - 3*v - v - 11 for o.
1
Let r = -29 + 32. Suppose -4*d + 11 = r. Solve 3*k + k + 4*y = 16, 0 = 4*k - d*y + 2 for k.
1
Let a(u) = 2*u - 45. Let f be a(24). Solve 6*r + 2*s - 23 = r, -f*r = 3*s - 21 for r.
3
Let s be (6/10)/((-6)/(-50)). Solve -5*m = -s*l + 15, -3*m + 24 = 5*l + m for l.
4
Let d(u) = u + 10. Let b be d(-8). Suppose l = -b*l. Let r be 7 - (6 + l + -3). Solve -2*n + 6 = -5*i, -3*i = r*n + 2*i - 12 for n.
3
Suppose -5*c + 17 = -2*r, -3*c + 4*r + 16 = c. Suppose c*v - 20 = -v. Solve v*q - 16 = -4*d - 0, 5*d - 20 = -2*q for q.
0
Suppose r = 2*d + 6*r - 30, -5*d - 5*r = -45. Solve -b = -0*u - d*u - 23, -5*u = 5*b + 35 for b.
-2
Let l be 1/(-4) - (150/(-24) - 8). Solve -3*i - l = -4*v, 2*i - 6*i = -v - 3 for i.
2
Let b be 4/1*90/4. Suppose -40*f + 178 = 658. Let l be f/b - 4/(-30). Solve 4*h - 8 = 3*p, l = 8*h - 3*h - 4*p - 11 for h.
-1
Suppose -30 = -w - 26. Solve 3*p = 0, w*m - 3 = -4*p + 1 for m.
1
Let a be ((-10)/(-4))/((-8)/(-16)). Let q be a*1/(25/20). Solve -p = q*s + 5, -20 = 5*p - p - 3*s for p.
-5
Let t = -178 + 179. Let l(u) = -u + 2. Let i be l(0). Suppose -i*m = -4*m. Solve t = q - m*q, 5*d - 4*q = 11 for d.
3
Let k = 13 + -5. Suppose k = p + p + 2*w, -4*p + 10 = -2*w. Solve -o = -5*h + 2*h - p, 5*h - 2*o + 6 = 0 for h.
0
Let q = 93 - 108. Let b(r) = r**3 + 14*r**2 - 17*r - 25. Let u be b(q). Solve -f - 6 = u*x - x, 0 = -3*x - 3*f for x.
-2
Let q(k) = k**2 + 4*k + 2. Let c be q(-4). Let g = 66 + -70. Let w be (g - -4)*c/4. Solve -5*a - 5 = 5*z - w, -z - 10 = -2*a for z.
-4
Let w = -99 + 183. Let l be 6/21 + -3*(-20)/w. Solve 0 = -i - 5*r - 23 + l, -2*i = 2*r + 12 for i.
-2
Suppose x - 4*x = -5*x. Suppose -7*o + x*o = 0. Solve 3*b + f + 1 = -o*f, -25 = 5*b - 3*f for b.
-2
Let a = -16 + 10. Let t be (-4)/8 - (-117)/a. Let l be 3*(t/3)/(-5). Solve l*p = -k + 5*p + 6, 4*p + 20 = 2*k for k.
2
Let g = 2 - -3. Suppose 0 + 2 = -v. Let d be (2 - 3)/(1/v). Solve -3*s - g*n + 9 = 0, 6 = 2*s - 0*s - d*n for s.
3
Let l(p) = 8*p - 46. Let d be l(8). Solve -q + 4*u + d = -0*q, 12 = 4*q - 4*u for q.
-2
Let c(j) = j**2 - j - 3. Let t be c(3). Let i(o) = 4*o + 3. Let m be i(t). Let f = -518 + 519. Solve 4*z + v = -m, -v + 18 - f = -4*z for z.
-4
Suppose 4*i - 10 = 14. Let l = -4 + i. Let r(q) = q**3 - 7*q**2 - 8*q. Let w be r(8). Solve -l = -3*t + 2*d - 0, 4*t + 2*d + 2 = w for t.
0
Let s = 793 + -788. Solve 0 = -2*r + 2*x - 10, 6*x - 4*x = s*r + 22 for r.
-4
Let o(y) be the first derivative of -y**3/3 + 7*y**2 + 5*y - 1. Let k = -35 + 49. Let h be o(k). Solve 3*c = h*g + 5*c + 23, 0 = -5*g - 3*c - 27 for g.
-3
Let n = 30 - 29. Let s be -1 + n + (15 - 1). Suppose -2*x - 2 = -q - 3, 2*q - 19 = -3*x. Solve -x*u + 14 = 2*a + 3*a, s = -3*u + 2*a for u.
-2
Let q = 4 - 2. Let x(d) = 14 + 3 - 1 - 14*d + d**q. Let i be x(13). Solve n + 2 = 0, i*s - 5*s + 2*n = -8 for s.
2
Suppose -x - 5 = 0, 2*b - x + 3*x + 140 = 0. Let c = 65 + b. Solve 5*p = -r + 3, 5*r + p - 5 + 14 = c for r.
-2
Suppose 6*c - 112 = -352. Let t be (-4)/(-12) + c/(-15). Solve 4 = -3*u + x, -4*x = t*u + 22 - 8 for u.
-2
Suppose -7*h = -2*h. Suppose h*o - 5*o = -10. Suppose 5*i + 75 = 42*i - 36. Solve g - i*g - 18 = 5*s, s - o = g for g.
-4
Let b = -31 + 34. Suppose b = 2*s - f - 4*f, 0 = -s - 3*f + 7. Solve 0 = s*l - 4, -3*l + 6*l + 12 = 3*p for p.
5
Let i = -3 + 5. Let c be 4/i + (-1 - -5). Suppose 2*x = 4*x - c. Solve h = -3*m - h - 4, -x*m - 8 = h for m.
-4
Let a be ((-25)/(-5) + -10)*-1. Let m = 6 + -3. Solve j = a*r + 10, 3*j + m*r = -0*r - 24 for j.
-5
Let f be (-1)/2*18/27*-12. Solve -2*b - 3*q + 9 = -0*q, f*q = 5*b - 11 for b.
3
Suppose 0 = -22*q + 7*q - 90. Let u be 48/18 - (-4)/q. Solve 2 = 2*c + r - u*r, c = -3*r + 1 for c.
1
Let d(c) = -c**2 + 4*c. Let q(i) = -2*i + 2. Let p be q(-1). Let l be d(p). Suppose 3*h + 0 - 12 = l. Solve 9 = -4*r - z + 29, -4 = h*r - 5*z for r.
4
Let y = -15 + 18. Solve y = 5*l + 3*k + 2, 5*k + 13 = -l for l.
2
Suppose 0 + 8 = 5*d - 4*m, -4*m - 4 = -4*d. Solve 9 + 6 = 3*x + r, d*x - 20 = 4*r for x.
5
Suppose l + 2*l = 3*n + 9, 6 = -2*l - 4*n. Solve 3*o + l = -5*t, -o - 4*t + 0 = -2 for o.
-2
Let u(q) = 4*q - 5. Let j be u(3). Let b be j*3*10/15. Solve 0 = -a - 1, -2 + b = -4*c - 4*a for c.
-2
Suppose 0 = 2*k - k - 16. Suppose 0 = 2*z - 5*s + 19, 3*z + s - 34 = -4*s. Suppose z*a + k = 5*a. Solve -2*j - h = -1, -2*h + 4 = j + a for j.
2
Let i = 6 - 3. Suppose 28 = 2*c - 10. Solve 0 = -i*l + 12, -4*m + l - c = -m for m.
-5
Suppose -5*i - 5*q = 145, 5*q - 7*q + 117 = -5*i. Let b be (-1)/((-95)/i - 4). Solve -3*c - c - p + 3 = 0, -b*c = 5*p + 15 for c.
2
Let i be 6 - (4 - 4)/7. Solve 1 = -5*y + 3*l + i, -4*l = 5*y - 5 for y.
1
Let d(r) = 2*r**2 - 12*r - 3. Let p be d(7). Solve -3*o - 15 - 14 = 5*m, -p = -3*o + 5*m for o.
-3
Suppose 5*y = y + 16. Suppose -45 = -y*w - w. Solve 2*f - 3 = -h, 5*f - 4*h - w = 31 for f.
4
Let p be 1 - 0 - 4*1. Let x be 0 - ((-12)/3 + 11). Let v be p/(-4)*(-28)/x. Solve -b + 2*t = v, -t = -0*t for b.
-3
Suppose 22 = -28*j + 442. Solve f + 4*h + j = 0, 7*h - 4*h = -5*f - 24 for f.
-3
Let x(h) = -17*h + 230. Let c be x(13). Solve 3*w = 3, 8*w - c*w = k - 1 for k.
0
Suppose 0*n + 12 = -2*n. Let p be 192/9 - 4/n. Let g = 39 - p. Solve 3*y - 4*z = 16, 3*y - 2*z - g = -3 for y.
4
Let i(s) be the third derivative of -s**4/24 + s**3/3 + 19*s**2. Let t be i(-1). Solve -t*k - 6 = -3*m - 27, 5*m + 4*k + 8 = 0 for m.
-4
Let o(z) = -z**2 + 19*z - 29. Let h be o(17). Solve -r - 4*r = -p + 22, 5*r - h*p = -10 for r.
-5
Suppose 2*g = 11 - 7. Suppose g*b + 2*b - 3*r - 11 = 0, -3*r = 2*b - 19. Solve a - 15 = -6*s + 3*s, b*s = 3*a + 11 for a.
3
Suppose 2*w + 4*n = -2, 2*n - 23 = -5*w + 6*n. Solve -5*x = -2*b + 19, 0 = -3*x - 6 - w for b.
2
Let j(v) = v**3 + 17*v**2 + 14*v - 18. Let m be j(-16). Let a be (-405)/(-189) + (-2)/m. Solve 0 = a*b - i - 12, 5*b + 1 = 3*i + 32 for b.
5
Suppose 2*h - 10 = -2*c, 14*c = 10*c - h + 23. Solve 3*v - 16 = 2*u, -4*v - c - 6 = 4*u for v.
2
Let n(t) = t**3 - 2*t**2 - 5. Let h be n(3). Solve 0 = c + 5*w - 19, -h*w - 4 + 0 = -4*c for c.
4
Let p be 345/60 - (-2)/8. Let r(f) = -2*f + 16. Let j be r(p). Solve -28 = 3*h - j*k - 4, 0 = h - k + 7 for h.
-4
Suppose -7*o - 208 = -3*o. Let p = 55 + o. Solve 3*t = -p*l + 21, l + l = -3*t + 17 for l.
4
Let l(i) = i**3 - 3*i**2 - 2*i - 3. Let w be l(4). Let g = 124 - 73. Let q = g + -46. Solve w*y + 18 = y + m, 10 = -4*y + q*m for y.
-5
Let d(s) = s**3 - 6*s**2 + 9*s. Let c = -21 + 25. Let i be d(c). Solve 0 = -j + 2*r + i, -2*j = j + r + 16 for j.
-4
Let d(c) = -3*c**3 - c**2 + 3*c + 3. Let y be d(-1). Suppose y = 3*g - 25. Solve -2*q + 4*u + 23 - g = 0, -2*q - 5*u - 22 = 0 for q.
-1
Let u(x) = -6*x + 