 + 0*r + 0*r**2 - 3. Let d be c(0). Suppose 0 = t + a + d, 0 = -t - 5*a - 40 + 18. Solve 4*x + t*w - 1 = 1, 2*x - 4*w + 10 = 0 for x.
-1
Let h = -41 + 83. Suppose 0 = 11*g - 5 - 61. Let m be g/h + (-202)/(-7). Solve -i + 5*w + 9 = m, 35 = 5*i + 2*w for i.
5
Suppose -12 = 2*h - 6*h. Let m = -16 - -21. Solve m*z - z = 5*i + 13, -h*z = i - 5 for i.
-1
Suppose 10*i - 32 = 14*i. Let p = 11 + i. Solve -z = -x - 4*x, p*z = -5*x - 20 for x.
-1
Let p(n) = -n**3 - 3*n**2 + 8*n. Let l be p(-6). Let b be (16/(-10))/((-8)/l). Solve 0 = 3*k - 5*g - b, k + 4*k + g + 8 = 0 for k.
-1
Let d(v) be the second derivative of -v**5/10 + 7*v**4/6 - 11*v**3/6 - 3*v**2/2 - 8*v. Let u be d(6). Solve -r + 4*b + 1 = u*b, -6 = -2*r + 3*b for r.
-3
Suppose -v = v + 12. Let l be (14 + v)*(-4)/(-1). Suppose 3*x + 5*n = l, -5*x - 2*n + 32 = n. Solve -x*d - i - 12 = 0, -5*d - i - 15 = -4*i for d.
-3
Let o(p) = -11*p + 12. Let s be o(11). Let q = -107 - s. Solve 0 = -d - 3*k + 4, q*k + 4 = -6*d + 4*d for d.
-5
Suppose -3 + 1 = -t. Suppose 17 = 3*y - 4*m + 3*m, 3*m = -4*y + 14. Suppose y*f - 6*f + 3 = 0. Solve -3*g + 3 = f*o, 5*o = -t*g + 7*g - 45 for g.
5
Let k be (1 - (-7 + 2)) + (41 - 43). Solve 0 = -5*r - 3*t + 10, 3*t = k*r - r + 18 for r.
-1
Suppose -9*f - 12 = -13*f, 2*f = 2*u. Solve v = 2*p - u - 2, v = -4*p + 7 for p.
2
Let n = 925 - 915. Solve -3*y + 4 = -5*p, -3*y + n - 26 = 5*p for p.
-2
Let v = -186 + 196. Solve 5 = -l + 6, -3*r - v = 2*l for r.
-4
Suppose 2962 = 8*m + 2882. Solve 2*s + 4*q - m = 0, -5*q + 45 = s - 5*s for s.
-5
Let k(f) = -f + 11. Suppose 5*c - 32 = c. Let p be k(c). Let g be ((-12)/(-5))/(2/5). Solve -r + o - 8 = -5*r, 0 = -p*r + o + g for r.
2
Let b(r) = -13*r + 798. Let x be b(61). Solve -2*o + 12 = x*s, -s = -3*s + o + 12 for s.
4
Suppose -7*m = 5*i - 4*m - 53, -i + 12 = 2*m. Let h = -176 + 180. Solve -2*z + 6 = -2*p, h*z - i = 2*p - 0*p for z.
2
Suppose -4*t = 7 - 19, 0 = -3*q + 2*t. Let g = 34 + -35. Let x = q - g. Solve 5 = n + 3*r - x, 12 = -5*n - 2*r for n.
-4
Suppose 6*w = 4 + 20. Suppose -5*o = 1 - 11, -5*n = 5*o + 20. Let r be ((-3)/9)/1*n. Solve 0*p - 3*p = -r*b - 10, 0 = w*b - 4*p + 16 for b.
-2
Let j(z) = z**2 + 5*z - 2. Let i be j(-4). Let m = i + 24. Let p be 24 - m - (-2)/(-2). Solve 2*b = 5*f - 35, -p*b - f - 30 = -2*f for b.
-5
Let h be (-1)/(-7) - (-66)/(-21). Let q be (-3 - 2)*h - -1. Solve 0 = 3*u + 9, 5*l + 4*u - q = u for l.
5
Let a(d) = d**2 - d. Let n be a(3). Suppose 3*k + 6 = n*k. Solve q + 1 = k*f, 6 = 4*f + 5*q - 31 for f.
3
Suppose h + 2*z - 30 = -3*h, h - 5*z + 20 = 0. Solve -h*r + t + 0*t + 19 = 0, -r - 2*t = -6 for r.
4
Let x be 7 + 12*(-5)/10. Solve -2*d + 3 + x = 2*b, -d - 3*b = 0 for d.
3
Let s = -83 - -86. Let h(p) = -p**3 - 4*p**2 - p + 4. Let x be h(-3). Let d be 2 + (-2 - -1) - x. Solve -12 = -s*v - o - o, 0 = -o + d for v.
2
Let x(n) = 2*n. Let l be x(2). Suppose 0 = -13*c - 164 + 216. Solve -i = 5*q - 22, -q = -l*i - 0*q + c for i.
2
Suppose -4*n = -4*p, 0 = 487*n - 483*n + 3*p - 28. Solve -13*c + n*l = -17*c + 28, 2*l + 1 = c for c.
5
Let q be 21/(-15) + (-16)/10 + 2. Let w be (q/(-2))/(3/(-180)*-3). Solve -h + 5*o + 5 = 0, 4*h - 2*h = -4*o + w for h.
5
Suppose 2*i - 20 + 5 = 5*r, -22 = -4*i + 2*r. Suppose 0*l - 60 = -i*l. Solve -v - 2*v = -4*c - 3, c = 5*v + l for c.
-3
Let k be 1 - ((-19)/3 - 10/15). Suppose 5*t - k - 2 = 0. Solve -t*g + 5*z + 23 = 0, -3*g + 5*z = -33 + 6 for g.
4
Suppose q = 5*l - 3 - 22, q = 3*l - 15. Let a be 3/3 + (3 - 2). Solve 3*m + 0*n - n = 15, -l*n - 10 = -a*m for m.
5
Let b(g) = -g**3 - 18*g**2 + 19*g + 3. Let m be b(-19). Let h be 3/(9/(-6)) - -15. Solve 0 = -m*d + 2*x, 3*x = 5*d + 4*x + h for d.
-2
Let y = -214 + 218. Solve -c = 3*c - y, -5*r = -c + 6 for r.
-1
Let x(i) = 2*i**2 - 29*i + 40. Let h(r) = r**2 - 15*r + 20. Let q(l) = 5*h(l) - 2*x(l). Let o be q(16). Solve -p - 20 = -3*k, -o*p = -5*k - p + 40 for k.
5
Suppose 0 = -9*l + 6*l - 9. Let o(y) = 10*y + 5. Let k be o(l). Let c = -23 - k. Solve 0 = -c*f + 3*i - 8, 2*f + 4*i = 4*f + 10 for f.
-1
Let t be (0 - -183)/3 - 3/3. Let o = t - 57. Solve 6*y - 4*y = -o*z - 16, 2*y + 20 = -4*z for z.
-4
Suppose -5*b - 25 = 0, -3*b - 19 = u - 55. Let p = -48 + u. Solve 0 = -s - 2*s + p*a + 21, 0 = -5*s + a + 27 for s.
5
Suppose 0*a - 342 = -57*a. Solve 24 = -3*s - 5*z + z, -2*z = -3*s - a for s.
-4
Suppose -64*k = -74*k + 20. Solve 0 = -x + 1, 7 = -k*s + 2*x - 3 for s.
-4
Let l be 12/(-2)*18/(-54). Suppose -o + 2*y - y = 1, -o = 4*y - 24. Solve -5*b = o*j + 10, l*b + 5 - 1 = 0 for j.
0
Let o(t) = -t**3 - 9*t**2 + 3*t - 65. Let v be o(-10). Solve 3*j + u = -5, u + v + 0 = 0 for j.
0
Suppose -16*y = 14*y - 480. Solve -v + y*n - 13 = 12*n, 5*n = 20 for v.
3
Let u(r) = -r**2 - 2*r + 3. Let d be u(-3). Suppose 30*c + 64 = -126*c + 688. Solve -6 = -3*q, -c*w + q + d = 2 for w.
0
Let n = -28 - -23. Let o be (-3)/n + 30/(-50). Solve 5*m + z - 2*z - 21 = o, 5*m + 3*z - 17 = 0 for m.
4
Let g(r) = r**3 + 2*r**2 - r + 1. Let f(h) = 2*h - 14. Let l be f(6). Let i be g(l). Solve 27 = 3*p + i*v, 0 = -2*p - 3*p + 4*v for p.
4
Let y = 1242 - 1242. Solve -2*h + 4 = -3*z, -7*h + 8*h + 5*z + 11 = y for h.
-1
Let c(s) = 2*s**2 - 20*s - 17. Let q be c(11). Solve -4*u + 5*r - 3*r + 10 = 0, -5*u + q*r = -5 for u.
4
Suppose 0 = 3*c - 2*t - 7 + 14, -5*t + 25 = 0. Let w be 1 + 0 - (-5)/c. Solve -2 = -q + r - 0, -2*q + r = -w for q.
4
Suppose 0 = -549*v + 547*v. Solve -4*x = s + 3*s, v = -s + x for s.
0
Suppose 4*w + 27*w = 155. Solve -7 = 3*l - l + 3*r, -w*r = -2*l + 33 for l.
4
Let l(k) = -3*k - 30. Let c be l(-12). Solve -c = -3*q, 0*o + 16 = 3*o + 5*q for o.
2
Suppose -6*w + 2*w + 20 = 0. Suppose 5*j = -3*m + 21, j + 18*m = 21*m - 3. Solve 20 = j*a + 3*i - 4, w*i - 25 = -2*a for a.
5
Let w be 6/(-36) - 147/(-18). Solve -3*s = -5*i + 2*i - 9, s - w = -4*i for s.
4
Suppose 2*y + 10 = -6*i + i, 0 = 4*i - 5*y - 25. Suppose 2*q + i*q - 6 = 0. Let j be 2 - (2 - q)*1. Solve a = 3*w + 6, -j*a = a - 12 for w.
-1
Suppose 0 = -j - 4*j + 5. Let g be (-10)/(j/(2/(-4))). Suppose g*t + x = 12, 0 = -2*t - 3*t + 3*x + 4. Solve m + o + 3*o - 16 = 0, t*m - 5*o + 20 = 0 for m.
0
Let i(j) = j**2 - 25*j + 71. Let b be i(22). Solve -4*v + b*k - 7 - 5 = 0, 2*k - 6 = v for v.
2
Suppose -11 = -5*o + 3*s - 2*s, -26 = -2*o - 5*s. Suppose z - 6 = -z. Let n = z - 1. Solve 3*i - 14 = -5*t, n*t - o*i - 12 = -i for t.
4
Let q be (-9)/36 + 18/8. Solve 2*s - 5*w = -0*s + 11, -12 = 3*s + q*w for s.
-2
Suppose -37 + 7 = 5*x. Let l be 11 + x + -2 + 0. Solve 3*i + 31 = 4*k, -3*k - l = 4*i + 5 for i.
-5
Suppose -2*o + 5*m = 5, -m + 68 - 13 = 5*o. Solve 3*g - 4*j = o, -g - 6 = 3*j - 2*j for g.
-2
Let g be (-1)/((-2)/48) + (3 - 6). Solve 3*v = 4*p - 0*p - 11, -4*v = p + g for p.
-1
Let p(q) = -q + 9. Suppose -7*r + 2*r + 15 = 0. Let v be p(r). Solve 5 = 5*f - 5*j, v*j + 9 = 3*j for f.
-2
Let y be ((-48)/2)/1 + 4. Let g = y - -23. Solve -3*k + 4*c = 11, -c + g = 4 for k.
-5
Let a be (-6)/(4 - -2) + 1 + -1. Let y be (2 - a)/(24/16). Solve 3*k + 7 = -3*m - 5, -7 = k + y*m for k.
-1
Let h = -4 + 42. Suppose 4*g - 38 = 3*k, 0 = 3*g + 2*g + k - h. Solve 3*s = g*s + 25, -s - 30 = 5*r for r.
-5
Suppose 2*i - 18 = -0*i. Let r be (-1 - i)*(-8)/16. Solve r*g = -2*x + 20, 2*g + 0*g = -5*x + 29 for x.
5
Let h = 11 + -3. Let o(z) = -z**3 + 8*z**2 + 2*z - 11. Let m be o(h). Let w be 4/m*(-35)/(-14). Solve -24 - 1 = 5*s - 5*y, -w*s + 4 = 5*y for s.
-3
Let k be (-3 + -1)*(-6)/(-12). Let w be 60/18*(-3)/k. Let m = w + -5. Solve 0 = -2*z - n - 0 - 1, m = 5*n + 15 for z.
1
Let n be ((-204)/(-272))/(9/24). Solve -5*s - 25 = 0, -2*x - n*x - 1 = s for x.
1
Suppose u = -2*u. Suppose u*j = j. Suppose -c + 5*n - 9 = j, 2*c - 2*n = -2*c + 18. Solve 4*k - 6 = 2*b, -2*b + 5*k - c = -0*k for b.
-3
Suppose -m + 6*m - 3*f = 2, 5*f - 6 = -m. Let a be 3/9*(m - 1). Let y = 9 + -5. Solve 2*q - 3*b + 4 = a, q - y*b = 2*q - 9 for q.
1
Suppose 5*h - 41 = 84. Let t(l) = -4*l - 27. Let w be t(-10). Suppose -2*s + 1 + 17 = 4*d, -3*s + w = -d. Solve 6*p - 2*p - h = s*j, 2 = -2*j for p.
5
Suppose 2*l - 11 = i - 6, 2*l = 8. Solve -2*j + i*v = 22, j - v = 2*v - 17 for j.
-5
Let b = -14 + 13. Let h be 2 + (b - 9)/(-2). Suppose -h - 5 = -4*n. Solve 2 + 3 = 3*o - 5*m, o - 3 = n*m for o.
0
Let c = 30 + -28. Suppose 0 = -4*i - 6 + 22. Solve 