, -t + 14 = 4*p - 2*p for t.
4
Let c = -53 + 58. Suppose -c = -24*l + 23*l. Solve 2*w - 26 = l*u + 4, 0 = -w + 5 for u.
-4
Let t = -111 - -192. Let k be 3 + -3 + 1*4. Suppose 3*f = 8*n - k*n - t, 4*n - 4*f - 76 = 0. Solve 4*l = -3*u - 5, -3*l = -2*u + n + 1 for u.
5
Suppose -4*j = 5*i - 24, -4*j + 4*i - 1 = 11. Let o be j*(-175)/(-55) - (-4)/(-22). Solve -3*v = 5*u + 13, 2*v + o*v = u + 25 for v.
4
Suppose 29*d - 20*d = 18. Solve -16 = -5*y + d*y + 5*o, 5*y = -4*o - 35 for y.
-3
Suppose -8*k - 43 = -83. Solve -11 = 3*z + 3*r - 38, k*z = 4*r for z.
4
Let c be (-33)/(-6)*(2 + -8). Let m = c - -43. Let k(y) = y**3 + y**2 + y + 4. Let t be k(0). Solve 0 = t*s + r - m + 27, 2*r = 4*s + 26 for s.
-5
Let j be 0/4*1/(-2). Let q = 2 + j. Suppose -2*t - q*t - 3*o + 6 = 0, -3*t - 3*o = -6. Solve -3*s - 9 = t, 0 = 3*i - 4*i - 3*s - 11 for i.
-2
Let t be 17/5 + 9*(-119)/765. Solve 7 = -r + o, -3*r - t*r + 5 = 5*o for r.
-3
Suppose 5*a + 4*s = -s - 5, 0 = 2*a - 3*s + 7. Let j be (3 - (-11)/a)*-2. Suppose 5*u - u - 8 = 0. Solve j*h + 0*h - 22 = -4*r, 4*h = -u*r + 14 for h.
2
Suppose -4*g - 2*m - 8 = 2*m, -g + 4*m - 22 = 0. Let t be (-2)/(-4) + 3/g. Solve -4*h = 4*p - 16, -4*p + 3*h + 23 + 0 = t for p.
5
Suppose 11*u - 9*u - 38 = 0. Suppose 5*h - 19 = -j, -3*h = -2*h + 4*j - u. Solve -n = -l + 3*n + 19, -3*l - h*n = 3 for l.
3
Suppose -4*m + 36 - 7 = 3*o, 4*o - m = 7. Solve w - 3*w = -o*h - 21, 2*w - 1 = -h for h.
-5
Let t(r) = r**2 - 14*r + 15. Let s be t(1). Solve -2*q + 8 + 4 = -2*a, -s*a = 2*q for a.
-3
Let k be 11*32/176 + 0/2. Suppose -2*h + 4*g - 12 = -4*h, 0 = -5*h - 2*g + 14. Suppose 0 = -f + 3*f. Solve -2 = -f*t + t, -h*t = -k*v for v.
-2
Suppose -4*j = -l - 176 + 157, -j - 5*l - 11 = 0. Let g be (0 - 1)/((-1)/4). Let a be (g/(-8))/((-1)/8). Solve 4*f - a = -2*p, -p - j = -5*f + 8 for p.
-2
Let r = 40 + -34. Let x(w) = -w**3 + 7*w**2 - 5*w + 2. Let l be x(r). Solve 0 = s - h - 1, -s - 5*h = -l + 1 for s.
2
Let j(g) = -g**3 + g**2 + 6*g + 1. Let h be (-56)/16*6/(-7). Let s be j(h). Let n be (6 + -6)/(s + 0). Solve 3*f + 11 = 4*m, 5*m + n*f + 10 = -f for m.
-1
Suppose -5*p - 5*l + 50 = 0, 3*l = 4*p - 2 - 10. Suppose -a - p = -4*a. Solve 3*g + 5*w = -31, 2*w - 24 = a*g + 6*w for g.
-2
Suppose -4*n + 32 = 4*i, i - 2*n + 1 = -0*i. Solve 3*g = 3*w - 0*g - 24, -i*w - 5*g = 10 for w.
3
Let j be (-1 + 7)*-2*9/(-36). Solve 2*u + 10 = z - u, j*u = -5*z - 22 for z.
-2
Let v = 1 - -3. Suppose -4*s - 7*s + 22 = 0. Suppose 2*l - s*d = 5*l - 13, v*l = 4*d - 16. Solve 2*o - 4*a + 32 = -2*o, -2*o - a - l = 0 for o.
-3
Let h be (1 - -1)*(10 - 9) + 2. Solve -5*u - p = -8, p + 19 = h*u + 6*p for u.
1
Let q(y) = 2*y - 41. Let v(f) = f - 21. Let l(t) = -3*q(t) + 5*v(t). Let i be l(18). Solve -4*z - 5*j = -i*z + 25, 0 = -5*z + j + 5 for z.
0
Let x = 80 - 6. Let r = 78 - x. Let a(k) = k**3 - 3*k**2 + 2*k + 2. Let c be a(2). Solve -r*t = -4*l - 20, 6 = -2*t - c*l - 0*l for t.
1
Suppose 0 = 2*x - 3 - 17. Let d = 10 - 7. Let z = 173 - 170. Solve -u = -3*u + x, -z*c = d*u - 15 for c.
0
Let n = -514 - -519. Solve n*g + 5*z = -50, -5*g + 4*z - 2 = 3 for g.
-5
Let z be 3/((-3)/(-5)) - 16/16. Suppose 0*h - 20 = -5*k + 3*h, -12 = -3*k - 2*h. Solve g = p - k, p - z*g - 12 = -g for p.
0
Suppose 8*k = 57*k. Solve -5*f + 1 = 2*m - 5*m, k = -4*f - 4 for m.
-2
Suppose -13 + 25 = 2*m. Let q = 8 - m. Suppose 3*k - 6*k + 15 = 0. Solve p - q = 3, k*p = 4*n + 17 for n.
2
Suppose 4*b - 5*c + 23 = -12, -9 = -3*c. Let z = -1 - b. Solve 5*g - g = 3*j - 3, -4*g + z = 4*j for g.
0
Let f be (1 + 0 + -1)/(-2). Suppose -2*v + 2 = -2. Suppose -3*t + 5*t - v = s, -4*s = -4*t - 4. Solve f = 2*p - 6*j + j - 12, -p + s*j + 9 = 0 for p.
1
Let o(a) = 15*a - 58. Let r be o(4). Solve -b = -7 + r, -3*b + 18 = -3*y for y.
-1
Let a be (-3)/8 - 516/(-96). Suppose 1 = -t - 5*w - 2, 5*t = a*w + 15. Solve -t*k + 5*u = -2, -u - 3 = -2*k - 9 for k.
-4
Suppose 10*k - 15*k + 5 = 4*p, 5*p = -4*k + 4. Solve -3*x - a - 10 = p, -2*x - 12 = 2*x + a for x.
-2
Let r(w) be the third derivative of 1/24*w**4 + 0*w + 0 + 1/3*w**3 + w**2. Let z be r(5). Solve -3*m + 4*b - z + 4 = 0, 4*m + b = -4 for m.
-1
Let p(y) = -y**2 + 13*y + 37. Let d be p(15). Let o(r) = r**3 - 6*r**2 - 5*r - 12. Let m be o(d). Solve -3*c = m*c - 5, 4 = -2*z + 4*c for z.
0
Let v(n) = -n**2 - 25*n + 10. Let a be v(-25). Suppose 0 = -4*t - t + a. Solve -4*z + 4*k = 16, 2*k = t*z + 3*k + 2 for z.
-2
Let l(y) = -8*y**2 - 2*y - 1. Let z be l(-3). Let x = z + 70. Solve 4*s = 5*m - m - 16, x*m - 16 = -s for m.
5
Suppose p - 25 - 32 = d, 4*p - 204 = -4*d. Let f = p - 52. Solve -f*w - 8 = -2*t, 0*w - 11 = 4*w + t for w.
-3
Let m = -11 - -4. Let d be ((-2)/6)/(m/126). Suppose 0 = -p - 2*p + d. Solve 0 = 4*c - 3*c + p, -4 = 4*b - 4*c for b.
-3
Let g be (-2)/11 - 35/(-11). Solve -6*p - g*d = -2*p, 2*p = 2*d for p.
0
Let v be 18/12*10/(-3). Let d be (-35)/(-2) + v + 6/(-4). Solve -z = z - 2*h - 2, z - 4*h = -d for z.
5
Suppose 2*g - 25 = 3*s, 9*g - s - 15 = 7*g. Solve 20 = 5*b + t, -g*b + 2*t = 6*t - 20 for b.
4
Suppose 3*y - 1 - 14 = 0. Let l(h) = h**2 - h - 2. Let d be l(3). Let p be d + 2 + 1 + -2. Solve 3*c + 35 = -2*c + p*q, -y*c - 23 = -q for c.
-4
Suppose q - 4*q + 25 = -4*j, 5*j + 2*q = -60. Let d = -6 - j. Suppose 5 = -c - r, 2*c + 3*r + 15 = 4*c. Solve -o + 1 = 2*n + d, -5*n - 15 = c for o.
3
Let y(f) = -f**3 + 6*f**2 + 9*f - 9. Let p be y(7). Let n(s) = s**3 - 4*s**2 - 6*s + 8. Let i be n(p). Solve 3*o = -4*g, 8*o = 3*g + i*o for g.
0
Suppose 280*g - 279*g - 3 = 0. Suppose -4*z = 51 - 375. Suppose 4*c + c + 4*s - z = 0, 5*c - 80 = -5*s. Solve 2*m - 20 = 4*j, g*j + 2*m + c = 2 for j.
-5
Let r(p) = -p**3 + 2*p**2. Let x be r(2). Suppose x = -2*f - 0*f - 16. Let y be (f/(-6))/((-13)/(-39)). Solve 5*b = 0, -6*b = -2*q - 2*b - y for q.
-2
Let x = 224 + -220. Solve 2*j = -x*c - 6 + 30, 0 = -5*c + 2*j + 21 for c.
5
Let i be 1/(-4) - (-42)/8. Suppose 3*g = -3*g - 18. Let k be g + 7*(-3 - -4). Solve 4*t - 35 = i*s - t, -k*s = -2*t + 22 for s.
-4
Let g(z) = -z**2 + 16*z + 4. Let k be g(17). Let m be (k - -7)*8/(-6). Solve -4*q = 4*i, i = -5*q + m + 12 for q.
5
Let l = -11 - 0. Let p = 6 + l. Let w be ((-14)/(-6))/(p/(-15)). Solve 4*o + 5*j = -15, -3*j - 2 = -3*o + w for o.
0
Let o(x) = 25*x**2 - 2 - 46*x**2 - 3*x + 20*x**2. Let h be o(-2). Solve 3*g + 2*n - 11 = 0, -4*n = -3*g - h*g + 5 for g.
3
Suppose -24*t = -34*t + 50. Solve -k + n = -n - 4, -2*k + t*n = -8 for k.
4
Let f(h) = h - 2. Let i be f(1). Let t be i/(-7) - (-69)/7. Solve 0 = 5*o - t, -7*o + 25 = 5*p - 2*o for p.
3
Suppose 60 = 5*f - 160. Let y = 64 - f. Suppose -9*t + y = -5*t. Solve q - 26 = t*k, 2*k = -3*q + 3*k + 8 for q.
1
Let o = 352 + -349. Solve 4*v - 5*n + 3 = 0, -4*n + 21 = 2*v + o for v.
3
Suppose -w + 3*b + 9 = -10, -2*b + 2 = 0. Solve -w = -5*s - 0*s + c, 2*s + 5*c + 2 = 0 for s.
4
Let t = -30 - -50. Let u be 0/1*(-4 + -2 + 5). Suppose u = 3*p + 2*p - t. Solve -2*c - 9 = -3*q + c, q - p*c - 15 = 0 for q.
-1
Let i(t) = 7*t + 2. Let g(q) = -q. Let w(y) = -6*g(y) - i(y). Let f be w(-5). Let p be 13/(3 + -5 + f). Solve 4*k = s + 17, s + 0*s = 3*k - p for k.
4
Let g = 598 + -595. Solve -4*x - 21 = z, g*x - x - 2*z - 2 = 0 for x.
-4
Suppose -5*l = -m - 2 - 7, l + 29 = -2*m. Let t be 3 - (0 + m + 1). Let x be 8/(-2)*(-4)/t. Solve -a - 2*p + x = 0, -5*p = 2*a - 4*a + 2 for a.
1
Let x = -424 + 429. Solve -2*n + 7 = -d, -n - 11 = x*d + 13 for d.
-5
Let s be -2 + (-92)/((-28)/7). Solve -4*x - 5*b + 12 = -s, -b = -x - 3 for x.
2
Let p(r) = 7*r - 82. Let n be p(12). Solve -5*l + l - 4 = 4*z, 0 = 2*l + z - n for l.
3
Let a be (10/3)/(5/6). Solve 0 = 4*j + f - 22, -a*f = -8*f + 8 for j.
5
Suppose -f + 39 = 12*f. Solve 0 = 4*j + 2*t - 12, 2*t + f*t + 15 = -j for j.
5
Let t(k) = -k + 2. Let o be t(9). Let y(s) = -s**3 - 9*s**2 - 16*s - 7. Let c be y(o). Solve 2*a + 3*z - c = 4*a, 4*a - 11 = z for a.
4
Suppose 0*s = -3*s + 15. Suppose -3*k = -2*k + n, -s*k - 3*n = -4. Let h(t) = -t**2 + 2*t + 1. Let x be h(k). Solve 4*u + 4*m + 3 = -x, 0 = -2*m + 2 for u.
-2
Let p(d) = 8*d**2 - 7*d**2 + 3 - 2 + 2*d. Let q be p(-1). Suppose -3*u + 9 = q, -78 = -3*y + 3*u - 5*u. Solve 0 = 3*r + 2*o - 3*o + 8, 4*o + y = -2*r for r.
-4
Suppose z - 1 = -3*s + 10, -21 = -s + 4*z. Suppose 0*a + s = a. Let b = -4 - -22. Solve a*l = -