 18 = -5*x - 3, -x + 3 = -5*v for x.
3
Suppose -2*h + 6 = -4*k, 56*k - 50*k = -3*h + 9. Solve -h*u + d - 8 = 0, -u + 2*d + 5 = 1 for u.
-4
Suppose 22*h = 58*h - 40*h + 32. Solve -2*k - h = -4*u, -3*u = -6*u + 3*k for u.
4
Suppose 8 = -2*x + 58. Suppose 2*d - 4*l - 18 = 6, -3*l = -5*d + x. Solve -2*b = -4*n + 10 - 28, 3*b = -d*n + 3 for b.
3
Let o be (45/6)/(28/(2800/30)). Suppose -3*a = -20 - 1. Suppose 3*x - a = -1. Solve 0 = -3*u - 4*s - o, -x*s - 13 = -u + 2*s for u.
-3
Suppose 5*a = -2*r + 46 + 14, 0 = 3*a - 3*r - 36. Suppose 6*v = 7*v + 5*c - 4, -a = -3*v - 2*c. Solve -2*w - v*i + 2 = 0, 4*w = 2*w + i - 8 for w.
-3
Suppose -209 = 3*z + 322. Let d be ((-59)/z)/(1/9). Solve -6 = 2*n + d*n + 4*y, -16 = 4*y for n.
2
Suppose 0 = 5*c, -22*c = 4*g - 19*c. Solve 2*u + 5*x = 16 - g, 0 = 4*x - 8 for u.
3
Let d = -2890 - -2892. Solve 2*m - 12 = -3*z, 6*z - 4*m + 4 = d*z for z.
2
Let l = -12440 - -12445. Solve 5*g = i - 29, -l*g + 12*i = 15*i + 13 for g.
-5
Suppose -16 = -4*x + 3*d, -3*x + d + 9 = -8. Solve -x*q + 9*q = -s, 0 = 5*q - 2*s + 9 for q.
-1
Suppose -16*y = 105 - 137. Solve 4*l - 36*b + 38*b - 20 = 0, -5*b = -3*l + y for l.
4
Suppose 3*r - 8 = r. Suppose -h = -2*t + 6*t - 527, -259 = -2*t - 5*h. Suppose t = 4*s + 120. Solve -3*p + s = -3*z, r*p + 2*z - 10 = 2*p for p.
3
Let u = -296 + 309. Let p be (-1)/(u/(-3) + (-48)/(-12)). Solve -p*o + 5*c + 22 = 3*c, c = -5 for o.
4
Let l(r) = -11*r - 19. Let d be l(7). Let f = d + 94. Let j be (-1)/f - 18/(-12). Solve 4*z - 6 = 2*i, -3 = i + z + j*z for i.
-3
Suppose 3*s + 8 = 8*t + 19, -2*s = 4*t - 54. Suppose 31 = -4*b + 123. Solve 4*o - 5*q - s - b = 0, -3*q = 5*o - 13 for o.
5
Let t(o) = -240*o - 2877. Let s be t(-12). Solve -s*l + 2*f + 8 = 0, 3*l + 11*f - 8*f - 18 = 0 for l.
4
Let m be (-4362)/9 + (-10)/(-15). Let o = -479 - m. Solve -2*n + 30 = -5*k, -o*n = -2*k - 4 - 29 for k.
-4
Let v = 164 - 159. Solve -g - 8 = 2*w + 3*g, v*w - 16 = 2*g for w.
2
Let a be 23/5 - 4/(-30)*3. Suppose -2*z + 2 = 4*m, 4 = 5*m + 9*z - a*z. Suppose m = 3*g + 35 - 41. Solve 2*j = -4*v - 14, g*v + 10 = -5*j - 1 for v.
-3
Let u be 1*(0*2/(-18))/(10 + -8). Suppose n + 5*j - 30 = -4*n, j + 2 = 3*n. Solve 13 = -n*f - 3*s, u*s = -3*f + 4*s + 6 for f.
-2
Let r be 46/(-10) + 5 - (-476)/35. Solve -2*i + r = -3*j, 63*i - 67*i + 8 = -j for j.
-4
Let k = -1010 + 1024. Solve 4*z = c - k, 5*z + 8 = 3*z + c for z.
-3
Suppose -17*t + 12*t = -2205. Let f be ((-26)/(-7))/(126/t). Solve 2*w - 4*v = -14, 2*v = -5*w + f + 12 for w.
3
Let t(v) = -v**3 + 11*v**2 - 8*v + 7. Let i be t(12). Let x = i - -235. Solve -2*c = -5*d + 3, -x*c - 12 = -4 for d.
-1
Let g be 36/(-16)*4/(-3). Let z(n) = -n - 12. Let l be z(-16). Suppose 4*j - y - 1 = l*y, 1 = j - y. Solve 2*k + k - 18 = g*x, -j*x - 15 = -k for x.
-3
Let q = -57 - -93. Let w be (66/7)/(2/14) + -2. Suppose 42*p - w = 26*p. Solve q = -5*v + p*m, 3*v + 16 = m - 0*m for v.
-4
Let m(b) = -b**2 + 26*b + 319. Let w be m(35). Solve 11 = -4*x - 5*g, w*g = -x + g - 8 for x.
1
Let h be 7/(21/12) - -2. Let n = h + 5. Let p = -242 + 247. Solve -4*r - r = -3*g - n, 0 = p*g + 10 for r.
1
Let o = -173 - -33. Let a = o - -154. Solve 2*b + a = -4*c, b - 5*b = -4*c - 20 for c.
-4
Let g(x) = -x**3 - 5*x**2 + 5*x + 6. Let m be g(-6). Let n be (5 - 1) + (11 - m) + -3. Solve n = 3*p - 5*o, 4*o = -4*p + o + 29 for p.
5
Let w(z) = z**3 - 22*z**2 - 24*z + 32. Let o be w(23). Let d(u) = -3*u**2 + 27*u + 4. Let v be d(o). Solve v*x = 5*s - 45, -25 = 3*x - 2*s - 0*s for x.
-5
Suppose 0 = -2*u + 4*a - 2, 2*u - 18*a + 16*a = 4. Solve -c = 5*p - 21, u*c - 3 = -5*p + 2 for p.
5
Suppose -4*i + 5*i - 10 = 0. Let y(b) = -6*b**3 + 72*b**2 + b + 2. Let l be y(7). Let h = 1481 - l. Solve -h*q = 4*n + i, -9 = -q + 3*n + 2*n for q.
-1
Suppose 25 = -5*k + p, k - 7*p + 2*p = 19. Let g be (1 + -11)*k/15. Let x be (1/g*2)/1*10. Solve 4*l + d = 4, x*l + d + 3 = 7 for l.
0
Let b = -73 + 74. Suppose -5 = 2*j + b. Let z(m) = -m**2 - 6*m - 7. Let s be z(j). Solve s*c = 0, -5*y - 10 = 6*c - 2*c for y.
-2
Suppose 0 = 9*b - 15*b + 396. Let c = 70 - b. Suppose 0 = -d + f + 4, -c*d = -5*d - 4*f - 1. Solve 4*q = d*g - 4*g + 11, -q + 6 = -3*g for g.
-1
Suppose -y = -5*s + 96, -s + 78 = 2*s - 4*y. Solve d - 3*q = -s, 11 = 5*q - 14 for d.
-3
Suppose 0 = -61593*g + 61626*g. Solve 3*r + 8 = -q, g = 5*r - 0*r + 2*q + 14 for r.
-2
Let g be ((-5 - -7) + 0/(-2))*4. Let q be g/(-36) + 249/27. Solve 5*z - 4*r + q*r + 20 = 0, 3*r - 3 = 0 for z.
-5
Let k = 17 - 1. Let j be (-176)/(-6) - k/(-24). Let c = j + -18. Solve u - 5*n + 0 = 3, -4*u + c = -2*n for u.
3
Let d be 4 - ((-28 - -27) + (-6 - 1)). Solve 2*a - 3*r + d = 0, -3*a - r + 14 = -7*a for a.
-3
Let n = 300 + -275. Suppose -n = -7*q + 3. Solve 0 = -l + 4*k + 12, -k = -0*k + q for l.
-4
Let p(a) = -a**3 - 8*a**2 + 25*a - 83. Let o be p(-11). Solve 5*m + 5*l + 2 = 7, 0 = o*m - 2*l - 33 for m.
5
Let c be 2/3 - 33/9. Let q(t) = t**3 + t**2 - 4*t + 9. Let r be q(c). Solve -2*m = m - 3*g, g + r = 0 for m.
-3
Let p = 22 - 8. Suppose 0 = s - p - 0. Suppose -5*t - s = -7*t. Solve 5*m = -4*b + 30 - t, -4*m + 20 = 4*b for b.
2
Suppose -11*s - 35 = -208 - 47. Solve -24*o - 4*y = -25*o + 20, 5*y + s = 0 for o.
4
Let n(x) = -7*x + 21*x**2 - 12*x**2 - 4 - 7*x**2. Let g be n(4). Suppose g = -3*d - 13 + 19. Solve -2 = d*k, -9 = -5*b - 5*k + 1 for b.
3
Suppose 0 = -f - 4, -k - 4 = 5*f - f. Suppose -k*n - 11 + 71 = 0. Solve -2*w = -n*v - 17, -3*v - 4 = 2*w + 19 for v.
-5
Let i = -74 - -79. Suppose -v = -4*k - 46 + 31, -v = -5*k - 15. Solve -2*x - 3*t - t = 6, -4*x - i*t = v for x.
-5
Let g be (1308/(-545))/(4/(-10)). Let h be (-28)/(-16) - (-2)/8. Let q be 0/h - (3 - 5). Solve -3*z = -d - 14, -g*d - 31 = -d - q*z for d.
-5
Let z be (0/(-3 - 2 - -3))/2. Solve j - 2*b = -10, 5*j + 0*b - b + 5 = z for j.
0
Let u be (6/(-15))/((-5)/(-25)). Let m be u/(-5 - (-4 + 0)). Let n be (-4)/(-32) + (-220)/(-32). Solve 0 = -q, w - n*q + 1 = -m*q for w.
-1
Let t = 90 - 30. Suppose 13*i - t = i. Suppose -4*y = -2*l - 3*y + i, -l + 4*y = -6. Solve -5*g = -3*w - 6, 0 = -w + 4*g - l - 0 for w.
-2
Let g = -207 - 25. Let s = 251 + g. Solve -3*z = 4*y + s, 0*y - z = -2*y + 3 for y.
-1
Suppose -51 = -2*m - 0*m + t, t = m - 25. Solve v + 3*w = 13, -m*v + 25*v + 3*w = 17 for v.
-2
Let x(p) = p + 13. Let t be x(-13). Suppose b - 5*b + 116 = t. Suppose -b = l - 2*l. Solve -3*q + 3*d + l = q, -4*q + d = -23 for q.
5
Let z = 940 + -919. Suppose z*r - 19*r - 13 = 5*q, -4*q = -3*r + 23. Solve 2*t = -2*n - 3*n + r, 2*t = 4*n for n.
1
Let s = -113 + 113. Let d be (23/(23/6))/3. Solve 5*a - 4*i + 25 = s, 0*a + d*a + i = 3 for a.
-1
Let n be (4 - -1)*(-14)/(-35) - (36 - 37). Solve -4*y - 52*m = -53*m - 12, 0 = y - 2*m - n for y.
3
Let p be 4/30 - (-1 + (845/(-75))/13). Solve -p*f = 4*y + 7 + 9, f = 2 for y.
-5
Let o(t) = -t**3 + 5*t**2 - 5*t + 6. Let v be o(4). Let h(w) = 5*w - 30. Let u be h(8). Let j be (42*u/(-15))/(-2). Solve -3*x = -v*s - 11, 3*s + j = 2 for x.
1
Let d(t) = t**3 - 4*t**2 - 4*t - 2. Let k be d(5). Suppose -48 = -k*w - 0*w. Let a = -12884 - -12886. Solve a*u + 2 = -z, 2*u + 5*z - w = -2 for u.
-3
Let d be (-8)/(-6)*((-28)/(-16) + 5). Let x be 12 + (54/d - -1). Solve 8*u + x = -2*j + 3*u, -j - 3*u - 12 = 0 for j.
3
Let h(c) = -11*c - 63. Suppose 70*m - 47*m + 138 = 0. Let p be h(m). Solve p*j = -3*a - 3, -7*j + 3*j = -3*a + 32 for j.
-5
Let k = -8 + 11. Suppose -k*l + 26 - 17 = 0. Solve -4*p + l = 5*q - 42, 0 = 3*q - 4*p + 5 for q.
5
Suppose 3*x + 2 - 35 = 0. Let p = 6922 - 6920. Solve 15 = 3*m + p*w, 4 = 5*w - x for m.
3
Suppose -3*z = -z - 2*m + 14, 2*z = -4*m + 28. Solve 3*s + 2*w = z, -109*w = -s - 106*w - 11 for s.
-2
Let d be (-216)/(-12) + ((-5)/5 - 1). Solve -b + 3*g - 6*g + d = 0, b = g for b.
4
Suppose 10 = 9*h - 59 + 33. Solve h*b + 12 = 2*n - 0, 0 = 4*b - 5*n for b.
-5
Let m = 16111 - 16108. Solve 2 = -2*a + 6*b - 8*b, -m*a + 4*b - 3 = 0 for a.
-1
Let m(f) = 15*f - 266. Let k be m(18). Solve 2*l + 11 = -k*j + 13, -4*l = j - 18 for l.
5
Let n = 25643 - 25640. Solve -3*x = z + 4, -n*x - 3 + 4 = -4*z for z.
-1
Suppose -3*i = -2*i - 5. Let g be ((-4)/5)/(-1 + 3/i). Let j be g/5 - (-96)/60. Solve 0 = -3*y + 15, 4*k + 12 = j*k + 4*y for k.
4
Let t be 1170/315 - (-2)/7. Let b(o) = -o**3 - 19*o**2 + 20*o + 4. Let v be b(-20)