2. Let v = u + -34. Solve -15 = -0*l + v*l for l.
-5
Suppose -27*s + 25*s + 5*v + 794 = 0, -s + 5*v + 407 = 0. Solve 384*n = s*n - 15 for n.
5
Let c(f) = -f**3 - 5*f**2 - 2*f - 10. Let w be c(-5). Suppose w = -z - 7*z + 96. Solve 0*g = 12*g + z for g.
-1
Let g(s) = 92*s - 44. Let f be g(4). Let q = -320 + f. Solve q*n = 1 + 7 for n.
2
Suppose 2*c = -23*u + 26*u + 52, -4*c = -u - 124. Solve -c*q - 324 = 22*q for q.
-6
Let n(q) = 59*q**2 - 349*q - 30. Let m be n(6). Solve m = t + 77 - 76 for t.
-1
Let p be (-364)/30 + (-6)/(-45). Let d = 17 + p. Suppose -v - 25 = -4*w - 4, 0 = -d*w + 3*v + 35. Solve -2*x + w*x + 10 = 0 for x.
-5
Let w = 5091 - 5091. Solve -12*a = 5*a - w*a for a.
0
Let d(v) = -13*v + 54. Let a be d(4). Let o = 11 - 2. Let i(c) = -c**3 + 9*c**2 + c + 5. Let q be i(o). Solve a = -4*u - q for u.
-4
Let u(m) = -m**3 - 3*m**2 + 7*m - 11. Let t be u(-5). Solve 12*y = t*y + 11*y for y.
0
Suppose -3309 = -3*x - 2925. Solve 27*t = -61 - x for t.
-7
Let o = 1974 + -1968. Solve -15*p - o*p + 84 = 0 for p.
4
Let r(y) = -15*y - 11. Suppose 0 = 8*z - 33 - 23. Suppose 0 = -5*m - 2*m - z. Let w be r(m). Solve 10 - 26 = w*l for l.
-4
Let f = -2677 + 2701. Solve 10*t = -14 + f for t.
1
Let h be (1 - (-5)/(-2))*250/(-75). Suppose 3 = -h*b + 6*b. Solve -6*t = -b + 27 for t.
-4
Let t(u) = 87*u - 1473. Let p be t(17). Solve -p*k + 4*k = 12 for k.
-6
Let g be (84/(-98))/((-3)/14). Let a(y) = 3*y - 2. Let f be a(-1). Let c be (f - 0)*(-6 + 1). Solve c = g*m + m for m.
5
Let l be 1*(-18)/(36/(-254)). Solve 70*g = 337 - l for g.
3
Suppose 19*k - 119 = -62. Solve k*o - o = 0 for o.
0
Let c = -76 + 73. Let f = c + 9. Suppose 0 = -3*u - f, 2*g - 14 = 3*u. Solve g*j - j = 9 for j.
3
Suppose 0 = 3*b + 1 - 22. Let z(x) = -9*x - 13. Let q(i) = -20*i - 25. Let l(g) = -6*q(g) + 13*z(g). Let w be l(b). Solve -w*j + 0*j = 8 for j.
-4
Suppose l + 14*v - 3 = 11*v, 4*l + 4 = 4*v. Suppose 0*b + 14*b = l. Solve b = -5*h - 5 + 10 for h.
1
Let s(r) = r**3 - 9*r**2 + 11. Let a be s(9). Suppose -b - b + 3*z = 13, -b - 2*z + a = 0. Let h = 214 + -212. Solve -h = -3*u + b for u.
1
Let x(r) = -52*r + 791. Let m be x(10). Solve m = -9*k + 262 for k.
-1
Suppose 19 - 79 = -c. Suppose -405*q + 408*q = c. Solve -15 = z - q for z.
5
Suppose 4*x - 5*n - 150 = 0, 4*x + 3*n - 4 = 130. Suppose -53*j = -58*j + x. Suppose 2*d - j = -5*d. Solve d - 3 = -2*i for i.
1
Let b be (-15*14/56)/((-50)/80). Let v be (-3)/((-12)/32)*1. Solve -b*u = v*u - u for u.
0
Let a = 241 - 233. Solve -16*v + a = 24 for v.
-1
Let g be 1 + 0 - (30 + -3). Let q = g + 68. Suppose -7*p = 7*p - q. Solve -p*y + 4 = -2 for y.
2
Let s = 212 + -172. Suppose -19*w = w - s. Solve 0 = -2*n - w - 4 for n.
-3
Let z be (-8)/28 + (-111)/(-21). Let v be 8*(0 + 1)*6/12. Suppose -2*u - w + 35 = 0, -z*u - v*w + 110 = -6*w. Solve -2*r = 3*r + u for r.
-4
Suppose 0 = 4*j - 18 - 22. Suppose -50*l - u + 15 = -49*l, -4*u = l. Suppose -j*o = -0 - l. Solve 0 = -2*r - 2 - o for r.
-2
Suppose 0 = -4*d + 2*z - 34 + 42, 3*d - 24 = -3*z. Solve 27*h - 29*h - d = 0 for h.
-2
Suppose 0 = 12*g - 2*d - 22, -9*d = -4*d - 35. Suppose 0 = m - 3. Solve -4*w = -g*w - m for w.
3
Let w be (1 + 0)/((-3)/(-21)). Let a = 58713 - 58713. Solve -w*d + 6*d = a for d.
0
Suppose -55 = -2*v - 3*v. Let x = 38920 + -38916. Let z = 3 - 2. Solve -x*k - z = v for k.
-3
Suppose 299*f + 1162 = 313*f. Let u be (-16)/(-2 + 4)*10. Let g = f + u. Solve 4*j - g = 9 for j.
3
Let m(r) = -5 - 1 + 3*r + 6 - 1. Let a be m(1). Suppose 4*v - v + 8 = -a*b, 0 = 4*v + 16. Solve -h = -b*h - 5 for h.
-5
Suppose 690 = -47*x + 4591. Solve -x*a + 79*a + 24 = 0 for a.
6
Suppose -5*r = 11*s - 13*s, 2*s - r = 8. Suppose 3*n - s*j = 53, 4*n = 2*j + 34 + 18. Solve -11*g + 0 = n for g.
-1
Let f be (48/(-20))/(14/385). Let c = -62 - f. Solve u - 3*u + c = 0 for u.
2
Suppose t - 6*t = -40. Suppose -16 = -8*y + t. Suppose -4 - 2 = -y*u. Solve -4*r = -u*r - 2 for r.
1
Let b = 0 - 0. Let r = 58 - 60. Let v be (b - 3 - r)/1*0. Solve 2*f - 2 - 6 = v for f.
4
Suppose -17 = 5*s + 4*v - 65, -s = 5*v + 3. Suppose 5*g = b + 8, b = -4*g - b + s. Solve g*d + 10 - 4 = 0 for d.
-3
Let m(v) = 2*v**2 - 255*v + 379. Let x be m(126). Let n(b) = -b**3 + b**2 + b + 3. Let k(i) = -i - 5. Let j be k(-5). Let p be n(j). Solve g - x = -p for g.
-2
Suppose 0*z = 2*z - 428. Suppose -5*k + 0*o + 4*o + 219 = 0, -o + z = 5*k. Let p = -28 + k. Solve p = 5*y - 0 for y.
3
Suppose 1 = -3*t - 4*v, 5 = -v + 1. Let d(z) = z**3 + 15*z**2 + 39*z + 356. Let n be d(-14). Solve 2*u + n = t*u for u.
2
Suppose -v + 4*z = 20, 2*z + 0*z - 30 = 3*v. Let l be -4*(-4 + (-28)/v). Suppose 0*m = l*m. Solve -2*j + j = m for j.
0
Let o = -33868 - -33874. Let g(c) = 5*c. Let d be g(4). Solve -d = t - o*t for t.
4
Let n(f) = -2*f**3 + 8*f**2 + 9. Let d be n(4). Suppose 3*y = -0*y + d. Solve 0 = y*h + 4 + 8 for h.
-4
Suppose -4*n = 5*i - 29, 0 = -3*n + 8*n + 5*i - 30. Let h be (-369)/6 + 2 - 2/(-4). Let z = 59 + h. Solve z*f = f - n for f.
1
Suppose 20*n - 3*n = -211*n. Solve n = -27*c + 24*c + 6 for c.
2
Let h(q) = 4*q + 1. Let u be h(2). Suppose 6*x - 51*x + 90 = 0. Solve u = -l - x*l for l.
-3
Suppose 27*m = -10*m - 13603 + 50862. Solve 0 = -5*y + m - 962 for y.
9
Let v be 78/(-39)*-1*10. Suppose -23*t - 2*p + 8 = -v*t, 0 = -2*p + 8. Solve 7*k - 2*k = t for k.
0
Suppose -107 + 2 = -f. Let p = -54 + f. Let u = p - 49. Solve 0*a + a = u for a.
2
Let k = 5 + -3. Let d(a) = -a**2 + 12*a + 71. Let y be d(16). Suppose -4*j - y*w = -2*w, -2*j + 3*w = 0. Solve j*m - k*m - 10 = 0 for m.
-5
Let u = -20466 - -20472. Solve -u*l - 333 = 105*l for l.
-3
Let w be 228/570 + 4994*2/5. Solve 2008*z = w*z - 40 for z.
-4
Suppose -10 = -2*s - 0*s - 2*q, 3*q - 9 = 3*s. Let d be (-3998)/(-46) - ((-144)/207)/8. Let z be 3 + d/27 - (-18)/(-81). Solve -n = -z + s for n.
5
Let o(c) = -c + 1. Let r be o(-6). Suppose -22 = 4*y - 5*i, -y - 251*i = -247*i - 26. Solve -3*x - y - r = 0 for x.
-3
Let d(x) = 6*x**3 + 66*x**2 - x + 2. Let b be d(-11). Solve 0 = b*t - 35 - 30 for t.
5
Suppose 2*n + 8 = -r, 26*n + 20 = 21*n. Solve 8*o - 3955 + 3963 = r for o.
-1
Suppose 5*v = -3*z + 9, 4*z + 20 = 4*v - 0. Let x(d) = -d**2 + 5*d - 3. Let k be 26/12 - (-2)/(-12). Let q be x(k). Solve 4*y - v = q*y for y.
3
Suppose 3*t + t - 27 = j, 4*j = -5*t + 39. Let c be ((-25)/20 - (-15)/12)/(-5). Solve 3*z - 1 + t = c for z.
-2
Let x(i) = i**3 - 24*i**2 - 14*i - 22. Let j be x(25). Let a = j - 253. Solve 0 = -o - a*o + 5 for o.
5
Suppose 0 = 3*p + z + 2, -7*p + 3*p + z + 2 = 0. Suppose -2*s = 4*j - 16, p = 4*j - 0*s - s - 28. Suppose 8*u = j*u. Solve u*a + 5 = 5*a for a.
1
Let n = 359 - 327. Solve 0 = 33*y - n*y + 3 for y.
-3
Let m = 0 + 0. Suppose w = -6*q - 49, -2*q = 30*w - 29*w + 13. Solve m = w*i + 5 for i.
-1
Suppose -652*y + 625*y + 945 = 0. Solve y*q - 50*q = -45 for q.
3
Suppose 8 = 4*s + 5*q, -3*q = -0*s - s + 2. Suppose -43*b + 291 = -225. Solve b = s*p + 2 for p.
5
Let r = -294 + 350. Suppose 7*k - 4 = 6*k, -3*c + r = 2*k. Solve -2*h = -6*h - c for h.
-4
Suppose 4*p + 16 = 0, -9 = -4*d + 2*p - 1. Solve 105*t - 106*t + 1 = d for t.
1
Let r(j) = -2*j**2 + 186*j - 2333. Let w be r(78). Solve 15*a = w*a - 3*a for a.
0
Suppose -2*h = 2*d - 0*d + 6, -5*d - 3*h = 7. Solve 22*c + 87 + d = 0 for c.
-4
Let k = 9 - 5. Suppose -k*a = 16, -40 = -3*t + 4*a - 12. Suppose -f - 4*p = -8, -28*f + 31*f + 3*p - 24 = 0. Solve -f = -2*b + t*b for b.
-4
Let i = 2891 - 2883. Solve 22*d - i = 26*d for d.
-2
Let w be ((-8)/((-16)/(-75)))/(2*2/(-16)). Solve 0 = -18*b + 43*b + w for b.
-6
Suppose 92*m = 94*m + l + 48, 4*m - 2*l = -104. Let x = 66 - 41. Let o = x + m. Solve -v - v = o for v.
0
Let p(o) = -6*o - 18. Let z = 136 + -143. Let u be p(z). Solve 5*g - 1 = u for g.
5
Suppose 0 = 25*i - 4412 + 4512. Let t(m) be the second derivative of m**4/12 + m**3/2 - 2*m**2 + m. Let b be t(i). Solve -4 = 2*n - b*n for n.
-2
Let j(b) = b**2 + 23*b + 20. Let i be j(-17). Let m = 84 + i. Solve 8*h - 7*h + m = 0 for h.
-2
Let o(f) = -f**3 + 6*f**2 + 8*f - 4. Suppose 8*c + 3*p = 3*c - 74, 0 = 5*c - p + 62. Let n = c + 20. Let w be o(n). Solve 0 = 4*i - i + w for i.
-1
Suppose 4*c - 5*g + 12 = 0, c + 38*g - 14 = 35*g. Suppose 5*d = 4*d + 2. Suppose 5*f - 3*l = 5, -f - 14 = -d*f - 2*l. Solve -f = -c*b - 0 for b.
2
Suppose -3