 m = 0 for o.
6
Let z(i) = 2 + 21 + i**2 + 23 + 30 - 26*i. Let p be z(23). Solve -p*k = -3*k for k.
0
Let r = 5 - 2. Let a(y) = -y**3 + 32*y**2 - 30*y + 13. Let b be a(31). Let p = 48 - b. Solve -r*d = -p*d + 2 for d.
2
Let h(l) = l**2 - 7*l + 12. Let t be h(3). Suppose t = 8*u - 30*u + 66. Let n = -4 - -6. Solve -n*a + 2 = -u*a for a.
-2
Let w = -3516 + 3604. Solve 35*t = w - 228 for t.
-4
Let b be 3 + 1/(-2 - -3). Suppose k - 30 = -b*k - 5*u, -k - 2 = -u. Suppose 4*g = -k*s + 6, s = g + 5*s - 12. Solve 2*z + 0*z + 4 = g for z.
-2
Suppose 21*s = 12*s + 171. Suppose 4*b - p - 23 = 0, 18*b - s*b - 13 = -4*p. Solve b*l - 11 + 4 = 0 for l.
1
Suppose 10*r - 57 - 123 = 0. Suppose r*c - 26*c + 8 = 0. Solve -5 = 4*d - c for d.
-1
Let z be (51*(-2)/8)/((-393)/4192). Let d = 139 - z. Solve d = -3*k - 0*k for k.
-1
Suppose -2*s - 2*s - 5*q - 99 = 0, 0 = 3*s - 4*q + 51. Let w be 27*14/147 - (-12)/s. Solve w*p + 1 = p for p.
-1
Suppose -a + 22*t + 62 = 19*t, 112 = 2*a - 3*t. Solve 5*k + a = 20 for k.
-6
Let s(i) be the second derivative of -i**3/6 - 17*i. Let u be s(0). Let t be (-1)/(-2)*(-2 + 22 - u). Solve r = -r + t for r.
5
Suppose 3*n - 25 = 2*f, -15 = n - 0*f + 4*f. Suppose n*p - 14*p + 36 = 0. Suppose 0 = -3*m - 4*i + 41, -5*m - 3*i + 53 = 3. Solve 5 = p*y - m for y.
3
Let a(u) = u + 42. Let z be a(-28). Suppose z*w = 18*w - 36. Solve j = w*j - 24 for j.
3
Let o = 92 + -89. Let f be ((-2)/(-3))/(o + (-7)/3). Let y be (f - 1)*((-14)/(-6))/7. Solve -m - 1 = -y*m for m.
-1
Suppose -5*h + 3*d = -226, 29*h = 32*h + 3*d - 102. Solve 26*w + h = -115 for w.
-6
Let u(x) = 5*x**2 - 13*x - 18. Let y(o) = -10*o**2 + 25*o + 36. Let g(z) = 9*u(z) + 4*y(z). Let n be g(-1). Solve -n*j = -j for j.
0
Let a be (-1 - -65)/(-5 - -9). Solve 5*x + 44 = a*x for x.
4
Let v(s) = 2*s**2 - 3*s - 4. Suppose -4*l = -4*o + 40, 3*l + 3*o + 0*o = -30. Let b be (l - -5) + 2 - -6. Let m be v(b). Solve 7 = m*y - 18 for y.
5
Let o be -9*(-4 - (-112)/24). Let z be (9/o)/((104/32)/(-13)). Solve 0 = -0*s + z*s + 6 for s.
-1
Let b be ((-1)/4)/(2/(-40)). Let i(v) = 64*v + 655. Let h be i(-10). Solve -b*n - h = 5 for n.
-4
Suppose 5*j = 1356*x - 1359*x - 45, -3*x - 72 = 8*j. Solve -36*c + 461 - 137 = x for c.
9
Let g(h) = -5*h + 28. Let l be (-1 - (-9)/(-3)) + 9. Let u be g(l). Suppose u*s - s - 12 = 0. Solve -d - 5 = -s*d for d.
1
Let u be (-1287)/572*(-20)/3. Solve 5*v = 20*v + u for v.
-1
Let x be 1/(-10)*-2 - (-56)/20. Let n be ((-53)/x)/(7/(-21)). Let a = n - 42. Solve -1 = -2*c - a for c.
-5
Let v(n) be the third derivative of -n**6/120 + n**5/20 + n**4/12 - 2*n**3/3 + 4*n**2. Let p be v(3). Let a = -733 + 733. Solve -p*t + 5*t = a for t.
0
Let q be -5*(1/(-10))/(57/114). Solve 0 = -222*h + 221*h + q for h.
1
Let z be (-7 - 11)/((-5)/20). Solve z = j + 75 for j.
-3
Suppose a - 5 = -2*f, -3*f + 2*a - 10 = -f. Suppose 0 = 3*v + 12, -3*r + v = -68 + 22. Let u be (10/35)/(2/r). Solve -u*p + f = -2 for p.
1
Suppose 0 = 5*b - 17*b + 552. Let c = 55 - b. Let q(t) = t**2 + 24*t + 63. Let p be q(-21). Solve -c*x + 8*x + 4 = p for x.
4
Let z be (-1)/40*-15 - (-3 - 825/40). Solve z*h = 41*h + 68 for h.
-4
Let g be ((-50)/5)/(-2 - 0) + -5. Solve -5*w - 10*w - 60 = g for w.
-4
Let y be 22/(-33)*(-6)/4. Let u(k) = -5*k + 6. Let x be u(y). Solve -5 = 2*i + x for i.
-3
Let o = -13 + 18. Suppose 0 = -2*w - o*g - 21, -2*w + 4*g - 3 = -27. Suppose -2*s + 14 = 5*y, 3*y + 9 - 21 = -3*s. Solve 4 = -y*z - w for z.
-3
Suppose -239 + 229 = -5*k. Suppose -4*n + n + 13 = -2*o, k*n + 23 = -5*o. Solve 6 - n = c for c.
5
Suppose 20*s + 5*s = 100. Suppose -3*n = -5*h + 5 + 6, s*n + 3*h - 24 = 0. Let c = 15 - 5. Solve n*j - c = -4 for j.
2
Let v be (-45)/18 + 740/40. Solve 32 - 16 = v*j for j.
1
Let h = 195 + -187. Let n(o) = 7*o - 5. Let y be n(4). Let k = -18 + y. Solve h = b - k*b for b.
-2
Let j(d) = 5*d**2 - 22*d + 15. Let k be j(4). Solve 0 = 6*y - k + 25 for y.
-3
Suppose 87*t - 775 = 82*t. Let f = 155 - t. Solve 3*q - 4*q + 5 = f for q.
5
Let m(w) = -2*w + 8. Let r be m(3). Suppose 5*k - 8 = b, -r*k - 2*k = -3*b - 2. Let u = -1104 - -1113. Solve u = -b*q - q for q.
-3
Let u = 47 - 65. Let c be (u - -19) + 1 + -2 + 6. Solve 0 = -4*w - 2*w + c for w.
1
Suppose -3*r + 60 = 4*i, 5*i + 324 - 399 = 5*r. Solve 7*u + 8 = i for u.
1
Let k(s) = 7*s**2 + 9*s - 11. Let m be k(5). Let f = m - 204. Solve 7 + 8 = -f*n for n.
-3
Let b be (-22 - 10353/(-210))*10. Solve -11*i + b = 28*i for i.
7
Let t = -21 - -21. Suppose t = 61*s - 53*s. Solve 0*i - 2*i = s for i.
0
Let a(w) = 3*w**2 + 2*w - 2. Let m be a(-2). Let i be 28/m - (-4)/(-6). Let u(n) = -n + 2. Let v be u(-8). Solve i*h = -h - v for h.
-2
Let n = -42 + 44. Suppose -4*m - 18 = -n, 4*j = -3*m + 4. Suppose -2*p + 7*p + j*i = 35, i = 5. Solve 5*l = -p - 17 for l.
-4
Let h(x) = x**2 + 22. Let f be h(0). Let a = -958 + 976. Let n = f - a. Solve 0*p - n*p - 8 = 0 for p.
-2
Suppose 2*w = -o - 2*w + 2, -4*w = 0. Suppose l = -3*k + 4*l - 9, l - 1 = o*k. Solve 0 = k*h - h for h.
0
Let p = -17357 + 17739. Solve t + p - 391 = 0 for t.
9
Let h(v) be the third derivative of v**4/3 - v**3/3 - 2*v**2. Let y be h(2). Suppose -5 = y*j - 75. Solve j*w + 8 = -7 for w.
-3
Suppose 5*f = -4*r, -189*f + 4*r = -190*f. Solve f = -2*z + 87 - 93 for z.
-3
Let m be 0 - ((-45)/(-135))/(3/27*-1). Suppose 0*j = j + 4. Let q be 2/j*1*-6. Solve m*u + 0 = q for u.
1
Suppose 2*n - 23*n = -9429. Let t = n - 443. Solve t - 7 = -g for g.
1
Let o(c) = -3*c + 4. Let w(z) = 9*z - 12. Let j(s) = 7*o(s) + 2*w(s). Let r be j(4). Let u(l) = 2*l + 18. Let k be u(r). Solve 5*a + 3 = k*a for a.
-1
Let l be -10 - (-8)/40*95. Solve -39 = -6*n + l for n.
8
Let i(j) = -j**3 + 6*j**2 + 5*j + 12. Let f be i(6). Let z be 9 - f/(-35)*-5. Solve -5 = o - z for o.
-2
Let t = -15941 + 15957. Suppose 0 = j - 0*i - 3*i - 8, -3*i = j + 4. Suppose -j*s - t + 22 = 0. Solve 1 = -m - s for m.
-4
Let q = 144 + -138. Let f be (-1)/(-3) + 2/q*11. Solve 4*j = 3*j - f for j.
-4
Let f(x) = -x**3 - 23*x**2 - 2*x - 36. Let d be f(-23). Suppose 19*b - 117 = d*b. Solve b = -3*k + 22 for k.
3
Let n(y) = 2*y**2 + 40*y - 41. Let z be n(-21). Suppose z = -2*f - 5*v + 17, 0 = v. Solve 0 = -5*x - f - 7 for x.
-3
Suppose 101 - 282 = -34*a + 193. Solve -a = -14*m + 25*m for m.
-1
Suppose 3*q = -2*q + 60. Suppose 5*j = 5*g + 8 + q, -2*j - 5*g = -43. Solve -10*o + 1 = -j*o for o.
1
Let h be (-48)/(-4)*(-2)/(-8). Suppose 21 = h*y + 2*l - 1, -l - 1 = 0. Let v(q) = 5*q - 36. Let s be v(y). Solve -s*d - 2 + 6 = 0 for d.
1
Let d = -19 - -31. Suppose 0 = -3*u - d, -9*b + u = -6*b - 4. Solve 6 = -b*r + 3*r for r.
2
Let g(i) = -4*i**2 - 8*i + 97. Let a be g(-6). Solve 134 - a = 19*s for s.
7
Let j be 18 - ((-10 - (-112)/7) + -1). Solve -m + j = 12 for m.
1
Suppose -l + g = -2*g - 25, 4*l - 4*g = 76. Let i = l - 0. Suppose 0 = 13*z - i - 62. Solve -x + 1 - z = 0 for x.
-5
Suppose 49*i + 4 = 50*i. Suppose 4*t + 3*u - 21 = 0, 2*u = 4*t + i*u - 18. Suppose -b + 1 = 4*c + 7, 0 = -2*b - 2*c + 6. Solve t + b = -3*y for y.
-3
Suppose 82 = s + 76. Suppose p = -r + s, -r + 22 = 5*p - 0*p. Let f be (-33)/(-7) - 4 - r/(-7). Solve 2*m + 11 = f for m.
-5
Suppose 65 = 4*s - 5*p, -2*p + 120 = 4*s + 34. Suppose 30 = k + s. Suppose k*d = 4*d. Solve d*b = -b for b.
0
Let j(c) = -18*c + 1485. Let w be j(82). Solve 35*n + w*n = -220 for n.
-5
Let a be 9/(-18)*0/2. Suppose 4*v + a = 8. Solve 4 - v = -s for s.
-2
Suppose 51*x + 2*z + 92 = 53*x, -3 = 3*z. Solve -100 = x*o + 35 for o.
-3
Let v be 77/2*(-36)/(-546)*13. Solve 4*n - 15*n - v = 0 for n.
-3
Let r(s) = -34*s**3 + 5*s**2 - 6*s + 8. Let f be r(3). Let t = f + 883. Let w(c) = c**3 - 3*c**2 + 4. Let u be w(3). Solve a + t = u for a.
4
Let g(r) = -r + 9. Let l be g(2). Let d(c) = c**3 - 7*c**2 + 2. Let t be d(l). Suppose o - t = n + 3*o, -o - 5 = 0. Solve -n*s = -4*s for s.
0
Suppose -5*g - 5*u = 505, -3*u - 505 = -0*g + 5*g. Let i = g + 106. Suppose 8*y + i*y = 39. Solve y*t = -1 + 7 for t.
2
Let v(d) = -3*d**2 - 460*d - 91. Let o be v(-153). Solve -23*t = o + 122 for t.
-8
Suppose -16 = -2*n - j, 3*n = j - 387 + 396. Let i(q) = -4*q**3 - 2*q - 1. Let p be i(-1). Suppose -p*s = -2*s. Solve n*k + s + 5 = 0 for k.
-1
Suppose -16*o + 153 = 4 + 5. Solve 0 = -o*f - 22*f - 124 for f.
-4
Let b be (-33)/99*(-84)/4. Solve -b*k = 