3 - 8*t**2 - 9*t - 12. Let n be v(-7). Solve 6*a - n*a = 5*f + 28, 5*f = a - c for a.
2
Let y be (-1 - 1)/(2/(-18)). Suppose 13*v + 60 = 28*v. Suppose -102 = -7*l - 5*t, 94 = 5*l - v*t + 6. Solve o = 5*h - y, -l = -2*o - 4*h + h for o.
2
Let i(d) = 394 - 1157 + 400 + 389 - 3*d. Let x be 124/16 + (-2)/(-8). Let f be i(x). Solve u = -3*a + 8, 3*a = f*u + 12 + 8 for a.
4
Let s(r) be the first derivative of -5*r**2/2 - 120*r - 165. Let f be s(-25). Solve -f*g - 10 = 5*k, 0 = -5*g + 3*k - 2 - 8 for g.
-2
Let p(a) = 39*a. Let i = -611 + 611. Let r be p(i). Solve 3*j - 7 = 2*m, r*j = 4*j - 2*m - 10 for j.
3
Let i = 4675 - 4664. Solve -s - 2*k = -9, 6*s = i*s - 4*k + 25 for s.
-1
Suppose 0*r = 3*r. Suppose 30 = 31*s - 21*s. Solve -5*m + u + 0 = -14, r = -s*u + 3 for m.
3
Suppose 292 = 14*h - 212. Suppose -6*m - h = -48. Solve -4*a - s = -14 + m, -4*a = 3*s - 12 for a.
3
Let k be 1 - -3 - 9/(36/(-16)). Suppose 111 = -k*y - 81. Let f be 0/2 + y + 26. Solve -2*p - f*q - 16 = 0, 2*p - p = 3*q + 4 for p.
-5
Let i be (-42)/(-8) - 2/8. Let r(j) = -j**3 + 4*j**2 + 7*j - 7. Let m be r(i). Let b = 1841 - 1837. Solve 5*k - b*k - 13 = -3*v, m*k = -6 for v.
5
Let n = 118 + -113. Let q be ((-6)/(-4))/(n/10). Solve -4*c - 9 = -5*c - 3*s, -3*c - q*s + 9 = 0 for c.
0
Let u = 5420 + -5417. Solve x + 4*j + 8 = u, 17 = 5*x - j for x.
3
Let h be (-11 - 310/(-30))*63/(-2). Suppose o = 4*o. Solve k = 6*k - w + h, o = 4*k - 3*w + 8 for k.
-5
Let t(k) = k**2 - 31*k - 99. Let d be t(-13). Let n = d - 459. Solve -c - o = 2*o - n, -5*o = -2*c - 27 for c.
-1
Let o = -320 + 223. Let t = o + 100. Solve t*n + 0*n = 2*p + 6, 5*p + 15 = -2*n for p.
-3
Let i(q) = q**3 + 6*q**2 - 6*q. Let a be i(-6). Let b = -33 + a. Solve 0*f - b*f = -2*g + 17, 25 = -5*f for g.
1
Let z(q) = q**2. Let w be z(-2). Let m(t) = 12*t - 681. Let s be m(57). Solve -2*l = -5*u + s*u, 0 = -2*l + w for u.
2
Let c(h) = -7*h - 14. Let o be c(-8). Let s be o/((-1)/(21/(-6) + 3)). Let m = s + -20. Solve 3*u + k - m = -0, -5*u = -5*k + 25 for u.
-1
Let m = -2101 - -2107. Solve 0 = 2*u, y + 4 = 9*u - m*u for y.
-4
Suppose 1332*b + 24 = 1338*b. Solve k = t, b*t + 4*k - 2 = -18 for t.
-2
Suppose -3*l + 656 = 5*l. Suppose 0 = -80*w + l*w. Suppose 21*y - 22*y + 2 = w. Solve 0 = 2*n + y*v, 5*n - 2 = v - 4*v for n.
1
Let g(h) = -11*h - 25. Let f be -2*4*3/8. Let t be g(f). Solve 3 = -j + 2, -2*l + t = -2*j for l.
3
Suppose 188*w - 184*w = -4*z + 8, 28 = -4*z. Let p(b) = b + 8. Let g be p(-6). Let q be 1/((-3)/(-54)*2). Solve -g*n - 4*x = -w*x + 27, q = -4*n + x for n.
-1
Let o be 19/5 - (77/(-315) + (-6)/(-135)). Solve o*n + 11 = 2*z - 13, -z = 2*n + 8 for n.
-5
Let j = 24891 - 24876. Solve -3*r = -3*s, 4*s + 17*r + 24 = j*r for s.
-4
Let d be 0*(25 + 1173/(-46)). Solve 7*r - 3 + 0 = 5*o, -r - 4*o + 24 = d for r.
4
Suppose 2*h + 5*a = -h + 38, -h - 4*a = -22. Let k be (96/12)/(h/3). Solve -f - 1 = -k*x, 0 = 3*x - 5*f + 20 - 8 for x.
1
Let x = -10995 - -10999. Solve -2*t - 36 = x*q + 2*t, t = 3*q + 7 for q.
-4
Let v be (((-1705)/33)/31)/((-10)/36). Solve 0 = 3*h + d + 7, 2*h - 11*d + 9*d = v for h.
-1
Let f be (-4)/10 + (-11792)/220. Let u be (-74)/(-18) - (-6)/f. Solve u*o = -4*m - 4, 0*m = 3*m - o + 19 for m.
-5
Let c(x) = -50*x + 4685. Let z be c(93). Solve -21*r = f - 26*r + 40, -z = -5*r for f.
-5
Suppose 15*a - 4 - 86 = -15*a. Solve m + 24 = 5*t, a*m = 17*t - 20*t for m.
-4
Let v(a) = 50*a + 1125. Let z be v(-22). Solve 0 = 3*o - y - 7, -3*o + 24*y = z*y - 17 for o.
4
Let b(k) = 9*k + 7. Let x be b(-3). Let m(g) = g**3 + 20*g**2 + g + 23. Let i be m(x). Solve -4*o - 8 + 1 = -i*c, 3*o = -3*c for c.
1
Let z(s) = -s**2 - 8*s + 17. Let m be z(-12). Let r = m - -40. Suppose -4*c + r = -c. Solve -c*b + 6 = -3*a, -2*b = a - 6*a - 1 for a.
1
Let j = -10057 + 10058. Let f(a) = a**3 + 6*a**2 - 8*a - 4. Let q be f(-7). Solve 0 = -4*d - 5*i - j + 7, -6 = -q*i for d.
-1
Suppose 13*h + 11*h + 1861 = 1933. Solve -3*w + 3 = y + 7, 5*y = -h*w + 4 for y.
2
Let i(a) be the second derivative of 0 - 5/12*a**4 - 1/20*a**5 - 19*a - 7/2*a**2 + 35/6*a**3. Let t be i(-9). Solve 8 = -2*z - 3*s + 4, t = s for z.
-5
Let a(g) = 25*g + 127. Let t be a(-5). Solve -z - s + 2 = 0, -s = z - t*z - 6 for z.
-2
Suppose 249*t - 244*t + 4 = 4*z, 5 = 5*z. Solve 4*f = 3*y - 8 - 17, t = -5*f - 4*y - 8 for f.
-4
Let f(p) = -3*p**3 - 5*p**2 - 7*p + 2. Let w be f(-4). Suppose -35*o + w - 2 = 0. Solve 37 = -3*i - o*a + 8, -i + 2 = -a for i.
-3
Suppose -357*k + u + 19 = -354*k, -3*u = 3. Let s(v) = v**3 + 10*v**2 - 2*v - 15. Let x be s(-10). Solve -5*f + 9 = -2*i, -3*f - x*i = -k*f + 13 for f.
1
Let y = 3753 + -3748. Solve -5*d = 25, 20*r - 15*r + 4*d + y = 0 for r.
3
Let g(c) = -c - 9. Let r be g(-7). Let v be 26 + (-1 - r - 3 - -5). Let l = v - 23. Solve 25 = -5*q, 3*w - l*w + 4*q + 17 = 0 for w.
-1
Let i = -107 - -111. Suppose -i*d = -20*d + 96. Solve 0 = -2*s + 6*a - 3*a + d, 3 = s + a for s.
3
Let q be ((((-84)/(-9))/(-7))/(7/(-21)))/1. Solve 5*t - 16 - 2 = 3*h, -q*h = -4*t + 16 for t.
3
Let s be -421 + (7/(-35))/(3/(-45)). Let t = s - -432. Solve 0*p = 4*i - 2*p + t, -4*i + 11 = 3*p for i.
-1
Let b(h) = h**3 - 34*h**2 - 118*h + 19. Let j be b(37). Let u be (-3552)/j + (-2)/(-10). Solve 5*l + 3*w = -20, 4*w + 4 = l - u for l.
-1
Suppose -16*u = 3*u - 76. Suppose 3*j - 7*c - 24 = -2*c, -u*c = 12. Solve 0 = t - w - 2, -t + j*w + 6 = w for t.
-2
Let i(a) = a**3 + a**3 + 3*a**3 + 4 - 16*a**2 - 4*a**3 + 15*a. Let w be i(15). Suppose -w*f + 14 = -2. Solve -f*n - 4*j = n + 18, 2*n - j + 2 = 0 for n.
-2
Let f = 2352 - 2349. Solve -5*r - f*h - 2*h + 15 = 0, 3*r - 15 = -5*h for r.
0
Let y(n) = 31*n**2 + 317*n + 70. Let c be y(-10). Solve 10*j + 1 = -w + 11*j, c = -w - 2*j + 2 for w.
0
Suppose -319*w = -338*w + 741. Solve -5*r = -5*b - 50, 37*r = -5*b + w*r - 35 for b.
-5
Let x be 5*-1*(-8)/20. Let l be (-123)/12*(-24)/3. Suppose -l*r + 79*r + 9 = 0. Solve 5*s - 5 = -x*j - 3*j, -r*s = -2*j - 13 for s.
3
Suppose 7*x - 172 - 3 = 0. Suppose -x = -5*l, i - 3*l + 6*l = 33. Solve 0 = 3*p + b + 17, 4*p - 2*b + i = -b for p.
-5
Let y be -63*(24/(-15))/(30/(-25)). Let k = -52 - y. Solve 3*p - k = 5*t, 5*p - t - 4*t - 40 = 0 for p.
4
Suppose -q + 3*i - 23 + 31 = 0, -3*i + 24 = 0. Solve -4*k = -2*p + q, -5*p - 25 = 17*k - 12*k for p.
2
Let a(v) = -15*v + 90. Let u be a(6). Solve 4*h + 2*y - 14 = u, -20 = -4*h + 5*y - y for h.
4
Let w(r) = -6*r - 73. Let k be w(-13). Suppose -10 = k*p + 4*s, 4*s + 28 = -2*p + 6*p. Solve 2*d = -4*y, p*y = 4*d + 6*y for d.
0
Suppose 3*h = -4*o + 10, -4*h - 10 = -o - h. Suppose 6 + 10 = o*w. Solve 6*l - w*l + 2*j = -18, 8 = -2*j for l.
-5
Let i = 1947 + -1944. Solve 4*f - 10 = -3*p - 22, 0 = -i*p for f.
-3
Let m = -1429 - -1432. Solve i - 2 = -3*c, -m*i = -2*c - 2*c - 6 for i.
2
Let g(u) = -3*u - 23. Let q be g(-9). Suppose w + d + 13 = 4*w, -q*d = -w - 3. Solve -5*c + 15 = -w*b, -2*b + 0*c = 3*c - 9 for b.
0
Let q(d) = d**3 + 130*d**2 - 133*d - 257. Let h be q(-131). Solve -5*i + 25 = -7*c + 9*c, h*i - 10 = c for i.
3
Let c be (-520)/(-100) - (-78)/(-65). Suppose -2*l = -g - 2, 7*g - 3*g - 2*l = 4. Solve -3*y - c*a - 7 = 0, 1 = -3*y + g*a - 0 for y.
-1
Suppose -5*v = -2*f, -3*v = 4*f + f. Suppose -117*r + 121*r - 16 = f. Solve 3*l - 8*l + r*z = 0, -17 = -3*l - z for l.
4
Let j(r) = -2*r - 8. Let h be j(-8). Suppose -3*d + h*d + c = 28, 0 = -3*d + 5*c. Solve d*y - o + 29 = -3*o, -5*y = -2*o + 21 for y.
-5
Suppose 103 = 5*y - 5*g - 67, -3*y - 3*g + 90 = 0. Let t(f) = f**2 - 29*f - 96. Let h be t(y). Solve 4*z + 20 = 0, -u - z + 0*z - 2 = h for u.
3
Suppose -3*f - 636 = -1044. Suppose 0 = 11*a - 40 - f. Solve 2*i + 3*i - 12 = -3*t, -2*i = 4*t - a for t.
4
Let n = -354 + 471. Suppose -64*s + n = -55*s. Solve -2*f + 11 = -5*q, -5*q + 0*f - s = -f for q.
-3
Let d(l) = -25*l - 149. Let k be d(-19). Let h = k - 321. Solve -4 = f - v, h*f - 2*v + 23 = -0*v for f.
-5
Let j be 7/(-14)*(-2 - (-1 - -5)). Let y(z) = -10*z + 32. Let q be y(j). Suppose q*t = 2*m + 3*t - 8, m + 5 = 4*t. Solve m*s - 3*i = 9, 0*i = i + 4 for s.
-1
Suppose -3*n = -28 - 44. Let v be (n/(-20))/((-2)/(-5)). Let c be (7 + v)/(2 + -1). Solve 5*h = -c*b + 1 + 3, -4 = 5*h - 4*b for h.
0
Suppose 0 = 6*k - 20*k + 630. Suppose -15*h = -k - 105. Let p = 20 + -20. Solve -h = 4*x - 2*x + 3*c, p = 