-4*t + o + 8 = 0, t + 0*o = 2*o + 9. Let b be -3*(2 - t) - -3. Suppose 4*y - 3 - 1 = b. Solve -s - 2 = y for s.
-3
Let s = -1357 - -1361. Solve -s*n + 31 = 11 for n.
5
Suppose 3*s - 28 = -13. Solve s*t + 2 = 3*t for t.
-1
Let k be (-230)/(-15) + (-2)/6. Let y be (-56)/32 + (-1)/4 - -10. Solve -3*w = -y*w + k for w.
3
Suppose 0*m = -2*m + 5*f + 14, 0 = 4*m - 2*f - 12. Suppose t + 20 = m*t. Suppose 0 = -4*d + 10 - 26, -5*c + d + 29 = 0. Solve 0*q + t = c*q for q.
4
Let u = -133 - -141. Suppose 7*t - 2*t = 0. Solve k + k - u = t for k.
4
Suppose -3*o + 11 = 2*m, -m = 5*o - 6 - 3. Solve 18 = -10*a + m*a for a.
-3
Let z(q) = -7*q - 9. Let i be z(-7). Let o be i*(52/(-20) - -3). Solve -2*f + o = -6*f for f.
-4
Let v be 4/(0 + -4) - -9. Suppose -v - 8 = -8*f. Solve l - 15 = -f*l for l.
5
Let s = 2882 + -2808. Solve -9 + s = 13*w for w.
5
Suppose -2*j + 10 = 0, 0*a - 4*a + 57 = 5*j. Solve a*c + 16 = 40 for c.
3
Suppose 0 = t + t. Let i be 89/(-6) - (-8)/(-48). Let u be (i/5)/(-9)*0. Solve t*o + 4*o - 12 = u for o.
3
Let l be 70/((-8)/36 - (-20)/9). Solve l = -8*c - 5 for c.
-5
Suppose -z + 37 = 2*o, 2*o - 3*z = 3*o - 16. Solve 10*v + 21 = -o for v.
-4
Suppose -17 - 13 = 3*r. Let h = r + 15. Solve 0 = -5*c - 20 - h for c.
-5
Suppose 4*w - 8 = -0. Suppose 2*x - 44 = -5*g - w*x, 2*x = -g + 10. Suppose z + 1 - 5 = 0. Solve 0*p = z*p - g for p.
2
Suppose 0 = 3*z + j - 55 - 87, 4*z - 4*j = 200. Suppose -z = -m - 5*m. Solve -o = o + m for o.
-4
Let z(u) = u**3 + 7*u**2 + 12*u + 92. Let v be z(-7). Solve 0 = -v*l + 22 - 14 for l.
1
Let j be (-2 - -6)*(-12)/(-2). Let d = -261 - -241. Let k = d + j. Solve v = -0*v + k for v.
4
Let z = 108 + -56. Suppose -7*v + 136 = z. Suppose 38 = 2*d + v. Solve 5*l - 2 = d for l.
3
Let m(u) = u**2 - 2*u + 9. Let k be m(0). Let o(a) = a**3 - 10*a**2 + 10*a - 3. Let p be o(k). Solve 7*l = 4*l + p for l.
2
Let p(y) = y**3 - 32*y**2 + 32*y - 21. Let z be p(31). Solve 0 = 2*w + 6 - z for w.
2
Suppose 2 + 6 = 8*h. Let b be 3/8*8*h. Solve -q + 0 + b = 0 for q.
3
Let l = 13 + -13. Suppose 0 = 5*v - q - 75, -30 = -v - v - 2*q. Suppose -3*b = a + 9, -4*a + 5*a - b = 7. Solve -a*g = -l*g + v for g.
-5
Let u(s) = s**2 + 4*s - 15. Let o be u(-7). Let b be (-333)/(-54) + (-1)/o. Suppose b = 7*d - 4*d. Solve -d = w + w for w.
-1
Let c(u) = u**3 - 27*u**2 + 25*u + 68. Let y be c(26). Solve -y*q = -38*q - 4 for q.
1
Let s be (9/(-3) - -2)/(1/(-5)). Suppose 4*f - 16 = -2*q + 2*f, -s*f + 15 = 0. Solve 0 = -q*o + 3*o - 6 for o.
-3
Let p(r) = -r**2 + 4*r + 1. Let u be p(4). Let y = u + 8. Let h = y - 2. Solve -5*l + 3 = -h for l.
2
Let f(g) = -g**3 - 7*g**2 - g - 5. Let m be f(-7). Suppose m = t - 0. Suppose -u = -5*z + 39, -z = -t*z + 2*u + 6. Solve -3*h = -z*h + 5 for h.
1
Let n = 718 + -709. Let b be (-4)/2 + (4 - 2). Let o = 1 - b. Solve n = -2*d + o for d.
-4
Let l be (80/15)/((-3)/(-18)). Solve p - 9*p - l = 0 for p.
-4
Let v be -1 + 78 + 3 - 11. Solve 73 = 2*w + v for w.
2
Let j(s) = s**2 - 11*s + 2. Let v be j(11). Let m(p) = -3*p + p**2 + p - 2 + 0*p**2 + 4. Let r be m(3). Solve -8 - v = -r*g for g.
2
Suppose -4 = -3*j - 1. Let r be 5/(j + 3/(-6)). Let w be (-4)/5*(-75)/r. Solve 4 = 2*k - w*k for k.
-1
Suppose c - 6 = 3. Solve -7 = 4*k + c for k.
-4
Suppose 0 = -3*y + 3*n - 18, -2*y - 4*n = 3*y + 75. Let k be (-90)/y + (-8)/44. Solve 0*b - k = 2*b for b.
-4
Let h(i) = -14*i - i**2 - i**2 - 6 + i**3 + 10*i - 3*i**2. Let x be h(6). Suppose x = 5*o + o. Solve -t + 1 = -o for t.
2
Let c = 65 - -9. Let x = c + -74. Solve x = -4*w - 16 - 4 for w.
-5
Let v be 2/(-1*4/(-4)*1). Solve -9 = v*j - 13 for j.
2
Let y be 10/6*(10 - -2) - 3. Let i = y + -17. Solve -3*d + d - 10 = i for d.
-5
Suppose 4*z - 78 = -2*b, 2*z = -46*b + 50*b + 24. Solve -4*t - 10 + z = 0 for t.
2
Let l be (20/(-15))/((-8)/78). Solve 4 = l*g + 4 for g.
0
Let p be ((-6)/(-1))/((-84)/56). Let s be 5 + 2 + p + 4. Solve v = s - 3 for v.
4
Suppose t = -q + 41, -q = -5*q + 2*t + 140. Let j = q + -35. Solve -5*b + j = -13 for b.
3
Let o = -121 + 127. Solve -3*g - 15 = -o*g for g.
5
Suppose 5*q + 3*l - 12 = 0, -4 = -q + 3*l + 2. Suppose 5*b = -4*i, q*b = -0*i + 2*i. Suppose b = 4*w - 2*w. Solve w = 4*y + 7 + 5 for y.
-3
Let o = -39 - -37. Let r be o - (-3)/((-9)/30). Let v = r - -21. Solve -4*n + 10 = -v*n for n.
-2
Let b be (1 + 6/(-3))*-10. Suppose -2*v + 3*s + b = -2*s, 6 = 3*s. Solve -2*y - 3*y = v for y.
-2
Let g = 8 - 3. Let l = 583 + -575. Let z be (1 - 2/1) + 1. Solve -t + l - g = z for t.
3
Suppose -4*u + 6 = -u. Let h = -12 + 12. Let y be 33/11 - h/(-1*2). Solve -y*f - u*f - 5 = 0 for f.
-1
Let d(j) = -2*j - 8. Let c be d(-4). Let z be (-4 + (-3)/((-6)/7))*0. Solve c = n - z*n for n.
0
Let r = -4 - -7. Suppose -5*h + r*h - m + 5 = 0, -5*m = -2*h + 23. Suppose -8*o = -h*o. Solve o*l + 1 = -l for l.
-1
Let s = -6 + -6. Let z = s - -16. Suppose -u = u - z. Solve 5*j - u = 3 for j.
1
Let b(l) = -l**3 - 4*l**2 + 3. Let q be b(-4). Suppose q*r - 7 = 5. Suppose 3*h - 2 + 15 = k, -65 = -3*k - r*h. Solve -4*i - 7 + k = 0 for i.
3
Let d = -570 + 573. Let n(a) = -a**2 + 3*a - 2 - 1 + 2. Let y be n(2). Solve d*b - y = 8 for b.
3
Suppose -k + 236 = j, 0 = 3*j - 3*k - 663 - 45. Suppose -2*v = 4*z - 7*v - 276, 4*z = -5*v + j. Let y = -40 + z. Solve 9 = -3*f + y for f.
5
Let o(d) = 4*d**3 + 7*d - 8. Let j be o(1). Solve -5 - j = 2*z for z.
-4
Let k = 52 + -33. Suppose 5*i + 2*m = k, -i = -0*i - 5*m + 7. Let p be (-4 + 3)/(-1)*i. Solve -4*y + p = -17 for y.
5
Suppose -4*y = -3*v - 57, -v = 1022*y - 1019*y - 20. Suppose 4*f = n - 0*n + 28, -4*f - 2*n + 40 = 0. Let o = f + -5. Solve -o*j = 6 + y for j.
-5
Let i = 58 + -66. Let p be 6 - 1*(i - -4)/(-4). Solve -p + 1 = n for n.
-4
Suppose 0 = 127*c - 129*c + 12. Solve -6 - 6 = -c*g for g.
2
Let j(r) = -4*r**2. Let t be j(1). Let o be (1/t)/((-11)/88). Solve -o*h = 2*h - 4 for h.
1
Suppose 2*x + 12 = 4*x. Solve -5*p + x = -4 for p.
2
Let z(a) = a**2 - 5*a - 4. Let v be z(6). Suppose v*g = 3*c - 8, -3*c - c = -g - 9. Let x be 12*c/((-8)/(-4)). Solve x = 2*l + 2*l for l.
3
Let j be ((-70)/(-8))/((-3)/(-12)). Suppose 0 = -48*y + 57*y + 261. Let m = y + j. Solve d + 5 = m*d for d.
1
Let a = -5 + 3. Let p be 2/(-4)*a - -3. Suppose 22*s + 4045 = 4089. Solve 0 = s*t + 6 + p for t.
-5
Suppose -36 = -5*i + i. Let x be 12/1 - (-27)/i. Let z be -5*(-6)/x - -3. Solve 1 = -4*s + z for s.
1
Let o(x) = -x**3 + 2*x**2 + 2*x - 1. Let g be o(2). Let t be 33*3/(-5 - -2) - -3. Let n = t - -34. Solve r - n = g*r for r.
-2
Let z = 570 + -567. Solve -6*t + 9*t - z = 0 for t.
1
Let a = -18 + 21. Suppose -4*b - 10 = a*y, -2*y + 3*b + 8 = -8. Suppose -y = -4*g + 10. Solve -g*m = -6 - 3 for m.
3
Let u(h) = h**3 + 6*h**2 - 11*h - 4. Let k be u(-7). Suppose -12*v + 4*v + k = 0. Solve -q = -v*q for q.
0
Let t = 76 - 73. Suppose -8 = 3*x - 3*m - 47, 0 = -t*x - 5*m + 63. Solve 0*k - 4*k = -x for k.
4
Let n be 0/((-1)/(-3) + (-4)/3). Let v be (10/(-12) - 7/(-21))*n. Solve 5*m + 5 + v = 0 for m.
-1
Suppose -134*k + 129*k = -90. Solve k*y - 22*y = -20 for y.
5
Suppose 29*n + 15 = 30*n. Let l be (-20)/(-1) + n + -15. Solve -8*g - l = -4*g for g.
-5
Let t = 459 + -459. Solve t = -3*w + 5*w - 6 for w.
3
Suppose o = c + 16, 5*o + 45 = -3*c + 7*o. Let g = 3 + -3. Let r be (-1 + g)/(c/65). Solve -a = -r + 10 for a.
-5
Suppose -2*j = 2*j. Let m = -1 + 3. Suppose -y - 5 = -m*y. Solve -y*z + j = 5 for z.
-1
Suppose -v - 15 = -4*v. Suppose m - p - v = -m, 0 = 4*p + 4. Suppose -m*h - 15 = 5*y - 5*h, 0 = -3*y - 2*h + 10. Solve y = l - 2*l - 1 for l.
-1
Let u = 46 - 36. Suppose 5*c = -3*b + u, 0*c - 2 = -c - 4*b. Solve 5*n - 8 = c for n.
2
Let g(l) = -2*l**3 + 12*l**2 - 10*l + 62. Let d be g(6). Solve -10 = d*o - 7*o for o.
2
Suppose t = -v - 3 + 2, 5*t = -25. Suppose 0*o - v*o + 12 = 0. Solve 3 + 6 = -o*f for f.
-3
Suppose k = -5*v + 14, -2*v + k = -k + 4. Suppose 0 = v*w + 3*t - 49, 4*t - 3*t = -3*w + 56. Suppose 2*o - w - 5 = 0. Solve -2*d - 1 + o = 0 for d.
5
Let l = -11 - -39. Let u be (4/8)/((l/(-120))/(-7)). Solve -f - u = 4*f for f.
-3
Let p(d) = -d**3 + 4*d**2 + d + 1. Let t be p(4). Suppose 2*y - 23*r + 19*r = 2, 6 = -3*y + 3*r. Let q = y + t. Solve -4*s - s = q for s.
0
Suppose 5*p - 3*l + 41 = 0, -5*p - 31 = 5*l - 3*l. Let i be 2/(-5) + p/(-5). Let b be -27 + 20 + 12 + -2. Solv