2*i - 3*t = 0 for i.
0
Let x be ((-51)/(-34))/((-2)/(-4)). Solve -2*r - 3*z - 12 = x, -4*z - 20 = -3*r for r.
0
Suppose 2*z - 28 = -5*w + 5*z, -5*z - 30 = -5*w. Let t(r) = 2*r + 41. Let q be t(-14). Suppose w*v - 28 = -q. Solve -v*s = -3*b - 12, -s + 1 - 7 = 4*b for b.
-2
Suppose 18 = -3*y + 21. Solve -40 = -4*o + 5*s, 2 = -o - 2*s - y for o.
5
Let y(j) = j**3 - 7*j**2 + 7*j - 3. Let d = -59 - -65. Let t be y(d). Solve p = 5*r - 20, 0 = -p + r - t*r + 15 for p.
5
Let i = -15 + 36. Suppose -3*w = -2*t + i, 0 = 2*t - 7*t + w + 20. Suppose 3*m = -t*z + 6, -2*m - 3*z + 2 = -2. Solve -4*x = m*y - 16, 2*y + 8 - 3 = 3*x for x.
3
Let c(k) = 2*k + 28. Let t be c(-9). Solve 0 = 3*x + 4*j + 29, -t*j = -8*j + 10 for x.
-3
Let v = -1406 + 1411. Solve 1 = z + v*h + 2, 4*h = -4 for z.
4
Suppose 0 = 2*q + 3*q - 30. Suppose q*h - 5*h = 5. Solve -4*p = -h*m + 21, 3*m + 0*p = -5*p + 20 for m.
5
Let t(m) = -m + 5. Let f = 8 - 4. Let w be t(f). Solve w = r, 4*r - 14 = 3*i - r for i.
-3
Let p = 25 + -32. Let b be (-10)/(-7) - 4/p. Solve b*v = -4*a + v, 0 = 4*a - 5*v + 24 for a.
-1
Let u = -29 - -10. Let k = u - -24. Solve 2*v - k*d + 8 + 15 = 0, -2 = 2*v + 2*d for v.
-4
Suppose -81 + 101 = 4*d. Solve -d*s + 2*s = 12, 6 = -2*y - 2*s for y.
1
Let v(f) = f + 33. Let d be v(-10). Suppose -d*u = -27*u + 12. Solve m = -3*x - 5, -u*x = 3*m + 2*m + 13 for m.
-2
Let v = -224 - -226. Solve 15 = 5*a - 5*h, 2*h = -v*h - 16 for a.
-1
Let t be 12 + 1 + (-7 - 0). Let d(i) = -i**2 + 5*i + 8. Let x = -4 - -10. Let f be d(x). Solve -5*m = 2*j - 3, 2*m + 0*m - t = -f*j for j.
4
Suppose -3*x - 19 = -3*n - 7, n + 2*x = -11. Let z(a) = 7*a**2. Let t be z(n). Suppose t*r = 9*r. Solve c - 3*f + 7 = r, c - 4*f + 14 = 2*c for c.
2
Suppose -5*c + 6 + 9 = 0. Suppose 7*r = 8*r - 51. Suppose -16*w + 13*w = -r. Solve -5*p + a + w = -a, -4*p = c*a - 32 for p.
5
Let s(f) = -f**3 - 8*f**2 - 2*f - 10. Let j be s(-8). Solve 4*h - j = -y + h, -y = -5*h + 18 for y.
-3
Let g = 16 + -8. Suppose -o = 5*q - g, -6*o + o + 5*q - 20 = 0. Let p be 1/o - 22/(-4). Solve 2*y = p*i - 18 - 12, -2*i = y - 3 for i.
4
Suppose 0 = -5*j - w + 5, 2 = j + w - 3. Solve 3*c + j*c - 3*y = 12, -4 = -2*c + y for c.
0
Suppose -5*o = -13 - 12, o - 15 = -2*t. Suppose -t*r - 1 = -2*m, -3*m - 4*r + 14 - 1 = 0. Solve q + 2*l = 1, l = 3*q - 7*q - m for q.
-1
Let y be (-8 + 0)/(-1) - (2 + 1). Suppose -60 = -5*b - y*b. Solve -q = 4*v - 22, b = -5*q + 4*v - 4 for q.
2
Let m(l) = -l**3 + l - 1. Let b be m(-2). Suppose -47 = 5*u - 137. Suppose -u = -5*w + 22. Solve 4*s + 5*n + 2 = w, -n = b*s + 3 for s.
-1
Let l be 48/9 + (-5)/15. Suppose 5 = -l*k - 3*q, 5*q - q = k - 22. Solve -5 = x + j, -k*x = 2*j - j + 5 for x.
0
Let n = -72 - -132. Let l = n + -57. Solve 0 = -5*a + l*p - 2, 0 = -2*a - 3*a - 4*p - 9 for a.
-1
Let y = 610 - 608. Solve 0 = -y*t + n - 6, -2*t - 2*n - 13 = -t for t.
-5
Let f(j) = -j**3 - 19*j**2 + 17*j - 25. Let l be f(-20). Solve -3*d = 2*i - 25, -d - d - 5*i = -l for d.
5
Let b = 1336 + -1336. Let c(h) = -h**3 - 9*h**2 - 2*h - 2. Let t be c(-9). Solve -3*l - 3*z + 9 = 0, b = -l + 5*z - t - 5 for l.
-1
Let k(w) = -w + 16. Let n be k(8). Suppose 0 = 7*u - n*u + 36. Let a be (u/(-21))/((-8)/84). Solve -5*q + 0*j = j, -3*j = -3*q + a for q.
1
Let d be (-3)/(-1) + (5 - (-3 + 3)). Solve -33 = 5*m - 3*i - 13, 0 = 2*m + 4*i + d for m.
-4
Suppose -5*p + 12 = -2*p. Let b be -1*(1 - 3) + 3. Suppose -3*t = -3*r, 5*r - 13 = 2. Solve 0 = -t*j + b*a + 3, -p*j + 4*a = -j for j.
-4
Suppose -1 = 5*s - 2*b, -3*s + 0 + 12 = 3*b. Let t = s + 2. Suppose -4*x - 2 = -2*v - v, -x - 7 = -4*v. Solve v*c = t*q - 3, 3*c + q = -5 + 17 for c.
3
Suppose 4*h + 0*h + 3*m - 28 = 0, -32 = -5*h - 3*m. Suppose -8*n + h*n = -8. Solve 2*v + 5*p - n*p = -4, -4*v - 3*p + 4 = 0 for v.
4
Let g = 8 - 10. Let f be g - (-2 - 2 - 2). Solve -f*n - 4*w = 8, 4*n + 13 = -6*w + w for n.
3
Suppose 2*d = c + 17, 9*d = 6*d - 4*c - 2. Solve -2*l + 2*v - 6 = -0*v, d = l + 2*v for l.
0
Let r = -22 - -30. Suppose 4*f = 5*f - r. Solve -2*h - 2*h = m + 20, -f = -3*h + 5*m for h.
-4
Suppose -4*j - 9 - 23 = -4*z, -3*z + 24 = -5*j. Solve -o - 8 = 5*x, 0 = x - 0*x - 3*o + z for x.
-2
Let o = -9 - -29. Suppose o = 4*q + 8. Solve 6 = -p + 5*u, -4*u + q + 1 = 0 for p.
-1
Suppose 3*o = -5*n + 33 + 10, 2*o - 2 = 0. Solve 7 = -x - 3*m, 3*x = -5*m - 9 - n for x.
-4
Let c = -68 + 140. Suppose t - 77 = -c. Let r be (-23)/(-7) - (-2)/(-7). Solve 9 = 2*o - t*w, 2*o = -r*o + 5*w for o.
-3
Suppose c + 2*k - 2 = -0, 3*c = -5*k + 7. Solve -35 = -5*y + p - 4*p, -2*p = -c*y + 6 for y.
4
Let m(s) = 4*s**3 - s**2 - 1. Let n be m(1). Solve -3*r = -j - 1 + 18, -n*r - 4*j - 2 = 0 for r.
-5
Let m = -1242 + 1266. Solve -5*j - 2*z - 3 = 0, -5*z + 7 = 3*j + m for j.
1
Let b(u) = -u**3 - 61*u**2 - 330*u + 5. Let a be b(-55). Solve v + 4*v - a*l = 0, -l = 3*v - 16 for v.
4
Suppose -o + 21 = 6*o. Let t be 10/(o + -5 + 4). Solve 4*x = -x, 3*x = t*s - 15 for s.
3
Suppose -62*d = -58*d - 56. Solve -i - d = -5*z, 0 = 5*z + 6*i - 3*i + 2 for z.
2
Suppose -88 = o - 9*o. Solve 2*r = -3*z - o, -2*z + 0*z = -4*r + 18 for r.
2
Suppose -34 - 14 = -6*g. Suppose 7*m = g*m. Solve -3*f + 12 = 0, -3*f + 7 = -5*s - m for s.
1
Let s be (1/(-2))/(6/4452). Let d be (-4)/(-22) + s/(-77). Suppose -d*y - 3*m + 16 = -m, -5*y + 19 = 3*m. Solve 4*o + 26 = -y*l, -4*o + 8 - 24 = 0 for l.
-5
Let k = -5 + 7. Let h = 0 + 4. Suppose 3*n = -0*n + 4*i - 12, -n - h*i + 12 = 0. Solve -j + 3*d = j, 4*j - k*d - 8 = n for j.
3
Let t = -2 + 5. Let u = 3 - t. Let h be (-299)/(-23) - (-1 + u). Solve -h = -2*z + 2*y, y + 0*y = -5 for z.
2
Let i(m) = 7*m + 70. Let q be i(-10). Solve 2*r - n + 4 = 0, n + q*n - 4 = r for r.
0
Suppose 5*i + 24 = 3*i + 3*u, 2*i = -3*u - 12. Let r = i + -31. Let t be 128/r*5/(-2). Solve -5*c = 4*m + t, 3*c - 3 + 11 = -4*m for c.
0
Suppose 13 = -3*t - 4*j, -3*j - 16 = 3*t - 7. Let g = t + 5. Let a(y) = y**2 - 5*y + 4. Let n be a(g). Solve 5*z = -5*d + n, 5*d - z + 4 = -10 for d.
-2
Let s = -253 - -256. Solve t = 3, -18 = -2*b - b - s*t for b.
3
Let q = -3 - -5. Let w(z) = 1 + 4 - z - 2 + z**q + 2*z. Let g be w(-4). Solve g = -k + 4*n, -30 = 3*k - 8*k - n for k.
5
Let k = 2554 - 2552. Solve 3*a = 2*h - 17, h = k*a + 2*h + 2 for a.
-3
Let q(g) = -7*g - 170. Let x be q(-26). Suppose 42 = -z + 4*z. Suppose z*f - 17*f = -x. Solve 4*n = -f*a + 2*a + 28, 4*a - 41 = -5*n for n.
5
Let a(w) = -18*w - 18. Let s = -2 - 7. Let q be a(s). Let d be (q/4)/4 + -3. Solve 2*f + 2*l = -2, f + 25 = d*f - 5*l for f.
2
Suppose 9 = u - 100. Let t = u - 92. Solve -b - b = 3*i + t, -4*b - 19 = 3*i for i.
-5
Suppose 16*g = 30 + 2. Solve -3*s = -4*i - i - 3, 0 = -3*i + 2*s - g for i.
0
Suppose 7*m + m = 32. Suppose -m*r = 3*j - 5, -3*j + 2*j + 1 = r. Solve 0 = -4*v + c + 8 + 4, -3*v + 9 = r*c for v.
3
Suppose -4*r - 4*s - 13 + 53 = 0, -4*r = 2*s - 32. Suppose -2 = z - r. Solve q - 3 = 2*w + 4*q, -5*w + 4*q = -z for w.
0
Suppose 4*h - 10 = 6. Suppose 3*a + 3 = -r + 6*r, 3*a = h*r. Solve -2*t - 27 = 5*w, -a*t = -w - 3*w - 16 for t.
-1
Let f = -1718 - -1723. Solve i = -5*o + 10, 15 - f = 5*o for i.
0
Let d(x) = -26*x + 658. Let s be d(25). Solve -4*f + 23 - s = -b, b = -3*f + 20 for b.
5
Let i = -1262 - -1278. Solve -m + 2*j = 8, -5*j + 4 + i = -4*m for m.
0
Suppose 2338*b = 2329*b + 63. Solve 3*z + 2*q + b = 2, -5*z = q + 20 for z.
-5
Let n = -1223 + 1227. Solve -5*b - 7 = -y, -4 = 4*b + n for y.
-3
Suppose -4*d - 42 = -o, -110 = -3*o + d + 3*d. Suppose 0 = 5*c + 9 - o. Suppose -c*h = -8*h. Solve 2*q + b = 3, 5*q - 3*q + 2*b = h for q.
3
Suppose 2*n - 14 = u, -n - 5*u = -0*n + 15. Suppose -n - 16 = -3*q. Solve 4*j - q = -f - 27, -5*j = 20 for f.
-4
Suppose -2*n + n = -2*s + 8, -14 = -3*s + 2*n. Solve -t - 5*l = s*t - 21, 0 = -4*t + 5*l - 7 for t.
2
Let g(l) be the first derivative of l**4/4 + l**3 + l**2/2 + 5*l - 24. Let x be g(-3). Solve 4*z + 32 = 4*w, 1 = w - 2*w - x*z for w.
5
Suppose 0 = 5*c - c - 12. Suppose -t - c = -6. Let m be 2 + 4 - (-2)/(-1). Solve -4*r = -m*h - 8, 13 = -t*h - r - 1 for h.
-4
Suppose -3*v + 3*q = -30, 0 = v - 5*v + 5*q + 37. Solve -5*t + 31 = 5*n + 1, -2*n = 3*t - v for t.
1
Let i(s) = 3*s**2 - 19*s - 13. Let g be i(8). Solve 3*x - 4*u + 0 = -1, -3*x - 3*u = -g for x.
5
Let i = 21 - 14. Let g(t) = 1 - 11 - 11*t + t**3 - 4*t