2 - 2 = 0, -2*n = 0 for p.
5
Let v(i) = -i + 13. Let l be v(8). Suppose -5*k - l*z = -40, 2*z - 6 - 1 = -k. Solve 3*w + 2*m + k = -m, 3*w - 3*m + 9 = 0 for w.
-3
Let g = 104 - 94. Let x be (-3)/(-18)*g*(13 + 2). Solve 0 = 5*n - 3*k + x, -4*k + 0 = -n - 5 for n.
-5
Let n = -10 - -12. Suppose -o + 8 = -4*r + 2, n*r - 8 = -5*o. Suppose -20 = -2*t - o*t. Solve -t*c - 8 = -d + 14, -18 = 4*c - d for c.
-4
Suppose c - 40 = 4*l - c, -5*c + 12 = -2*l. Let s = l - -9. Let w be s/(-4)*-2 - -3. Solve 4*k - 5*j = 17, w*k + j + j - 4 = 0 for k.
3
Suppose 30 - 24 = 3*l + o, -4*l = -o - 8. Let p = 3 - -3. Solve 28 = -l*c - 4*x, 2*c - 5*x - 11 - p = 0 for c.
-4
Suppose 11*t = 3*s + 7*t - 21, -4*s - 3 = 5*t. Solve -4*h = -2*f + 20, h + 10 + 5 = s*f for f.
4
Suppose -14*i = -10*i - 56. Suppose 0 = 5*o - 4*c + i, 0*o + 12 = -4*o + 4*c. Let g be (-1)/o - 3/6. Solve g = -3*t - 4*z + 8, -4 = 2*t - 3*z + 2 for t.
0
Let a = -8 - 1. Let h = a + 14. Suppose -4*i - 10 = -6*i. Solve -4*k + h*l = -i + 36, 3*k - 5*l = -27 for k.
-4
Let r(w) be the third derivative of 0 - 1/24*w**4 + 0*w + 1/3*w**3 - w**2. Let l be r(-2). Solve 2 + 7 = 5*x + 4*a, 0 = -l*x - 3*a + 8 for x.
5
Suppose 0 = 6*a - a - 75. Let y be (-5)/(25/15) + -2. Let m = a + y. Solve 0 = 5*f - c - m, -5*f + 20 = -c - 2*c for f.
1
Suppose -123*m + 121*m + 6 = 0. Solve -3*t = 5*j + 4, j = -2*j - 2*t - m for j.
1
Suppose 0 = -2*y + 2*r + 4, -4*r = -2*y - 5 + 3. Let i(m) = -m**2 + m. Let n be i(1). Let s = n + 2. Solve 20 = -y*p + 4*f, s*p - 3 = -5*f - 11 for p.
-4
Let y be (-438)/365 + 86/5. Solve 0 = -5*l - r + 5 + 9, r = 5*l - y for l.
3
Suppose -64 = -3*u - 20*f + 15*f, 0 = -2*u + 3*f + 11. Suppose 2*b - u = w - b, 0 = b - 5. Solve -4*v - 6 = -w*n + n, 0 = -4*n - 5*v - 18 for n.
-2
Suppose 5 = -3*a - 5*y, -2*a + 6 = 3*y - 2*y. Let n be (2 - 0 - -13) + -1. Solve a*r = 3*k - n, 4*r - k + 2*k = -1 for r.
-1
Suppose g - s = -0*s + 144, -g = -2*s - 148. Suppose 1 = k - 4. Suppose g = -w + k*w. Solve -2*h + 20 = -2*c, -2*c - w = 2*h - 7*h for h.
5
Suppose 3 = 3*c, 6 = 2*a + 5*c - 5. Solve 0 = 4*x - a*k - 4 - 5, -3*x + 12 = 3*k for x.
3
Let l(r) = -r**2 - 7*r + 34. Let n be l(-10). Suppose -8*f + 18 = -n*f - 2*z, 0 = -4*f + z + 19. Solve 0 = 3*w - f*w - 5*c - 4, -3*c + 8 = -4*w for w.
-2
Let o(r) = 48*r - 143. Let a be o(3). Solve -k - f - a + 0 = 0, -k - 17 = 5*f for k.
3
Let c be 4 + -4 - -5 - 2. Solve -5*h = -i - 3*h + 9, -2*i + c*h + 16 = 0 for i.
5
Suppose 16 = 4*o, -8 = 6*x - 3*x - 5*o. Solve -2*t = -x*c - 0*t, 5*c = -t for c.
0
Let u be ((-242)/26 - -9)*104/(-16). Let k = 8 + -5. Let h be 8/5 - (-4)/10. Solve u*v + k = -3*n, 1 + 13 = -4*v + h*n for v.
-3
Let j(c) = c**2 - 15*c + 3. Let v be j(15). Let u be (v - 0) + 17 + 5. Solve 0 = 5*s - 5*b + u, -5*s - 2*b + 5*b = 21 for s.
-3
Suppose 0 = 4*c + 4*c + 64. Let q = c - -10. Solve 2*h = -q*r - 8, -r + 5*h - 2 + 10 = 0 for r.
-2
Suppose -7*j + 55 - 6 = 0. Let n be (-28)/98 - (-30)/j. Solve 2*r + 2*k + 6 = 0, 11 + n = -5*r - k for r.
-3
Let w(v) = -v + 13. Suppose 4*r = r + 30. Let c be w(r). Solve -4*z = -4*s - 4, -6 = -4*z + 6*s - c*s for z.
3
Suppose -l - 4*h = -4, -h - 11 = -5*l + 9. Let b = 9 - l. Let i = b - 2. Solve -o + 5*a - 5 = 0, 4*o + i*a + 9 = -11 for o.
-5
Let z(t) = -30*t**3 + 1. Let x be z(-1). Suppose -o + 4*i - 17 = 0, -2*o - 4*i + 19 = -7. Solve -o*c = 5*n - x, 1 = c - 1 for n.
5
Let b = -45 + 25. Let k be (b/(-25))/(2/5). Suppose 0 = 4*y - 4*l, -33 = -4*y - 3*l - 5. Solve f = i - y, -f - 2 = k*i + 2 for i.
0
Let k be 10/(-45) + 2/9. Suppose -7*c + c = k. Solve -q = 4*s - 22, 2*q + c*s = 3*s - 11 for q.
2
Suppose 0 = -r + j + 2, 2*j + 156 = 5*r + 140. Solve -5*s - 12 = -r*m, 11*m + 12 = 15*m - s for m.
3
Let d(y) = -42*y + 298. Let o be d(7). Solve -3*p - 6 = 0, 5*g - 7 + o = 4*p for g.
-1
Suppose -6*l = -12*l + 12. Let n be (-2)/(0 + l/(-4)). Solve 0 = n*d - 20, 0 = -4*b + d - 10 - 3 for b.
-2
Let d be ((-152)/(-6))/2 - (-22)/(-33). Let t(m) = m - 12 + 12*m**2 + 3*m**3 + 0*m - 4*m**3. Let a be t(d). Solve -3*g = -4*f + 20, a*f + f - 5 = 5*g for f.
5
Let z be ((-9)/2)/((-3)/6). Let f = z - 7. Let m(b) = b**2 + 3*b + 1. Let c be m(-4). Solve -o + c*h = 15, 0*o - f*o + 3*h = 16 for o.
-5
Let c(p) = p - 16. Let t be c(16). Let k(d) = d**3 - 2*d**2 - 2*d + 4. Let x be k(3). Let q be (x + -8)/((-1)/4). Solve -q*b = 3*u + 22, -b + u + u = t for b.
-4
Suppose 0*y + 1 = y, -2*y - 4 = -2*q. Suppose -5*m = -q*g + 19, -3*g + 0*g + 4*m + 17 = 0. Solve w + 4 = 2*c - w, g*c - w - 2 = 0 for c.
0
Let x be (235/(-94))/((-5)/4). Solve -12 = x*m - 4*o - 2, 4*m - 35 = -3*o for m.
5
Let d = 108 - 103. Solve -4*h = d*a + 16, -7*a + 4*a = -2*h - 8 for a.
0
Let f = -7 - -11. Let k(i) = i**2 + 16*i - 13. Let m be k(-17). Suppose -p - 7 = 3*h - 19, 16 = m*h + 2*p. Solve -u - 4 = -h*l, u + u = f*l for u.
4
Suppose 5*c = -4*y + 8, 23*y - 8 = 19*y - 3*c. Solve 5*j + 3 - 1 = 2*z, 2*z - y = 2*j for z.
1
Suppose 5*j = -4*r + 15, -5*j = r - 0*r - 15. Suppose -3*p + 5*p - 44 = r. Solve 4*c = -2*k + 4*k - 20, 3*k = 4*c + p for c.
-4
Suppose j - 16 = -3*j + 4*s, 2*j = s + 8. Let n be 7 + -2 + (-4)/j. Let x = n + 1. Solve -x*y - 35 = 4*d, -9 - 1 = -d + 5*y for d.
-5
Suppose -3*z = -40 + 1. Let j = z + -12. Let q(g) = 4*g**3 + g**2 + g - 1. Let u be q(j). Solve 0 = -5*p - 5, p - 18 = u*d + 1 for d.
-4
Let j be (-9)/(-6)*(-10 + 14). Solve 2*p = 4*p - j, 3*l - 9 = -4*p for l.
-1
Let t(j) = j**2 + 4*j + 2. Let f be t(-4). Suppose -3*i + f*y - 10 = -7*i, 5*i - 4*y - 19 = 0. Solve 3*c - 6*o + i*o + 3 = 0, -12 = 3*o for c.
-5
Let t = -2269 - -2273. Solve 16 = t*a, -5*v - 3*a + 26 = a for v.
2
Let i(u) = -2*u**3 - 4*u**2 + 6. Let c be i(-2). Let v be (1 + -2)/((-3)/c). Solve l - 3*h - v = -4*l, h = -4 for l.
-2
Suppose -3 = 4*t - 3. Solve o + o + 2*g + 4 = t, 0 = -g + 2 for o.
-4
Let u = 10 + -7. Suppose -14*r + 18*r = 0, 2*r = 2*m - 2. Solve u*d = -0*z + z + m, -2*z = 4*d - 8 for d.
1
Let t be ((-8)/10)/(4/40*-2). Solve 5*q = 3*q + t, -5*h + 23 = -q for h.
5
Let d(s) = 7*s - 17. Let m be d(3). Solve 4*n + 8 = 5*o, -4*n + 8 = -m for o.
4
Let m(k) = k**3 + 11*k**2 + 10*k + 15. Let f be m(-10). Let r = -11 + f. Suppose 0*j + 22 = 2*j. Solve 2*c - 23 = -4*i + i, 0 = -r*c + i + j for c.
4
Let r be 1*9*9/27. Let k(t) = -t**3 + 4*t**2 - 3*t. Let d be k(r). Solve -3*f - 11 = 5*p, d = 2*f + 3*p - 4*p + 3 for f.
-2
Let r(p) = -p**3 - 6*p**2 - 5*p - 8. Let o be r(-6). Let g = 93 + -89. Suppose 3*u - g*u = -4*a + o, 2 = -u. Solve 5*n - 45 = 4*v, n + 25 = -v + a*n for v.
-5
Suppose 55*h - 58*h = 60. Let w = h + 20. Solve u + 3*k = -u + 12, w = -k + 4 for u.
0
Let p = -30 + 37. Let c be (-3 - -4)*p + -3. Solve -5*n - g = c*g, -2 = -5*n - 4*g for n.
2
Let l be 12/32 - (-30)/48. Suppose l + 4 = q. Solve 5*x + v = -7, 0 = 5*x + v - q*v + 22 for x.
-2
Let h = 1999 + -1995. Suppose 0 = c + 4*u - 13, 3*u - 19 = -3*c + u. Solve -2*k - 8 = -c*r, 2*k - k + h = -r for r.
0
Suppose 2 = -2*w - 18. Let u = -20 - -25. Let x be -2 - -2 - (w + u). Solve 4*h - 1 + 3 = 2*g, -x*h = -5*g + 10 for g.
3
Let l = -213 - -213. Solve -4*y + l*n + n + 14 = 0, -4*n = 2*y - 16 for y.
4
Let w be 7 + 0 + 22 + -29 + 12. Let t be 1 - 0 - (0 + 1). Solve 2*p - 2 = t, p - w = -2*j - 3 for j.
4
Suppose -5*r = -25, 3*r = -0*n - 4*n - 45. Let u be 2 - n/10*(-12)/(-9). Solve 3*h + 3 + 10 = -5*i, u*h = 2*i for h.
-1
Suppose 0 = -4*c + 2*u + 170, 0*c + 5*c + u = 209. Suppose 3*n + 2*g = 48, 2*n - 2*g + 0*g - c = 0. Solve 3*x - 6*x - 2*r = -n, 0 = 4*x + 2*r - 22 for x.
4
Let f be (1 + 1)/1 + 2. Let l(r) = r**2 - r - 12. Let w be l(4). Solve -4*o - 20 = w, 4*g - 3*g + f*o + 15 = 0 for g.
5
Let q = -26 + 46. Let b be (q/(-15))/((-1)/3). Solve o - 2 = 4*t - t, b*o + 2 = 2*t for o.
-1
Suppose -26*z + 90 = -8*z. Solve 3*x = f + 5, 3*x = z + 4 for f.
4
Suppose h + h = 3*t - 2, 0 = t - 2*h - 2. Suppose 7*d - 9*d + 38 = t. Let q = 24 - d. Solve 2*n + 12 = -4*l, -q*l = 5*n - 4*n + 9 for n.
-4
Suppose 0 = 3*f + 6, 5*f + 5 + 20 = 5*m. Solve -x = -m*d + 14, -d - 7 = -3*d + 3*x for d.
5
Let h = -234 + 236. Solve 0*p - 4*k = -p, 4*k = -h*p - 12 for p.
-4
Suppose 2*c = -5 + 15. Suppose 5*m - 3*o = 4, -c*m + 18 = -m + 5*o. Solve 2*j = -0*g + m*g - 20, 5*g = 2*j + 35 for g.
5
Let d = 466 + -462. Let a(n) = n + 8. Let v be a(-8). Solve 3*p - 11 = -4*q, 2*q 