y + x = n for y.
-3
Let y = -45 - -49. Suppose 4*r = -2*g + y*g, -5*g = 0. Solve r*v + v = 5 for v.
5
Let d be (-7 - (5 - 13))/(2/14). Suppose 0*r - 22 = -2*r + 5*v, -3*v - 13 = -r. Solve 4*i + r = -d for i.
-2
Suppose -g + 13 = -3*o + 41, 27 = 2*o + g. Suppose -o = -2*p + 3. Let q = p + -7. Solve -d - 6 + 2 = q for d.
-4
Let r be (40/(-10) + 3)*7*-1. Solve -5*l - r = 2*l for l.
-1
Let x(d) = -2*d**2 + 3*d**2 + 6*d**2 + 3 - 2*d**3 + d**3 + 8*d. Let u be x(8). Solve -1 + u = -2*v for v.
-1
Let j(d) = d**2 + d - 27. Let i = 79 + -85. Let f be j(i). Solve 0 = f*o - o for o.
0
Let t(x) = 2*x**3 + 11*x**2 + 7*x - 11. Let r be t(-4). Solve -3*j + r - 6 = 0 for j.
1
Let h(k) = 6*k**2 + 47*k + 60. Let q be h(-7). Solve -q + 30 = 5*o for o.
1
Let n = 0 - 0. Let c(z) = -z**3 - 10*z**2 + z + 15. Let j be c(-10). Suppose -4*o + 7 = -j. Solve n = 3*q + 6 - o for q.
-1
Let q(s) = 9*s - 30. Let d(b) = 5*b - 11. Let f be d(3). Let m be q(f). Solve -3*w = -w + m for w.
-3
Suppose -7*v = -2*p - 10*v + 21, -4*p = v - 17. Suppose 0*q - 2 = -l + 4*q, -q = p*l - 6. Solve 0 = -0*x - 2*x + l for x.
1
Let o(f) be the second derivative of f**5/20 + f**4/4 - f**3/3 + 4*f**2 + 5*f. Let k be o(-4). Solve k = -3*u - 0*u for u.
0
Let j(b) = -b**3 + 14*b**2 - 14*b + 12. Let f be j(13). Let x be (22/(-11))/(f/10). Let q = -8 + x. Solve -2*m = 2*m - q for m.
3
Suppose n = 4*n. Let c be (-13 - -10)/(n - 1). Let w(y) = -2*y. Let u be w(-4). Solve -q + c*q = u for q.
4
Let b be (-518)/(-63) + -4 + 2/(-9). Let u be (-40)/(-16) + (-10)/b. Solve u = -3*m - 9 for m.
-3
Let z(y) = 55*y - 1. Let f be z(1). Let a = f + -54. Solve a = 2*p - 7*p - 5 for p.
-1
Suppose -5*l + 15 + 0 = 0. Suppose 21 + 24 = -l*y. Let s be (-6)/y*(18 - 3). Solve 9 = 3*b - s for b.
5
Let o(x) be the third derivative of -x**4/24 - 7*x**3/6 + 20*x**2. Let h be o(-7). Solve z + h*z - 5 = 0 for z.
5
Suppose 0 = -t + 2*t + 3*s - 25, 0 = 2*s. Let w(u) = u**2 - 27*u - 23. Let z be w(28). Solve 0 = -4*v - z + t for v.
5
Suppose 17 - 29 = -3*m, -2*w = -4*m - 88. Solve w*u - 49*u - 15 = 0 for u.
5
Suppose -4*w - 4*h + 72 = 0, 1 = h - 3. Let t be 3/((-3)/2)*(-7)/w. Solve 4*n + 3 = -t for n.
-1
Let j(p) = -p**2 + 8*p + 13. Let c be j(9). Let f(b) = 4*b - 16. Let o be f(c). Solve o = 6*k - 4*k - 8 for k.
4
Let a be (-1)/(-5) - (-186)/(-5). Let g = -34 - a. Solve 8 = i + g*i for i.
2
Let b(m) = 2*m**2 + 87*m + 256. Let q be b(-3). Solve -8*u + 5 = -q*u for u.
-1
Let a(v) be the third derivative of -v**6/120 + 7*v**5/30 - 7*v**4/12 + 5*v**3/2 - 19*v**2. Let n be a(13). Solve 5 - n = -r for r.
-3
Let n(k) = k**2 - 20*k + 102. Let j be n(11). Solve -9 = j*p - 0 for p.
-3
Let j = 0 + 9. Let m = 13 - j. Solve -4 = 6*w - m*w for w.
-2
Let q = 26 - 24. Let r be (21/14)/(q/4). Solve -4*z + r*z = 0 for z.
0
Suppose 3*b + b = 44. Suppose -q = -12*q + 154. Suppose -o + b = -5*y - 11, q = o - 3*y. Solve l = o*l for l.
0
Let k be (-195)/21 + 6/21. Let x = 9 + k. Suppose x = 4*m - 19 + 3, 2*m - 8 = 3*n. Solve 2*g = -n*g for g.
0
Let n be (1 + -1)*((22 - 9) + -12). Solve -k + 5*k - 12 = n for k.
3
Let a(l) = -l - 6. Let g be ((-16)/(-2))/(-1 + 0). Let v be a(g). Suppose -3*m - 3 = -3*c, v*c - 4*m + 2 = -0. Solve -c*k + 4 = -4*k for k.
-4
Let b(c) = 3*c - 2. Let w(n) = n**2 - 5*n + 2. Let u be w(5). Let x be b(u). Let a be (x/5)/((-6)/(-15)). Solve 7 = a*s + 17 for s.
-5
Let u = 480 + -477. Solve u*d = 2*d - 3 for d.
-3
Suppose 2 = 2*l - 20. Suppose -l*c = -4*c - 28. Solve c*i = 3*i for i.
0
Let t(l) = 3*l - 10. Let o be t(4). Let c(v) = 6*v - 4. Let r be c(o). Solve 4*p = r*p - 12 for p.
3
Let q(p) = -2*p**2 - 8*p + 11. Let a be q(-5). Solve 4*u = 5*u + a for u.
-1
Let i(t) = -t**2 - t - 1816. Let j be i(0). Let m be 4/14 - j/14. Suppose -5*g + 0*g + 127 = -2*r, 5*g - 5*r = m. Solve 8*u - g = 3*u for u.
5
Suppose 5*v = -4*m + 246 + 244, -5*m = -5*v + 535. Solve 42 - v = -15*l for l.
4
Suppose -18 = -2*m - 6. Let y be (0 - -1)/(2/m). Solve i = -y*i for i.
0
Suppose 14*x - 8*x = 6. Let t = -3 - -2. Let d = 1 - t. Solve -d*y + 1 = -x for y.
1
Let a(n) = n + 1. Suppose 2 = 5*d - 3. Let v be a(d). Solve -v*j + 10 = -0 for j.
5
Let l be (150/90 + 4/(-3))*27. Solve 18 = 3*i + l for i.
3
Suppose -b = 2*b - 12. Suppose 16*g - 7*g = -6*g. Suppose -y = 3*k + 13, g = b*y + 2*k + 2. Solve 4*i - y = -10 for i.
-2
Let x(c) be the second derivative of -c**3/3 - 2*c**2 - c. Let t(v) = 2*v - 23. Let m be t(10). Let o be x(m). Solve -o*l = -l for l.
0
Let h = -3 - -9. Suppose 2*i - h = 2. Suppose -g + i*g - 12 = 0. Solve w = g*w for w.
0
Let h be ((4 - 4) + 2)*5. Suppose c + 6*b + 6 = b, -b = -2*c + h. Suppose c*r = 4*l + 12, l = 2*l + 3. Solve r = g + 3 - 0 for g.
-3
Let g be -10*36/90 - (-1 + -15). Solve g - 8 = -2*b for b.
-2
Let p(h) = 23*h**2 - 7*h + 1. Let n be p(1). Solve -n*v = -15*v for v.
0
Suppose -2*t + 10 = 5*k - 4*k, 4*t = 12. Suppose -30*b - 12 = -17*b - 16*b. Let u be 0 + (-2)/(-2)*3. Solve -b = -u*y + k*y for y.
-4
Let p(u) = 38*u + 11. Let h be p(3). Let o = h - 111. Solve -2 = 3*z - o for z.
4
Let z = 201 + -30. Let x = 173 - z. Let j be (-66)/(-15) + (-2)/5. Solve -x = 2*a - j for a.
1
Let l(k) = 5*k - 14 - 5*k + k. Let t be l(15). Solve -4*y = t - 21 for y.
5
Suppose 5*a = 4*r + 24, -1 = 3*a - 2*r - 15. Let g be 5/10 - 38/a. Let o be ((-6)/g)/((-6)/(-18)). Solve -5 - 3 = o*c for c.
-4
Suppose 6*u - 37 = 11. Suppose o = -0 + u. Suppose -o = m - 5*m. Solve -3 - 3 = m*b for b.
-3
Let u = 10 - 13. Let l be 36/8 - u/(-6). Suppose -l*g + 3 = -9. Solve -q + 1 = g for q.
-2
Let u(v) = -v**2 - 8*v + 20. Let n be u(-10). Let b(x) = x + 12. Let w be (0 - 0)*(-2)/2. Let k be b(w). Solve n = -5*d + d - k for d.
-3
Suppose -y - y = f - 9, f = 3*y - 1. Suppose -8*x + 9*x = -5*b + 12, -5*b = -f*x - 30. Let s = 1 - 1. Solve s = b*m + 4 + 2 for m.
-2
Suppose -40 = -2*v - 4*d, v = 5*v + 4*d - 72. Let x = 20 - v. Suppose -2*g - 5*r - 5 = 0, x*g = -0*r - r + 17. Solve g*h + 4 = 6*h for h.
4
Let w be -2 - (-20 - 1)/3. Let q = -1036 + 1036. Solve 3*r + w + 1 = q for r.
-2
Let o(n) = -10*n + 148. Let m be o(12). Solve 0 = -6*b + m - 34 for b.
-1
Suppose -25 = -0*r - 5*r. Suppose r*x - 84 = x. Let l = x + -13. Solve 2*u + 2 = -l for u.
-5
Suppose -3*o = 8*o - 44. Solve -3 - 17 = o*f for f.
-5
Let m(x) = x - 5. Let z be m(6). Let r be (1/(-2 + 3) - 1)*z. Let d be 2/(-7) + (-16)/(-7). Solve r*a = -2*a - d for a.
-1
Suppose 40*q - 263 = 217. Solve -16*s - 12 = -q*s for s.
-3
Let y = -994 + 994. Solve c - 6 + 4 = y for c.
2
Suppose 2*m = m + 6. Suppose 6 + m = b. Let z = b + -9. Solve 0 = z*d - 11 - 4 for d.
5
Suppose 0 = 5*u - 3*w + 2, 4*w = -2*u - 2*u + 24. Suppose 3*f = -k + 15, u*k + 0*f = 5*f - 14. Solve 2*n + k*n = 15 for n.
3
Let i be (-1833)/(-26) + 6/(-4). Let n be 18/(-30) - i/(-15). Solve n*y + 9 = y for y.
-3
Let j(b) = 4*b + 3. Let a be j(1). Suppose 3*t = 17 - 2. Suppose 0*s - t*c = 3*s - 24, s + 4*c - 15 = 0. Solve 4*y = -a + s for y.
-1
Suppose -15*a + 12*a + 21 = 0. Solve 20 = a*n - 12*n for n.
-4
Suppose h = -2*h. Suppose h = 3*x - x. Let z(n) = 2*n + 32. Let o be z(-15). Solve o*l + 0*l - 2 = x for l.
1
Let b be 160/24 + 1/3. Suppose b + 5 = 6*h. Solve -h*g - 5 = -7*g for g.
1
Suppose 3*j = -3*j + 396. Let r = j - 63. Solve -2*b + r = -5 for b.
4
Let m(d) = -28*d**2 + 1. Let b be m(2). Let s be b/(-21) + (-4)/14. Suppose s*l - 2*l = 15. Solve 31 = l*q + 11 for q.
4
Let p(b) = -4*b + 16. Let z be p(3). Solve 0 = 2*v - z for v.
2
Let p(y) = y**3 + 8*y**2 + 9*y. Suppose -28 = 6*v + 8. Let z be p(v). Suppose 2 = 4*h - z. Solve -h*j + 8 + 7 = 0 for j.
3
Let k(v) = 2*v**2 + 2*v - 1. Let p be k(1). Suppose -p*d + 4 = -2. Solve d*l - l = 0 for l.
0
Suppose 0 = -4*h + 6*h - 3*b - 17, 3 = -3*h - 5*b. Let s = 26 - 16. Solve h*m - 10 = s for m.
5
Let a be (-3)/8*(-6 + -6 + 4). Suppose g - 25 = 2*g - 5*d, -4*g = 2*d - 10. Suppose 3*f - 6*f = g. Solve a*y + f = 3 for y.
1
Let m be ((-2)/(-3) - (-33)/(-9)) + 10. Suppose d = 9 - m. Solve -d*i + 5 = -5 for i.
5
Suppose 9*d - 6*d - 6 = 0. Suppose m = l - 5, -4*l - 2*m = -d - 12. Let s be 7 + l/(-2) + -3. Solve s = -b + 1 for b.
-1
Suppose -3*j - 4*i + 4 = -1, -5*j - 5 = 4*i. Let b = j - -9. Suppose b*q = t + 10 + 8, -26 = -4*q + 5*t. Solve 0 = q*l - 4 - 0 for l.
1
Suppose 2*r = -5*z + z, -3*z = -4*r. Solve -3*