 for n.
0
Let b(i) = -5*i**3 + 25*i**2 - i + 8. Let y be b(5). Solve -10 = y*c - 8*c for c.
2
Let l be (-20)/(-6)*12/(-5). Let u = -4 - l. Suppose u*q + s - 40 = 22, 2*s + 56 = 4*q. Solve -2*x = x + q for x.
-5
Let b(x) = -17*x - 65. Let h be b(-4). Solve -4 = -h*d + 8 for d.
4
Let l = 20 - 18. Suppose -9 - 53 = -l*t. Suppose 4*f + c - 3 = 0, 3*c = -3*f + 8*c + t. Solve 7*s - f*s = 20 for s.
4
Let c = 1435 - 1435. Solve 14*w + 52 + 4 = c for w.
-4
Suppose 0 = x - 4, -p - 5*x + 30 = 9. Suppose 0 = -5*h - 5*r - 25, 3*h + r + 2 = -3. Suppose q + q - 4 = h. Solve -q*j = -1 - p for j.
1
Let p = 237 - 229. Solve -p*n + 7*n = -4 for n.
4
Let m(h) = 8*h + 20. Let w be m(-7). Let j be 0*(-6)/w + 2/2. Let g(o) = o**2 + o + 2. Let r be g(-3). Solve r = 3*k - j for k.
3
Suppose 12*s + 52 = 16*s. Suppose 0*h + s = h. Let o = 12 + h. Solve 0 = -z - 4*z + o for z.
5
Let m = -19 + 36. Suppose -4 + 2 = 2*y + 2*b, y + 5*b + m = 0. Suppose 0 = -2*j + 5 - 1. Solve -j*t + 1 - y = 0 for t.
-1
Suppose s = 5*s + 2*y - 12, -3*s + 2 = 5*y. Let l be ((-14)/(-4) - 1)/(1/2). Solve s*w - 3*w - l = 0 for w.
5
Let b be (-3 + 13 - 0) + (4 - 7). Solve -b*a + 4*a - 15 = 0 for a.
-5
Let d = -225 + 231. Solve d*a = 3*a for a.
0
Let a = -218 + 224. Solve -5 + 23 = a*c for c.
3
Let f(o) = o + 3. Suppose -u - 2 + 8 = -2*j, 5*j - u + 9 = 0. Let x be f(j). Solve 0 = -x*y + 5 - 13 for y.
-4
Let l(x) = -3*x + 21. Let o be l(4). Let h be (o - 11)*3*-1. Solve -b + 15 = -h*b for b.
-3
Let g(v) = -v**2 + 7*v - 4. Let a be g(6). Suppose -i - a + 4 = 0. Suppose 2*c - 17 = n, -i*n - 7 = -c - 0. Solve -k - c = -4 for k.
-5
Let o(u) = -u**2 - 5*u - 4. Let y be o(-4). Suppose 6*q = 3*q. Let k be 5 + (-1 - (-1 - q)). Solve y*s - k = -5*s for s.
1
Suppose 4*w = 4*v - 24, 5*v + 21*w - 14 = 18*w. Solve v*k - 23 = -19 for k.
1
Suppose 4*a = -4*f + 528, -5*f - 2*a = -298 - 365. Suppose 0 = -5*t + f - 23. Solve 0 = 5*q + t - 2 for q.
-4
Suppose r - 12 = -2*r. Suppose -m - 4 = -d - 1, -3*d - r*m = -2. Suppose l - 16 = 4*v, -4*l + 4*v + d = -14. Solve -5*n + 2*n - 3 = l for n.
-1
Let p = -394 - -399. Solve 0*w = -0*w + p*w for w.
0
Let v(t) = t**3 + 12*t**2 + 11*t + 1. Suppose 4*b + 2*f - 7*f = -29, 3*f - 13 = 2*b. Let m be v(b). Solve l + 0*l = m for l.
1
Suppose 2*y + 4 - 16 = -2*n, 10 = n - 3*y. Solve n*s + 0*s = -21 for s.
-3
Let r be 49/441 + -1 + (-1158)/(-27). Solve -47*b + r*b + 15 = 0 for b.
3
Let q(y) = 2*y - 11. Let c be q(10). Let h be 2/(-3) - (-312)/c. Let z = 34 - h. Solve z*v = -3*v + 3 for v.
1
Let i = -6 + 9. Suppose -2*c + i*p - 2*p + 5 = 0, c = -5*p + 8. Solve c = 4*v + 7 for v.
-1
Let y(g) = -g**2 + 4*g + 3. Let m be y(3). Let l(h) = -3*h + 26. Let c be l(m). Solve 2 + c = 2*n for n.
5
Let r(v) = -11*v**2 + 101*v - 13. Let x be r(9). Solve -18 = x*a + 2 for a.
-4
Suppose -24 = -4*w + 3*u + 11, 5*w - 41 = u. Solve w = 4*j + 4 for j.
1
Let o(m) = m**2 + 19*m + 23. Let l be o(-18). Solve 0 = 8*w - 7*w - l for w.
5
Suppose 0 = -3*w - 3, -5*f + 38 = -3*w. Solve 5*r + 8 = f*r for r.
4
Let w(z) = -z + 22. Let r be w(-5). Solve -4*g + r = 15 for g.
3
Suppose z + z = h + 11, 0 = z - 5*h - 19. Suppose 0 = 4*x + z*w - 24, -6*w + 6 = -3*x - w. Let j(i) = -i**2 + 5*i - 4. Let y be j(3). Solve -x = -o - y for o.
1
Suppose 2*n + 264 = -n. Let k be (-104)/n + (-2)/11. Suppose 5 = 2*q + k. Solve p + q*p = 0 for p.
0
Suppose 3*s + 0*y - 38 = -5*y, -2*s + 24 = 2*y. Let d = -94 - -78. Let z = d + 20. Solve -5*i = z + s for i.
-3
Let c be (2/3 - 0)*6. Let w be 4/14 - (-456)/21. Let f be c/w + (-8)/44. Solve f*h - h - 3 = 0 for h.
-3
Let i = -42 - -44. Let h(z) = -z**3 - 10*z**2 - 10*z + 6. Let o be h(-9). Solve -i*g + o = g for g.
5
Let t = 72 + -68. Let n be ((-2)/t)/(2/(-20)). Solve -g - 4 = -n*g for g.
1
Suppose y + d + 29 = 36, 4*d - 19 = -y. Solve -y*f + 11 = 5 for f.
2
Suppose 0 = 2*u - 7 - 5. Let b be ((-29)/(-87))/((-2)/120*-2). Suppose 0 = b*f - 9*f - 5. Solve 0 = -u*h + h - f for h.
-1
Suppose -n - 3*r + 0 = -15, -3*n + 29 = 5*r. Suppose -72 = -4*g + 4*u, 4*g - 14 = n*g + 3*u. Let h be 5/g*2*2. Solve h + 2 = 3*x for x.
1
Suppose 0 = 7*p - 3*p. Solve -2*r + 1 - 11 = p for r.
-5
Suppose -4*h - 4 = -2*k - 0, -h = 5*k - 10. Solve -6 = k*x - 8 for x.
1
Let i = -389 - -448. Solve -61*n = -i*n + 8 for n.
-4
Let y be (-3 - 2)*12/(-20). Suppose y*p + 2*u - 68 = -12, -2*u = -5*p + 104. Solve -7*x + 3*x - p = 0 for x.
-5
Let q be (-1)/(-1 + (-4)/(-5)). Let f be (-3)/1 - (0 - q). Solve 3*r + 25 = -f*r for r.
-5
Let h = -77 - -106. Let k = h - 26. Solve 2*n + 1 = k*n for n.
1
Suppose -5*v + 6*f - 3*f = -25, 5*v - 5*f - 35 = 0. Suppose -v*r - 11*r = -130. Solve -r - 2 = 3*j for j.
-4
Let m be (4/(-6))/1*93. Let k be (-24)/32 + m/(-8). Let h(z) = -z**3 - z**2 + z - 1. Let a be h(-2). Solve -k = 3*j - a for j.
-2
Let p(i) = -42*i + 10. Let a be p(0). Solve -3*y - a*y = -39 for y.
3
Let r be 15/((-150)/(-160)) - 6. Solve 43 = -r*c + 3 for c.
-4
Suppose 24 = 8*b - 4*b. Suppose -2*l - 68 = -19*l. Let w be 1*l/6*b. Solve s - w*s + 6 = 0 for s.
2
Let w = 29 + 27. Let d = w - 42. Solve -d = -3*k - 2 for k.
4
Suppose -7*f = 129 + 109. Suppose -1 = 4*q - 21, -185 = 5*w - 3*q. Let z = w - f. Solve -y = -z - 1 for y.
1
Let l be (-1876)/(-154) - (-4)/(-22). Let o be (2/(-4)*(l + -12))/3. Solve o = 4*u - 2 + 14 for u.
-3
Suppose 0 = -5*k - 14 - 1. Let u = k - -3. Suppose u*i - 2 = 2*f + 3*i, 0 = -4*f + 2*i + 12. Solve 5 + 1 = -f*y for y.
-3
Suppose 35 = -5*l + 4*m, 1 = -5*l - 4*m + 6. Let y be (-19)/3 + (-1)/l. Let g be (-28)/y - 2/3. Solve -g*c - 3 = -7 for c.
1
Suppose 42*d + 0*d = 84. Solve 0 = d*s + 5 + 3 for s.
-4
Suppose 28 = 3*u - y, -17 - 26 = -5*u - 2*y. Let p = u + 16. Solve -p = 4*x + x for x.
-5
Suppose -5*q = -2*m - 0*m, 0 = 5*q + m. Solve 4*n + 1 + 3 = q for n.
-1
Let m = 7 + -10. Let q(b) = b**2 - 4. Let c be q(m). Suppose 1 - c = -2*h. Solve 0 = -5*u + h + 18 for u.
4
Suppose -3*l + 0 = -15. Suppose 38*m = 41*m + 15. Let u(h) = h**2 + 5*h + 1. Let a be u(m). Solve -l*n - 19 = a for n.
-4
Let v = -60 + 53. Let c(s) = s**2 + 4*s - 5. Let g be c(v). Solve -4*k - g = 4 for k.
-5
Let d be 1*2/(-4)*-4. Let v = 5 - d. Suppose -8 = 4*f - 4*w, -4*w + 18 - 2 = 0. Solve v*j = -f*j for j.
0
Suppose 0 = -2*a + 3*l + 43, 28*a = 25*a + 4*l + 64. Solve 5*p = 15*p + a for p.
-2
Suppose 2*u = t + 3, 0*t - 5*u + 9 = -2*t. Let w be (-8)/(13/5 - t). Let p be w/9 + (-2)/9. Solve -6*k + p*k = 0 for k.
0
Let v = -234 + 236. Suppose 30 = 5*g - w - 24, -2*g = -2*w - 28. Solve 4*l - v*l + g = 0 for l.
-5
Suppose -2449 = -13*t - 2410. Solve 25 = t*l + 31 for l.
-2
Let b be (-4)/(((-4)/(-20))/(2/(-5))). Suppose 0 = i + w - b, 26 = 4*w + 6. Solve -i*r = 2*r + 10 for r.
-2
Suppose 3*d + 4*c - 2*c - 8 = 0, 4*d + 2*c = 14. Let f be (15*(-1)/(-3) - -1) + -9. Let n = f + d. Solve -5*z = -n + 13 for z.
-2
Let o(x) be the third derivative of -1/24*x**4 - 1/2*x**3 + 0 + 0*x - 3*x**2. Let p be o(-5). Solve p*c - 5 + 1 = 0 for c.
2
Let q be (-108)/189*(-8 - -1). Solve 0 = -o - q - 0 for o.
-4
Let i(b) = -b**3 - 20*b**2 + 19*b - 26. Let z be i(-21). Let d be (z/(-6))/((-22)/33). Solve a = -a - d for a.
-2
Let j be 0 + 0 - (-140 + -36). Solve 164 = -4*t + j for t.
3
Let h(b) = -b**3 + 19*b**2 + 19*b + 14. Let y be h(20). Let p(l) = -2*l**2 - 12*l + 2. Let k be p(y). Solve -12 = k*t + 2*t for t.
-3
Suppose -7*a - 60 = -12*a. Suppose k = 4*k - a. Solve x + 0*x - k = 0 for x.
4
Let w = -19 - -28. Suppose w*j - 175 = 5. Let y = 6 - 4. Solve j = -y*l + 6*l for l.
5
Let z be (9 + -7 + -2)*(-3)/(-12). Solve -12 = -z*w - 3*w for w.
4
Suppose 17*s + 0*s = 102. Solve 0 = s*k - 10*k for k.
0
Let l(h) = 2*h**2 - h + 55. Let t be l(8). Let g = t + -171. Solve 0 = 5*i - g*i + 1 for i.
-1
Let s(l) = 7*l - 1. Let m be s(1). Solve -m*w = 63 - 93 for w.
5
Let u = -204 - -106. Let a = u + 102. Solve 0*i - a*i + 16 = 0 for i.
4
Suppose -w + 18 = 5*w. Suppose -w*p + 9 = -3. Solve -g + 3 = -p*g for g.
-1
Let u(t) = -t**2 - 9*t - 10. Let p be u(-7). Let r be (-6)/9*(-6)/p. Solve 0 = 2*l + 7 - r for l.
-3
Suppose -5*q + 55 + 5 = 0. Suppose -2*y + 8 + 4 = 0. Solve -y*u + q = -3*u for u.
4
Suppose -19 = -4*o + p, -13*o + 2*p - 17 = -16*o. Solve d + 2 = o for d.
3
Let x(l) be the second derivative of l + 11/6*l**3 + 0 - l**2. Let j be x(1). Solve -5*h + 11 = -j for h.
4