 - k*q = -22 for t.
2
Let p be 0 + 4/(-34) + 1044/493. Solve p*f = -5*z - 7, -5*f - 2*z - 7 = -0*z for f.
-1
Let w(u) = -39*u - 4. Let m be w(-5). Suppose 0 = -190*a + m*a. Solve -5*p + 7 = b - 0*b, -5*b + 10 = a for p.
1
Suppose n - a - 2 = 2, 0 = -5*n + 3*a + 12. Suppose -4*m = -n*m. Suppose -2*c + m + 6 = 0. Solve -c*x = 3*d + 9, 0*x = -3*x for d.
-3
Let o = 9 + 2. Solve -t - f = t - o, -5*f + 31 = 4*t for t.
4
Suppose -60*j = -51*j - 135. Solve 3*w - 30 = 3*z, 0*w = -2*w + z + j for w.
5
Let m = -166 - -175. Solve 5*q + 10 = 3*u, 2*q = u + 4 - m for u.
-5
Suppose -3*l + 17 + 40 = 0. Suppose l - 29 = -2*s. Suppose 0 = -s*u - 4*d + d - 2, -2*d - 16 = -4*u. Solve 0 = -9*f + 4*f + 3*w + 24, 0 = u*f + 2*w for f.
3
Let d be 2 - (-1 + -1) - 4. Suppose d = 2*f - f + 60. Let j be ((-72)/f)/((-4)/(-50)). Solve m = -5*y - j, 36 = -4*y + 3*m + m for y.
-4
Let o be 520/(-24)*-3*1. Let u = o - 60. Solve -4*z = -2*f - f + 17, 2*z = -u*f + 11 for f.
3
Let m(t) = 5*t - 1. Let b be m(2). Let r be ((-62)/(-16) - 0) + (-92)/(-736). Solve 0*x = r*u + 2*x + 2, 5*x = -3*u + b for u.
-2
Let t(f) = f - 2. Let s be 3 - ((-6)/2 + 2). Let o be t(s). Suppose -3*g + 2 = i, -3*i - g = -2*i - o. Solve 2*w = -2*x + 4, -i*x = -2*w - 3 + 7 for x.
0
Suppose j + 5 = t, j - 5*j = -5*t + 25. Solve 5*d + 1 = 2*z - t, -8 = 4*z for d.
-2
Suppose 0 = -2*y + 4*y - 10. Suppose -16 = -2*q - 3*k, 35 = y*q + k + 4*k. Solve -6*j - 2 = -8*j, 5*u - q*j + 30 = 0 for u.
-5
Let z = -15 - -7. Let c = z - -8. Solve 6 = -3*u + 6*u + 3*j, 2*u + 3*j - 6 = c for u.
0
Let r be (13/(52/(-16)))/(-1). Solve 3*h - 27 = 4*l + 8, r*l - 5*h = -45 for l.
-5
Let h be ((-144)/(-40))/(54/90). Solve 5*a = 3*n - 8, h*a + 2 = 4*n + 8*a for n.
1
Let c = -138 + 138. Solve 0 = -2*y - 2*w, y + 3*y - 4*w - 8 = c for y.
1
Let g be 3/(-2) + (-25)/10. Let l be 42/8 - g/(-16). Solve 3 = v + 4*o + 1, l*o = 0 for v.
2
Let t = -175 + 187. Solve 4*m = -2*r + t, 0 = 5*m - r + 3*r - 17 for m.
5
Let t(a) = -a + 4. Let x be -15 + (-8 - -4) + 1. Let v be t(x). Suppose 5*i - 23 = 2*z, 4*i - 3*z + 5 = v. Solve -i*n = -15, 5*b + 15 = 2*n - 16 for b.
-5
Suppose -20*v + 39*v - 76 = 0. Solve -5*b + 0*x = -2*x - 4, 0 = v*b - 2*x - 4 for b.
0
Suppose 4*i + 3*h - 11 = 4*h, -5*i = -h - 13. Suppose 108*z - 282 = 14*z. Solve o - 10 = -5*c, -z*c + 4 + i = 0 for o.
0
Let h be 1 + -2*12/(-8). Solve 0 = -5*s + u + 9, -9*s + 14 = -h*s + 4*u for s.
2
Let x = 10 - -28. Let f = -36 + x. Solve -a - 4*a = -o - 5, f*a = 4 for o.
5
Let d = 4 + 0. Suppose 4*i = 5*n - 20, d*i - 8 = n + 4. Let y be ((-10)/4)/((-4)/n). Solve 5*w = -y*o + 40, 0 = -3*o + o + w + 1 for o.
3
Let c = -7 + 13. Let x(j) = -3*j**2 - 16*j - 8. Let z be x(-5). Let d be (-4)/c - 14/z. Solve 0 = 3*a + 9, 0 = d*q + 3*a - 0*a + 13 for q.
-1
Let g = 1 + 2. Suppose -2*a = r - 9, -2*r + 0*r - 6 = -4*a. Solve a*n + 2 = -2*m, 0*m = -g*m + 5*n + 35 for m.
5
Let d(x) = x**2 - 9*x + 8. Let l be (7/(-21))/(1/(-18)). Let j be d(l). Let s be (-36)/(-90) - 6/j. Solve -4*t + m = -5*t + s, 3*t + 4*m = 2 for t.
2
Let o(y) = y**3 + 5*y**2 - 14*y + 2. Let w be o(-7). Solve -3*t + 7 = 3*g + t, 2*g + w*t = 2 for g.
-3
Suppose -4*a = 0, 6*a = -2*c + 2*a + 6. Solve -4*l = c*s - 8, -4*s - 2*l - 8 = -6*l for s.
0
Suppose 3*t - 5*t + 20 = 0. Let w = t - 9. Let z be 3*4/12 - w. Solve 0 = -4*k + 4*a, 2*a + 8 = -2*k - z*k for k.
-2
Let y(a) = a**3 + 2*a**2 - a + 1. Let g be y(-2). Let f(r) = -r + 20. Let w be f(16). Solve -g*j = 5*o - 16, -w*j - o = -2*j - 6 for j.
2
Suppose 0 = 2*g - 3*m + 4*m - 11, -g - 5*m + 10 = 0. Suppose -129*n = -134*n + 10. Solve 33 = -5*f + g*w - 3*w, -f = n*w - 3 for f.
-5
Suppose -3*u + 18 = -u. Let r be (4 - 3)/(3/u). Suppose -j + 1 + 0 = 4*g, -g + r*j - 3 = 0. Solve -3*k + p - 5*p = -16, g = -k - 2*p + 6 for k.
4
Let w(r) = r**3 - r**2 - 2*r + 1. Let c be w(-2). Let m be -5 - c - (-2 - -1). Solve -g + v = -4, m*g = 2*v + 8 + 3 for g.
3
Suppose -322 = -23*q + 9*q. Solve 0*w - q = w + 4*m, 5*m = -3*w - 34 for w.
-3
Suppose 6*t - 20 - 16 = 0. Suppose f = -4 + t. Solve -5*x - f*h + 5 = 20, -x - 5*h = -20 for x.
-5
Let v(i) = i**3 + 2*i**2 - i - 1. Let o be v(-6). Let l = 143 + o. Solve -4*g + 8*g = q + l, -2*q + 18 = 5*g for q.
4
Let b(s) = 4*s + 0*s - 10 + 4*s - 6*s. Let o be b(6). Solve -22 = -4*w - 0*w + o*y, -2*w = 3*y + 9 for w.
3
Let k(x) = -2*x**3 + 39*x**2 - 18*x - 16. Let u be k(19). Solve -g + 2*z + 4 = -u*z, 5*g + z = -6 for g.
-1
Suppose 10 = -3*t - 4*u, 0 = -2*t - 5*u + 9 - 25. Solve 2*g + x + t = 0, g - x = -2 + 4 for g.
0
Let s(i) = i**2 + 12*i - 13. Let d be s(-13). Suppose -3*t + 2*f - 7 = -28, 2*t = 3*f + 14. Solve -n + 5*h = 3*h + 1, -2*n + h + t = d for n.
5
Let y(q) = -3*q + 3. Let a be y(-7). Let z be 2/8 + (-6)/a + 1. Suppose -19 = -5*x + 6. Solve -z = -2*h + 3*h, -5*h = 2*k + x for k.
0
Let l = -13 + 5. Let d(b) = b**2 + 9*b + 10. Let f be d(l). Solve 5*x + 3 = f*o - 12, -4*o + 19 = x for o.
5
Let n = 2 - -3. Let s(t) = -3*t**3 + 2*t**2 - 3*t + 7. Let o be s(3). Let j = o - -94. Solve 0*g + j = g + n*d, 5*g + 3*d - 35 = 0 for g.
4
Let d(m) = m + 9. Let i be d(-21). Let b be 2 + i/(-5) - 3/(-5). Solve -f = 2*f + b*t + 7, -f - 4*t = 0 for f.
-4
Suppose -j = -5*r + 51, 5*j + 46 + 209 = -r. Let u = 55 + j. Solve 5*v + u*l - 5 = 0, -4*v + 2*l + 18 = -12 for v.
5
Suppose -w - 4*i = 2*w + 8, 4*w = -4*i - 12. Let v be 3 + (w/(-2) - 0). Solve -3*f - 2*c = 3*c, -v*c = 0 for f.
0
Let i(t) = 7 + 8*t - 9*t - 2. Let o be i(1). Solve -r + 4*l = -l - 25, -2*l + 12 = o*r for r.
5
Let y = -103 - -108. Suppose -4*f + y + 3 = 0. Let i(x) = -6*x - 1. Let b be i(-1). Solve -3*t + 0*t = b*d + 1, 8 = -3*t + f*d for t.
-2
Suppose 5*a + n - 49 = 2*n, 2*n = 2. Suppose 3*k - 4*t - a = 15, 4*t = -16. Solve 5*m - u - 8 = 11, -4*m = k*u for m.
3
Let w be 3/(-9) + 13/3. Suppose -4*o = -12 - 0. Let b(x) = x**3 - 6*x**2 + x - 4. Let z be b(6). Solve -w = o*r - 2*j, 2*j + z*j = -4*r - 32 for r.
-4
Let b = -134 + 132. Let k be 16/7 + (-4)/14 - b. Solve t - 4*r - 1 = 0, -t + 8 = -k*t + r for t.
-3
Let l = 6 - 3. Let g(i) = -i**3 + 5*i**2 - i - 9. Let y be g(4). Solve 3*f - 2*f - 9 = -l*v, 5*f = -v + y for v.
3
Let v(g) = 10*g**3 - 2*g**2 + g + 1. Let u be v(1). Suppose u = 3*x - x. Solve -4*k - 24 = x*j, 2*j - 7*j = 5*k + 25 for k.
-1
Let o(q) = -q**3 + 5*q**2 + 8. Let g be o(4). Suppose -2*j = -4*d + g, -5*d - 2*j - 1 + 22 = 0. Solve 2*l = -10, 3*i - 5*l - d = -i for i.
-5
Suppose 0*u + 7*u + 28 = 0. Let j be (-1)/(-2)*(-24)/u. Solve j*m - 2*g - 6 = 0, 4*m - g - 3 = 2*m for m.
0
Let d be 3/(-15) + 41/5. Let f(t) = 10*t**2 + 2 - t**3 - d*t - 4 - t + 4. Let q be f(9). Solve -4*o - 24 = w, 2*o = -q*w + 4*w - 2 for o.
-5
Let z(b) = b**2 - 3*b - 1. Let s be z(4). Let l(t) = 2*t - 3. Let a be l(s). Suppose -5*q + 4*q = -4. Solve -3*y + 11 = -q*i, 8*y + a*i - 28 = 3*y for y.
5
Suppose -5*c - 10 = 10. Let w be (c - -1)/((-6)/4). Solve w*r + 4*h = 12, 4*r - 14 = r - 5*h for r.
-2
Suppose 51*l - 52*l = -2. Solve m + u = -6, 5*m = 3*u - 0 + l for m.
-2
Let o(r) = -19*r + 433. Let d be o(22). Solve 2*z = -3*p - z - 18, -2*z = 3*p + d for p.
-3
Suppose -6*c = 13*c. Solve -y = -c*b - 2*b + 8, 16 = 4*y + 4*b for y.
0
Let d(f) = 5*f - 25. Let a be d(8). Solve -3*v + 0*r + 4*r - 9 = 0, 5*r - a = 5*v for v.
-3
Let x(b) = b**3 + 21*b**2 + 78*b - 27. Let z be x(-16). Solve -z*u + 4*u - 2*g = -12, 5*u - 4*g = -10 for u.
2
Let a(n) = n**3 + 13*n**2 - 14*n + 5. Let j be a(-14). Suppose 4*d - 11 = 4*t - 3*t, -3*d = j*t - 37. Solve 2*w = 3*f - 3, -5*w + d*f - 5 = -1 for w.
0
Suppose 0 = -v - 3*n - 6, -2*n - 4 = -2*v - 3*v. Solve 5*i + k = -4 - 8, v = -5*i + k - 18 for i.
-3
Suppose 5*a - 435 = -0*g - g, -a + 3*g + 87 = 0. Suppose 3*b + 33 = -a. Let t be (2/4)/((-2)/b). Solve p + 2*z - 2 = 0, -p + 3*p + t = 3*z for p.
-2
Suppose 12*q + 5*y = 8*q + 37, -4*y + 32 = 4*q. Solve -4*j + 6*j - 2 = -4*m, -4*m + 7 = -q*j for j.
-1
Let y(p) be the second derivative of -p**5/20 + p**2/2 - 6*p. Let n be y(-1). Solve 2*a = -n*o, 1 = 2*o - a + 4 for o.
-1
Suppose 0 = -k + a - 5, k + 2*a - 4 = 6. Let i(f) = -2*f**2 + f + 2. Let s be i(k). Solve -2*d = d - s*b, -5*d = b for d.
0
Let k(m) = 2*m**2 + 3*m - 1. Let i be k(-2). Solve -14 - 3 = 4*t + l, 2*t + 3*l + i = 0 for t.
-5
Let g = -322 - -327. Suppose -5*r - 1 = 2*d + 2*d, 3*r = -2*d -