 10, x - j - 1 = n for x.
4
Let l(d) = -12*d + 97. Suppose -i + 2*o = -o - 8, 2*i + 3*o - 16 = 0. Let n be l(i). Solve v - 2*v - n = -4*s, -15 = 4*v - 5*s for v.
-5
Suppose 37 = -5*b + 17, -5*b - 20 = 5*c. Suppose -17*a + 3 = -16*a - 4*t, 4*a + 5*t - 12 = c. Solve 0 = -3*u - 2*o + 4 + 2, 2*u - o = -a for u.
0
Suppose 8*z + 2*z - 20 = 0. Let k be (15 - (-2 + z)) + -3. Solve -5*u - k = 2*p, 4*u + 3*p = -2*p - 13 for u.
-2
Let s = 79 + -11. Let v = s + -62. Let x be ((-4)/v*3)/(-1). Solve 4*p - 2*z - x = 0, 3*p - 2 - 13 = -3*z for p.
2
Let q = -4636 - -4640. Solve -w - 5*p = -20, 7*p - q*p = 2*w + 25 for w.
-5
Let u be -9 + -1*(-14 + 0). Solve -4*a + 12*m - 8 = 8*m, u = 5*a - 2*m for a.
3
Suppose -8*u - 874 = 11*u. Let t = u - -46. Solve n - 5*k - 5 = t, -2*n + 0*k - k = 1 for n.
0
Let u = 190 - 176. Suppose 4*h = -o + 18, -2*h + 12*o = 10*o - u. Solve -3*y - 5*t + t + 3 = 0, -y + 1 = h*t for y.
1
Let t be ((-18)/45)/(3/(-90)). Suppose 0 = -4*i + 2*a, 0 = i + 4*a - 30 + t. Solve -4*u - 29 = -2*l - 3*l, 3*l - 17 = i*u for u.
-1
Suppose 3*v + 259 = 5*n, -104 - 141 = 3*v + 2*n. Let t = -59 - v. Suppose 21*u - t*u = -15. Solve 3*p + f + 8 = 0, 3*p - 1 = f - u for p.
-2
Let i be ((-16)/(-6))/(2/6). Let h be ((-90)/75)/(9/1920). Let c be ((-315)/(-24))/3 + 96/h. Solve c*p - 4*x = i*p, -p - 4*x - 3 = 0 for p.
1
Let w = 41880 + -41664. Solve -5*z - 5 = -5*i, 212*z - 49 = w*z + 5*i for z.
-6
Let q be (-5995)/(-20) - 14/8. Suppose 868 = 38*n + q. Solve v = -2*j - 11, -3*j - n = 2*j for v.
-5
Let s(o) = -3*o + 81 + 4*o - 54 - 5*o + 109. Let i be s(25). Solve -2*k + i = 5*y + 2*k, 4*k - 28 = -3*y for y.
4
Let y be 4*57/(-6)*(-1)/(-2). Let f be y/(-4) + (-9)/(-36). Suppose 3*h - 5*c = 34 + 7, -5*h + f*c + 55 = 0. Solve 2*o + 5*d + h = 0, o - 2*d + 1 = 2 for o.
-1
Suppose -13 + 13 = -12*b. Suppose 2*n + 160 - 168 = b. Solve -t - 1 = 2*h, h - n*t + 20 = -3*h for h.
-2
Let l = -131 - -128. Let b be (126/(-14))/(l/7). Suppose 20*z = b*z - 2. Solve n + z*n + 4*k = 5, -17 = -5*n + 2*k for n.
3
Suppose -4*t + t = -6. Let q(a) = -a**2 + 19*a - 10. Let r be q(18). Suppose -6 = -i - v, -1 = i + t*v - r. Solve -5*j = -0*d + i*d, 2*d = -4*j - 6 for d.
3
Suppose x + t - 9 = 0, 4*x = 3*x - 4*t + 24. Let n(g) = -114*g + 577. Let u be n(5). Solve -3*y = -u*y - x*v, 12 = -y + 3*v for y.
-3
Let c be (10 + -18 + 12)*((-1 - 0) + 2). Solve 89*p - 22 = c*u + 91*p, 13 = -u - 3*p for u.
-4
Let n(y) = 3*y - 8. Let j be n(4). Let a(c) = -8*c**2 + 65*c - 1. Let d be a(8). Solve 0 = t - 4*i + i - d, -j = 2*i for t.
1
Suppose -143*i + 4747 = 97*i - 773. Solve 5*o + 22*c = i*c + 12, -o + 3*c = -8 for o.
2
Let q be 3/(13/(52/6)). Solve -q*r - t = 8, 0 = 30*r - 34*r + 2*t - 24 for r.
-5
Suppose -q = -3*f - 28, -2*q = -0*f + 4*f - 16. Suppose -r - 7*r = -q. Solve -g + 2 = 3*o, -3*o - 2*g = r*g - 17 for o.
-1
Suppose 0*y + 30 = 2*y. Suppose -y = -5*k - w, -4*k - 5*w + 11 = -4*w. Solve -o = 0, 3*u - u + k*o = -8 for u.
-4
Suppose -w - 3*g = -8, -12*w + 7*w = g - 26. Suppose 4*x = 3*u + 8, -w*x + 13*u + 9 = 9*u. Solve -v - x*r = -27, 3*v + 9 - 20 = -r for v.
2
Suppose -s - 41 = -44. Let t(w) = -w**2 - 5*w - 3. Let n(x) = -6*x + 4. Let i be n(1). Let m be t(i). Solve -2*j - s*b = -j - 9, -j - b + m = 0 for j.
0
Let c = 5606 + -5598. Solve 2*a + c = -4*y, -y = 3*a + y + 4 for a.
0
Suppose o + o = -106. Let w = -50 - o. Let x(l) = -l**3 + 2*l**2 + 5*l - 3. Let i be x(3). Solve 6*d - 5*u = w*d + 25, -5*u - 25 = i*d for d.
0
Let m = -7 - -12. Let y(c) = 4*c**2 + c + 1. Let i be y(-1). Suppose 4*w - 14 = d, -i*d = -3*w - d + 6. Solve -m*f = w*a + 28, 3*a - 2*f = -3*f - 10 for a.
-2
Let k = -1243 + 1247. Solve -31 = -k*w + 5*z - 0*z, -7 = -w + z for w.
4
Let q(v) = 174*v - 2059. Let o be q(12). Solve 2*l + 4 = 0, -o*l = 4*h - 33*l - 24 for h.
4
Suppose 0 = -r - 2*h - 2*h - 19, -5*h = 4*r + 32. Let i be 54/27 + r/(-1) + 0. Let p(z) = z + 1. Let f be p(2). Solve -2*m = m + f, 0 = 2*l + i*m - 3 for l.
4
Suppose 2*j + j = 12. Suppose -2*y - 3*y = 3*x - 40, -5*y + 30 = x. Let w(f) = -f - 7. Let d be w(-10). Solve -2*v - 5 = k, -d = j*k + x*v + 8 for k.
1
Let w be (-12)/6*(-3)/2. Let i(f) = f**2 - 13*f + 4. Let r be i(0). Suppose 19 = r*h + 7. Solve 0 = 4*x + 3*u + w, -x + 4*u = h*x - 4 for x.
0
Let p = -355 + 399. Suppose 42*k + 10 = p*k. Solve 4*i - k*v - 25 = 0, 4*v = -2*i - 0*v - 20 for i.
0
Suppose 50*k = 3*q + 47*k, 5*k = 2*q. Solve n + 0*n = s + 1, q = 3*s + 5*n + 35 for s.
-5
Let x(d) = -d**2 - 13*d + 3. Let g be x(-13). Suppose 4*c - 245 = -g*c. Let v = c + -31. Solve -1 - 7 = -v*i + f, -5*i - f + 19 = 0 for i.
3
Let l be 4/8*(-108)/(-25 - -16). Solve s = 2*w - 0 - 7, -2*w + l = 0 for s.
-1
Let d = -868 - -870. Suppose -4*v + 11 = 3*f, 0 = -d*f + 4*f - 3*v + 4. Solve y + f + 10 = -4*g, 5*y - 20 = 5*g for g.
-3
Suppose 48*l - 10 - 302 = -56*l. Let j(f) = -2*f - 2. Let y be j(-6). Solve l*a + 26 = -5*o, -6*a + a = -5*o - y for o.
-4
Suppose -445*f + 441*f + 16 = 0. Solve 159*k = 3*n + 154*k + 10, -4*n = -f*k + 16 for n.
-5
Let p(a) = 26*a - 127. Suppose 3*h - 5*y - 52 + 12 = 0, 4*h - 5 = -3*y. Let q be p(h). Let j = 4 - 0. Solve -5 = -q*g + 3*u + j, -7 = g + 4*u for g.
1
Let s(o) = -7*o**2 + 6*o**2 - 5*o - 46 + 4*o**2 - 2*o**2. Let q be s(-5). Solve 0 = -q*i + 5*f - 13 - 9, -f + 5 = -i for i.
-3
Let d be 32/12*2712/32. Let s = d - 223. Solve -3*n - 5*u - 13 + s = 0, 4*n + u = -2 for n.
0
Let k = -312 - -316. Suppose -5*v = t + 1 - 11, 4*v - 8 = t. Let s = 8 + -6. Solve -x = k, -b + 2*x + s = v*b for b.
-2
Suppose -14 = 5*q - 59. Suppose q*k - 10 = 4*k. Let o(l) = 132*l - 6466. Let y be o(49). Solve -10 = -4*x + x - h, 0 = -k*h + y for x.
3
Let a be 4/1*(-4)/(-8). Suppose 22 = 2*w - 0*t + t, -4*t - 2 = -2*w. Suppose w*r - 8*r - a = 0. Solve -3*q + 2*c = -r*c, -c - 5 = -2*q for q.
4
Suppose -h + 3*i + 24 = 0, -5*i = h - 0*i. Suppose 4*n + n = h. Let d = -79 + 87. Solve 11 = -n*p + 4*c, 2*p = -3*c + 5*c - d for p.
-5
Suppose -3 - 6 = -3*g. Let q(u) = u**3 + 14*u**2 + 17*u - 4. Let i be q(-9). Let o = 258 - i. Solve -w - 3*s - o = 0, -g*w - w + 4*s = -8 for w.
-1
Let x(t) be the second derivative of t**3/3 + 49*t**2/2 - 11*t - 3. Let r be x(-18). Solve 4*y = 2*f + 1 - r, 3*y - f = -11 for y.
-5
Let g(z) = z**3 + 34*z**2 - 34*z + 39. Let s be 35*(-1*(2 + -4) - 3). Let b be g(s). Solve -2 = 3*i - 2*k - 18, -b*k = -i + 22 for i.
2
Let l = 17 - 18. Let f be l/(((-6)/15)/(18/15)). Solve 0 = -4*q - 5*v + f*v - 2, -5*q + 15 = -v for q.
2
Suppose -6*a + 115 = 457. Let o be ((-4)/(12/a))/(-1 - -2). Solve -f = b, -3*f + 5*b = -o - 13 for f.
4
Let z be ((6 - 11) + 6)*-40. Let p be 2 + ((-30)/z)/(1/28). Solve 2*c = 5*s - 26, 2*s - 5*c = -0*s + p for s.
4
Let v = 1005 + -1002. Solve -v = f - 4, 3*i + 4*f = 13 for i.
3
Let a = -1014 - -1015. Solve o = 5*z - 7 - 0, 3*z + 2*o = -a for z.
1
Let n(w) = w + 16. Let c = -45 + 34. Let b be n(c). Suppose q + 21 = b*j, 3*q + 4 = 2*j + 7*q. Solve t + j = 5*t + 2*h, 4*t - 5*h - 4 = 0 for t.
1
Let c(u) = -u**3 + 3*u**2 + u. Let v be c(-2). Suppose -20*y + v*y = -10. Suppose -59 = -9*b - y. Solve 3*t + 4*g = b*t + 9, 4*t + g = -12 for t.
-3
Let o(p) = p + 1. Suppose -5*u + 16 = 66. Let d be -2*(-6)/(-60) - 12/u. Let r be o(d). Solve r*y - 4*v = 7*y - 13, -2*y - v + 7 = 0 for y.
5
Suppose 64 = -295*v + 53 + 601. Solve 4*p + 6 = v*z, 14*z = 17*z + p - 9 for z.
3
Let v(o) = 4*o - 4. Let r be v(-6). Let t be 2/8 + r/(-16). Let n(h) = -1964*h - 9812. Let a be n(-5). Solve -t*f = 0, -4*j - 8 = -a*j - 3*f for j.
2
Let l(z) = z**3 + 4*z**2 - 34*z - 4. Let s be l(-8). Solve -13*p + s*p = -2*a - 7, -3*p = 4*a - 1 for p.
3
Let n = -4 - -4. Let v be (-1 + (-40)/30)*60/(-28). Solve v*u = 25, n*s = -s - 5*u + 25 for s.
0
Let p(z) be the third derivative of z**4/3 + 46*z**3 - 77*z**2. Let t be p(-34). Solve 2*x + 2*c - 12 = 5*c, -x = c + t for x.
0
Suppose 67 = 4*q + 19. Suppose -1080 = 7*h - q*h. Suppose 0 = 10*i - 4 - h. Solve m = 4*g + 2*m + i, -3*g - 2*m = 19 for g.
-5
Suppose 2*q = -o + 20, 28 = -2*q + 5*q + o. Suppose -8*m - q = -9*m. Suppose -24 = 5*x - m*x. Solve 2*h - 2 = 4*r, -6 = -2*r - 2*h + x for r.
2
Let i(q) = 29*q**2 + 2*q + 1. Let b be i(-1). Let z = b - 25. Suppose 3*o + 0 = -3*j - z, 5*o = 3*j - 21. Solve 3*x + j*f - 19 = -0*x, 3*f - 16 = -2*x for x.
5
Suppose 4*u - 10 = 