e 0 = -3*y + 4*u, n*u = -5*y - u for y.
0
Suppose 5*j - 2*j - 48 = 0. Suppose 12*z + 36 = j*z. Suppose -4 = -z*x + 7*x. Solve 4*y + 22 = -2*m, -y + 0*y - x*m - 7 = 0 for y.
-5
Let s be 5/(-2)*(-4)/5. Let h be s + -4*(-1)/4. Solve 3*w = -2*y + 5*w, 2*y + 1 = h*w for y.
1
Let t = 5081 - 5076. Solve -25 = -t*r, -2*l - r - 1 + 8 = 0 for l.
1
Suppose 5*s + 5*x = 148 + 12, 4*x + 176 = 4*s. Solve -i + 2 = w, 5*i + 0*i + s = 3*w for i.
-4
Suppose -9 = 2*v - 5*v. Suppose -188 = v*f - 158. Let u be 0 + f*(-1)/2. Solve -4*y - 4*z = -16, -y + u*z = -4*y + 20 for y.
0
Suppose 44 = 5*m + x, 3*x = 4*m - 13 - 7. Suppose y - 5 = -n, -m*n + 4*n = 2*y - 8. Solve 4*b + 4*u = 3*b - y, -b + u + 4 = 0 for b.
2
Let l = -24 - -34. Suppose 9*c - l = 7*c. Suppose -5*k + 1 = i + 3*i, c*k = -3*i + 2. Solve -2*a - 7 = -k, -3*a - 9 = 3*h for h.
0
Suppose 5*x - 4 - 16 = 0, -t = -3*x - 6. Suppose -2*n - 6 = -t. Let q be n/(-21) + 90/21. Solve 4*o + 8 = -q*d, 2*o - 3*o + d + 8 = 0 for o.
3
Suppose -181*t - 42 = -195*t. Solve 0 = -t*h - 3*z + 6, -2*h = 5*z - z - 2 for h.
3
Let w be (1/((-9)/12))/((-4)/(-6)). Let b(d) = -2*d**3 - d**2 - d - 1. Let v be b(w). Let p be (2 + v + 0)*(-3 - -4). Solve -2*c = 0, p = i + 2*i - 2*c for i.
5
Let v be 3 + ((-35588)/140 - 2/(-10)). Let z = v + 277. Solve -3*d = -3*h - 3 - 3, z = -5*h - 3*d for h.
-4
Let u = 36 + -31. Let t be -2 - (u + (1 - 11)). Solve -2*a - 7 = t*a - 4*w, -3*a - 5*w = -18 for a.
1
Let r = -159 + 163. Suppose -2*x = -p - 63, -3*x + 17 = -r*p - 85. Solve -2*q - x = 4*l, -3 = q + 2 for l.
-5
Suppose 3*g + 4*a - 96 = g, -4*g - 3*a = -187. Let k = g - 46. Suppose -z + 5 = 0, 3*w + k*z + 2*z = 19. Solve 5*s + w*h = -2, 0 + 3 = 2*s + 5*h for s.
-1
Suppose -2*i + 2*s - 32 = -48, 5*s = -5*i + 100. Solve 2*l + i = -2*a, l + 16 = -3*a + 1 for a.
-4
Let z be 0 + 4*1/(-3)*-12. Suppose -5*t + z = 11*t. Solve 4*j + 4 = -2*l, j + 4*l + t = -0*l for j.
-1
Let i = 6701 - 6696. Solve -116*p + i*n = -113*p + 10, -2*p - 5*n = 15 for p.
-5
Suppose 4*f + 5*y = 138, 5*f + 8*y = 3*y + 175. Let o be 142/20 - f/370. Let i = -3 - -5. Solve -2*t = 3*z + z + 6, -i*z = -t - o for z.
1
Let o(x) = 3*x**2 + 51*x + 101. Let d be o(-2). Solve -4*c + 16 = -3*p, -p + 7 - d = -c for p.
0
Suppose -2*q + 4*q - 4 = 0. Suppose 0 = 2*t + j - 9, -4*t - 14*j = -16*j - 6. Suppose -m - 16 = -d, 4*d - t*m - 34 = q*d. Solve -3*i = -x + d, 3 - 1 = x for i.
-4
Suppose 0 = 2334*j - 2309*j. Solve j = 2*t - 29 + 27, 0 = -4*z - 5*t + 17 for z.
3
Let b be (-46)/(-14) - 2/7. Let t be (-2)/(-12) + 697/(-4182). Solve t*f - f = -4*r - 19, 0 = f - b for r.
-4
Let f = 4 - 2. Suppose -1 = f*m - 7. Let t be ((-396)/(-440))/(6/20). Solve w = -t*q + 6*w - 3, w = m for q.
4
Let d(y) = y**2 + 3*y - 2. Let x be d(6). Let m(a) = -5*a**2 - 12*a - 18. Let q be m(-4). Let g = q + x. Solve -3*l - 2*p = 10 - 3, -g*l - 6 = 2*p for l.
-1
Let l = 127 + -145. Let c be l/4*(1 - (-35)/(-21)). Solve 0*g = c*g - a - 7, 3*g = 2*a + 8 for g.
2
Let m be 48/(((-32)/(-36))/4). Let g = 219 - m. Solve r - v = 2, 0 = 3*r - v - g*v - 7 for r.
1
Let m be 390/90 - 4/(-6). Solve s - 2*q = 13, 3*s + 31 = 4*s - m*q for s.
1
Let w = -14535 - -14537. Solve a = -3*t - w, 5*t = 4*a - 94 + 102 for a.
-2
Let b(d) = 52*d - 57*d + 1 + 0 - 2. Let n(s) = 9*s + 2. Let z(y) = 13*b(y) + 6*n(y). Let x be z(-1). Solve 0 = -5*l + x, 2*t + 2*l = t + 6 for t.
2
Suppose -7710 = -4628*m + 1546. Let j(z) = z**3 - z**2 - 2*z - 2. Let q be j(3). Solve -2*u + q = 0, m*i - i - 4*u + 22 = 0 for i.
-2
Let q = 4127 + -4124. Solve -26*z + 27*z = 2, 3*i + 3 = q*z for i.
1
Suppose 20 = -c + 5*l, -2*l + 62 = 6*c - c. Solve 5*q + 2*f = 10, c*f - 14*f = -4*q - 20 for q.
0
Let z(w) = 4*w**2 + 82*w - 24. Let b be z(-21). Solve -19*s - 4*v = -b*s + 2, 0 = 4*v for s.
-2
Suppose 0 = 14*m - 17*m + 27. Suppose 0 = 6*p - m*p. Solve 5*r + p*r + 3*k = 10, 0 = -r - 5*k - 20 for r.
5
Suppose 0 = -c + 2*c + 3, -505 = 2*u + 3*c. Let m = -243 - u. Let j = 2 + -2. Solve n = -m*k - 15, 4*k + 12 = -j*n - 2*n for k.
-3
Let j = -69 - -71. Suppose i - 5*m + 46 = 0, -2*m = j*m - 20. Let a = 26 + i. Solve 4 = 2*x + s, -4*x + 3*s - a = -3 for x.
1
Let f be (304/(-44) - (-3)/(-33))*-1. Solve -5*k + 29 = -0*k - 4*b, 2*k + 3*b - f = 0 for k.
5
Let c = 0 + 1. Let v = c - -2. Suppose 13*k = 9*k + 4*n + 16, 4*k - 5*n - 16 = 0. Solve -v*o = 2*l - 8 + 19, k*l + 7 = -3*o for l.
2
Suppose -2*j = 27 - 49. Suppose 70 = -j*t + 202. Solve x = 4*c + t, 4*x - 4*c + c = 9 for x.
0
Suppose 324 - 225 = 9*s. Let w be -12*(20/(-6) - (-33)/s). Solve 0 = -2*m + 3*g - 10, 2*m + m = -5*g + w for m.
-2
Suppose -5*w + 3*b + 53 = 0, 0 = -3*w + 12*b - 14*b + 28. Let m be (6 - (-4 + w))*-1. Solve 5*v + 10 = -3*k, m*v = -3*v + 3 for k.
-5
Let w be 3 + 3 + (34/(-17) - -13). Solve -2*d = 5*q + w, q + 202 = 5*d + 177 for d.
4
Let w(g) be the first derivative of g**4/4 + 3*g**3 + 3*g**2 - 9*g + 13. Let i be w(-8). Suppose 4*j = i*j. Solve -z + r - 4 = 3*r, j = 2*z - 5*r - 1 for z.
-2
Let j = 1282 + -1280. Solve 0 = r - j*y + 4, y - 371 + 380 = -5*r for r.
-2
Let d(b) = 2*b**3 + 5*b**2 - 2*b + 7. Suppose 0 = 2*a + 3*c + 6, 3*a - 3 = 3*c - 12. Let y be d(a). Solve -3*h + 11 = -j + 1, -5*h + y*j = -26 for h.
2
Suppose -4*c + 4*f = -8, 23*f - 18*f = -2*c + 11. Solve u - c = -2*u + r, -15 = -5*r for u.
2
Let h be (-4)/(-30) - 133/(-15). Let u be (-620)/(-180) + (-4)/h. Solve -w - u + 1 = -2*k, 0 = -3*k + 2*w + 4 for k.
0
Let c = -34 - -51. Suppose -4*i + 9 = 2*t - c, 0 = -i + t - 1. Suppose 0*p + 2*y - 17 = -5*p, 0 = -p - 2*y + 5. Solve 3*k - p*u = 2 + 1, -6 = -i*k + 2*u for k.
2
Suppose -3186*y = -3167*y - 57. Solve -y*t - 3*r = -12, 2*t + 27*r - 29*r = 0 for t.
2
Let c = -6 + 10. Let u(b) = -b**3 + 3*b**2 - 5*b + 3. Let j be u(c). Let f = j + 36. Solve 0 = -a, -a = x + 2*a + f for x.
-3
Let g be 8/((-144)/(-6))*27*2. Solve -2*p - 3*b + 26 = 0, 19*p - g*p + 2 = b for p.
4
Suppose 23 = 5*k - 32. Suppose -17 + 27 = 3*h - s, -4*s = 5*h - k. Solve g - 3*p = 15, h*p + 14 = -1 for g.
0
Let n be (-1)/((2/2)/(-9)). Let m be (-27)/(351/(-182)) - -14. Suppose n*s = 2*s + m. Solve 5*d - 20 = -0*y - s*y, -4*d + 16 = 4*y for y.
0
Let g = -60 + 73. Suppose -14*c + 55 - g = 0. Solve 4*k + n = 8, -3*k + 2*n - c*n + 6 = 0 for k.
2
Let r(i) = -i**2 - 7*i - 7. Let d = -479 + 475. Let g be r(d). Solve -3*y = -5*k - 17, g*y - 15 = -7*k + 2*k for k.
-1
Suppose -d - d = -4. Let g(w) = 10*w**2 - 2*w + 1. Let j be g(1). Suppose j = -d*k + 17. Solve 7 = k*l - 6*x + x, 5*l + 4*x - 19 = 0 for l.
3
Let u = -18466 - -18466. Solve u = -4*m + 6*z - z + 17, -5*z = 5 for m.
3
Let w(p) = -5 + 1 - 1 + 10*p. Suppose -67*a - 6 = -73*a. Let v be w(a). Solve 4*m + 3*f = v + 2, 0 = 4*m - 4*f for m.
1
Let c = 622 + -333. Let q = c - 284. Solve -2*r + 2*k - 8 = r, -5*r = q*k + 30 for r.
-4
Suppose -717 - 747 = -4*f. Let p = 370 - f. Solve p = -2*y + 3*o, -y = -5*y + 4*o for y.
4
Let q(c) = -4*c**2 - 18*c - 3. Let k be q(-4). Let m = 1792 + -1787. Solve m*r - 25 = -b, r = k*b - 2*b + 5 for b.
0
Let x = -159 - -225. Let d be (16/6)/(44/x). Solve 2 = -c, d*c = -2*k + 3*c - 6 for k.
-2
Let o = -1905 - -1910. Let s be (-4)/3*(-9)/6. Solve h - s*r = 5*h + 6, -18 = h - o*r for h.
-3
Suppose -203*o + 205*o - 622 = 0. Let r = o - 306. Suppose -b = -0*b - 5. Solve r*d + 22 = n, -5*n - 35 = b*d + 5 for d.
-5
Let i be 50 - (2/(-3))/((-2)/(-9)). Let c = 113 - i. Let l = c - 56. Solve 8 = 4*a + 5*u + 38, -l*u - 3 = -a for a.
-5
Let f = -10 - -12. Let z(m) = -33*m + 957. Let o be z(29). Solve -2*x + f*a - 2 = 0, o*x - 5*x + 23 = 2*a for x.
3
Let b(k) = -69*k + 5. Let q be b(0). Solve q*c - 23 = -3*n, 3*n + c = -2*n + 9 for n.
1
Let k(s) = 3*s + 19. Let m be k(3). Suppose m + 17 = 9*x. Suppose -4*o = -x*o + 30. Solve 2 = -y, -2*t - 5*y = -7*t + o for t.
4
Suppose 3*x - 19 = -4*p, 2*x + 6*p - 4*p = 12. Let q be 29 + (0 - (1 - 0)). Solve -q = 5*i - 2*z + 3*z, x*i - z = -22 for i.
-5
Let m(n) = -3*n**3 - n**2 + 4*n - 7. Let c be m(-2). Solve 0 = 2*g + 5*y + 7 + 8, 15 = 4*g - c*y for g.
0
Suppose 0 = -h - 2*h - c + 172, 5*h - 298 = 4*c. Suppose -h*a + 62*a = 92. Suppose -4*p + 131 = a. Solve 0 = -3*q + 4*w - p, w - 7 = 3*q + 11 for q.
-5
Let y be -1 + (-3 - (-7 + 12/4)). Suppose 0 = -y*h - 3*h - 4*g + 4, -2*g = -4*h - 2. Solve -4*r + 16 = 4*v, 5*r + h*r - 10 = 0 for v.
