 - 328*r for m.
3
Let m be (-219 - -3)/4*6/(-4). Let f = m - 77. Solve -u + 4*p + 5 + f = 0, -2*p - 2 = 2*u for u.
1
Let l be (-4 - -5) + (21 - 2) + 4. Suppose 70*c - l = 64*c. Solve 5*b = c*w - 18, 4*w - 1 - 3 = -2*b for b.
-2
Let l(m) = m**2 + 13*m + 30. Let j be l(-10). Let g be j + (360/8)/5. Solve k - 2*s - 12 = 0, 7*s + g = -3*k + 4*s for k.
2
Let o = -464 + 315. Let l = 152 + o. Solve 4*m = -2*f - 14, -4*f + 3 = l*m + 6 for f.
3
Suppose -y - 5*k - 451 = -24, 4*k + 12 = 0. Let x = 415 + y. Solve -x*z + 7*z + 17 = 5*m, -4*m + z + 7 = 0 for m.
1
Let u be (3 + -1)/(6/9). Suppose 2*m + 9 = 13. Suppose 3 = -m*b + 11. Solve -u*x = 4*s + 7, 2*x - 2 + b = 0 for s.
-1
Let k(f) = 62*f - 15. Let n(i) = i - 2. Let b(j) = -k(j) + 6*n(j). Let y be b(2). Let z = -106 - y. Solve -5*v - c = 6 + 19, -4*v + z*c = 1 for v.
-4
Suppose s = 3*h - 7, 3*s = -5*h + 6*s + 9. Solve 0 = 3*v + 2*v + 5*p - 30, -v = h*p - 16 for v.
1
Suppose 0 = -n + p - 0 + 8, 5*n + 5*p = 20. Let v(k) = 2*k + 40. Let r be v(-16). Solve 5*l - 18 = -q, -3*q + r*q - n = -4*l for l.
4
Let l = 15116 - 15112. Solve l*q = -c + 4, c - 5*q + 8*q - 3 = 0 for c.
0
Let s(u) = 2*u**3 - 96*u**2 + 267*u + 139. Let y be s(45). Solve -13 = -y*l + f, 5*l - 5 = 12*f - 7*f for l.
4
Suppose -3*x = k - 12, -4*x - 6*k + 16 = -3*k. Suppose 4*y - x*b = 24, -5*b + 24 = 4*y - 8*b. Solve d - 2 = -v, -2*v = -3*d - y*v + 10 for d.
-2
Let g be 28/(-6)*(-99)/22. Suppose -8*j + g = -11. Suppose 14 + 10 = j*s. Solve -s*w - 33 = 5*c - 2*w, -c = 5*w + 15 for c.
-5
Let l be (-48)/(-18)*(-9)/(-6). Let i(u) = u**2 - 5*u + 1. Let m be i(l). Let f be (-55 - m)/(-2 + 0). Solve -4*h - 5*z - 10 = f, -4 = z for h.
-4
Suppose 4*m = -v - 135, 0 = -9*m + 4*m - 5*v - 165. Let s be m/119 + (-2)/(-7). Suppose t + 13 - 15 = s. Solve 0 = 2*j - 4*n + 20, -t*n + 19 = -j + 3*n for j.
-4
Suppose 136 = 5*y + 26. Let o = y + -24. Let u(k) = -2*k**3 - 2*k**2 + 2*k + 2. Let v be u(o). Solve 22 = -4*n + 5*i, 2*i - 16 = 2*n - v for n.
-3
Let w be (54/(-30))/(-2*12/40). Suppose 4 - 12 = -2*x. Suppose -3*z + x = -z. Solve z*r - 12 = r - w*t, -4*t = r - 16 for r.
0
Let l(m) = m**3 - 13*m**2 - 12*m - 30. Let t be l(14). Let i = t + 2. Solve -a + 5*z - 25 = -i*z, 5 = a + z for a.
0
Suppose 0 = 5*o + 2*r - 4*r - 3924, 5*o + r - 3933 = 0. Suppose 5*f - 801 + o = 0. Suppose 2*z - 5 - 5 = 0. Solve -p + 12 = z*v, f*p - 2*v + 2 = 2*v for p.
2
Let c(z) = z**3 - 5*z**2 - 7*z - 11. Let j be c(6). Let h be -14 - -15*3/(-9). Let u = j - h. Solve 5*w + 2*g - 4 = 0, w - 15 - u = 5*g for w.
2
Suppose -364*x + 876 = -944. Solve 27*k + 14 = -x*u + 26*k, 3*u + 4*k = -22 for u.
-2
Let n = -7891 + 7929. Solve z + 3*a = n - 55, 3*z - 19 = 5*a for z.
-2
Let l(f) = f**3 - f**2 - 3*f + 3. Let j(y) = -4*y**2 - 36*y. Let c be j(-9). Let u be l(c). Solve u*w = -w - 4*r + 24, -2*w = -2*r + 4 for w.
2
Let h(v) = 0*v**2 - 4*v + 2 + 5*v**2 - 3 - 11*v**2 + v**3. Let x be h(7). Solve -4 = 2*s + 2*m, -5*s + 3*m - x = -2*m for s.
-3
Let d be 340/3 + (-20)/(-30). Suppose 9*x = 306 + 756. Let b = x - d. Solve 4*n + g = 0, -1 = 3*n - b*g + 18 for n.
-1
Let m be 20 - (-1 + 23 + -7). Solve -3*x - 14*t - 5 = -16*t, 4*x + 2 = m*t for x.
-3
Suppose 5*p + 124 = -56. Let k = p - -35. Let c be k/(1/(-3 + 1)). Solve -2*y + 12 = c*g, -g + 18 = 5*y - 2*g for y.
4
Let f(z) = -5*z - 22. Let i be f(-5). Suppose -i*o + 10*u = 8*u - 290, 0 = -3*o + 3*u + 291. Let x = 116 - o. Solve 8 = 3*h - 4*h - 3*t, -5*t - x = 3*h for h.
-5
Let u = 3134 + -3131. Solve 3*c - m = 2*m + 18, 0 = 5*c - u*m - 28 for c.
5
Let h be 108*(-9)/(-6) - 2. Suppose 3*a + 5*n + 0*n = -h, 5*a + 248 = n. Let k = 50 + a. Solve 5*w + 3*t - 4 = k, 3*w - 7*w = 5*t + 2 for w.
2
Suppose 446 - 426 = 10*r. Solve v + 11 = -2*a, r = 2*v - a + 4 for v.
-3
Let o(g) = -2*g**2 - 11*g + 24. Suppose -306*t = -311*t - 35. Let z be o(t). Solve -n - 3*q = 4, -1 = 5*n - n - z*q for n.
-1
Let x be ((-30)/45)/(2/(-9)). Suppose 0 = -q - 3*q - 160. Let p be 32/q*(-1 - 14). Solve -3*v + x*i + 6 = 0, -2*i - 2*i = -p for v.
5
Suppose 1575 = 51*o + 12*o. Solve 4*w = 4*n - 8, -18*n + 20*n + 5*w = o for n.
5
Let m = 5095 + -5092. Solve b - 6*b = m*x + 22, -2*x = -3*b - 17 for x.
1
Suppose 4*i = -b, 2*i - 3*b = -89 + 117. Solve 2*c - 18 = -i*v, 52*v = 55*v - 12 for c.
5
Let s = 13817 - 13813. Solve 2*y + 47 = s*q + 35, -3*q = 2*y - 16 for q.
4
Suppose 10 = 4*d + 8*h - 10*h, 4*d = -4*h + 28. Solve -3*w - 2 - 4 = 3*x, -w + d = -5*x for w.
-1
Let c(b) = 130*b**2 + 4*b. Let j be c(-1). Let f = j - 126. Solve -t + 16 = 3*g, -5*t + f*g + 30 = 5*g for t.
1
Suppose a - 4*h + 484 = 0, 7*a + 3*h = 8*a + 483. Let g = a + 495. Solve -2*x + 4*u - 25 = -u, -2*x = -3*u + g for x.
0
Suppose p = -4*k + 15, 0*k - 5*p = 4*k - 11. Suppose 3*i = k*o + 22, 2*i - 2*o - o - 16 = 0. Solve -i*d - 16 = -6*d + 3*l, 5*d + 3*l = 20 for d.
4
Let d be (-4)/(-220)*115 + (-3)/33. Solve 4*x = -d*z - 0*z - 18, 0 = -z - 4*x - 15 for z.
-3
Let f be 12/(-27) + (-592)/(-36). Let b(d) = -d**3 + 14*d**2 + 33*d - 16. Let r be b(f). Solve m - 6 = -3*m + 3*n, -5*n + 10 = r for m.
3
Suppose -81*z + 484 - 322 = 0. Solve 0 = 4*w - 5*h - 45, 0*w + z*w = 4*h + 30 for w.
5
Let h = 5712 + -5712. Solve h = 5*x - s + 3 - 22, 4*x - 16 = s for x.
3
Suppose 3*z = 5*c - 19, -3*z - 33 = z + c. Let o(u) = -6*u + 16 - u + 5*u. Let f be o(z). Solve -s + p - 6*p = -23, 4*s - f = -5*p for s.
3
Let s be (-15)/3 - -5 - 24/(-2). Suppose -3*t + 3*d - 8*d + 24 = 0, d = 5*t - s. Solve 5*f - 11 = 3*v - 0*v, 0 = -2*f + t*v + 8 for f.
1
Suppose 0 = -c - 4*m + 1, -2*c - 4*m - 1 + 7 = 0. Solve -5*g = o - 6*o - 10, 0 = g + c*o + 22 for g.
-2
Let v(s) = -10*s + 34. Let k be v(3). Suppose 11*z - 40 = 6*z. Suppose 4*o = i - 0*i + z, 6 = 3*i + 3*o. Solve 2*y - y - 5*u - k = i, -u = 5*y - 20 for y.
4
Let x be 288/84 + 3/(-7). Let v(l) = 4*l**2 - 2*l + 8. Let p be 3 - 2 - ((-10)/(-5) - 3). Let f be v(p). Solve -5*d = 4*t + 4 - f, x*d = -t + 11 for t.
-1
Let m(z) = -z**2 - 14*z + 15. Let f be m(-15). Let w(n) = n**2 - 14*n + 2. Let k be w(f). Solve 4*s = 4*v + 24, -5*s = -k*v + 5*v - 14 for s.
4
Suppose 11*n = 6*n + 2*b + 20, 2*n + 2*b = 8. Solve -5*y - 4*s = 35 - 34, 6 = -2*y + n*s for y.
-1
Suppose -8*i + 2493 - 2373 = 0. Let t be (-174)/(-21) - 6/21. Suppose 4*w + 5*x - 8 = t*w, -x = -4*w + 8. Solve w*j - 5*m = -m - i, -3*m + 4 = 5*j for j.
-1
Let q be (-64)/(-20) - (-144)/180. Solve 2*w + 3 = -5*s, -4*s + 4*w - q = 4 for s.
-1
Let a(i) = 9*i**2 - 54*i - 61. Let u be a(7). Solve h = -4*c + 18, 2*h + u - 6 = 0 for c.
4
Suppose -84*x = 146*x. Solve -2*i + 2*w - 4*w + 14 = x, 0 = 5*w - 25 for i.
2
Let k = -1542 + 1558. Solve -4*d + k = -2*t, 4*t + 5*d - 2*d = 23 for t.
2
Let z(b) = -3*b - 3. Let t be z(-3). Suppose 0 = -76*q + 59*q + 13940. Let l be q/246*(1 + 14/4). Solve 5*s = 3*k + l, 4*s = t*s for k.
-5
Let a be 4/(-16)*-4 + 24 - 0. Let r be (-2)/10 + 530/a - 1. Let v(h) = -h**3 + 20*h**2 + 2. Let b be v(r). Solve 4*s = 4*g + 12, -3*g = b*s - 3 - 8 for s.
4
Let o(p) = -p**3 + 19*p**2 - 14*p + 282. Let a be o(19). Solve 31*w - a = 26*w + 2*y, 12 = -4*y for w.
2
Suppose -129*h = -128*h - 20. Suppose -57 + 17 = -h*y. Solve 5*t - y*t - 31 = 4*j, 2*j = 5*t - 33 for j.
-4
Let g = 4291 - 4278. Solve -v + 3*v + 7 = -d, -g = 4*v + d for v.
-3
Let u be -6 + ((-1419)/(-165) - 2/(-5)). Solve -x - u*w - 8 = 0, 5 + 3 = 3*x + w for x.
4
Suppose -5*b = -3*b - 16. Let m = 12 + 4. Let c be (-5)/(-2)*m/b. Solve 0 = -2*q + 4*y - 4, -3*q + c*q - y + 1 = 0 for q.
0
Suppose 8*h - 10*h + l + 29 = 0, 2*h + 3*l - 33 = 0. Suppose -35*d = -30*d - h. Solve 5*r = 5*u, -d*r - 3*u + 40 = 2*u for r.
5
Let h(g) = -3*g**3 - 41*g**2 - 18*g + 108. Let u be h(-13). Solve 0 = -3*t + u*a - 10, -1 = -a - 3 for t.
-6
Let n be 27/((-1053)/(-104)) - 12/(-9). Solve 14 = -2*d + y + 15, -20 = n*y for d.
-2
Let n(c) = -c**3 - 27*c**2 + 57*c + 69. Let w be n(-29). Suppose 46 = 2*l - 3*r, -2*l - r + w = 3*l. Solve 50 = -5*z + 5*a, -3*a - 2*a + l = z for z.
-5
Suppose 2*b - 9*b + 42 = 0. Let d(i) = -i + 9. Let g be d(b). Solve 4*q - 2*p - 4 = 0, 3*p = g*q + 2*q - 3 for q.
3
Let o(v) = -61*v - 361. Let d be o(-6). Solve -17*l + 18*l = b + 5, -3*b + d = 2*l for b.
-1
Suppose -46*t + 200 = -41*t. Suppose 9*q + t = -23. Let h be -7*(1/q)/(8/24). Solve 0*s - 3 = 5*d + h*s, 0 = -5*d + 3*s - 27