 24 = 2*s - 7*s for a.
-1
Let j be (6 + 93/(-15))*-25. Let w(f) = 3*f**2 - 17*f + 10. Let g be w(j). Solve -4*t = 4*s, -4*t - s + 0*s - 3 = g for t.
-1
Let p be 9/18 + (-885)/(-6). Let s = p + -125. Let l(w) = 2*w - 13. Let i be l(11). Solve -y = -3*j - 3*y + i, -4*j + y + s = 0 for j.
5
Let n be (3/(-6)*-1)/(13/6 + -2). Solve -3*f = -n*c - 3, -c - 43 = -47 for f.
5
Suppose -5*z + 438 = 368. Suppose 0 = 15*f - 1 - z. Solve 4*l = 20, -5*a - f = -5*l + 29 for a.
-1
Suppose 40 - 42 = -v. Let x be (15/10 - v)*-6. Let y be 1/((-1)/(-6)*18/15). Solve y = 2*b + o, 2*b = x*o - 5*o for b.
5
Let k = -160 + 160. Let l(v) = v**2 - 2*v - 61. Let s be l(10). Solve -s = d - k*d - 5*i, -4*d - 16 = -5*i for d.
1
Suppose 3*o = 2*d - 20, 5*d - 7 = o + 17. Suppose 1 = a - 0*a + 4*l, d*l = -5*a + 21. Solve b + 3 = -5*g, 16 - 1 = g - a*b for g.
0
Suppose 1289 = -5*p + 3*v, 0 = 4*p + 4*v + 249 + 763. Let u be 10*(-6 + p/(-40)). Solve 4*c = 3*w - c + 12, u = -w - 2*c for w.
-4
Let z be -1 + -1 - (2 + 10 + 15). Suppose 3*j = -3*w - 108, w = 2*j + 38 + 25. Let m = z - j. Solve 0 = 4*a - 2*a + m*k - 14, 5*a + 3*k - 21 = 0 for a.
3
Let r = -131 - -137. Suppose r*x + 19 = 3*u + 5*x, 0 = -3*u + 3*x + 27. Let f be (-21)/(-6) - 1/2. Solve -3*s + 6 = 0, t = f*t + u*s - 10 for t.
0
Let o(u) = -3*u**2 - 40*u - 46. Let v be o(-12). Solve 5 = m - 2*p, -4*m = -9*m + v*p + 25 for m.
5
Suppose 11*j = -29*j. Suppose -17*r + 64 + 21 = j. Solve r*p + 22 = -3*d, -2*d + 14 = -3*p - 4*d for p.
-2
Let d(c) = -197*c + 1381. Let w be d(7). Solve 5*l - 2*b = 4 - 2, 0 = w*b + 2 for l.
0
Suppose -4*g + 5*k + 12 = 0, k = 5*g - 6*g - 6. Let q be (0/(3 - 10))/(4/g). Solve q = 3*h - 3*o + 15, -3*h - 10 = -4*h - 2*o for h.
0
Let f(t) = t**3 - 126*t**2 - 657*t + 265. Let y be f(131). Solve -y*w = 15, 2*c = 10*w - 8*w + 2 for c.
-4
Suppose 38*s = 638 - 486. Solve -3*a - s*j = -6*j + 9, -3*a - 2*j = 9 for a.
-3
Let y be 5 - 1 - (-2 + (4 - 4)/6). Solve -y*m + 2*m - 40 = 4*h, -m + 3*h = -10 for m.
-5
Let y be (-12768)/(-768) + 10/(-16). Solve 3*r - d - 8 = 0, -35*r - 4*d = -31*r - y for r.
3
Let a = 6410 - 6402. Solve -4*v = a, 0*x + 2*x = 5*v + 6 for x.
-2
Let r be 51/12 - 5 - 6/24*-263. Solve -4*a + 2*k = 8, -20 = 3*a - 70*k + r*k for a.
0
Suppose -10 = h - 3*v, -5*h - 7*v + 4 = -13*v. Solve 2*o + n + h = 0, n - 6 = -2*o + 7*o for o.
-2
Suppose -3*v - 191 = 1159. Let i = v - -452. Solve -i*n + 2 = -0*n - 4*d, 5*d + 20 = -n for n.
-5
Let f be (-2)/5*(4 + -6 + -8). Solve 4 = 3*j - n, 2 = -f*n - 2 for j.
1
Let y(x) = -51*x**2 - 70*x**2 + 2*x**3 - 90 + 27*x**2 + 102. Let c be y(47). Solve -7 = j + 4*u, 5*j - 28 = 5*u + c for j.
5
Let o(k) = 209*k - 1876. Let a be o(9). Solve -3*x = -a*z + 16, -5*z - 3*x + 0 + 34 = 0 for z.
5
Let y be 5*((-18)/(-15))/(-2)*-1. Let a = 45 - 30. Solve a = 4*f + y*p, 5*f + 5*p - 11 = 14 for f.
0
Let u(s) = -8*s**3 - 4*s**2 + 2*s + 1. Let n be u(-1). Solve -35 = 4*y - 3*j, 232*y + n*j = 228*y - 5 for y.
-5
Suppose -4 = -5*g - 4*c + 23, -2*c = -2*g. Suppose 0 = n + y - 13, 3*n + 2*n + g*y - 75 = 0. Solve h + n - 6 = -5*v, -5*h + 9 = 2*v for v.
-3
Let s = 63 + -69. Let u be (s + (7 - 7))*1/(-3). Solve 2*j - u*c + 2 = 0, -j + 6*j + 2*c - 16 = 0 for j.
2
Let y(c) = 6*c**2 - 6*c + 61. Let i(b) = 3*b**2 - 4*b + 30. Let z(g) = 13*i(g) - 6*y(g). Let r be z(2). Solve -4*j - 4*k = -12, 0*k = -5*j + r*k - 21 for j.
-1
Let b(k) = 13*k**2 - 210*k**3 - 14*k + 211*k**3 + 6 + 33*k - 19. Let d be b(-11). Solve -2*g + g - d = 5*n, -3*n - 34 = 5*g for g.
-5
Suppose 20 = 37*u - 33*u - 4*t, 5*u - 4*t = 24. Suppose 2*p = -4*l + 10, 11 = 4*l + l + 3*p. Solve -4*m = -u*a - a - 18, m + 3*a = -l for m.
2
Let v be (-218)/(-8) - (-3 + 9/4). Let g be (56/21)/(1 - v/30). Let k = -31 + g. Solve 3*b - o + 9 = 0, -4*b - k = -b - 3*o for b.
-3
Suppose 15*n - 14*n = 4, 1303 = 3*a - 2*n. Let l = 437 - a. Solve l = -3*s + 6*s - 15, 2*f + 5*s = 29 for f.
2
Let u = 11346 + -11341. Let z be (-1)/1*0 - -9. Solve 2*y = -u*d - 22, 0 = -y + d - 3*d - z for y.
-1
Suppose -4*s = -g - 247, -s - 3*s = -5*g - 259. Let f = 848 + -784. Let p = f - s. Solve z - p*b - 6 = -2*z, 5*b + 18 = z for z.
-2
Let b = -33922 + 33928. Solve -b*s = -s - 2*l + 2, 0 = 5*s + 3*l + 22 for s.
-2
Suppose 73 + 71 = 2*o. Let w be (-18)/(-63) - o/(-42). Solve 0 = -4*c - k, -c = c - w*k for c.
0
Suppose 0*o + 5*o = 0. Let i be (o - -6)*(-2)/(-3). Let d be 8*13/(-13) - -11. Solve d*a - 2*c - 11 = 0, c - 28 = -i*a - 3*c for a.
5
Let p = 2010 + -2005. Solve -57 = -5*x + 4*b - 22, x = p*b + 28 for x.
3
Suppose -3*w = 2*m - 8, -5*m + 10 = w - 10. Let y = 9 - m. Let b be 60/270 + (-129)/(-27) + -1. Solve y*f - b*u = 7, u = 2*f + f for f.
-1
Let d = 5206 - 5205. Solve -15*x + 11*x = -q - 1, -q = 3*x + d for q.
-1
Suppose -58*j - 2131 = -258*j + 1669. Solve -11*q + 14*q = -5*t + j, 4*t - q = 5 for t.
2
Let x(g) = -5 - 22 + 3 - g**2 + 11*g. Let l(t) = -3*t - 32. Let p be l(-13). Let m be x(p). Solve m*k + 41 = 5*b, 4*k - 10 + 1 = -5*b for b.
5
Suppose 32*j - p + 33 = 34*j, -2 = 2*p. Solve -5*x - 5*s = -6*s, 0 = -2*x - 3*s - j for x.
-1
Suppose -8*w = -0*w - 16. Let l(i) = 12*i + 14*i + i**2 - 31*i + 6. Let k be l(5). Solve 3*r = w*g - k*g - 22, 2*r = g for r.
-2
Let q(o) = o - 4. Let b be q(7). Let g(s) = s**3 + 11*s**2 + 5*s + 5. Let j be g(-3). Suppose 0 = 3*i + 17 - j. Solve 2*l + 11 = -y - b*l, 3*y - i = l for y.
4
Suppose -b = 3*k + 1, -3*b + 2*b - 1 = 0. Suppose k - 15 = -3*i. Solve 3 - 2 = -i*f + 4*c, -3 = -f + 4*c for f.
-1
Let c(k) = 2*k**2 - 25*k - 11. Let p be c(12). Let x = -21 - p. Suppose 0 = 10*y - 17 - 33. Solve z + o - 1 = x*z, y*z = 2*o + 1 for z.
1
Suppose -616 = -14*s + 6*s. Suppose 5*d = s - 17. Suppose 23*r = 27*r - d. Solve -4*o + 4 = 4*i, -2*i - r = 5*o - 14 for i.
-2
Suppose -1583*v + 1836*v - 5060 = 0. Solve 2*c = 4*o - 10, 5*c - 7*o + 2*o + v = 0 for c.
-3
Suppose 3*b + 23 = 5*u + 28, 3*u = -5*b - 3. Solve -11*p + 13*p - 3*q + 8 = b, 0 = 3*p - 5*q + 14 for p.
2
Let h be (3 + (5/(-5) - 2))/(-17 - -14). Solve 5*n = l - 4 - h, -5 = 2*n + 3*l for n.
-1
Let m be ((0 - 1) + -9)/(-2). Suppose -4*f + 2*w + 19 = -f, -m*f + 5 = 2*w. Suppose -19 = -f*z - 19. Solve 5*r = -2*y - z*r - 15, -9 = 2*y + 3*r for y.
0
Let r(x) = x**3 + 19*x**2 + 12*x + 1721. Let j be r(-22). Solve 0 = -5*u - q - j, 35*u = 32*u - 3*q - 3 for u.
-1
Let v(h) = h**2 - 2*h - 21. Let p be (-2 - 8/(-3))/(4/(-24)). Let t be v(p). Solve 4*d + 4*l = -24, t*l = -d - 2*l - 26 for d.
-1
Let t(i) = -i**3 - 4*i**2 - 4*i - 2. Suppose -11*s - 45 = 21. Let r be t(s). Suppose 0 = r*u - 91*u - 63. Solve -3*x = 5*d - 5, 5*x - u = -3*d + d for x.
5
Suppose -223*f = -397 - 117 - 155. Let x be 0/(-1*(4 - 3)). Solve -3*k = -4*l - f - 0, x = -3*l + 2*k - 1 for l.
3
Let v = -74 - -94. Suppose -12*i + 2*i + v = 0. Suppose y + 5*k + 12 = 0, -3*y - i*k + 18 = -5*k. Solve -5*o - 2*n + 8 + 7 = 0, 0 = y*o - 4*n - 35 for o.
5
Suppose -2*u + 3*u - 15 = -5*x, -5*u - 3 = -x. Suppose 5928 = 17*s + 5860. Solve y = -s*y + l - 14, u = -y + 3*l for y.
-3
Suppose -4*f + 20*f = 0. Suppose -4*x - 1 + 21 = 0. Solve 5*s + f*y - 10 = 5*y, x*s + 3*y = 26 for s.
4
Let z(v) = -9*v + 192. Let i be z(24). Let k be -4 + i/(-30)*5. Solve -n + x + 3 = k, 0 = 8*n - 5*n + x - 17 for n.
5
Let z(f) = -f**2 + 10*f + 14. Let h be z(8). Suppose 40*m = 45*m + h. Let s be m*4/8 + 5. Solve -2*w - w + s*j - 6 = 0, 3*j = 4*w + 9 for w.
0
Let f = -7305 + 7309. Let o be ((-8)/12)/(2/(-9)). Let t = -2 - -5. Solve -t*x = -5*c - 11, -x - 9 = o*c - f*x for c.
-1
Let t = -1564 + 876. Let g = 688 + t. Solve o + 16 + 0 = -4*z, g = -3*o for z.
-4
Let b(v) = v**3 + 5*v**2 + 3*v - 5. Let l be b(-4). Let g be (l + (-16)/(-6))/((-28)/(-84)). Solve g = -u + k, 12 - 2 = -2*u + 3*k for u.
-5
Let r be (-16)/4 + 18/3 - 256. Let b = -249 - r. Solve 15 = -b*k - s, k - 2*k = -5*s - 23 for k.
-2
Let v = 300 - 299. Suppose 5*r = -b - 5, -4*b + 4*r - v + 5 = 0. Suppose 2*a + a = 12. Solve 5*k + 4*g = -g, -a*k + 4*g + 16 = b for k.
2
Let y(t) = 128*t**2 - 7*t + 1. Let q be y(-1). Let b = q + -136. Solve -2*c + 4 = f, -f + b*c = -2*c for f.
2
Let s = -14 - -68. Suppose 0 = -66*w + s*w. Solve -5*n - 21 = 4*z, 5*n = -z - w*z - 9 for n.
-1
Suppose -8 = 50*j - 52*j - 2*k, j = -3*k + 6. Solve 3*i + 4*m = -18, j*i - i - 11 = 5*m for i.
-2
Suppose -3*z = 3*q - 6, -