 20 = r*t for t.
-2
Let b(y) = y**3 + 16*y**2 + 29*y + 17. Let w be b(-14). Let j be (-4 + (6 - 3))*-7. Solve -j - w = -5*a for a.
2
Suppose -36*c + 6400 = 18*c + 26*c. Solve 0 = -c*l + 16*l + 320 for l.
5
Suppose 6*t = 1040 + 196. Solve t = 3*c + 197 for c.
3
Suppose -2*x = 2*o - 12, -5*x - 29*o + 27*o + 12 = 0. Solve 91*c - 88*c + 15 = x for c.
-5
Suppose 0 = -2*n + 14, 156*w + 4*n + 412 = 161*w. Solve -41*c - w = -211 for c.
3
Suppose 95*r + 462 = 137*r - 546. Solve -19*n + 13*n = r for n.
-4
Suppose 0 = 7*l - 219 - 5. Suppose 9*s = l + 13. Let d = -1 + s. Solve c - d*c - 6 = 0 for c.
-2
Suppose -5*l - 32 = -2*z - 0*z, -14 = -z + 2*l. Suppose -z*k + 260 = -11*k. Let t = -48 - k. Solve -2*h = t + 2 for h.
-3
Let w(g) = -2*g + 25. Suppose -39 = -2*n + 5*z, 0 = -3*n + 15*z - 20*z - 4. Let k be w(n). Solve 7*r - k*r - 4 = 0 for r.
-1
Let a(v) = -v**2 + 103*v - 2323. Let y be a(63). Solve -2*b - 187 = -y for b.
5
Suppose 30*m - 3965 = -3845. Let d = -1 - -7. Solve -m*g - d = -2 for g.
-1
Let r be (0/(2 + ((-8)/1)/8))/(-3). Solve r = -38*g - 27*g - 130 for g.
-2
Let q(d) = -d + 8. Let t be q(8). Suppose 0 = -169*k + 165*k + 12. Suppose t*n - k*n = -9. Solve -2 = -n*a + 4 for a.
2
Suppose -339 = -5*k + 2*o, 9*k - 5*o + 342 - 962 = 0. Solve 2*v = -k*v for v.
0
Let k(u) = u**3 + 3*u**2 - 3*u + 4. Let n be k(-4). Let t(m) = 2*m**3 - 24*m**2 + 45*m - 48. Let x be t(10). Let q = 10 - 5. Solve n = i - x*i - q for i.
-5
Suppose -4*f + 30 = -2*s, -s + f = 6*f - 6. Let z(w) = 2*w + 21. Let l be z(s). Let c = -148 - -155. Solve -l*p = -c*p for p.
0
Let v be ((-6)/(-33))/((2/(-88))/((-8)/32)). Solve 0 = 17*t - v*t - 30 for t.
2
Let w(d) = -2*d**3 + 2*d**2 + 2*d - 4. Let h be w(-2). Suppose -5*o + h = -o. Suppose 2 = -5*n + 6*l - 2*l, n = -4*l + 14. Solve -o = 4*p - n*p for p.
-2
Let h = -15558 - -15724. Solve 84*g = 338 + h for g.
6
Suppose -2*n = -26 + 2. Let s be 3/4 - (-231)/n. Suppose 48*y = 44*y + 12. Solve s = -y*x - x for x.
-5
Suppose -4*k = -5*o - 113, -5*k + 19 = 3*o - 76. Solve 50*n = k*n for n.
0
Let o(m) = -m + 23. Let p = -7 - -17. Let q be o(p). Let s = 17 - q. Solve s = -f - 0*f for f.
-4
Suppose -35 = -236*a + 451*a - 250*a. Let s(v) = v**2 - 4*v - 2. Let f be s(5). Solve l = -f - a for l.
-4
Let p be 12/42 + 655/35. Let y(k) = -k**2 - 23*k - 42. Let u be y(-2). Solve u = 2*w + p - 17 for w.
-1
Let t be ((-20)/(-6) + (-28)/210)*(2 + 8). Solve t = 12*i + 116 for i.
-7
Let k = 364 - 370. Let a(q) = -q**2 - 8*q + 22. Let w be a(k). Solve -39 = 5*d - w for d.
-1
Let p(q) = -6*q - 28. Let t be p(-5). Suppose 0 = 3*a - 3*x - 12, a - x = -3*a + 16. Suppose 3*w = 5*l - 8, a*w + 0*l = 4*l. Solve -3*r + t*r = w for r.
-4
Suppose -3*l + 5*l - 12 = 0. Let d be 20/l*((-15)/10 - -3). Let f(c) = c**3 + 5*c**2 + 5*c + 4. Let s be f(-3). Solve d*y - 8 - s = 0 for y.
3
Let o be ((-268)/44)/((-216)/2376). Solve -o + 52 = 15*q for q.
-1
Let n = -9663 - -9696. Solve n*v - 48*v = 0 for v.
0
Let v(l) = -l**3 - 15*l**2 - 15*l + 3. Let i be v(-14). Solve i*c + 8 = 21*c for c.
2
Let x(d) = -5*d**3 - 4*d - 8 + d**3 + 2*d**3 + 4*d**3 + 2*d**2 - d**3. Let g be x(-2). Solve 32*c - 35*c + 6 = g for c.
2
Let p = 1 - 1. Let v be 2*(6 + -5 - -40). Let z = 86 - v. Solve -i + p*i - z = 0 for i.
-4
Suppose 2*d = -3*k + 204, -4*k + 30 + 87 = d. Solve -4 = d*r - 89*r for r.
-1
Suppose 6 = 9*j - 6*j. Suppose 5*z - 15 = -i, -6*z - 3*i + 17 = -5*z. Suppose -z = p - j*p. Solve 0*l - l = p for l.
-2
Let u = 17 + -14. Suppose 4 = -3*h + 5*z, -7 = 4*z - 15. Solve -u = l + h for l.
-5
Suppose -21*x = -24*x + 72. Solve 239 - x = -43*a for a.
-5
Suppose 18*u - 21 = 105. Let x be u - 14/(-2 - -4). Solve -o = -x*o + 4*o for o.
0
Let z(c) be the first derivative of c**3/3 - 9*c**2 - 43*c - 16. Let l be z(24). Suppose -l = -5*u + d, -5*u + d - 3*d = -98. Solve -u = -3*j - j for j.
5
Suppose -61*a + 12 = -110. Let t be 0*(2*4/(-16))/1. Solve t = a*f - 4 for f.
2
Let a = 800 + -730. Let h be (0 - -1)/(((-98)/a)/(-7)). Let i = -6 + 8. Solve h*o - i*o = 0 for o.
0
Let o = -101 + 103. Let r be (4 - 0 - (-3)/(-2))*o. Solve -25 = -6*b + r for b.
5
Let w(i) = -i**3 + 19*i**2 + 19*i + 35. Let m be w(20). Let y be ((126/m)/(-7))/((-2)/10). Solve 10 = -y*t - 14 for t.
-4
Let q = -594 - -596. Suppose 5*m + 26 = 5*b - 2*b, 0 = b + 5*m - 2. Solve -q*l + l = -b*l for l.
0
Let c = 71 - 68. Suppose -2*u + c = -3*u. Let y be (-464)/(-48) - 1/u. Solve 2*q + y = 2 for q.
-4
Let f(y) = 4419*y - 2223*y - 2217*y + 22. Let o be f(0). Solve -9*k - o = 5 for k.
-3
Suppose 6*w - w + 4*x = -477, -4*w + 3*x = 394. Let d = w - -121. Suppose 2*s = 24 - d. Solve s*p = -p for p.
0
Let n be (10 - 14) + (-1 - -9). Suppose -14 = -n*f - 6. Let x be (18/12 - f)/((-1)/18). Solve 5*o + 1 = -x for o.
-2
Let s be -6*(-448)/120 + 2/(-5). Let k be ((-3)/(-4))/(s/176). Solve -5*z - z = k for z.
-1
Let a be (-2)/(-13) - (-7 - 870/(-78)). Let l be a/((-4)/2) + -3 + 3. Solve 0 = -8*z + l*z for z.
0
Let l(q) = q**2 - 92*q + 360. Let g be l(88). Solve 12*y = g*y for y.
0
Suppose 48448*v - 48446*v = 306. Solve -163*m - 20 = -v*m for m.
-2
Let f = -11954 - -11974. Solve 0 = -10*o - f - 0 for o.
-2
Suppose -508 = -4*b - v + 287, 5*b - 5*v = 1000. Suppose 0 = -4*x - 183 + b. Solve -12 = -4*y + x for y.
4
Let p be (-55 + 48)*((-207)/21 - -3). Solve 0 = -1064*x + 1056*x + p for x.
6
Suppose -9842*y + 228 + 2390 = -9831*y. Solve -28 + y = -30*v for v.
-7
Let m(c) = c**3 + 3*c**2 - 3*c - 5. Let o be m(-4). Let w be 2/13 + o + (-1440)/(-104). Solve -4*v = w*v + 36 for v.
-4
Let m be (176/(-33) + -6 - -2)*3/(-4). Solve m*v + 100 = 107 for v.
1
Suppose 0 = -41*v - 40 + 122. Solve v = 3*t + 5 for t.
-1
Let m(j) = 9 + 35*j - 13*j + 4 - 46 - 38 - j**2. Let r be m(6). Solve 2*w - r = -3*w for w.
5
Let w = -143 + 190. Suppose 4*k = -7 + w. Solve -45 = j - k*j for j.
5
Let u(m) = m**2 - 23*m + 141. Let t be u(20). Solve 59*g - t*g + 22 = 0 for g.
1
Suppose 10*g + 110 = -30. Let j be (-2)/g - ((-52)/28 + 2). Solve j = 4*i - 12 for i.
3
Suppose -4*m + 0*w = w - 1, 3*m + 12 = -5*w. Let b = 3 - m. Let o = 517 + -514. Solve 0 = -b*n - o*n - 20 for n.
-4
Let n be (-1)/(-1*(0 + -1))*(21 - 21). Solve n = 12*s + 16*s - 168 for s.
6
Let q = -9267 - -9408. Solve -9*f + 87 = q for f.
-6
Let s = 42 + -41. Suppose h - 7 = -s. Suppose 17*w + h = 20*w. Solve -3*a + w*a + 5 = 0 for a.
5
Let b(x) = -x**3 - x**2 + x + 4. Let h be b(0). Suppose 5*w - 20 = w. Suppose -3*k = -q - 13, -w*k - 5*q + 20 = -3*k. Solve -d = h*d + k for d.
-1
Let l be 69/92*12/9. Let c(i) = i**2 + 19*i - 18. Let f be c(l). Solve 0 = -f*q - 4*q for q.
0
Let f = 105 + -68. Suppose 0 = -9*n + 4*n - 5*l - 105, 0 = 3*n + 4*l + 59. Let z = f + n. Solve 0 = -2*w - w - z for w.
-4
Let t be -336 + 0 - (-9)/9. Let o = -328 - t. Solve 4*p - o*p = 15 for p.
-5
Suppose -17226 = -7*x - 21*x - 26*x. Solve 32 = x*r - 327*r for r.
-4
Let a(t) = t**3 - 3*t**2 + 2*t - 4. Let m be a(3). Let q be (-5)/(-10)*(m - 2). Suppose q = 4*z - 8*z + 28. Solve 2*h = z*h - 20 for h.
4
Let s(z) = 10*z + 18. Let g be s(2). Suppose g = 5*k + u, 7 + 2 = 3*u. Solve -k*b - 5 = -12*b for b.
1
Suppose -9*t = -67 - 41. Suppose 43*f - 49*f = -t. Solve -6*i = -f*i - 16 for i.
4
Suppose 2*w - 2*l - 490 = 0, -3*w = 2*l - 1189 + 444. Let u = w - 244. Let h(k) = k - 4. Let b be h(6). Solve -u = -b*y - 9 for y.
-3
Suppose 76*n + 100*n - 35728 = 0. Solve 0 = -10*m + 39*m + n for m.
-7
Suppose -3*c = 1 - 4. Let k be ((-310)/(-4))/((-3)/6). Let v = k + 158. Solve v*u - c = 2 for u.
1
Suppose z - 4*d - 59 = 0, -4*z = -2*z + 2*d - 98. Let k(i) = -i**3 + 50*i**2 + 49*i + 121. Let u be k(z). Solve u*r - 25 = 14*r for r.
5
Let r be (24/(-84))/(4/(-77)) + (-2)/4. Solve 7*z = r*z + 2 for z.
1
Suppose 2*p - 17 = 3*q - 0*q, -2*p + 20 = -4*q. Suppose -p*r + 2*z - 112 = -7*r, r - z - 34 = 0. Suppose -6 = -2*f, 0*f = 5*s + 2*f - r. Solve -s = h + h for h.
-3
Let g = -53 + 40. Let s = 17 + g. Solve -s*k + 5 = -11 for k.
4
Suppose -68350 = -92*z - 10722 + 9256. Solve -687 + z = -10*w for w.
-4
Let w(b) = 2*b**3 - 101*b**2 + 31*b + 979. Let l be w(50). Solve -v = l - 37 for v.
8
Let b(l) = l**2 + 25*l - 774. Let a be b(-43). Let o(x) be the third derivative of x**4/12 - 2*x**3/3 - 2*x**2. Let j be o(3). Solve a*m + j*m = 2 for m.
1
Let b be -1*2 - (-13 + 9). Let s 