 for k.
-5
Let n be (60/(-16))/((-50)/240). Solve -12*p - 36 = -n*p for p.
6
Let a = 8194 + -8164. Solve -355*o + a = -361*o for o.
-5
Suppose 2*q + 2*j - 8 = 0, -22 = 3*q - 8*q - 4*j. Solve -16*f + q*f = -20 for f.
2
Suppose 4*k + 250 = 2*s, -3*k + 0*k - 2*s = 170. Let q = 49 + k. Let z(l) = -l**2 - 9*l + 23. Let t be z(q). Solve -t = -u + 2*u for u.
-1
Let j(g) = -g**2 + 95*g - 468. Let y be j(69). Solve y*p - 1308*p = 18 for p.
1
Suppose 0 = 2*t - 5 - 7. Suppose n + t*n - 3*n = 0. Suppose c - 50 + 45 = n. Solve 0 = -0*z + c*z - 5 for z.
1
Let a(l) = 30*l + 13. Let g(b) = -90*b - 38. Let y(i) = -8*a(i) - 3*g(i). Let n be y(0). Solve -n = -m - 9*m for m.
1
Let v = 3774 - 3755. Solve 15*y - v*y - 20 = 0 for y.
-5
Suppose -l + 52 = -3*r, -5*r = -3*l - 823 + 959. Solve 132 = -19*i + l for i.
-5
Let w be (-6)/45 - 0 - (-257917)/165. Suppose 1562*z + 15 = w*z. Solve -9*k = -6*k + z for k.
-5
Let b be (((-56)/3)/(-2))/(4/6). Suppose -2*q + 7*q = -70. Let u = b + q. Solve u*y - 1 = -y for y.
1
Let a(n) = -n**3 + 5*n**2 + 52*n + 25. Let v be a(-5). Solve w - v*w - 98 = 0 for w.
-7
Let n = 77 - 17. Suppose l + 2*l - n = 0. Suppose -11*x + l = -13. Solve -f - 16 = x*f for f.
-4
Let f = -3608 - -3687. Solve 0 = 4*w + f - 83 for w.
1
Suppose l = 9*l - 1896. Let n = 127 - l. Let r = 113 + n. Solve -r*o = -11 + 2 for o.
3
Let n be 1598/(-47) + -12 + 46. Suppose 11 + 69 = 5*l. Solve n = -5*c + c - l for c.
-4
Suppose 0*y - 162 = 3*y. Let f = -40 - y. Suppose 16*s - 8 = f*s. Solve -s*u + 0 = 4 for u.
-1
Let b be 0 + -4*(3 - (319/22 - 11)). Let y be 1/2*(-24)/(-2). Solve -4*r = -b + y for r.
-1
Let h(d) = 2*d**2 + 45*d + 63. Let t be h(-21). Suppose 44*g - 46*g + 10 = t. Solve 3*u + 2*u = g for u.
1
Let k be 2*2/(-4)*1 + -23. Let i be (k/45)/4 - (-255)/225. Solve -7 = 4*x + i for x.
-2
Let l = -1730 - -1221. Let t = l + 519. Solve 2*s + 6 - t = 0 for s.
2
Let r = -1767 + 1775. Solve -47*w - 220 = r*w for w.
-4
Let h = 1973 - 1970. Solve h*b + 3*b = 2*b for b.
0
Let n be (-39)/(-9) + (-2)/6. Let o be (2084/4689)/(4/(-27)*(-1)/2). Solve -d + n - o = 0 for d.
-2
Suppose 120*x - 144 = 118*x + 5*m, 0 = 5*x + 5*m - 255. Solve 195*t = 214*t - x for t.
3
Suppose -f + 45 = 5*c, -25*c - 5*f - 75 = -30*c. Suppose -c*x = 5*x - 90. Solve x*y = y for y.
0
Suppose -w + 5*w + 190 = -2*c, 2*c = -2*w - 90. Let f = w - -52. Let q be -1 - (-30)/(20/4). Solve q*h - 12 = f*h for h.
4
Let g(f) = f + 4. Suppose 1 = -20*w + 21*w. Suppose -3*u - 5 = w. Let n be g(u). Solve n*y - 5*y = 0 for y.
0
Let b be 20167/(-86)*4/(-14). Solve 6 = -73*a + b*a for a.
-1
Let d(y) = 9*y + 4 + 9*y**2 + y**3 + y**2 - 3. Let q be d(-9). Let l(p) = 2*p**2 - 2*p - 1. Let s be l(2). Solve 8 = -s*n - q for n.
-3
Let d be ((-45)/(-6))/(15/18). Suppose -124 = -53*u - d*u. Solve -u*x = -8 - 2 for x.
5
Let y = -8226 + 8226. Solve 27 + y = 27*g for g.
1
Suppose -20*f + 6*f + 606 = 354. Solve -1035*t - f = -1041*t for t.
3
Let n(d) = -2*d**3 - d**2 - 2*d - 2. Let u be n(-2). Let g(f) = f**3 - 15*f**2 + 16*f - 24. Let t be g(u). Solve t*h + 4 = -0 for h.
-1
Suppose l = -6, 0 = -2*k + 1126*l - 1131*l - 20. Solve -k*b = 39 - 59 for b.
4
Let x(c) = -4*c**2 - 27. Let j be x(8). Let a = -277 - j. Solve a - 4 = -m for m.
-2
Let t(f) = -199*f - 1353. Let j be t(-7). Solve 2*g + 210 = -j*g for g.
-5
Let k be 10*(13/78)/((-3)/(-9)). Solve -k*i + 3 = -6*i for i.
-3
Let w = -28521 + 28548. Solve 0 = w*g - 81 + 81 for g.
0
Let g = 166 + -236. Let t = -69 - g. Let i be 2/10 - (-84)/30. Solve d = -t - i for d.
-4
Let q = -4127 - -4788. Solve -21 = -q*r + 654*r for r.
3
Let o = -344 - -409. Suppose -48*q - 68 = -o*q. Solve -5*h + q*h - 3*h = 0 for h.
0
Let y(d) be the second derivative of d**4/12 + 19*d**3/6 + 37*d**2/2 + 26*d - 2. Let s be y(-17). Solve s*r + 0 + 9 = 0 for r.
-3
Suppose -36 + 12 = -6*x. Let m(q) = -q**3 + 5*q**2 - 5*q + 7. Let t be m(x). Let k(p) = -p**2 + 5*p - 2. Let a be k(t). Solve 0 = -i - a*i - 20 for i.
-4
Let c(u) = -u**3 + 4*u**2 + 5*u - 20. Let j be c(6). Let f = -66 - j. Let v be (-11)/f + (-1)/(-4). Solve 0 = -2*h + v + 3 for h.
3
Let b(h) = -2*h - 24. Let t be b(-18). Suppose 5*v + 3*j - 17 = -74, -16 = v - 4*j. Let n be v/(-18)*12/4. Solve -n*l - 2 = -t for l.
5
Let s = -1027 + 1034. Solve -25 = -s*g + 2*g for g.
5
Let z be 2/(-20) - (-39216)/160. Suppose 238*q - z*q = -7. Let h = 5 - 1. Solve -h*p + 5 - q = 0 for p.
1
Let a = -6834 + 6854. Solve 0 = -a*z - 0*z + 100 for z.
5
Let d be 2/(-3) + -1*(-51)/9. Suppose 3*h + 9 = n - 6, 1 = -n - d*h. Let k = n - 7. Solve -4*z = -k*z + 4 for z.
-2
Let v(o) be the second derivative of o**3/3 - 4*o**2 + o. Let f be v(9). Suppose -3*m - 5*k = f, -3*k - 3 = 3. Solve m = z + z for z.
0
Let o be 15 - (13 - 2 - (2 - -5)). Solve -o*l + 0*l = 18*l for l.
0
Let y(q) = 5*q - 1. Let k be y(2). Let t(h) = h**2 - 6*h - 20. Let a be t(k). Suppose -43 = -a*n - 1. Solve -3*z = -n*z - 9 for z.
-3
Suppose -62*v = -64*v + 8. Suppose 2*g + 2*b = -b + 22, v*b = 16. Let n be ((8/10)/4)/(1/g). Solve 1 + n = -2*x for x.
-1
Let i(f) = -f**2 - 77*f - 1317. Let o be i(-27). Solve 195 - 30 = -o*h for h.
-5
Suppose 0 = -4*m + 5*o - 28, -113*o + 4 = -m - 112*o. Let f be (2/(-4))/(1/(-12)). Solve -m*g + 2 + f = 0 for g.
1
Suppose 4 = 24*b - 20*b. Let p(v) = 3*v - 17. Let g be (-1)/8 - 114/(-16). Let r be p(g). Solve -r*z - b = 3 for z.
-1
Let u = 896 + -874. Suppose u*f - 48 = -4. Solve 8 = f*w + 6 for w.
1
Let f(g) = 11*g - 61. Let n be f(6). Let j be (-3)/(-6) - n/10. Solve j*x - 1 = -x for x.
1
Suppose -185*p + 1696 = 165*p + 74*p. Solve -7*a - p = 10 for a.
-2
Let y(o) = o**3 - 7*o**2 + o - 4. Let v be y(7). Suppose -20 = v*n + 7. Let m be (-9)/(-3)*(0 + -1) - n. Solve m*k = k + 5 for k.
1
Suppose 26*u + 108 = 32*u. Let h = u - 8. Let l be 2/8 - (-45)/12. Solve l*o + h = 2*o for o.
-5
Let v = -1003 + 1009. Let u(y) = -24*y - 4. Let m be u(-1). Solve -v*c + m = -c for c.
4
Suppose -3 = 3*f - 3*h, -3*h + 2*h - 3 = 0. Let w be ((-56)/(-84))/(f/(-6)). Let v be 5 + (0 + -1 - w). Solve v*n = -n for n.
0
Let q = 23544 - 23444. Solve 97*g - 47*g + q = 0 for g.
-2
Suppose 2340 = -18*l + 5*l + 23*l. Solve 5*z + 264 = l for z.
-6
Let n = -28219 + 28280. Solve 105 = -83*p - n for p.
-2
Let r(j) = -6*j + 28. Let q be r(-18). Suppose -q = 7*n - 164. Suppose 0 = 4*i + 4*c, -3*i = -5*c + 4*c - 20. Solve -n*b = -i + 21 for b.
-4
Let l(a) = a - 1. Let r be l(2). Suppose 1899171*t - 1899207*t = -288. Solve -3*c = t + r for c.
-3
Suppose -6*o + 58 = -2. Let m be o/(-1)*15/(-50). Solve m*y = -0*y + 12 for y.
4
Let w(z) = z**2 + 16*z + 39. Let f be w(-13). Suppose -2*b + 3*j - 111 = f, 3*b + 85 + 83 = 4*j. Let i = 60 + b. Solve i = v - 0*v for v.
0
Let r be (9/(-6) + (-247)/(-2))/2. Let g = r + -60. Let u be (-2 - (-4 - -2))/g - -2. Solve -u*b - b = 0 for b.
0
Suppose 141*n = 150*n - 72. Suppose -r = -0*r + 3. Let s be (18/3)/(r - -5). Solve -n - 1 = -s*m for m.
3
Let o(u) = -2*u**3 - 4*u**2 + 12*u - 1. Let s(g) = 3*g**3 + 8*g**2 - 23*g + 3. Let n(y) = -5*o(y) - 3*s(y). Let f be n(2). Solve -5*r - 4 - f = 0 for r.
-2
Let i be 26 + -7 + (21 - -8 - 45). Let b(m) = m**3 + 8*m**2 + 6*m - 5. Let z be b(-7). Solve 0 = -i*c - 1 - z for c.
-1
Suppose 731*u - 730*u - 3 = 0. Let x(t) = t**2 - 7*t + 1. Let p be x(7). Suppose -p - 1 = -s. Solve u*l + s = 8 for l.
2
Let h(m) = 4*m**3 - 15*m + 21. Let s be h(3). Solve -s = -10*i - 144 for i.
-6
Suppose -20 = -24*g - 20. Suppose 20*d - 60 = -g. Solve 2*s + s = d for s.
1
Suppose 13433*v - 13406*v + 8243 - 27413 = 0. Solve 8*a - 750 = -v for a.
5
Let y = -71 + 79. Suppose 32 - y = 3*w. Solve -2*q - 6 = -w*q for q.
1
Let m(z) = 9*z**2 - 7*z + z**3 - 4*z + 0*z**3 - 7. Suppose 0 = -i - s - 15, s = -6*i + 3*i - 35. Let d be m(i). Solve -q = -d*q for q.
0
Let h be 10/(-4)*468/(-195). Suppose 3*q + 3*x = h, -4*q + 4*x - 3 = -27. Solve -d = -3*d - q for d.
-2
Let n(l) = l**2 - 23*l + 73. Let z be n(3). Solve 10*i - z*i - 12 = 0 for i.
-4
Suppose h = -2*f + 5*h - 32, -2*f - 2 = 2*h. Let i be (-36)/f - (-6)/(-6). Solve -i*q - 12 = 13 for q.
-5
Suppose -5*t = -19 - 1. Suppose 0 = t*l - 496 + 484. Solve -l*k - 4 = -1 for k.
-1
Let z be ((-160)/6 - 2)/(1*56/(-252)). Solve 0 = -133*m + z*m + 12 for m.
3
Let k be -66*(130/12 - 11). Solve -k*p + 20 = -15*p for p.
-5
Suppose 56 - 