6*s, -4*s = -4 for n.
1
Suppose -39*n + 119 = -86 + 10. Solve -a + 14 = -2*m - m, -n*a + 10 = -3*m for m.
-5
Let t be 6/4*(-13)/((-234)/120). Let n be 4/t + (-85)/25. Let k be (-12)/n + 1 + -3. Solve 3*l - 6 = -k*f, -3*l = -4*f - 0*l - 6 for f.
0
Let m = -127 - -127. Suppose k - f = -4 + 9, m = 4*k + 2*f - 38. Solve -b = -2*j - k, -j = 4*j - 2*b + 20 for j.
-4
Let a(i) = i**2 + 13*i + 15. Let f(v) = 4*v - 33. Let o be f(11). Suppose 134 - 2 = -o*l. Let d be a(l). Solve x - u - 24 = 5*x, -x + d*u = -7 for x.
-5
Let a be (2 - 2) + (3 + -3 - -3). Solve b = -5*p - 18 + 25, 2*p + a*b = 8 for p.
1
Let v(r) = -236*r + 473. Let q be v(2). Solve -q = -5*w - 2*g - 6, -w - 3*g = 14 for w.
1
Let x(d) = -586*d - 9938. Let o be x(-17). Solve 3*w - 35 = o*b - 28*b, -5*b = 3*w - 40 for b.
5
Suppose 4 = 2*m, m - 5 = 3*q - 3. Let b = 45 - 43. Let x(z) = -z**3 - 6*z**2 + 5*z + 6. Let w be x(-7). Solve q = f - b*l + l - 1, -4*l = 4*f + w for f.
-2
Let w be (-19)/(-2 + (1 - 0)). Let d(x) = x**3 - 18*x**2 - 20*x + 16. Let q be d(w). Let l be 0*q/(-12)*(-1 - 0). Solve -2*a - 5 = -k, l = 5*a - 3*a + 2 for k.
3
Suppose 0 = 3*m + 6, 26*t - 5*m = 23*t + 55. Suppose -c = -3*o - 2 - 3, -3*c + o + t = 0. Solve -11 = 4*j - c*d, -d = 4*j - 6 + 23 for j.
-4
Let n(w) = 59*w**3 - w**2 + w. Let l be n(1). Suppose -l = 7*r - 717. Let t = r + -88. Solve -k - o = -3, -4*k + t*k + o = 3 for k.
0
Let j(q) = -4*q - 32. Let o be j(-9). Suppose -o*g + 16 = -2*v, -g + 2*v = -0*v - 10. Solve -1 + g = 3*z - h, z = -h - 5 for z.
-1
Let t be 720/264 - ((-15)/55 + 0). Solve 5*g - 4*s + 45 = 0, -g + 10 = t*s - 0*s for g.
-5
Suppose -2*f = -7*f - 370. Let x be -148*((-20)/(-8) + -2). Let a = f - x. Solve 2*p + 15 = 5*w - 2*p, -4*w + 5*p + 12 = a for w.
3
Let o be ((-18)/(-4))/((-18)/(-12)). Suppose 5*k + 18 = 4*u, 12*u - o*k - 8 = 11*u. Let p be 3 + (-1)/3*0. Solve 3 = j - 0*f + 4*f, -p*j - u*f = -9 for j.
3
Suppose 3*m + 21*m = 50*m. Solve -4*z = -4*b - 20, z - 1 + m = -b for z.
3
Let k(m) = -m + 3. Let f(b) = b - 6. Let y(d) = 3*f(d) + 6*k(d). Let i be y(-3). Solve 4*x + i + 11 = 0, 30 = -2*q - 4*x for q.
-5
Let d = -2 + 12. Suppose 913*v - 901*v = 0. Solve 2*p - 3*j - j = -d, 3*j = v for p.
-5
Suppose -103 + 139 = 5*q - 3*h, -3*q = 4*h - 10. Solve 3*x - 4*o - 15 = q*x, -o = 0 for x.
-5
Let x = 2506 + -2498. Solve -30*h + 25*h = -4*z - 7, -z + x = 2*h for z.
2
Let k be ((-5)/10)/(5/120)*(-4)/6. Solve 0*r = -r + 2*t - k, -20 = 3*r - 4*t for r.
-4
Suppose -5*o + 379 - 372 = -2*c, 2*c - 28 = -2*o. Solve -3*k = 4*q - 12, -3*q = -5*k + c*k - 9 for k.
0
Let a(l) = -l**2 + 15*l + 103. Let v be a(20). Suppose -2*t + 2*g = -14, 11*g - 12*g - 29 = -v*t. Solve 3*h + 3 = 0, 4*p - p = -4*h + t for p.
5
Let t be -18 + 36 + -18 + 6 + -1. Solve -3*y = -5*q - 23, 16 = 4*y - t*q - 8 for y.
1
Let n be (10/(-6))/(1/(-3)). Let q be (-10)/((-7)/7) - (9/3 - -2). Solve -2*i = -q*p - 26, 0*p - 2*p - 23 = -n*i for i.
3
Let l be 5/7 - 2*2/(-14). Let d be (-13)/((l - 3) + 3). Let z = -8 - d. Solve 50 = -6*f + f - z*y, -y = 4*f + 25 for f.
-5
Suppose 392*i = 408*i - 9 - 55. Let g(f) = 2*f - 3. Let d be g(2). Let o be 27/12 + d/(-4). Solve -5*q - i*l + 14 = 0, 0 + o = 3*q - 4*l for q.
2
Let q be 14/(-6)*(-3 - 3)*(-6)/(-42). Solve -2*u = -4*v - 10, -q*v - 2*v - 2*u = 22 for v.
-4
Let a be (-322)/28*104/(-598). Let v be (1/(-2))/(3/(-24)). Solve v*t + 6*z = a*z, t - 2*z = -12 for t.
-4
Let f be 18 - 7/21*12. Suppose 0 = -2*x + f + 2. Solve w = 3*q - q - 6, 3*w + x = q for q.
2
Let f = 23592 - 23587. Solve -2*m + f*u = -3, 9*m + 1 = 6*m + 2*u for m.
-1
Let l = -11043 + 11053. Solve 5*c - 12 = -d, -4*d + 5*c - 17 = l for d.
-3
Let f = 5493 + -5488. Solve -3*n + f*n = -5*s - 25, 2*s + 10 = 0 for n.
0
Let s = 277 - 258. Suppose 0 = -s*r + 10*r. Solve 2*i + 13 = -3*i - 4*c, r = -3*i + c - 18 for i.
-5
Suppose -4*g = -294 + 310, -3*p - 3*g - 6 = 0. Solve y = p*h - 5, -3*h + 1 = y - 19 for y.
5
Suppose 13*m - 11*m = 4*f - 34, f - 5*m - 22 = 0. Suppose 4*x + 3*a = 7, -2*a = f - 1. Solve -2*s = -6*s + 4*y - x, 0 = 2*s - 5*y + 17 for s.
4
Let a(t) = -3*t**2 - 7*t - 7. Let h be a(-2). Let n be (-2)/h - (-2 - 4536/35). Suppose 0 = -11*c + 22 + n. Solve 0 = 5*q + 4*o - c, 3*q - 3 = 4*o - o for q.
2
Let y(k) = -k**3 + 11*k**2 + 33*k + 8. Let t be y(14). Let s = 122 + t. Solve 5*z - 7 = 4*o, 0*o + 5*o = -s*z + 22 for o.
2
Let y be -3 + (-252)/(-4) + -2 - -1. Suppose 68*h = y*h + 36. Solve -2*j + s = 8, h = j + j + 5*s for j.
-3
Let d(f) be the third derivative of -f**4/12 + 31*f**3/3 - 18*f**2. Let i be d(29). Solve -20 = -5*v, -i*j + 3*v - 4 = -0 for j.
2
Suppose -2*v - 13 + 1 = 0. Let k be (-444)/(-18)*v/(-4). Suppose 32*l - k*l + 5 = 0. Solve -5*x = 3*d - d - l, 0 = -3*x - 4*d - 5 for x.
1
Let o be (3/(-6))/((-1)/22). Suppose 5*r = 17 + 3. Suppose 0*y + 2*f = y - 12, r*y + 2*f - 28 = 0. Solve -3*g = g + n + o, -3*g - n - y = 0 for g.
-3
Let j be 5 + (1 + 1)/2. Let n = 3926 + -3904. Solve -5*d + 3*q - j - n = 0, 4*d = -2*q - 18 for d.
-5
Let r(w) = 3*w**3 + 132*w**2 + 2*w + 92. Let l be r(-44). Solve -z = -5*p + 4, -z = 3*p - 2*p + l for z.
-4
Let y = 2377 + -2373. Solve -5*t = -n + 27, 2*n - 3*n - 18 = y*t for n.
2
Let z be (-2110)/(-25) - (-1 - (-4)/10). Suppose -z + 9 = -4*n. Let y = 23 - n. Solve t = -m, 5*t - 5*m + y*m + 6 = 0 for t.
-1
Let a = 97 - 94. Let n be 2*a/27 - (-237)/27. Suppose -3*b + v - 4*v = -n, 15 = 5*b - 3*v. Solve 0 = -b*j + 3*y + 2 + 7, 3*j - y - 11 = 0 for j.
4
Suppose 9*n + 2*n = 220. Suppose 0 = 456*b - 446*b - n. Solve 3*s - 2*f + 4 = 0, 3*s + b*f = -0*s + 16 for s.
2
Let i = -280 - -283. Suppose -3 = -2*s - 13, 0 = -5*p + i*s + 35. Solve -3*j - p = -2*d - j, 18 = -3*d - 3*j for d.
-2
Let v = 3133 + -3133. Solve 2*r - 46 = -3*d - 31, v = -3*d + 5*r + 15 for d.
5
Suppose -124*n - 3234 = -278*n. Solve 4*s = -5*g - 21, -1 = -5*s - 5*g - n for s.
1
Let g be (38 + -6 - 34) + (7 - -1). Let l(h) = -h + 2. Let k be l(8). Let m = -3 - k. Solve 2*b = -g, 4*b = m*t - 29 + 2 for t.
5
Let t = -203 - -193. Let w be t*7/(-35) + (1 - -2). Solve w*j = 3*c + 1 + 1, 4*j + 12 = -c for c.
-4
Suppose -8 = -i - i. Let h(s) = -137*s + 328. Let w be h(2). Suppose i*q - w = -38. Solve 4*m = 16, 36 = -q*n + 5*m - 0*m for n.
-4
Let h(n) = -27*n + 24. Let f be h(0). Solve -f = 3*v + 3*r, -12*v - 5*r - 10 = -17*v for v.
-3
Let k(t) = 25*t**3 - 4*t**2. Let m be k(4). Suppose 13*o - 21*o + m = 0. Suppose 0*l + 8*l - o = 0. Solve j + 3*j - l = 2*d, -2*j + 3*d = -20 for j.
4
Let r be (5730/(-1719))/(4/(-6)). Solve 0 = 5*l + 5, r*y + 3*l + 75 - 47 = 0 for y.
-5
Suppose 17*f - 149 - 157 = 0. Solve -s - 4*q = 14, 3*s - f = 4*s + 5*q for s.
2
Let t(v) = 10*v - 31. Let h be t(6). Let k = h - 10. Suppose -k = -5*w + 6. Solve 5*f - m + 27 = 2, w*m - 17 = -2*f for f.
-4
Suppose 2*v - 3*v = -3, 4*m + v - 171 = 0. Let f = -104 + 62. Let a = f + m. Solve a = z + 1, -5*x + 0*z - 28 = 3*z for x.
-5
Suppose -2*b + 6 + 0 = 0. Let g be (-61605)/(-40) + (-16)/128. Let d = g + -1528. Solve n - 19 = -b*p, 2*n + n - d = 0 for p.
5
Suppose 5*c + 21 = 3*n + 46, 0 = c + 4*n + 18. Let t(k) = 2*k. Let x be t(-3). Let o = -6 - x. Solve -c*r + 3*p - 6 = o, -2*r + 4 = 2*r - 2*p for r.
3
Suppose 2*i = 122 + 40. Let k be -5*(6/(-9))/((-30)/i). Let z be 5/((-10)/k) - (-1)/(-2). Solve v - 2*l - 7 = -5*l, z*v + 4*l + 4 = 0 for v.
-5
Let s = 2 - -2. Let v = 137591 - 137589. Solve -v*l - 2*q + s = 0, -l = 4*l - 4*q - 19 for l.
3
Suppose -4*u - 3*q - 12 = 44, -2*u = -5*q + 28. Let o be (-6)/14 + ((-118)/u - 3). Suppose 10 = o*n - 10. Solve 2*z + 4 = -n*b, z - 3*z + 5 = -5*b for b.
-1
Let n = 12 + -8. Suppose f = -0*f + n. Suppose -8*g = -738 + 714. Solve o - 5*u + 22 = 0, -g*u + 1 = f*o - 3 for o.
-2
Let m = 25 - 18. Let x = 113 - -96. Let j = x - 202. Solve -m = 3*p - j*p - 3*y, 0 = 4*p - 3*y + 23 for p.
-2
Let d = -158 - -161. Suppose -18*b + 30 = -d*b. Solve 0 = 2*l + b, -3*l = 4*r + 2*l - 7 for r.
3
Let c = -229 + 232. Let k be (27/6)/c*2. Solve -t = -k*w - 20 + 4, 5*w + 28 = 2*t for w.
-4
Suppose 5*s = -2*d + 641, 3*d - 2*d = -5*s + 643. Suppose -4*g = -g - s. Let a = 46 - g. Solve -15 = -a*l - 2*n - 3, 16 = 4*l + 2*n for l.
4
Suppose 22*x = 25*x - 30. Let w be 2/9 - x/45. Suppose -s - s = w. Solve -5*d + o + 18 = s, 5*d - 2*o - 3 = -6*o for d.
3
Let t be (1 - 22) + (