for m.
-1
Let r(i) = -6*i**2 + 102*i - 96. Let l be r(16). Solve 3*s - 30*j + 34*j - 5 = l, 0 = -4*s + 4*j + 16 for s.
3
Let b(a) = -13*a**3 + a**2 - a + 1. Let n be b(1). Let y be (36*n/40)/(6/(-15)). Let g be 1/3 - (-45)/y. Solve -g*u - 12 = -4*s, -2*u - 6 = -2*s + u for s.
3
Suppose -l - 1 + 10 = 0. Let h(t) = 9*t - 144. Let o be h(17). Suppose 43*k = 46*k - o. Solve -m = 2*r - l, 7*r + 4*m = k*r + 20 for r.
4
Suppose 96*z + 160*z - 512 = 0. Solve -v = -z, -161*o + 2*v + 8 = -165*o for o.
-3
Let c = -148 + 165. Let w = c + -12. Solve -d - 3 = 5*r, -w*d - 12 = -d - r for d.
-3
Let j be (-4 - -5)*(-332)/(-4). Let x = -86 + j. Let i be 20/2*(2 - x/(-2)). Solve -i*z + 20 = -5*f, -2 - 9 = -3*z + 4*f for z.
5
Let d(c) = -c**2 - 15*c - 34. Let q be d(-9). Suppose -24 = -4*o + q. Solve 5 = -5*l + 5*r, r = -4*l - 2*r - o for l.
-2
Let c = 3 - 0. Suppose -5*s = -5*o + 10, 0 = 2*s - 3 + 5. Let w(x) = 2*x**3 + x**2 - 2*x + 1. Let g be w(o). Solve 3*d = -h + 10, 5*d - g*h - 10 = c for d.
3
Let y(d) = d**3 - 10*d**2 - 11*d. Let a be y(11). Suppose -5*t + 3*q = -33, -2*t - 4*q + 14 - 6 = a. Solve -4*i + 4*c - c + 13 = 0, 0 = -3*i + c + t for i.
1
Let k(o) = 6*o**2 + 4*o - 23. Let q(r) = -r**2 - r + 4. Let b(s) = -2*k(s) - 11*q(s). Let i be b(2). Solve -n = w - 2, 0*w = 2*w + 4*n - i for w.
2
Let q = -4652 + 4657. Solve -h + q*a = 9, 7 = -3*h - 4*a - 1 for h.
-4
Suppose 4 = -n - 2*u - 2*u, 12 = n - 4*u. Solve 2*y + 3*a = 7, -3*y + 6 = -a + n*a for y.
-1
Suppose -87*k - 15*k = 15*k - 234. Solve -k*c = -6, 2*n = -n + 3*c - 27 for n.
-6
Let t = -7250 + 7252. Solve -3*w = t*u + 13, -5*u - 3*w = 2*w + 20 for u.
1
Let t = -28 - -24. Let r be t/((-8)/14) + -4. Suppose -r*w + 16 = -11. Solve 2*q + 5*z = w, 0 = -5*z + 3*z + 2 for q.
2
Let x(n) = -n**3 + n**2 - 2*n - 6. Let z be x(3). Let w be (1/(-8) + z/144)*9. Let r be (9 - 3) + -4 + w + 14. Solve 0 = -d - 2*u + r, 4*d - 3*u = -3 - 0 for d.
3
Let c = 11214 - 11207. Solve -m - c*u = -2*u - 20, 3*m + 5*u = 10 for m.
-5
Let x(f) = 22*f + 26. Let b(k) = k + 1. Let v(n) = -3*b(n) + x(n). Let a be v(-1). Solve -5*z = a*g + 4 + 4, 2*z - 6 = 3*g for z.
0
Suppose 1248 = 23*r - 19*r. Let l = 312 - r. Solve -4*g + n - 6 = 10, l = 2*g - n + 6 for g.
-5
Suppose 8*t + 201 = -g + 3*t, -870 = 4*g - 2*t. Let f = -210 - g. Solve -v - 1 = -4*j, j - 7 = -4*v + f*j for v.
3
Let q be (30 + (-5022)/155)/(-2 + (-86)/(-45)). Solve -g + 26 = h + q, -2*g = -2*h - 6 for g.
1
Suppose 4*v - 3*m - 2*m + 5 = 0, -4*v - 23 = m. Let f be (9 + v + -1)*1. Solve 23 = 3*n - 2*k, -f*n + 4*k + 9 + 22 = 0 for n.
5
Suppose s + 114 = -41. Let l = -153 - s. Solve 2*p + l*v = -3*p - 16, -2*v = 4*p + 12 for p.
-4
Let k(o) = 3*o + 39. Let b be k(-6). Suppose -18*c + b*c - 9 = 0. Solve -35 = y - 6*y - 5*g, 0 = 5*y - c*g - 3 for y.
3
Let x(o) = o**3 + 3*o**2 - 2*o + 42. Let a be x(-5). Solve a*h + 3*y = -4, -h + y - 4 = -2 for h.
-2
Let d(w) = -w**3 + 26*w**2 + 55*w + 26. Let g be d(28). Let p be 10*g/5 - (-1 - 5). Solve 5*t - 18 - 11 = 3*y, 0 = -p*t + 5*y + 23 for t.
4
Let r = 365 + -363. Let o be r + -7 - (-9 - -2). Suppose 2*q - 48 = -2*q. Solve 2 = -3*h + o*s - q, 5*h - s = -14 for h.
-2
Let c be 18/4 + (-230)/92. Suppose -z = -4 - 0. Suppose 5*t = 5*q - 105, 40 = -4*q + t + 118. Solve 3 = z*u + 2*h + q, 0 = c*h + 8 for u.
-2
Suppose 0 = 4*g + g - 20. Suppose -86*u + 87*u - 5 = -3*o, -2*u = 2. Solve -2*n = -3*p + 2, o*n - 5*n - 1 = -g*p for p.
4
Let f be (0 - (-3 + 2)) + 231. Let y = f - 223. Solve n = -2*t - t - y, -5*t = -5*n + 15 for n.
0
Let l = 7243 + -7223. Solve 2*v = m - 14, 0 = 22*v - l*v - 5*m + 38 for v.
-4
Let h(f) = f**3 + 12*f**2 + 11*f + 7. Let q be h(-11). Suppose -9*s = -q*s. Suppose s*u + 9*u - 18 = 0. Solve 4*l = -2*j - 8, -l + 2 = -4*j - u*l for j.
0
Suppose -4*q = -2*b + 754, 2*q = -b - 0*b + 397. Let h = -375 + b. Solve 0 = 3*k + 4*u + 8, 0 = -3*k + k - 4*u - h for k.
4
Suppose 58 = 225*n - 196*n. Solve -4*l - 3*h - 17 = -2*h, 31 = -n*l - 5*h for l.
-3
Let v = -20 - -49. Let w = v - 19. Suppose 20 = -2*o, -6*a + 14*a = 3*o + 70. Solve -5*n - 10 = -0*n, 3*s + w = -a*n for s.
0
Suppose 2*p - l = 3, 18 - 15 = -2*p + 3*l. Solve -4*i - 4 = 3*h, 2*i - p*h - 24 = 2*h for i.
2
Let c(v) = -v - 6. Let r be c(-6). Let w(j) = 5*j + 1. Let q be w(r). Let n be (-2 - q)*(-1 - 0). Solve -6*b + n*g - 9 = -4*b, 15 = -4*b + 3*g for b.
-3
Let d be (11/(-11))/((-3)/333). Let g = 115 - d. Solve -5*a + 20 = 4*k, -g*k + 4 = -a - 16 for k.
5
Let k = -379 - -137. Let q = 244 + k. Solve 3*o - h = 2*o - 3, -o + q*h - 8 = 0 for o.
2
Suppose 2*v - 47 - 61 = 0. Suppose 2*a + 4*d - v = -0*a, -88 = -4*a - 3*d. Suppose -22*j = -a*j - 6. Solve 0 = -z + 1, 0 = -j*o - 4*z + 14 for o.
5
Let w(c) = -46*c - 2342. Let m be w(-51). Solve -13*f = -12*f + 4, m*q = -f - 4 for q.
0
Let g(r) = -r**3 - 3*r**2 + 2. Suppose -5*o + 2*o - 9 = 0. Let w be g(o). Suppose w*u + 3*u = 25. Solve 0 = n - u*s + 5, 0 = n + s - 1 for n.
0
Let x(p) = -650*p - 1945. Let c be x(-3). Solve -4*h = -c*f + 5, -5*f + 22*h + 15 = 20*h for f.
5
Suppose 0 = -f + 9*f. Let l = -43 + 47. Let x be 1/(-3)*0 + 16. Solve f*o - 4*o = -x, -l*o + 20 = -g for g.
-4
Suppose -3*a = -4*c - 90, a - 20 = -0*a - 2*c. Suppose 79 + a = 7*d. Let s(r) = 2*r - 26. Let m be s(d). Solve -3*w = -u + m, -3*w = -u + 5*u + 29 for w.
-3
Let z be (-9)/(54/(-12)) + 37. Suppose 0 = -14*o + z*o. Solve -4*w + 20 = -2*f - o*f, 3*w = f + 13 for w.
3
Suppose 2*j - 129 + 5 = 0. Let p = j - 57. Solve -2*r - 3 = a + 2*a, -2 = -p*r + 2*a for r.
0
Suppose 58 = 21*l + 16. Suppose m - 2*h = l, -2*h + 6 = m - 0*h. Solve -m*b = -12, 4*f + 3*b - 8 = -b for f.
-1
Let b = 1 + -13. Let j = -530 + 516. Let l = b - j. Solve -5*i - 2*u + 27 = 2, 2*i - 10 = -l*u for i.
5
Let o be ((-9)/6)/(3/(-4)). Let a be 218*((-9)/(-6) + -1) - -1. Let c be 5*-1 + a/11. Solve o*r + 2*d - 14 = 7*r, -5*r + c*d - 20 = 0 for r.
-2
Let t(j) = 2*j**3 + 38*j**2 - 58*j - 1092. Let n be t(-19). Solve 15*l - n*l + 2*m = -16, 14 = -l + 5*m for l.
-4
Let c = 5858 - 5848. Solve t = 3*q + c, 4*q - 6*q = -3*t - 5 for q.
-5
Let d(t) = -3*t**3 - 7*t**2 - 4*t - 2. Let f be d(-2). Let l be (-3)/12 - (-1)/4. Solve l = 4*i + 5*z - 20, -7*i + 3*z = -f*i + 12 for i.
0
Let x = 335 + -333. Suppose -3 - 36 = -3*j. Suppose -2*w + j = b, -3*b = w + 2*w - 27. Solve -3*z = 15, 2*z + 7 = b*o + x for o.
-1
Let a(o) = -4*o + 32. Let i be a(8). Suppose i = -6*r - 544 + 106. Let f = -68 - r. Solve -9 = -l - f*p, 2*l - 2*p + 4 = -p for l.
-1
Let i = 458 + -448. Let d(b) = -b + 21. Let m be d(10). Solve 2*t - m = -6*u + u, -4*u = 2*t - i for t.
3
Suppose 5*p = 7 + 8. Suppose -c + 9 = 3*q, 216 = -2*c - 3*q + 237. Solve -24 = p*d - 3*m, 3*d = 5*d + 5*m - c for d.
-4
Suppose -o = 3*l + 126 - 138, 5*o = -3*l + 24. Solve -m - 7 = -5*t, o*m - 7*m + 4 = -4*t for m.
3
Let g = -550 - -268. Let b be g/(-22) - 8/(-44). Solve -x - 4*z + b = 0, 2 = -x - z + 2*z for x.
1
Suppose -57*v = -2*z - 59*v + 8, -3*z - 2*v + 10 = 0. Solve -3*o - 5*d - 20 = 0, -4*o - 5*d - z = 23 for o.
-5
Suppose 5*l + 8 = 3*l. Let q be (-15)/l - (-1)/4. Solve -q*i - 1 = 3, 6 = h - 3*i for h.
3
Let f be (-4)/18 + (1024/72 - 1). Suppose -f*x + 75 = 2*x. Suppose 0 = 2*o - 8, 5*i + 0*o = -x*o + 45. Solve 5*d - 25 = 0, 0 = -i*v - 4*d + 39 - 4 for v.
3
Suppose 465*a - 21 + 127 = 518*a. Solve b - a*g + 8 = 0, 14*b - 10*b - 5*g = -20 for b.
0
Suppose 109*p = 111*p - 6. Let g(d) = -d**2 + 6*d + 9. Let f be g(6). Suppose l + p = f. Solve 14 = q - 5*m, -q + 2*m - l + 14 = 0 for q.
4
Suppose 0 = -22*j + 1560 - 1516. Solve 4*r + j*l - 16 = 0, -27*r + 26*r - 3*l + 9 = 0 for r.
3
Let n be 253/77 + (-2)/7. Let r(j) = j**3 - 11*j + 12. Let f be r(n). Solve -5*a - f = 3*i, 4*i - 2*a + 1 = 19 for i.
3
Let b(p) = 172*p + 13. Let r be b(0). Solve -r*x - 4*w - 4 = -18*x, 0 = -5*x + 5*w + 5 for x.
0
Suppose c = -34 + 43. Suppose -20 = -c*f - 2. Solve 4*v - 25 = 3*s - f*s, 0 = 5*s - 4*v + 45 for s.
-5
Suppose 108 = -18*b + 15*b. Let a = b + 40. Solve -5 = f - a*f - 4*w, w = 2*f + 4 for f.
-1
Let t be (-4)/(-5) - (-6783)/(-85). Let r = t - -84. Solve -4*v - r*f = 6, -3*v = -0*v - 3*f - 9 for v.
1
Suppose -4*h = 8*h - 1080. Let w = h - 86. Solve w*g = 7*z - 4*z + 14, -4*z - 14 = -3*g for g.
2
Suppose -4*q - 2*p = -7*p - 1594, q - 388 = -4*p. Let m = q - 394. Solve 4*s + 