= -2*s, -5*s = g*y - 3 for y.
4
Let m be (-2 - 21/(-18))/(3/(-18)). Solve -j = -m*t + 3*t + 5, 0 = 3*t - j - 7 for t.
2
Suppose 0*y - y + 4*q = 13, -3*y - q + 13 = 0. Let v be 0/((-4 - -7)/9*y). Solve -4*f - 6 = 4*h - 2, v = 2*h + 5*f - 1 for h.
-2
Suppose -4 + 34 = 10*n. Solve -b = -n*z - 6*b + 13, z + b - 3 = 0 for z.
1
Let p be (3 - (-132)/(-4))*18/(-27). Solve -p = -5*w - 5*b, b + 2*b - 4 = 5*w for w.
1
Let x = 2447 - 2443. Solve x*p - 5*p + 5*u = 14, 3*p = u for p.
1
Suppose 4*c - 13 = 47. Solve 5*t - 2*f + c = -0*f, t = 3*f - 3 for t.
-3
Let r be (-14 - -13)*(1 + 1)*1. Let c be r*2*1/(-4). Solve 3*j - 8 = -d, 3*d - 5*d + c = j for d.
-1
Suppose -4*c = -1 - 7, 2*g - 2*c - 44 = 0. Suppose 4 = -y, 0 = -3*u + 7*u - 3*y - g. Suppose u*a - 5 - 7 = 0. Solve a*d + d = 5*i + 10, i + 11 = 4*d for i.
1
Suppose -3*u - 4*f + 24 = 0, -u + 3*f - 25 = -5*u. Solve 5*g + 3*t - 14 = u*g, 0 = -3*g - 4*t + 22 for g.
2
Let g(q) = q**3 - 9*q**2 + 7*q + 15. Let r be g(8). Let d be (4/(-14))/((-1)/r). Solve x + 4 = d*h, -x = -2*h + 2*x + 8 for h.
1
Let z be (6 - 2) + (-1 - -1). Suppose z*j = 7 - 27. Let i(u) = -u**2 - 2*u + 20. Let r be i(j). Solve -25 = -r*p, s - 10 = -5*p + 18 for s.
3
Let t be (1 - 1)/(4 + -2). Let a(r) = 4*r**2 + 5*r + 1. Let i be a(1). Suppose i*l + 234 = 28*l. Solve -4*d - d = 4*z - l, -5*d + 25 = t for z.
-3
Suppose 273 = 7*v + 168. Solve 9*h - 10*h + v = 4*n, -2*n = 4*h - 18 for n.
3
Let z(a) = 13*a - 243. Let k be z(19). Solve -4*x = -5*w - 23, k*x = -4*w - 2 - 2 for w.
-3
Let l = -709 - -712. Solve 3*u - l*m + 9 = 0, 5 = -u + 5*m - 3*m for u.
-1
Let c(s) = s + 7. Let f be c(-3). Let o be (-6)/(-15)*70/4. Solve 3*t = f*h - 2*t + o, -5*h + t - 14 = 0 for h.
-3
Let t be ((-39)/(-2))/((-3)/(-4)). Let w = 272 - 256. Suppose g + w = t. Solve 11 = a - 5*s, -4*s - 3 = -5*a + g for a.
1
Suppose -21 = -3*y - 2*t, 0 = 3*y - t - 9 - 3. Solve y + 10 = 3*m, 0 = -5*d - m - 5 for d.
-2
Let f(o) = -3*o - 6. Let d be f(-3). Suppose -4*i = -11*i + 21. Solve -1 = -0*t + t, 6 = -d*s - i*t for s.
-1
Suppose 3*q = 22 + 47. Let f = -21 + q. Suppose 2*w = 4*y + 8, 4*w + 7*y - 3 = f*y. Solve -3*v - 25 = w*u - 0*u, -2*u - 2*v - 20 = 0 for u.
-5
Suppose 0 = -2*x - 3*w + 34, 3*w = 5*x + 9 - 136. Solve -3*z = 2*z - q - x, 2*z + 2*q = 2 for z.
4
Let s(n) = -n**3 + 15*n**2 + 35*n - 15. Let a be s(17). Solve -5*c - 4*g - 36 = 0, -a*c - 20 = -0*g + 3*g for c.
-4
Suppose 4*c = 7*c - 3*j - 15, -j - 3 = 0. Solve 0 = -4*m - 0*m - c*f + 8, 8 = 4*m - f for m.
2
Suppose -6*r - 9 = 15. Let k(y) = 14*y + 61. Let c be k(r). Solve 0 = -2*h - 10, 2*h = u + 3*h + c for u.
0
Suppose 44 = 13*l + 5. Solve 0 = 5*w + l*c - 3, 5*w + c - 1 = -0*w for w.
0
Suppose -134 + 131 = -3*k. Suppose 0 = d + 4*d - 80. Suppose 2*u + 2*x = 26, 6*u - 5*x - d = 2*u. Solve t + u + k = -3*r, -r - 30 = -5*t for r.
-5
Suppose -3401 = 2*t - 3411. Solve 0 = s + b, t*s - b - 15 = -3 for s.
2
Let r(v) = v**2 + 9*v + 20. Let p be r(-6). Solve 10 = p*c - 2*i, 4*c = -i + 13 + 7 for c.
5
Let r be 16*(3/(-12) + 1). Let s = 3 - r. Let p be (-24)/s*6/4. Solve -5*w - p = 3*h, 5*h - 4 = -4*w - 2 for h.
2
Suppose -k + 2*k = -a + 4, -4*a = -3*k + 5. Solve 0*w - 3*x - 13 = -w, k*w + 3*x + 21 = 0 for w.
-2
Let y(i) = i**3 - 22*i**2 - 22*i - 19. Let k be y(23). Solve 5 = -5*u, 5*t + 3*u - k + 27 = 0 for t.
-4
Let s = 300 + -295. Solve 16 = 5*x + 4*a - 11, -s*a = -5*x for x.
3
Suppose -2*y + 6 = 0, 0 = 4*q - 5*y - 6 - 99. Solve 3*j - 5*k - q = 0, -7*j + 6*j = -3*k - 14 for j.
5
Let g = -3 - -7. Let d be (-3)/g*24/(-9). Let a be (d + 4/(-6))*3. Solve -a*h - 5*q = -q, h = 3*q - 20 for h.
-5
Let u be (-429)/77 - (-3)/(-7). Let h be (-102)/(-13) - u/39. Suppose 0 = g - w - 7, 0 = g + 2*w + 5 - 0. Solve -3*p - s - 16 = 0, -g*s = -h*s - 5 for p.
-5
Let a = 290 - 288. Solve -2*r = 3*o, 0 = -o - 3*r + a*r + 1 for o.
-2
Suppose -l + 5*v = -9, 3*v = -4*l + 4 - 83. Let h be (5/((-20)/(-6)))/((-6)/l). Solve -i - h = -2*b, 0*b + 3*i = 3*b - 3 for b.
3
Let j = -601 + 603. Solve 23 = -5*s - 2*n, -j*s - 3*n = 26 - 8 for s.
-3
Let c(f) be the first derivative of f**2 - 10*f + 2. Let o = 20 - 14. Let q be c(o). Solve -5*g - 1 = -q*t, g - 14 = -4*t - g for t.
3
Let c be (-2 - -3)*8/6*15. Suppose -c = -3*i - i. Suppose 4*v = -2 + 14. Solve v = 3*w + d + 20, i*w = 2*d - 21 for w.
-5
Let h(s) = s**2 - s + 5. Let m be h(0). Solve p - 3*p + 2*r = -2, m*p - 4*r = 4 for p.
0
Let r = -61 + 68. Suppose -6*g - r*g = -117. Solve -3*k - 2*k + 3*u + g = 0, 0 = 4*u + 12 for k.
0
Suppose 2*k = 3*v + 13, -5*k = 36*v - 35*v - 24. Solve k = m + 2*o - 6, m - 23 = -5*o for m.
3
Let r be -2*(14 - 12)*2/(-4). Solve 5*a - 7 = 2*f, 4*f = 5*a + r - 11 for a.
1
Suppose 0 - 35 = -5*k. Suppose -k*a + 3*a + 16 = 0. Solve -a*b - 5*g = 5, 7*g + 15 = -2*b + 2*g for b.
5
Let m be 6*3/(-9)*-6. Suppose -22 + m = -2*u. Solve 50 = 3*t - 5*c + 18, -u*t + 5*c = -40 for t.
4
Let m(n) = -n**2 - 5*n + 4. Let b be m(-3). Suppose -7*l + b + 4 = 0. Solve -3*g - 4 = 5*c - 2, 2*c = -4*g + l for c.
-1
Suppose -5*h + 22 = x, 3*h + 7*x = 4*x + 18. Suppose 0 = h*w + 4*k + 12, 8 = -2*k - 2. Solve 3 = r - 5*f, -f - w*f = 3*r + 9 for r.
-2
Let b = 3 - 2. Let c(t) = t**2 + 6*t + 6. Let h be c(-4). Let g be (-5)/(-1) - h*1/1. Solve 2*x - g = j, 5*j = 2*x + 4 + b for j.
3
Let b(n) = n**2 - 35*n + 200. Let w be b(28). Solve -4*i - 9 - w = 3*h, 17 = -2*i - 5*h for i.
-1
Let w = -20 + 23. Let z(k) = k**2 - k - 4. Let l be z(w). Solve -m = n - 0*m + l, 8 = -n - 4*m for n.
0
Suppose 2*d = -d + 6. Suppose 0 = -o + 3*t + 2, -d*t + 4 = -0. Let i = -21 + 24. Solve -3*y - o = -f, 2*y + 3 = -i for f.
-1
Let t(l) be the first derivative of l**4/4 - 3*l**2/2 + l + 6. Let p be t(2). Solve -4*h + s - 2 = 0, 0*s - 6 = 2*h - p*s for h.
0
Suppose -12 - 13 = -5*g, -4*t = -2*g - 30. Solve 4*r + t = c, 14 = -4*r + 3*c - 4*c for r.
-3
Let m be (0 - (-4)/4) + -27. Let k be (-48)/m + (-10)/(-65). Let y be 0/(k - -2) - -5. Solve 2*v - 20 = y*x, x + 2*v + 4 = -0 for x.
-4
Let d(z) = 32*z - 93. Let a be d(3). Solve 6*l = -4*r + 3*l - 9, -4*l = a*r + 5 for r.
-3
Let t = -20943 + 20946. Let m be (-10)/(-1*2)*1. Solve 5*j + 5*p = 15, -m*p = t*j + j - 17 for j.
-2
Suppose -q - 54 = -19*q. Solve 5*c + 10 = -3*m, -5*c - q*m + 5*m = -15 for c.
1
Let y be 2/5 - (-103)/5. Let f be 77/21*1*3. Suppose -y - f = -b. Solve 5*v - 5 = -7*x + 3*x, 4*x - b = 4*v for x.
5
Suppose -11*a + 4*a = -21. Solve -2*v = -u + v, -a*u - 3*v - 12 = 0 for u.
-3
Let a be 5/(75/(-12))*-60. Let x be (-1)/3 - a/(-9). Solve -5 = -5*k, -4*b + 5*k + x - 18 = 0 for b.
-2
Suppose -3*h + 3*d + 63 = 0, 7*h - 96 = 3*h - 2*d. Let o = h - 18. Let y be ((-12)/16)/(2/(-8)). Solve -w + 2 - 6 = 0, -o*w = -y*g + 8 for g.
-4
Let z = 11 + -23. Let h = 24 + z. Let k be h + 0 + -2 + 5. Solve 0 = -5*d + 5*y - k, -2*d - 2*d = -2*y + 10 for d.
-2
Suppose 0 = 10*p - 6*p. Suppose -3*z = -p*z. Suppose z = y - 5*a - 9 - 11, 5*y = -2*a + 46. Solve -5*t - 4*m = -y, 7*m = 2*m for t.
2
Suppose -2*q - 2*f + 10 = -5*f, 0 = -5*q - 3*f + 4. Solve 4*z - 4 = q*g, g - z + 0 + 3 = 0 for g.
-4
Let p(t) = 4*t**2 + t. Let h be p(1). Suppose -5*g = 3*s - 16, h*s + 3*g = 5*g + 6. Solve 4*c = 5*l - 25, 1 + 4 = l + s*c for l.
5
Let u(y) = -3*y + 3. Let x be (-1)/(2/(8/2)). Let g be u(x). Solve z = -2*j + g - 3, -4*j - 4*z + 16 = 0 for j.
2
Let s = -329 + 332. Solve 4*g = s*w - 5*w, -5*w + 14 = -4*g for g.
-1
Let x(g) be the first derivative of g**3/3 + g**2/2 - 3*g + 1. Let j be x(-3). Let d = 202 + -199. Solve 0 = p - d*l - 7, -p + 5*p + 32 = -j*l for p.
-5
Suppose 2*g - 2*z - 1 = 3, -2*z = g - 5. Solve -5*x = -3*n - 6, 0 = -8*n + g*n - 4*x - 10 for n.
-2
Let z be (3/4)/(1170/168 - 7). Let m = z - -26. Let c(l) = -l**3 + 7*l**2 + 8*l + 3. Let n be c(8). Solve 0 = -2*i - m*p + 24, 20 = -n*p + 8*p for i.
2
Suppose -2 = 4*r + 10, 0 = -2*i + 4*r - 6. Let v be i/21 + (-324)/(-21). Solve 3 = 2*l + f, -5*f = 5*l - 0 - v for l.
0
Let j = 997 + -994. Solve 15 = 5*x + j*f, 8*x - 3*f = 4*x - 15 for x.
0
Let c = 50 + -51. Let w be (-8)/36*(2 + c - 10). Suppose 5*v = 3*r - 20, 3*v = -4*r + 2*v - 4. Solve -g - t = 4, 4*g - w*t = -r*g - 16 for g.
-4
Suppose 35*u = 42*u + 280. Let l be (-20)/u*4/1. Solve 2*r = 4*v + 14, l*v - 1 = 2*r - 11 for v.
-2
Suppose 2*a = 5*a - 30. Let j = -9 + a. Solve -4*b - 12 = -3*v - b, 