1 = -q*j for j.
3
Let y(a) = a**2 + 23*a + 4. Let o be y(-23). Let d = 34 - 33. Let h = 0 + d. Solve o*w = 19 + h for w.
5
Suppose -k = 4*d - 4, -3*k + 136*d - 1 = 135*d. Solve -74*t + 80*t + 24 = k for t.
-4
Suppose 2*j - 13*f = -18*f + 21, 2*f - 18 = -4*j. Solve 0 = -j*a - 3*a - 24 for a.
-4
Let x = -3716 + 3708. Let p = 11 + -6. Let i be ((-18)/x)/(6/80*p). Solve 9 = -3*q - i for q.
-5
Let k(z) = -z**2 + 4*z + 19. Let y be k(5). Suppose t - 3*l - 6 = -5*l, 3*t - y = -2*l. Solve t*x = 3 + 1 for x.
1
Let k = 5179 + -5177. Solve k*x - 18*x - 64 = 0 for x.
-4
Suppose -264*w = -7186 + 8317 - 18027. Solve 16 = w*n + 144 for n.
-2
Suppose 0 = -4*l - 2*m + 1332, -5*l = -m - 1047 - 632. Solve l = 7*x + 314 for x.
3
Suppose i - 26 + 12 = 0. Let s be 238/6 + (4 - i/3). Let l = s + -37. Solve 0 - l = u for u.
-2
Suppose 0 = 5*j - 2*u - 48, -4*j + 45 = -596*u + 601*u. Solve -j + 6 = -y for y.
4
Suppose 2*t = -m + 440, 4*t = 38*m - 34*m + 844. Solve 16*f = t - 265 for f.
-3
Let i = -160 - -167. Let p(y) be the third derivative of y**6/120 - 3*y**5/20 + 7*y**4/12 + 7*y**3/6 + 7*y**2. Let r be p(i). Solve 0 = 5*h + 8 + r for h.
-3
Let a(n) = n**2 - 19*n + 62. Let m be (2 - 1)*75/5. Let x be a(m). Solve -2 = -x*l + l for l.
2
Let i(p) = -4*p + 50. Let b be i(12). Suppose m = b*l - 272, 141 = -2*l + 3*l - 3*m. Let t = l + -129. Solve -t*w + 4*w = 6 for w.
-3
Let y(q) = q**3 + 5*q**2 + 4*q + 3. Let x be y(-4). Suppose 21*i = 152 - 26. Suppose x*v - 9 = i. Solve 0 = -u + v for u.
5
Suppose -22*x = -9*x. Let m be (x + 1 - 0)*(14 + -11). Solve -f - m + 6 = 0 for f.
3
Suppose -17 = -4*j + 19. Let z = 30979 + -30975. Solve j = -f + z*f for f.
3
Let b(z) = -z - 4. Let j be b(-4). Let p(m) = -5*m + 16. Let r be p(-4). Suppose -6*u + r = -j*u. Solve -l = l - u for l.
3
Suppose 168*u = 172*u - 220. Suppose -4*p = -63 + u. Solve -p*h - 6 + 0 = 0 for h.
-3
Let q = 23010 - 23010. Solve -f + 7 - 3 = q for f.
4
Let x be -7 + 260/35 + 9/(-21). Solve x = -4*f + 192 - 212 for f.
-5
Let x(d) = 54*d - 90. Let r be x(3). Solve -36*z + r = -0 for z.
2
Let u(r) = -r**3 - 40*r**2 - 77*r - 24. Let d be u(-38). Suppose d*v - 20 = 22. Solve 2*p = -v*p for p.
0
Let x = -14985 - -14985. Solve 8*h + 24 + x = 0 for h.
-3
Suppose 2*g - 2*h = -2, 0*g + 3*g = 2*h - 4. Let y be 3*3*(-12)/3. Let j be (y/42)/(g*(-2)/(-28)). Solve -2*d - 2 = j for d.
-4
Let u(o) = o**2 - 40*o + 235. Suppose -132 = -4*w + 5*f, 5*w = 2*w + 4*f + 99. Let s be u(w). Solve 0*r - s*r + 12 = 0 for r.
3
Let y = -4390 - -4425. Solve -25*h = -32*h + y for h.
5
Let x be (-27)/(-63) - (-176)/14. Suppose -4*z - x = -2*t + 3*t, -5*t + 23 = -2*z. Solve t*o + 3 = -9 for o.
-4
Let w = -74 - -78. Suppose w*t + 100 = 14*t. Solve 3*f - 25 + t = 0 for f.
5
Suppose 0 = 20*k - 23*k - u + 10, 4*k - 2*u - 30 = 0. Suppose 0 = -r + 2*w + 63, 27*w - 25*w = k*r - 339. Solve -10*b - 19 = -r for b.
5
Let x = 2190 + -2044. Solve x*p = 148*p - 8 for p.
4
Let x(u) = -u**2 - 5*u. Let c be x(-4). Suppose -119 = b - 6*b - c*l, 4*b = 2*l + 90. Solve -20*v + b*v - 9 = 0 for v.
3
Let c = 182 + -180. Let m be -2 + c - 0/((-12)/(-2)). Solve m = 8*n - 3*n + 5 for n.
-1
Let c = 400 + -365. Suppose 0 = 2*d + 2*m - 27 + c, -4*d - 11 = 3*m. Solve -7*o - 8 = -d for o.
-1
Suppose 5*x = -3*x + 56. Suppose -19 = -x*h - 12. Solve -h = 5*j + 4 for j.
-1
Let x = 115 - 71. Suppose 20 = 8*s - x. Let k be (10 - s) + 2/1. Solve k*u = -0*u for u.
0
Suppose -5*j = i - 258, j + 422 = 3*i - 304. Solve 0 = 249*n - i*n + 30 for n.
-5
Let c(h) = h**3 - 9*h**2 + 10*h - 16. Suppose -4*x = 372 - 404. Let y be c(x). Let s be 8/3*30/8. Solve y*i + 2*i = -s for i.
-5
Let j(x) = 82*x**2 - 39*x - 59. Let z be j(-6). Solve z = -8*m + 3151 for m.
3
Suppose -21 = -17*d + 26 - 13. Solve -4*j = -d*j + 4 for j.
-2
Suppose 0*v + 5*v = 3*w + 31, w - 18 = -4*v. Suppose 6*s - 2*s = v*t + 35, 3*s - 5*t = 20. Solve 2*g = s - 13 for g.
1
Suppose 22*v + 40*v + 28*v = -18*v. Solve v = -7*p - 745 + 710 for p.
-5
Let y = 155 - -187. Suppose 2*k - y = 11*k. Let c = k + 38. Solve 0 = 2*o - 6 - c for o.
3
Suppose -7*u + 2*u + 24 = 3*w, 0 = -w + 5*u - 12. Let i be ((-3)/(-1))/(w/(-48)*-12). Solve -o - i*o + 20 = 0 for o.
4
Let v = 34206 - 34133. Solve 0 = 58*d + 333 + v for d.
-7
Let h = -158 + 165. Suppose -m - h*m - 3*m = 0. Solve 3*s + 0*s - 6 = m for s.
2
Let p(a) = -3*a**2 - 12*a - 9. Let r be p(-2). Solve -4*x = -r*x - 5 for x.
5
Let l(k) be the second derivative of -k**5/20 - k**4/3 + 2*k**3/3 - 9*k. Let z be l(-5). Suppose 8 = z*v - 12. Solve v*n - 5 = 15 for n.
5
Let i be -1 + 0 + -5 + 2 - -16. Let f be 10/i + (-5719)/(-258). Solve -f = 12*g - 71 for g.
4
Suppose -5*d = -z - 3*z + 51, -3*d = 2*z + 13. Let g be (-7)/1 - 49/d. Solve -u + 4 = -g*u for u.
4
Suppose 0 = 4*k, 2*y - 9*k + 22 = -4*k. Let i be 24/(-5 - y) - (-3)/(-1). Let s = 6 + 0. Solve x - s = -i for x.
5
Suppose 73*a = -164*a + 20147 + 5686. Solve 134 = -27*y - a for y.
-9
Let k(b) = 3*b**2 + 16*b - 6. Let h be k(-6). Let z(l) = 13*l - 78. Let f be z(h). Solve f = -19*s + 18*s + 3 for s.
3
Suppose -343*c + 313*c + 1320 = 0. Solve 12*k + 64 = c*k for k.
2
Let f = 52 + -48. Suppose -f*h - 1 + 29 = -4*i, 2*i = 5*h - 29. Suppose 3*w = h*w. Solve w = -5*u + 3*u for u.
0
Suppose 3*m - 2082 = -1974. Solve -54*h + m*h = 54 for h.
-3
Let v be ((-12)/(-15))/(0 - 3/15). Let l be (10/v + 0)*112/(-70). Let i be 0 + (-12)/9*-12. Solve -i + 0 = l*c for c.
-4
Suppose 4 = 4*m + 2*j - 12, -10 = m - 3*j. Suppose m*d - d - 7 = 0. Let c be 1/((-5)/3*8/(-40)). Solve -d = 2*k - c for k.
-2
Suppose 20 = 4*v, -3*s = -v + 5*v - 635. Let k = s + -199. Solve 31*c - k = 28*c for c.
2
Suppose -168 = -4*h - 5*x, 89 - 15 = 2*h + 5*x. Solve 0 = -10*b + h + 23 for b.
7
Suppose 10*q + 4*u - 136 + 10 = 0, 3*u - 1 = q. Solve 0 = -q*a + 71 - 5 for a.
6
Let k = 6 - 5. Let l be -7*(36/(-14))/k. Let h(i) = 139*i**2 + 1248*i - 21. Let z be h(-9). Solve 3*f + z = l for f.
4
Suppose 4*a + 3*u - 3 = 0, -4*u = -5*a - 9*u. Let y be (40/18 - (-4)/(-18)) + a. Suppose -6*v + y*v = -4*d + 2, 5*d = -5*v + 15. Solve 0 = v*r - r - 2 for r.
2
Let t be (-23 + 323)/20*7. Solve -770 = t*l + 175 for l.
-9
Suppose -2*v + 0*v - 2 = 3*g, 0 = 5*g - 20. Let i = 5 - v. Let t = 158 - 155. Solve 7*y = t*y + i for y.
3
Suppose -90 - 463 - 47 = -120*d. Let c(l) = -l**3 - 3*l**2 + 5*l + 3. Let h be c(-3). Let r be ((-8)/h)/((-2)/(-12)). Solve d - 1 = -r*v for v.
-1
Let w be 1322/22 + 936/(-858). Solve w*i = 20*i for i.
0
Suppose 17 = s + 4*g, 0*g + 4*g = 0. Solve 30 = -s*r + 2*r for r.
-2
Suppose -580*b + 576*b - 5*r = -481, 5*r = 4*b - 511. Solve 394 = -45*t + b for t.
-6
Let n be -5 - (-1 + (-126)/21). Let o = 8 - 5. Solve -n*x = o*x for x.
0
Let x(m) = 2*m**3 + 25*m**2 - 81*m - 14. Let f be x(-15). Solve -f = 18*n - 4 for n.
-4
Let l(k) = 17*k + 55. Let t = -400 + 398. Let d be l(t). Solve 11 = 5*a + d for a.
-2
Suppose s = -5*a + 313, 3*a = 4*s + s + 171. Let v be (62/8)/(1/8). Let u = v - a. Solve -3*c + 4*c + 1 = u for c.
-1
Let f(a) = 40*a - 200. Let h be f(5). Suppose 0 = 5*i + 4*r - 36, 5*i + h*r = 4*r + 4. Solve -7*o - 3 = -i*o for o.
-1
Suppose -5*h - d + 70 = 0, 29 = 2*h - 3*d - 16. Let r = 84 + -77. Solve r*k = 2*k + h for k.
3
Let a(k) = k**3 + 20*k**2 - 25*k - 79. Let q = -424 + 403. Let c be a(q). Solve -c*o + 1 = -14 for o.
3
Let p = 523 - 220. Suppose p = 7*n - 264. Solve -5*s + 71 = n for s.
-2
Let q be (-2)/8 + (-29)/(-4). Let z(p) = -63*p**3 - 4*p + 5. Let y be z(1). Let g = y - -63. Solve 0 = -4*l + q + g for l.
2
Let i = 988 - 366. Let m = 625 - i. Solve m*j + 4*j - 14 = 0 for j.
2
Suppose -5*w + 73 = f, -15*w + 11*w - 5*f = -50. Suppose 0 = -4*x + 35 - w. Solve -12 = -x*j + 9*j for j.
-3
Suppose -t + 4 = -6. Let n = -92 - -115. Suppose 13 = 4*j - n. Solve -4*k - t = -j*k for k.
2
Let g(j) = -2*j - 12. Let z be g(-8). Let c be 21*z/60*5. Suppose 2*a - 5*a + c = m, -2*a + 2*m + 2 = 0. Solve 2*n + a = -0*n for n.
-1
Let d = 156 - 150. Suppose d*k = -13*k + 57. Solve 0 = -i + k + 1 for i.
4
Let v(k) = -k**3 - 146*k**2 + 602*k + 383. Let q be v(-150). Solve -68*y + 60 = -q*y for y.
-4
Let y = 31851 - 31258. Solve 9*w - y = -539 for w.
6
Suppose 89*q + 17255 = 176*q + 2204. Solve q*n - 162*n = -66 for n.
-6
Suppose 0 = -9*l - 4*i + 650, -3*l - i = -44 - 174. Solve 88 = 27*a - l f