 + 4. Let z be n(1). Suppose -4*g + 7 = -4*l + g, 0 = -2*l + 3*g - 5. Solve -z = -l*x - x for x.
4
Let j(f) = f - 3. Let o be j(5). Suppose -o*y - 75 = -5*y. Solve -4*d - 5 = -y for d.
5
Let r = -37 + 37. Suppose 0*c + 3*c = n - 20, -2*n = -5*c - 35. Let g be (-3)/(-9) + n/3. Solve -p + g*p = r for p.
0
Suppose 0 = 8*y - 6*y + 2*v - 2, 0 = -5*y + 4*v + 32. Solve 2*a - y*a = -2 for a.
1
Let l be -1 - (4 + -8)*1. Suppose x - 5 = 0, -x = 2*o - 8 - 7. Solve 7 = o*k - l for k.
2
Let g(y) = -28*y + 3. Let t be g(2). Let n = -33 - t. Suppose -8 = a + a, 5*u = -4*a + 9. Solve u*v = -0*v + n for v.
4
Suppose b + 0*b - 3 = 0. Let o = -57 - -72. Solve -b*g + 0*g = -o for g.
5
Suppose -t + 3 = -0*t. Suppose -t*n = -h - 0*n + 13, -2*h + 50 = 2*n. Let j be 1/3 + h/6. Solve 6 = j*m + 18 for m.
-3
Suppose 0 = m + 2 - 4. Let o(b) = 4*b - 5. Let t be o(m). Solve -5*k + t = -2*k for k.
1
Let r = -114 + 116. Solve -6*g = -r*g for g.
0
Suppose 2*j + 9 = 5*q + 1, 2 = 3*j - 4*q. Solve j*r + 9 = -21 for r.
-5
Suppose -z - 4*a - 5 = 0, 4 = z - 2*a - 9. Suppose 4*v - 3*c = 15, 3*c + 8 = 4*v + z*c. Solve -2*f = -9 + v for f.
3
Suppose -66 = -3*x - 3. Suppose 27 = 30*h - x*h. Solve 6 = -h*l - 9 for l.
-5
Let p(o) = o**3 + 2*o**2 - o. Let y be p(1). Solve 2*d - 2 = y for d.
2
Let v = 187 - 89. Let j be (-2)/(-7) - (-560)/v. Let o be -3*1/(-3)*2. Solve -o = 2*h - j for h.
2
Let g(q) = q - 2. Suppose 0 = 2*i - 2*m - 14, 2*i + 0*i - m - 11 = 0. Let j = i + 0. Let b be g(j). Solve -2*f = b*f + 4 for f.
-1
Suppose 8*x + 687 = 703. Solve -3*y + x = -4 for y.
2
Suppose -2*v = d + 24, -d = 4 - 0. Let n = v - -17. Solve 12 = -n*o + 4*o for o.
-4
Suppose 69*w - 1240 = 38*w. Solve -w = -20*j + 40 for j.
4
Let n(r) = 30*r + 99. Let s be n(-3). Solve -4*h + 25 = -s*h for h.
-5
Let o be (-7209)/(-243) - 2/(-6). Solve 10*q = -0*q + o for q.
3
Suppose 3*f + 5*d = 61, -2*d - 25 = -7*d. Solve -6*z + 12*z = f for z.
2
Let b(k) = k**2 - 16*k + 67. Let h be b(13). Solve 0*p = -7*p - h for p.
-4
Let u be (-2 - -3)/((-1)/(-9)). Suppose -3*a + 2*g + u = 0, a - g = 6*a - 15. Suppose -a = -n - 0*x + x, 0 = -2*n + 4*x - 4. Solve 4*v - 4 = n for v.
3
Let h(y) = -2*y**3 - 8*y**2 + 9*y - 2. Let z be h(-5). Solve -v + 4 = -z*v for v.
-2
Suppose -3*x + 3*l = -18, 0 = x - 2*l + 2 - 11. Solve -4*d = -x*d - 5 for d.
5
Let o = -1 - -7. Let k be (-2 + 11)*2*1/o. Let s be 2/(-1) + (-14)/(-2). Solve -x = -k + s for x.
-2
Let g(i) = 8*i - 248. Let y be g(32). Solve y*h - 134 = -102 for h.
4
Let f = -64 - -69. Suppose 0 = -f*q + 34 - 9, 2*g = 5*q - 17. Solve g*m + 5 = -m for m.
-1
Let i be (-544)/(-88) - (-2)/(-11). Suppose 0 = -y - y + i. Suppose -w + 10 = -g, -4*w - 5*g + 1 + 12 = 0. Solve w - y = 4*b for b.
1
Let q be 1/((-12)/(-46)) + (-7)/(-42). Let b be -4 - (4 - (q + 4)). Solve 4*n - 2 + 14 = b for n.
-3
Let j be (-18*(-7)/(-14))/1. Let m be j*3*8/(-18). Let v be 2/(-5) - (-42)/5. Solve -m - v = 4*s for s.
-5
Let f be 2/(-2 + (7 - 4)). Let z(p) = p**2 - p + 1. Let j(i) = -i**2 - 3*i + 3. Let y(a) = -j(a) + 3*z(a). Let v be y(f). Solve -v = -6*r + 2*r for r.
4
Suppose -11*y + 33*y - 110 = 0. Solve y*j - 3 - 12 = 0 for j.
3
Let s(k) = -3*k**2 - 44*k + 22. Suppose 0 = 2*y - q + 28, -y - q + 6 = 23. Let n be s(y). Solve -3*t = n + 2 for t.
-3
Suppose l - 5 = -3*k, -6*l - 4*k = -l - 36. Let a be (-36)/(-24)*2*(0 + 1). Solve -x + a*x = -l for x.
-4
Let t(o) = 7*o**2 + 11*o - 67. Let k be t(4). Solve -4*p - k + 97 = 0 for p.
2
Let b(c) = -20*c + 66. Let x be b(3). Solve -x*g + 25 = -11*g for g.
-5
Let j(y) = y - 3. Let z be j(3). Suppose -4*m = -9*m + 5*v + 225, 12 = 4*v. Let s be m/28 - 2*(-3)/21. Solve -2 = s*a - z*a for a.
-1
Let w = -3 - -6. Let n = -47 - -44. Let x be (-2)/(-2) - 0/n. Solve w = 4*i - x for i.
1
Suppose 13*d = 16*d - 3. Solve -3*f - d + 7 = 0 for f.
2
Let i be (-2)/(-10) + 5/(150/114). Solve -1 = -3*r - i for r.
-1
Suppose -25 = 5*v, a - 2*v + 6*v + 9 = 0. Solve 8*o + 9 = a*o for o.
3
Let s be (4 + -1)/(2 - 1). Let r be (((-16)/7)/(-4))/((-8)/(-28)). Solve r*a - s = -1 for a.
1
Suppose 3*r + 6 = 0, j - 4*r = -0*r + 9. Let m be (-2)/(-4) - 3/(-6). Let p = m - j. Solve -4*i - 4 - 12 = p for i.
-4
Let l(u) = 4*u**2 - u**3 - 16*u**2 + 3*u - 16*u - 22. Let a be l(-11). Solve 3*x + 0*x = a for x.
0
Let u be (20 - (5 - 10))*(-4)/(-5). Suppose -u*j = -18*j - 14. Solve 0 = j*d - 10*d - 9 for d.
-3
Suppose 0 = 5*t + 4*q - 15, 0 = -5*t + t - 4*q + 12. Suppose 26 + 7 = t*o. Solve 4*p + 5 = -o for p.
-4
Suppose 21*n + 24 - 297 = 0. Suppose -n*k - 8 = -14*k. Solve 2*c - k = -2*c for c.
2
Suppose -2*v - 3*o + 61 - 57 = 0, v - 4*o - 2 = 0. Solve 6*w + v*w = -16 for w.
-2
Let z(f) = -f**2 - 6*f + 3. Let n be z(-6). Let t(a) = -8*a + 7. Let l be t(5). Let o be (22/l)/((-2)/12). Solve -n = o*c - 11 for c.
2
Let q be 6/(-9)*(-3)/2. Let s = -16 - -25. Let o = 9 - s. Solve 2*h + 1 + q = o for h.
-1
Suppose 4*l + 5*q + 281 = 0, 133 = -2*l - q - 0*q. Let z = l - -66. Solve z*y = y + 4 for y.
4
Suppose 0*l + 4*l + 120 = 0. Let h = 150 + -178. Let f = h - l. Solve -2*u - 4 = f for u.
-3
Suppose 10*t - 127 = -7. Solve 0 = 2*j + t - 10 for j.
-1
Let v = -1 - -6. Suppose a + 11 = 4*a + 4*h, 5*a - v*h - 30 = 0. Suppose 5*k - 50 = -a*m, m - k = -m + 20. Solve -m = -5*l - 35 for l.
-5
Suppose -3*s - r + 17 = 0, -13*s + 10*s - 4*r = -32. Solve 0 = s*m + 28 - 12 for m.
-4
Suppose -v + 2*y = 4*y - 5, -2*v - 5*y = -11. Let d(l) = -v*l**2 + 4*l**2 - 33 + 33. Let i be d(0). Solve q + q = i for q.
0
Let y(a) = 57*a - 397. Let l be y(7). Solve d - 6 = -l*d for d.
2
Let v = -8 - -5. Let j = 5 + v. Solve -4*b = -j - 18 for b.
5
Let r be (92/(-10) + (-1)/(-5))*13/(-39). Let h be (-2)/(-1) + (0 - -1). Solve -4*p + h*p = r for p.
-3
Suppose -2*v + 7*v = 0. Suppose 0 = -v*p + 3*p. Let t = 13 - 8. Solve -d + t = -p*d for d.
5
Suppose 54*x = 55*x. Suppose 4*u - 2*u = x. Solve u*d = -2*d for d.
0
Let u = -44 - -18. Let x = u - -46. Solve t - 6*t = -x for t.
4
Let w be -1*(0 + -11 - -2). Let u = w + -8. Let g = u - 1. Solve 0 = -g*m + 3*m + 15 for m.
-5
Suppose 74 = 2*p - 0*p. Let j = p - 37. Solve j = 4*x - 5 + 1 for x.
1
Let g(n) = 2 + 5*n - 3 - 6*n. Let d = -13 - -7. Let r be g(d). Solve 0 + 15 = -r*o for o.
-3
Let p = 69 + -59. Suppose 11*r - p = 9*r. Solve 0 = -3*n - r - 4 for n.
-3
Suppose 3*n - 26 = -0*n - b, -5*n + b = -54. Let q be 0/(n/(5/1)). Solve q = 5*w - 5 - 0 for w.
1
Let o be 2*130/80 - 2/8. Solve 6*w = -9 + o for w.
-1
Let n be (-4)/((-11)/(132/16)). Solve -n*c = -c for c.
0
Let r(s) = -s**2 + 6*s - 3. Let g be r(4). Suppose -8*t + g*t = -84. Suppose -8 = -2*d + t. Solve d + 2 = 4*f for f.
5
Let i(r) = r**2 + 13*r - 32. Let z be i(-15). Let a be 6 - ((-2)/z + -2 - -2). Solve 4 = a*l - 4*l for l.
4
Let b(u) = 2*u**2. Let o be b(-1). Suppose -o*i - q + 4 = -2*q, 20 = -4*i - 5*q. Suppose i = -5*f - 0*f + 30. Solve 4*g + f + 6 = 0 for g.
-3
Suppose 67 = -2*s + 83. Solve -s + 3 = -5*b for b.
1
Let z be ((-5)/(-6))/((-4)/(-24)). Let d(s) = 2 - 2*s**2 - s**2 + 2*s**2 + 5*s. Let p be d(z). Solve 6 = p*b + 14 for b.
-4
Suppose 3*s + 2 = 4*s. Suppose 0 = s*t + 15 - 55. Solve 3*u = -u + t for u.
5
Suppose 0 = 2*x - 2*q - 40, 3*x - 32 = 2*q + 25. Suppose -5*t + 80 = 25. Let z = x - t. Solve -g - z = -3*g for g.
3
Suppose 6 + 15 = 3*z. Let d(t) = t**3 - 7*t**2 - 7. Let j be d(z). Let f = -5 - j. Solve p - f = 3 for p.
5
Let w = 22 - 19. Suppose 5*u - 3*n - n - 70 = 0, -4*u - w*n + 25 = 0. Suppose s - u = -s. Solve s*f - 9 = 11 for f.
4
Let c(t) = 4*t**3 + 35*t**2 - 11*t - 15. Let j be c(-9). Solve -j*g + 7 = 22 for g.
-5
Let w = -17 + 19. Let k = w - -1. Let l be k*((4 - 3) + 0). Solve l*b - 4*b = -3 for b.
3
Suppose 3*r - 2*f - 5 = 0, -5*f - 7 = -3*r + r. Suppose n - 1 - r = 0. Suppose 2*o - 3*b - 8 = 0, -18*b + 14*b - 8 = 0. Solve -n*z + o = -3 for z.
2
Let j = -2 + 3. Suppose -3*g + 4 + 2 = 4*a, 4 = 2*g - 3*a. Solve j = -g*n - 9 for n.
-5
Suppose -2*p - y + 39 = 0, 3*y = -0*p - 4*p + 81. Suppose 2*j + j - p = 0. Solve 10 = -q + j*q for q.
2
Let q = 63 + -63. Let j(n) = -2*n + 5. Let r be j(q). Solve 0 = 5*z - 5 - r for z.
2
Let v(o) = o**3 - 4*o**2 - 33*o + 12. Let y be v(8). Solve 5 - 9 = -y*x for x.
1
Let w be (0 - -1) + 3 + -1. Suppose 12*t - 16*t = -28. Suppose -14 - t = -3*x. Solve -w*n = -x - 8 for n.
5
Suppose 3*n = -205