+ 82*g - t for m.
0
Let z = 5854 + -5852. Solve -9*m + 30 = 3*y, 0 = -6*y + 7*y - z*m for y.
4
Suppose -3*d - 31 + 151 = 0. Suppose d + 38 = 2*v. Let m = -37 + v. Solve -1 = f - b, 0*b + 10 = m*f + b for f.
3
Let r be 21/(-105) + 63/15. Suppose 4*p + 0*m + 4 = -3*m, 4*m = -r*p - 8. Solve 0 = p*x - z + 5, 5*x - 6*x - 5 = -3*z for x.
-2
Let x = -107 + 118. Let q(i) = -i**2 + 16*i - 31. Let j be q(x). Solve -3*g + 0*g + j = 5*s, -g + 3*s - 6 = 0 for g.
3
Suppose 3*p + 0*p - 2*f - 5 = 0, -3*f - 3 = 0. Suppose 4*u - 44 = -3*h, -3*h + 13 = p. Solve 0 = -5*s + x - u, 7*s - 9 = 4*s - 4*x for s.
-1
Suppose -119*z = -42 - 434. Solve -5*g = 4*r + 8, z*g + r = g - 9 for g.
-4
Let b(l) = 17*l + 442. Let z(u) = 120*u + 3092. Let m(i) = 20*b(i) - 3*z(i). Let j be m(-22). Solve j*x + 4*t = 0, -3*t + 7 + 5 = -x for x.
-3
Suppose 10*z - 6*z = 0. Let s be -17 + 40 + 1 + (-6)/(-2). Suppose -33*g - s = -42*g. Solve 3 = 2*i + 5*w - 16, 5*i - g*w - 1 = z for i.
2
Let a(y) = -14*y**3 - 83*y**2 - 12*y + 20. Let l be a(-6). Solve z - 18 = 4*b, -124*z - b = -l*z + 12 for z.
2
Let a be (-186)/(-10) + 715/(-25) + 29. Solve x + y = -6, 3*x + 20*y - a*y + 8 = 0 for x.
-1
Let t be 1/1 - (4 + -2 - -1). Let u be t + 0 - (0 + 1) - -3. Let y be u/(((-9)/1)/(-3)). Solve -3*m + 13 = -2*x, y*m = -5*m + 2*x + 23 for m.
5
Let i(b) = b**3 - b**2 - b + 3. Let g be i(2). Suppose 576 = 14*f - 12. Let x be ((-30)/35)/((-9)/f). Solve x*d = -l + 13, g*d + l = -0*d + 16 for d.
3
Let o(f) = 33*f - 132. Let r be o(4). Solve t + 10*q - 5*q = -29, r = 4*q + 20 for t.
-4
Suppose 0 = y - 2*b - 15, y = -3*y - 5*b + 112. Let o = y + -4. Let d = o - 15. Solve 4 = 4*g - 4*a, 3*g + d*a + 3 = -8 for g.
-1
Suppose -410*g + 26 = 78 - 872. Solve -g*b = -3*r - 1 + 18, r = 3*b + 22 for r.
1
Suppose -h - 4*h + 3*x = -70, -4*x + 13 = 3*h. Suppose -h*k - 130 + 295 = 0. Solve 0 = -4*d - 2*q - 6 - 4, -5*d = -3*q - k for d.
0
Let v(l) = 2*l**2 - 9*l - 24. Let s = 2 + -4. Let j be v(s). Solve j*k = 5*q + 6*k - 24, -3*k = 5*q - 23 for q.
4
Let f(d) = -d**3 + 7*d**2 + 15*d + 18. Let p be f(9). Let j be (-3)/(p/(-6)) - -2. Solve -4*w - 3*n + 0*n = -22, j = 3*w - 4*n - 4 for w.
4
Suppose 364*b - 27 = -5*u + 361*b, 0 = 4*u + 3*b - 24. Solve h + u*d = -17 + 30, 0 = h - d - 1 for h.
4
Let n be 28/((-27)/(108/(-28))). Solve m = -m - 8, 12 = -n*j - 3*m for j.
0
Let o = -3233 + 3237. Solve 2*x + o*c - 20 = 0, -12 = -4*x + 6*x - 4*c for x.
2
Suppose 8*u + 4428 = -u. Let k = 497 + u. Solve k*m + 3*l = -20, 0 = -m - 2*m - l - 8 for m.
-1
Let i(x) = -4*x. Let u be i(-1). Let c be (1/9 + 2/9)*0/30. Solve c = n - 4*d + 3, 3*n + u*d = -9 for n.
-3
Let q = -3184 - -3188. Solve -6*v + 3*v - 16 = 4*s, q = -s - 5*v for s.
-4
Suppose 0*x + 5*o + 38 = 2*x, 0 = 3*x - 2*o - 24. Solve 5*a + 17 = -3*t, -3*a + 29 - 45 = -x*t for t.
1
Suppose 2*k = 3*l - 15, 20 = -3*k - 0*k + 4*l. Solve -4*x + 2*t - 6 = k, 0 = 4*x + 2*t + t + 31 for x.
-4
Suppose 0 = 2*q - 5 - 5. Let h be 1950/14 + (-58)/203. Let y = 144 - h. Solve -3*p = 2*z + 2*z + 4, q*p = y*z - 30 for p.
-4
Let i = 286 + -283. Solve 0 = -3*g - 4*o + 11, -i*g + 4*o = g + 4 for g.
1
Suppose -2*v = 2*v. Suppose -2*q = 6*q + 224. Let d be ((-5)/(-3))/(q/(-84)). Solve i - 2*z + 5*z - 4 = v, 2*z - 20 = -d*i for i.
4
Suppose 0 = 27*z - 23*z + 3412. Let h = z - -857. Solve 3*r - 5*d = -r + 28, h*d = -16 for r.
2
Suppose -412 = -12*p - 352. Let b be (0 - -2) + 2*2. Let z be (-5 + -1 + 3)*15/(-9). Solve p*y - z = 0, 4*y + b = -h - 4*h for h.
-2
Let r(m) = -m**2 + 50*m - 61. Let f be r(48). Solve -f + 26 = -v + y, -5*y - 37 = -3*v for v.
4
Let a(r) = r**2 - 13. Let p be a(4). Suppose 2*m - 4*m = -56. Solve 0 = -2*k - 5*g - m, -2*k - 16 = p*g - g for k.
-4
Let a be 5*12/10 - (3 - 0). Suppose 4*s + 5*x = 1, -a*s = -5*s + 2*x + 14. Let v(w) = -2*w - 2. Let j be v(-3). Solve s*p + 8*t = j*t, -10 = 5*t for p.
2
Let o = -1441 + 1443. Let f(g) = g**3 - 8*g**2 + 6*g + 9. Let s be (2/(-6))/(1/(-21)). Let d be f(s). Solve -o*i = 5*y - 23, -6*i = -d*i + 4 for y.
5
Let s be -142 + 6/(-3) + -3. Let c = 150 + s. Solve 15 = -c*i, 5*i + 0*i = -3*f - 31 for f.
-2
Suppose 2*k + 6 = 0, 2*k + 17 = -5*s + 6. Let p(n) = -6*n**3 - 2*n**2 - n. Let t be p(s). Solve -2*d + 15 = -4*r - t, -4*r = -d + 18 for d.
2
Let q be (-1)/(117/12 + (-100)/10). Solve -8*f + 6*f = -4*l, 16 = -q*f for l.
-2
Let k = -350 - -354. Let d be (2 + (k - -3))/(17 + -14). Solve -d*t + 2*t = 2*q + 6, -2*t + 3*q = 5 for t.
-4
Suppose -27*l + 26*l + 2452 = 5*b, 994 = 2*b - 4*l. Let h = -489 + b. Solve -2*m - m - 16 = -h*g, 5*m = 5*g - 35 for g.
5
Let c = -28544 + 28546. Solve -39*k = -42*k, 12 = 3*z + c*k for z.
4
Let d = 221 - 154. Let a = d - 46. Solve 0 = -2*f - 5*s - 15, -5*f + 5*s - s - a = 0 for f.
-5
Suppose 4*s + 4*s - 63 = -31. Solve 95*x = -s*b + 90*x - 28, 2*b - 16 = 5*x for b.
-2
Suppose 4*g + 3*p - 11 = 0, -3*p + 17 = g + 21. Solve g*l = 3*l + z + 14, 2*l + 10 = -5*z for l.
5
Let h(z) = z**3 + 16*z**2 + 18*z + 30. Suppose -8*n - 141 = -21. Let v be h(n). Let d be 1/(((-15)/5)/v). Solve i - 5*i + 3*m = 26, i = -d*m + 5 for i.
-5
Let w = -504 - -499. Let y(n) = -n**2 + 16*n + 109. Let a be y(w). Solve 0 = -3*z + 3, 2*m - a = -m - 4*z for m.
0
Let f = 4550 - 4550. Solve 5*d = -5*x + 10*d - 15, f = -5*x + 2*d - 12 for x.
-2
Let b = -800 + 802. Solve 2*f + 0*f - 9 = -5*k, b*k + 4*f + 6 = 0 for k.
3
Let b = -13444 - -13448. Solve -4*c - 3*k - b = 0, -c - 3*c + 12 = -k for c.
2
Suppose 2*k - 68 = -2*u, 191*k - 195*k + 28 = 0. Solve -5*d - u = -7, -5*t - 23 = 2*d for t.
-3
Let g = 3 + 0. Suppose 4*p = 14*p - 30. Suppose 2*o - 3 = b, 5*o - 34 = -p*b - 10. Solve -b*x = 4*t + 14, -x + g*t = 2*x for x.
-2
Let z be 394/(-26) - (2 + (-140)/65). Let s(i) = -2*i - 28. Let d be s(z). Solve 5*b = -2*j + 11, -2*j + 3 = -d*b - 1 for j.
3
Let b = -33680 - -33680. Let y be ((-6)/(-4))/(9/18). Solve y*x + 2 = -i + 8, b = -5*i + 3*x + 12 for i.
3
Suppose 2*a + 7 = -4*c + 29, 0 = 4*c - 2*a - 10. Solve 3*x + 5*j - 23 = c*x, 4*x - 2*j = -20 for x.
-3
Let h(x) = -2*x**2 - 11*x + 23. Let i be h(-5). Let g be -1 + 1 + 1 + (27 - i). Solve g = 2*f + z + 11, 17 = -4*f - 3*z + 2*z for f.
-3
Let a(y) = -y**2 - 97*y - 2057. Let s be a(-64). Solve -s*j + 58*j = -5*f, -3*f = -4*j for f.
0
Let t(d) = d + 32. Suppose -7*v - 4 = -25. Suppose -70 = v*f - 5*c, 0*c + 72 = -2*f - 3*c. Let b be t(f). Solve 0 = 2*s - 2*j - 2, 5*s + 1 = b*j - 3 for s.
-2
Let b be 10/(-4)*(-126)/15. Suppose -10*t + 3*t = -b. Solve -2*s - 2 = 0, 3*m - t*s = m + 5 for m.
1
Suppose 0 = -5*x + 4*y - 4, 72 - 58 = -x + 3*y. Solve 0 = x*l + 8, -4*q + 1 = 5*l + 3 for q.
2
Let v be (204/272)/((4/(-6))/((-8)/3)). Solve -3*o + 94*b - 3 = 90*b, 0 = -v*b - 9 for o.
-5
Let i(n) = 152*n - 446. Let s be i(3). Solve -5*w + 5*x + s = 0, -4 = -38*w + 36*w - 2*x for w.
2
Let q be (-60)/(-150) - (-2)/(-5). Suppose 4*l + 15 = -p + 45, q = p - 2. Solve -o = -a + 4, 3*a = -3*o + 11 + l for a.
5
Let i = 179 + -251. Let u = i + 79. Suppose l = -u*l + 40. Solve -3*m + 32 = 4*g - 0, l*g - 5*m = 5 for g.
5
Let v(d) = -d**3 - 12*d**2 - 2*d - 21. Let q be ((-144)/10)/1*(2 - 7). Let w = -84 + q. Let m be v(w). Solve m*i + 0 = -3*n - 3, -2*n = 6 for i.
2
Suppose -13*r + 6*r - 448 = 0. Let z = r + 66. Suppose 2*b - 5*u + 2*u = 20, z*b + 4*u = -8. Solve 2*x = d - 2*x - b, 0 = d - 5*x - 6 for d.
-4
Let s(f) = f**2 + 20*f - 1266. Let i be s(27). Solve i*g - 13 + 5 = -2*w, -4*w - 5*g = -14 for w.
1
Suppose -161 = 14*o - 7*o. Let w(v) = v + 28. Let f be w(o). Let a = 45 - 17. Solve -2*h = -10, -3*z + f*z = -4*h + a for z.
4
Suppose -218*d - i + 23 = -213*d, -2*d - 2*i = -14. Solve d*r - 7 = -6*s - 15, 3*r = -3*s - 9 for r.
-5
Suppose -2*u + 42 = 5*t + 120, 4*u + 5*t + 156 = 0. Let a be 6/u - (-328)/104. Solve 0 = 5*j + 2*d + 2, -a*j + 3*d - 18 = -0*j for j.
-2
Let i be (6/(-8))/((5 - 13)/128). Suppose -3*z - 28 = -7*z. Let n be 122/14 + 2/z. Solve 2*j + q = -i, -q - n = -4*j - 27 for j.
-5
Let f = -36073 - -36082. Solve 0 = -2*n - 5*z + 19, 5*n = -4*z + 31 - f for n.
2
Suppose 6*n - 26 = 94. Let b(i) = i**2 - 2. Let s be b(2). Suppose 8 = s*l - 0*l, 0 = 4*m - 4*l. Solve 2*o = 2*u, u + 0*o = -m*o - n for u.
-4
Let o(s) = 2*s**2 + 7*s + 12. Suppose 11*k = -13 - 20. Let p be o(k). Suppose -g = -2*g + p. Solve -5*r - 3*t = -g, 0 = 3*t - 5 - 4 