 + 1, m - x = 2*q for q.
-4
Let w(j) = 105*j - 733. Let p be w(7). Solve -2*r - 5*i = -4*r - 3, -5 = -p*r - 3*i for r.
1
Suppose 0 = -m + 2*m - 184. Let g = -181 + m. Let a(j) = j**3 - 4*j**2 - 3*j - 6. Let r be a(5). Solve 7 = v - g*l, -r*v + 6*l + 21 = l for v.
4
Let v = -2262 + 2265. Solve v*n - 8 + 3 = -c, -2*c = -2*n - 2 for n.
1
Suppose 5*v = 5*q + 3055, -6*v + 2*v + 2459 = q. Let l = v + -610. Solve 4*w + 2*n = 16, -5 = 3*w - l*w - n for w.
3
Let o(t) be the first derivative of -t**2/2 - 15. Let x be o(-5). Let p = -3 + x. Solve -w - p*i + 11 = 0, -2*w - i + 9 + 1 = 0 for w.
3
Let o = -5476 - -5480. Solve o*b + 2*q = 8*b + 10, -4*b + q = 7 for b.
-1
Suppose m - 158 = -4*s, m = -3*s + 163 - 45. Suppose -2*g = -12*g + s. Solve -i - g = c, 6*c = 3*c - 2*i - 8 for c.
0
Let o = -371 - -431. Suppose -17*g = -37*g + o. Solve -4 - 1 = -2*u - d, 5*d = -g*u + 25 for u.
0
Let r be (-4)/14 + (-150)/(-35). Solve -3*d - 10 = -t, 8*d = r*d - 4*t - 24 for d.
-4
Suppose 0 = -0*v + v - 2. Let m be v + 1*(2 - -1). Suppose 0 = -3002*l + 29465 - 8451. Solve -2*n + 5*g = -0*g - m, n = -2*g + l for n.
5
Suppose -22*m - 25*m + 112 = 9*m. Solve -5*h = -3*h + 2*a - 12, m*h - 3 = a for h.
3
Suppose v + 2*k = 87, -78*v - 426 = -83*v - k. Solve -5*m + 5 = -5*d, 88*d + 3 = -4*m + v*d for m.
0
Suppose 114*l + 1340 = 181*l. Solve 3*r = 8*b - 4*b + l, -2*b = -4*r + 20 for r.
4
Let w be (-56)/(-12) - 16/(-12). Let r(v) = -v**3 + 9*v**2 + 10*v - 9. Let a be r(8). Suppose 2*h = -3*h + a. Solve 0 = 2*x - w, -h = s - 4*x - 10 for s.
-5
Let y = -12491 - -12499. Solve -z + 5*l + 24 = 0, -y*z + 3*z = 5*l for z.
4
Let h(m) = 7*m**3 + 57*m**2 + m + 15. Let a be h(-7). Let v = 403 - a. Solve -3*o - o = -4*x - 16, v*x = -3*o for o.
2
Suppose -3*m = 4*j - 4*m - 281, m = 5*j - 351. Suppose 0 = 10*x - 24*x + j. Solve 5*n + p = 3, x*p - 1 = -11 for n.
1
Let w = -7012 + 7016. Solve -26 = w*i - 2*x, 2 = -2*x - 0 for i.
-7
Suppose -5*g = 5*k + 79 + 1, -2*g - 31 = k. Let z be 5*3*(-2)/g. Suppose z*d - 2 - 2 = 0. Solve 0 = -h - 4*x - 3, -5*h - d*x = 2*x + 15 for h.
-3
Suppose 2*i = -i + 33. Let y = 11 - i. Suppose y = -4*t - 2*t + 90. Solve -5*a = t, 3*d + 2*a = 2*d - 10 for d.
-4
Let b be 13 - (-3 - -5) - -1. Let f = -8 + b. Let k = 164 - 150. Solve l = -2*m + f*l + 17, 0 = -4*m + 2*l + k for m.
1
Suppose l + 0*l = -5*c + 139, 4*c = 5*l - 753. Let n = l + -140. Solve -s = u + n, s + 0 = 3*u + 11 for s.
-4
Suppose -3*r - 56 = -10*r. Let k(w) = -w**2 + 21*w - 75. Let l be k(r). Solve 4*y = 3*o + l, -5*o + 10 = 4*y + y for o.
-3
Let v be ((-22)/4)/(6/(-12)). Let z = v + 9. Let r be ((-10)/20)/((-2)/z). Solve 0 = 5*d - a + 5*a + 24, 3*d - r*a = -7 for d.
-4
Suppose -4*y + y = -11*y. Suppose y = 6*x + 341 + 721. Let w be 1/(4 + x/45). Solve 3*g + 5*u - w = 0, 2*g + 2*u - 7 = 3 for g.
5
Let g be -3*(8 + (-364)/42). Solve 11*z - 1 = -l + 10*z, -1 = 3*l + g*z for l.
-3
Let m(w) = 2*w**2 + w + 1. Let s(t) = 7*t**2 + 37*t - 161. Let b(a) = 4*m(a) - s(a). Let o be b(27). Solve -3*u + u + 10 = o*d, 0 = -4*u + 4*d + 20 for u.
5
Let l be 0/((-8 - -10)*1). Solve l = p - 3*y + 6, 2*y - 11 = 3*p for p.
-3
Let p = 25 + 160. Let o = p - 182. Solve o*t = 4*n + 5, 5*t = n + 4*n for n.
-5
Let f = -16 - -16. Suppose f - 4 = -i. Suppose x - 3 = 0, 4*m - i*x - 2 = -6. Solve -41 = -5*z - m*c - 2*c, 3*c + 13 = 5*z for z.
5
Let u(o) be the second derivative of -o**5/20 + o**4 + 7*o**2/2 - o. Let h be u(12). Let b be 2 - 12/7 - (-19)/h. Solve -b*z = 5*c, -6 = 4*z - 26 for c.
-3
Let w(x) = -x**2 + 2*x - 1. Let k(d) = 5*d**2 - 24*d + 29. Let a(i) = -k(i) - 3*w(i). Let m be a(7). Solve 0 = -5*c - 3*j - 10 - m, 2*c - 4*j = 16 for c.
0
Let x(c) = -c**2 - 15*c - 45. Let b be x(-9). Suppose b*s - 85 = -31. Solve -2*d + s*d = -3*a - 9, 2*a - 2*d - 8 = 0 for a.
1
Suppose 14*b = 10*b + 240. Suppose -7*n - 8*n = -b. Suppose -n*q + 8 = -3*u - 0*q, 2*u - 5*q + 17 = 0. Solve -5*j - i = 2*i - 23, 5*i = -u*j + 21 for j.
4
Let j(n) = n**2 + 20*n + 56. Let i be j(-3). Solve 28*b - 5*k = 32*b - 13, 20 = -i*b + k for b.
-3
Let c(f) = f**3 - f**2 - f - 1. Let x be c(4). Suppose 7*p - 57 = -x. Solve 4*a - p*m = -0 + 4, -3*a + 3*m = 3 for a.
3
Suppose -2*f - 16*i = -18*i - 6, 0 = -3*f - i + 25. Solve -f*x + 8*x - 22 = 4*o, -5*o = 25 for x.
2
Let g = -6 + 10. Suppose 3*s + 88 = g*x, 75 = x + 4*x + 5*s. Let f = 23 - x. Solve -o - f + 1 = w, 4*w - 8 = 0 for o.
-5
Let y(r) = 2*r**2 + 35*r - 373. Let d be y(-25). Let j = -16 - -36. Suppose -q = -5*q + j. Solve -20 = -4*a, g - 21 = d*g - q*a for g.
4
Suppose 430 - 496 = -22*o. Solve o*t - 11 = 5*p + 26, 2*p = -5*t + 10 for t.
4
Let f = 2296 - 2296. Solve 4*h + 10 = -2*v - f*v, -2*v = 10 for h.
0
Let f be (-2 - -1) + (-12 - -12) + 9. Let i be 28/f - (1 - 18/12). Solve 5*a = -i*w - 45, -a + 3*a + 5 = w for a.
-5
Let q = -1153 - -1164. Solve 2*t + 0*t + 4 = 2*i, -4*i + q = -t for t.
1
Let o be 3 - ((-37 - -18) + 17). Solve -o*w = -2*w + a - 8, w = -5*a + 12 for w.
2
Suppose 2*a + 5*c + 21 = 42, 9 = 7*a - 4*c. Solve 20*z = 22*z + 10, 0 = a*g + 5*z + 31 for g.
-2
Let l(y) = 11*y + 98. Let d be l(-8). Suppose 19*f - 18 = d*f. Solve 2*k = -5*c + 24, -2*c + 6*k = 3*k - f for c.
4
Suppose 157*p - 151*p - 42 = 0. Let g be (304/56 - 4)*p. Solve 2*v = -3*d - d + g, -4*d = v - 11 for d.
3
Suppose 0 = -8*y - y + 144. Suppose 15*s - y*s = -3. Solve 0 = s*r + q - 8, 0 = 5*r + q - 0*q - 16 for r.
4
Suppose z - 7 = -6. Let y be 9 - (3 - (z - 2)). Suppose -a - 11 = -3*v - 2, y*v = 2*a + 15. Solve 4*b - 4*m = -7*m - 11, 0 = -v*b + 5*m - 1 for b.
-2
Let w be ((-666)/(-16))/(408/1088). Solve -2*v - w = 4*o - 139, -20 = -4*o for v.
4
Let m = 12223 - 12203. Solve 4*v = 3*y - 14, 22*v + m = 17*v + 5*y for v.
-2
Let c = -29 - -21. Let w = -336 + 328. Let v be (7 - 2) + c - (0 + w). Solve 0 = -3*u - v*j - 52 + 12, 3*j = -3*u - 30 for u.
-5
Let l = -8149 + 8152. Solve -l*y = -4*x - 3 - 4, 0 = 4*x - 2*y + 2 for x.
2
Let v = -1163 + 1165. Solve -v = 3*i + 3*d - 20, 0 = -5*i + 3*d - 2 for i.
2
Suppose 6*b = 2*q, 2*q - 4*b = -9*b. Solve q = -3*s + p + 2, 3*s = -4*p - 82 + 59 for s.
-1
Let a = -53 + 21. Let w = a - -33. Solve -5*f + 0*f + 2*m = -4, -w = -5*f + 3*m for f.
2
Suppose 33*q + 7 = 139. Suppose 2*l + l - 2*m = -4, -5*l = -3*m + 5. Suppose -12 = -2*d - 0*d. Solve q*u = -3*t + 8, -t + d*t + l = u for t.
0
Suppose -72 - 307 = -155*z + 86. Let s(k) = k - 2. Let a be s(-4). Let t be -2 - (2 - (1 - a)). Solve -z*u - r - 5 = -5*r, t*r = -5*u - 18 for u.
-3
Suppose 0 = 1149*i - 1148*i. Suppose i = q, 18 = 5*y + 4*q + 8. Let d be 8 - (0 - (2 + -3)). Solve f + 0*f = -l - d, y = -2*f + 2*l for f.
-4
Let b(u) = -u**2 - 5*u + 52. Let i be b(-10). Solve -2*w + x + 6 = 0, -i*x = -12*w + 9*w + 9 for w.
3
Let f be (-12)/(-2) + 1 + -2. Let c be 1 - (8/(-4) - 1). Suppose i = c - 0. Solve -a + i = -0*a + f*n, 3*n = 3*a + 6 for a.
-1
Suppose -14*p = -6*p + 2752. Let u = p - -346. Solve 0 = -2*x + u*n + 3*n - 17, -10 = x - 3*n for x.
-1
Suppose -1740 - 832 = -4*f. Suppose -5*q = -2*a + 596, 4*q + f = 2*a + 167. Let o = -116 - q. Solve -o*x - 4 = s, -x - 2*s = 12 - 4 for x.
0
Let y(o) = 2*o - 10. Let r(m) = -m**3 + 4*m**2 + 17*m - 46. Let q be r(5). Let c be y(q). Solve 0 = 4*t - 20, -a - 2 - c = -5*t for a.
5
Suppose z - 18 = -2. Suppose 21*m - z = 89. Solve 30 = 3*h + 5*u, 2*u - m = -5*h + 26 for h.
5
Let n = 12160 + -12159. Solve h - 6 = -3*p, p - 4*h - 1 = n for p.
2
Let g(j) = j**2 - 74*j - 1121. Let q be g(-13). Solve 0 = 5*v - 4*f - q + 6, 3 = 4*v - 3*f for v.
0
Let g = -14788 - -14795. Solve 4*n = -4*u - 24, 18 + g = -5*n - 4*u for n.
-1
Let n(c) = c**2 - 15*c + 16. Let l be n(16). Suppose -y - 73 = l. Let d = y - -105. Solve -4 = -2*p, u + u - 4*p + 6 = d for u.
1
Let c(j) = -j**2 - 30*j - 138. Let h be c(-23). Solve 4*a = -3*n - h, 10*a - 6*a + 16 = 4*n for n.
-1
Suppose 5*z = -4*l - 6, -4*z - 10 = -6*l + 4*l. Suppose l + 59 = 20*g. Solve 3*t = g*f + 9, 1 = 2*f + 5 for t.
1
Let r be 2/5 + 91154/(-85). Let b be (r/1206)/((-14)/(-18) - 1). Solve 4 = -s, -b*l + 3*l + 14 = -3*s for l.
2
Let k be 2/((4/(-279))/(2/3)). Let d be 3/((-27)/k)*(7 - 4). Let m = d - 29. Solve 5*y + 15 = -z, -m*z + y = -y - 18 for z.
5
Let d = -22 - -24. Let n be (2*4/(-3))/((-128)/192). Solve 4*t - 4 = -3*a + a, 2*a = d*t + n for t.
0
Let k be 2/15 + 424