= -6*k for k.
3
Let o(x) = -x**3 - 23*x**2 + 24*x - 8. Let a be o(-24). Let d be (-95)/(-19) + a/(-2). Solve -3*u = -d*u + 18 for u.
3
Let g be 32802/1917 - (-20)/(-18). Solve -8*m + g + 16 = 0 for m.
4
Suppose -10*d + 91 = 8 - 127. Solve 209*b = 206*b - d for b.
-7
Let a be -79 + 114 - 3*-3. Suppose -m - 92 = 2*p, 0*p + 5*m + 240 = -5*p. Let r = a + p. Solve 5*q + 15 = -r*q for q.
-3
Suppose -2*v - 5*s = -32, -4*v + 7*v - 6*s - 48 = 0. Solve v*f = -14 - 2 for f.
-1
Let j(y) = y**3 - 48*y**2 + 216*y - 39. Let i be j(43). Solve 9*z + i*z = 78 for z.
6
Suppose 21 = 3*v - 2*q, -v + 2*q = 3*q - 2. Suppose 112 + 158 = v*g. Let r = g + -50. Solve -r*t + 8 = -6*t for t.
-4
Let n be (-4)/(-6) - (-632)/(-12). Let z = -50 - n. Suppose 11*c = -2 + z. Solve -4 + c = -4*d for d.
1
Suppose 4*x + 4*m - 157 = -673, -3*m = 2*x + 257. Let r be x/(-35) - (-4)/14. Solve 4 = -5*b + r*b for b.
-4
Let c = 26966 - 26961. Solve -59 = -16*f + c for f.
4
Let n = 0 - -1. Let a be 29 - -2 - (-13 + (-1 - -9)). Suppose 32*i - 28 - a = 0. Solve n = i*q - 1 for q.
1
Let b(v) = 5*v**2 - v. Let x(s) = 11*s**2 - s + 2. Let y(a) = -13*b(a) + 6*x(a). Let c(k) = -3*k + 1. Let z be c(2). Let r be y(z). Solve f = r - 1 for f.
1
Let l be (13 + -1)/(-2 + 7/2). Let s = 30 - 24. Suppose -q = -3*q + s. Solve q*y + 2 = l for y.
2
Let a = 136 - 162. Let u = -24 - a. Solve 4 = -0*p - u*p for p.
-2
Suppose k - 4*d = 57, -4*d = 1 + 7. Solve -50*t = -k*t - 4 for t.
4
Suppose -5*k + 3*k = 3*p - 675, 5*k - 1684 = -4*p. Solve 378*z - k = 420*z for z.
-8
Let k(l) = -3*l**3 + 13*l**2 + 13*l + 105. Let p be k(6). Let d(c) = c**2 + 6*c - 3. Let r be d(-7). Solve r*f = p*f - 4 for f.
-4
Let k = 21308 - 21298. Solve 81 - 41 = k*u for u.
4
Let b(i) = 2*i + 8*i + 8*i**2 - 110 - 7*i**2 + 24*i. Let n be b(-37). Solve -5*z + 6 = n for z.
1
Let m be -33*((-80)/15 - -4)/2. Solve -4*r - m*r + 104 = 0 for r.
4
Suppose -22 = -5*l + 2*m, l = -l - m + 7. Suppose 18*b - 21*b = -9. Suppose b*u = -3*j, -u - u = 5*j. Solve j*d + 4*d = l for d.
1
Let m be 105/(-21) + (-58)/(-3)*(-9)/(-6). Solve -m*y + 37 = -83 for y.
5
Let k be 1 + 258/9 + (-1)/(-3). Let g(l) = -l**2 - 10 + 47*l - 5 - k*l. Let o be g(16). Solve -u - o = 4 for u.
-5
Suppose -3*z - 246 = 5*t, z + 64 + 82 = -3*t. Let c be -3 - 11/(-3) - (-32)/t. Solve 4*w - 8 = -c for w.
2
Let i be -4 + (14/(-35))/((-2)/60). Suppose -2*g - i = -4*g. Solve t = 1 - g for t.
-3
Let a be ((-585)/(-26))/((-16)/(-32)). Solve 31*u = 16*u - a for u.
-3
Suppose 1137 = 872*x - 607. Suppose -4*h = -9*h + 90. Solve -16*d = -h*d + x for d.
1
Suppose 58*v - 160 = 26*v. Let g(f) = -5*f - 1. Let h be g(-2). Let y be (v - h) + (-9)/(-1). Solve 10 = -y*n - 5 for n.
-3
Suppose 36 = 4*i, 290*i - 286*i - 51 = -3*c. Let y = 5 - 0. Suppose 18 + 2 = y*h. Solve 1 = -c*b - h for b.
-1
Suppose 0 = 72*j - 79*j + 133. Solve 0 = -12*x + j*x for x.
0
Let g(a) be the second derivative of -a**4/12 - 3*a**3 + 31*a**2/2 + 21*a. Let h be g(-13). Let q be 208/h + 1/(-6). Solve -5 = q*t + 3 for t.
-4
Let h be (4 + (-40)/(-15))/(4/6). Solve -h*c = 6*c - 3*c for c.
0
Let f(q) = -2*q**3 + 15*q**2 - 5*q - 8. Let w be f(7). Suppose -4*g - 6 = -w. Suppose 29 = 5*h + x, -h + 3*x + g = 7. Solve 2*m = h*m for m.
0
Suppose -833 = 92*b - 2567 - 2406. Solve b = -3*n + 18*n for n.
3
Let w be 56/10 + ((-43)/5 - -8). Suppose 4*k = 4*m - 32, 5*k = -m - 3*m + w. Solve -4*c + 5*c = -m for c.
-5
Suppose 24*o + 11240 = 44*o. Let d = -556 + o. Solve v = -2*v + d for v.
2
Suppose -16*r = -24*r - 72. Let h = r + 14. Let k be (9/(-5))/(h/50*-3). Solve -4 = -k*t + 2*t for t.
1
Let y be ((-3)/(-15))/(2/10). Let d be (-70)/(-6) - y/(-3). Let w = -5 + 5. Solve -d + w = -4*s for s.
3
Suppose -3*q - a + 513 - 1945 = 0, 0 = -5*q + a - 2376. Let z = 484 + q. Solve -4*f + 2*f + z = 0 for f.
4
Let p(v) = 59*v**2 - 5*v - 2. Let i be p(-2). Suppose i*n - 247*n = -18. Solve -6 = 4*q + n for q.
-3
Let j(y) = y + 1. Let o(q) = -4*q - 15. Let g(d) = -3*j(d) - o(d). Let u be g(-8). Suppose u*n = n + 9. Solve c = -0*c + n for c.
3
Suppose -97*d + 38836 + 117916 = 0. Solve -d*b = -1614*b - 10 for b.
5
Let z(m) be the first derivative of 2*m**3/3 + 3*m**2 + 14*m - 9. Let x be z(-3). Solve 5*c + x = -6 for c.
-4
Let v = 30 + -30. Let g(x) = -19 - 3*x + 9 + 2*x. Let w be g(-10). Solve w*k + 3*k - 12 = v for k.
4
Suppose -1231 - 803 = -9*z. Let m = z - 223. Suppose 3*b - 4*s + 0 = -16, 0 = -b - s + 4. Solve m*l + 9 - 3 = b for l.
-2
Suppose -53*l + 449 = 131. Solve 12*q = l*q + 42 for q.
7
Suppose 2*i + 2*d = -82, -5*d + 9*d = -20. Let m be (-141)/(-27) - (-8)/i. Solve 0*b = m*b for b.
0
Suppose 0 = -8*k - 129 - 167. Let c = -26 - k. Suppose -c*b + 4*b = 5*b. Solve b = -5*g - 0*g - 5 for g.
-1
Let u be -323 + 332 + -2*(-10)/(-4). Solve n - n = -u*n for n.
0
Suppose 4*g - 2 = -2*m, 2*g + 4*m = -3*g - 2. Let a(f) = f - 50. Let y be a(10). Let j be (-5)/y*-2 + (-2)/(-8). Solve j = o - g for o.
2
Let y(o) = -210*o + 1063. Let f be y(5). Solve f*g + 36*g + 147 = 0 for g.
-3
Suppose -5*j = 3*m + 228, 4*m + 2*j + 333 = 29. Let i = m + 78. Solve 4*c + i = -6 for c.
-2
Suppose 2*v - 748 = -4*j - 2762, -505 = j - v. Let p = -480 - j. Solve -5*a - p = -11*a for a.
4
Let p = 1436 + -1431. Solve -35 + 10 = -p*d for d.
5
Let q be (-21)/28*328/(-6). Suppose -p + q*f - 42*f + 8 = 0, -5*p = 2*f - 31. Solve 0 = -p*k + 2 - 2 for k.
0
Let b = -17666 + 18026. Solve -b = -28*q - 62*q for q.
4
Let k(z) = z**3 + 11*z**2 - 31*z + 3. Let d(n) = -n**3 - 10*n**2 + 30*n - 3. Let h(f) = 6*d(f) + 5*k(f). Let x be h(3). Solve -6*p = -x*p + 6 for p.
-1
Let y(k) = k + 6. Let d be y(6). Let h(t) = t**3 + 50*t**2 + 480*t - 34. Let l be h(-37). Solve -3*q = l*q - d for q.
2
Let f = 3921 - 3835. Solve f*w - 12 = 82*w for w.
3
Let p = -33 - -38. Suppose 0 = -p*q - 3*s + 3, -2*s + 3*s = 4*q - 16. Suppose -3*m = -q*i - 6, -i = 5*m + i + 4. Solve 5*u + m*u + 5 = 0 for u.
-1
Let h = 9089 - 8999. Solve 96*y - h*y + 48 = 0 for y.
-8
Let h = -13292 + 13292. Solve -8*i - 543 + 575 = h for i.
4
Let v(t) = 15*t + 17. Let r be v(1). Solve 0 = 29*o - r*o - 6 for o.
-2
Suppose 2*m + 116 = 116. Suppose m = -3*i - f + 1, 0*f + 2*f = 2. Solve i = o + 1 - 3 for o.
2
Let m(x) = 18*x**2 - 124*x + 2. Let q be m(7). Let z be (12/(1 + -2))/(7 + -8). Solve 0 = 7*h + q + z for h.
-4
Suppose -6*x + 18 = 6. Let w be (-1)/(1*x*(-11)/88). Let d be 7 + -2 + 3/((-6)/4). Solve -w*q + 4 = -d*q for q.
4
Let l(a) = a**3 + 2 + a**2 + 1 + a**2 - 12*a - 16. Let h be l(-4). Solve h*m = 3 + 3 for m.
2
Let z(m) = -7*m**2 + m + 1. Let j = -281 + 281. Let b be z(j). Solve -b + 4 = t for t.
3
Let l be 2/(-10) + (-9)/5. Let r(x) = -4*x**3 - x**2 - 2*x - 2. Let w be r(l). Suppose -5*u - g + w = 4*g, 0 = 2*g - 8. Solve -4*s = -u*s - 2 for s.
1
Suppose 3*o - 1532 = 2*v, -2*v = o - 5 - 511. Let t = o + -509. Solve 0 = -t*c - 15 + 27 for c.
4
Let u be (23 + -1)/(-3 - -5). Let o(l) = l**2 - 13*l + 27. Let b be o(11). Suppose 0 = b*q - 3*h - 0 - 15, 0 = -2*h. Solve -u = -q*c + 1 for c.
4
Let r = 31443 - 31443. Solve -36*k - 36*k + 648 = r for k.
9
Suppose 6*f = -6*f + 12. Let p(w) = -3 - 3*w + 4*w + 2 + 2. Let j be p(f). Solve 4*g = 2*g - j for g.
-1
Let p(n) = n**2 - 4*n + 29. Let o be p(5). Let r(u) = u**2 - 35*u + 39. Let m be r(o). Solve -7*v = -m*v + 6 for v.
-3
Let y = -1243 - -1336. Solve y = 4*s + 97 for s.
-1
Let d(t) = t**3 - 12*t**2 + t - 2. Let r be d(12). Let a be 8/r - (-76)/5. Let f be 6 + a/(-12)*6/4. Solve -f*k = k for k.
0
Let q be (-368)/(-16) - 1*3. Suppose -3530 = j - 3537. Solve 11*z - q = j*z for z.
5
Suppose 4 = 4*p, -4*r - 5*p + 322 = 21. Solve 38*j + r*j = 0 for j.
0
Let l = -3495 - -3791. Solve -l*z + 291*z = -20 for z.
4
Let x(p) = p**2 - 11*p - 172. Let k be x(31). Solve -k = -2*h - 450 for h.
-1
Let t = -498 - -502. Suppose 3*k + n = k + 36, 60 = t*k - n. Solve p - 5*p = k for p.
-4
Suppose -12*s + 9*s = -60. Let l be 11 - (-4 - -2*s/8). Suppose -16*q + 38*q = 176. Solve -l = -3*a + q*a for a.
-2
Let p be (-13)/((-273)/(-987))*(-22)/2*1. Solve -p = 9*r - 454 for r.
-7
Let l be 4/((-168)/(-2023)) - (-2)/(-12). Solve -60*h + 48*h = l for h.
-4
Suppose 3*l - 8 = -2. Suppose 80 = l*o + 2*o. Solve -15 + o = h for h.
5
Let v = -131 - -134. Let r(m) = 7*m + 139. Let c be r(-18). Suppose -a = 3*o - o - 10, -5*a + 14 =