lve 0 = m*v + 219 + 123 for v.
-6
Let a(m) = -m**3 - 9*m**2 - 7*m + 49. Let y be a(-7). Let v = 25 - 9. Suppose -8*z + v = -y. Solve -z = -l - l for l.
1
Let v be -155*11/(-2 - 9). Solve 142*f + 13 = v*f for f.
1
Let a(v) = 3*v**2 - 16 - 4*v - 19 + 31 + v**3 + 5*v**2. Let x be a(-8). Suppose 6*f + 4*c - x = 4*f, 2*f + 5*c - 33 = 0. Solve f*r = 3*r for r.
0
Suppose -8*k - c = -11*k + 42, -c = -3. Solve k*l = -7*l + 88 for l.
4
Let j(q) = -204*q + 3304. Let w be j(16). Solve 656*a = 664*a - w for a.
5
Let h = 6932 + -6808. Solve 115*c = h*c + 45 for c.
-5
Let n be 8/28 + 3 + (-16)/56. Solve n*o - 22 = -7 for o.
5
Let g = 3202 - 3118. Solve g - 84 = 3*f for f.
0
Suppose 4*d - 4*r - 497 = 251, 3*d - 565 = 4*r. Let o = -138 + d. Solve -o*y + 15 = -50*y for y.
-3
Let l be (3/4)/((-61)/(-26352)). Suppose 22*j - l + 126 = 0. Solve 6*k + 21 = -j for k.
-5
Suppose 5*t = 3*y - 8, -49 = -4*y + 24*t - 25*t. Let h(c) = 3*c - 3. Let f be h(3). Solve y*s + 10 = f*s for s.
-2
Suppose -15*k = -18*k - 6*m + 6, 5*m = -4*k + 5. Solve 16*o + 26*o + 84 = k for o.
-2
Let h = 4 - 0. Let f(m) = m**3 - 4*m**2 - 2*m - 12. Suppose -9*r + 15*r = 30. Let p be f(r). Solve p*d - 5 = h for d.
3
Let d(g) = -1. Suppose 13 + 7 = 4*c. Let w(h) = -h**2 - 5*h + 5. Let k(v) = c*d(v) - w(v). Let x be k(-7). Solve 3*t = 4*t - x for t.
4
Let w be 12/(-14) - (-22)/(-154). Let u be 10/(-4 - -6) + w - -1. Solve l - 20 = u*l for l.
-5
Let m be 4125/45 - (-8)/(-12). Let o be 9/24 + m/56. Solve 0 = -i + o - 6 for i.
-4
Suppose 8*v - 38 = 2. Suppose -2*r + 0 - 2 = 0. Let t = r + v. Solve -2*m - 6 = t for m.
-5
Let d(x) = -x**3 - x**2 - x + 36. Let z be d(0). Suppose -4*p - 5*q + z = 0, -4*q + 2*q + 28 = 5*p. Solve -p = 4*s - 16 for s.
3
Let c be 3036/28 + 1 + (-6)/14. Let x = 117 - c. Suppose x*w = 2*w - 0*w. Solve 5*v + w*v = -20 for v.
-4
Let u(p) = -2*p**3 - 174*p**2 - 342*p - 121. Let a be u(-85). Solve -x - a + 54 = 0 for x.
5
Suppose x = 6*x - 190. Let z = 40 - x. Suppose -5*n = -z*g + 30, -2*n = g - 4*n - 16. Solve g = -h - 3*h for h.
-5
Let i = 3580 + -3550. Solve -36*m + i - 138 = 0 for m.
-3
Let u = -37 + 58. Let b be (18/(-8))/((u/(-12))/7). Solve -b = 3*s - 0*s for s.
-3
Suppose -24*v - 2526 = -2814. Solve 41*i - 37*i = v for i.
3
Suppose 10*x - 5*x + 4*s - 198 = 0, 10 = 5*s. Let t = x - 119. Let u = -75 - t. Solve -u = -f - 2 for f.
4
Let o be 39 - (-21)/(-9)*(-36)/(-7). Solve 0 = o*b - 51 - 30 for b.
3
Let y = 8702 + -8680. Solve -y*q - 14*q + 216 = 0 for q.
6
Suppose -234*p + 7873 + 8507 = 0. Solve 0 = 13*w + 122 - p for w.
-4
Let d be -5 + (-17)/(-3) - 38/(-6). Let o be 325/(-91) + (-3)/d. Let s be (0/(0 + o))/(-1). Solve 1 = -x - s for x.
-1
Suppose 8*j - 28433 + 28409 = 0. Solve -28 = j*d - 16 for d.
-4
Suppose 37 = 5*c + 17. Solve 0 = c*w - 13*w for w.
0
Suppose 103*f = 108*f + q - 197, -2*q + 4 = 0. Solve -f = -n + 14*n for n.
-3
Suppose 0 = 10*z + 7572 + 498. Let n = z + 818. Solve 4*g = n - 7 for g.
1
Suppose 0 = 6*n - 2*n. Let f be (-66)/(-15) + -2 + 6/(-15). Let w be f + -1*(n + 2). Solve w*o - o - 4 = 0 for o.
-4
Suppose -9 = 29*u - 26*u. Let h be u*4/(-24)*0. Solve h*w = -2*w - 4 for w.
-2
Let c be 1 + (2/2 - -1). Let k = 855 + -847. Solve -c = -h - k for h.
-5
Let f = 4156 + -4145. Solve -28*d + f*d = -13*d for d.
0
Let w = 3535 - 3466. Solve -70*c = -w*c - 4 for c.
4
Let o = -67 - -82. Let r(x) = x**3 - 14*x**2 - 15*x + 2. Let b be r(o). Suppose 0 = -0*t - 3*t + 3*j - 6, -3*j = -t - 8. Solve g = -t + b for g.
1
Let t = 385 - 403. Let d(b) = -b**2 - 20*b - 28. Let f be d(t). Solve 27*w + f = 25*w for w.
-4
Let i = -3142 - -3145. Solve -i*j = -18 + 24 for j.
-2
Suppose -18*y = -11*y. Suppose -4*s + 163 = 3*b, y = -5*b + 32 - 7. Solve -6*g + s = 7 for g.
5
Let s be (-19 - 63)*(-5)/10. Solve 0 = -s*b - 6 + 88 for b.
2
Let m = 268 + -264. Suppose 0 = -4*k - 5*y - 12, m = -5*k - 4*y - 2. Solve k*v + 0*v = -0*v for v.
0
Suppose 5*a - q = 58, -122*q + 70 = 5*a - 117*q. Suppose -3*m + 10 = y + m, -3*y = m - 19. Suppose -3*s + 0*s + y = 0. Solve -2*o - a = s*o for o.
-3
Suppose -5*y = 3*f - 224, f + 28 = -y + 102. Let g = 164 - f. Let b = g - 89. Solve 6 = 4*w - b*w for w.
3
Let r(u) = -103*u - 3193. Let g be r(-31). Solve 3*t - 31 + 34 = g for t.
-1
Let n(k) = k**2 + 16*k + 18. Let d be n(-9). Let b = 50 + d. Suppose 4*q + 3*f = 10, 0*f = -b*q + 5*f + 30. Solve q*m - 5 = -21 for m.
-4
Let h(b) = 6*b**2 + 29*b + 4. Let a be h(-5). Let p be 0*(63/(-28))/a. Solve 0*d + 3*d + 9 = p for d.
-3
Suppose 0 = 5242*j - 5209*j. Solve j = -17*d - 28 - 40 for d.
-4
Let n(h) = h**3 - 11*h**2 - 82*h - 114. Let u be n(-3). Let m = 2 - 3. Let g = m - -1. Solve g = u*w - 3*w + 9 for w.
-3
Let o = 322 + -289. Suppose -o*t = -97 - 398. Solve 10*v = t - 35 for v.
-2
Let c be (2 + -2)*55/165. Suppose c = -176*q + 162*q. Solve -j - 66 + 61 = q for j.
-5
Suppose 0 = 5*a - 0*a - 75. Let p = 19 - a. Suppose -3*r = p*v + 12, 4*v - 3 = -5*r - 15. Solve -d + 1 + r = 0 for d.
1
Suppose -529*b = -488*b - 2255. Solve -24*q + b = -35*q for q.
-5
Let p be ((-1)/2)/((-21)/1890). Solve 38*x + p = 29*x for x.
-5
Suppose g + 28 = -53. Let d = 63 + g. Let l be 5/15*d/(-1). Solve 5*u + l = 26 for u.
4
Let a(p) = -31*p**2 - 5 - 31*p**2 - 35*p**2 + 101*p**2. Let g be a(2). Suppose -22 = -g*n - 0*n. Solve 0 = i + i + n for i.
-1
Suppose -3*r - 9 = 3*n, 8*r - 13*r - 3 = -n. Let v be n/9 + (-60)/(-270). Solve -4*w + 5*w + 5 = v for w.
-5
Let q = -1204 - -1246. Solve -q*a = -26*a - 48 for a.
3
Let x(l) = 3*l**2 - 62*l + 145. Let b be x(18). Suppose 0 = 4*w - 6*w. Suppose w = 3*z - b - 8. Solve 0 = 2*m - 5*m + z for m.
1
Let k = 5741 + -5738. Solve 8*h = -9*h - k*h for h.
0
Let x = -107 + 65. Let m be x/9*(87/(-6) - -4). Let h = m - 48. Solve 0*u - h = -u for u.
1
Let m(p) = -7*p + 7. Let h be m(-3). Suppose -h = -2*q + 4*y, -4*q + 5*y - 5 = -64. Let g be -3 + q + -3 + 5. Solve g = -5*j - 0*j for j.
-3
Let y(c) = -c**3 - 34*c**2 - 65*c - 29. Let q be y(-32). Let k be (-4)/(-14) - q/(21/(-19)). Solve 6*z + 36 = -k*z for z.
-4
Let k(c) = -4*c - 9. Let f be k(-3). Suppose -3*g - 6 = 2*y - 7*g, 4*y - 15 = -g. Suppose h - y*h = -16. Solve -s - h = -f*s for s.
4
Let b be (-12 + 6)/(6/(-432)). Let v = b + -430. Solve -v*t + 1 = 7 for t.
-3
Suppose 136*p - 320 = -20*p + 616. Let y be 9*1*4/3. Solve 3*n - y = p*n for n.
-4
Suppose 0 = -1239*x + 1234*x. Solve x = 139*v - 162*v for v.
0
Suppose 0 = -9*h + 3*h + 66. Suppose -13*x = -h*x - 8. Let r be (2 + -2)/(5 + -6). Solve -x*d - 4 + 0 = r for d.
-1
Let q = 448 + -430. Suppose 13*o = q*o. Solve 6*h - 14 + 8 = o for h.
1
Suppose 5*y - 266 = 29. Let k = -52 + y. Suppose -k*w + 37 = 2. Solve 3*v + 7 = -w for v.
-4
Let k = -26953 + 26956. Solve 1129*b + k = 1128*b for b.
-3
Let a(b) = -b**3 - 28*b**2 - 74*b + 28. Let z be a(-25). Suppose -x = c, c + z*x = -4*c + 4. Solve 29 = -c*p + 19 for p.
-5
Let v = -316 + 324. Let p be (4 - v)*2/8*-2. Solve -2*a - p = -6 for a.
2
Let l = 9560 - 9548. Solve 138 = -35*m + l*m for m.
-6
Suppose 344*d - 349*d + 38 = 13. Solve 3*z + d = -10 for z.
-5
Let n be (-4)/4*1*-2. Suppose -4 = i - 4*i + n*o, -o + 1 = 0. Solve -i*h = 2*h + 12 for h.
-3
Let i(j) = -j**2 + 6*j + 93. Let v be i(13). Let k be -16 + 16 - -2*(-1 + v). Solve -k*d + 7 = 1 for d.
3
Suppose -55*x - 2749 = -2914. Solve -x*r + 6*r = -15 for r.
-5
Let x = 3408 + -3395. Solve 99 = -x*t + 34 for t.
-5
Suppose 4*h - 12 = 4*b, -3*h + 9 = 4*b - b. Let r be (h*-2)/(14/(-7)). Suppose r = 2*p - 5. Solve 0 = 2*w - 3*w + p for w.
4
Let a be 1*11 + (5 - 126/18). Solve -60*t = -57*t - a for t.
3
Suppose -650 = -5*t - 590. Let v be (-40)/(-18) + 4/(-18). Suppose 0 = -t*a - 2 + v. Solve a*z - 5 = z for z.
-5
Let x = 50 + 0. Suppose -x = 18*j - 43*j. Solve -1 = -j*u + 3*u for u.
-1
Let o(s) = -s**3 - 5*s**2 + 3*s - 16. Let p be o(-6). Suppose p = v - 5. Solve v*r - 35 = -28 for r.
1
Let i = -37 - -43. Let b = 97 + 4. Let u = b + -98. Solve n - u*n + i = 0 for n.
3
Let l = -271 - -279. Solve 0 = -l*m - 18*m - 156 for m.
-6
Suppose -46*p + 52*p + 48 = 0. Let z be 4 - 78/(2 + p). Solve -6*h + z = -13 for h.
5
Let w = 40 - 30. Suppose -l - 2*p - w = 0, -2*l = 3*l - 3*p - 2. Let y be ((-18)/12)/((-5)/(-4) + l). Solve y*k - 4 = 4*k for k.
-2
Let n be (0 - (-7 - -4)) + 22. Suppose 7*a = 2*a + n, -4*a + 26 = 