 a = 4*k + 26, z*k - 3*a + 16 = 0 for k.
-5
Let u(m) = -m - 8. Let b(x) = 12*x**2 + 4*x + 3. Let z be b(-1). Suppose z*k - 7*k + 40 = 0. Let t be u(k). Solve 5*o = t*l + 3*o, 5*l - o = -20 for l.
-5
Let x(y) = 2*y**2 - 33*y - 562. Let z be x(27). Solve 4*k + 15 = p, -11*p = -2*k - 8*p - z for k.
-4
Let a be (-386)/((-30)/(-9) - (-48)/(-36)). Let v = 197 + a. Solve 2*u - 3*d + 7 = 14, -41 = v*u + 5*d for u.
-4
Suppose 14 = 4*o + 3*z, o - 4 = -o - 3*z. Suppose 3*g - o = 2*g. Solve 5*s + g*h = 10, 4*s - 2 - 8 = -3*h for s.
4
Let d(x) = -x**3 - 59*x**2 - 106*x + 459. Let h be d(-57). Solve -5*v - 13 = -18, -5*n + h*v + 12 = 0 for n.
3
Suppose 0 = 8*r - 5*r + 2*b + 424, -5*r - b - 716 = 0. Let p = -129 - r. Solve -5*d = f + 3*f + p, -3*d + 13 = -2*f for f.
-5
Let d be -4 + (1232/203 - (-10)/(-145)). Solve -713 = -4*z - d*a - 723, z - 4*a + 25 = 0 for z.
-5
Suppose -7 = -g + 2*h, 4*g - 5*h - 21 + 2 = 0. Let s be 4*g + (-4)/(-4). Let m = 1 - -6. Solve m*n - 4*n + 10 = -s*p, -n = p + 4 for n.
-5
Suppose -7 = -314*f + 307*f. Solve 5*u + 5 = -a, a + u + f = -2*u for a.
5
Suppose -545 = -104*q + 103*q. Let y = -542 + q. Solve y*l - 2*a + 9 = 0, -2*l + 0*a - a = 6 for l.
-3
Let d(c) = -c**2 - 230*c + 1665. Let a be d(7). Solve 5*s + 23 = 4*v, -3*s + 7*s + a = -3*v for v.
2
Suppose 2*y - 70 = 4*t, -t + 3*y = 14 + 16. Let u = -11 - t. Suppose -u*m + 16 = 0, -n + 5*n - 44 = 4*m. Solve n = -5*h, 23 = -2*d - 0*d - 5*h for d.
-4
Let z be (-19 + 7)/(-3 - -2). Suppose 5*c - 2*c = z. Suppose 0 = 6*a - 21 - 3. Solve c*w = 2*w + 3*o + a, 2*w + 4 = o for w.
-4
Let g be 3/((-7)/(-49)*(1 - -2)). Let a(f) = f**3 - 6*f**2 - 47. Let y be a(g). Solve -j - j = c + 9, 4*c = y*j - 6 for c.
-3
Let c(m) = -m**3 - 19*m**2 - 73*m - 32. Let k be c(-14). Solve 0 = 14*b - 10*b + o + k, 0 = b - o + 5 for b.
-3
Let a = -93 - -43. Let s = a - -42. Let h be 1 - ((-2)/(-4))/(4/s). Solve -v - v + 5*y - 9 = 0, -h = -2*y for v.
-2
Suppose -w - 27 = -4*n, 2*w = -0*w - n - 63. Let z(a) = 6*a + 186. Let t be z(w). Solve 2*c + 2 = b + 3*b, t = 5*b + c + 1 for b.
0
Suppose 0 = -295*v + 290*v + 10. Suppose i - 9 = -2*o, 0 = 5*o + v*i - 4 - 19. Solve -3*g = 3*y, 0 = -o*y + 4*g + 9 - 0 for y.
1
Let x = 42 - 72. Let f = x + 34. Suppose -4*n + 31 = 3*u, -5*n - f*u = -35 - 5. Solve 0*h = 2*m + 4*h - 12, n*h = -5*m for m.
-4
Suppose 30*w - 385 = 35*w. Let k = w - -98. Suppose 5*y - 4 = k. Solve 4*d - 30 = -5*h, -y*d + 2*h + 23 = h for d.
5
Let t be 0/2 - (-2 - 1). Let h(z) = 9*z - 86. Let d be h(9). Let a be (0 - 0/d)/(-2). Solve 1 = -5*w + 3*k, t*w - k + 3 = -a for w.
-2
Let m be -5*(-2 - (-16)/(-40)). Suppose -13 - m = -3*g + 4*k, -2*g + 5*k + 26 = 0. Solve -5*u + 3*f = -2*u + 27, 2*f = g*u + 22 for u.
-4
Let k be 15/((9 - 15) + 11). Solve k*g - 9 = 2*n, 4*n - 2*g + 0*g = -6 for n.
0
Let i(q) = -10*q - 87. Let b be i(-11). Suppose -5*y = -0 - 25, -4*y = h - 20. Solve h = -j - 5*o + 15, -o = 3*j - 3*o + b for j.
-5
Suppose -31 - 1 = -8*p. Suppose 5 = p*f - 3. Suppose 4*k - 14 = -f*g, -k + g + 2*g = 0. Solve 4*n - 5 = -k*u + 11, -2*u = -3*n + 12 for n.
4
Let l = 1 - 3. Let i be (1*(l + 19))/1. Let c = -8066 + 8069. Solve o - 3 = -o - 5*u, 5*o + c*u - i = 0 for o.
4
Suppose 0 = 50*l - 9 - 128 - 63. Solve 4 = 14*r - 10*r + l*q, 0 = -q + 2 for r.
-1
Let c = -578 - -697. Suppose 24*j - 145 = c. Solve -4*q = -3*w + 5, -5*q + 0*w - w = j for q.
-2
Let z = 3991 - 3987. Solve m - 7 = -z*f, 2*m + 13 = 3*m + 6*f for m.
-5
Let u(p) = p**3 - 32*p**2 - 71*p + 113. Let b be u(34). Solve -3*v + d = -0 + b, 5*d = v - 15 for v.
-5
Let g be ((-177)/(-9))/((-1)/12). Let x = g - -242. Solve 5*j = -8*p + 3*p - 40, -x = 2*p for j.
-5
Let h = -882 + 886. Solve m + 10 = 5*n, m - 8 = -h*n - 0 for m.
0
Let p(l) = l**3 - l**2 - 4*l. Let z be p(3). Let s(i) = i - z*i + 4*i + 2. Let r be s(-1). Solve -21 = 4*t - r*w, -t = 4*t + 4*w + 3 for t.
-3
Let b be -1 + 2/(3 + 1 + -2). Suppose b = 2*w + 17 - 41. Let c be -1 + w/(-4)*(0 + -1). Solve -5*t = -c*f + 19, -5*f = -4*f + 5*t + 13 for f.
2
Let w = 3746 + -3744. Solve 5*z - w*b = -18, 5*z + 4*b + 20 = z for z.
-4
Let l be 28/(-49)*(-37 + 30). Solve -3*b + l*a - 20 = 0, -5*b = -a - 0*a + 22 for b.
-4
Let g(t) = t**3 + 14*t**2 + 11*t + 159. Let m be g(-14). Solve -m*v - 9 = -9*v - 3*a, -2*a + 4 = 2*v for v.
3
Suppose 8*i = 6*i + 66. Let d be ((-100)/6 + -1)/(1/(-3)). Suppose 61*n = d*n. Solve 4*u + n*g - 5*g = -i, 0 = -4*u - 3*g + 7 for u.
-2
Let b(x) = x**3 - 10*x**2 - 504*x + 3. Let u be b(-18). Solve -2*y = -c - 2, u*y - 2 - 1 = -4*c for c.
0
Suppose -2*u = -3*v - 126 + 131, -5*v = -u - 13. Solve w = -s + u, -4*w + 2*s = 1 + 3 for w.
0
Let p(u) = 2*u**3 + 2*u**2 - 6*u - 7. Let x = -62 + 64. Let v be p(x). Solve n + 4*y - 16 = -3*n, v*n + 3*y = 16 for n.
2
Suppose 0 = -78*c + 65*c + 195. Suppose c + 5 = 4*h. Solve 0 = z + 3, 0 = -2*a + h*z - 4*z + 11 for a.
4
Suppose 26*i - 411 + 47 = 0. Suppose -8*t = -5*x - 11*t + 12, -5*x - t = -i. Solve 0 = -k + h, -6*k + x*h = -k + 4 for k.
-2
Suppose 2*h - 2*u - 132 = h, h - 5*u - 123 = 0. Let r = h + -133. Solve m + 5 = i + 3*m, -17 = -r*i - 2*m for i.
3
Let m = -129 + 151. Suppose -4*k + t + m = 0, 4 = 3*k - 4*t - 19. Solve -2*f = 2*r + 3*f + 33, k*f = -25 for r.
-4
Let d = -47 + 52. Let n = 15 + 30. Let g = -20 + n. Solve -4*a + a + 2*i + g = 0, -5*i = d*a for a.
5
Let w be (-147)/(-15) - ((-8)/(-10))/(-4). Let i be -2 + 18/w - 3/(-15). Solve q - j + 3 = i, -14 = q - 4*j - 8 for q.
-2
Suppose 29*u + 6*u = 19705. Let b = u + -548. Solve 5*t + 0*t = -3*s - b, 5*t - 3*s + 15 = 0 for t.
-3
Suppose d - 16 + 9 = 0. Suppose 21 = d*i - 0*i. Suppose 0 = i*j + 6*j. Solve -4*n + 3*t + 6 = -j*t, -4*t = 4*n - 20 for n.
3
Suppose -2*x - 4*f + 20 = 0, 0 = 5*x + 4*f - 32 - 12. Solve -r - 5 = 3*j - 9, -x = -2*r + 8*j for r.
4
Let q be (8/2 - 2)/((-392)/(-980)). Solve 2*j = 2, -21*j + 18*j = -2*g + q for g.
4
Suppose 3*j = -6, 27*j = -4*x + 31*j + 20. Suppose 2*k + 7 - 21 = 0. Let d be k/28*(-1 + 1). Solve -7*a + 25 = -x*a + 3*f, -5*a - 3*f + 29 = d for a.
4
Suppose -185 + 45 = -2*p. Let s = p + -68. Let i(o) = -o**3 + 6*o**2 + 3*o - 8. Let u be i(6). Solve 6*y - y + 5*m = -u, 0 = -s*m - 6 for y.
1
Let h = -13 + 17. Suppose 399 + 326 = 144*u - 139. Solve -4*p + u = -2*r, 0*r - h*r + 24 = 4*p for r.
3
Let w(i) = -3*i - 31 - 25 - 22 + 70 + i**2. Let y be w(5). Let x be (-520)/(-91) - (-2 - 12/(-7)). Solve d + y*h - x*h = 14, -4*d - 28 = 5*h for d.
-2
Let v be 3/(-2) + 51/34. Let n be v/(-11)*2/(-4). Solve n = 5*y - x - 4 + 10, 14 = -y - 3*x for y.
-2
Let f be (-4 - (-18 + 5))*-1. Let s(k) = -4*k - 30. Let i be s(f). Solve j - i = 3*r - 2*r, 4*j - 3*r - 20 = 0 for j.
2
Suppose -13*t = 9463 - 9502. Let o be (-9)/((-9)/(-3)) + 8. Solve -o*g + t*x - 28 = 0, x + x = -g - 3 for g.
-5
Suppose 0 = 2*o - 5*x + 171, 6*o + 297 = 2*o + x. Let q = 75 + o. Solve -q*u + 10 = -3*h + 24, -u - 17 = -4*h for u.
-1
Suppose -3*b = 45 - 30, 0 = -5*k - 2*b. Solve 4*a - 26 = -k*c, -52*a - 5 = 3*c - 57*a for c.
5
Let s be (-2 + -1)*(10 + 175/(-15)). Let a(q) = -8*q - 4. Let c be a(-2). Suppose -c*l = -7*l - 10. Solve 0 = 5*d + s*r + 5, -5*r + l + 3 = 0 for d.
-2
Suppose -556 = 375*r - 514*r. Solve r*i + 5*l = -11, 4*i - 15 + 23 = -4*l for i.
1
Let i = 23 - 23. Suppose i = 2*v - 0 - 6. Suppose -7*w + 8*w = v. Solve 0*l - 3*u - 7 = 4*l, w*l - 11 = u for l.
2
Let q = 125 - 126. Let w be (8/6*q)/((-16)/180). Solve 5*c - 2*c - w = 4*g, -3*c - g = 0 for c.
1
Suppose -4*p = -p - 18. Suppose 0*v - p = -v. Suppose -3*h - 3*b + 21 = 0, 7*h + 21 = 10*h - 4*b. Solve 0 = 5*i - g + v, h = -5*i - g + 3*g for i.
-1
Suppose -15*u = -13*u - 4. Suppose -3*h = -2*h + 5*r - 16, u*r - 4 = -h. Let k be 36*(-3 + 4) + h. Solve -4*g - k = -0*g + 5*y, 8 = -4*g + y for g.
-3
Let g(w) = 3*w**3 + 23*w**2 - 24*w + 2. Let n be g(1). Solve -c = -n*b - 13, 7*b = -4*c + 2*b + 10 for c.
5
Let f(a) = -553*a - 548. Let i be f(-1). Solve -i*h + 25 = 5*p, -h = -3*p - 5*h + 15 for p.
5
Let j be -2*3 + (-12 - -16) - 0. Let x(w) = w**3 + 9*w**2 + 6*w + 1. Let r be x(j). Solve -5*z + 2*a + 13 = -r, -4*a = -5*z + 40 for z.
4
Let q(b) = -b**3 - 12*b**2 - 34*b - 4. Let a be q(-8). Solve a*j + w = 11*j + 3, -2*j + 3 = 3*w for j.
6
Suppose 50 = -2*o - o - c, 0 = 4*o - 5*c + 54. Let y be (6/16*10)/((-12)/o). Solve 12 = -4*r - y*z,