 a for l.
0
Let a = -13664 + 13676. Solve -156 = -56*t + a for t.
3
Suppose 4*h = 4*b + 72, 0 = 65*h - 64*h + 2*b. Solve 20 - 44 = -h*v for v.
2
Suppose -3*x + 25 = -5*r, 0*x - r - 5 = 5*x. Suppose 5*t - 4*t = x. Suppose -6*z + z + 10 = 0. Solve t = -z*g + g + 4 for g.
4
Suppose 10*u - 38 = 12. Let b be u*(-108)/(-30) - (5 - 1). Solve 4*h - 2 = b for h.
4
Let b = 589 + -476. Solve -9 = -b*r + 110*r for r.
3
Suppose 24*i + b + 15 = 27*i, -5 = -i - 5*b. Let f(x) = -3*x + 15. Let m be f(i). Suppose -6*t + 6 = 2*q - 2*t, 3*q - 20 = 5*t. Solve -u + m*u = q for u.
-5
Suppose 11*b = 25 - 3. Suppose 0*v = -5*m - 3*v + 24, 0 = m - b*v + 3. Solve m*f + 0*f = 0 for f.
0
Let j(o) be the second derivative of o**4/12 - 5*o**3/3 - 35*o**2/2 + 4*o. Let a be j(12). Let k(s) = s + 27. Let w be k(a). Solve -5*f + w = -f for f.
4
Let r = 51 + -47. Suppose 0 = -0*m - 4*m - 20, -5*m = -f + 54. Suppose 0*d + f = r*p - 3*d, -3*d - 34 = -5*p. Solve p*l + 0 + 20 = 0 for l.
-4
Let q(k) = 6*k + 68. Let s be q(-14). Let w be (-2)/s*4*18. Solve -3 = 10*p - w*p for p.
-3
Let z(t) = t**2 - 16*t - 10. Let g be z(14). Let m = -27 - g. Suppose i - m + 4 = 0. Solve 5 = -4*k - i for k.
-3
Suppose -7*u - 56 = -14*u. Suppose 4*t = u*t + 36. Let f be t/(-2)*8/12. Solve -f*z = -4*z for z.
0
Let s(w) = w**3 + 6*w**2 - 7*w + 1. Let x be s(-7). Let i be (x/4)/((3/(-60))/(-1)). Suppose -i*d - 5*d - 5*d = 0. Solve 2*v = -d*v + 4 for v.
2
Let t(y) = -97*y + 995. Let s be t(10). Solve -22*p + 3 = -s*p for p.
-1
Suppose 268*a - 2034 = 42*a. Solve 0 = -10*o - 31 - a for o.
-4
Let u be 2 + -6 - ((1 - 0) + -11). Suppose 3*n = 5*g + 15, -3*g = -2*n - g + u. Solve n = 3*r - 2*r - 2 for r.
2
Suppose -17*s + 1818 - 288 = 0. Solve 0 = s*b - 108*b - 162 for b.
-9
Let v(s) = -s**2 + 28*s - 87. Let r be v(23). Solve -10*y - 4*y = -r for y.
2
Suppose 12 - 53 = -3*i - 2*m, -4*i - 5*m + 50 = 0. Suppose 0 = -2*n + i - 7. Solve n = -b - 3*b for b.
-1
Let l be 212*(-6)/(-10) - (-5)/(-25). Suppose l - 87 = 2*m. Let k be (2/(-4) - 0) + m/8. Solve 0 = 3*v - k*v - 4 for v.
4
Let h = -8286 - -8346. Solve -6*c + 54 = h for c.
-1
Suppose 3*p + b - 138 = -127, 0 = p + 4*b + 11. Solve 77*l = p*l - 4*l for l.
0
Suppose 4*p - 3*q - 9 - 79 = 0, -37 = -3*p - 5*q. Solve 8*a = p*a + 11 for a.
-1
Suppose 42*q + 42*q - 142 = 13*q. Suppose -2*m - m = 0. Solve -q*p + m*p = -8 for p.
4
Let i(d) = -4*d - 78. Let r be i(-20). Let z be (2/(-3) - (-6)/9)/2. Solve z*p + p = -r for p.
-2
Let s(v) = -v**3 + 23*v**2 - 2*v + 91. Let n be s(23). Suppose 12*m - 3 = n. Solve -m*o + 0*o = 0 for o.
0
Let a(h) = 17*h + 175. Let u be a(-10). Suppose l + u*o - 15 = 0, 4*l + o - 3 = 38. Solve -l*t + 24 + 26 = 0 for t.
5
Suppose -3*k + 8*k - 191 = 4*v, -187 = -5*k + 3*v. Solve -k*s + 39 = -22*s for s.
3
Let v(h) = h**3 - 8*h**2 + 11*h + 13. Let n be v(6). Let r be (n/14)/(2/20). Suppose 0 = -2*x - r*x + 21. Solve 10 = x*z - 2 for z.
4
Let s(t) = -2*t - 6. Suppose -1 = 3*c - 5*f + 19, 0 = -f + 1. Let i be s(c). Let m(l) = l**3 + l**2 + 23*l + 87. Let y be m(-3). Solve -i*z - 8 = -y*z for z.
-2
Let q(x) = 19*x**2 + 244*x + 5. Let b be q(-13). Solve 308 = 88*r - b*r for r.
7
Suppose -44*n = -48*n - a + 67, 4*n - 5*a = 49. Solve 29*f = 103 - n for f.
3
Suppose 6*s = -4*b + 284, 2*b + 3*s = 7*s + 142. Solve -b*t + 77*t = -6 for t.
-1
Let r be (-240)/9*1197/(-665). Solve -12*m = -48 - r for m.
8
Suppose -5*v - 21 + 256 = 0. Suppose -7*k + v = 26. Solve 0 = 2*m - 1 - k for m.
2
Let h be (-14)/(-3) + 4/12. Suppose n + 8 = 4*n - 2*p, 2*p + 8 = -h*n. Suppose 10*l = 5*s + 7*l, -5*s - 5*l = -40. Solve s*o = -n*o for o.
0
Let x = 197 - -83. Let k = x + -275. Solve -1 = -u - k for u.
-4
Suppose 24 = 2*w - 4*z, 3*w + 2*z = 72 - 4. Suppose 0 = -4*q - 5*i + w, 9*q - 6*q = i + 34. Solve -27*s + q = -25*s for s.
5
Suppose -7*s = -17 + 45. Let y be ((-6)/6 - s) + (-5)/1. Let l be y/((15/5)/(-3)). Solve -12 = -2*v - l*v for v.
3
Suppose 3*y + 3 = y + 3*n, 3*y - 3 = 3*n. Suppose 2*z - p = 16, p = y - 8. Solve -r + 6 = -z*r for r.
-1
Let r(k) = 2*k**2 + 35*k - 49. Let v be r(13). Solve 0 = z - v + 751 for z.
-7
Let g(y) = -y**3 + 10*y + 3. Let i be g(-3). Let a be -21 + 19 + i + 3. Solve -a + 4 = -m for m.
-3
Suppose 399*f = -3*h + 403*f + 809, -2*h = 3*f - 511. Solve 103 = -20*j + h for j.
8
Let s be (6555/(-161) - -42)/(1/7). Solve 0 = -36*m + 189 - s for m.
5
Let h be -8 - (120 - -12)/(-11). Solve -2*c = 2 - h for c.
1
Let u be 400/450*(-66)/(-8)*3. Solve 2 = 6*k - u for k.
4
Let g be (75/27)/((-6)/(-108)). Solve -12*z + g = 14 for z.
3
Let s be ((-5)/((-405)/18))/(1/36). Solve 20 = -4*i + s for i.
-3
Let d(q) = 2*q + 16. Suppose -29 + 23 = 3*p. Let b be (1 - (-1)/p)/((-35)/420). Let l be d(b). Solve -l*t + 3*t + 2 = 0 for t.
2
Let t(v) = 26*v + 186. Let j be t(-9). Let u = j - -53. Solve -1 = 2*p - u for p.
2
Let p = 4 - -3. Let k(s) = -s**2 - 4*s + 12. Let t be k(-13). Let g be (36/t - 4/(-28))*-5. Solve -4*d = -g - p for d.
2
Suppose d + 58 = -31. Let z = 93 + d. Solve 0*l + 4 = z*l for l.
1
Suppose -3*z - 3*b + 7*b - 24 = 0, 0 = 2*b - 6. Let l be 2 - (2/8 + (-7)/z). Solve 2*p = -l*p + 2 for p.
1
Let c(w) = -40*w + 52. Let h be c(-3). Let y = -169 + h. Solve 0 = 21*b - 18*b + y for b.
-1
Let s(z) = -2*z**2 + 28*z + 6. Let o be s(14). Let q be 11 + -6 - (-2 + (o - 2)). Solve 0 = -q*t + 6*t + 6 for t.
-2
Suppose 0 = f - 251 + 269. Let n be (-4)/f - (7 - (-610)/(-90)). Solve n = 2*v - 1 + 5 for v.
-2
Suppose -275 - 319 = -20*s + 246. Solve s*p - 39*p = -9 for p.
-3
Let x(d) be the second derivative of d**5/20 + 3*d**4/4 - 6*d**3 + 11*d**2/2 - 168*d. Let t be x(-12). Solve -t*v + 9 = 64 for v.
-5
Let m(k) = 63*k + 758. Let o be m(-10). Solve -11*v + 51 - o = 0 for v.
-7
Let m be (1/2)/((-20)/(-440)). Suppose -3 = -14*d + m*d. Solve 4*h - 15 = d for h.
4
Let l = 87 - 73. Suppose -4*z + z + 5*r = 3, 2*z = -2*r + l. Solve -z*d - d + 5 = 0 for d.
1
Let m be 34/1496*-22*(-652)/2. Solve 115 = 16*g + m for g.
-3
Suppose 0 = -215*v + 210*v - 5*b + 365, -5*b - 49 = -v. Solve -60*o = -v*o - 54 for o.
-6
Let y(b) be the third derivative of 5*b**4/24 - 16*b**3 + 9*b**2 - b. Let w be y(20). Solve 7 - w = -r for r.
-3
Let v = 19203 + -19048. Solve -11*c = -188 + v for c.
3
Let k(f) = f**3 - 5*f**2 + 5*f - 2. Let n = -259 - -263. Let l be k(n). Solve -l*o - 1 = -9 for o.
4
Suppose -2*y + 63 = 39. Let d(s) = 5*s - 46. Let n be d(y). Let i(f) = f**2 - 12*f - 17. Let g be i(n). Solve -4*u + g = -5 for u.
4
Let n(g) = 5*g**2 - 63*g - 398. Let p be n(18). Solve 0 = -3*j + 14*j + p for j.
-8
Let v(l) = -22*l - 88. Let o be v(-12). Let k = 191 - o. Solve -k = 13*a - 8*a for a.
-3
Suppose -54*b - 37*b + 21*b = 0. Solve 114*x - 99*x + 105 = b for x.
-7
Let p be (-5)/(4/(-32)*10). Suppose -g + 4*v + 4 = 6*v, 5*g = -p*v + 44. Solve 0 = 2*q + q + g for q.
-4
Let k(j) = -2*j - 6. Let p be k(-5). Let v be 27 - (6/33 + -3*(-100)/165). Solve -v = -p*o - 45 for o.
-5
Let k = -29 + 34. Let a be 0/(k*2/5). Solve 0 = c - a*c - 2 for c.
2
Let t(a) = -a**3 + 136*a**2 - 136*a + 227. Let c be t(135). Solve -36*g - 10*g = -c for g.
2
Suppose -34 = -4*j + 15*j - 298. Solve 13*a - j*a = 33 for a.
-3
Suppose f = 344 - 87. Let d = 263 - f. Solve -d*u = 13 + 5 for u.
-3
Let y(l) = -l**2 + 10*l + 892. Let a be y(-25). Solve -51 = -34*i - a*i for i.
1
Let a be 24/(-84) - (-1)/((-7)/(-16)). Suppose -a*f + 28 = 2*f. Suppose 5*x = 3*x - 5*h + f, 0 = x + h - 2. Solve m = 1 + x for m.
2
Let j(d) = d**2 + 110. Let y be j(16). Solve 8*f - 318 = -y for f.
-6
Suppose d + 124 = -9. Let i = d - -146. Suppose -i*k + 6*k + 28 = 0. Solve -k*g + 7*g = 0 for g.
0
Let z be (-1)/13 - (-88924)/559. Solve 31 - z = 32*x for x.
-4
Suppose l + 2*b - 4 = -0, 3*b + 1 = 2*l. Suppose -4 = -4*c + l*j - 3*j, 4*j = -4*c + 4. Let v be ((-150)/(-21) - c) + (-2)/14. Solve -4*d = -7*d + v for d.
2
Suppose 168*k - 151 = 1193. Solve -15*c = -11*c + k for c.
-2
Let z be ((-12)/(-3))/(0 - (-5)/10). Let k be z/(-3)*(-12)/16. Solve -f = -k*f for f.
0
Let f(h) = -h**3 + 11*h**2 + 10*h - 154. Let q be f(6). Solve 64 = -30*b - q for b.
-5
Let r be ((-1)/(-3))/((-51)/90729). Let d = r + 596. Solve 8*n = d*n - 15 for n.
-3
Suppose 0 = 2*q - 14 - 24. Solve q*t - 4 = 23*t for t.
-1
Suppose 0*y + 5*y = 300. Suppose 5*q = 0, -4*p + q = 4*q - y. Let v(i) = 