144 + 127 - 260/(-16))*4*-1. Let d = 3 + -1. Solve t - 3*y + 4 = 0, s*y - 7 = d*t + 2*t for t.
-1
Let x(z) = -6 + 1462*z**2 + 0 - 1461*z**2. Let t be x(3). Solve 0 = 5*u + 25, 3*c + t*u + u = -35 for c.
-5
Suppose 0 = 47*x - 39*x + 59*x - 335. Solve -9*j + 14*j = -2*v + 20, -25 = -x*j - 3*v for j.
2
Suppose 0 = 22*q - 16*q + 1182. Let d = -185 - q. Solve 3*u - r + 14 = 0, -5*u + 4*r = -4*u + d for u.
-4
Let o be (36/(-72))/((-2)/4). Solve c = -2*b + o, 0 = 6*c - c + 4*b - 11 for c.
3
Let w be (5/1 - -4)*5/3. Suppose -3 = 3*i - w. Let x(n) = n**2 - 2*n - 8. Let c be x(i). Solve y - f + 2 = 2*f, c = 2*f for y.
-2
Let u(i) = 26 - 15 + 24*i + 18. Let t be u(-1). Solve 0 = -m - t*k, m - k = 6*m for m.
0
Suppose 0 = 53*u - 28*u - 125. Solve -u*d - 6 = -q, 3*q = -5*d + 7*d - 8 for q.
-4
Suppose 22*s + 5 = 21*s, 2*y - 29 = -s. Solve 0 = z - 4*k + y, -2*k = -3*z - 17 - 4 for z.
-5
Suppose -2*t + 20 = -2*f, 522*t - 5*f = 521*t + 34. Solve 4*i - 29 = -i - l, -t*l - 19 = -7*i for i.
5
Suppose 124*v - 4715 - 1618 = -2066*v + 4617. Let h = 4 - 2. Suppose -a + 3 = -1. Solve 23 = a*o - v*n, -5*n = h*o - 3*n + 2 for o.
2
Let t be (-22)/(-3)*(-9)/(-6). Suppose 3*h = m - 6*m + t, m - 19 = 5*h. Solve -m*p = 3*j - 16, 5 - 4 = p for j.
4
Suppose 23*i - 5*i + 4*i - 132 = 0. Solve 0 = y + i*f - 20, 3*y = -0*f + 2*f for y.
2
Suppose 57 = -6*m + 69. Solve -u = m*a - 11, -18 = -3*a - 9 for u.
5
Let y be (-15 - -3)*((-2)/(-4) + (-21)/28). Solve 0 = y*a - 3*f, -2*a + 8*f + 4 = 4*f for a.
-2
Let f(z) = 9*z**2 - 76*z - 18. Let m(u) = 4*u**2 - u + 1. Let g(j) = -f(j) + 4*m(j). Let c be g(-10). Solve -c*h - 3 + 16 = -3*o, 0 = -4*h + 5*o + 21 for h.
-1
Let t(h) = h**2 + 5*h - 9. Let p(r) = -r**2 - 9*r - 20. Let y be p(-7). Let x be t(y). Let g be 30/(-15) - 9*x. Solve 3*c + 4 = 5*c, 0 = -3*j - 5*c + g for j.
5
Let n(y) be the first derivative of y**2 - 16*y + 3. Let v be n(9). Suppose p = 1, -v*j - 4*p = p - 15. Solve -j*a + 3*k = 3, -4 = 2*a + k - 5 for a.
0
Suppose 353 = 16*z + 321. Solve -15*h + 26 = 3*q - 10*h, z*h - 4 = 2*q for q.
2
Let g be (-6)/8 + (-15)/(-4) + 27. Let f be (1/2)/(15/g). Let h be (108/(-8))/(-9) + f/2. Solve h*o + 5*j - 13 = -2*o, 0 = -4*o + 4*j + 4 for o.
2
Suppose 44*m - 9*m = -31*m. Solve m = 3*x - 5*a - 34, -18*x + 5*a = -19*x - 22 for x.
3
Let y = 307 + -198. Suppose -2*k = 3*d + 788 + y, -4*d = -k - 432. Let b be (-34)/187 - k/22. Solve 5*q + b = 2*h, -8 = 3*q - 3*h + 4 for q.
-4
Suppose 762*r - 308 = 740*r. Solve -k + r = 3*i, 3*k + 14*i - 18*i - 3 = 0 for k.
5
Suppose l = -l. Suppose 4*i = -2*v + 40, -666*i + 662*i - 30 = -5*v. Solve l = -w - w - z + i, w + 1 = -4*z for w.
3
Let j = 37673 + -37671. Solve 0 = 3*f + o + j, -f + 13 = -o + 15 for f.
-1
Let n = -44 + 49. Let j be 3/(3*4/8) + -2. Solve 2*l = n*f + 24 + 1, j = f - 5*l + 5 for f.
-5
Suppose -4*u = 4*w - 36, -51*w + 48*w - u = -17. Solve 3*r + 0*z - z = -w, 2*r + 2*z = -8 for r.
-2
Suppose -4*j + 2 + 2 = 0. Let g be 110/(-99)*((-9)/6 + -3). Solve k + j = 2*k + g*t, -3*k = t + 11 for k.
-4
Suppose -3*z - 8 = -5*z. Let f be (42 - 45) + (-3 - -8). Suppose 2*i + 16 = 4*x - 0*i, -5*i + 2 = -3*x. Solve -l - 37 = -x*l + z*k, -f*k - 11 = -l for l.
5
Suppose 2 = g - 3. Suppose -7 - 187 = -62*d + 54. Solve -12 = -4*p, g + 10 = r + d*p for r.
3
Suppose z + c = 21, -5*c + 5 = 2*z - 37. Let x = 302064 - 302058. Solve -l + z = 5*b, x + 7 = l + 3*b for l.
1
Suppose a = -a + 10. Let z be 2/23 - ((-82)/943)/(-1). Solve x = -c + a, z = -c - 4*c + 10 for x.
3
Suppose 0 = 5*f + 2*p + 222, -4*p - 92 = -2*f + 4*f. Let y be (-1)/11 + (-180)/f. Solve 4*h + y*w - 16 = 0, -w - 12 = -2*h + w for h.
5
Suppose 0 = 2*r + 2*v - 24, 0*r + 4*r - 93 = 5*v. Let s be (-60)/(-40) + r/2. Suppose 23 + s = 11*f. Solve -2*q - 1 - f = 0, 0 = -p - 5*q - 9 for p.
1
Let z = 63 + -59. Suppose 6*r = 8*r - z. Solve 0*x + 4*n - 18 = 3*x, -1 = r*x + n for x.
-2
Suppose -14 = 21*s - 25 - 31. Solve s*a - v = 11, a + 4*v + 11 = -v for a.
4
Let c(t) = 2*t + 3. Let k be c(2). Let s = -241 + 237. Let j = k + s. Solve -4*m - 8 = 0, j*u = u - 2*m - 10 for u.
-3
Suppose h = 4 + 5. Suppose h = 4*r + 145. Let w = r + 34. Solve -2*m - 4*d + 6 = w, -9 = -4*m + m - 2*d for m.
3
Let v = -1555 - -1560. Solve -v*d + 25 = -t, -6*t + 2*d + 7 = -9*t for t.
-5
Suppose 92*x - 627 = -67*x - 50*x. Suppose -6 + 24 = -3*f. Let h be (2 + -1)/((-2)/f). Solve -2*r - b = 10, r + x*r + h*b = -20 for r.
-5
Suppose 22*w - 900 = 17*w. Suppose -38*n = -48*n + w. Solve 4*d + 3*l - 8 = 0, -4*d - l = -n + 2 for d.
5
Let a be ((-224)/504)/(1/(-9)). Solve x - 41 = -43, 6 = a*s + 3*x for s.
3
Let m = 406 + -210. Let x = -191 + m. Solve -3*r - f - 3*f = 11, -x*f = r + 11 for r.
-1
Let t = 4 + 1. Suppose -20 = -4*y, 4*z + 5*y - 29 = 20. Let o be 0 + (38/z - (-8)/(-6)). Solve -o*k - 2*q + 10 + 2 = 0, -t*k = -3*q - 32 for k.
4
Suppose -2*k + 204*k + 301 = 1311. Solve -l + k*g + 13 = 9*g, 2*g = 2*l + 14 for l.
-3
Suppose 2*q - 9*q = 189. Let f(h) = -h**3 - 26*h**2 + 29*h + 48. Let c be f(q). Let p be ((-16)/(-20))/(c/(-15)). Solve -v + 2*v = -5*n - 7, 4 = -p*n for v.
3
Let x be (8/(-24))/(5/90). Let b be 1*(x - (-40)/4). Solve -m = 2*a + 3*a + 16, -4*m + b*a + 32 = 0 for m.
4
Suppose -2*z = -5*i - 166 + 123, -4*i = 5*z - 91. Solve 0 = k + 5 - 8, -5*s = 3*k - z for s.
2
Suppose s + 4*s - 3*w = 740, 5*w = -2*s + 296. Let t be (4 - 5) + s/(-2). Let k = t - -77. Solve 4*g - 8 = -k*j + 6*j, -6 = -2*g + j for g.
4
Let h be (1 - 25)*22/33. Let z = h - -27. Suppose 0 = z*v - 8*v - 15. Solve -4*c = -4*i + 4, -2*i - 2*c + 6 = -v*c for i.
-3
Let h = -486 - -474. Let x(m) = -2*m**2 - 27*m - 28. Let n be x(h). Solve 4*f + 3*o - 23 = 0, -3*f + n = -4*f + 2*o for f.
2
Let t(y) = -42*y - 458. Let i be t(-11). Let d = -22 - -26. Suppose -q = -5*s - d*q + 26, -s + 2 = -q. Solve -2*o - 5*g = s, -i*o = -0*o - 2*g + 8 for o.
-2
Suppose -3*l + 32 = 4*o, -3 = -4*o + 17. Solve -2*m = -l*a + 20 - 14, 2 = 2*m for a.
2
Suppose -8*v + 6*v + 12 = -q, -3*q = 3*v - 18. Suppose 5*u = u + 32. Solve -5*w = y + 6, w + 5*y - 2 + u = q for w.
-1
Suppose -19*q + 16*q + 7 = 2*o, q = -3*o - 7. Solve -26 = -10*w + 5*w + z, 3*w - 20 = q*z for w.
5
Suppose 2*p + 64 = -2*y, y - 4*y = -4*p - 100. Let l be (-796)/(-7) - 8/p. Suppose -4*i = -10*i + l. Solve 3*u = -u + k + i, -3*k = 2*u + 1 for u.
4
Let y(b) = 243*b - 482. Let h be y(2). Solve 10*m = h*q + 9*m - 17, -1 = 3*q + 2*m for q.
3
Let x(w) = 12*w + 1. Let y be x(5). Let f = y - 59. Let z(b) = -b - 3. Let p be z(-7). Solve -4*n - 4*j = -2*j + f, -3*j - 5 = p*n for n.
1
Let d = -21148 - -21150. Solve 0 = 7*m - 5*m + i - 4, -d*m + 5*i + 28 = 0 for m.
4
Let g = 11741 - 11740. Solve 0*i = 2*i - 5*k + 9, k = g for i.
-2
Let y be ((-2 + 10)/(-4) - -89)/1. Let t = y + -83. Let l(u) = u**3 - 5*u**2 + 4*u - 7. Let q be l(5). Solve -t*k - 20 = 3*j, -2*k + 5*j = q - 3 for k.
-5
Let y = -8434 + 8445. Solve -3*h + 14*k = y*k + 30, h + 3*k - 10 = 0 for h.
-5
Let x be (-7)/(-2) + 9/6. Let z(c) = -338*c - 2350. Let t be z(-7). Solve -4*r + t = -0*r + 3*l, -x*r - l = -9 for r.
1
Let y be 228/152*(-36)/(-2). Suppose y*m - 12 = 69. Solve 0 = -5*g - a - 8, -g + 5*a + 17 = -m*g for g.
-1
Let u(t) = 6*t**3 + 13*t + 8. Let i be u(-3). Let l = i + 194. Solve l = 3*f - 5*w - 7, -5*f - 3*w - 32 = 0 for f.
-4
Suppose 0 = 12*v - 15*v + 126. Let q = v + -79. Let m = q - -37. Solve 2*h - 2*y + 18 = m, 4*h + 3*y = -2*y for h.
-5
Let o(l) = 11*l - 28. Let z be o(8). Let g be (-227)/4 - 15/z. Let d = -53 - g. Solve -d = 4*c, -s - 4*s - 2 = -3*c for s.
-1
Let k = 278 - 704. Let f = -422 - k. Solve f*q = 4*c - 4, -1 = -4*q - c - 0 for q.
0
Let f = 89 + -451. Let u = f - -364. Solve 4*z = -5*a + 20, -20 = -7*a + u*a for z.
0
Let z be (4/(-1 + -1))/(-1). Suppose -y = 4*b - 2*b - 6, 3*y = -2*b + 30. Solve -5*h = 2*v - 28, h - 2*v = z*h - y for h.
4
Let a be (-7 - -6)*(-5 - 0). Solve -170*f + 2*p = -165*f + 13, 0 = 3*f + a*p + 14 for f.
-3
Suppose 17 = -7*q + 52. Solve -4*d + 15 = q*n, 2*d + 52*n + 3 = 53*n for d.
0
Let n be ((6/9)/(-1))/(-4)*174. Let y be n + -29 - (-5 + 1). Solve -l + 14 = -y*u, 5*l - 6 = 5*u - u for l.
-2
Let w be (-406)/(-112) + (-3)/(-8). Solve -3*a - 13 - 2 = w*u, 4*a = 4*u - 20 for u.
0
Let u(h) = 4*h**2 + 10*h + 55. Let p be u(-4). Solve -4*r = 3*m + 2, 4*r + 44 = -75*m + p*m for