= 0 for t.
0
Suppose 5*i = i + 5*x + 3, -5*x = -i + 12. Let h be 2/7 + ((-95)/(-35) - i). Solve 5*q + 6 = m - 3, h = -3*q for m.
-1
Suppose 3*g - 5*q + 6 = 0, -g + 7*q = 5*q + 3. Suppose -3*u - 2*u + 10 = 0. Suppose -s + 0 = -u. Solve 0 = -g*p + 2*t - 2, s*p + 7*t = 2*t - 14 for p.
-2
Let i = 171 + -168. Let l(g) = 24*g**2 + g - 1. Let c be l(1). Suppose 0 = -2*f + c + 2. Solve 0 = 4*o + p + 5 + 3, -f = -i*o + 4*p for o.
-1
Suppose -41*f + 85*f - 36*f = 0. Solve f*j + 17 = j - 3*q, 3*j - q - 11 = 0 for j.
2
Suppose 2*p - 9 + 5 = 0. Let z be (11/(-22))/(p/(-96)). Solve 3*g = 5*i - 22, -5*i + i + 4*g = -z for i.
2
Let d(a) be the third derivative of -a**4/12 - 2*a**3 + 8*a**2. Let v be d(-7). Solve 5*h + 14 = -3*r, -v*r - 2*r = -h + 11 for r.
-3
Suppose -5*z = -80 + 70. Solve -4*d + 7*d = x - z, -13 = -2*x - 3*d for x.
5
Let z = -44 + 52. Suppose 0 = -3*m - z + 20. Solve 5*w + 4*a = 10, m*w = -2*a - 3*a + 8 for w.
2
Let x(b) = -b**2 + 4*b + 2. Let g be x(4). Suppose -56 = -3*w - g*w - 4*j, 0 = 5*w - 3*j - 28. Solve 10 - 4 = -3*o - 3*i, 2*i = 2*o + w for o.
-3
Let w(t) = 4*t - 7. Let g(v) = 7*v - 14. Let z(l) = 3*g(l) - 5*w(l). Let k be z(11). Solve 2*x + k*a = 2, 2*x = 3*a + a - 14 for x.
-3
Let t(l) = -3*l**3 - 4*l**2 - 2*l + 1. Let v be t(-2). Let f be 6 + v + 0/2. Solve -3*m - 24 = -y - 7, -3*y + m + f = 0 for y.
5
Let g be 2/(-9) - (-9454)/261. Suppose 32*o + 12 = g*o. Solve 5*x = 2*t - 20, 4*x + 21 - o = 2*t for t.
5
Suppose -s - f + 17 = 0, 3*s + 43 = 7*s - f. Solve 0 = 5*d - 5*q + 20, -4*d = -3*q + s for d.
0
Suppose 10*u - 22 - 28 = 0. Let p be (-2 - (-12)/4) + (0 - -2). Solve 3*v + p = 2*b - 6*b, -u*b = v + 1 for v.
-1
Let v(s) = -s**3 + 8*s**2 + 3*s + 59. Let y be v(9). Solve 2*k - 6 = y*r, -2*k - r + 2*r + 6 = 0 for k.
3
Let v(u) = -2 - 15 + 13 + u**2 - 8*u. Let t be v(9). Solve -t*p - 25 = 4*y, 3*p + 2*p = -3*y - 25 for p.
-5
Let p = -35 + 39. Solve -1 - 1 = -5*o + p*w, -4*w = 2*o + 16 for o.
-2
Let s = 19 - 19. Suppose f + 8*f = s. Solve -m + j + 8 = f, j + 0*j = 4*m - 23 for m.
5
Suppose 2*a - 6 = 4. Solve -3*w = 4*t - a, -5*w - 1 + 4 = 4*t for t.
2
Let c = 335 - 310. Solve 5*r - 2 = p + 3, -5*p = -2*r + c for r.
0
Suppose 4*p = 11 - 3. Solve -p*s = 2*k - 2, -1 - 6 = 3*k - 2*s for k.
-1
Suppose -9*b + 478 = 451. Solve 2*i + f + 5 + 6 = 0, -4*i + b*f - 17 = 0 for i.
-5
Let d = -35 + 31. Let b(x) = -2*x - 2. Let v be b(d). Solve 3*i + m - 2*m + v = 0, 0 = 2*i - 4*m + 14 for i.
-1
Let j be (170/340)/((-1)/(-16)). Solve 3*s + 5*b = -j, -2*s + 2*b - 5 = 5*b for s.
-1
Let c(k) = -k**2 - 4*k + 2. Let t(i) = -4 - 4*i + 6 + 2. Let h be t(2). Let l be c(h). Solve -3 = -r + l*q, 0 = -3*r + 4*q + 2 + 9 for r.
5
Let z be (-8)/(-14) + 84/(-147). Let y = z + 5. Suppose 0 = 2*b - y - 1. Solve 0 = 2*d - b*o - 21, 2*d - 5*o = d + 28 for d.
3
Suppose -2*v + v = 5. Let p(w) = 2*w + 11. Let q(d) = d + 5. Let z(g) = 2*p(g) - 5*q(g). Let a be z(v). Solve a*t - 2*k + 8 = 0, -2 = -4*t - 5*k + 18 for t.
0
Let i be (2/(-10))/((-119)/1785). Solve i*s - s - 5*z + 5 = 0, -2*z = -4*s - 18 for s.
-5
Suppose -65*p = -980 - 125. Solve p - 1 = -3*i - o, 3*i + 3*o = -18 for i.
-5
Let v(i) = -i**2 + 4*i + 5. Let d be v(5). Let z = d - -8. Let s(q) = q**2 - 8*q + 5. Let t be s(z). Solve t*k + 37 = -3*g, 4*k = -8*g + 3*g - 40 for k.
-5
Let a(j) = j**3 + 11*j**2 + 3*j + 12. Let h be a(-8). Suppose 0 = -3*f + 8*f - h. Let u = f + -34. Solve -t + 11 = u*o - 2*t, -5*o - 3*t = -11 for o.
4
Let l be (-5096)/(-1078) - (-6)/22. Solve 4*g - 13 = 4*j + l*g, 3*j = 2*g + 4 for j.
-2
Let i be 16/6*((-530)/(-40) + -11). Solve 0 = -4*w - 5*v - 4, 8 = -2*w + 2*v - i*v for w.
4
Let p be 8 - (-1 + 0 - 0). Let c be ((-16)/(-12))/(-4)*p. Let r = 5 + c. Solve r*l = -q + 3, l - 2*q = 3*q - 4 for l.
1
Let l = 13 - 9. Let p = 29 - 12. Solve -l*k - 32 = 3*h, -2*k = -k + 3*h + p for k.
-5
Suppose 6 = 3*r - d + 2, -5*d - 20 = -3*r. Solve -12 = 2*p + 2*z, r = -9*p + 13*p + 3*z + 19 for p.
-1
Let o(x) = 5*x - 7. Let q be o(2). Let l be (-5)/q*24/(-20). Solve -2*d + 6 = -4*n, l*n - 2*d = 4*n + 18 for n.
-4
Suppose -133*q = -119*q. Solve 0 = z + 3*n - 14, 2*z + q*n - 7 = n for z.
5
Let m = -157 + 306. Let w = m + -145. Solve -a + 0*u = 3*u - 9, w*u - 7 = -3*a for a.
-3
Suppose 2*y + 3*w - w = 12, 12 = 4*w. Suppose 0*z = -4*z + 32. Let x be y + (-5)/(20/z). Solve 0 = d + x, 5*t + 0*d + 15 = -5*d for t.
-2
Suppose 2*x = 11*x - 81. Suppose s + 4 = x. Solve 0 = 4*f - 3*h + 1, -s*h = -0*f - 3*f + 13 for f.
-4
Suppose -3*h + 6 = -2*r, -r - 3*h = -0 - 6. Suppose 0 = v + 4*v. Suppose -3*a + z + 15 = v, 3*z + z = -3*a. Solve 6 = -2*u + p, 3*u + a*p = -r*u - 9 for u.
-3
Suppose 5*u + 67 = -98. Let v = -29 - u. Solve -v*p - 10 = -5*d - p, 4*p - 25 = -d for d.
5
Let d(p) = p**2 + 11*p - 1. Let o be d(-11). Let t be o + (2 - (-4 - -2)). Solve t*j - 3 = -2*a + a, -2*j - 5*a = -15 for j.
0
Let n be -3 + 3 + 4 + (-3 - -3). Let y(i) = 4*i**3 + 2*i**2 - 2*i + 1. Let x be y(1). Solve -x = -0*a - 5*a + 2*f, -20 = -n*f for a.
3
Let p be 2 + 17 + 1 - 3. Let c be 759/51 + 2/p. Solve 4*l = 3*y - c, 3*l - 1 + 15 = 5*y for l.
-3
Let h(w) = 6*w - 2. Let z be h(1). Let u(i) = -i - 8. Let r be u(-11). Suppose 0 = r*j + j. Solve -2*y - 3*t + z = j, -y - y + 5*t = 28 for y.
-4
Let t be 6*3/(-24)*-4. Suppose h = -t*v + 61, 4*h = -v + 2*h + 22. Let s be v/(-110) - 48/(-22). Solve 0 = -s*c + 5*a + 13, 5*a = -5*c + 6 - 26 for c.
-1
Let h = -887 + 892. Solve 23 = -2*l - 4*z - z, 0 = z + h for l.
1
Let l = -26 + 37. Let q be -3 - -14 - (1 + 4). Suppose 3*j = -z - 7, 5*j - q = 7*j. Solve 3*n + 4*u = z*n - l, -3*n = -3*u + 3 for n.
-3
Suppose 2*p = -4*m + 18, -3 = -47*p + 44*p. Solve 0*t + 3*z = 4*t + 11, 4*z = m for t.
-2
Let w be (4 + -9)*1 + 7. Suppose -4*h - 17 = p, -w*h - 13 = 4*p + 3*h. Solve -p*j - i + 5 = 0, -j = -4*i - 0*i - 19 for j.
3
Let t = -19 + 30. Suppose -t = -4*d + 5. Solve 0 = -a + 3*l - 1, l + 2 = d*a - 5 for a.
2
Suppose -47*z = 61*z. Solve -4*u - 2*r = -3*r - 2, -4*r - 8 = z for u.
0
Suppose -2*n + 45 = -u, 0 = -4*u + 20. Suppose 0 = p - 6*p + n. Suppose -3*z + p*w = -62, -4*z - 10 + 62 = w. Solve 3*x - 8*x - 10 = -c, z = -4*c + 2*x for c.
-5
Let n(o) = 19*o + 173. Let q be n(-9). Solve 0*b + 2*b + q*z + 8 = 0, -3*b + z = -4 for b.
0
Let f be (-136)/(-36) - 4 - 843/(-27). Let r = f - 26. Solve u + 8 = -r*i, 5*u - 1 = -i + 7 for u.
2
Let o(w) = -2*w**2 + 1. Let n be o(2). Let s(i) = -i - 4. Let t be s(n). Solve -l + t*l = u - 3, 3*u + 5*l = 20 for u.
5
Suppose 5*m - 3 = 7. Let w(p) = 2*p**2 + p - m*p - p + 1. Let x be w(1). Solve -4*c - 4*l + x = 33, -4*c - 3*l - 28 = 0 for c.
-4
Let l(a) = -a - 2. Let h be l(-6). Suppose -h*z = -0*z. Let n be 11/3 - 15/(-45). Solve 3*d = -z*d + f - 10, -n*f = -4*d - 8 for d.
-4
Let n(k) = 2*k - 8. Let r be n(-5). Let x = r + 23. Solve 3*l = -4*b - b - 13, 0 = -5*b - 5*l - x for b.
-5
Suppose 193 = 20*h + 133. Solve -h*r = 2*l + 3*l - 10, -4*l - 5*r - 5 = 0 for l.
5
Suppose 0 = -13*g + 28 + 76. Let t be (-10)/g*(-3 + (-5 - -4)). Solve -t*b - 2*h - 16 = 0, -5*b - h = -b + 11 for b.
-2
Let w = -248 + 251. Solve -w*i + 0*m = 3*m + 9, 3*m + 12 = -4*i for i.
-3
Let s be (1/1)/((-11)/(-22)). Suppose j = -j - s. Let x be (j + 3 - -1) + 1. Solve -3*w - 17 = k, 0 = 5*w + 4*k + 44 - x for w.
-4
Let z(m) = 5*m + 2. Let l be z(-6). Let p = l + 29. Suppose -5*i = -5*g + 25, 4*g - 12 - p = -3*i. Solve -4*r - g*q = -4 + 16, 5*r = 4*q + 30 for r.
2
Let w = -90 - -94. Solve -w*v - 11 = -3*y + 9, 5*y - 3*v = 26 for y.
4
Let v = 153 - 89. Suppose -z + v - 60 = 0. Solve 0 = -z*b - 2*c + 5*c - 19, 0 = 5*b - 3*c + 23 for b.
-4
Let w(x) = -x + 22. Let j be w(19). Solve 4*r + 3*i = 13, -j*i = -3*r - r + 19 for r.
4
Let w(f) = -2*f**2 + 4*f + 16. Let h be w(4). Solve 5*v + h*k = k - 15, -3*k + 13 = v for v.
-2
Suppose -4*j + 1 = -7. Suppose -p - 4*p + 83 = -3*b, -5*b - j*p - 97 = 0. Let l = -21 - b. Solve -4*y - 19 = -2*c + c, 2*y + 8 = l for c.
3
Let l be (-4)/22 + ((-40)/22 - -2). Solve t - 3*m = l, -t + m = 2*t for t.
0
Suppose 16*s + 2*s - 18 = 0. Solve -2*g - s = x, -3*x = 3*g - g - 5 for g.
-2
Let m(g) = -2*g + 3. Let o be m(-2). Suppose -t = -3*h + 27, -3*t + o = 3*h - h. Suppose 3*x - 16 = -4. Solve 2*q + 0*k = -k, x*k - h = -4*q for q.
-2
Let p be -1 + 5 - (7 - (10 + 4)). Solve -8 = -y + 3*b, y 