 - 10 + 4 = f for m.
3
Let c(v) = 2*v - 5. Let s be c(5). Suppose z - s*z = -4, z = 5*r - 19. Suppose r*h - 4*t - 93 = -3*t, 5*h = 2*t + 117. Solve -h = 4*a - 3 for a.
-5
Let w(t) = t**3 - 9*t**2 - 48*t - 10. Let q be w(13). Solve q = -16*m + 9*m for m.
-6
Suppose -3*s = -s - 4. Suppose 0 = -p - t + s + 5, -4*p + 24 = 3*t. Suppose 2*n + 28*u - 19 = 27*u, -20 = 6*n - 4*u. Solve p*r = 5 + n for r.
3
Let n be 9 + -11 - (2 - 97 - -2). Let q = 99 - n. Let b be (21/q - 6/(-16)) + 1. Solve 0*c + 2*c = b for c.
2
Suppose 2*g = 3*t + 3*g - 417, 5*g = -3*t + 417. Let s = -133 + t. Suppose -22 = s*c - 64. Solve -8*b = -c*b + 3 for b.
-3
Suppose -247 = -54*a + 77. Solve 0 = -a*b - 3*b for b.
0
Let d(y) = -y**2 + 6*y - 7. Let m = 31 + -26. Suppose m*z = 0, 3 + 3 = 2*a + z. Let b be d(a). Solve b*o - 6 = 5*o for o.
-2
Suppose 0 = -2*w - 2*p + 4, 3*w + 2*p = 5*w + 4. Suppose -5*f + 7 + 13 = w. Solve f*u - 10 = -u for u.
2
Let n = -13036 - -13080. Solve 0 = -18*p + 29*p - n for p.
4
Let v = 6417 + -6397. Solve 55*s = 45*s + v for s.
2
Let u(d) be the second derivative of d**4/12 - 13*d**3/6 - 14*d**2 + 10*d. Let l be u(14). Let z be (20/(-7))/(4/l). Solve -a = a - z for a.
5
Let o be -16*(8 + 5 + -14). Solve 9*k + o = 13*k for k.
4
Let f(j) = 10*j - 14. Let t be f(8). Suppose 0 = 4*p + t - 70. Let n be ((-1 + p)/((-8)/(-4)))/1. Solve n = 2*h + 2*h + 4 for h.
-1
Suppose 123*d - 1763 + 825 = 1030. Solve 0 = -d*n - 20*n for n.
0
Suppose -8*g + 5*g = -48*g + 45900. Solve g*w - 4 = 1021*w for w.
-4
Let y be ((24440/(-39))/(-5))/(4/6). Solve y = -34*q + 81*q for q.
4
Let y(l) = 3*l**3 - l**2 - 33*l - 71. Let a be y(5). Solve 6*q + a - 66 = 0 for q.
-8
Let b = 388 + -385. Suppose 8*x - 5 = 3*x - 5*s, -x - b*s - 1 = 0. Solve -11*q + 12*q = -x for q.
-2
Let d = 22 + -20. Let l = -122 - -125. Suppose -j = 2*t, -4*j = l*t - d*t. Solve 4*a - 2 - 2 = j for a.
1
Suppose -5*m - o = 3*o - 10, o = 4*m - 8. Suppose 107*y = 98*y - 18. Let k be ((-5)/y - 5/(-10))/1. Solve 0 = m*h + h + k for h.
-1
Let n be (143/5 - -2)/(840/2800). Solve n - 26 = -19*b for b.
-4
Suppose -176*w + 177*w = 5. Suppose -4*q = m - 80 - 1, 0 = w*m - 5. Solve -33*k = -28*k - q for k.
4
Suppose -5*u - 682 = -5*p - 7*u, 3*u = 5*p - 677. Suppose -206*d = -210*d + p. Solve -32*o + 6 = -d*o for o.
-3
Suppose -30797*x + 30816*x - 20577 = 0. Solve -12*k + 999 = x for k.
-7
Suppose v + 4*u - 1460 = 0, 4380 = 30*v - 27*v + 4*u. Solve v*w - 20 = 1470*w for w.
-2
Let y be 1/4 - (-38)/8. Let q(d) = d - 3. Let w be q(y). Suppose -a + 3*p + 2 = 0, a + p - 4 = w. Solve 0 = g - a + 1 for g.
4
Let w = 2251 - 2231. Suppose -t = t. Let q be 10/15 + (-26)/(-6). Solve -j + q*j + w = t for j.
-5
Let h = -4751 + 4765. Solve 0 = -h*r + 65 - 135 for r.
-5
Let u be (1 + 0)/(17/(-204)). Let a(z) = z**2 + 13*z + 14. Let g be a(u). Suppose 0 = 3*h + 2*s + g, 3*s + 8 + 4 = 0. Solve -7 = 3*l + h for l.
-3
Let t = 148 + 33. Let i = t + -178. Let a(p) = p - 2. Let q be a(6). Solve -q*c - i = -7*c for c.
1
Suppose 112*r + 124*r - 5664 = 0. Solve 85 + 35 = r*a for a.
5
Let f(l) = l**2 + 17*l + 9. Let w be f(-17). Solve -24 + w = 15*i for i.
-1
Let b = 25 + -23. Let h be (2 - -3) + 5/(-10)*10. Suppose 0 = 4*y + 5*d - 1, -b*y - 5*d = -h + 7. Solve 3 = n + y for n.
-1
Let i(a) = -37*a**3 - 18*a**2 - 21*a - 8. Let t be i(-2). Solve 0 = 27*d + 16*d + t for d.
-6
Let g(j) = -j**2 + 63. Let t be g(0). Let l be (-34)/9 - 14/t. Let u = l + 19. Solve f + 2*f - u = 0 for f.
5
Let q(u) = 72*u**2 + 23*u - 24. Let o be q(1). Solve 36*w + 37 + o = 0 for w.
-3
Suppose -680 = -6*n - 23*n + 3293. Solve 10*q - n = -97 for q.
4
Suppose -69*j = -3403 + 988. Solve -l + j = 31 for l.
4
Suppose 0 = 16*l - 21*l + 3*g, -2*l - 5*g = 0. Solve l = 3*h - 618 + 606 for h.
4
Let r(o) = -o**2 - 18*o + 13. Let p be r(0). Solve 11*b + p = -20 for b.
-3
Suppose -1 = -3*n + 47. Suppose 3*o + 0*o + 15 = 3*i, i + 3*o = 5. Let j = -1895 - -1896. Solve n = -i*h + j for h.
-3
Suppose 15382 = 67*k - 1100. Solve -59*g - k = -18*g for g.
-6
Suppose b - 9*b + 40 = 0. Suppose 0 = -4*l + m + 2*m - 167, 4*m = b*l + 210. Let i = -36 - l. Solve i*z - 6 = 4 for z.
5
Suppose 5*w - 5*l = 595, -3*l - 234 = -145*w + 143*w. Solve 0 = 8*k - w + 91 for k.
4
Suppose 408*z - 5136 + 1056 = 0. Solve -z*s + 239 = 259 for s.
-2
Let f = -8 - -12. Let n = 6512 - 6500. Solve n = -f*a + a for a.
-4
Let r(s) = s**2 + 26*s - 24. Let h = 120 + -147. Let y be r(h). Solve y*o - 13 + 7 = 0 for o.
2
Let b = -627 + 681. Solve -9*j - b + 36 = 0 for j.
-2
Suppose 36*y - 12*y - 72 = 0. Let l(t) = 2*t. Let u be l(1). Suppose 2*n = -90*n + 15*n. Solve -y*z - u*z = n for z.
0
Let d(w) = w**3 - 6*w**2 - 12*w - 19. Let c be d(8). Let x be c/2 - (-5)/(-10). Solve x*v = v - 25 for v.
-5
Suppose -7*x = -3*d - 5*x + 1414, -41*d - 5*x = -19357. Solve d = -26*m + 316 for m.
-6
Let r be ((-21)/(-15))/((-1355)/(-150) + -8 - 1). Solve 13*u = r + 10 for u.
4
Let u = 24233 + -24229. Suppose 4*m - 36 = -2*r - 0*m, 2*r - 42 = 2*m. Solve -i = u*i - r for i.
4
Let c be 2*(-3 + 0 + 7). Suppose 6*n - c = 22. Solve 7 = -3*p - n for p.
-4
Suppose 136 = 91*p - 116*p + 911. Solve 37*w - 191 = p for w.
6
Let y(f) = -f**3 - 4*f**2 + 4*f - 7. Let d be y(-5). Let o be (3/d)/((-30)/(-160)). Let x be 3/2*o/(-12). Solve 0 = 2*r - x - 3 for r.
2
Let r(a) = a**2 + 40*a + 104. Let b be r(-38). Solve 32*q = b*q + 12 for q.
3
Let j = 174 + -163. Suppose 0 = -10*v + j*v - 14. Solve 8*n - n = -v for n.
-2
Let b(g) = -3*g + 100. Let c be b(-36). Let h = c - 171. Solve 8 = 9*r - h for r.
5
Suppose 104*p + 2727 = 2935. Solve -98*f - p = -99*f for f.
2
Let r(u) = 3*u**2 + u + 7. Let s be r(-2). Let v = s + 74. Let h = -87 + v. Solve -6*k = -5*k + h for k.
-4
Let g = -17906 - -18014. Solve -46*s + 73*s + g = 0 for s.
-4
Let s = -347 + 351. Suppose -s*y + 19 = 15. Solve -y = -l - 6 for l.
-5
Let i be 72/(-6)*(-3 + (-21)/2). Suppose 164*o = i*o + 10. Solve -9 = o*t - 14 for t.
1
Suppose 54 = h - 61. Let p = h - 108. Solve -5*n - 2 = -p for n.
1
Let j(m) = 2*m**2 + 45*m - 55. Let h be j(-24). Suppose h - 29 = -2*f. Solve f*b - b = 15 for b.
3
Let v(a) = 75*a - 589. Let i be v(8). Solve -97 = -i*c - 86 for c.
1
Let n = 531 - 524. Let w be 6 + -7*(5 - n). Solve -8*u + 4*u = -w for u.
5
Let g be (-18 + 5 - -11) + 18/(-2). Let h(s) = -13*s - 143. Let r be h(g). Let b = -7 - -11. Solve r = -b*w + 12 - 28 for w.
-4
Suppose -5*v - 2*b = -0*b - 6, 5*b - 15 = -2*v. Suppose 0 = 6*t - 22 - 8. Suppose 0 = 2*k - 3*g + 10, -11 = -t*k + 10*k - 4*g. Solve -2*h + 3 - k = v for h.
1
Let q(i) = -200 + 103 + i**3 - 26*i**2 - 27*i + 107. Let w be q(27). Solve -w*p = -7*p for p.
0
Let j(b) = -2*b**2 + 51*b - 185. Let d be j(16). Solve 8*f = 135 - d for f.
2
Suppose -3*y + 751 = 4*l, -y - 775 = -4*l + 4*y. Suppose -8*m + l = -170. Solve 9*f + 0*f = m for f.
5
Suppose 0 = 9*g + 95 - 140. Suppose 2*d - 4*k = 4*d - 18, -g*d = 3*k - 24. Let i(b) = b**2 + 4*b + 6. Let l be i(-4). Solve 3*u = -d - l for u.
-3
Let x be 11/33 + (-8)/(-3). Suppose -y - 3 = 0, 3*l - x*y = -y - 126. Let w = -32 - l. Solve -w = 2*f + 2*f for f.
-3
Let l(s) = -37*s - 1363. Let z be l(-37). Solve 4 = -z*k + 2*k for k.
-1
Let h(i) = 9*i**2 - 44*i - 3. Let x = -25 + 107. Let k = x - 77. Let j be h(k). Solve 6 - 4 = j*q for q.
1
Let t = 3 - -4. Suppose 23 = t*u - 5. Let q be u - ((2 - -1) + -1). Solve 4 = q*y - 0*y for y.
2
Suppose 7 = 4*c - 21, 3*g = -2*c + 3866. Solve 1273*y - 22 = g*y for y.
-2
Suppose 0 = b + 5*r + 11 + 16, b = 2*r + 1. Let o be -1 + 93/21 - (-3)/b. Solve 4 - 1 = -o*l for l.
-1
Let d = 50 + -43. Suppose 5*g = 2*v - 26, -6*g = 3*v - 2*g + d. Suppose -k + 2*f = 3*k - 58, v*k + 5*f = 50. Solve 2*i - k = -i for i.
5
Let c be (18 - -397)*(4/20)/1. Solve -c*n + 63 = -92*n for n.
-7
Let y be (-14 - (-36)/(-6))/(2/(-4)). Solve y*f = 114 + 6 for f.
3
Let z(x) be the first derivative of 4*x**2 + 161*x + 102. Let t be z(-19). Solve -t*k - 8 = -5*k for k.
-2
Let a be (-3277)/(-232) - 3/24. Let i be 38/a - (-32)/112. Solve -i*c = -c + 6 for c.
-3
Let z(j) = -494*j - 4882. Let n be z(-10). Solve 17*g = -78 - n for g.
-8
Suppose -9*l = 4*r - 119, -3*l = l - r - 64. Solve 0 = -2*s - 11 + l for s.
2
Suppose 4*r = 3*b + 110, -2*r + 93*b = 96*b - 82. Solve 36*k = r*k for k.
0
Suppose -2*p - 2*p + 6 = -2*s, -3*s =