 0, -2*d = -d - 2 for f.
5
Let y = -12 - -14. Let b(o) = -o**2 + 1. Let p be b(1). Suppose y*a - 4 = 0, 2*t - 3*a + p = -6. Solve 0 = r - t*h - h, -5*r = -3*h + 6 for r.
-3
Suppose 59 + 81 = 5*k. Let h = 32 - k. Suppose -4*c + 9 - 1 = -4*y, 5*y + h*c - 35 = 0. Solve 2*x + y*b = -4, -2*x + 5*x + 3 = -3*b for x.
1
Let i be ((-17)/(-34))/((-2)/68). Let z = i - -20. Let b(x) = x**3 - 3*x**2 + 3*x - 4. Let a be b(z). Solve 2*y - 5*r = a, -y + r + 0*r = 2 for y.
-5
Let g(v) = v**3 + v**2 - v + 6. Let u = -9 + 9. Let h be g(u). Suppose 2*z - 4*i + 5 = -7, -4*i = -5*z. Solve 0 = -4*l - z*m - 4, 4*l + 40 = -m + h*m for l.
-5
Let l(u) = u**3 + 11*u**2 - 12*u + 3. Let j(x) = -2*x**2 - 5*x + 6. Let v be j(2). Let m be l(v). Solve 5 - m = -4*a + 2*d, 3*a - d = -4 for a.
-3
Let m(y) = y**3 + 12*y**2 + 25*y - 1. Let i be m(-3). Solve 2*f - 5 = i*l + 11, -14 = l + 5*f for l.
-4
Let y be (6/(-2))/(-3)*2. Suppose 0 = -0*d - 3*d + 3*z + 27, 7 = -y*d - 3*z. Solve d*x + 0*q + 12 = -q, -5*q = 5*x + 30 for x.
-2
Suppose 10*q - 2*q = 144. Suppose 4*j = -5*v + 20, 4*j = -3*v + q + 2. Solve -i = -4*r - j, 5*r = -2*i - 19 + 3 for i.
-3
Let x(t) = t**2 + 14*t - 8. Let g be x(-15). Let r(l) = -l**2 + 7*l + 5. Let f be r(g). Suppose -z - z + 10 = 0. Solve 5*i - 1 = z*s - 6, -f*s - 4*i = 13 for s.
-1
Suppose -35*h + 46 = -24. Solve 4*j - h = -0*t - 2*t, 4*t = -4*j + 12 for j.
-2
Suppose 5*n = -2*p + 97, 22 = 3*n + 4*p - 39. Solve 0 = -2*d + 5*k - n, d - 6*d + 5*k - 25 = 0 for d.
-2
Suppose -2*b + q - 4*q + 128 = 0, 4 = -q. Suppose 3*o + 4*y + b = 5*o, -o + 19 = 2*y. Let d = -24 + o. Solve -3*j + 6 = -g - 1, 0 = d*g - j - 3 for g.
2
Suppose 0 = 2*j - 0*j - 12. Suppose 42*f = 39*f + j. Solve 2*o - o = -f*z - 4, z + o = -4 for z.
0
Let q be 2*(-5)/8 + (-364)/(-112). Suppose 0 = -5*r + 8*r - 84. Solve -d - 4*v - r = q*d, 5*v = -2*d - 28 for d.
-4
Suppose 11 = -4*n - 5. Let j be -4 - (-2 + 104/n). Let s = 29 - j. Solve 7 + 14 = -5*r + 3*w, -5*r - s*w = 5 for r.
-3
Let t = -1304 - -1306. Solve 3*g + y = t, -3*g + g = 2*y for g.
1
Let q be 7/(28/(-8)) - -3. Suppose q + 6 = c. Solve -5*k = -4*l, 0 = -c*k + 2*k for l.
0
Let s(a) = -4*a. Let b be s(-1). Suppose -b*t = -t - 6. Solve -3*j - 21 = 5*c, -j - t*c = 4*j + 16 for j.
-2
Let b(j) = -j**3 - 20*j**2 - 22*j - 55. Let x be b(-19). Solve 4*s + 3*q = -s, -x*s + 4 = 2*q for s.
-3
Let v be 1 + (4 - -2 - 15/3). Solve -3*x + 13 + v = -5*m, 2*m + 4*x + 6 = 0 for m.
-3
Let m be 3/(-3 - (-11 - (-3 + -4))). Solve n + 4*u + 12 = 0, 2*n + u + m = -3*n for n.
0
Let k(z) = 14*z**2 - 4 - 11*z - 2*z**2 - z**3 + 3 - 6. Let t be k(11). Let w = t - -12. Solve -3*a - 12 = 0, w = 5*b + a - 1 for b.
2
Let j(q) = -2*q**2 - 16*q - 6. Let d(b) = b**2 + 1. Let m(o) = -3*d(o) - j(o). Let p be m(16). Solve h + 7 = p*h + 5*t, 5*h = t + 4 for h.
1
Let d = 16 + 0. Suppose 2*i - 5*r - d = 0, 0*r + 1 = -3*i - 5*r. Solve 1 = -2*z - 5*h + 13, -24 = i*z - 3*h for z.
-4
Suppose 0 = z - 4*z + 5*w + 161, 5*w + 57 = z. Let n = 55 - z. Solve -2*u - 26 = 5*h, 0 = -n*h + 2*h - 4 for u.
-3
Let c(i) = i**3 - i**2 + i + 44. Let k be c(0). Let u = k - 35. Solve -2*o - 5*z = -12, -2*o + u = o + 3*z for o.
1
Let g be 3 - 2/(-3)*-3. Let k be g/(-1 - 24/(-20)). Suppose 0 = z + k*c + 15, c = 4*z + 1 - 25. Solve -z*q + 25 = -4*t, 4*q + 1 = -5*t + 4*t for t.
-5
Suppose 0 = -i + 2 - 3. Let z be 16 + -14 + i + 17. Suppose -z*n = -16*n - 6. Solve -n*u - 3 = -2*b + 9, -2*b = u + 4 for u.
-4
Let y(q) = q**3 + 4*q**2 + 2*q + 5. Let p be y(-2). Solve -2 = -2*j + f + 1, -3*f + p = 0 for j.
3
Let z = -153 + 268. Suppose 3*a - z = -2*a. Let f = 28 - a. Solve -r - 8*u - 9 = -4*u, -f*r = u - 12 for r.
3
Let v be 1/5 - (1 - 48/10). Solve z = v*o - 20 + 4, -o - 9 = 3*z for o.
3
Suppose 17*n - 52 = 4*n. Solve x + n = 3*f - 6, -x = 2*f - 10 for x.
2
Suppose -36*y + 411 + 93 = 0. Solve 2*x + y = j, x = -j - x - 6 for j.
4
Let q(l) be the first derivative of l**4/4 + 2*l**3 + 5*l**2/2 + 5*l - 35. Let j = -1 + -4. Let h be q(j). Solve 3*f = i - h*i + 8, 5*f + 3*i = 6 for f.
0
Let n = -414 + 417. Solve n*k - 15 - 7 = 5*v, 4*k + 5*v = -29 for k.
-1
Suppose -x + 4 = -1. Let p(c) = -c + 44. Let o be p(39). Suppose 12 = -4*r + 4*s, 4*r + 5*s - 14 - 19 = 0. Solve -o*t - 14 = -m + r, 0 = -x*t + 5*m for t.
-4
Let v(m) = m**2 + m - 1. Let i(z) = -z**3 + 5*z**2 - 10*z - 3. Let y(n) = -i(n) - 3*v(n). Let p be y(7). Solve -c + 2*d = 1, 2*c + p = -0*d + 2*d for c.
-5
Let y(t) = -16*t - 32. Let m be y(19). Let o be m/32*(-4)/6. Solve 8 = 5*b - 2*u - o, 0 = -2*b + u + 5 for b.
5
Let y be 6/(-5)*(-3)/(30/25). Solve -2*j - 3*q - 9 + 1 = 0, j + y*q = -7 for j.
-1
Let i = -439 - -441. Let o(s) = s**3 + 5*s**2 - 3*s + 5. Let z be o(-5). Let x = -4 + z. Solve i*q = 4*g - 26, 5*q - 2*q = -5*g + x for q.
-3
Let h(b) = -3*b - 1. Let n be h(-5). Let w = -84 - -89. Let f(m) = -m**3 + 5*m**2 + 6*m - 18. Let p be f(w). Solve -3*a = -z - p + 2, -5*a - z + n = 0 for a.
3
Let a be ((-45)/(-3))/5 - -5. Let h be (-3*a/(-12)*1)/1. Solve -8 = h*z, -16 = 3*m + 4*z + 6 for m.
-2
Suppose -5 = m - 5*p + 2*p, 0 = -5*m - 3*p + 47. Let i be m - 8/4 - 1. Suppose 26 - 42 = -2*f. Solve -4*w - 5*q = -q - 4, w + f = -i*q for w.
4
Let l(c) = -c**3 + 17*c**2 + 61*c - 15. Let r be l(20). Solve x - r = -2*u, 3*u - 2*u + 4*x = -8 for u.
4
Let t(d) = 8*d - 5*d**2 + 7*d**2 + 3*d**2 + 14 - 3*d**2. Let o be t(-7). Let l be (o/(-42))/((-2)/6). Solve 9 = -l*w + w - 3*h, 14 = -4*w - 2*h for w.
-4
Let x(t) = 5*t + 30. Let m be x(-5). Let f = 7 - 0. Solve -3*h = v - 11, -m*h - 2*v + 6*v + f = 0 for h.
3
Suppose -5 = -2*q + 1. Let a(t) = t**2 + t - 27. Let o be a(5). Solve o - 6 = -5*f + 2*r, -f + q = -r for f.
-1
Let p = -434 - -446. Solve 14 = -5*a + j, -2*a + 4*a + 4*j = p for a.
-2
Let q be (1 - 0) + (-13)/((-13)/4). Solve -3*m = -q*i + 1, 3*m - 3*i + 7 = 4 for m.
-2
Let y be (-9 + -6)*(-2)/(-6). Let k(u) = u**3 + 6*u**2 + 6*u + 2. Let i be k(y). Let f be 6/(-2) - (0 + i). Solve 3*g + 5*m = f, 0 = -0*m + 5*m for g.
0
Let d(v) = v**2 - v - 2. Suppose 3*b - 12 = -18. Let t be d(b). Solve 29 = 5*n + t*w, -n + 2*w = -0*w - 3 for n.
5
Let h be (3 - 0 - 6)/(-1 - 0). Suppose -3*m + 24 = b, 80 = 5*b + h*m + 2*m. Solve -5*r = 3*t - b, 5*t - 20 = 3*r - 2*r for r.
0
Let x(p) = p + 2. Let h be x(14). Solve -k - 4 = g, -g + 0*g = 4*k + h for g.
0
Let d(c) = -10*c**2 - c + 2. Let s be d(1). Let q be 1/(-3) + (-3)/s. Solve -5*y - 3*t - 19 = q, 2*y + 0*y - 5*t = -20 for y.
-5
Let g(v) = v - 4. Let o be g(2). Let p = o - -18. Let m be p + -1*4/(-4). Solve -y + 4*c = m, 0*y - 4*c = 5*y + 13 for y.
-5
Let z(q) = q**2 - 7*q - 13. Let o be z(9). Solve -5*n + 3*x = -12, -5*n - o = 5*x + 15 for n.
0
Let a be -2*5*8/(-16). Suppose -a = -x - 2. Solve x*y + 4*o = 5, -4*o = -4*y - 14 + 2 for y.
-1
Suppose -2*r + 22 = -5*v - 9, 3*v + 11 = 5*r. Let y(d) = 2*d**2 + 70*d - 77. Let f be y(-36). Let b = f - v. Solve -b*j - 5 = a, 0 = -5*a - 1 - 14 for j.
-1
Let x be ((-4)/12)/(4/(-48)). Solve 2 = -0*s - s - j, -x*s + 3*j = 22 for s.
-4
Let i = -24 - -29. Let o be (1 - 0)*0/(i - 7). Solve o = 5*n - 2*f - 27, f = 5*n + 6*f - 20 for n.
5
Suppose -3 = 4*v - 3*s, -4*v - 2*s - 12 = -2*v. Let r be 2*(-2 + (-3)/(-2))*v. Solve -r*a - 19 = 5*g + a, 0 = -4*g - a - 13 for g.
-3
Suppose 2*b = -41 + 51. Solve 4*a + t - 13 = 0, -2*a = -0*a + b*t - 11 for a.
3
Let k(b) be the first derivative of b**4/2 - b**3/3 + b**2/2 + 60. Let r be k(1). Solve -r*c - h = 0, 0 = -c - h + 2 - 0 for c.
-2
Suppose p - 19 = 3. Suppose 19 = 4*f - 5*w - p, 4*w = -5*f. Solve -5*a + 3*a - j = -13, -3*a + f*j - 8 = 0 for a.
4
Let m(u) = 4*u + 85. Let b be m(-21). Solve -o + 1 = -q - b, 0 = -3*q - 6 for o.
0
Let w be (40/6 - 3)*(2 + -17). Let z = w - -67. Solve -2*m + 6*m - 2*a + z = 0, -12 = 4*m - a for m.
-3
Suppose -4*m + 6*m - 2 = 0. Let t be 20/6 - m/3. Suppose 3*v + a = 7 + 1, -24 = -4*v - 4*a. Solve -t*g + c = -4*c + 13, -4*g = -3*c - v for g.
4
Let x = 295 - 291. Solve -15 = -3*d, -4*y + y = x*d - 8 for y.
-4
Let h = 19 + -13. Let q be (-2)/h + (-26)/(-6). Suppose 2*p = d + 12, 0 = -p - q*d + 1 - 13. Solve -p*i - 3*y + 9 = -8, 3*i = 2*y for i.
2
Let k = -9 + -7. Let m = 16 + k. Solve -h + m*p = -p, 4*h - 15 = p for h.
5
Suppose -5*k - 2*d + 37 = 0, 0 = k - 10*d + 6*d - 25. Solve -2*l - 6 = 4*b, 2*l - 3*l - 5*b = k for 