1*-2). Let j be w/(1 + 2 - 1). Solve m + j*x - 5 = -2*x, 4*m = 5*x + 7 for m.
3
Let r be 4/26 - 3090/(-195). Solve -3*y + 5*y + 8 = 5*t, -t - r = 4*y for y.
-4
Suppose -8 - 2 = 2*g. Let w = g + 10. Let m = -3 + w. Solve 18 = -2*q - 2*j, m*j + 6 = 2*q - q for q.
-4
Let v = -146 - -148. Solve -v*t = 3*n + n - 18, 0 = 5*n - t - 19 for n.
4
Let x be 1 - (-1)/2*-4. Let z be (x - -4 - 2)*-11. Let m = z - -15. Solve c - 3*t = 2*c - 5, c + 16 = m*t for c.
-4
Let y be 0/(-3 - (-3)/3). Solve a + 3*n + 2 = y, 4*a - 2 = -n - 10 for a.
-2
Let d(h) = h**3 - 5*h**2 - 7*h + 2. Let f be d(6). Let y be 32/f*3/(-12). Solve z + 3*r = 6*r + 5, -y*r - 4 = -z for z.
2
Let n be (1 - (0 + 2))*0. Suppose -u + n = -44. Suppose -47 = -4*l - 5*d, d - u = -3*l - d. Solve -3*q = -3*i - l, q - 5*i = -2*q + 28 for q.
1
Let s = -3 - -7. Let u(w) = -2*w - 9. Let x be u(-6). Solve b + 3 = -x*p - 0*b, 4 = -4*p + s*b for p.
-1
Suppose -21 = -3*y - 5*r, 0 = -3*y - 2*y + r + 7. Let t(z) = z**2 + 5*z - 3. Let g be t(-7). Solve -y*a + a + g = 3*v, 0 = -v + 5*a - 7 for v.
3
Let x be (-18)/54 + (32/6 - 1). Let u be ((-4)/2)/(1 + -2). Solve h = x*i - 3, -3*i = -h - u*h + 9 for h.
5
Let t be 1 - (-1 + 1)/3. Let f(g) = -g - 8. Let s be f(-7). Let j be t - -13 - (-2)/s. Solve -3*l = -j, -l + 5 = -5*p + 4*l for p.
3
Suppose -4*d = -m - 26, -3*m = -2*d + 3*d - 13. Let u = -4 + 7. Solve u*w = 5*h + 16, -d*h + 5*w = -3*h + 18 for h.
-2
Let o be (140/(-4))/(-5) - 3. Solve -q - l + 6 = o*q, 0 = -3*l + 3 for q.
1
Let m = 5 - -6. Solve 3*j = -7*g + 4*g + 15, -2*j - 3*g = -m for j.
4
Let k = 2 + 0. Suppose 0 = k*m - 3*m + 6. Suppose -4*w - w = -4*t - 8, -20 = -5*w. Solve m*u = u - 2*v + 5, u - t*v = -16 for u.
-1
Suppose -r - 4 + 3 = 0. Let z = -1 - r. Solve 2*g + 2*p - p + 6 = z, -p = -4*g for g.
-1
Let y(k) = k**3 + 5*k**2 + 3*k + 6. Suppose -2 - 10 = 3*s. Let l be y(s). Solve -4*r + l = -2*p - 2*r, -5*p = r + 25 for p.
-5
Let d(i) = -i**3 - 3*i**2 - 3*i + 2. Suppose 0 = -l + 1, -2*h - 7 - 2 = -3*l. Let n be d(h). Solve 0*v + s + 3 = -2*v, -4*v + 3*s - n = 0 for v.
-2
Let u be (-6)/(-27) - 444/54. Let v = u + 18. Let t be 0 + -1 + 5 - -1. Solve -t*q = -10, y - 2*y + 4*q - v = 0 for y.
-2
Let a(k) = -k. Let d be a(-3). Suppose 0 = d*t - 2*t - 2*j - 8, 4*t - 20 = 4*j. Let m be -2 + (-2 + 12)/t. Solve 7*o - 3*o = 5*u - 20, 5*u + m*o = 20 for u.
4
Let q be (-3 + 2 - -2)*(-10)/(-5). Solve -o = q*o - 5*v + 4, 3 = -2*o + 3*v for o.
-3
Let j = 21 - 18. Suppose 2*m - 4*m + 8 = 0. Solve -2*f + m - 34 = 5*d, 5*f = j*d - 13 for d.
-4
Let a be (-47)/(-4) + (-3)/(-12). Let o = a + -6. Let p(i) = i**3 - 6*i**2 + 2*i - 8. Let b be p(o). Solve -3*s - 4 = 4*u - 0, 0 = 3*u + b*s - 4 for u.
-4
Suppose 5*u + 0 = -5*k + 5, 5*k = u + 11. Suppose -8*s + 5 = -3*s. Let n = 6 - 6. Solve -4 = -3*t - k*a, -a + n = 3*t + s for t.
-2
Let u(z) = -z**2 - 12*z - 4. Let g be u(-6). Solve 2*s = -h + 4, -5*h = -4*s - h + g for s.
4
Let j = 5 + -3. Let u = -307 + 310. Solve 5*v - 23 + j = a, u*a = v - 7 for v.
4
Let d be ((-1)/3)/((-5)/15). Let r be 2 + -2 + d + 3. Solve 6*c - 2*c - 8 = -5*s, r*s - 2*c = 22 for s.
4
Let h(q) = 2*q**3. Let o be h(1). Solve 0 = s + 2*v - 4, 36 = -3*s - o*s + 4*v for s.
-4
Let p be ((-12)/(-8))/(6/32). Let q(i) = -i - 3. Let m be q(-8). Suppose 10 = 5*w - 5*n, -3*w - n + m*n + 4 = 0. Solve 5*l - w*j = -p, 6 = 5*j - 4 for l.
0
Let x(q) = q**3 - 7*q**2 + 5*q + 4. Let w be x(6). Let p be (2/6)/(w/(-30)). Solve 0 = -5*g + 5, -p*k + 2*g = 5*g - 28 for k.
5
Let w be 8 + 2 + -1 + 0. Let z = 16 - w. Suppose -z - 4 = -p. Solve s = 4*o + p, 4*s - o + 4 + 12 = 0 for s.
-5
Let a be (0 - -1)/(2/8). Suppose a*p = -2*p. Solve p = -3*o - o - 8, -s - 5*o - 12 = 0 for s.
-2
Let r = 82 - 82. Solve v = j, 0 = -5*v - r*j + 2*j + 3 for v.
1
Let s = 76 + -71. Solve x - s = -5*c, 0*x - 3*c - 25 = -5*x for x.
5
Let i be (6/7)/((-10)/(-35)). Solve -8 = 5*p + 4*r, i*p + 3*r + 2*r = 3 for p.
-4
Suppose r - y = -4, -3*r - 2*r - 16 = -4*y. Solve -4*j = r, -3*j = -2*b + j - 8 for b.
-4
Suppose -4*f = 2*n - 2*f, -2*n = -f - 15. Solve -l - 5*d = -7*d - 1, 5*l - 5 = -n*d for l.
1
Suppose -5 - 11 = -4*g. Suppose -m - 1 = -3*x, -2*x + 7 = 2*m + x. Suppose -m*q - 4 + 10 = 0. Solve -4*d - q*n - 10 = 22, 0 = g*d - 5*n for d.
-5
Let g be 5/(-2)*(-3 + 1). Suppose g*h - 5 = 15. Solve -y + h*l - 36 = -5*y, y - 3*l = -11 for y.
4
Suppose -5 = 3*g - 2. Let l = g - -4. Suppose 4 = 3*p - 2*q - 20, 5*q - 45 = -l*p. Solve 4*n - 5*i - p = 0, 4*n + 3 = -3*i + 29 for n.
5
Let o be (-3)/((-3)/2) + 0. Solve -1 = -2*y + 1, -o*x - 3*y = -7 for x.
2
Suppose 5*t = -3*j + 8, -t = 5*j - 4*j. Solve 2*g + t = 2*b + 2*b, 2*g + 5*b - 14 = 0 for g.
2
Suppose 3*s + 4*y + 28 = -0*y, -2*s - y - 12 = 0. Let r be -9*s/6 - 1. Solve -5*z - r*d - 2 = 23, 2*z - 3*d = 0 for z.
-3
Let p = 18 - 3. Solve 3*t - 5*r = -p, -4*r + 5 = 2*t - 3*t for t.
-5
Let w(g) = -g**2 + 3*g - 3. Let t be w(3). Let z be (-3)/((t - -2)*1). Let k = 5 + -3. Solve z = 2*a + j, a - 3*j = -k*j - 3 for a.
0
Suppose 36 = -9*a + 12*a. Solve 3*s + a = -b + 2*b, -s = 3 for b.
3
Let z(d) = 2*d - 5. Let p be z(6). Let a be 144/56 - 4/p. Solve -a*u + 2 = -4*x, 3*u - 1 = -4*x + 12 for x.
1
Let w = -21 - -32. Let m = w + -7. Solve 0 = m*z - 2*z - a + 9, -5 = -5*a for z.
-4
Let k(y) be the first derivative of y**3 + 1/4*y**4 + y**2 + 2*y + 1. Let o be k(-2). Solve 0 = -2*i + o*u + 2, 2*i - 2*u = -3*u - 7 for i.
-2
Let s = 1 - -1. Solve 0 = -5*z + 6*i - 7*i - 22, s*z = -4*i - 16 for z.
-4
Let l(x) = -2*x**3 - 3*x**2 - 2*x. Let j be 1/(0 + (-2)/4). Let r be l(j). Solve 2*w + 5*y = r, -3*w + 5*y = 14 - 1 for w.
-1
Let x = -35 + 86. Suppose 2*q = -q + x. Solve -q = -g + 5*k, 0 = -4*g + 4*k - 2*k + 14 for g.
2
Let r(n) = -n**3 + 6*n**2 + 2*n - 8. Let j be r(6). Let y = j + -7. Let z be y*((-2)/(-2))/(-1). Solve 0 = -5*l - 0*k + k + 13, -z*l - 9 = 5*k for l.
2
Let n(t) be the first derivative of -t**2/2 - 6*t + 4. Let w be n(-8). Solve -3*h - 15 = -0*y + 3*y, y + w*h + 6 = 0 for y.
-4
Let g be 9/(-6)*24/(-9). Let p = 9 - g. Solve 5*v + 11 + 10 = -w, -5*v = 5*w + p for w.
4
Let t(l) = -l + 8. Let y be t(6). Suppose 3 = -y*d + c + 10, -2*d - 8 = 4*c. Solve -5*z + 13 = -2*v, -5*z = d*v - 19 + 2 for z.
3
Suppose -5*d + 0*d = -15. Suppose d*b - 4*b = -3*r - 33, 39 = -3*r - b. Let h be (-33)/r + (-1)/(-4). Solve 0 = -4*u - u - 3*i + 12, -5*u + h*i = 12 for u.
0
Let m(f) = -4*f - 2. Let u be m(-1). Solve u = -4*n - v, -n + 2*v = -2*v + 9 for n.
-1
Let n(o) = o - 4. Let u(i) = 4*i - 12. Let m(l) = 10*n(l) - 3*u(l). Let k be m(-3). Solve -v - v - 10 = k*y, 13 = -y - 3*v for y.
-1
Let h(m) = -4 + 2*m + 3 + 0. Let g be h(8). Suppose -5*j = -2*j - g. Solve 4*d - j*o - 40 = 0, 5*d - o - 5 = 24 for d.
5
Let j = -20 + 39. Let k = -10 + j. Solve 2*r + 0*c = 3*c + k, r - 22 = 5*c for r.
-3
Let h be (-3 - (-44)/16)*-16. Solve -4*q - 14 = -2*v, v = h*v - 4*q - 19 for v.
5
Suppose -10 - 10 = -4*h. Suppose -4*v + 67 = 3*k, -k = -v + 6 + 2. Solve 2*l + 5*j = -0 + 1, h*j = 4*l + v for l.
-2
Let r be (-2)/(-6) + (-14)/(-3). Suppose 24 = r*s - 16. Suppose 2*a + 2 = s. Solve 0*b + 5*q = a*b - 6, -4*b + 5*q + 3 = 0 for b.
-3
Suppose 3*y - 4 = -4*j + 5, 3*j - y + 3 = 0. Solve -3*b + 1 = -2*a + 8, 2*b + 5*a + 30 = j for b.
-5
Suppose -45 = -10*c + 5*c. Suppose 2*d + 7 = 4*o + 1, -3*o = 3*d + c. Solve -5*z = 4*a - 20, o*z = -z + 4 for a.
0
Let k be (4/3)/((-12)/(-18)). Solve 0 = 2*d + 6, -k*l = 2*l - 3*d - 13 for l.
1
Let u(o) = 3*o. Let p be u(2). Let r = -6 + p. Solve -2 = 2*x, r = 4*j - 0*x + 3*x - 9 for j.
3
Let l be 33/22*14/3. Suppose 0*v + 12 = 2*v - y, -v + l = -y. Solve 5*a - 18 = -2*m + 2*a, -v = -3*m + a for m.
3
Let x = 11 - 16. Let m = x + 6. Let n be m - 3 - (-6 - 2). Solve -n = -2*r + s, 5*r - s - 14 = s for r.
2
Let w = 0 - 9. Let h be -16 - (4*1)/(-2). Let f = w - h. Solve -5*d - 2*n = -0 + 3, -d + n = -f for d.
1
Suppose -3*v + 7 + 5 = 0. Solve 0 = -4*q - 2*a, q - 11 = v*a + a for q.
1
Let d(a) be the second derivative of -a**4/12 - a**3 - 5*a**2/2 - 2*a. Let b be d(-4). Solve 4*l + 0 - 14 = -b*i, -3*i = -4*l + 26 for l.
5
Let d = -19 - -65. Suppose 5*q - d - 29 = 0. Suppose -4*y = -y - q. Solve 0 = k + 5, g + y*k = -42 + 12 for g.
-5
Let y(w) = -w**2 - 16*w + 19. Let i be y(-16). Solve -3*q + 4*k + i = 0, -k = 5*q - 4*k - 17 fo