 i be 1/(d - (-2 + 4)). Solve -i = -j + v + 1, 4*j - v - 5 = 0 for j.
1
Let c(q) = 11 - q**3 - 8*q + 2*q - q**2 + 11*q**2 - 4*q. Let d be c(9). Solve -2*a - d*w - 2*w = -10, 4*w - 14 = 2*a for a.
-1
Let x = 16 + -4. Suppose 0 = -5*w + 5*b + 35, 2*w - 2*b - 17 = b. Suppose 0 = -0*i - 2*i. Solve i = -3*a + 2*a, w*v + 5*a - x = 0 for v.
3
Let h be 276/28 + 1/7. Solve 4*d + h = 2*t, -7 = 4*d - 0*d - t for d.
-1
Suppose 0 = 3*m + m. Suppose k = -m - 1. Let c be 3 - -1 - (k - -1). Solve 2*f + 0*t = 2*t, c*f = t for f.
0
Let g = 8 + -5. Suppose -i = p + 2, g*p + 5*i = -25 + 9. Solve -12 = -3*q + 2*b, -p*b = -5*q + 6 + 14 for q.
4
Let g be 0 + (-3)/(3/(-10)). Suppose -3*s = 2*s - g. Suppose -2*l + 27 = -3. Solve r + 0*r = 3*q + l, s*r = q + 10 for q.
-4
Let y be 4/6*(-18)/(-4). Let c be (y - 15/3) + 5. Suppose 4*a - 20 = c*d, -2*d = -a - 3*d - 2. Solve 5*z = f, -3*f - 27 = 2*z + a*f for z.
-1
Let v(r) = 3*r**3 - 1. Let t be v(1). Solve -3*k + 4 = t*h, -h + k - 2 = -2*h for h.
2
Suppose -4*i + 2*z = -22, -2*i - 5*z - 9 = 10. Solve 5*j + 16 = -i*k, k - 4*k + 5*j + 4 = 0 for k.
-2
Suppose -b + 2*h + 2 = -0, -4*h - 4 = 5*b. Suppose 5*k + 4 - 1 = -t, b = t - 2*k - 4. Let g be 3/(-9) - (-44)/6. Solve z - t*z = 2, 5*m = z + g for m.
1
Let f = -100 - -104. Solve 5*s + 7 = -3*d + 1, 8 = -f*d - 5*s for d.
-2
Suppose 2*n = 4*v + 4, 2*v - 3*v + 1 = 0. Let u(l) = l**2 - 18*l + 52. Let j be u(15). Solve -3*q = -i - j, -3*i - 9 = -q - n for q.
2
Let t(d) = d**2 - 2*d - 3. Let i be t(4). Let g be 2/i - (-16)/10. Solve -j + g = -o, -3*o = -3*j + j + 8 for o.
-4
Let u be (1 + 0/(-1))/1. Let w be (3 - u)*76/8. Let v = 5 + -1. Solve -y = v*i - w, 3*y - 16 = 4*y - 3*i for y.
-1
Suppose -o - 6 = 3*c, 3*o + 0*c + 5*c = -2. Solve -3*x = -5*y - 0*x - o, -3 = x for y.
-3
Let l = 0 - 0. Suppose 4*q = -5*m - 55 + 15, q - 4*m - 11 = l. Let f = -2 - q. Solve 0 = -5*r + f*g - 35, -2*r - 9 = -r - g for r.
-4
Let a(k) be the first derivative of -k + 0*k + k**2 + 1 - 4*k. Let s be a(6). Solve 2*g - l = 6, 5*g - l = -s + 22 for g.
3
Let n(v) = 7*v - 16. Let q be n(4). Suppose 3*z - 13 = -1. Let m be (27/q - -1)*z. Solve l + 3*x = 7, 1 = 3*l + 2*x - m for l.
4
Let x(u) = -u**3 + 7*u**2 + 9*u - 4. Let i be x(8). Let b(t) = 2*t - 5. Let p be b(i). Solve 0 = -2*h - l - 3, -5*h - 2*l + p*l + 3 = 0 for h.
0
Let i be (-1)/(-2) - (-49)/2. Suppose -2*a = 4*k + k - i, k - 5 = 2*a. Let g(t) = -t + 10. Let w be g(k). Solve -4*x = 2*c + 4, -4 = -w*x + 6*c - 4*c for x.
0
Suppose 0 = 16*x - 5*x - 33. Solve -2*q = 2*q, -x*c = -3*q for c.
0
Let u(y) = -y + 5. Let r be u(0). Solve -4*j - 18 = 2*w, 0 = r*w + j + j + 5 for w.
1
Let x = 140 - 137. Solve 4*j - x*b - 28 = 0, 2*j - 5*j - 4*b = 4 for j.
4
Let v(p) = -p**2 + 10*p + 47. Let a be v(13). Solve 3*h - 5 + 17 = 5*t, 2*h = t - a for t.
0
Suppose b - 1 = 1. Suppose -5 = -h + m, b*m + 38 = 5*h + 4. Suppose h*w - 3*w = 20. Solve 0*s + 4*y - 4 = -w*s, s - 4 = -2*y for s.
-2
Suppose k - 46 = -5*n + 48, 3*n - 3*k = 42. Let t = 5 - 18. Let h = n + t. Solve x = -h*j - 4, -x = -4*j - 0*j - 5 for j.
-1
Suppose 0 = 3*x - 5 - 1. Suppose 2 = x*d - 2*m, 8*d + 4*m + 31 = 3*d. Let j = d + 13. Solve 4*t + 2*f + 2*f = -20, 2*f - j = 3*t for t.
-4
Let j(h) = 5*h - 31. Let u be j(8). Suppose -m = 2*q - 5 + 3, 4*m - 8 = 4*q. Solve -3*r - u = 3*k - 0*k, k = m*r for r.
-1
Suppose b - 15 + 12 = 0. Suppose 0 = 5*s + b*i - 34, 5*s - 24 = -5*i + 16. Solve -15 = -5*u + 3*h + 4, s*u + 2*h = 4 for u.
2
Suppose 0 = 3*w - 15 - 0. Let y(o) = 1 + 12*o**2 + o - 11*o**2 - 1. Let n be y(3). Solve -w*k - n = 8, -4*k = -2*b + 18 for b.
1
Let q(d) = -d**3 - 5*d**2 - 6*d - 5. Suppose 0 = -4*s - 5 - 11. Let m be q(s). Solve -4*t + 3*o = -2*t + 16, -5*o + 25 = -m*t for t.
-5
Suppose -5*y - 2*a = -3 + 9, -5*a = 3*y + 15. Suppose -b + 0 - 1 = y. Let c be ((-8)/(-5))/(b/(-5)). Solve 5*k = k, -4*k - c = -4*o for o.
2
Let t be ((-2)/(-5))/((-4)/(-40)). Suppose i - t = 0, 6 + 1 = 5*x - 2*i. Solve -17 = -2*p + x*b - 5, p + 5 = -4*b for p.
3
Let m(h) = h**2 - 6*h - 3. Let t be m(5). Let l be (-3)/2*t/6. Suppose -l*w + 0 + 8 = 0. Solve 3*j + 2*u = 2, -w*j = 3*u - 8*u + 5 for j.
0
Let c be -1*(1 + 0 + 1). Let s = 2 + 4. Let d = c + s. Solve 2*r + 0*h - 2*h + d = 0, -15 = 4*r + 3*h for r.
-3
Let f = 7 + -11. Let x = f + 7. Suppose -2*o = -x*o + v + 5, o - 5*v = 13. Solve -o*m + 21 = 2*k, 0 = k - 5*m + 8 + 14 for k.
3
Let c(f) = -2*f + 35. Let p = -11 + 12. Let z be (1/(-2)*0)/p. Let b be c(z). Solve 0 = -3*k - 2*k - 5*w + b, -w = -3 for k.
4
Suppose -2*d - 10 = 0, -3*y + 5*d + 61 = -y. Solve 0 = m - 5, 5*p - y = 3*p - 2*m for p.
4
Let x(r) = -r**3 + 6*r**2 + 4. Let k be x(6). Let i = k - 3. Solve -5*l + 3*h = -11, 5*l + 2*h - 2 = -i for l.
1
Let v be 3/(-9) + (-238)/6. Let x be ((-24)/(-10))/(12/v). Let y = x - -11. Solve g + 19 = -y*i, 4*i = -4*g - g - 40 for i.
-5
Let k(i) = i**3 + 3*i**2 + 7. Let r be k(-3). Let p = 3 + -3. Solve p*o = 4*q - 3*o + r, 4*o = -q + 3 for q.
-1
Let o(g) = g - 4. Let k be o(6). Let q be (4/(-3))/(k/(-21)). Suppose 2*c - 4 = q. Solve -r - 10 = 3*n, -7*n - c = -4*n for r.
-1
Let u = 6 - 15. Let y be (1/(-2))/(u/36). Solve 3*h = y*z - 8, -2*z - 2*h - 6 = -3*z for z.
-2
Suppose 0 = -2*u + 22 - 4. Solve 3*l - 5*l + c = 6, -2*c = -l - u for l.
-1
Let k be (-5 + 3)*(-6 + 5). Solve 7 = y + 2*j, k*y - 7 = 3*y - 5*j for y.
3
Suppose f + 8 - 4 = 2*m, -4*m = -5*f + 10. Solve -f*v + 5*v - 5*k + 27 = 0, -v + 3*k - 13 = 0 for v.
2
Let v be (6/4)/((-1)/(-2)). Solve -7 = v*j - t, -5*t - 5 = -j + 2 for j.
-3
Let u(o) = -3*o - 3. Let b be u(-6). Let l = -16 - -11. Let k = l + b. Solve -4*v + 23 = 3*n, -5*v + 0*v + k = 0 for n.
5
Let j be -1 + 1 + 7*(-2)/(-7). Solve d - j*d = -3*h - 2, -20 = 4*d + 2*h for d.
-4
Let q(l) be the second derivative of -l**4/12 + 5*l**3/6 + 4*l**2 - 3*l. Let c be q(6). Solve -c*t - 2*t - 2*z - 8 = 0, -4*t - 3*z - 10 = 0 for t.
-1
Let g be (4 - -1)/(3 + -2). Suppose g*s + 0*s = 40. Solve 0 = 5*n + 3*j - s, 4*n + 4*j - 4 = j for n.
4
Suppose 30 - 5 = 5*t. Solve 0 = 3*c - 2*p + 3, t*c + 3*p + 14 = -10 for c.
-3
Let u be 8/10*(1 + 4). Solve -2*s = k - 3*k - 10, 2*s = u*k + 20 for k.
-5
Suppose 0 = -4*x - 4 - 8. Let h be (4/(-5))/(x/15). Suppose -h*r + 9 = -r. Solve -4*i = r*s + 9 + 10, -5*s + 3*i - 22 = 0 for s.
-5
Suppose 0 = i + 3 + 3. Let y be (0 + -12)/(i/4). Let h = 13 - y. Solve -2*o = h*r + 3, 0 = -r - 3*r - 4*o for r.
-1
Let u be 47/(-5) - 6/(-15). Let c be 1*(u + 0) - 0. Let w = c - -21. Solve 3*a = 2*m + 7, -w = 2*m - 3*a - a for m.
4
Suppose 0*k = k - l, 5*l - 5 = 4*k. Suppose 0*v + 20 = k*v. Solve 3*w = v*d - 14, -2*w - 2*w = -2*d + 12 for w.
-2
Let n(t) = t**3 + 9*t**2 - 11*t - 15. Let c be n(-10). Let h be (-1 - c/3)*3. Let k(y) = 3*y - 3. Let o be k(h). Solve -s + 2*z = -o, 5*s = z - 0*z - 21 for s.
-5
Let k(y) = -y**3 + 5*y**2 - y - 5. Let w be k(4). Solve -3*s + s = 5*q - 8, 2*q - 3*s = w for q.
2
Let o = 190 + -187. Solve 3*k + 5 = 3*a - k, 25 = -2*a - o*k for a.
-5
Suppose -5*f = -5*c - 35, -f + 4*c - 17 = -6*f. Solve -5*p = -5*w - 15, 2*p - 10 - 5 = f*w for p.
0
Let v = 17 + -10. Let z(h) = h - 8. Let p be z(v). Let n = p - -4. Solve -4 = -5*s + s, n*i = 2*s + 10 for i.
4
Suppose 0*w = -w. Suppose w = -2*k + 6 + 6. Solve -4*q + 3*r = 14 - 5, 2*r = q + k for q.
0
Let k(l) = -3*l - 3*l + 3*l + 2*l - 6. Let d be k(-8). Solve 2*n = -d*m - 2, -2*n + 3*n + 2*m + 4 = 0 for n.
2
Suppose 3*r = -3*m + 3, r + 1 + 0 = 0. Let n(d) = d**3 - 3*d**2 + 4*d - 2. Let p be n(m). Solve -4*s - 5*b = p, -5*s = -3*s + 3*b + 2 for s.
2
Let u(m) = m**3 - 6*m**2 - 11*m. Let v be u(8). Solve 5*d - v = -5*f, 2*d + d = -2*f + 20 for f.
4
Let k(x) = -x**3 + 3*x**2 + 3*x + 9. Let p be k(4). Solve -2*w = 3*u + 6, w - p = 4*u + 14 for w.
3
Let a be (-30)/(-6) + 3/(-1). Solve 3*f - r - 1 = 0, 0 = f + a*f + 4*r - 26 for f.
2
Let l(b) = -b**3 - 4*b**2 - 5*b - 2. Let y = -6 - -1. Let x = y + 2. Let u be l(x). Solve 0 = -4*t - 0*j + 2*j + 16, -j + u = t for t.
4
Let p be 4/2 + -1 + -1. Solve -4*b = 2*w + 16, 3*w + 0 + 12 = p for b.
-2
Let y be ((-12)/18)/(2/(-51)). Let n(a) = -a**3 + 2*a**2 + a + 1. Let j be n(2). Let g = 5 + 0. Solve 5*x + g*f + 21 = x, y = -j*x - 4*f for x.
1
Let c(q) = -21*q - 1. Let y be c(-1). Suppose 2*u = -3*n + 25 - 10, -u = -5*n + 25. Let l be (1/2)/(1/8). 