 5*t - 4 for t.
-1
Suppose -3*i + 16 + 29 = 0. Let t be ((-18)/i)/(12/30). Let a be t/(-9) - (8/(-12) - -1). Solve -5*h - 2*f - 12 = 12, a = -5*h + 5*f - 10 for h.
-4
Suppose 4*v - 49*v = -2582 - 388. Solve v*x - 70*x - 8 = -4*f, 4*x + 8 = -5*f for f.
0
Let y(j) = -3*j**2 + 20*j - 1. Let m be y(6). Suppose 0*i + m*i - 11 = 0. Solve 3*d = -5*g - i, 4*d - 6 = 3*g + 12 for g.
-2
Let j(i) = -5*i**3 - 8*i**2 - 4*i - 1. Let w be j(-2). Solve 0 = -5*s - 5*b, 14 = -b + w for s.
-1
Suppose -2*q - 68 = -12. Let c = q - -32. Suppose -c*b + 0*b = -76. Solve -4*r = 4*m - b - 9, 0 = -5*r + 15 for m.
4
Suppose 698*x - 92 = 696*x. Suppose 45*n - 2 = x*n, -3*n = b + 3. Solve 1 - 4 = -3*k - 4*m, 0 = -4*k + b*m + 29 for k.
5
Let d(p) = -p**3 + 9*p**2 - 5*p - 42. Let v be d(7). Suppose v*m + 23 = 22*m - 4*s, -4*m + 50 = 5*s. Solve b + f = 2*b + 1, -5*f - m = -b for b.
-5
Let h = 3434 - 3433. Let j(y) = 1 - 5*y + 1 - y**2 + 4*y. Let w be j(h). Solve 2*i = n + 2*n + 7, -3*i + 3*n + 9 = w for i.
2
Let c = -51 + 65. Let t(g) = -g**3 + 15*g**2 - 17*g - 5. Let v be t(c). Let u = v - -77. Solve 5*f + u = -11*a + 6*a, 0 = 5*f + 3*a + 26 for f.
-4
Let y(u) = -5*u + 97. Let l be y(14). Suppose 3*g = -4*n + 22, 5*n + 22*g = l*g + 45. Solve 3*x + 6 = 6*w - 2*w, -5*w + 4*x = -n for w.
3
Suppose -2*z + 30 = -5*p + 12, z = 2*p + 8. Suppose 4*t - u - 55 = 0, 0 = z*t - 3*t - u - 10. Solve 2*k - 5*y + t = 0, -3 = 2*k + y - 2*y for k.
0
Let o = -76 - -117. Let r be ((-76)/6 - 1)/(7/(-21)). Let j = r - o. Solve -2*g = 3*u - 0*u + 17, j = -4*g - u - 9 for g.
-1
Suppose p = 2*a - 4*a + 2, 5*p = 0. Let w(l) = l**3 - 6*l**2 + 5*l - 27. Let x be w(6). Let n = x - a. Solve 2*j = -5*q - 31, -2*q - 3*q = -n*j + 19 for q.
-5
Suppose -2*z = -5*p - 3, 5*p - 5*z = -4*z - 4. Let n be (-38)/(-9) + (4/18)/p. Solve 27 = v + y + n*y, 5*v = -3*y + 25 for v.
2
Let l = -1 + -2. Let w(k) be the third derivative of 5*k**4/24 + 3*k**3 + 16*k**2 - 12*k - 2. Let x be w(l). Solve 4*m - 3*m = -j, 0 = -x*j - m + 10 for j.
5
Suppose -318*j = -334*j + 80. Solve j*h + 5*m + 5 = 0, -4 = 4*h + 5*m - 1 for h.
-2
Let x = 636 - 634. Solve s + 13 = -4*h, 4*h - x*s + 11 = -s for h.
-3
Let h be 3*(-40)/60 - -22*1. Solve -27*q + a = -32*q - h, -4*a - 32 = 4*q for q.
-3
Suppose 19 = 12*o - 17. Let d be 18/(-4)*(-4)/9. Suppose d*r = -v + 7, v + 5 = -2*r + 4*r. Solve r*g = -o*s - 18, -22 = s + 5*g - 4 for s.
-3
Suppose 0 = 4*l - 3*l. Suppose l = -j - 2*j. Suppose 5*c = 0, j = 7*i - 3*i - 3*c. Solve -4*v - 2 - 2 = i, -5*v = k + 9 for k.
-4
Let w = -125 + 134. Let n(m) = 9*m - 79. Let a be n(w). Solve 2*l = -0*l - a*c - 12, c + 2 = 0 for l.
-4
Suppose -4*n - 16 = 4*i, -2*i = -n + 2 - 0. Let j be 9/(3 + 9/n). Let s be (-4)/6 - ((-32)/j - 6). Solve -o + 5*w + 2 + 10 = s, -o = -4*w - 9 for o.
-3
Suppose -25 = -5*f - 0. Suppose 11*r + f = 12*r. Solve 3*j = r*a + 13, -5*j + 11 - 2 = -2*a for j.
1
Let r(s) = s**2 - 13*s - 537. Let g be r(31). Solve -l = -3, -w = -6*w - 2*l + g for w.
3
Let s = -148 + 154. Suppose a - 5*d - 3 = 0, -s*a + a = d - 15. Solve -5*y + 12 = 4*i, -a*i + 3*y - 1 - 17 = 0 for i.
-2
Let n = 26 + -10. Suppose 344*z = 343*z - 2*d - 3, -4*z + 2*d + 18 = 0. Suppose -4*o = n, 3*k - o - 31 = z*o. Solve 10 = -k*g - 5*b, b + 16 = -3*g + 3*b for g.
-4
Let j = -310 - -325. Suppose j = -m + 5*p, -2 = 2*m - 5*p + 8. Solve z + 2*n - 6 = 2*z, -m = 5*z - 5*n for z.
4
Let f(n) = -5*n**2 + 22*n - 4. Let t be ((-66)/44)/(6/20) - -9. Let i be f(t). Solve -i + 24 = -2*d - 3*z, 2*z + 8 = 0 for d.
-4
Let i = -23 + 32. Let w = 90 - 54. Suppose 3*x - w = -i*x. Solve f - x = 3*u, u + 1 = 3*f - 8 for u.
0
Let j = 239 + -232. Suppose -h - j*o = -4*o - 4, -3*h + 12 = 2*o. Solve 0 = -u - h*t + 6, -2*u - 5*t + 1 = -4*u for u.
2
Suppose -482*n - 608 = -484*n. Let w = -299 + n. Solve 3*z - 2*y - 3 = 7, -2*y - 10 = w*z for z.
0
Suppose 4*v - 7*l - 49 = 3*v, -5*l - 2 = 4*v. Solve -2*t = -v*t - 5*s - 20, -3*t = s + 12 for t.
-4
Let m be ((-108)/72)/(-2*(-3)/(-72)). Suppose 3*z - m*z = -75. Solve 0 = d - 4*r, 4*d - 2*d = z*r - 3 for d.
-4
Let k = -193 - -216. Suppose -k + 10 = -c. Solve -g - 2*d - 7 = -0*g, -2*g - c = 3*d for g.
-5
Suppose -6 = -0*d + 3*d + 5*i, i + 9 = 2*d. Let a = -716 - -721. Solve -a*t - 19 = -4*l - 4*t, -5*l = d*t - 11 for l.
4
Let f(t) = t**2 + 78*t + 1516. Let v be f(-42). Solve -2*m + 3 = -11*y + 16*y, -1 = -5*y - v*m for y.
1
Let w = 5 - 3. Suppose 0 = 17*i - 21*i + 16. Let j be (i + -2 - 1)*4/2. Solve 14 = -4*x - j*y, -4*x + 4*y + w + 2 = 0 for x.
-2
Let l = -216 - -220. Suppose -l*g - 148 + 152 = 0. Solve -g - 7 = 4*t, 3*y + 23 = -4*t for y.
-5
Suppose -2*p + 2 = -2*w - w, 4*p - 10*w + 12 = 0. Solve -2*i - r = -p, -5*i - 5*r = -8 - 2 for i.
5
Let l = -99 - -101. Suppose 5*m = -3*p - 4, -p = 3*m - l*m. Suppose -5*g + p = -23. Solve g*j + 3*f + 20 = -0*f, -25 = 5*j + 4*f for j.
-1
Let x be 2 + -2*7/(168/(-36)). Solve 21 = 5*g + 31, -x*v + 2*g = -19 for v.
3
Let o be -2 + (9/(45/(-10)) - -3). Let z(v) = 8*v**2 + 5*v - 1. Let j be z(o). Solve 2 + 2 = 3*f - l, -j*f + 2*l + 4 = 0 for f.
1
Let s(c) = -2*c - 15 - 21 - 2 + c. Let q be s(-41). Solve 2*x - 40 = 4*t - q*x, 0 = 5*t - x + 29 for t.
-5
Let c = 17 + -71. Let z be 0 + 22 - c/9. Solve -s = 2*m - 8, 4*m - z = -7*s + 2*s for m.
2
Let u be 2/(2*2) - 4469/(-218). Suppose 8*m = -5 + u. Let w = -5 + 5. Solve -3*k + m*f - 1 = w, 4 = 2*f - 6 for k.
3
Suppose 0 = -a + 6 + 2. Let b = a + -4. Suppose -4*d = -5*g - 35, -g = -702*d + 707*d + 7. Solve d = -b*p - 2*l - 6, -2*p = 3*p + 5*l + 5 for p.
-2
Let b = 2434 - 2432. Solve -5*l = -5*s - b*l - 26, -4*l - 8 = 4*s for s.
-4
Suppose 17*h - 611 + 577 = 0. Solve -i - 28*g - 8 = -33*g, 9 = -h*i + 3*g for i.
-3
Suppose -25 = -5*a - 0*a. Suppose a = -r + 7. Let m be (-1 + 3)*18/12. Solve -m*c = -9, 4*c + 3 = -5*k + r*k for k.
-5
Suppose 119*b + 131*b - 27 = 241*b. Solve -3*h - 6 = 0, -b*l - 3*h = -5*h - 19 for l.
5
Let k(v) = 3*v**3 - v - 2. Let x be k(2). Suppose -46 - 39 + 112 = 9*b. Solve x = 4*p - b*r + 8, 4*r = 0 for p.
3
Let h = -123 + 220. Let f = h - 85. Suppose f*r = -0 - 0. Solve r = -4*u + z + 17, -4*u = -3*u - z - 8 for u.
3
Suppose -5*k + 196 = -2*u - 2*u, 0 = -u + 2*k - 46. Let d = u - -56. Suppose 20 = d*z + 2*z. Solve -2*p - 19 = z*c - 6, c = -3*p for c.
-3
Let b be 9/((-180)/(-16)) + (-2581)/(-5). Suppose -b*t = -522*t + 25. Solve m = 2*m - 3*s + 8, 0 = -5*m + t*s - 20 for m.
-2
Suppose 4*j - 16 = 0, -3*r + 5*j + 16 = -0*j. Suppose -2*w + 30 = -r. Solve w = -3*k - 3*p, -k - 9 = -0*k + 2*p for k.
-5
Suppose 0 = -6*u + 9*u - 1095. Suppose -k = 361 - u. Solve -14 = -3*c - x, -3*c - 13 + 2 = -k*x for c.
3
Suppose -26 + 11 = -5*v. Suppose 2*s + 7 = v*m, 3*m = 8*m + 2*s - 17. Solve -4*d - 2*y = 14, -m*d - 31 + 4 = -4*y for d.
-5
Suppose -19*n + 13 = -63. Solve 8*y - 3*y - i = 17, n*y - 28 = -4*i for y.
4
Suppose 432*h - 175 = 397*h. Solve -22 = 4*l - 18, -h*u = 4*l - 6 for u.
2
Let d be ((-38)/3)/((-52)/78). Solve -2*c - 5 = -w, d*c = 16*c for w.
5
Suppose 2*m + 43 = 9. Let b be (-3)/(7 - -2)*(m - 1). Suppose -11 = -b*u + 19. Solve -u*f - 37 + 11 = -4*v, 0 = -3*f - 3*v + 6 for f.
-2
Suppose 0 = 2*d + 29 - 31. Let m be (26 - 23) + (d - -4*1). Solve -5*u - 3*r - 31 = -7*r, -5*r + m = 4*u for u.
-3
Suppose 0 = -10*y + 3041 - 2861. Solve -2*j + 13 = -5*h, -4*h - y = -6 for j.
-1
Let h = -144 - -146. Suppose 4*m - 21 = -5*x, -2*x + x + 2*m - 7 = 0. Solve 6 = 2*t, h*q + 0*q - x = -3*t for q.
-4
Let r(y) = -y**2 + 19*y - 86. Let q be r(7). Suppose -9*l = -7*l + 16. Let t be (12/l - -2) + q/4. Solve -4*d - 2 = 2*o, -3 = o + d - t for o.
-5
Suppose 322*k = -6*k + 1968. Solve -o = -14*m + 17*m + k, -4*o + 18 = -2*m for m.
-3
Suppose -y - 21 = 58*y - 139. Solve 3*u - 4*u - 4*r = y, -3*r + 4 = -2*u for u.
-2
Suppose 16*n - 740 = 6*n. Let d = -62 + n. Solve -2*f + 4 = -j + 5, 0 = 4*f + d for j.
-5
Let s be (-4104)/(-798) + 1/(-7). Solve 158*r + 5*v + 3 = 161*r, -2*r = s*v - 27 for r.
6
Let a be 19 + (-5)/((-20)/(-16)). Let s(r) = 6*r**2 - r - 2. Let y be s(2). Let l = 24 - 21. Solve -l*g + g - a = -h, -3*g - y = -h for h.
5
Let o = 617 - 584. Let f(y) = -y**2 + 37*y - 132. Let a be f(o). Solve -c + 4*c - 12 = -2*k, -c - k + 4 = a for c.
4
Let c(d) = 9*d**3 + 161*d**2 - 18*d + 3. Let k be c(-18). Solve 3*z - 2*m = 8, 0 = -6*z + 2*z - k