se 5*g - 3*v = -v - 32, -8 = g - 2*v. Let u(i) = 3*i**3 + 18*i**2 - 2*i - 9. Let k be u(g). Solve -14 = k*x - j, 3*x + x + 24 = -4*j for x.
-5
Let b(h) = -3*h**3 - 40*h**2 - 81*h + 2. Let l be b(-2). Solve -4*s + 32 = -5*k, l = 4*s - 12*k + 8*k for s.
3
Let o(s) = s + 4. Let t(x) = -x**2 + 7*x + 15. Let u be t(7). Let v be (-3 + u/2)*4/6. Let w be o(v). Solve 4*d = -5*m - 6, 0 = w*m - 3*m + 5*d + 12 for m.
2
Let m be (12 - 4 - 5) + (0 - 0). Suppose 0 = y + 6*p - 7*p - 47, -5*p + 125 = m*y. Solve 0*n = -3*n - a + 11, -y = -5*n + 5*a for n.
5
Let j(l) be the first derivative of l**2 - 10*l + 1. Let z be 12*(3 + (168/(-9))/8). Let v be j(z). Solve 5*y + 2 = -4*x + v, 4*y + x - 1 = 0 for y.
0
Let v(j) = 6*j - 13. Suppose -18*t + 19*t - 4 = 0. Let q be v(t). Solve -5*z + 35 = -5*u, 0*z = -5*u - 3*z - q for u.
-4
Let c(n) = -24*n - 12. Let b be c(-6). Let i = 137 - b. Let t(l) = 2*l**2 - 10*l + 7. Let f be t(i). Solve -f = 3*y - 1, -2 = -3*w - 2*y for w.
2
Let a = -19 + 23. Suppose 0 = 11*s + 33*s. Solve -2*z + 3 = a*h - 9, s = 3*h - 9 for z.
0
Let j = 186 - 231. Let i = -42 - j. Solve 3*w = i*t - 6, 4*t - t + 5*w + 34 = 0 for t.
-3
Let w(f) = 104*f - 3737. Let y be w(36). Solve -4*v - 24 = -4*a, 8*v - 4*a + 18 = y*v for v.
-2
Let w = 6991 + -6851. Solve -4*q - 4*g - 132 = -w, -q = 5*g + 10 for q.
5
Let t = -21572 - -21597. Solve 2*i = 5*h - t, 24 = -3*i + 19*h - 16*h for i.
-5
Suppose -216*m - 224 = -217*m. Suppose 22 = -u + t + 134, 0 = -2*u - 2*t + m. Let n = 116 - u. Solve -q - 5*k - 12 = -5*q, -n*q + 12 = -4*k for q.
3
Let d be ((-6)/8)/(2/(-8)). Suppose -8*m - 675 = -3*m. Let a = m - -141. Solve -4*r - d = -3*c, c = -r + 4*c + a for r.
-3
Suppose 7*h - 74 + 70 = 5*h. Solve 4*r - 5*u + 6 = h*r, 0 = 3*r - 3*u for r.
2
Let j(p) = 3*p + 8. Let g be j(4). Let s = g - 17. Suppose -s = k, -2*v = -4*k - 22 - 6. Solve 0*o = -4*o + 5*a - 32, -4*o = 5*a - v for o.
-3
Let y(s) = 6*s**2 + 271*s + 2139. Let m be y(-35). Suppose r = 2*r. Solve -6 + 1 = 5*n - 5*j, 2*n - m*j = r for n.
-2
Let j(w) = w**3 - 5*w**2 + 6*w - 12. Let y be j(6). Let t = 65 - y. Suppose 0 = -t*u - 0 + 10. Solve 2*m - 2*n = 6, -u*n = 2*m + 2*m for m.
1
Suppose -5*a + 4*a + 3 = 0, 0 = -5*v + 4*a - 787. Let r = v - -160. Let t be (5/(-2))/((-3)/24). Solve -r*j + t = 5*k, -1 = 4*j - k + 3 for j.
0
Let t(h) = 6 - 179*h**2 - 34 - 8*h + 180*h**2. Let c be t(11). Solve -15 = -5*y, g - 7 - 11 = -c*y for g.
3
Let c(m) = 3*m**2 + 6*m - 4. Let s = -58 + 55. Let q be c(s). Suppose 0*b - 12 = 4*b, -5*k = -q*b - 30. Solve 0 = -a - 2*w - 9, 13 = -3*a + k*w - 2*w for a.
-5
Suppose -2*w = 4*w - 60. Suppose 36 = w*d - 7*d. Let i be 2/((-5)/(15/d))*0. Solve a + 3*t - 2 = i, -16 = a - 4*a + t for a.
5
Let v(z) = 7*z**3 - 5*z**2 + 4*z - 3. Let c be v(5). Suppose -y - c = -770. Solve 12 = y*k - 3*h, -h + 3 + 3 = 4*k for k.
2
Let z = -647 - -819. Suppose -80 = -42*b + z. Solve -b = 4*u + 2*f, 3*u = -4*f + 12 - 4 for u.
-4
Suppose 6*c - 14 = 3*c + 4*a, -4*c - 23 = 3*a. Let y be (1*24/14)/(c/(-7)). Suppose 0 = -5*p + y + 4. Solve d = -2*d, 10 = p*n - d for n.
5
Suppose -4*t + g + 15 = 0, -66*t + 3*g + 10 = -61*t. Let j be -9*2/(-6) + -1. Solve -4 + 0 = -t*z - 3*f, -5*z + 1 = j*f for z.
-1
Let o(a) = a + 4. Let f be o(0). Suppose 15*w + 18094 = 18394. Suppose 0 = b - 3 - 0. Solve -f*p - c + w = -9*p, -20 = p + b*c for p.
-5
Let y = 15949 + -15934. Solve 3*b + 2*j + 2*j + y = 0, 4*j + 12 = 0 for b.
-1
Let d be (5 + -3)*(-15 - 143). Let g = d - -323. Solve -4*p + 2*x - 2 = -g*p, 4*p - 5*x = -28 for p.
-2
Suppose -2*p + 3 = -o, 5*o - 20*p + 18*p = 9. Solve -l = -o*a - 10, -l + 4 = 14*a - 15*a for a.
-3
Let i be 6 - (0*(-7)/(-35))/4 - 2. Let q be (4/(-3))/(2/(-3)). Let c be 5 - (0 + 1 - 1). Solve -i*t = q*p - 14, 0 = -c*p - t - t + 19 for p.
3
Suppose d - 2*d = -3*k - 1210, -2*k - 805 = -d. Let n = k - -407. Solve 0 = 3*h - 3, n*h + 3 = -5*z - 15 for z.
-4
Let t be (-5*6/(-15))/(3 - 2). Suppose -34 = -t*y + 4*m, 10*m - 14*m = 3*y - 81. Solve -k + 2*k + 4*x + 19 = 0, -5*k = 2*x + y for k.
-3
Suppose 10*y + 20 - 39 = 21. Solve 5*a + 24*v + 16 = 27*v, 0 = 3*a + y*v - 2 for a.
-2
Let a(x) = -x**3 + 93*x**2 - 268*x - 180. Let t be a(90). Solve -10 = 2*o + 2*l, 11*o - 13*o + 3*l + 5 = t for o.
-2
Suppose 9 = 10*p + 9. Suppose p = 4*t + 19 - 107. Let v be 77/t - (-1)/(-2). Solve 0 = -2*y - m + 7, -2*m - 10 = -v*y + y for y.
4
Suppose 2*j - 149 = -d, 5*j - 16*d + 15*d - 369 = 0. Let t = 77 - j. Solve -23 = 5*w + 4*f - 3, 2*w - t*f + 8 = 0 for w.
-4
Suppose l = 8 + 12. Suppose -l*w + 12 = -14*w. Suppose 2*m - c + 5*c = 32, 3*m - w*c = 8. Solve -10 = 4*f - m, 4*k + 2*f + 18 = 0 for k.
-4
Let c(m) = m**3 + 4*m**2 + m - 1. Let g be c(-3). Let w be ((-20)/18)/5 - 40/(-18). Solve 3*y = 2*y + 2*h - g, -2*y = 2*h - w for y.
-1
Suppose 5*y - 5*a + 3*a - 12 = 0, 0 = -2*y - 4*a. Suppose 0 = 5*c - 0*l - 3*l - 15, y*c - 6 = 5*l. Solve -5*v - 3*j + 7 = -c*v, 8 = -5*v + j for v.
-1
Let d(s) = 3*s - 58. Let w be d(20). Suppose w*k = k + 3*b, -5*b + 17 = 4*k. Solve -4*x - k = -g - 2*x, -3*g + 11 = -4*x for g.
5
Let a be (-6)/(-2 - 5/(-30)*3). Suppose a*x - 6*x = -4, t - 3*x + 2 = 0. Solve -w - 1 = -o, 0*o + 24 = 3*o + t*w for o.
4
Let r be (-3 - -5)/((-1)/48). Let l = r + 96. Solve -4*n + 16 = 0, 5*j + l*n = n - 29 for j.
-5
Let s be (-3 - 126/(-15)) + 4/(-10). Suppose 0 = s*i + 32 - 122. Solve 10 = -0*y + 4*y + 5*g, -2*y = -4*g - i for y.
5
Let r = 9 - 7. Suppose 4*u = 3*n + 4, 5 = -r*n + 6*u - u. Let q = 969 - 965. Solve 14 = -2*t + 5*c, q*c + n*c = -4*t for t.
-2
Let k(g) = g**3 - 66*g**2 - 675*g + 35. Let a be k(75). Solve -x = 1, a*l + 2*x - 1 = 34*l for l.
3
Let a(l) = 42*l**3 - l**2 - 3*l - 2. Let n be a(-1). Let s be (n/56)/((-37)/(-20) - 2). Solve 5*r + 5*o - 17 - 8 = 0, s*r - 9 = 3*o for r.
3
Let j be (-4902)/(-228) - ((-18)/4)/(-3). Suppose j*t - 2*t - 18 = 0. Solve h - 2 - 5 = -4*v, 5*h = -2*v - t for v.
2
Let l(s) = -17*s**2 - 423*s + 53. Let a be l(-25). Solve 4*u - a*u + 4*o = 17, -3 = -o for u.
5
Suppose 370 = 114*p - 200. Solve 3*d + 8 = -p*c, -5*c = 6*d - d + 10 for d.
-1
Let n = 24 - 27. Let x be 3 + n/(-6)*0. Suppose x*u = 8*u - 40. Solve -2*b + 12 = a, -a - u = -0*a - 2*b for a.
2
Suppose -3*z + 12 = -0. Suppose 2 = z*b - 3*s, -2*b + s + s = 0. Let i be (6 - (-2 - b - -4)) + -4. Solve -4*p - 3*c + 22 = 0, -c - 12 = -3*p - i for p.
4
Let y be (-4)/(-14) + (-87648)/(-462). Let f = y - 187. Solve -f*q + 5*l = -16, -7*l = q - 2*l + 8 for q.
2
Suppose -j + 4*r = 12, -5*j - 59 + 50 = -3*r. Solve -4*z + 4 = 2*n, -2*n - 2 = -j*z + z for z.
2
Let x be -60 - (-1 - -3 - 1). Let r = -38 - x. Let b = r + -21. Solve -4*h + b - 4 = -2*i, -4*h + 1 = i for h.
0
Suppose 2*v + 1 = -p, -5*p - v = 3*v - 1. Let z(s) = s - 6. Let u be z(p). Let q be ((-4)/u)/((-3)/45*-3). Solve x - 4 = 3*n - 2, -5*x = -q*n + 12 for n.
-2
Let p(s) = -3*s**2 - 64*s + 164. Let x(y) = 5*y**2 + 96*y - 245. Let b(i) = 8*p(i) + 5*x(i). Let n be b(29). Solve 0 = 2*z + 4*q + 6, -5*q = n for z.
-3
Let c(f) = 2*f + 15. Suppose 42 = 3*t + z, -3*t + z + 33 = 5*z. Let x be (4/(-12))/(1/t). Let b be c(x). Solve 10 + 0 = -b*a + 5*g, -a = -3*g for a.
-3
Suppose 2 = d + 5, 5*m + 3*d + 44 = 0. Let l(s) = -s**3 - 9*s**2 - 16*s - 9. Let k be l(m). Solve 0 = -2*o, k*p - 2*o = -0*p - 20 for p.
-4
Let h be 1 - (1 + 0 + 0). Suppose 0 = 12*f - 548 + 452. Suppose -3*k + 10 = k + 3*l, 4*l + f = h. Solve -2*m = 4*q, 4*q - k + 12 = -4*m for q.
2
Let r(j) = -5*j**2 - 345*j + 722. Let d be r(-71). Let k = -4 - -8. Solve -2*i + 3 = -2*m + m, 4*m = k*i - d for i.
0
Let u be -3 + 12/24 + 47/(-2). Let a = -24 - u. Suppose -5*v + a*v - 4*i + 23 = 0, 0 = 3*i - 6. Solve q - 9 = -t, -4*t + 29 = v*q - 12 for t.
4
Let v(c) = 2*c + 30. Let l be v(-24). Let m = l + 18. Suppose 4*z = 24 - 4. Solve -7 = -2*p + 5*k, -2*p + 4*p - 3*k - z = m for p.
1
Let g = -8329 - -8334. Solve 0 = -g*c + 4*i - 2 + 6, -1 = c + i for c.
0
Suppose -5*s - 5*s + 16 = -2*s. Let t = 8 - 5. Solve -2*d - 3*d = -y + 22, 0 = t*y + 2*d + s for y.
2
Suppose -2*t = -t - 20. Let x be (-10)/(-1) - 1/(((-81)/(-540))/(18/15)). Solve 0 = 2*l, x*l + 0*l + t = -4*c for c.
-5
Let i be 21/15 - (-4)/(-10). Suppose -7*b + 8*b - i = 0. Suppose 4*n = 3*n - o + b, -4*n + 5*o = -31. Solve -n*c + 14 = 2*z, -4*z - 4*c - 7 + 19 = 0 for z.
-1
Let