 5*t - 4 = 1 for y.
-5
Let t be 20/8*12/15. Suppose -13 = a - 4*l, -3*a - l = -4*a + t. Let z(g) = g**2 - 7*g + 5. Let p be z(a). Solve 5*y = 4*s + 17, -p*y + 3 = 5*s + 13 for y.
1
Let u be (25/(1875/(-50)))/(2/(-12)). Solve 0 = 4*b - 2*b + 5*a - 6, -u*a = 5*b + 2 for b.
-2
Suppose -214347*m + 214364*m = 34. Solve -4*v - m*p = 90 - 70, 16 = -5*v - p for v.
-2
Let k = 8211 - 8207. Solve -11*b - n = -8*b + 20, k*b + 4*n = -40 for b.
-5
Suppose -3*x = -2*r - 2*x - 37, r - 4*x = -1. Let h be 1135/35 + 9/r. Let g = h + -26. Solve -q - 6 = -4*o, -4*q + 5*o - 7 - g = 0 for q.
-2
Let h = -2075 - -2087. Solve h*f - 11*f + l = 7, 5*f - 27 = -l for f.
5
Let y = 10 + -6. Let b be (2 - -3)*(2 - 1). Let z be -12 + 3 + 1 + 13 + -5. Solve 3*x - 2*d - 11 = z, -y*x + d + b = -3 for x.
1
Let f be (688/(-8))/(8/10)*-4. Let w = f - 426. Solve 1 + w = 5*x - r, 0 = -2*x - r - 5 for x.
0
Let u be (((-72)/(-14))/1)/((-52)/(-182)). Suppose 0 + 0 = -u*l. Solve f = 3*a + 6, 3 = -3*a - l*a + 2*f for a.
-3
Suppose -6*d + 3*d = -42*d + 1560. Solve 5*a - d = 5*s, -13 = 2*a - 7*a - 4*s for a.
5
Suppose -1 + 11 = 2*v. Let u be ((v/3)/1 + -2)*-9. Suppose 0*q + 2*q - 44 = -2*t, u*q + t = 74. Solve 11 = -5*k + j, q + 9 = -5*k - 5*j for k.
-3
Suppose -41 = 2*y + 3. Let s(d) = d**2 - 9*d - 13. Let j be s(7). Let n = y - j. Solve -2*m - 4*h + 6 = 0, m - 5 = -n*h - 2 for m.
3
Let i = -86 + 153. Let s = 89 - i. Let y = 22 - s. Solve 0 = -3*p - 6, -3*w + 4*p + 20 = -y for w.
4
Let h be (-15)/90 + (-2)/(-12). Solve -3*q + 5 = -5*x - 27, h = 3*x + 3*q for x.
-4
Suppose 0 = -52*h - 2886 + 2990. Let f(o) = -5*o - 1. Let k be f(-5). Let v = 13 - 9. Solve 4*m + 3*y - k = -y, 14 = v*m + h*y for m.
1
Let r(u) = u**2 - 12*u - 6. Let k = 61 + -53. Suppose -60 = -k*a + 44. Let z be r(a). Solve q + 3*p + 0 = -z, -3*q = 2*p - 7 for q.
5
Suppose v + 2*v - 9 = 0. Suppose -9*g - 2*g = 12*g - 46. Solve 3*y + 12 = i, 4*y + 35 = -v*i - g*i for i.
-3
Let j(p) = 7*p - 19. Let t be 1/(-6)*-3 + 45/10. Let v be j(t). Let l(i) = i**3 - 15*i**2 - 12*i - 24. Let z be l(v). Solve g = -5, 3*x - 2*g + z = -7*g for x.
-5
Suppose 16 = 4*u + 2*o, -4*u - 189*o = -190*o - 4. Suppose -4*t + 17 = -7. Solve 2*n - 7*h + 4 = -3*h, n + t = -u*h for n.
-4
Let t = -6 + 38. Let j(q) = -218*q + 2182. Let n be j(10). Solve l = -h, 0 = l + n*l - 5*h - t for l.
4
Let c be ((-6)/(-1))/(24/80). Let q(a) = -3*a**2 - a + 106. Let h be q(-6). Solve w = -2*n + 12, 50 - c = h*n + 5*w for n.
5
Suppose -3*h = 3*b + b + 6, -3*h = 2*b. Suppose n - 263 = 2*f, 4*f - 2*n = h*n - 524. Let m = -130 - f. Solve m*x + t + 2*t = -19, -5*t - 15 = -5*x for x.
-2
Let p = -127 + 338. Let f = p - 208. Solve -3*r + u = -2*r - 8, -3*r = f*u + 6 for r.
3
Suppose -8*f - 19*f = 162. Let t be -9 + (f + 50)/4. Solve -6 = 2*b + t*k, 2*k + 7 = -2*b - k for b.
-2
Let w = -8630 + 8673. Solve 12 = -3*o, 5*m - w*o = -38*o for m.
-4
Suppose -67*q + 110*q = 64*q - 252. Solve 0 = -q*u + 9*u + 3*r + 6, -3*u = -r for u.
-1
Let j(h) = h**2 - 2*h - 6. Let c be j(-2). Let i = 6255 + -6255. Solve 0 = 2*x + 5*q + 35, -4*x - 30 = -i*x + c*q for x.
-5
Let x = -453 + 452. Let v = x - -4. Solve 2*k - 6 = 0, s - v*k - 5 = -6*k for s.
-4
Let l = 7 - 3. Let a = -109 - -111. Suppose 0 = -5*j + a*w + 21, -4*j + 3 = 4*w - w. Solve 0 = 4*r - l*v + 4, r + 6 + 1 = j*v for r.
2
Let p = 24 + -24. Let r = p - -5. Solve -4*x + 8 = -f + 3*f, -r*x + 5*f = -40 for x.
4
Let h(j) = 107*j - 856. Let i be h(8). Solve -4*a - 4*g + 40 = i, 134*a - 3*g + 10 = 133*a for a.
5
Let f(z) = 4*z**2 + 47*z - 266. Let x be f(5). Solve 5*j = 2*w - 25, x*w - 66*w = -3*j + 6 for j.
-3
Let z = -4331 - -4331. Solve 2*c + z*c - l - 1 = 0, -3*c - 12 = 3*l for c.
-1
Suppose 2*p = 3*f - 4, -5*f + 0*p = -5*p. Suppose 8*r = f*r. Suppose r = -3*g + 7*g. Solve -5*z - 3*h + 5 = -3, -h + 1 = g for z.
1
Let o be -2*360/(-52) + 20/130. Solve -d - 3*x - 6 = -10, 2*d - 5*x + o = 0 for d.
-2
Let r(m) = m**3 - 5*m**2 + 4*m + 7. Let u be r(8). Suppose -6*x = u + 159. Let s be x/15*(-4 - -1). Solve 0 = 2*b + 4*o + s + 3, -20 = 5*o for b.
0
Let i be 21105/245 - (-16)/(-14). Suppose -5*a + i - 65 = 0. Solve f + 0 = m - 3, -3*f - a*m - 23 = 0 for f.
-5
Let a be (-4 + 5 + 5)/(-21 + 22). Solve a = -g + 3*x, 2*g - 4*x - 21 = -9*x for g.
3
Suppose v = -2*t - v, -4*v = -2*t + 30. Suppose 5*i = 2*y + 21, 3*y - 3*i + 3 = -6. Suppose y*l - 12 = -l. Solve t*g = -4*c + 29, l*g = -5*c + 2*c + 23 for g.
5
Suppose 0 = -2*z + 2, 4*o - 5*z - 34 = -3*z. Let b be o/2 - 2/4. Solve 0 = -5*x - 20, 7*h - 2*h + 36 = -b*x for h.
-4
Suppose 33*t + 553 = -470. Let d(p) = p**2 + 29*p - 59. Let q be d(t). Let f be (-6)/(-21) - (-38)/14. Solve -12 = q*b - 3*r, 0 = 2*b - b - f*r + 12 for b.
0
Suppose 0*h - 6 = -3*h. Let c be (46/(-69))/(h*2/42). Let b be c + 4 + 1 - -6. Solve -4*m = -2*y - 4, b*y + 4 = -m + 14 for m.
2
Suppose -o + 31 = -4*h, 0 = -3*o + 16*h - 19*h + 33. Solve -2*f = -6*a + 9*a - o, f = -a + 4 for f.
-3
Let v(x) = -x**3 + 5*x**2 + 6*x - 4. Let l be v(-4). Let r = -235 + l. Let y = r + 121. Solve -5*k = -4*b - 13, 4*b = k - y*k + 17 for b.
3
Suppose 3*j + 25 - 4 = 0. Let b(l) = -l**2 + 54. Let a be b(j). Solve -3*s + 2*g = -0*s + 14, -a*g = -20 for s.
-2
Let d = -1388 - -1390. Let i = 46 - 25. Solve -d*g + i = 5*x, 0*x - x + 3 = 0 for g.
3
Let l = 1 - -1. Suppose -4*k + 9 = 1. Suppose 0 = k*f - 2*m, f - 2*m - 4 = -3*m. Solve -7 = -f*y + 3*s, y - s = -l*y - 7 for y.
-4
Suppose 5*r - 33 = -4*w + 48, 5*w + 56 = 3*r. Let k(j) = -2*j**2 - 17*j + 41. Let x be k(-10). Let c = r - x. Solve -p - 11 = -2*h, -p + 7 = -2*h - c*p for h.
4
Let p be -1 + 0 + (22 - 20). Let s be (-14)/56 - p/(-4). Solve -c = y, 3*c + s = y - 4 for y.
1
Let u be 3 + (-18)/(-15) - 9*(-6)/(-270). Solve 0 = 2*p + 3*m + 9, -18*m - 37 = -u*p - 13*m for p.
3
Suppose -9*u = -47 - 7. Suppose -u*i - 19 = 17. Let h = 9 + i. Solve 0 = 4*y - 3*c + 16, 5*c - 12 = h*y + c for y.
-4
Let a(x) = -x**3 + 5*x**2 + 2*x - 6. Let o be a(5). Let g(l) = 20*l + 19. Let y be g(-5). Let f = y - -84. Solve o = -d + 5*k, -k + f = 2*d - 0*k for d.
1
Suppose 97 = -105*z + 370 + 252. Solve 0 = w + 2*d - 3*d - 6, 0 = 4*w + z*d + 3 for w.
3
Let a be -8 + ((-280)/(-5))/7. Suppose -22*m + 32*m = a. Solve 4 = -4*b, -i = -m*b + 3*b + 6 for i.
-3
Let k(w) be the first derivative of 4*w**3/3 + 3*w**2/2 + w + 44. Let d be k(-1). Suppose -d*n = -135 + 133. Solve l - 5 = 2*v, -2*v = 3*l + n + 24 for l.
-5
Suppose 161*l = 156*l - 25. Let f be (5/(-3))/(l + 50/12). Solve -1 = -3*s + f*z - 2, 2*s - 4*z + 14 = 0 for s.
3
Let g(d) = -d**3 + 5*d**2 - 5*d - 1. Let m be g(4). Let r be 1/((-10)/6)*m. Let k = -6992 + 7013. Solve 4*p = r*w + 2*w - 7, 3*p = -5*w + k for w.
3
Let v(w) = 22*w. Suppose 3*u - 143 + 143 = 0. Let y be v(u). Solve -5*l + i - 9 = y, 5*l = -i - 0 - 1 for l.
-1
Let f be (-10)/(-5)*(-3)/(-3). Let j be -21*f*(-3)/18 - 2. Solve 3*b - j*o = 2*b - 20, -2*b - 8 = -2*o for b.
0
Let r(o) = -o**3 + 44*o**2 - 8*o + 357. Let t be r(44). Solve -2*l - 3 = -1, -v - t*l - 7 = 0 for v.
-2
Suppose 12*s = 15*s - 120. Suppose 2*g + s = 6*g. Suppose g = 7*y - 5*y. Solve 2*l + 11 = y*l + 5*c, 2*l - 14 = -5*c for l.
-3
Let p = -7 - -10. Let f = -23 - -33. Suppose 0 = f*h - 8*h. Solve 3*i + 6 = -a, i + p + h = 0 for a.
3
Suppose -2*r - 20 = -3*s, -91 = s - r - 99. Solve 2*n = -6, 5*n + 23 + 12 = -s*f for f.
-5
Suppose -6*b + 5*a = -137, 11*a + 15 = 14*a. Solve 14 = -w + 3*s, 23*s = w + b*s - 7 for w.
-5
Suppose -181 = 4*w + 5*a, 4*w + 2*a + 92 = 2*w. Let i = -59 - w. Let n(b) = b**2 + 8*b - 14. Let v be n(i). Solve -25 = -5*r, -r + 14 - v = -3*m for m.
-1
Let o be 1 + -1 - -3 - -11. Let s(a) = 3*a - 14. Let k be s(o). Suppose -7*y + 0*y = -k. Solve -3*r - 2*j + y = -3*j, 4*j = 5*r - 16 for r.
0
Let c be (5/(-10)*44)/(1/(-49)). Suppose 8*j + c = 1118. Solve -2*m = 3*f + 12, 4*f = m - 0*f - j for m.
-3
Let f(i) = -7*i**2 - 348*i - 573. Let z be f(-48). Let b(l) = -2*l - 12. Let d be b(-8). Solve 9 = z*p - 0*t - 4*t, t = -d*p + 12 for p.
3
Let g be 18/6*(1 - 35/3). Let x(l) = l**3 + 33*l**2 + 32*l + 13. Let j be x(g). Solve -2*s + k = 2*k - 7, -j = -3*s + k for s.
4
Let n = 54 + -48. Let p be (77/21 + -5)*n/(-4). Let w be (-2)/(-2) - (6/(-2) - -1). Solve -3*h - 2*c = -p, -5*h = w*c + c - 6 for h.
-2
Let y(g) = 4*g**2 + 29*g - 156. Let k 