. Solve z = -2*k - k - 12 for k.
-4
Suppose -8*s - 5*o + 35 = -4*s, 33 = 3*s - 3*o. Solve 0 = 158*a - 163*a - s for a.
-2
Let v(u) = -9*u**2 + 20*u - 74. Let o be v(6). Let g = o - -281. Solve 0*w + 12 = -g*w for w.
-4
Suppose 0 = 3*w - 2*h - 488, -w + 5*h - 41 + 208 = 0. Let r be 164/18 + (-18)/w - 5. Solve 6 = -r*t + 2*t for t.
-3
Let v = 222 + -54. Suppose 0 = -6*j + 14*j - v. Solve 11*z + j = 4*z for z.
-3
Let m(v) = -v**2 - 2*v + 16. Let n be m(0). Suppose n*p = -6*p + 176. Solve p*i = 10*i for i.
0
Suppose 3 = -3*m, m - 24 = -4*w + 107. Suppose -5*l = -3*z - 635, w = 5*z + 8. Let k = 132 - l. Solve b + k = 1 for b.
-1
Let b(u) = -2*u**3 - 10*u**2 + 29*u - 38. Let v(s) = s**3 + 5*s**2 - 14*s + 19. Let z(c) = 2*b(c) + 5*v(c). Let f be z(-7). Solve 10*w - 5*w - f = 0 for w.
1
Let k(a) = -a - 1. Let x(j) = -21*j - 21. Let s(y) = 2*k(y) + x(y). Let b be s(-2). Solve -19 = v - b for v.
4
Suppose -5*r - 2*c - 307 + 1037 = 0, 0 = 4*r - 2*c - 584. Solve 157*h - r*h = 0 for h.
0
Suppose -6*a + 84 - 12 = 0. Suppose 8*u + 319 = a*u + p, -5*u - p = -398. Solve g - 75 = -u for g.
-4
Let r be (5 + -1)*168/(-224). Let c(x) = 2*x + 10. Let m be c(r). Solve -m = -4*v - 20 for v.
-4
Let j = -12665 - -12727. Solve -j*x - 88 = -84*x for x.
4
Let y(j) = -j**3 - 12*j**2 - 10*j + 14. Let r be y(-11). Suppose 3*f + 0*o - 25 = 4*o, f + r*o + 9 = 0. Solve -f*n - 1 = -2*n for n.
-1
Suppose -292*p + 295*p - 18 = 0, -24 = 2*f - 4*p. Solve -10*a + 5 + 45 = f for a.
5
Suppose -4*c - 70 = -2*n, 6*n + 4 = 2*n. Let l be 16/96 + (-231)/c. Solve -7*w + l*w = 30 for w.
5
Suppose -31*u - 35*u + 59*u = -28. Let d(x) = -x**3 + 3*x**2 + 2*x - 1. Let q be d(2). Let l = q - 4. Solve 0 = l*f - u*f for f.
0
Suppose -66*t + 908 = -2015 + 151. Solve 90*r = 97*r - t for r.
6
Suppose -4*v = 4*n - 7*n - 225, -4*v = 4*n + 300. Let a be ((-6)/10)/(15/n). Suppose 8*h - 7*h + 4*t = -20, a*t + 15 = -h. Solve -3*k = -h*k - 9 for k.
3
Let r(m) = -m**3 - 12*m**2 - 11*m - 12. Let b be r(-11). Let y be (3 - (-1245)/b) + 6/8. Let w be 10/(y/(-78)) - 1/(-5). Solve 5*i + w = -2 for i.
-2
Let x = 357 + 1227. Let y be 2/18 - x/(-324). Solve y + 0 = -s for s.
-5
Let l(c) = 2*c + 74. Let g be l(22). Suppose 2*r - 184 + 654 = 4*f, -f + r + g = 0. Let a = f - 117. Solve a*v = v for v.
0
Let a(n) = n**2 - 15*n - 15. Let z be a(16). Let i be 0/((-10)/5*(z + -2)). Solve i = 4*t - 2*t for t.
0
Let a = -152 - -471. Let u = a + -311. Solve -t = -u + 6 for t.
2
Let b = 2256 - 2123. Solve 0 = -7*o - 98 + b for o.
5
Let o be -2 + 2 + (1 - -7). Suppose -5*c = z + 74, -4*z - 201 = -0*c + c. Let v = 53 + z. Solve 0 = 2*l - v*l + o for l.
4
Let l(p) = 5*p + 16*p + 0*p**2 + p - 61 - 6*p - p**2. Let v be l(9). Solve -v*b = 6 - 14 for b.
4
Let u be (6/8 - (-21)/(-28))/1. Let c = -23 - -13. Let s = 12 + c. Solve u = 3*v + s*v for v.
0
Let r = 105 + -99. Suppose -r*a = a - 42. Solve a = 2*n + n for n.
2
Suppose 0 = 11*h - 2622 - 1206. Let m = h + -343. Solve -m*r + 9 = 4 for r.
1
Let x = -4913 - -5205. Solve 0 = -290*h + x*h + 2 for h.
-1
Let n be 0/(1 - 0/(-14)). Let f = 3 - -1. Suppose f*k + 16 = 8*k. Solve -l + k = -n for l.
4
Let c = 500 - 1235. Let q = -726 - c. Solve 9*d + 18 = -q for d.
-3
Let t = 26 + 44. Suppose -74*q = -t*q - 16. Solve 0 = 10*k - q*k - 6 for k.
1
Let q be -5*(3/5 - 1) + 3. Let m = q + 2. Suppose 23 = 4*w + m. Solve w*o - 2*o = -6 for o.
-3
Let j be ((-40)/15)/((-4)/288). Let p be (-4)/10 + j/80. Solve 0 = -7*i + p*i for i.
0
Let c be -5 + (10 - 8 - -3). Solve c = -6*n - 91 + 73 for n.
-3
Let m(o) = o**3 + 18*o**2 - 4. Let p be m(-18). Let x be p + 16/2 - (0 + -1). Solve x*a + 17 = 2 for a.
-3
Let z(t) = t**2 + 34*t - 94. Let x be z(-37). Suppose -12*c = x*c - 8*c. Solve -4*j = -c*j + 12 for j.
-3
Suppose 18*n = 14 + 40. Suppose 29 = 3*v - 5*m, n*m + 18 = 9*v - 7*v. Let p be 8*(1 + 0/(-3)). Solve s = -v*s - p for s.
-2
Let j = 1736 - 1731. Solve 10*a = -j*a + 15 for a.
1
Suppose 0 = -144*r + 147*r - 774. Let s = -252 + r. Solve s*c + 1 = -11 for c.
-2
Let m = 75 + -63. Let l(q) = -2*q**2 + 21*q + 41. Let u be l(m). Suppose 3*p + 2*d = 8 + u, p - 9 = -3*d. Solve -b + p*b - 8 = 0 for b.
4
Let t be -1*(-11 + 11)/3. Solve t = -186*u + 161*u for u.
0
Let d be -3*(-2)/(-3) - -4. Let f be d - 0 - 4/(-2). Let u = -618076 - -618076. Solve -a - a - f = u for a.
-2
Suppose -6*o + 42 = -3*l, 2*o + 0 = 5*l - 2. Solve 260*z + o = 263*z for z.
3
Let x = 12552 + -12552. Solve x = -57*k + 50*k - 14 for k.
-2
Suppose 0 = -m + s, s + 12 = 4*m - 0*s. Let c(l) = -7 + 1 + 37 - m*l. Let f be c(7). Solve -a = f*a + 4 for a.
-1
Suppose -47*t + 7*t = 8*t. Solve t = -137*w + 145*w + 32 for w.
-4
Suppose -5*v = u + 25 - 73, -5*v + 46 = 2*u. Let m be 7 + 30 - 3/((-6)/v). Solve 37*a = m*a - 10 for a.
2
Suppose -7*k + 1410 = 1207. Solve -56 - k = -17*f for f.
5
Let c(z) = 7*z**2 + 2*z + 6. Let a be 0 - 4/5*20/8. Let i be c(a). Let h be 664/i - ((-128)/(-60) + -2). Solve 4*y = h - 2 for y.
5
Let s(y) be the second derivative of -19*y**5/20 - y**3/6 - y**2/2 - 12*y. Let x be s(-1). Suppose -x*t - 15 = -24*t. Solve -z + t*z = -6 for z.
-3
Let d be (-1)/(-4) + 57/12. Let h be 34 + 6/(-2) + 1. Suppose -4*v = -4*u, -3*u + 11*v = 16*v - h. Solve -d*n = -3*n + u for n.
-2
Let g = 4708 + -4688. Suppose 3*t + t = 0. Solve -2*s - 3*s + g = t for s.
4
Let s = -70 + 118. Suppose 0*w = 6*w + s. Let k be -2 - -1 - (w + 3). Solve -l + 5*l = -k for l.
-1
Let m = 67 - 33. Let j = m + -32. Let t = 55 + -51. Solve -t*g = -j*g + 2 for g.
-1
Suppose 1 = f - 5*l + 24, 20 = 4*l. Let h be ((-2 + 3)*6)/f. Let w = -21 + 43. Solve 7 = h*z + w for z.
-5
Suppose -60*x - 1371 + 19 = -164*x. Solve 0 = x*f - 160 + 134 for f.
2
Let z(c) be the second derivative of 5*c**4/6 - 12*c. Let k be z(-1). Suppose a + y = 4*a - k, 4*a - 8 = 4*y. Solve -2 = -3*v + a for v.
2
Let d(h) be the second derivative of -7*h**3/2 - 101*h**2/2 - 99*h - 2. Let z be d(-5). Solve 2 = z*r + 14 for r.
-3
Suppose 2*l + 258 = -5*d, l + 664 = -4*l - 3*d. Let g = l + 137. Solve 0*f = -g*f for f.
0
Let v(b) = b**2 + 13*b + 78. Let f be v(-12). Solve 1279*a + f = 1301*a for a.
3
Let d(u) = u**2 - 13*u - 12. Let r be d(14). Suppose 3*f - r*x = 18, 2*f - 12 = -x - 3*x. Solve f*n + n = 0 for n.
0
Let w = 621 + -612. Solve -58 + 22 = w*l for l.
-4
Let t be ((-5860)/(-120))/((-3)/(-18)). Solve -57*m + t + 106 = 0 for m.
7
Suppose -1296 = 7*w + 356. Let y = -233 - w. Solve -y = u - 5 for u.
2
Let s = 1469 + -1469. Solve s = 17*m - 102 - 0 for m.
6
Suppose -2*r + 2*g + 4 = 2, 5*r + g + 1 = 0. Suppose r = 5*u - 2*b + 5*b - 29, -2*u + 14 = 2*b. Let y = -3 + 4. Solve -u = s - y for s.
-3
Let n(s) = -3*s + 210. Let r be n(4). Solve -335*p + 368*p = r for p.
6
Let j = -55 - -40. Let g be 1 + 0 - 15/j. Suppose -g*z + 11 = 7. Solve -d = z*d - 9 for d.
3
Suppose -i + 33 = j, 2*i = -i + j + 99. Let y = i + -29. Suppose 4*m = 3*m + y. Solve -2*k = -m*k - 6 for k.
-3
Suppose 4*j + 4 = 0, 0 = 15*z - 18*z - 3*j + 2172. Let t = -713 + z. Solve -2*k + 6*k = -t for k.
-3
Suppose -27 = -z - s + 5*s, 5*s + 25 = 0. Suppose z*g - 83 - 218 = 0. Solve g - 33 = 2*t for t.
5
Let g = -188 - -155. Let f be -4 + 3 + -1 - -41. Let r = f + g. Solve s - r = 3*s for s.
-3
Let t = -28382 - -28428. Let m(d) = d**3 - 5*d**2 + 5. Let u be m(5). Solve t = -u*n + 51 for n.
1
Suppose -12*h - 24*h = 109*h - 3*h. Solve h = 142*k - 152*k - 10 for k.
-1
Let s(l) = l**3 - 5*l + 7. Let z be s(-3). Let p be (-6)/z*(-265)/(-159). Solve 29 = p*o + 35 for o.
-3
Let y = 16350 + -16350. Solve 7*q - 36*q - 58 = y for q.
-2
Let f(l) = l**3 - 8*l**2 + 6*l + 6. Let p be f(7). Let n be 0*((-3)/p)/6. Solve n = -4*m - 16 - 4 for m.
-5
Suppose 29 = 19*n + 3 - 164. Solve 18 = -n*q + 48 for q.
3
Let l(i) = i + 17. Let h be l(-9). Let s = -12 + h. Let d be (s - (-12 - -4)) + -1. Solve m = d - 6 for m.
-3
Let i(o) = -13*o + 175. Let a be i(13). Suppose 19*m + a*m - 200 = 0. Solve 15 = m*d - 5*d for d.
5
Suppose -2*j - 2*j + 12 = 0. Suppose -4*y - 12 = -p, -j*p + 2 = 5*y - 0. Let x(m) = m**2 - 4*m + 4. Let c be x(4). Solve 0 = -c*i + 3*i - p for i.
-4
Suppose 0 = 8*s - 3*s - l - 188, -4*l + 8 = 0. Solve -17*o - 140 = -s for o.
-6
Suppose -53*b + 1662 - 284 = 0. Solve b = 16*p + 74 for p.
-3
Let x = -509 + 387. Let j = x + 130. Solve w = 5*w - j for w.
2
Let