4 for n.
4
Suppose 5*t - 2 - 23 = 0. Let o be ((-6)/(-1))/(-2) + t. Solve -x - 1 = -o for x.
1
Suppose -5*d = -9*d + t + 6, -d + 2*t = 2. Solve -d*y + 4 = 2*y for y.
1
Suppose 348 = 1433*p - 1429*p. Solve 5*v = -p + 97 for v.
2
Let k = -140 + 142. Let m be -3 + k/1 + 3 + -2. Solve m = -5*t - 9 - 6 for t.
-3
Let j(x) = 4*x + 0*x + 3 + 3*x**2 - x**3 + 0. Let i be j(4). Let z be (-8*(-5)/70)/(2/7). Solve z*f - 1 = -i for f.
-1
Let u(p) = 2*p - 2. Suppose 31 = 3*k + 7. Let d be u(k). Suppose 0 = -5*h + 6 + d. Solve -2*i + i - h = 0 for i.
-4
Suppose -104*h + 3345 + 295 = 0. Solve h - 33 = -2*n for n.
-1
Let d = 94 - 89. Solve 2*q - 3 + d = 0 for q.
-1
Let x be (98 - 44)/(6/9). Solve -5*y - 96 + x = 0 for y.
-3
Let d be (-25)/125 - 172/(-10). Solve -d = 5*y + 8 for y.
-5
Suppose 5*v + 35 = 105. Suppose -m + 1 = 2*p - 1, 4*m + 2 = -3*p. Suppose 4*g - 8*x - 3 = -11*x, p*x = 2. Solve g = -2*n + 4 - v for n.
-5
Let t be 39/((-4)/16*-3*1). Let f = t - 43. Solve -16 = 5*q + f for q.
-5
Let s be (-2)/(-6) + 20/(-60). Solve -11*y + 10*y + 5 = s for y.
5
Let w be ((-24)/10 - -4)/((-4)/(-270)). Let h = 133 - w. Solve 3*k + 2*k = h for k.
5
Suppose 2*j + f = 91, -56 - 79 = -3*j - 3*f. Let l = j - 45. Suppose -2*u - 6 = -4*u. Solve u*x - 2 - l = 0 for x.
1
Let n(h) = h**2 + 16*h - 32. Let r be n(-18). Let t be 4/10 + (-249)/(-15). Solve r*p = -5 + t for p.
3
Let h be 2*(0 + 1 - 0). Suppose -5*l - 45 = -h*l. Let y(w) = w**2 + 16*w + 21. Let d be y(l). Solve d + 14 = -4*q for q.
-5
Let h(x) = -x**3 + 3*x**2 + 12*x - 1. Let n be h(5). Solve -40 = u + n*u for u.
-4
Suppose -5*w - w = -5*w. Solve 4*i - 3*i = w for i.
0
Let w = 11 + -9. Let a be (w/4)/(1/12). Suppose 1 = 2*n - b, n + b = 4*b + 3. Solve 0 = -n*c + 3*c + a for c.
-2
Suppose -2*o = 2 + 4. Let n be (o/9)/((-2)/(-12)). Let i be (-1)/(n/44) - -3. Solve 4*j + i = -j for j.
-5
Let c(d) = d**2 + 6*d - 22. Let u be c(-8). Let n be (-22)/u + 6/18. Solve j = n*j + 9 for j.
-3
Let s(r) = r**3 + 13*r**2 + 25*r - 43. Let h be s(-10). Solve 70 = -h*y - 7*y for y.
-5
Suppose -4*y = 2*q - 342, 3*y + 61 - 232 = -q. Solve -q = f - 173 for f.
2
Let r = 48 - 43. Suppose -r*c = 5*y - 75, 0 = -c + 7*y - 2*y - 15. Solve -3*k - 2*k = -c for k.
2
Let j be (-1 + -4 + 4)*5. Let a = j + 11. Let r = 9 - 7. Solve r*g = 4 + a for g.
5
Let x be (-126)/(-5) - 8*5/(-50). Solve -x = 4*r - 38 for r.
3
Let d(w) = 10*w - 7. Let v(t) = t - 4. Let h be v(5). Let f be d(h). Suppose 3*y + 0*y = 12. Solve -7 = f*n - y for n.
-1
Let g be -3*(2 + -3) + 2. Suppose 0 = -55*z + 60*z - 15. Suppose z*f = 4*f. Solve y - g*y = f for y.
0
Let g be 321/18 - 5/6. Suppose 6 = 4*i - 2. Let z be (-7)/(-21)*(g - i). Solve -u - z = 4*u for u.
-1
Let b be 1/(3/(-9)*-1). Let o(y) = 16*y + 2 + y - b. Let j be o(1). Solve 2*x = -2*x + j for x.
4
Suppose -4*m + 3*r + 0*r + 12 = 0, 2*m + 4 = -r. Solve -2*a + 10 = -m*a for a.
5
Let s(p) = p**3 - 12*p**2 + 9*p + 22. Let n be s(11). Suppose 28 = 7*w - n*w. Solve 0 = w*v + 5 - 1 for v.
-1
Suppose 2*l - 108 = 3*u, -22*l + 20*l - 3*u = -84. Solve -53*a = -l*a + 15 for a.
-3
Let r(c) = 3*c**2 + c - 1. Let l(j) = j**2 - 5*j + 6. Let s be l(4). Let a be r(s). Solve a*p = 18*p for p.
0
Suppose -5*w + 139 + 46 = 0. Let a = -29 + w. Solve -4*p = -0*p + a for p.
-2
Suppose v - 35 = 17. Suppose h + h = v. Let y = h + -22. Solve -a = y*a - 20 for a.
4
Let g be -1 + 0 + 7/1. Let w = 21 - 18. Let l(z) = z + 11. Let d be l(-5). Solve w*k = g + d for k.
4
Let c be (-8)/(-12) + 416/6. Suppose -7*i = -c + 14. Solve 4*n - i*n + 12 = 0 for n.
3
Suppose 3*l - 102 = 4*a, -5*l + 248 - 73 = -5*a. Suppose -l = -5*k + 2. Solve 0 = -0*v + 2*v - k for v.
4
Let z = -40 + 88. Let p = z + -45. Solve 0*o = -3*o - p for o.
-1
Let z(y) = -y**2 + 6*y - 3. Let h be z(5). Let t(x) = x**3 + 4*x**2 - 2*x. Let n(g) = g**2. Let r(a) = -3*n(a) + t(a). Let l be r(-2). Solve 10 + l = h*w for w.
5
Suppose 54 = 6*u + 30. Suppose 8*w = 3*w. Let d be 1 + w/(2/1). Solve u*m - 21 + d = 0 for m.
5
Let k(t) = 2*t - t + 3*t + 23. Let s be k(-5). Let g(c) = c + 3. Let b be g(5). Solve -25 = b*d - s*d for d.
-5
Let j be ((-12)/4 + 2)*11. Let c = 14 + j. Suppose c*a - 2*a = 3. Solve 0 = 5*m + 7 + a for m.
-2
Let b be (15 - 12)/(-3) - -3*1. Solve -b*h + 58 - 68 = 0 for h.
-5
Let u be 1/(-2)*2*-13. Let d(i) = -i**3 + 14*i**2 - 13*i + 5. Let p be d(u). Solve 0 = p*y - 2 - 8 for y.
2
Let t(y) = -10*y - 388. Let f be t(-39). Solve -15 = f*r - 17 for r.
1
Let c = 1036 - 729. Solve -4*j - c = -299 for j.
-2
Let n(c) = -c + 20. Suppose -7*b + 5*b + 22 = 0. Let r be n(b). Let a be (-7)/(-2) - r/6. Solve -a*y = 4 - 14 for y.
5
Let l(g) = -g + 18. Let s be l(-13). Let m = -6 - -10. Suppose -m*i = -4*d + 85 + s, 0 = -4*d + i + 116. Solve 4 = -5*o + d for o.
5
Suppose 3*u - 13 = -2*i, 22 = -2*u + 7*u + 3*i. Let t be (0 - (-12)/10)*110/44. Suppose t*n - u*h = -9, -4*n - h + 5 = -3*n. Solve -l - n*l = 12 for l.
-4
Let r(j) = -2*j**2 + 14*j - 15. Let k be r(8). Let s be 9/(-6)*(-22)/1. Let g = k + s. Solve -t - 1 = -g*t for t.
1
Let d(s) = s**3 + 24*s**2 - 3*s - 58. Let j = -149 + 125. Let z be d(j). Solve -5 + z = 3*y for y.
3
Let k = 162 - 155. Solve -5*j + 8 + k = 0 for j.
3
Let n be 8/44 + 1623/(-33). Let c be (-231)/n + (-2)/(-7). Solve 0 = c*s + 25 - 10 for s.
-3
Let w(h) = h**3 - 6*h**2 + 6*h - 1. Let f(s) = 2*s**2 + 2*s + 1. Let c = 11 + -13. Let r be f(c). Let y be w(r). Solve -y*d + 1 = -3*d for d.
1
Let w be 2/11 - (-282)/22. Let a = 2 + w. Suppose -5*u - 5*q - a = 0, -5*q - 12 = -3*u - q. Solve -2*v + u*v = -4 for v.
2
Let k(w) be the first derivative of 8*w**3/3 - 3*w**2/2 - w + 23. Let z be k(2). Solve -2*d = 3*d + z for d.
-5
Let d = 82 + -74. Solve 0 = 16*g + 88 - d for g.
-5
Let k(l) = l**2 + 3*l + 3. Let f be k(-3). Suppose -f = j, -2*s + 4*s - 3*j = 25. Solve -o + 3*o = s for o.
4
Let l be 1/(-2) - (-10 + (-133)/(-14)). Solve -21*u + 21 + l = 0 for u.
1
Suppose -25 = -5*f - 5. Suppose f*i = 2*i + 10. Suppose -i*z + 50 = 20. Solve 3*d - z*d = 3 for d.
-1
Let k = -607 + 726. Solve k = 24*s + 23 for s.
4
Suppose -5*j = -4*j. Let u = 11 + -8. Suppose k = -u*f + 20, 0*f - 3*k + 10 = -f. Solve f*m + 0*m = j for m.
0
Suppose 0 = 30*p + 14*p - 176. Solve -7*h + 3*h = p for h.
-1
Suppose -4*d + 2 = -a, 5 = 4*a - 3*d - 0. Solve -2*b + 0 + a = 0 for b.
1
Let n(h) = -2*h**2 - 16*h + 45. Let g be n(-10). Solve g*k = 3*k for k.
0
Let b be 4 - (-7 - -10) - -11. Solve -5*a + 8*a = b for a.
4
Let l = -367 - -379. Solve 6*r + 36 = l for r.
-4
Let p = -7 + 27. Let l = -16 + p. Suppose -k = -3*q + q - l, -3*q = 3*k - 12. Solve 0 = -5*b - q - 10 for b.
-2
Let n(p) = -19*p**2 - 34 + 16*p + 4*p - 14*p**3 + 2*p**3 + 13*p**3. Let g be n(18). Solve g*u = -2*u - 12 for u.
-3
Suppose -2*q + 4 = -0*c + 2*c, -4*q = 3*c - 6. Suppose 32 = 5*i + 7. Suppose -i*f - 2*s = -28, -2*f - 8 = f - 5*s. Solve -f*k - 16 = -q*k for k.
-4
Let i = 13 - 13. Suppose -2*f + 10*l - 5*l - 17 = 0, -3*f + l + 7 = i. Solve f*w + 4 + 4 = 0 for w.
-2
Suppose -2*b - 214 = d + 4*d, -3*d - 129 = b. Let w = -44 - d. Solve s + 3 + 1 = w for s.
-4
Let i be -1 - (-4 - 5/10*-2). Solve 0*t = -2*t - i for t.
-1
Suppose -u - 9 = -14. Suppose -2*l = 2*v - 26, v = u*l + 1 - 6. Solve -2*d + 0*d = v for d.
-5
Let j(i) = -i**2 + 8*i - 12. Suppose a + 5 = r, 5*r - 28 + 3 = -5*a. Suppose -5*h = -k + 13 - 45, r*k = -3*h + 8. Let n be j(h). Solve 3*q + q = n for q.
0
Let k(n) = -n**3 - 6*n**2 - 6*n + 1. Let m be k(-5). Let r be (0 - 0)/(m/9*-3). Solve -2*i + 6*i + 20 = r for i.
-5
Suppose 0 = 5*m + m - 12. Let b be (2 - m)/((-2)/(-2)). Solve -4*c - 1 - 3 = b for c.
-1
Let v = 24 - -36. Suppose 0*n = -4*n + v. Suppose n = 2*z + 3*s, -s + 2*s = -5*z + 18. Solve -z*c = -10 + 4 for c.
2
Suppose 3*r - 5*n = 1, r + 4*n + 15 = 38. Suppose 14*h = -5*h + r*h. Solve h = -4*f + 2*f - 10 for f.
-5
Let f = 87 + -77. Let y be 1625/(-50)*(0 + (-8)/f). Solve 0 = 5*j + 6 - y for j.
4
Suppose -49 = -2*f + 5*p, 3*p - 7*p = 5*f - 73. Suppose 22*h = f*h. Solve 2*r + h*r + 8 = 0 for r.
-4
Let i(f) = 13*f - 386. Let u be i(32). Solve u = -p + 11*p for p.
3
Suppose -4*h + 3*h - 2 = 0. Let r be (1/h)/((-6)/48). Suppose -2*p + 26 = p + r*j, -4*p = 2*j - 28. Solve -20 = m - p*m for m.
4
Let k(r) = r + 4. Let h be k(0). Let g be -32*-3*h/(-24). Let i = g + 16. Solve 0*