23 for t.
-2
Let k = 5864 - 5862. Solve k*p - q + 3*q + 14 = 0, -23 = 5*p - q for p.
-5
Let w = 4786 - 4782. Solve 4*p + w*m = 3*m + 12, -4*m + 6 = 2*p for p.
3
Suppose -2326 = -668*d + 1395 - 1049. Solve 113*q + 2*v = 109*q + 26, -2*q = -2*v - d for q.
5
Let r = -7918 + 7920. Solve -6*f + x = -r*f - 2, -10 = 2*f + 5*x for f.
0
Let v(r) = r**2 - 2*r - 95. Suppose -167*i + 162*i - 45 = 0. Let b be v(i). Solve -3*z + 6 + 3 = a, 0 = b*z - a - 12 for z.
3
Let f be 20/(-80) - (-2)/8. Suppose 0*j + 3*j + 9 = f. Let v be (j/(-6))/((-1)/(-8) + 0). Solve -2*m = 5*a + 2*m + 8, v = -4*a - 4*m for a.
-4
Suppose -5*o = 4*j + 31 - 59, 0 = -3*j - 3*o + 24. Suppose -y - 3*y + j = 0, -2*y - 3 = -3*u. Solve u*x + 12 = 0, -3*x - 4 = -2*h + 8 for h.
0
Let u(f) = 17*f + 70. Let o(r) = -r**3 - 7*r**2 - 11*r - 8. Let z be o(-5). Let j be u(z). Solve 5*c - 5*y = 5, 4*y = 7 - j for c.
-2
Let k be ((22/(-4))/(-1))/((-1)/(-2)). Let a(x) = 58*x - 10. Let m be a(-5). Let g be 3/9*m/(-4). Solve 5*h - g = -2*z, k + 12 = h + 4*z for h.
3
Let h = 11 + 6. Let i = -962 + 950. Let x = h + i. Solve 4*a - 19 = x*p + 1, p + 4 = a for a.
0
Let z be 11*6/154 - (-15)/(-35). Solve 3*g + 5*n = -16, z*g = 5*g - 5*n for g.
-2
Let c = -56 - -56. Let m be (10 + c)/1 - 6. Solve -m*o = 3*u - 4 - 11, -5*u + 5*o = 10 for u.
1
Let c be (-15)/135 + (-410)/(-45). Solve 2*y = 4*m + 16, -c*y = 2*m - 4*y + 20 for m.
-5
Let g(i) = -76*i**3 - i**2 - 2*i - 1. Let h be g(-1). Let s be (4/((-16)/h))/1. Let z = s - -19. Solve z = -q + 5 - 1, v + q - 3 = 0 for v.
-1
Suppose -8*j = 8, -2*i + 37*j = 39*j - 26. Solve -4*h + 13*p - 12*p = -2, -4*h - 5*p = -i for h.
1
Suppose b = -3*b + 8. Suppose j = b + 11. Suppose 4*l = -3*k + 41, k = 3*l - 15 - 6. Solve j + l = 5*s + f, 3*s - 23 = 2*f for s.
5
Let t = -6486 - -6486. Solve t = 5*c + 5*y + 10, 2*c - 17 = -3*y - 24 for c.
1
Let f(b) = 19 - 5*b + 14*b + 5*b - b**2 + b. Let u be f(16). Solve u*y + 5*n + 4 = -5, -6 = 2*y + 5*n for y.
-3
Suppose -590 = -44*l - 15*l. Solve 5*i + p = -l, 0*i - 5*i + 20 = -5*p for i.
-1
Let c be (182/8)/(5/20). Let y = 91 - c. Solve 0 = 4*k + 2*w, w = 3*k - y*w for k.
0
Suppose -5*m - 358*p = -357*p - 30, -5 = 4*m - 5*p. Solve 0 = -5*z - k - 1, 99*z = 96*z - 5*k - m for z.
0
Let g(n) = n**3 + 23*n**2 - 3*n - 21. Let s be g(-23). Suppose -s*f + 20*f = 0. Solve 13 = -t - 3*u, -5*t + f*u + 5*u = -15 for t.
-1
Let h(p) = 2*p - 30. Let k be h(13). Let w be (5 + -2)/(-6) + 14/k. Let u be 14 - (w/6)/(4/18). Solve 4*o = -2*y + y + u, -y = -4*o + 23 for y.
-3
Suppose -13*o + 16*o - 12 = 0. Suppose -o*z - 11 = -2*v - 3, 2*v = 3*z + 10. Solve 5*d + 7 + v = 4*g, -4*g + 16 = -4*d for g.
5
Let j be ((-912)/(-40))/19 - (-42)/(-35). Solve -2*y + 73*n - 5 = 68*n, 3*y - n - 12 = j for y.
5
Let b = -3557 - -3559. Solve -22 = 3*a + 2*w, b*a = 3*w - w + 2 for a.
-4
Suppose 126 = -40*h + 47*h. Suppose 3*q - 72 = -h. Solve 3*f = -3*r + q, 0 = -4*f + 5 + 7 for r.
3
Let v = 26661 + -26659. Solve -4*u + 3*p + 219 = 212, -4*u - v*p + 2 = 0 for u.
1
Suppose 3*s - 117 = 3*o, 7*s = 2*s - 15. Let y be (10/(-14))/(o/294). Solve 1 = 5*d + y*j + 6, -3*d + 37 = -5*j for d.
4
Let g(i) = -11*i + 7. Let j be g(3). Let o = -18 - j. Let q = 8 - o. Solve w - 6*h + 2*h + 9 = q, -13 = 3*w - 5*h for w.
-1
Suppose -62 = -3*i + 5*i. Let r = i - -35. Suppose -5 = 2*d - 5*n - 1, r*d + n - 14 = 0. Solve -d*u + 2*q = -0*u + 18, -4*u = 2*q + 10 for u.
-4
Suppose -2*k = 3*n - 11, k + 3 - 1 = 0. Solve -2*f = x + 91 - 95, 0 = n*x + 5*f - 5 for x.
-2
Let s = 3145 + -3142. Solve 3*y + 6*n = s*n + 3, 3*n + 29 = 5*y for y.
4
Suppose 0 = q - 4*q + 2*o + 19, -4*o = 8. Solve 3*r - 3*w + 7*w = 0, -q*r = 2*w for r.
0
Suppose 3*w - 13 = -5*z - 0, 0 = -3*z + 4*w + 2. Suppose 13*c - 139 + 87 = 0. Solve 11 = -c*u + z*v - v, -11 = u - 3*v for u.
-2
Let m(v) = 50*v + 1166. Let t be m(-23). Solve 0 = -5*r + 3*y - t, 16*y = 19*y - 6 for r.
-2
Suppose -3*u = -51 - 132. Let w(n) = 114*n - 743. Let z be w(6). Let b = z + u. Solve 0 = -3*m - b*k + 18, 5*k = 4*m + 1 - 2 for m.
4
Let y be -2 + 6/2 + -5 + 5. Let f(j) = -j**2. Let q be f(y). Let n(o) = -4*o**3 + 3*o**2 - 2. Let i be n(q). Solve 4*s - 5 = 4*t - 33, 0 = 5*s + t + i for s.
-2
Let m be (-18)/(-2 + 5) + 176. Let s = 175 - m. Suppose -j + 2*j - 5 = 0. Solve 0*l - q = -2*l - 3, j*l = s*q for l.
-3
Let c(t) = t**2 - 25*t - 20. Let j(l) = l**3 - 5*l**2 + 8*l - 14. Let r be j(5). Let f be c(r). Solve 0 = -y - 3*a - a + f, -4*a + 8 = 2*y for y.
2
Suppose -15 = -b - w, 6*w = -3*b + 4*w + 48. Let p be 44*(12/(-4))/(-6). Let n = p - b. Solve -5*c = -3*r + 2, -n*r = -c - 5 - 9 for r.
4
Let v = 66 - 60. Suppose -v*o = 6*o + 7*o. Solve o = 3*n + 5*m + 10, 0 = 5*n - m - m + 27 for n.
-5
Let j = 25 + -23. Let n be 1 + -2 + 12/j. Solve 0 = -4*s - 2*k - 8, 3*s - n = 2*k + 3 for s.
0
Let b(t) = -t**3 + 13*t**2 - 16*t + 30. Let j be b(12). Let m = j - -23. Let i be m/((-55)/(-2)) + 4/(-22). Solve -5*c + 4*v = 5, i = 5*c - 2*v + v - 10 for c.
3
Let s = -615 - -609. Let i be 7 - (6 - 3) - (-6)/s. Solve -i*z = 5*t + 22, -7*z = -2*z - t - 10 for z.
1
Suppose 0 = -3*g - 3, -335 = 4*x + g - 2*g. Let i = 89 + x. Solve 5*z - 25 = i*t, -t = -0*t + 4*z for t.
-4
Let s(u) = 4*u**3 + u**2 - 2*u. Let c be s(0). Solve c = 11*a - 7*a + 2*p - 6, -5*a - 5*p + 10 = 0 for a.
1
Let q(l) = -l + 10. Let s be q(10). Suppose -5*n - 6*n = -11. Suppose n = 3*w - 59. Solve 5*m = 5*c + w, -4*c + m - 4 = -s*c for c.
0
Let i(s) = s**3 - 4*s**2 - 18*s + 40. Let a be i(6). Solve 0 = a*d + 4*l - 36, -4*d - 2 = -2*d - 2*l for d.
4
Let y(n) = -3*n**3 + 42*n**2 + 91*n + 4. Let u be y(-2). Solve -2*z = 2*b + 3*z + u, 5*b + 4*z = -18 for b.
-2
Let s = -522 - -528. Suppose s*g - 27 + 3 = 0. Solve -l = 6*h - h + 23, 0 = 2*l - g for h.
-5
Let c = -164 - -170. Let g be (-15)/4*(1 - -3). Let l be (-9 - g)*(2 - 8/c). Solve 15 = 4*f - 1, -2*f + 12 = l*w for w.
1
Let y(l) = l**2 + 280*l + 5697. Let i be y(-22). Solve 5*p + 2*o = -14 - 4, -4*p - i = -5*o for p.
-4
Let c be 80/360 - (1 - (-196)/(-9)). Suppose 6*k = 15 + 15. Solve x - 2*b = -6*b + c, k*x + 4*b = 25 for x.
1
Let b(y) = y**2 - 13*y - 42. Let s = -89 - -106. Let c be b(s). Let k = 46 - c. Solve k = -o - 0*w + 5*w, 4*o - 5*w + 35 = 0 for o.
-5
Let i be 1 + 0/2 + -1. Suppose i = g + g. Let y be 12 + -18*16/32. Solve -k + 4*k - 24 = y*m, 2*k - m - 12 = g for k.
4
Let y(b) = -6*b**2 - 380*b - 124. Let s be y(-63). Solve 1 + 32 = s*c - 5*d, 0 = 4*c + 4*d + 4 for c.
4
Suppose -3*j - 2*j = 10. Let k be (-3)/12*j*10. Suppose -101*b - 2*c + 8 = -105*b, 5*b = 2*c - 8. Solve -k = 5*s - b, 5*s - 10 = -3*t for t.
5
Suppose 8*v - 41 + 9 = 0. Let c be (-111)/(-9) + -3 + v/6. Solve c + 7 = 2*x + 5*j, -3*x - 3*j + 12 = 0 for x.
1
Suppose -93 = -q - 185. Let s = 103 + q. Solve -u + 7 + s = -4*n, 0 = u - 2 for n.
-4
Let c(k) = k**3 - 10*k**2 - 38*k - 13. Let h be c(13). Suppose -4*b - 4*t + 24 = -h*b, 4*b - 3*t - 45 = 0. Solve 29 = -5*x - g, -x - g + 0*g = b for x.
-5
Let w = 51 - 47. Let v be (-4)/7 + 660/77. Suppose 8 + 0 = v*b. Solve -5*g - w*j + 3 = 0, -20 = -4*g + 3*j + b for g.
3
Let y = 236 - 226. Let f be -7 + 5 + -3 + y. Solve 3*w - 1 = 5*m, 3*w + m = f*m + 2 for w.
2
Let a(p) = p**3 - p**2 - 4*p + 1. Let y be a(3). Let x be ((-4)/(-6))/(-6 + 8) + 16/6. Solve -x*h + 21 = 3*w, -3*h = w - 24 + y for h.
5
Suppose -5*v + 0*c + 25 = -5*c, -c = -3*v + 17. Solve 2*h - a - 4 = -6*a, v = 3*h + a for h.
2
Let v be (3/(-5))/(8/(-40)). Let t(z) = -44*z + 50. Let o be t(-5). Let q be o/(-12)*(2 + 8/(-3)). Solve -3*x = -v*l + q, 5*l - 8 = x + l for x.
-4
Let r = 13150 + -13136. Solve 4*y - 6*c + r = -8*c, 0 = 5*y + 3*c + 16 for y.
-5
Let s(d) = -6*d + 23. Let j(c) = 29*c - 116. Let h(i) = -2*j(i) - 11*s(i). Let w be h(3). Solve w*x + 3*o = 9, o + 2 = 2*x + 5*o for x.
5
Let d(k) = -4*k - 240. Let r be d(-61). Solve 7*u = 3*m + 9*u + 1, -r*m + 2*u + 8 = 0 for m.
1
Suppose 4*z + 2*s = 22, -7 = -9*z + 10*z - 2*s. Let y(h) = h**3 - 4*h**2 + h + 6. Let u be y(z). Solve 4*p = -20, -f + 3*p + 10 + 0 = u for f.
-5
Let o(h) = -12*h - 43. Let q be o(-4). Let w be (16/(-60)*27)/((-2)/q). Solve -w = 5*g + 3*s + 8, -g = 3*s + 10 for g.
-4
Let m = -642 - -674. Suppose -5 + 21 = -4*g, -4*r + 2*g = -m. Solve 0 = -5*d + 15, 5*l - r*d + d + 30 = 0 for l.
-3
Suppose 3*m - 77 = y, 4*y = -7*m