 = 7*k + q for k.
6
Let x(f) = 11*f - 19. Let v be x(2). Suppose -4*m - 4*z + 12 = 0, 0 = v*m + 5*z - 4*z - 7. Solve 0 = m*o + 2 for o.
-1
Suppose -d + 1 = p, -4*p = d - 3*d + 8. Suppose -a = -12*a + d*a. Suppose 5*s - 4*n - 18 = 0, 2*s + n - 4*n - 10 = a. Solve 3*i - s = 10 for i.
4
Let o(h) = 3*h**2 + h - 1. Let x(t) = t**2 - 1. Let r(n) = o(n) - 4*x(n). Let q be r(0). Solve q*p + 13 = 1 for p.
-4
Let t = 194 + -186. Suppose -t*w - 2 + 50 = 0. Solve -4*x = -w*x + 10 for x.
5
Let a be (((-12)/7)/(68/(-238)))/2. Suppose 1 = -4*h - 3*u, a*h - 2*u - 11 = 1. Suppose 1 = 3*y + 5*q + 4, 2 = -y - 2*q. Solve 0 = h*l - y for l.
2
Let o = 1288 - 735. Let d = o + -549. Let z = 22 + -16. Solve -5*v = d + z for v.
-2
Suppose -g - 119 - 103 = 0. Let r = 224 + g. Solve -1 + 5 = -r*x for x.
-2
Let k = 17 - 12. Suppose 16 = 5*m - p, 10*m - 2*p = k*m + 12. Let t(x) = 136*x - 3805. Let j be t(28). Solve 0 = -s + m*s + j for s.
-1
Let w be (-1 + (-12)/(-30))*-5. Suppose m - 3 = -4*z, -w*z - 49 = -5*m - 6*z. Solve 0 = 9*d - m*d for d.
0
Let i(s) = -3*s - 85. Let h be i(-55). Solve -5*n - 45 = -h for n.
7
Let v(a) = 3*a - 26. Let d be v(5). Let l be (-1)/(-2)*19 + d/22. Solve -2*n - l = n for n.
-3
Suppose 323*l + 205 = 318*l. Let r(d) = 8*d + 9. Let v be r(-6). Let i = v - l. Solve -i = -j - j for j.
1
Let f(r) be the second derivative of -r**4/6 - 23*r**3/6 - 21*r**2/2 + 90*r. Let c be f(-9). Solve 3*p = 9*p - c for p.
4
Let o(v) = v**2 - 16*v + 50. Let x be o(14). Suppose -20 = -4*h + 4*u, -3*h - 7*u + x = -3*u. Solve 6*d = -0*d + h for d.
1
Suppose -5*k + 22*q + 1462 = 19*q, k = -3*q + 260. Solve -k*o + 279*o = 0 for o.
0
Let s be 3 - 18/(-1) - 1/1. Suppose s = 96*o - 91*o. Solve 0 = -o*y - 1 - 7 for y.
-2
Suppose -518 = -10*y + 22. Let o be y/459 + (-4)/34. Solve o = -14*l - 0 + 56 for l.
4
Let p(w) = -129*w + 389. Let u be p(3). Solve 0 = u*q - 7 + 5 for q.
1
Suppose 5*x - 152 = 2*n, 0*n - 12 = -3*n. Let m(g) = -3*g**2 - 40*g - 142. Let b be m(-4). Let z = x + b. Solve 3 = -s - z for s.
-5
Let c be ((-20)/5 - 3)*3/7. Let d(y) = -y + 2. Let j be d(3). Let g be 4 + -2 + j - c. Solve -g = b + b for b.
-2
Suppose -2*c - 18*z + 14*z + 928 = 0, -928 = -2*c - z. Solve -6*n + c = 500 for n.
-6
Suppose l + 100 = 6*l. Suppose -4 = -3*r + l. Suppose r*d - d - 84 = 0. Solve d = s + 2*s for s.
4
Let l = -81 - -81. Suppose 0 = -l*c - 16*c + 32. Solve -4*y = -c - 2 for y.
1
Let y = -37565 + 37583. Solve -81 = -33*m + y for m.
3
Suppose -16*t - 755 = 765. Let x = t - -101. Solve 3*h - h = x for h.
3
Let r be (4/3)/1 + (-492)/(-9). Suppose -3*m + 17*m = r. Solve -2*a = -m*a for a.
0
Suppose 2*c - 4 - 1 = -r, 5*c + 5*r - 5 = 0. Let t be ((5 - c) + 1)*3. Solve -t*u = -8*u - 4 for u.
-2
Suppose 230 = 2*j - 3*w, 0 = -21*j + 20*j - 4*w + 93. Solve -114*g = -j*g for g.
0
Let r(x) = 1874*x + 3771. Let z be r(-2). Solve 0 = 27*t + z*t - 250 for t.
5
Let p(t) = -t**3 + 15 + 37*t**2 + 2737*t - 2738*t + 22. Let m be p(37). Solve m = 2*y - 11 + 1 for y.
5
Let v(p) = p**3 + 13*p**2 + 13*p + 15. Let w be v(-12). Suppose -m = m + m. Let l be -2 - (2/(-1) - 0). Solve m = d - w - l for d.
3
Suppose 0 = -3*t + 6 - 0. Let y be t + 40/(-18) - (-16)/72. Suppose y = q - 5*r - 15, -q - 6*r = -5*r - 3. Solve -q*s - 8 - 2 = 0 for s.
-2
Let b = 50 + -51. Let q be (-1)/(b/5 - 0). Suppose -y - 3 = 2*u, -4*y + q*y = 3*u + 12. Solve -y*k + 2 = 14 for k.
-4
Let i(b) = -2*b**2 - 21*b + 6. Let a be i(-10). Suppose a*w - w = -0*w. Solve -r + w - 1 = 0 for r.
-1
Suppose 10 = -0*m + m. Suppose 0 = 7*d + 58 - 93. Suppose -102*a - d = -103*a. Solve m*g - a*g = -25 for g.
-5
Let p(w) = w**2 + w + 4. Let t be p(0). Let i(o) = -2*o**3. Let h be i(-1). Let u be (-270)/(-25) + (32/(-5))/8. Solve -t*n - h = -u for n.
2
Suppose -150 = -2*t + 8*t. Let q = t + 33. Suppose -8*r + 12*r - q = 0. Solve -r*o + 2 = -0*o for o.
1
Suppose 7*r = 3*r - 120. Let v = r - -34. Suppose 2*s + 16 = -2*c - 3*s, 4*s + 8 = -4*c. Solve -o + c = v for o.
-2
Let z(o) be the second derivative of -o**4/12 + 3*o**3/2 - 5*o**2 + 28*o. Let q be z(4). Solve 4*k = q*k - 6 for k.
1
Let i(a) = -9*a - 51. Let t(y) = -2*y**3 + 7*y - 4. Let z be t(2). Let k be i(z). Solve l - 2 - k = 0 for l.
5
Let s = -1 + 5. Suppose 25*d + 3*u = 30*d - 3, 3*d + 3*u + 3 = 0. Suppose -s*y + 2*y + 8 = d. Solve -2 + 6 = y*x for x.
1
Let h be (((-612)/(-8))/9)/(28/56). Solve 46 = h*c - 56 for c.
6
Let p be ((-144)/(-48))/((11 - 5)/(-2 - -24)). Solve 9*w = p*w + 2 for w.
-1
Let z be (-13*2)/(69 + -71). Solve 19 = 2*a + z for a.
3
Suppose 4*r + 1 = -5*y, r = 4*y - r + 6. Let f(s) = 3*s**3 + s + 1. Let l be f(y). Let g be 3*1 + (2 - l)/(-5). Solve 0*w - g = -2*w for w.
1
Let h(j) = -731*j + 5874. Let d be h(8). Solve 82 = -d*q - 100 for q.
-7
Suppose 3*s = 3, -6*h + 7 = -5*h + 2*s. Suppose -5*j - 25 = h*k, -3*k - 5*j - 31 + 6 = 0. Solve k = -4*o + 2 + 2 for o.
1
Suppose i + 14 = 5*l, 143*i - 13 = -4*l + 142*i. Let j be ((-1)/(-1))/(7/84). Let d = 20 - j. Solve -l*t = d + 7 for t.
-5
Let v(b) = b**2 - 2*b. Let z be v(-4). Suppose 8*s + 13*s = 7*s - 5*s. Solve s = -3*y - 3*y - z for y.
-4
Suppose 0 = 6*d - 20*d + 1876. Let h = d - 133. Let k be h*(-1 - -3 - -2). Solve -k*b + 2 = -2 for b.
1
Let i(h) = 2*h**3 + 40*h**2 - 46*h - 67. Let p be i(-21). Solve 0 = 5*g - 42 + p for g.
5
Let x(m) = m**3 + 2*m**2 - 5*m - 3. Suppose -b = -5*r - 21, 3*r - 4*b - b - 5 = 0. Let k be x(r). Let q = -50 - k. Solve 0 = q*u + u for u.
0
Suppose 0 = -4*r - f + 17, 0 = -4*r + r - 4*f + 3. Let d(i) = 20*i - 141. Let q be d(8). Solve -r*b + q + 1 = 0 for b.
4
Let b be (-9)/(-6) - ((-282)/12 + -8 + 3). Solve 25*n - b = 31*n for n.
-5
Let m be (0/(3 - 2))/((-328)/41). Solve 18*q - 2 - 70 = m for q.
4
Let n = -4 + 7. Let s be (0 + 25/(-10))*-6. Suppose -q - 3*q + 20 = -5*m, 4*m = -3*q + s. Solve m = l - 0 + n for l.
-3
Let m(y) = -y**3 + 16*y**2 + 16*y + 1. Let t be m(-1). Suppose 0 = f + 3*f - 32. Solve -f = 2*w + t for w.
-5
Suppose 90*j - 122 + 67 = 305. Solve j*s + 29 - 49 = 0 for s.
5
Let i(w) = w**3 + 19*w**2 + 3. Let l be i(-19). Suppose 0 = l*z + 134 + 442. Let o be 32/z + (-38)/(-12). Solve -o*d = 2 + 10 for d.
-4
Let g(j) be the first derivative of j**2/2 - 8*j - 2. Let i be g(8). Let a = -4393 - -4396. Solve -a*d = -i*d - 9 for d.
3
Let o = 2416 + -2186. Solve 0 = 29*x - 75*x - o for x.
-5
Let r(c) = -37*c + 4325. Let d be r(116). Solve 35 - 2 = d*j for j.
1
Let v be -2 - 1*(-3 - 2). Suppose -16 = -3*t + 4*i, -18*i = -16*i + 8. Let z = -4 + 7. Solve z = v*x - t for x.
1
Let l(c) be the third derivative of -7*c**4/8 - 145*c**3/6 + 3*c**2 + 40. Let u be l(-7). Solve -5*n = -7*n - u for n.
-1
Let y = -4577 + 4598. Solve y*r - 19 - 23 = 0 for r.
2
Suppose 4*b + 4*q = 8*q + 60, -4*q = 2*b - 48. Solve -1912*h + 1909*h = -b for h.
6
Suppose 163 = -5*y - v, -v - 24 = y + 7. Let k be (-1)/(1/(36 - 1)). Let j = y - k. Solve i - 5 + j = 0 for i.
3
Let n = 9020 - 8947. Solve -33 = -8*u - n for u.
-5
Let n = -26474 + 26575. Solve 22*y - n = -277 for y.
-8
Let k be 2 + (-2 + 0)*1. Suppose k = 4*u + 4, 4*u - 34 = -4*o + 2*u. Solve 0 = -o*i + 4*i for i.
0
Suppose -2*m + 26 = -3*y - 10, 5*y = -m - 21. Solve -10*u + 39 - m = 0 for u.
3
Let q(v) = v**2 - 7*v - 13. Let g be q(9). Suppose s = g + 77. Let r be 5/(-25) + s/10. Solve -2*c + 0*c = -r for c.
4
Let h = 55 + -55. Suppose h = -2*n - 4, -5*w + 49 = -3*n + n. Suppose 28 = -2*k + w*k. Solve 0 = -4*z - 4 - k for z.
-2
Suppose 48*o - 251 = 43*o + 4*l, -61 = -o + 2*l. Solve 14*y = 55 + o for y.
7
Suppose -33 - 9 = 6*b. Let f be 1352/(-28) - 2/b. Let x be ((-108)/f)/(1/16*6). Solve -x*k = -k for k.
0
Let v(h) be the third derivative of h**5/20 - 8*h**4/3 + 25*h**3/6 - 175*h**2. Let f be v(21). Solve 44*b - f = 42*b for b.
2
Let z = 49 + -42. Let w(r) = r**2 - 6*r - 3. Let d be w(z). Suppose j = -d*j + j. Solve j = -a - 2*a + 12 for a.
4
Suppose -2*f = -7*f - 475. Let b(p) = 4*p**2 - 5*p + 20. Let c be b(5). Let d = c + f. Solve -3*m - m = d for m.
0
Suppose -2*r = -5*c + 25 - 15, 3*r = 3*c + 3. Suppose 10*p - 23 = -v + 12*p, p = -r*v + 126. Solve -29*f + 24*f = v for f.
-5
Let k(m) = -27*m + 54. Let h be ((-96)/(-120))/(2/5 + 0). Let q be k(h). Solve q = -75*g + 74*g + 5 for g.
5
Let q(c) = -3*c**3 - 6*c**2 - 5*c + 2. Let k(w) = -w**2 + 8*w + 18. Let j be k