t.
3
Let c(f) = 28*f - 53. Let m be c(2). Suppose -4*t - 5*d = 6, 3*t + 2*d = -2*d - 5. Solve -3*a + 4*r = -10, 21 = -m*a - 4*r - t for a.
-2
Suppose 0 = -5*s + 12*s - 7. Let x be (15/(-20))/(s/(-4)). Let y be ((-2)/6*x)/(-1). Solve -2*m = -3*d + y, 3*m = 5*d + 1 - 2 for d.
-1
Let r = -7290 + 7295. Solve -r*u - 17 = -s, 5*s - s = 5*u + 23 for u.
-3
Suppose -33*i + 30*i + 9 = 0. Suppose -p = 4*r - 14, -9*r + 6*r - 5*p + 2 = 0. Solve 0*d - 22 = -d + r*x, -i*d + 16 = -2*x for d.
2
Suppose -3*c + 5 = 2*k, -4*c = -7*c - 5*k - 1. Suppose -i + 9 = c*j, 2*j - 6 = -5*i - 0*i. Solve -j*r + 6 = -5*y, -6*y + 2*r - 4 = -y for y.
0
Let k = -840 + 838. Let z be 2 + 3 - (k - (-4 - -5)). Solve v + 5*u - 3 = 0, -z = 4*v + u - 1 for v.
-2
Suppose 0 = -2*u + 4*d + 14, 820*u - 815*u = 2*d + 27. Solve 3*p + 5*k + 21 - 4 = 0, 0 = -u*p - 2*k - 22 for p.
-4
Suppose -9 = -m + 2*k, -k + 21 = m - 6*k. Let p be (-96)/24 - -6*m. Solve 0 = 3*t + 3*f + p*f + 10, 2*f = -2*t for t.
5
Let j be 300/90 + (4/(-14))/((-6)/14). Solve 4 = 4*s + 3*n, 2*s + j*n - 4 = 8 for s.
-2
Suppose 7*a + 106 = -251. Let o = -30 - a. Let c be (o/(-9) - -4)*3. Solve 0 = -2*h - 4*v + 14, -c*h - v + 17 = 0 for h.
3
Let y be 19/4 + (-15)/4 + 4. Suppose -7 = 2*b - y*d, 0*b = 3*b - 2*d + 38. Let q = -13 - b. Solve -c = -q*t + 4 - 2, 5*c - 6 = -t for c.
1
Suppose -22*d - 2*k + 2 = -27*d, 4*d = -k + 14. Solve n - g + 4*g - 10 = 0, d*n - g = -1 for n.
1
Suppose 21 = h + 5*k - 9, 0 = -2*h + 3*k + 8. Suppose -6*s = -s - h. Suppose 2*a = 7*a - 15. Solve 0 = -u + s*u + a, -3*j - 6 = 3*u for j.
1
Suppose 0*t = -12*t + 55 + 137. Solve 4*g + 4 = -4, 3*x - t = 5*g for x.
2
Let b = 220 + -203. Suppose 3*t + b = 5*h, -3*h = -h + 4*t - 12. Solve 28 = -h*y - 3*z, 2*y - z + 5*z + 24 = 0 for y.
-4
Let w(g) = -4*g - 28. Let b be w(-13). Solve -4*f - b = 4*n - 28, 2*f + 5*n = 17 for f.
-4
Let x(h) = -4*h**3 - h**2 + h + 3. Let v be x(-1). Let d(u) = -u**2 + 14*u - 40. Let l be d(v). Solve -2*y + 0*m + 15 = 3*m, 2*y + l*m = 25 for y.
0
Let b(w) = 19*w - 27. Let k be b(2). Suppose 2*c + 4 = -2*s, -2*c = -2*s + c + k. Solve 2*y + 2*p + s = 5*y, -2*y = -2*p - 2 for y.
-1
Suppose -b + 7 - 5 = 0. Suppose b*g = -2*g + 8. Let o be 3/((3 - (-15)/(-6))*g). Solve 3*k = -3*t + o, -5*k = -3*t + 3 + 16 for t.
3
Suppose 5 = 3*r + 2*k, -11 = 33*r - 36*r + k. Let s(d) = d**2 + 6*d. Let c be s(-6). Solve 0 = -b - r*f - 0*f - 13, c = -5*b + f - 17 for b.
-4
Let j be (153/(-68))/(-3 + (-70)/(-24)). Solve 5*d = -i - 4, 4*d + 32*i - j*i = -20 for d.
0
Let n = 11253 - 11251. Let r(u) = -u**3 + u**2 - u + 2. Let j be r(0). Suppose 0 = -d + 3 + j. Solve 3*y - 3 = d*q, 2*q + n*q = 0 for y.
1
Suppose -9*y = 9*y - 54. Let a(j) = j**3 + 14*j**2 + 14*j + 24. Let p be a(-13). Solve -9 = 2*w + 3*w - f, -w - y*f = -p for w.
-1
Let w = -7901 - -7914. Solve 3*o = l - 5, w*l - o = 9*l + 9 for l.
2
Suppose 3 - 11 = -2*c. Let f be (-8)/16*(1 - (-3 + 0)). Let i = f + c. Solve 18 = i*l - 3*v, -5*v = 3*l - 4*v - 5 for l.
3
Let x be 10/(-7) - 450/126. Suppose -4*g + 6 = -g. Let p be (x/g)/(23/(-46)). Solve 5*o - 6 = p*i - 4*i, -4*o = 2*i - 2 for i.
-1
Let m be (4 - 3)/((-4)/(-232)). Suppose 4 = m*t - 56*t. Solve -r + 4*h = -4, -2*r = 4*h - t*h + 2 for r.
0
Let t = 299 - 329. Let v = 6 + -33. Let j = v - t. Solve -j*o + 6*n - 2*n + 7 = 0, 3*o = n + 13 for o.
5
Let u(w) = -4*w + 50. Let a(g) = -g**3 - 4*g**2 + 14*g + 24. Let y be a(-6). Let h be u(y). Solve -2 = -3*d + 2*m, 3*d = -4*m + 12 + h for d.
2
Let p = 33181 - 33147. Solve 0 = -3*s + 21*h - 16*h - p, 4*s + 7 = -h for s.
-3
Suppose u = -h - 2, -8*u + 6*u - 3*h - 8 = 0. Suppose 4*f - 3*b = f, -u*f + 5*b - 12 = 0. Solve -2*g = x + 3, 3*x - 3 + f = -2*g for x.
1
Suppose -2*a = 3*w + 69 - 82, -2*a + w + 1 = 0. Solve t - 2*t + a*y - 13 = 0, 4*t - 2*y = -22 for t.
-3
Let j(x) = -2*x**3 + 21*x**2 + 13*x - 10. Let u be j(11). Solve 4*g + 4*f - u = 0, 4*f - 2 = -14*g + 12*g for g.
5
Let x be (3 + -2)*(1 + 2)*6. Let y = x + -6. Suppose -3*t - 3 = -z, -y = -4*z + 5*t - t. Solve 0 = -3*f - f - 5*g + 8, z*g = -2*f + 4 for f.
2
Let w = -100 + 99. Let u(s) = 36*s**2 + 1. Let x be u(w). Solve 3*d = 5*o + x, 26 = -3*o + 3*d - 1 for o.
-5
Suppose -15 = 5*r + 109*u - 114*u, u = 4*r - 3. Solve 2*b + 6 = 5*v, v = -b + 2 + r for b.
2
Let l = -3790 + 3795. Solve l*m - 15 = 0, 2*d = d - 5*m + 14 for d.
-1
Let h = -6888 + 6891. Let i = 3 - -5. Solve d + 4*m = -20, 2*d - h*d + 3*m + i = 0 for d.
-4
Suppose -13*s - 6 = 4*q, -21*q + 3*s = -24*q + 9. Solve 5*h + 30 = d, d + 9*h = 7*h - q for d.
5
Let c be ((-6)/4)/((-6)/16). Suppose -5*m + 22 = 2*n, 2*m - 5*n - 11 = -2*m. Let v be (-1)/3*m - 336/(-36). Solve -5*l - 3*j + v*j = -5, -2*j = -c*l - 6 for l.
-4
Let o(m) = -m + 24. Let s be o(10). Suppose 0 = -y - 11 + s. Suppose 56 - 44 = y*f. Solve -4*z + 4 = f*x, -2*x = z - 3*x + 3 for z.
-1
Let g(y) = -12*y + 15. Let p(z) = 26*z - 29. Let k(r) = 9*g(r) + 4*p(r). Let c be k(4). Solve 0*b + 15 = -c*b - 2*x, -3*b + x = 6 for b.
-3
Suppose 0 = -4*z + 58 + 426. Let r = -118 + z. Solve 2*f - y = -r, 0 = -0*f + 4*f + y - 3 for f.
0
Let t be (-6)/9 + 92/12. Let b be (20 - 13) + (-4 - -1). Solve -b*g - 3*w = -t, 0*w = -g + w + 7 for g.
4
Let c be ((-5550)/1776)/((-2)/16). Solve -20*u - 5 = -c*u, 3*p - 2 = u for p.
1
Let g(i) be the second derivative of -71*i**3/6 + 3*i**2 - 11*i. Let z be g(-3). Let v be z/13 + 22/143. Solve -3*j = y - 2*y + 11, -y = 4*j + v for y.
-1
Let z(k) = 3*k - 1. Let n(v) = -24*v - 33. Let i(h) = -n(h) - 6*z(h). Let p be i(-6). Solve 3*r + 3 = -3*q, -p*q - 3 - 7 = -4*r for q.
-2
Let k(m) be the third derivative of -m**5/6 - 15*m**4/8 - 17*m**3/6 + 10*m**2 + 5. Let h be k(-4). Solve -4*r - 3*t = -7, t - h*t + 5 = 3*r for r.
1
Let i = -827 + 829. Suppose 2*b - 12 = -i. Solve b = -h, 4*k - 2*h + 3 = -5*h for k.
3
Let z be 12 + (-4 - -2) + -7. Suppose 4*k - 5*k - 7 = z*g, 2*k = -2*g - 2. Solve -6*u + s = -u - 8, -10 = -k*u - 3*s for u.
2
Let w = -243 - -509. Let x = 273 - w. Solve -n = -3*l - 0*l + x, -3*n + 3*l - 3 = 0 for n.
2
Suppose 0 = 50*f - 372 - 23 - 55. Solve -5*a + 4 = -4*q, 4*a - 1 = f*a + q for a.
0
Let y = -20481 + 20484. Solve y*o + 9 = -3*a - 2*o, 0 = -7*o for a.
-3
Let k be ((-8)/3)/(36/(-54)). Solve 4*o = v + k, 46*v = 51*v - 20 for o.
2
Suppose 43 + 1569 = 13*p. Let t = p - 60. Let f be t/(-24)*45/(-6). Solve 0 = -2*b - s - 1, -3*s + 1 = -2*b - f for b.
-3
Let v = 132 + -120. Suppose -3*t - v = -0*t, -3*z + 5 = t. Solve -4*u - 4 = -z*r + 4*r, 0 = -3*r + u - 12 for r.
-4
Let r be (2/2*0/(-16))/((-24)/(-12)). Solve r = -4*p - 3*u - 2, 14*u - 15*u = 5*p + 8 for p.
-2
Let t(s) = s**3 + 4*s**2. Let c be t(-4). Let d be (-11)/(99/6)*-60. Suppose 0 = 4*f + 22 - 2, -5*g + f + d = c. Solve w - 2*b = g, -b - 2 + 1 = 0 for w.
5
Let z(r) be the first derivative of r**2/2 - 7*r + 160. Let q be z(19). Solve 0 = 5*c + 3*p + 15, 0 = 4*c - p - 0*p + q for c.
-3
Let j(b) = b + 12. Let m be j(-9). Let o(d) = -100*d + 2*d**2 + 100*d. Let y be o(1). Solve y*a - s + m = 0, -5*a = 5*s + 8 + 22 for a.
-3
Suppose -y - 5 = 3*o, -3*o - 9 = -5*y - o. Suppose 0 = -3*z - y + 4. Suppose -2*f = 4*r + 4, -r = -3*f - 0 + z. Solve f = -h, -2*t - h - 10 = 3*t for t.
-2
Let p be 26*(-3 - 4/(-1)). Suppose -p = -7*z - 5. Suppose 18 = 2*d + z*v - v, -d + 3*v - 11 = 0. Solve 3*q - o + 9 = 0, q + d*o + 0*o + 16 = 0 for q.
-4
Let f be -7 + (7 - (12 + -4)). Let g be 6 + f/((-8)/13). Solve 4*y = -0*y - 16, 0 = -3*m + y + g for m.
5
Let o = 12380 - 12344. Solve -h - o + 15 = -5*i, -i + 3*h + 7 = 0 for i.
4
Let z(u) = -3*u**2 + 26*u + 43. Let f be z(10). Solve 0 = -4*t + f*t, -4*y = t - 12 for y.
3
Let w = -22941 - -22958. Solve -12*g = -w*g + 5*v + 10, 4*g + 2*v - 2 = 0 for g.
1
Suppose -8*j = -9*j + 36. Suppose k - j = -2*k. Let b(d) = -d**2 + 12*d + 4. Let w be b(k). Solve -4*h = -2*r - 4 + 14, 0 = -h - w for r.
-3
Suppose 19*m - 2*b = 24*m - 16, -5*m + 4*b - 2 = 0. Solve -12*t + 9*t = -5*j + 5, -5*t = 2*j - m for t.
0
Let m(n) = -n**3 - 5*n**2 - 6*n - 8. Let z be m(-4). Suppose 6*v - 165 + 9 = 0. Solve z = -0*o - 3*o + k + 8, -o + 5*k = -v for o.
1
Suppose -170*d + 165*d + 18 = -i, 4*i - 4*d = -8. Solve z - 3*z + n = 0, 4*z = -i*n for z.
0
Let c(a) = a**3 - 12*a**2 - 4*a + 47. Let n be c(12). Let y be (-128)/128 - (n - (-1 - -3)). Solve 2*s = s + 