*j - k = -0 for j.
1
Let b be -1 + 0 + 5 + -4. Let a(v) = 411*v + 1676. Let j be a(-4). Solve b*c - j = -8*c for c.
4
Let b be (216/(-144))/((-3)/78). Solve 6*p + b - 45 = 0 for p.
1
Let z(o) = -46*o + 979. Let q be z(21). Solve 144 = -11*f - q*f for f.
-6
Let o(p) = 2*p**2 + 32*p. Let m be o(-16). Suppose -38 = -3*u + 5*k, 0 = -3*u - m*k - k + 32. Solve 0 = -2*r - u + 1 for r.
-5
Suppose 3*x - 9 = -0. Suppose x*h - 7*h = -28. Suppose 3*t - c = h, c - 3*c = -2*t + 6. Solve t = -0*m + m for m.
2
Let w = -110 + 183. Suppose w + 37 = 11*p. Solve p = -2*x + 4 for x.
-3
Suppose -4*p + 5 = 2*z - 17, -5*p + 4*z + 21 = 0. Let s = -831 + 850. Suppose 0*j - 18 = -2*j + 3*q, -2*j - 4*q = -4. Solve p*t + j = -s for t.
-5
Suppose 3*h + 0*h = 15. Suppose t - 14 = 5*g + 9, 3*g + 27 = h*t. Suppose -11 = -4*v - 2*y + 13, t*v - 3*y = 36. Solve v + 7 = 5*c for c.
3
Let s = -5496 + 5496. Solve s = -25*l + 24*l - 2 for l.
-2
Suppose -2*p - 20 + 6 = -4*c, -5*p = -c + 17. Let w be c - (-282)/(-3 + 5) - -1. Suppose m = -7*m + w. Solve 3*g - m + 6 = 0 for g.
4
Suppose -2*n - 8 = 3*d - 35, 0 = 2*n + 5*d - 25. Let i be (-4*(-1)/(-10))/((-3)/n). Solve i*f - 5 = f for f.
5
Let y(l) = -20*l**2 - 21 + 40*l**2 + 6*l - 9 - 18*l**2. Let q be y(-6). Solve -q*h - 2 = -4*h for h.
-1
Suppose -4*o + 5*d = -29 - 2, 4*d - 4 = 0. Suppose -4*j - 4*g + 145 + 327 = 0, -j = 5*g - 122. Let z = j - 113. Solve -o - 7 = z*y for y.
-4
Let j = -1786 - -1787. Solve 14*d = 15*d + j for d.
-1
Let i be -47 + 40 - 12/(-2) - -6. Let b(x) = -x - 5. Let p be b(-5). Suppose p = h - 2*h + 4. Solve i*u - u = -h for u.
-1
Let y(z) = z**3 + 91*z**2 - 280*z + 190. Let d be y(-94). Solve -d*c = 15*c for c.
0
Let n(j) be the second derivative of -j**4/12 + j**3 - 9*j**2/2 + 82*j. Suppose b - 9 = -2*b. Let i be n(b). Solve 2*v - v = i for v.
0
Suppose 0 = 42*s - 4134 - 7416. Solve -s*n = -267*n for n.
0
Let x(k) = -2*k**2 - k - 4. Let d be x(4). Let s = 46 + d. Let o be 4/12 - (-4)/s. Solve 3 = q - o for q.
4
Suppose 2*i = -3*m + 86, -m = -5*i - 27 + 242. Solve 13 = -10*t + i for t.
3
Let u be (-16)/(-2*1) - 2. Let o = -125 - -132. Suppose 2*n = -3*s + 14, 0 = -4*n - o*s + 6*s + 18. Solve 2*c - n*c + u = 0 for c.
3
Let z = 184 - 163. Let t be z/(-147) - (-2)/14. Solve t = f - 6*f - 10 for f.
-2
Suppose 16*l + 2*x = 18*l, -5*x = -25. Solve -1 + l = r for r.
4
Let f = 50 + -47. Let z be 280/60 - f/(18/4). Suppose 0*v + 2*b = -2*v + 4, -b = z*v - 14. Solve 3*c = v*c + 2 for c.
-2
Let r = 12827 + -12800. Solve -6 = r*k - 24*k for k.
-2
Let s be (34/(-6))/((-6 + -5)/66). Solve 0*j = 17*j - s for j.
2
Suppose -15 = -5*m + 5. Let c be 2 - (0 - 6)*-3. Let a be 159/12 + m/c. Solve 38 - a = 5*f for f.
5
Suppose 3*d - 31 - 35 = 0. Suppose -7 = 3*h - d. Suppose -f + 0*b - 2 = -2*b, 3*f = h*b - 4. Solve z - 12 = -f*z for z.
4
Suppose 3*p = -6, 9*p - 254 = -2*b + 10*p. Suppose 114*t - b*t = -144. Solve 7*a = t*a - 5 for a.
1
Let d be 729/135 + (-2)/5. Suppose -t = -3*t + l + 28, d*l + 12 = 2*t. Solve 5*k - 4 - t = 0 for k.
4
Let d(w) = 2*w**2 - 4*w + 5. Let q be d(1). Let h be q/1 + (-3 - -21). Let k be (-54)/(-7) + 6/h. Solve 5*t - k = 2 for t.
2
Let c be 4806/1869 - (-8)/(-14). Suppose -6*h + 15 = -h. Solve -h*v + c = 8 for v.
-2
Let b = -18299 + 18302. Solve b*a - 126 = -132 for a.
-2
Let t(j) = -j + 11. Let i(a) = -2*a + 22. Let u(d) = -2*i(d) + 5*t(d). Let r be u(4). Suppose 0 = 9*x - r*x - 4. Solve f - x = -3 for f.
-1
Let s be 63 + (-98)/14 + 20. Solve 92*q = s*q for q.
0
Let w(q) = 3*q**3 - 30*q**2 + q - 10. Let u be w(10). Suppose -16*p + 11*p + 60 = u. Solve -2*g + 5*g + p = 0 for g.
-4
Let x(f) = 3*f**2 + 2*f - 37. Let s be x(-12). Let w = s - 311. Solve 58*o - w*o = -10 for o.
5
Suppose 4*v - 77 = i, 3*i = -4*v + 49 + 40. Solve -t = v - 19 for t.
-1
Let z = -8691 + 8707. Solve 13*j = 21*j - z for j.
2
Suppose 3*p = -444 - 15. Let i = p - -158. Solve 0 = -2*u + i - 7 for u.
-1
Let t = 1121 + -599. Let y = -497 + t. Solve -10*r + 5*r - y = 0 for r.
-5
Let j(l) = -l**3 - 17*l**2 + 2*l + 37. Let n be (4/(-6)*3)/(34/289). Let s be j(n). Solve -2 = -s*r + 4 for r.
2
Let s(r) = 2*r + 19. Suppose 454 - 463 = f. Let k be s(f). Solve k = 4*q - 3 for q.
1
Let k(i) be the third derivative of 0*i**4 + 1/60*i**6 + 5/6*i**3 + 4/15*i**5 + 0 - 3*i**2 + 0*i. Let o be k(-8). Solve 16 - 1 = o*u for u.
3
Let b(u) = 5*u**3 - u**2 - 1. Let p be b(2). Suppose 2*q + 8 = 4*i + 22, -5*q + p = i. Solve 4*j - q + 11 = 0 for j.
-1
Suppose -95 - 7 = -3*y + 3*w, -w = -2*y + 65. Suppose 10*s = -y + 71. Let a be (-5 - -1 - -2) + 5. Solve -a*b = b + s for b.
-1
Let l be 6/(-20) - (-323)/10. Suppose -94*q = -90*q - l. Solve 24 = q*u + 16 for u.
1
Suppose 2*l - i = -99, 4*l - 8*l + i - 199 = 0. Let q be 48/22 + l/275. Solve -w = -q*w + 5 for w.
5
Suppose 4217 - 1297 = 19*c + 127*c. Solve c*r = 40*r + 60 for r.
-3
Suppose i = -5*u - 31 + 4, -17 = -4*i + 5*u. Let a(o) = o**2 - 4*o - 4. Let c be a(i). Solve 7*r = c*r + 1 for r.
-1
Let d be ((-1)/1*89)/1. Let z = -137 - d. Let q = -44 - z. Solve l + 3 = q*l for l.
1
Let l(y) = y**3 + 4*y**2 + 2. Suppose 0 = -25*c - 17 + 17. Let j be l(c). Solve -2 = j*a + 4 for a.
-3
Suppose 472*d - 1245 = 457*d. Solve -183 + d = -25*n for n.
4
Let j = 484 + -486. Let d be (-31 - -25)*1/j. Solve 0 = d*u + 28 - 22 for u.
-2
Let w(l) = 7*l**2 - 135*l + 1784. Let i be w(22). Solve 9*n - i = -2166 for n.
4
Let d = -115 - -120. Suppose -6 = -o + 2*j, d*o + 2*j = -4 - 2. Solve -5*w + 1 - 6 = o for w.
-1
Let t be (6/2 - 2) + -1. Let h(o) be the third derivative of -o**4/24 + 45*o**2. Let i be h(t). Solve i = g - 2 for g.
2
Let f be (-52)/(-312) + 77/6. Suppose -2*r - 2*h = h - f, 0 = -r - 4*h + 4. Solve -1 = -9*n + r for n.
1
Let g = 84 + -64. Let n be 22/((-333)/(-405) + (-3)/5). Let f = n + -94. Solve -f*x - g = -10*x for x.
4
Suppose 85 - 1303 = -58*b. Solve -93*o - b = -86*o for o.
-3
Let y = -27 - -20. Let j = -3 - y. Let w = j + 6. Solve -4*m + 2 = -w for m.
3
Let k be 222/(-30) - -7 - (-44)/10. Suppose -k*s - 432 = -s. Let t be (-1760)/s + (-4)/18. Solve 0 = -5*g - 8 - t for g.
-4
Let b(s) = s**3 - 18*s**2 - s + 20. Let u be b(18). Let t be (-7 + 0 - -7)/(-1 + 4). Solve t*c + 8 = u*c for c.
4
Let i be ((-2)/3)/(2/(-15)). Suppose -r + i*r = 16. Suppose 4301*j - 4312*j + 55 = 0. Solve -r*p + 7 + j = 0 for p.
3
Let g be 107 - 8 - (10 + 2). Solve -84*o = -g*o + 21 for o.
7
Let o(b) = b**3 - 3*b**2 - 5*b + 4. Let w be o(4). Let c(j) = 97*j - 328. Let a be c(6). Suppose -284 = -5*p - a. Solve -m - m - p = w for m.
-3
Let a(d) = -29*d**2 - 107*d + 66. Let x be a(-4). Solve x + 12 = -14*u for u.
-3
Suppose 47*h + 13 = 530. Solve h*m - 5*m - 30 = 0 for m.
5
Suppose 123 - 213 = -30*p. Solve -p*x + 84 = 25*x for x.
3
Let p = -4 - -9. Suppose -458*n + 89*n = -738. Solve -n*l + p = -3 for l.
4
Let q(d) = 57*d - 169. Let t be q(3). Suppose -12*n - 8 = -8*n. Let o be 0/(-1 - -2 - n). Solve -t = -h - o*h for h.
2
Suppose 0 = -3*v - 9 + 120. Let j(x) = -x**2 + 37*x + 2. Let l be j(v). Solve 18*z = 16*z - l for z.
-1
Let p be (-20)/(-4) + -5 - -18. Let k be p/22 - 0 - 2/(-11). Solve -k = 2*n + 1 for n.
-1
Let x(z) = z**3 - 17*z**2 + 29*z + 17. Let i be x(15). Suppose i*a = 3*a - 4*v + 3, 0 = -4*v + 4. Solve -4 + a = s for s.
-3
Let i be (244/(-8) + 3)*24/(-20). Suppose 29*q = i*q - 80. Solve q*f = 24*f - 20 for f.
5
Let t(r) = -2*r - 14. Let y(h) = -h**3 + 5*h**2 - 3*h + 5. Let n be y(5). Let l be t(n). Solve 0 = -4*z - 14 + l for z.
-2
Let a(q) = -10*q**2 - 8*q - 32. Let g(x) = 5*x**2 + 3*x + 17. Let l(z) = -3*a(z) - 5*g(z). Let h be l(-1). Solve -7*k - h = -0*k for k.
-1
Let r = 202 + -115. Let n be 48/288 - (-518 - 3)*1/6. Let i = n - r. Solve -10 = -i*o + 2*o for o.
-5
Suppose 354 = 3587*f - 3586*f. Solve 359*g - f*g = -15 for g.
-3
Suppose 219*r - 218*r - 55 = 0. Let p = r + -53. Solve 12 = a + p*a for a.
4
Let c be (131/(-786))/((-1)/54). Solve c*d + 2863 = 2791 for d.
-8
Let s be ((6/(-4))/(-1))/(15*6/660). Solve -s = 13*r + 15 for r.
-2
Let u(t) be the second derivative of t**3/6 + 9*t**2/2 - 10*t + 1. Let z be u(-9). Solve z = 7*a - 11*a for a.
0
Suppose 99*w - 11952 = -229*w + 79*w. Solve -w*x = 126 + 114 for x.
-5
Suppose -2*d = -1838 - 1714 + 3392. Solve -d*s - 37 + 517 = 0 for s.
6
Let p = -212 + 134. Let m = p + -2. Le