k + 1 = 0, i + i = 2*k + p for i.
3
Let z be 468/20*(-6 + 138/18). Solve -7*t + 11*t - 3*g = -z, t - 4 = -2*g for t.
-6
Let p be -8 - (78*29/(-870))/((-1)/(-5)). Suppose 0*c + c = 5. Solve -p*s + 10 = c*m, 4*s + 4*m - 13 = 5*m for s.
3
Let n(r) = -4*r**2 - 47*r - 104. Let x be n(-7). Solve p - 4*j = 0, 4*p - j = -14 + x for p.
4
Let h be (6/(-10))/(1050/(-7000)). Solve -h*f - c = -16, 4*c = 14*f - 9*f + 1 for f.
3
Suppose 2*m - 3*m - 5*v = 5, -5*v - 5 = 3*m. Suppose m = -6*t - 3 - 3. Let b be t/(-5) + (-19)/(-5). Solve 5*i - 17 = -w, 3*w - 1 = 3*i - b for w.
2
Let w(x) = x**2 + x + 1. Let v(l) = -2*l + 29. Let h be v(13). Suppose -5 - 1 = h*t. Let a be w(t). Solve 2*n - 11 = -2*q - a*q, 4*n + 2 = -2*q for q.
3
Suppose 11*p = 15*p - 8. Suppose 4 = -2*c + 6. Suppose y = 4 - c. Solve 0 = -p*f, 2*l - 10 = -y*f - 0*f for l.
5
Suppose 12 = 4*y - 5*z, -14 + 2 = -4*y - 4*z. Suppose h + y*h = 4. Solve 0 = 3*x + 4*q - 9, 2*q = 5 + h for x.
-1
Suppose -2 = -2*q - 0. Suppose -q = 5*w - 26. Let b(s) = s**2 + 35*s - 143. Let o be b(4). Solve -5*p + o = -d - 0*d, -w*p + 25 = -5*d for d.
-3
Let u be 12/(-18) - (10 + (-494)/39). Solve 5*i = 4*y, i = -u*i + i for y.
0
Let q(u) = 5*u - 5. Let g be q(10). Let i be (12/9)/((-6)/g). Let o = -5 - i. Solve 11 = 5*t - 6*d + o*d, -4*t + d + 9 = 0 for t.
2
Let a(m) = -4*m + 212. Let k be a(51). Suppose -k*o + 81 = -111. Solve 0 = -4*i + s + 3*s + o, -5*i - s = 0 for i.
1
Let w be 19 + -56*(-5)/(-20). Solve 8 = w*i - 3*m, 4*i - 7 = -3*m + 21 for i.
4
Let j = -1 - -9. Let v be 1*5/(-5) + 5. Suppose -f + 0 + 9 = q, -v*f - q + 21 = 0. Solve -f*m = 3*g + j, -m + g = -4*g + 2 for m.
-2
Suppose -36 = -5*k + x, -97 = 2*x - 85. Solve -u = -4*r + k, -r = 4 - 5 for u.
-2
Suppose -2*q + c = 2*c - 40, 0 = -3*q + 4*c + 60. Solve -i - 9 = 3*v, -q = 3*i + 37*v - 35*v for i.
-6
Let c(l) = -l**3 + 10*l**2 + 15*l + 2. Let r = -61 + 72. Let w be c(r). Let t = w - 41. Solve 2*d + 25 = -t*n, 5*d = -3*n + 2*n - 28 for n.
-3
Suppose -16*b + 11 + 53 = 0. Suppose -b*m = -98 + 98. Solve -4*w + c = -2*c + 16, m = -4*c + 16 for w.
-1
Suppose 138 + 72 = 5*l. Suppose 0 = 5*u - 2*w - l, 7 = 3*u - 5*w - 3. Suppose u + 0 = 5*c. Solve c*g + 4 = k - 3, 0 = 5*k - 3*g - 21 for k.
3
Let c = 5684 - 5673. Solve 5*n - r + 5*r + 37 = 0, -2*r = n + c for n.
-5
Let b be 13/2*3888/3159. Solve -2*l + b = -0, d = -5*l + 18 for d.
-2
Suppose -373*b = -369*b - z - 25, 15 = -3*z. Solve b*p - 20 = -4*k, 4*p = -5*k + 10*k - 25 for p.
0
Let g(j) = -10*j**2 - 111*j + 113. Let q be g(-12). Solve -6*y + 27 = -o, -q*y = 4*o + 5 - 42 for y.
5
Suppose 650 = 5*d + j, 4*d - 4*j - 367 = d. Let i = d + -129. Solve -c - 7 = -4*a, i*c - 5*a - 4 = 3*c for c.
-3
Suppose 461 = 97*h + 10*h + 33. Let k(f) = f. Let r be k(5). Solve -g = -r*q - 18, 0 = h*q + g + 12 + 6 for q.
-4
Suppose -4*r - 5*x + 59 = 0, 4*r - 3*x - 5 = 30. Solve r = k + 3*a, 3*k + a = -3 - 4 for k.
-4
Let g(n) = -4*n**2 - 5 + 2 + n**2 + n + n**3 + 0*n**2. Let s be (1*(-2 - 3))/(15/(-9)). Let d be g(s). Solve 0 = 4*f - d*b + b + 15, -2*f + 2*b = 20 for f.
-5
Let t = 6662 + -6660. Solve 3*d = -4*f - f - 17, 2 = -t*f for d.
-4
Suppose 515*u - 514*u - 5*f = 17, -u - 2*f = 4. Solve 2*q = -u*p + 6, 2*p = -4*q - 4 + 10 for q.
0
Let m(j) = 4*j - 18. Let l be (6/(-9))/(8/(-60)). Let g be (l + -7 + -3)*(1 - 2). Let a be m(g). Solve a*i + 0*z - z = 8, -5*i + 4*z + 26 = 0 for i.
2
Suppose 0 = d + 4, -5*d = -96*b + 99*b + 11. Solve -5*m - 12 = -2*r, 2*r - 7 = 4*m + b*r for m.
-2
Let u(r) = 18*r + 1370. Let c be u(-76). Solve -c*n + 4 = 3*s + 5, -n - 20 = -5*s for s.
3
Suppose -2*t - 43*a = -41*a - 14, -4*a = t - 13. Solve 0 = -c + 2, 7 = -o - t*c + 21 for o.
4
Suppose 56*y - 50*y + 336 = 0. Let z be 5*4/2 - (-52 - y). Solve 0 = 2*q - 5*g + 7, -2*q - 5*g - 1 = -z*q for q.
4
Suppose -167*m - 196 + 352 + 512 = 0. Solve -2*k + 4*i - 8*i - m = 0, -3*i - 10 = 5*k for k.
-2
Let x(v) = v**2 - 5*v - 22. Let o be x(8). Let t be ((0/o)/(-1 + -1))/(-1). Let y be (0 + 1)*(-3)/15*t. Solve m - 3 = 0, y*m + 3*m = -2*j + 15 for j.
3
Let v be 14/(-3)*((-27)/6)/3. Let o(j) = 5*j - 32. Let h be o(v). Let k be (-8)/(-12)*(-150)/(-4). Solve h*s - 17 = 2*z, 0*z - 4*z + 3*s = k for z.
-4
Let x = -20 - -23. Suppose 134*k - 25 = 129*k. Solve -k*i = 5*z, 4*z = x*i - 6 - 1 for i.
1
Suppose 41 = 366*t - 135*t - 652. Solve 6*r - 39 = -t*h, -4*r + 27 = 3 for h.
1
Let j = -3 + 28. Let k(i) be the second derivative of -i**4/12 + 5*i**3/6 + 3*i**2 - 18*i. Let o be k(5). Solve r = -o*c + 2*c - 19, 0 = 5*c + j for r.
1
Let n = 2 + 0. Suppose -3*g + 52 = 3*l + 40, 2*g + 4 = l. Solve 2*v - 5*t + l = -n*t, v + t = -2 for v.
-2
Let u = 10299 + -10299. Solve 4*q - 4*i - 16 = 0, 2*i + u*i = -8 for q.
0
Let y(x) be the second derivative of -x**3/2 + 81*x**2/2 - 20*x. Let u be y(19). Let p = u + -20. Solve p*i - 1 - 5 = -z, -z - 2 = -4*i for i.
1
Let q be ((-3)/(-6) + 1)*504/378 - -3. Solve 0 = -2*o - q*t - 10, 41*o = 44*o + 3*t + 15 for o.
-5
Suppose 280 = 7*d + 48*d + 15*d. Solve -4*z + 5*r - 6*r = 25, -d*z - 15 = -r for z.
-5
Let a(l) = -2*l**3 + 65*l**2 + 34*l - 30. Let o be a(33). Let i(n) = -n**2 - 46*n + 149. Let k be i(o). Solve -4*g = 4*h - 16, -h + k = 1 for g.
3
Let l be (98/343)/(1/35). Solve -10*j - 3*t = -7*j + 6, 5*t = 2*j - l for j.
0
Let r = -37 - -24. Let u(c) = -2*c - 24. Let f be u(r). Solve 0*y = -4*a + 4*y + 8, 4*y = f*a for a.
4
Suppose -94*v = -51*v - 43 - 43. Solve -m = 3*t + 14, -t = -v*m - m + 8 for t.
-5
Let r be (-8 - 1 - -2)/(-1). Let f be 162 + -1 + 1 + 32/(-16). Let i be 10/(f/12) - 9/(-4). Solve -l + i*p = -r, -4*l - p = -3*p - 18 for l.
4
Suppose -12*l + 64 = -4*l. Let p be (-6)/l + ((-155)/(-20) - -9). Solve 3*v - 5*x - 1 = 2, p = -v - 4*x for v.
-4
Suppose 57*q - 32 = 56*q + 4*u, 26 = 3*q - 2*u. Solve -c + 2*k = -11, q*c + 0*k = -2*k - 6 for c.
1
Let z(u) = -7*u + 215. Let n be z(30). Suppose n*c - 4*x = 1 + 50, -8 = -4*c - 5*x. Solve -6 = 2*d + 4*w, 2*w - c = 3*d + 10 for d.
-5
Suppose 118 + 538 = 41*b. Solve b = 4*t - v + 6*v, 4*t - 2*v + 12 = 0 for t.
-1
Let k be (-836)/(-76)*(-7)/(308/(-8)). Solve c = k*o - 4, -o = -3*c + 22 - 19 for o.
3
Let t = 4276 + -4274. Solve -5 = -5*d, -3*n - 1 = t*d - 9 for n.
2
Let j be (8 + -7)*66*((-6)/9)/(-1). Solve j*i = -5*t + 48*i + 31, -4*i = -3*t + 25 for t.
3
Suppose 0*b + 175 = b + 4*k, -5*k + 875 = 5*b. Let g = 180 - b. Solve -z + 5*s - 32 = -4*z, 3*s = g*z - 8 for z.
4
Let f(g) = g**3 + 18*g + 5. Let u be f(0). Solve i - 8 = -a + 2*i, -2*a - u*i - 19 = 0 for a.
3
Let g(i) be the third derivative of i**6/120 - 7*i**5/30 + 3*i**3/2 + 768*i**2. Let b = 21 + -7. Let h be g(b). Solve 3*a + h - 1 = -2*k, -16 = 4*k - 3*a for k.
-4
Let l = -16764 + 16769. Solve 7*z - 2*z + 20 = l*b, 0 = 5*z - 3*b + 10 for z.
1
Suppose -3 = -21*b + 40 - 1. Solve x = 2*v - b, 5*x + v + 6 + 15 = 0 for x.
-4
Let x be (-660)/(-150) + (-18)/(-30). Suppose -20 = -5*l + 4*s, -5 = -0*l + l + s. Let w = -2 - -4. Solve 0 = -x*r + 25, -2*d - w*r = -l*r - 10 for d.
0
Let v(q) = -2*q**2 + 4*q + 3. Let p be v(2). Let f be -1 - (138/(-9))/(1/p). Let i = -43 + f. Solve -5 = i*y + m + 2, 0 = -4*y + 5*m + 7 for y.
-2
Suppose -4*p + 28 = x, 4*p - 9*x + 14*x - 12 = 0. Solve m = 3*h + 4, 5*m + 2 = p*h - 4*h for m.
-2
Suppose -w + 531 = -0*o - 3*o, -2166 = -4*w - 2*o. Let n = 548 - w. Solve 2*b - 18 = 4*f, -2*f = 2*b - 4*b + n for b.
-1
Let o(y) be the first derivative of -5 - 9/2*y**2 + 1/4*y**4 - 9*y + 2*y**3. Let v be o(-7). Solve 2*f = -v*k + 3 - 19, 2 = 3*f + k for f.
2
Let q = -878 + 903. Suppose z - q = -5*w, 0 = -4*z + 2*z. Solve 0 = b - n, n + 3 = w*b - n for b.
1
Suppose -4 = -4*h + 8. Let i be ((-2666)/1736 + 3/12)*-1*7. Solve -3*d = -g + i, 29 = -h*g - 6*d + d for g.
-3
Let c be ((-65)/13 - -9) + (-3)/(-3). Solve 3 + 5 = 2*k, -c*k + 35 = -5*t for t.
-3
Let h = -1171 + 1174. Solve -3*w + 9 = -5*a, w = a - 4*a + h for a.
0
Suppose 0 = -231*v + 237*v - 30. Suppose -h = -5*k - 6*h + v, h = 5*k + 1. Solve 4*p + 4*f - 20 = k, 5*p - 3*f - 17 = -6*f for p.
1
Let a(h) = -h**3 - 25*h**2 + 23*h - 75. Let q be a(-26). Solve -v = 2*u - 5*u + 13, -q*u = -4*v - 16 for v.
-1
Let o(s) be the second derivative of 11*s**3/6 + 209*s**2/2 + s. Let u be o(-18). Let a = 25 - 7. Solve b - 3 = 4*r, 2*r + u = -5*b - a for b.
-5
Let g(x) = 2*x**2 - 4. Let 