 = -26, 4*b = -3*p + 22 for b.
4
Let k = -350 + 97. Let f = k + 263. Solve 0 = -3*t - 3*x + 21, 5*t + f = -3*x + 37 for t.
3
Let u(b) = -b**2 + 4*b - 2. Suppose 0 = -r + 351 - 349. Let y be u(r). Solve 3*t - 24 = p - 2*t, -y*p - 3*t + 4 = 0 for p.
-4
Let r = 107 + -91. Let l be (-1)/(4/r) + 8. Suppose -l*x - 7*x = -154. Solve z - x = 5*o, 3*z + 12 = -3*o - 0 for z.
-1
Let l be (12 - (-261)/(-27))*9. Solve -5*c - 17 = -s, 3*s + 8 = -5*c - l for c.
-4
Let z be ((-58)/174)/((-7)/102) + (-6)/7. Solve -8 = 3*k + 5*d, -4*k - 53*d + z = -50*d for k.
4
Suppose 0*f - 4*f - 12 = -2*n, -5*n + 48 = -f. Suppose 4*p - 34 - n = -4*u, -p = 5*u - 31. Solve 0 = -4*b - 5*g - p + 36, -3*b + 5*g = -5 for b.
5
Suppose -10 = -o - 2*l, -21 = -2*o - 3*l + 1. Solve 4*p + 4 = -5*q, -9*q + o*q - 3*p = 3 for q.
0
Let s = 11 + -11. Suppose 3*j - 3*b = -213, 5*j + 3*b = -0*j - 331. Let v = 73 + j. Solve 2*f = -s*d + 3*d - 22, -5*f - 5 = v*d for f.
-5
Let o(t) be the second derivative of 7*t**3/3 + 17*t**2 - t - 3. Let k be o(-2). Solve -c - 3*p + 3 = -p, k = 2*p for c.
-3
Let l(x) = -x**3 - 2*x**2 + 4*x. Let o be l(-3). Let n be (-186)/18*o*1. Suppose 0 = 8*z - 9 - n. Solve -4*a + p = -7, -13 = -3*a - a - z*p for a.
2
Let g = 17809 + -17790. Solve -3*u + g = -5*w, w - 1 = 3*u - 0*u for w.
-5
Let w be 4*19*((-12)/(-8))/3. Let d = w - 30. Suppose 0*g = d*g - 56. Solve -u = 4*u - y + g, 0 = u - y + 3 for u.
-1
Let y be 916/(-9) - (-6)/(-27). Let l(r) = r**3 - 19*r**2 + 17*r - 61. Let j be l(18). Let p = j - y. Solve 0 = 5*z - 4*x - p, 4*z - 2 - 12 = x for z.
3
Suppose -18*h = 147 + 357. Let q be (16/h)/((-24)/21 + 1). Solve 5*s + 5 = 3*s + c, 0 = -2*s - q*c + 20 for s.
0
Let g be (0 - 0)/(-4 + (-11)/(55/(-15))). Solve -o + 5*t + 7 = g, -o + 0*t = t - 1 for o.
2
Let i(z) = -z**3 + 8*z**2 + 20*z + 19. Let u be i(9). Let x = u - 119. Let l be 6 + 4 + x + 20/(-5). Solve 0 = 5*o + l*p + 45, -3 + 27 = -o - 4*p for o.
-4
Suppose 10 = j + t, -5*j - 74*t = -76*t - 8. Solve o - 3*q = -2*q + 1, -4*o = -2*q + j for o.
-3
Let c be (-3)/6*496/(-62). Solve -d + 15*m + c = 7*m, 3*d + m - 12 = 0 for d.
4
Let n be (-9)/((-135)/(-42))*-5. Suppose -2*t + n = 10. Suppose k + 1 = t*a, -3*k + a - 6*a = -52. Solve -4*v = -2*w - 26, v - 5*w = 38 - k for v.
4
Let t(w) = 3*w**2 - 30*w + 18. Let f be t(8). Let y = -27 - f. Solve -4*c - 12 - y = 5*p, -9 = 3*p for c.
0
Suppose 39*p = 25 + 53. Solve 2*a + 2 = -0*a + p*g, 5*g = -3*a + 13 for a.
1
Let p(b) = b**2 + 16*b - 255. Let y be p(-26). Solve y*z = 2*z, -12 = -4*a - 3*z for a.
3
Suppose 3*q + 15 = 123. Suppose -q = -10*r + 4. Solve w + 10 = -r*y, 4*w + 12 = -w - y for w.
-2
Suppose 2*x - 3*l = 0, -7*l = -2*l. Let z(b) = -3*b - 6. Let i be z(-4). Let y be (-15)/(-25) + i/(-10). Solve -2*c + y*c - 5*u = x, 5*c + 4*u = -17 for c.
-5
Suppose -3*g + 15 = -4*n, -4*g = n - 18 - 2. Suppose 4*k = -g*f + 12, k + 3 = -2*f + 2*k. Solve -4*b = -2*c, 5*b - c - 2*c = f for b.
0
Suppose 2*o = 3*g - 207, -4*g + 0*o = -o - 271. Let x = g - 63. Let i(a) = 3*a**2 - 1. Let f be i(1). Solve -u = f*s + 9, -2*s - u = -x*u - 3 for s.
-3
Let i(d) = -d**2 + 13*d - 36. Let l(p) = -p + 6. Let n be l(-1). Let o be i(n). Solve -2*v - o*z + 2*z = 28, 0 = 5*v - 5*z - 5 for v.
-4
Suppose -j + 2*u + 18 = 0, 0 = -2*u - 3 + 1. Let p(v) = v + 14. Let x be p(j). Solve -2*s - o = -6, 0*s + x = 2*s - 5*o for s.
5
Let y = 4941 - 4939. Solve t = -y*b - 2, -5*t - 6 - 4 = 3*b for b.
0
Suppose 19*n + 92 = 23*n. Let h(r) = -r**3 - 3*r**2 + 7*r. Let p be h(-5). Solve -2*g - 5*x + 0*x - n = 0, 5*g + 4*x = -p for g.
1
Let n = -49 + 57. Suppose -2*m + 12 = -2*h, m = 4*h - 5*h + n. Let i be 1*(-4 - -2)*(-28)/m. Solve -4*c = -4*g, 0*g - 3*g = c + i for c.
-2
Let o be (-24)/84 + (-10)/14. Let u be 5 + 1/o + 1. Suppose -20 = -4*n, u = 2*a - 5*a + n. Solve -6 = -4*d + 5*h, a = -4*d + 2*h - 3*h + 18 for d.
4
Let p be ((-40)/28 - -1) + (-208)/(-28). Let h be 6/(-3) - (-9 + 28/p). Solve -u - h*l = -0*u + 6, -5*l + 1 = -2*u for u.
-3
Let u = 4900 + -4898. Solve -33 + 9 = -u*h + 4*s, 5*h - 28 = 2*s for h.
4
Let f(z) = -6*z + 28. Let c be ((-10)/(-14) - 1)*(1 - 15). Let q be f(c). Solve -4*g + b + q = 23, 0 = -5*b - 5 for g.
-5
Let q = -4083 - -4104. Solve -4*f - 5*t + 7*t = 6, -2*t = 5*f + q for f.
-3
Suppose -28*q + 116 = 8 + 24. Solve -c = -q*k - 3 - 12, -c + 5 = -k for c.
0
Let u = -11648 - -11652. Solve 82 = u*d + 94, 3*k + 2*d = 12 for k.
6
Suppose -534 - 336 = -174*r. Solve -5*z + r*i + 40 = 0, -5*z + 64 - 54 = 5*i for z.
5
Let n be 0 + 2/((-1)/(-1)). Let u(b) = -b**3 + 76*b**2 - 327*b + 31118. Let x be u(77). Solve -n*o + 1 - 21 = -2*y, 5*y + 3*o - x = 0 for y.
5
Let p(a) = -a**3 - 19*a**2 - 3*a + 24. Let b be p(-18). Let z = b - -249. Solve -3*n = z*l, -n + 20 = 3*l - 2*n for l.
5
Let g(v) = -v**3 + 7*v**2 + 5*v - 64. Let y be g(4). Solve 21 - 1 = -5*h + 2*w, h = -y*w - 4 for h.
-4
Suppose 2*w - 38 = -2*u - u, 2*w = -5*u + 58. Suppose 0 = 2*n - u, -a + 7*n - 11*n + 24 = 0. Solve -2*p + 15 - a = -3*o, -4*p - 5*o - 11 = 0 for p.
1
Suppose 2*r - 3*v = 0, -5*r + v - 7 = -2*r. Let s be (-14 - -17)/(r*1/(-7)). Solve 3*i = 4*o - 10, 5*i = -3*o + s + 15 for i.
2
Let i be 14/((-5)/(5/(-2))). Let z = i + -5. Let m be 1*-1*(z + -2) - -5. Solve 0 = -5*w + m*g + 5, -4*w + 2*w = 4*g - 8 for w.
2
Let h be 2*6*(-3 + (-5)/(-3)). Let w be (h/(-8) - -4) + -4. Solve -w*s + 5 = -g - 2*g, -g = -3*s - 3 for s.
-2
Suppose -2*l - 3*l + 4*r = 0, -12*l = -9*l + 5*r. Solve -23 = -5*q - v, 5*q - 17 = -l*v - 4*v for q.
5
Let k(z) = 3*z**3 - 8*z**2 - 18*z + 12. Let b be k(4). Let l = 3 + -1. Let o be (2 - l)/(-1) - -2. Solve -d = o*i - 5, b*d + 8 = 2*i - 2 for i.
3
Let f = 18 + -13. Suppose 0 = -84*n + 37*n + 188. Let g(o) = -o**2 + 4*o + 1. Let p be g(3). Solve -l + 0*l - n*w = 16, f*l = p*w + 40 for l.
4
Let v(f) = f + 10. Let x = 564 + -565. Let l be v(x). Solve 4*r = 4*w - l*w - 25, 0 = 3*w + 15 for r.
0
Suppose 3*i + 5 = -2*t, -t - 11 = 3*i - 7. Let k(d) = 1 + 2 - 2*d + 0 + d**2 + 5*d. Let z be k(i). Solve -r = 5, r = s - 2 + z for s.
-4
Let t(d) = -d**3 + 6*d**2 - 4. Let a be t(4). Let i = a + -48. Let v = i + 25. Solve 4*s + 3*f + 15 = 0, 4*f - f + 15 = v*s for s.
0
Let a = 16 + -12. Suppose 0 = 5*m, -a*r = r + 5*m - 25. Let f(y) = 2*y**3 - 11*y**2 + 6*y + 3. Let h be f(r). Solve -2*g - 18 = 4*j, -4*j = 4*g + 24 - h for g.
1
Suppose 0*l + 8*l - 20 = 3*l. Solve -r + l*s + 2 = -6*r, 8 = -r + 3*s for r.
-2
Let f = -575801 - -575805. Suppose 3*k + 22 = q, 8*q + 4*k - 91 = 3*q. Solve 2*c + q = 5*z, f*c - c = -4*z + 29 for z.
5
Let w = -28 + 4. Let h be -9*(w/12 - 5/(-3)). Suppose -3*r - 64 = -4*k, -h*k - 4*r + 49 = 2*k. Solve -2*v + s = 3, s + k = -5*v - 2*s for v.
-2
Suppose -5*z + 65 = 5*h, -4*h - z = -2*z - 42. Solve 6*d + 19 = -3*c + 8*d, 2*c = d - h for c.
-3
Let k = 13593 + -13588. Solve 3*u + 35 = -k*b, -2*b + 4*u = u - 7 for b.
-4
Suppose -28*g - 7 = -4*g - 127. Solve -2*b = -g*d + 28 - 14, -12 = -6*d for b.
-2
Suppose -44*l = -45*l + 2. Solve -l*m + 11 = 3*p, 5*p - 3*m - 21 = -28 for p.
1
Let g be (14 - (-685)/(-50))/(-3) + (-51)/(-10). Solve 2*y = -18 + 24, -4*j - g*y + 23 = 0 for j.
2
Let f be -2 + 33/(-22)*(-32)/12. Solve -6*a + 3*a = 5*u - 6, 0 = f*a - u + 9 for a.
-3
Let b be (((-504)/(-12))/(-2))/(-1 - 0). Let v = -3 - -6. Let h = v + b. Solve 4*u = 4*y, 4*u + 3*y - h = u for u.
4
Let l(n) = n**3 - 40*n**2 + 75*n + 40. Let u be l(38). Let b be (-11)/(55/(-20)) + (2 - u). Solve -4*s + 0*s + 8 = 0, -2*a - b = -5*s for a.
3
Let j = 139 - 60. Suppose 5964 = 9*g + 6639. Let s = j + g. Solve 5*p + 5*b - s*b + 7 = 0, -5*b = 3*p + 13 for p.
-1
Let z = -250 - -235. Suppose -6*c + 3*c + 31 = -5*b, -20 = -5*b. Let w = c + z. Solve 3*m + w*s - 7 + 2 = 0, m = 5*s - 21 for m.
-1
Let j(d) = 2*d + 61. Let u be j(-29). Suppose 4*k + u = -4*a + 19, 16 = 4*k. Solve 5*s + a*f - 2*f = 33, 2*f = -3*s + 7 for s.
5
Let t = 470 + -466. Suppose -12*f = -5*f - 21. Solve f*h = -t*r - 5, -2*r + 4 = -h + 9 for r.
-2
Let k(m) = -10*m**3 + m + 3. Let v be k(0). Solve 10*q - 8*q = v*t + 2, 5*q = -4*t + 5 for t.
0
Let w(z) = 2*z**2 - 10*z + 8. Let v(t) = -10*t - 126. Let g be v(-13). Let l be w(g). Solve -5*i = -4*p - 16, -3*p - 2*i = -l*i + 12 for p.
-4
Suppose -3*p = 10 - 31. Suppose 5*j + 5*y = 85 + 90, 0 = 4*j + 5*y - 141. Suppose 2 - j = -8*