16 = n*i - 0 for i.
4
Let n be (-3)/(-2 - -1) - 0. Suppose -n*h + 9 = -0*h. Suppose -2*q - 66*q + 340 = 0. Solve 2 = q*r - h for r.
1
Let x(w) = 29*w + 165. Let i = 281 - 286. Let t be x(i). Solve 5*o - o = t for o.
5
Let j(k) = -k**3 - 7*k**2 - 6*k + 2. Let n be j(-6). Let s(m) = m - 7. Let o be s(-6). Let g = 16 + o. Solve g*y = -n - 1 for y.
-1
Let n(b) = b**3 + 8*b**2 - 12*b - 7. Let t be n(-9). Let x(h) = h**2 - 22*h + 48. Let k be x(t). Let w be k/32 + 11/4. Solve -w*u + 0*u = 0 for u.
0
Let t = -3651 - -3675. Solve 56*r - t = 64*r for r.
-3
Suppose 167*s - 172*s + 245 = 0. Let c = s + -41. Solve 7*o = 3*o - c for o.
-2
Suppose 0 = -32*m - 7*m + 429. Solve -23 = m*z + 43 for z.
-6
Let q be (((-476)/12)/(-7))/(3/9). Suppose -q*g + 154 + 50 = 0. Solve -6*h + g = -3*h for h.
4
Let h(o) = o**2 - 3*o - 4. Let k be h(-2). Suppose -3*u + k = 45. Let c = -10 - u. Solve 2*f + 25 = -c*f for f.
-5
Suppose 25*o - 68 = 534 + 2148. Solve 8 = -109*a + o*a for a.
8
Let s(g) = -21*g**3 - 6*g**2 + 5*g + 5. Let c be s(-1). Solve -36 = 9*t - c*t for t.
6
Suppose 4*o + 409 = 5*q - 373, 0 = -4*o - q - 794. Let b be 0/(44/o - 25/9). Solve -w = 2 - b for w.
-2
Suppose -3*c = -18, -55*q + 52*q + 60 = 10*c. Solve 66*k - 3 - 195 = q for k.
3
Let i(l) = 4*l**2 - 6*l + 7. Let c be i(1). Suppose c*p - 5*q = 0, 8 - 2 = 2*p + q. Solve -p*v - v + 12 = 0 for v.
4
Suppose 5*f + 0*f + 2*z = 24, -10 = -5*z. Let s(o) = -2*o**3 + o**2 - o - 1. Let l be s(1). Let i be (-5 - (l + 0)) + 13. Solve f*x + i = -1 for x.
-3
Suppose 4*o + 5*z = -11, -664*o - 3*z = -660*o + 5. Solve -4*d - 29 = -o for d.
-7
Let i(c) = c**3 - 9*c**2 - 67*c - 18. Let j be i(14). Solve 28*k - j*k + 4 = 0 for k.
-1
Suppose -3*f - 9 = -0. Suppose 14*x - 18*x = 8. Let l be (0/5)/(f - x). Solve 0 = 5*z - l*z - 10 for z.
2
Suppose 4*q - 3*q - 7 = 0. Suppose 5*x + 0*z + z = q, 5*x - 5*z - 25 = 0. Let j(h) = -h**2 - 85*h. Let u be j(0). Solve 2*k + x*k + 20 = u for k.
-5
Let y(t) = -t**3 - 9*t**2 - 19*t + 22. Let l be y(-4). Solve l*z + 28*z = 0 for z.
0
Let o(h) = -h - 1. Let i(c) = -7*c - 21. Let x(m) = -i(m) + 6*o(m). Let k be x(0). Suppose -15*b - k = -20*b. Solve b + 0 = 3*y for y.
1
Let b(i) = 267*i - 1531. Let m be b(6). Solve -m*o - 537 - 102 = 0 for o.
-9
Let t = -3029 + 3057. Solve -98 + t = 14*c for c.
-5
Suppose -26*d + 2678 = -10*d + 2518. Solve 14*s = -d*s + 144 for s.
6
Let k = -55 - -57. Suppose -k*w = -10, 3*n + 5*w - 11 = 8. Let a be ((-3)/(n/(-2)))/((-6)/8). Solve 20 = z + a*z for z.
4
Let h(f) be the first derivative of -7*f**2 + 30*f + 6. Let t be h(-8). Let m = t + -131. Solve -4*q - m - 5 = 0 for q.
-4
Let i be (-37)/(((-9)/(-18))/((-4)/8)). Suppose -10*k + 193 = -i. Solve -8*w - k = -7 for w.
-2
Let i(k) = k**2 + 9*k - 19. Let g be i(-11). Suppose g*c - 15 = 3. Suppose -1 = c*j - 13. Solve -j*h + 6 = -5*h for h.
-2
Let w(b) = 8*b - 130. Let m be w(20). Let p(v) = -3*v + 108. Let u be p(m). Solve 0 = u*h - 21*h - 3 for h.
-1
Suppose -1814*p + 410 = -1804*p. Solve 45*f = p*f - 20 for f.
-5
Let k = 386 + -408. Let m(s) = 13*s + 286. Let u be m(k). Solve u = -6*j + 30 for j.
5
Suppose 0*w = -l - 4*w + 104, -5*w = -5*l + 595. Solve 101*c - l*c = 0 for c.
0
Suppose -i = -3*i + 4. Let g = -7110 - -7112. Solve g*x = i + 8 for x.
5
Let i be (3 + -9)/(2/(-3)). Let r = 30 - 169. Let s = r + 143. Solve -i - 3 = s*p for p.
-3
Let k be (-1)/7 - 1/(-7). Let z be 14/(-77) + 303/33. Suppose -z*h + 475 = 10*h. Solve h = 5*c - k for c.
5
Let c = 29 - 27. Suppose -3*s - 5*i = -1 - c, 5*s - 4*i = 5. Let o = 3 - s. Solve -6 - o = 2*v for v.
-4
Let d be (-44)/(-10) - 4/10. Let x(f) = -87*f**2 - 393*f - 11 + 86*f**2 + 401*f. Let t be x(d). Solve 0 = t*v + 1 - 26 for v.
5
Let z be (4/(-7) - 6/14)*0. Solve z = 17*p + 6 + 28 for p.
-2
Let l(t) = 52*t - 3898. Let z be l(75). Solve z*d = -9 - 1 for d.
-5
Let f = 1732 - 1641. Solve -c = -86 + f for c.
-5
Let r(z) = -3*z**3 + z**2 + 5*z - 1. Let x be r(-5). Suppose -5*y + x = 17*y. Solve -y*k + 12*k + 20 = 0 for k.
4
Let x = 12430 + -12258. Solve 0 = x*u - 181*u for u.
0
Let k(d) = -d**3 - 9*d**2 - 4*d - 4. Let l be k(-9). Let a be (-1)/4 - (-1256)/l. Suppose 4*o + 4*v - 24 = o, a = 3*o - v. Solve -o = 3*s + s for s.
-3
Let p = 24 + -20. Let b(r) = r - 4. Let g be b(p). Let q be (-15)/(-5) - (0 - g)/3. Solve 6*j = q*j for j.
0
Let r be (-1 - -1)/(1/1). Suppose 5*g + 3*f = 97, r*g - 2*f - 9 = -g. Suppose 2*s = -2*y + 14, g = s + 4*s - y. Solve -2*x - 2*x = s for x.
-1
Let p = 69 + -64. Let j(h) = -h + 9. Let o be j(p). Solve -4 = -o*a + 5*a for a.
-4
Let o be (21870/(-1944))/(1*(-2)/64). Solve -o = -f - 365 for f.
-5
Suppose -264*g = -249*g - 2520. Solve -38*r = 18*r + g for r.
-3
Let w(y) = 2*y**2 - 11*y - 37. Suppose 5*s + 5*r - 60 = 0, 5*s - 72 = r - 36. Let t be w(s). Solve -5*j = -t*j for j.
0
Suppose 4*y + 5 = 5*f, 13*f + 2*y = 12*f - 13. Let l be (f/2 + 46/4)/1. Solve l = -12*i + 10*i for i.
-5
Suppose 2*r - 6*r = -2*u - 14, -3*r + 18 = -4*u. Let n be 1/3 + 208/24. Let p be -7 + n - 3/(6/(-2)). Solve -15 = -r*k - p*k for k.
3
Let a = 7 + -3. Let w = -19 + 23. Suppose -9*g = -10*g + w*v + 5, -2*g + 4 = -2*v. Solve 0 = -a*k - 5 + g for k.
-1
Let x(f) = -2*f**2 + 67*f + 64. Let c be x(34). Let w be (c/24)/(3/(-48)*-4). Let i = 3 + -3. Solve -w*q + q - 12 = i for q.
-3
Suppose 3*d = 2*d + 3*d. Suppose -4*a - 11 - 1 = d, -18 = -3*m + 4*a. Suppose -m*i + 16 = 2*i. Solve 4*t - 8 = i for t.
3
Let m(n) be the third derivative of n**5/60 - 13*n**4/24 - 37*n**3/6 - 19*n**2. Let b be m(16). Solve -6*p + b = -1 for p.
2
Let g(y) = y**2 + 3*y - 17. Let x be g(9). Let o = x + -88. Suppose -o*s = 4*k + 1 - 19, k - 11 = -4*s. Solve 0 = 4*c - s*c + 2 for c.
-1
Let r = 40 + -37. Let v(a) = -5*a**3 - 119*a**2 + 26*a + 53. Let z be v(-24). Solve -r*j = -z*j + 8 for j.
4
Let w = -175 + 165. Let p be (w/4)/(25/(-10)). Solve k - p = -3 for k.
-2
Let c(j) = -j**2 - 51*j - 164. Let s be c(-4). Solve -8*o = -0*o + s for o.
-3
Suppose b - 3*k = -0*k + 20, 2*k + 88 = 3*b. Suppose -66*n = -64*n + b. Let i be -4 - n*5/10. Solve i = -h - 1 for h.
-5
Let h(l) = 9*l**2 + 99*l + 284. Let p be h(-3). Solve 0 = 71*k - p*k - 12 for k.
4
Let q(p) = 2*p**2 - 3*p - 26. Let m be q(6). Suppose -m = -r - 3*r. Suppose -4*x + 3*n - r*n + 20 = 0, -10 = -2*n. Solve 4*a + 8 + 8 = x for a.
-4
Let h = -1 + 1. Let j(r) = -r**3 - 22*r**2 + 28*r + 119. Let v be j(-23). Solve h*p = p - v for p.
4
Let p(o) = -o**2 + 10*o - 13. Suppose -20*r + 51 - 11 = 0. Let m be p(r). Solve 0*l - 9 = m*l for l.
-3
Let a = -15 - -15. Let z be (-1 + 4)/(a - 12/(-8)). Let m be 5*(-1 + 0)/(z/(-2)). Solve -2 = t - m for t.
3
Let i = 27810 + -27805. Let m be -1 + 3/(-3)*-1. Solve -i*u + 11 + 4 = m for u.
3
Suppose -3*c = -7*c, -5*m + 30 = -2*c. Let r be 66/(-16) - 1/(-8) - -4. Solve o - m + 4 = r for o.
2
Let q be 3/2 + 10/4. Let h be 0 + 9 - q/2. Solve 15*y = 8*y + h for y.
1
Let k(x) = 46*x**2 - x + 8. Let s be k(-3). Solve -421 = u - s for u.
4
Let d = 42 + -37. Suppose -85 = d*v - 2*u, v = -4*u + 6 - 23. Let q(g) = -g**2 - 18*g - 17. Let x be q(v). Solve x = -2*n - 2 - 0 for n.
-1
Let q(o) = o**2 - 3*o - 2. Let c be q(4). Let w = c - 2. Let z be 96/576 - ((-175)/30 - -6). Solve w = -3*f - z*f - 15 for f.
-5
Let v = 0 + 0. Let j = 1378 - 1378. Suppose j = 5*f - 5*l + 8*l - 37, 5*l = 5*f - 5. Solve -f = -v*b - 5*b for b.
1
Let x be 2/8*(-504)/(-21). Suppose 4*f - 20*l + x = -23*l, 2*l + 4 = -5*f. Solve -4*b - 5 - 7 = f for b.
-3
Let y(m) be the first derivative of 22 - 13*m + 1/2*m**2. Let n be y(13). Solve n = -6*a + a for a.
0
Let h = 1343 + -1331. Solve 4*s + h = 6*s for s.
6
Let p(n) = -11*n + 55. Let z be p(4). Suppose z*w = -35 + 46. Solve 3*m + 8 = -w for m.
-3
Let f(w) = 2*w + 30. Let n be f(-13). Suppose 5*a - 27 = 2*u - 4, 4*a + 4 = -n*u. Suppose -a*d + 11 = -46. Solve -5*i + d = -1 for i.
4
Let j(t) = -t**3 + 19*t**2 - 23*t - 20. Let h be j(18). Let b = -105 - h. Solve -b = -0*w + w for w.
-5
Let u = 54 + -42. Let j be 8/u - (-6)/(-9). Let x be -3 + (j - -1) + 6. Solve 5*o - o - x = 0 for o.
1
Let d(c) = -c**3 + 8*c**2 + 2*c - 12. Suppose 1 = -v + 9. Let h be d(v). Suppose m = 3 + 25. Solve -h*k + 8 - m = 0 for k.
-5
Let g(w) = w + 2. Let r be g(-7). Let s be r/((-15)/27) + -1. Suppose 0 = 10*v - s*v - 8. Solve 5*k - 1 =