0 = -3*r - 3*f - t - 1 for r.
-5
Let y = 468 - 463. Solve -5*q - 37 = -3*z, 5*q - 2 = -y*z - 7 for q.
-5
Let t be (-28)/(-10) + -7*(-3)/105. Solve 0 = -5*l + t*v + 2*v, -4*l + v = -15 for l.
5
Let q = -141 - -143. Solve q*x - 2*w - 4 = -x, -4*x = 2*w + 4 for x.
0
Suppose q = 3*q - 8. Suppose -2*b + 6 = -q. Suppose 0 = 16*u - 9 + 6 - 45. Solve -u*g + 3*n = -24, -2*g = -3*g - b*n - 10 for g.
5
Suppose 3*f = 4*l + 5*f - 90, 2*f = -l + 18. Solve 0*n - 13 = 3*n + 2*t, 4*n = -4*t - l for n.
-1
Let w(n) = 7*n**2 + 2*n - 1. Let l be (1 - 0)/((-4)/(-28)*7). Let g be w(l). Solve o - 2*f = -5*f - 7, 0 = -o + 2*f + g for o.
2
Let l(k) = -7*k**3 + k**2 + k + 1. Suppose -4*f + 11 + 1 = 0. Suppose 0 = s + 4 - f. Let p be l(s). Solve p = 3*u - 6*u + 2*j, -3*u - 3*j = 18 for u.
-4
Suppose 2*q = -3*t + 2, -4*t - 40 = -5*q - 12. Solve q*v + 9 = i, 2*v - 3 = -2*i + 5*v for i.
-3
Let d = -12 + 16. Suppose -h - a = -d*a - 11, -4*h = -5*a - 23. Suppose q = -k + 4, -k = 2*q + h - 4. Solve -5*i + 4*z + 12 = 0, i - 9 = 5*z + k for i.
0
Let r(m) = m**2 + 3*m + 3. Let q be r(-3). Suppose 3*u + 6 = -q. Let c be (u - -1)/((-10)/55). Solve -5*z = a + 3, z + c - 2 = 4*a for z.
-1
Let k(n) = n**3 - 2*n + 1. Let c be k(0). Let r be (25 - 31)*((-1)/(-2) - c). Solve w + r*g - 12 = 0, 2*g = -0*w + w + 3 for w.
3
Suppose 4*c - s - 255 = -26, 5*s - 280 = -5*c. Let l = c - 42. Let n be (-1)/(9/5 - 2). Solve -x = -j + 3*j - 12, 5*x - n*j + l = 0 for x.
2
Let w = -1818 - -1818. Let q = 4 + 0. Suppose -20 = q*o, -c + 3*o + 16 = o. Solve 0*g - 3*g - c = -2*p, -4*g - 8 = w for p.
0
Suppose 125*g = 119*g. Solve -2*y - 3*o + g*o + 9 = 0, -5*o = -5*y + 10 for y.
3
Suppose -4 = 19*s - 21*s. Suppose 0 = l - 2*l + 5. Let k = l - 3. Solve k = -t + x, 3 - 1 = -t - s*x for t.
-2
Let s = -5 + 8. Let a(o) = o**2 + 15*o - 2. Let b be a(-15). Let g be (-6 - -4)/(b/s). Solve 3*x + g*d = 18, -5*x - d - 9 + 23 = 0 for x.
2
Suppose 0 = -c - 2*c - 174. Let f = c + 79. Solve 5*w - 3*d - 17 = -0*d, 5*d = -4*w + f for w.
4
Let a be 20/140 + 27/7. Solve 7*n + 12 = a*n - 5*x, 2*n + 8 = 5*x for n.
-4
Let v(w) = w**3 - w**2 + 4*w - 3. Let l be v(2). Let o = l + -11. Let r be (2 - 15/6)*o. Solve m - r = a - 2, -5*a = 4*m - 41 for a.
5
Let q(x) = -x**3 - 16*x**2 + 17*x + 22. Let a be q(-17). Solve 0*u = -g + 5*u + a, g = 2*u + 7 for g.
-3
Suppose -20 = k + 3*c - 8, -2*k - c = -1. Let o = 9 + -7. Solve o*j + j = k*u + 9, -10 = 2*u for j.
-2
Let h = 207 - 199. Solve 4*d + l + 3 = -d, 4*d - 2*l = -h for d.
-1
Let x(w) = w**3 + 11*w**2 - 11*w + 15. Let i be x(-12). Solve -a + 5 = i*z, 0*a - 3*a + 11 = 5*z for a.
2
Suppose -l + 199 = 197. Solve 5*j = -3*f - 20, 6*f - l*f + 15 = 5*j for f.
-5
Let d = 336 + -311. Solve -3*r = 5*w - r + d, 0 = 5*w - 3*r for w.
-3
Let u(s) = 0*s + 3*s - 1 - 3 + 9*s**2 + 9*s - s**3. Let v be u(10). Let f(r) = -2*r - 1. Let t be f(-3). Solve t*n + 2*b + v = 0, -5*b + 7 = -3 for n.
-4
Suppose 86 + 70 = 4*x. Let o = 42 - x. Solve 2*q - 3*q + 2*t = 0, 2*q = o*t for q.
0
Suppose 22*k - 49 - 39 = 0. Solve 3*c + 28 = -5*u - 0*c, -u - 9 = k*c for u.
-5
Let r(y) = y**2 + y - 8. Suppose 4*o + 17 - 1 = 0. Let j be r(o). Solve 0 = 3*s + s + 8, -j*s + 2 = -5*p for p.
-2
Let h = 174 + -170. Solve 3*a = 12, -2*m + a - 30 = -h*a for m.
-5
Let x = -5 + 10. Suppose f + 4*f = 20. Let i = -278 + 283. Solve f*l - l + 5*t + i = 0, x*t = 2*l + 20 for l.
-5
Let t be 13/1 + 14 + -23. Solve -l - 5*n = -3*l + 7, 2*n = -t*l - 22 for l.
-4
Let v = 57 + -54. Solve -4*b - v*h + 24 = -8, 8 = 2*h for b.
5
Let p(q) = q**3 - 8*q + 5. Let l be p(-3). Solve -u = -2*u + l, -5*u + 7 = -3*r for r.
1
Suppose -52*x - 171 = -61*x. Solve -2*q = 3*b + x, -3*b + 2*b - 9 = 2*q for q.
-2
Suppose 0 = 3*r + r. Let b be (-1)/((-243)/48 + 1 + 4). Solve r = -4*m + 5*u + b, 5*m - 2*u = -7*u - 25 for m.
-1
Let c be ((22 + -28)/6)/(2/(-12)). Solve 3*t - c = 4*y, -8*t + 6*t + 8 = -4*y for t.
-2
Let n(h) = h**3 + 8*h**2 - 9*h. Let b be n(-9). Suppose 18 = 6*o - b. Solve -o*t - 2*k = 20, 3*t + 24 = -k + 8 for t.
-4
Suppose 7 = 692*n - 685*n. Solve -b + 2*l = 3, -6 + n = 2*b - 3*l for b.
-1
Let q be (68/17)/(1 - 0). Solve -3*x + 4*f - 5 = 0, -5*f - 7 = 2*x - q*f for x.
-3
Let v(y) be the third derivative of y**5/60 - y**4/6 - y**3 - 4*y**2. Let c be v(6). Suppose 0 = -r + c - 3. Solve 3*d = -5*w - 1, -r*d - 10 = -4*w - 0*d for w.
1
Let x = 28 - 23. Let c(u) = u**2 - u + 0 + 6 - 2. Let r be c(0). Solve -x*t = -5, -r*i + 2*t - 22 = -4 for i.
-4
Suppose 5*x - 1 = 24. Solve -2*m - 31 = 5*s, x*s + 1 = m - 21 for s.
-5
Let w(g) = -44*g + 93. Let m be w(2). Let n(h) = -2*h + 3. Let r be n(-5). Solve -3*j - 25 = 2*s, -r = -s + m*j + 7 for s.
-5
Let j be (-3 + -12)/3*(-6)/10. Solve 0 = j*a - 4*t + 16, -5*a + 3*a - 12 = -3*t for a.
0
Let f(l) = 4*l**3 + 2*l**2 + l. Let g be f(-1). Let v = g - -5. Suppose 0 = v*b + 2*b - 12. Solve 2 = u - 0, -2 = 4*o + b*u for o.
-2
Let t(k) = -5*k - 1. Let l be t(-3). Let n = l - -4. Suppose -15*y - n = -18*y. Solve h = -4*a + 5, -5*a = 3*h - 2*h - y for a.
1
Suppose 0 = -5*t + 10, -4*t + t = -2*m. Suppose 0 = -3*n + 3*v + 84, -26 = -m*n - 2*v + 53. Solve -3*h = 3*i + i + 19, 0 = -2*i - 5*h - n for i.
-1
Let j be -1 - -8 - (-5)/((-15)/12). Solve j*w = 5*m - 5, 4*w - m + 1 = -17 for w.
-5
Let j be (5/(35/4))/((-4)/(-14)). Solve 5*v - 2 = -j*p - 1, 0 = -2*v - 2 for p.
3
Suppose -p = -3*v + p + 24, -4*v + 12 = 4*p. Solve 0 = 4*f - 4*s, -s = 4*f - v*s + 4 for f.
4
Let c = -1188 - -1217. Suppose 4*a = 5*d + 35, 5*a + 5 = -d + 27. Solve -4*t + a*t = 5*q - c, q = -3*t - 7 for t.
-4
Suppose 0 = -3*l + 25 + 56. Suppose -7*m + 64 = -l. Solve -3*a - 5*r - 3 = -m, 0 = -2*a + 4*r - 30 for a.
-5
Let g(r) = -3*r - 2. Let u(i) = -13*i - 7. Let a(m) = 18*g(m) - 4*u(m). Let c be a(-5). Solve 5*s = 3*t - 6 - 6, -c*s - 20 = -5*t for t.
4
Suppose 0 = -5*l - 5*x + 105, 4*l - 3*x - 87 = -8*x. Solve -4*s + l = 2*j - 9*s, 3*s + 6 = 0 for j.
4
Let q be 2*(-6 + 3 - -2). Let i be 2/q*(3 + -8). Solve -5*p + 0*w + 4*w = -13, -i*p + 2*w + 9 = 0 for p.
1
Suppose 46 + 8 = 27*j. Let z be (9/(-12))/(1/(-4)). Solve -j*h = -4*l, -z*l = -3*h - l for h.
0
Let v = 2182 - 2176. Solve 4*c + 12 = -2*p, 2*p = c - v*c - 13 for c.
-1
Let t(r) = -6*r - 43. Let d be (1 - 2)/((-14)/(-112)). Let v be t(d). Solve q = v*c + 2, -q + c = 1 + 1 for q.
-3
Let u(d) = -d**2 + 13*d - 28. Let t be u(3). Solve 16 = 4*w + t*m, -w - 1 = m - 6 for w.
3
Let p = 63 + -56. Solve 0 = -5*w + y + p, w - 1 = 2*w + y for w.
1
Let i = 673 - 671. Let h = 13 + -28. Let b be (-10)/h*(-6)/(-4). Solve b = v, 0 = i*q + 5*v - 8*v + 7 for q.
-2
Suppose k - 18 = -6*a + a, 4*a + 4*k = 8. Solve -y - q = y + 3, 0 = -4*q + a for y.
-2
Let i(z) = 3*z**3 - 3*z**2 - z + 4. Let m be i(1). Solve 4 = c - 4*u, -3 = 4*c + m*u - 0*u for c.
0
Let i(s) = s**2 - 8*s + 8. Let j be i(7). Let k be -4 - 5/j*-1. Let y be 8*(-2 - k)/(-6). Solve 5*m + 0*r + 5*r = 30, -y = -m + r for m.
5
Let d = 15 - 15. Suppose d = 2*r - 12 - 2. Solve 5*n - r*t + 3*t - 6 = 0, t + 6 = -n for n.
-2
Let k(o) = -5*o - 5. Let n be k(-2). Solve m = y + y + 9, n*y = -15 for m.
3
Suppose 0 = 5*y - 6*y + 1, 0 = u - 2*y + 50. Let o = -44 - u. Solve 5*g + 2*h - 6 = 0, 4*g - g - o*h - 14 = 0 for g.
2
Let r(p) = p**3 + 10*p**2 + 10*p + 11. Let k be r(-9). Let a be 3/(-6)*(2 - k). Solve 1 = -3*y - a*y - 2*t, 0 = -3*y - t + 1 for y.
1
Let m(q) = 3*q - 3. Let i(t) = t + 12. Let z be i(-7). Let v be m(z). Let j be (((-7)/(-2))/7*0)/1. Solve j = b + 3 + 1, 0 = -2*s - 2*b - v for s.
-2
Let s(h) = h**3 - 6*h**2 - 12*h + 14. Let a be s(7). Let k = 26 + a. Solve 2*g = -2*o, o + 0*o - k*g + 30 = 0 for o.
-5
Let s(b) = 41*b - 325. Let d be s(8). Solve 4*p - 20 = 0, -d*r - 2*p + 7 + 3 = 0 for r.
0
Let c = -6 - -11. Let t(n) = 3*n + 15. Let m(g) = -g - 9. Let v be m(-5). Let l be t(v). Solve -2*i + 12 = c*s, -i = 3*s - 4*i - l for s.
2
Let r = -50 + 67. Suppose -8*t + 89 = r. Solve -2*x + v = -6*x - t, -4*v + 12 = 0 for x.
-3
Let z be ((-80)/(-325) - 6/(-39))*5. Solve 5*u = -z*v, -4*v - 10 = 10 for u.
2
Suppose 10*o = 11*o - 6. Solve -18 = 4*q - 3*q - 5*w, -5*q - o = 3*w for q.
-3
Let m = 904 - 899. Solve 3*d - d = -m*f + 2, 4*f = -2*d for d.
-4
Suppose f + 3*r - 60 + 39 = 0, 0 = 4*f - 4*r - 20. Solve 41 = -5*t - 5*i + i, 5*t = 4*i - f for t.
-5
Suppose 9*y + 21 - 