 3, -3*t + 0*t + c = -o for t.
3
Let a be (-2)/10 + 5/(-100) - (-90)/40. Solve -a*p + 2*y + 1 = 3, 3*p = 2*y - 3 for p.
-1
Let f(o) = -o**3 - 18*o**2 + 19*o - 6. Let n be f(-19). Let g = 17 - n. Suppose 5*t - 2 = g. Solve -w + t*k - 8 = 16, -k = -4 for w.
-4
Let p(f) = f + 44. Let s be p(-34). Let k be 2 + (4 - 13)*s/(-45). Solve k*j + 6 = -6*u + 4*u, 2*j + 13 = u for u.
5
Let a be 0 - (2 + (8 - 18/9))*-1. Solve 10 = -3*k - 5*r + 3, -2*k + 3*r + a = 0 for k.
1
Let v(j) = -2*j**3 + 6*j**2 + 7*j + 6. Let u be v(4). Let q be (-4)/(-2) + 0*1/u. Solve 2*w = -q*w + 2*m - 16, 4*w + 4*m - 8 = 0 for w.
-2
Let k be ((-5)/20)/((-2)/(-40)) - -621. Let v = k + -612. Solve -5 = 2*m + 2*i + 3, -v*m + 3*i = 23 for m.
-5
Let y be -26*1*(0 - 1). Let z(l) = 20 - 271*l**2 + 140*l**2 - 2*l + 130*l**2. Let w be z(-5). Solve -3*f = w*b + y - 5, 3*f + 4*b + 18 = 0 for f.
-2
Let c(v) = v**3 + 32*v**2 - v - 7. Let q be c(-32). Suppose 2*n + t = 3*t + 78, -189 = -5*n - t. Let u = 43 - n. Solve u*g - 4*g + z = 1, -5*z = -5*g + q for g.
3
Let y(c) = -95*c - 1233. Let w be y(-13). Solve 5*q + w*x + 3 = -12, 0 = -5*q + 2*x + 5 for q.
-1
Let b(u) = -162*u + 1157. Let y be b(7). Solve -11*v + 7*v = -4*x + 20, 3*x - y = 5*v for v.
-4
Suppose -1583 = 3*h - 4*u, 2*h + 42*u = 37*u - 1017. Let q = 523 + h. Solve -2 = -q*o, 3*y + 3*o = 7*y - 17 for y.
5
Let x = 1952 - 1948. Solve -2*q + 26 = -5*o + 9*o, -2*q = -x*o + 6 for q.
5
Suppose 2*j = -2*i - 110 - 14, 4*j = 16. Let r be (22/i)/((-1)/75). Solve r = -3*t + 4*h, 3*t - h - 7 = -20 for t.
-3
Let y(i) = 3*i**2 + 58*i + 19. Let t be y(-19). Solve t = 2*n - 5*f - 25, 0 = n + 3*f - 5 + 20 for n.
0
Let o be -1 - (-48)/(-6 - -14). Suppose 0 = -o*z - 2*t + 21, z = 5*t + 15. Solve -n = 2*c + n - 8, -n = z*c - 12 for c.
2
Suppose -44*y - 28*y + 1426 = -10*y. Solve -s = -5*f + y, s - 3*f + 6*f = 9 for s.
-3
Let b(c) = c**3 - 16*c**2 - 140*c + 1580. Let o be b(19). Let w = 20 - 12. Let y = 0 + 4. Solve -w = y*p - 4*j, o*p + j = 3*j - 6 for p.
-2
Let p = 333 - 328. Solve 5*t + 19*v = 17*v - 5, -5*t = p*v + 20 for t.
1
Suppose -2*j - 20 = -4*t, 17*t = 15*t + 12. Solve j*d - 12 = -d, 0 = -o - 4*d + 18 for o.
2
Let r(q) = -2*q**2 - 34*q - 115. Let p be r(-5). Solve -p*b + 7 - 22 = 4*k, 2*k = -5*b - 5 for k.
-5
Suppose 0 = 6*m + 3 - 27. Suppose 0 = -5*f - 2*b - 73 + 108, f - 2*b - 7 = 0. Solve -4*h + 4 = -m*l, 0*l - 2*h - f = l for l.
-3
Let x = 25 - -25. Let d = x + -41. Let p be (2/(-3))/(1/d*-3). Solve 0*f - 3*f = 4*o + 35, 4*o = p*f - 10 for o.
-5
Let p = -614 - -614. Let q be 35/(-7) - -5 - p. Solve m = -m - 2, 4*x - 3*m + 13 = q for x.
-4
Let a = -1198 - -1201. Solve -5*d - 8 = a*r - r, -3*d - 9 = -3*r for r.
1
Let w(o) = 42*o + 236. Let j be w(-15). Let y = -388 - j. Solve y*h + 6 = 2*m + 2*h, -4*h = 16 for m.
-5
Let v = -81 - -84. Suppose v*h + 10 + 185 = 0. Let l = h - -80. Solve -l = 3*m - i, -6 - 17 = 5*m - i for m.
-4
Let w be ((-36)/42)/(3/(-14)). Suppose -w*b - 4 + 28 = 0. Solve -5*k - 3*n + b + 2 = 0, -5*n = 4*k + 4 for k.
4
Let p = -2474 - -2479. Solve 3*j = o - 10, -p*o + 2*j = -0*o + 2 for o.
-2
Suppose 0 = -10*s - 189 + 169. Let z be s/7 + (-7 - 780/(-84)). Solve 2*y - 3*y = -4*f + 11, y = -z*f + 13 for y.
5
Suppose 5*s - 11*s + 186 = 0. Suppose 38*t = s*t + 511. Suppose -68*r = -t*r + 10. Solve 0 = -d - d + 2, -r*z = -d + 1 for z.
0
Let w = 4271 - 4266. Solve 3*j - 4 + 0 = w*a, 3*a + 3*j = -12 for a.
-2
Let g be (1 + -12 + 7)*(-16)/(-2). Let u be (27/36)/((-12)/g). Suppose -z - 5*a - 11 = 0, 2*a - 3 = 2*z - 17. Solve u*q = z*c - 8, 24 = 5*q - 0*q + c for q.
4
Suppose 0 = 2*r - 4*j - 20, j - 6*j + 5 = 0. Suppose b - 5*x = -4*x + 5, 2 = b + 2*x. Suppose 0*a + 16 = b*a. Solve r = 3*f, 0*z + 4*z - 2*f + a = 0 for z.
1
Let k(x) = -x - 3. Let g be k(-6). Let l = -4530 + 4533. Suppose g*r + 20 = 5*c, -l*c + 20 = 2*c + r. Solve 3*n + 2*p + 9 = 0, -3*n + n - 2*p - c = 0 for n.
-5
Let n = 12141 - 12136. Solve 4*y + 8 - 34 = -3*f, n*y = f + 23 for y.
5
Let d = -526 - -184. Let b be d/(-48) - (-2)/(-16). Suppose b*r = 27 - 6. Solve y + 13 = -f - y, -14 = r*f + y for f.
-3
Let z be 1 + 4/4*-4. Let l be 244/12 - 5/z. Solve 4*a = l - 6, 5*r - 4*a = -41 for r.
-5
Let v be (-1 + (-78)/9)*(26 + 4)/(-10). Solve -5*a - 6 - v = -2*l, -2*l - 3*a = 5 for l.
5
Suppose -3*t - 127 = 62. Let b = t + 69. Suppose -b*s + 3*a + 32 = -s, a + 27 = 4*s. Solve -s = x - 3*j, 4*x - x = 3*j - 3 for x.
2
Suppose 2380 = 47*a + 1581. Solve -k + 1 = d, a*d - 5*k = 19*d - 11 for d.
-2
Let k be 10 + 142/(-14) - (240/(-28))/4. Solve c = 2, -3*u + k*c - c = 11 for u.
-3
Let u(j) = j**3 + 18*j**2 - 19*j + 43. Let r be u(-19). Let t = 31 - r. Let d be 3/2*8/(-3) - t. Solve -3*s - s = d, 0 = -2*z + 3*s for z.
-3
Let d(u) = -u**2 + 374*u - 8541. Let j be d(25). Solve -5*q - j*t = -183*t + 1, 5*q = 5*t + 5 for q.
0
Suppose -z = 244 - 306. Let r = z - 62. Solve -5*c + 4*s - 41 = r, -6*c + 3*c + 4*s = 31 for c.
-5
Let q(f) = 4*f + 58. Let g be q(-12). Solve -3*t - 2 = -s, 0*t + g = 5*s + t for s.
2
Suppose -2*m + 5 = -y, -y + 5*m + 0 = -1. Let k(a) = 2*a - 87. Let q be k(38). Let d = y - q. Solve -4*r + d = -2*s, -2*s - r = -2*r + 2 for s.
-1
Let k = -370 - 343. Let w = 713 + k. Solve 4*a + 5*d + 1 = 0, -4*a - 2*d + 3 - 1 = w for a.
1
Let l = 34 + -37. Let y be 864/(-45)*(-10)/l. Let u = -60 - y. Solve -2*p - 4 = b - 1, 9 = -5*b - u*p for b.
-1
Suppose 70*t - 11425 + 8161 = 19416. Solve t*n - 325*n + 7 = x, -x + 12 = 2*n for n.
5
Let y be 59/7 + 32/(-392)*-7. Suppose 201 = y*s + 57. Solve 0 = -i - 4*p - s, -p = 3*i - 0*i - 7 for i.
4
Let s be -6 + (-42)/(-3) + 698. Let w = s - 703. Solve 14 = -o - 5*r - w, 3*r = -2*o - 6 for o.
3
Suppose -40*d + 60*d - 1980 = 0. Suppose -27*t = -60*t + d. Solve 0*q - 5*r - 1 = -2*q, 0 = q + r + t for q.
-2
Suppose 708 = -19*y + 2627. Let o = y + -98. Solve 5*i = -w - 11, o + 7 = -5*i for w.
-1
Let f(p) = 55*p**3 - 12*p**2 - 3*p + 4*p - p**2 - 13 - 54*p**3. Let r = -6 + 19. Let b be f(r). Solve b = -g, -2*n + 3 = n - 5*g for n.
1
Let t(g) = 8*g**3 + 239*g**2 - 32*g - 58. Let s be t(-30). Solve 0 = -4*r - 4*u + 16, -3*u - 4 = -4*r - s for r.
2
Let y(j) = j**3 - 30*j**2 + 217*j + 98. Let h be y(14). Let v(t) = -8*t**3. Let c be v(-1). Solve 4*g - 4*p + p = 18, 4*g + 2*p - c = h for g.
3
Let l(u) = -u**3 + 7*u**2 - 136*u + 780. Let i be l(6). Solve 4*r + 2*d + 16 = i, -3*d + 16 = 133*r - 135*r for r.
-5
Let l(t) = -t**2 - 11*t + 84. Let i be l(-16). Solve -4*q = -0*j + i*j + 20, -8 = -2*q + 4*j for q.
-2
Let m(n) = n. Let z(o) = -17*o - 97. Let x(k) = 6*m(k) - z(k). Let b be x(-4). Solve 5*d = 0, -10 = 2*q + b*d - 4*d for q.
-5
Let b(n) = -3*n**2 - 11*n - 52. Let i be b(-12). Let m = i - -356. Solve 3*d = -f + m*f, -f - 6 = -3*d for d.
3
Suppose 26*w = 5*p + 23*w - 131, -3*w = 8*p - 155. Solve -9*k + 7 = -8*k - 3*s, 5*k = 2*s + p for k.
4
Suppose -3*c = -2*g - 81, -4*c - 93 = 3*g + 3. Let s be 380/30*(5 + (-4 - -2)). Let p = s + g. Solve 4*z - 5*q - 2 = 0, 2*z + 14 = -p*z - 3*q for z.
-2
Suppose -222 = -4*v - 206. Suppose 2*q + v*q = 24. Solve -d + 3 = -q*d + 4*g, 3*d + 3 = -g for d.
-1
Suppose 0 = -2*o - 3*r + 47, o - 2*r - 54 = -3*o. Let z = o - 4. Suppose 0*q - 3*q + 20 = 5*i, 3*i = -4*q + z. Solve v + 5 = 0, i*y + 9 + 6 = v for y.
-5
Let y(b) = -3*b - 36. Let d be y(-14). Suppose d*v = 207 - 45. Suppose -25 = -v*n + 22*n. Solve 4*m = -3*q - 4, -2 = n*q + 2*m - 0*m for q.
0
Let h be -15*(-14)/630*81. Solve -c - 10 = 4*s, -7 = -4*s + 4*c - h for s.
-3
Let u be 2/(-8) - (-3)/12. Suppose -m + 0 - 24 = u. Let x be (-5)/(-2) - (-12)/m. Solve -3*k + x - 5 = -5*s, 0 = -2*k + 4*s - 2 for k.
-1
Let m(o) = -o**2 - 5*o - 9. Let g be m(-9). Let s = g - -48. Let d be 3/2 - s/(-6). Solve -13 = -3*j + d*z + 4, 5*j + 2*z = 23 for j.
5
Suppose -c = -83 + 79, 3*f = -4*c + 16. Solve -2*l - 11 + 36 = 5*a, f = 3*a + 3*l - 15 for a.
5
Let s be (-7 - (-633)/18) + 1/(-6). Let n be s/10 - (-64)/(-80). Solve -4*y - 3*t + 17 = 0, n*y = 3*y + 5*t for y.
5
Let u(w) = -9*w**2 + 8*w + 172. Let b(n) = 25*n**2 - 23*n - 514. Let v(s) = 4*b(s) + 11*u(s). Let f be v(15). Solve 4*i + x = -0 + f, -3*i - 5*x + 22 = 0 for i.
-1
Suppose -6*g + 20 = 68. Let a be (-2)/g - ((-1204)/16)/7. Suppose -a*l = -13*l + 4. Solve -2*v - 15 = p, 7*p + 4*v = l*p - 45 for p.
-5
Suppose -9*q + 6*q