n = 25. Let p(x) = x - 1. Let r be p(n). Solve -z - r*l = 20, l = z - 3 - 2 for z.
0
Let o be 2/(-5) + (-168)/(-20). Suppose 0 = -2*m + o, 3*a + 3*m = 5*a + 10. Solve -6*k - 3*n + 1 = -4*k, a = -n for k.
2
Suppose 0 = -314*h + 295*h. Solve 2*j + 4*s = h, 0 = 2*j - 4*s + 5 + 11 for j.
-4
Let j = -378 + 387. Solve 3*d - o = -j, -2*o = -o + 3 for d.
-4
Let q be (-3)/(2/(-7) - 33/105). Suppose -4 = -q*y + 11. Solve -3*s + 5 = 2*h, y*h - 4*s = -5*s + 4 for h.
1
Let i(k) = k**3 - 9*k**2 + 12. Let l be i(9). Suppose 3*s = l - 6. Solve s*n - 5*d + 50 = -3*n, -n - 4*d + 15 = 0 for n.
-5
Let x be 30/4*17/((-459)/(-18)). Solve 0 = h + 4*m - 18, 0*m - 4*m = x*h - 26 for h.
2
Suppose 3138*r - 3147*r + 36 = 0. Solve 3*y + 5*u - 2 = 0, 18 = r*y - u - 0*u for y.
4
Let g be (2/4)/(12/48). Suppose g*j + 2 = 8. Let t = -5 - -8. Solve -6 = -j*i, 4*i = -p + t*p + 18 for p.
-5
Suppose -2*q + 4 = -2. Suppose -2*c - 3*c + 10 = 0. Suppose -c*w + 13 + 1 = 0. Solve 5*j = -2*p - 17, -q*p - 36 = -w*p + 4*j for p.
4
Suppose 0 = h + a - 0*a + 2, -4*h - 2*a - 4 = 0. Solve -6*x = -3*x - 3*d - 18, h = -4*x + d + 9 for x.
1
Let j be (2 - 3) + 8 + -6. Solve -r = 3*x - j, 5*r - 9*r + 4 = 2*x for r.
1
Let j(y) = -y**2 + 15*y + 6. Let w = 17 - 3. Let h be j(w). Let k = h - 16. Solve -2*f + 3*m = -11, k + 6 = -2*f - 4*m for f.
1
Suppose 0 = 2*x + 10*x - 60. Solve -13 = -x*u + 2*q, -u + 6 = -q + 1 for u.
1
Suppose r + 1 = -0*r - 2*q, 0 = r - 4*q - 17. Let t(i) = -3*i**2 + 6*i + 9. Let f be t(2). Solve -p - f = -o - 0*p, r*p = -o - 15 for o.
5
Suppose 113 = -3*y - j, -2*y - 39 = -5*j + 25. Let x = -35 - y. Solve f = -3*b + 9, 2*b - 12 = x*f - 2*b for f.
0
Suppose -5*y + 99 = -226. Let p be 55/y - 4/(-26). Suppose t + 16 = 5*t. Solve -r - t*d = 8 + p, -d - 2 = 0 for r.
-1
Suppose -3*t + 2*m + 3*m + 52 = 0, 4*m = 4. Solve -4*b + 2*b + 16 = -2*v, -2*v + 3*b = t for v.
-5
Let z(q) = -2*q**2 + 34*q - 56. Let w be z(2). Solve w = 2*r + s + 7, 0 = -r + 5*s + 15 for r.
0
Suppose 11*p = 5*p. Suppose -5*h + 11 + 9 = p. Solve -10 = 5*k - 2*b, h*k = -3*b - 14 - 17 for k.
-4
Let r = -315 + 318. Solve d + 11 = -n + 3*n, n - r*d - 13 = 0 for n.
4
Let a(s) = -s**3 + 6*s**2 + 5*s + 5. Let u be a(6). Suppose u*k - 39*k = -120. Solve -5*o + y - 14 - 11 = 0, 5*o - 2*y + k = 0 for o.
-4
Suppose 8 = 3*p - 4*o, 4*o + 1 = -p + 25. Solve 4 = -3*k - 2*t + p, 5*k = -3*t + 6 for k.
0
Let f = 1075 + -1072. Suppose c - r - 4 = 0, 12 = 3*c + 5*r - 0. Solve 0*k + k - f = 0, -2*x - 18 = -c*k for x.
-3
Suppose -3*z + 52 = -29. Suppose z = 5*q + 2*i - 3*i, 4*q + 5*i - 10 = 0. Suppose 0 = -h + q - 1. Solve -g + 6 = -3*g - h*c, 0 = -4*g + 5*c + 27 for g.
3
Let i(a) = a**2 - a - 6. Let t be i(-3). Let o be 20/t + 1/(-3). Solve 21 = 2*p + o*z + 4, -3*z = -2*p - 13 for p.
1
Let v be (1 + 12/(-8))*48. Let i = v - -27. Solve -n - 8 = -4*b - 3*n, -4*n = i*b - 6 for b.
2
Suppose 0 = 5*r - 6*r + 2*z + 9, 3*z + 36 = 3*r. Let k be (12/r)/((-8)/(-60)). Let h = k - 6. Solve 0*q + q - 4*p = 2, h = -4*q - 4*p - 12 for q.
-2
Suppose 0 = 3*y - 5 - 1. Let g = y - -7. Let u be -1 - (2 - -1 - g). Solve -3*w + n - 4 = 1, -u*w - 2*n + 10 = 0 for w.
0
Let h(q) = q**3 - 3*q**2 + q + 3. Let u be h(3). Suppose u*c - 11 = 31. Solve 4 = -3*d + c*d + 5*v, -3*v = -12 for d.
-4
Let y(z) = -z**3 + 13*z**2 - 12*z - 91. Let d be y(11). Solve 0 = -3*c - 4*o + 2*o - d, -o = 5 for c.
-3
Suppose -85 = 3*z + 23. Let i be z/9*1/(-2). Suppose -3 = -i*x - 4*v + 1, x + 3*v - 1 = 0. Solve f = 2*f + 3*r + 14, f + 17 = -x*r for f.
-5
Let q = -28 - -59. Suppose 6*a - 4*a = 5*u - q, 2*a + 6 = 0. Solve 3*i + 7 = -u*f, 0 = -5*i + f + 2*f - 23 for i.
-4
Suppose 4*o = -f + 3, -5*o + 16 = -0*f + 3*f. Solve -c + 2*c + 1 = 5*n, 3*n + c = f for n.
1
Let g be 2/(-7) + (-44)/(-7). Let f be 1*(5 + 0/(-3)). Suppose -f = 4*n - 5. Solve n = 2*l - 4*u - g - 18, 2*l = -u + 4 for l.
4
Let l be 0/(1*4/(-4)). Let g(k) = 2*k - 8. Let r be g(-8). Let j = -20 - r. Solve -3*v + 1 = -j*v - 4*t, -5*t = l for v.
-1
Let s be (7/(-2))/((-10)/(-60)). Let w = s + 26. Solve -4*u = 2*m + 10, -w*m = 3*u - 4*u - 19 for m.
3
Suppose 24*j + 24 = 20*j. Let t be (-2)/((-4 - j)*(-1)/3). Solve 0 = t*o - 0*o + 3, 0 = -2*w - 2*o for w.
1
Suppose 0 = 3*p - 30 + 15. Solve 3*f - 11 = -5*g + 5, -p*g + 4*f + 2 = 0 for g.
2
Let t be 1*(3/(-2))/((-123)/328). Solve 0 = -w - 2*s + 6*s + 20, -t*w + 32 = -4*s for w.
4
Let i = -585 + 590. Solve -6*p = -4*a - 4*p - 24, -2*a - i*p + 12 = 0 for a.
-4
Let p = 30 - 6. Let q = -11 + p. Solve -3*w - q = 3*b + 2, -4*w = -4*b - 4 for b.
-3
Suppose 0 = n - 3 - 2. Let j be (-31)/(-4) + n/20. Solve -5*v + r - 2 = 0, -j - 8 = v + 5*r for v.
-1
Let x be (-1 + 0 + -1)/(71 + -72). Solve 2*z = 5*b - 9, -z + x = -0*z + 4*b for z.
-2
Suppose -5*q + c - 6*c + 100 = 0, -3*c = -q + 8. Solve -4*g + q = -3*g - 4*h, 15 = -5*h for g.
5
Let h = -352 + 355. Solve o + 4 - 28 = -5*f, h*o + 8 = 5*f for o.
4
Let n be ((-112)/35)/4*15/(-6). Solve i = j - 2, 0*j - 4 = -n*j + 5*i for j.
2
Let m = -60 - -74. Suppose m = 5*r - 1. Solve -r*w + 7 = -5*z - 0*w, 2*w = 3*z + 5 for z.
1
Suppose -3*i = 5*x - 0*i + 324, 0 = -x + 3*i - 72. Let u = 70 + x. Solve -4 = -4*b, u*b + 1 = 2*h + 7 for h.
-1
Let m = 3 - 3. Let n be 0 - (12/3)/4. Let f be (-1)/n + (-15)/(-5). Solve d + f*h + 7 = m, 3*d - 3*h = 2 - 8 for d.
-3
Suppose j - 16 + 14 = -a, -3*a - j + 12 = 0. Let x = -3 - -4. Let q(s) = 7*s**2. Let u be q(x). Solve 2*o = -2*y + 12, 0 = -u*o + a*o - 3*y + 14 for o.
4
Suppose 0*y = -y, -4*c + 5*y + 16 = 0. Solve -4*n - c = -3*q, -2*q + q = 5*n + 24 for n.
-4
Let h = -115 + 118. Solve h*m + 5 = -10, 3*o = 3*m + 9 for o.
-2
Let z(o) = o + 4. Let b be z(4). Suppose -b*n = -10*n + 34. Solve 3*x = -3*d + 24, -3*x = -4*d - 4*x + n for d.
3
Suppose -z + 3*o + 189 = z, -2*o = 5*z - 482. Let n = 98 - z. Solve 3 - 2 = k + n*t, 0 = 3*t + 3 for k.
3
Let t = 33 - -7. Solve 0 = 5*x + 5*l + t, -4*l - 30 = 2*x - 6 for x.
-4
Let y(g) = -g**3 - 15*g**2 + 36*g + 37. Let x be y(-17). Solve -c + 5 = c - x*l, -5*l - 15 = -5*c for c.
4
Let a be (-1)/(-2)*5*2. Suppose -a*f + f = -12. Solve 2*v = -5*t + 15, -4*t + t = f*v - 9 for v.
0
Let v be 3/5 + 187/55. Let n(x) = x + 2. Let k be n(16). Suppose -b = 5*i + k, -4*b = -0*i - 5*i - 28. Solve 3*p = v*p + 5, -p = -b*d + 3 for d.
-1
Suppose -10*k + 2*k = 80. Let b be ((-2)/(-10))/((-1)/k). Solve -3*h + 20 = h + 4*l, 4*h = b*l + 8 for h.
3
Suppose -3*x - 45 = -4*x. Let s be (-6)/x + (-2)/(-15). Suppose 0 = c + 2*v, 3*c + 2*v - 5*v = 0. Solve -m + c*m - 16 = -5*b, s = -4*m + b + 12 for m.
4
Let d(o) = -o**2 + 7*o - 7. Let i be d(5). Solve k + u - 3 = -5, 5*k - i*u - 6 = 0 for k.
0
Suppose 0 = 3*d - 15 - 6. Let q = -2 - -6. Let a(v) = -v**3 + 6*v**2 + 4. Let w be a(6). Solve q*s - d = -z, -w*z = 5*s - 2*s - 2 for s.
2
Suppose 5*h + 8 = 5*a - 3*a, 3*h - 12 = -3*a. Solve 0 = j + 5*u - 2, -4*j + a*u + 8 = -0*u for j.
2
Let w be 3 + (1 - 0 - 0). Let y(k) = -5*k + 27. Let t be y(5). Suppose -4*l + 3*x = -72, -3*l - 22 = x - 63. Solve a - w = 2*h + t, -5*h = 2*a + l for a.
0
Suppose 3*i + l + 3 = 0, -23*l + 24 = -27*l. Suppose 6*c + 7 = 5*m + 2*c, -5*m + 3*c = -9. Solve 3*x + 3*y - 18 = 0, 4*y - m = i for x.
5
Suppose -c - c + 8 = 0. Suppose 0 = -4*g - 3*o - 29, 5*g + 3*o = 22 - 62. Let h = c - g. Solve 2*m + h = s - 2*m, -15 = 5*m for s.
3
Suppose 5*c + 16*c - 42 = 0. Solve 0*s = 2*s - x, -16 = 4*s + c*x for s.
-2
Suppose 0 = v - 1 - 2. Let a be -5 - (420/(-24))/((-1)/(-2)). Solve k - 2*c = -0*c + v, -5*c = 5*k - a for k.
5
Suppose -11*y + 4*y + 49 = 0. Let b be y/21 + (-14)/(-3). Solve -3*n = -3*l + 2*n, -b*l + 28 = n for l.
5
Suppose 1328 = -14*w + 1370. Solve -k + 3*x - 10 = -0*x, -3*x + 30 = w*k for k.
5
Let f = -2 + 13. Let d = -7 + f. Let t(i) = 2*i**2 + 21*i + 27. Let g be t(-9). Solve -y - 3*s = 2*y - 12, g = -2*s + d for y.
2
Suppose -6*j = -3*j - 36. Suppose -2*f = -2*q - 44, -j = 3*q - 7*q. Solve 4*o - 4 + 20 = 2*w, 5*o = -f for w.
-2
Suppose 5*j + 40 = 5*w, 3*w - 18 = -10*j + 11*j. Solve 0 = 5*v + 5, -w*d - 1 = -2*v - 28 for d.
5
Suppose 2*o + 8 = -y, -o + 5 - 10 = 0. Suppose 1 + y = 3*t, 6 = 4*j - 2*t. Suppose j*f = -0*f. Solve 0 = g + 5*b - 5, g - 4*g - 4*b - 7 = f for g.
-5
Let i(t) = -t**2 + 32*t - 41. Let j be i(26). Suppose 5*l + 90 = j. Suppose 2*g - 8 - 2 = 0. Solve -g*a - l*m