 -2*n + z*n + q for n.
-1
Let l(s) = -s - 2. Let p be l(-7). Suppose -f + 19 = 3*y, 5*y = -0*f + 4*f + 9. Suppose y*a + 5*o - 7 = 28, -p*a + 26 = 2*o. Solve 0 = 4*m + a - 8 for m.
1
Let a(n) = -2*n - 4. Let c be a(-8). Let o be 15*(28/c + -2). Solve -2*y = -o*y + 15 for y.
5
Let u = 12 - 7. Suppose 1 - u = -2*g. Let m be 0/2 + -2 + g. Solve -2 + m = -l for l.
2
Let j be (-19 - -19)/(2/2). Solve -5*c - 2 - 3 = j for c.
-1
Suppose 0*o = 2*o. Suppose -3*u = u - k - 16, o = -k. Solve 6*a + u = 2*a for a.
-1
Suppose 0 = 4*p - 6*p - 8. Let u = -2 - p. Let o = 56 - 46. Solve -u = 4*l - o for l.
2
Let v be ((-10)/2)/((-6 - -4)/8). Let f(t) = -4*t**2 - 4*t - 2. Let u be f(-2). Let m be (12/v)/((-2)/u). Solve -m*q = -0*q for q.
0
Let x(h) = 2*h - 13. Let d be x(0). Let c = d - -26. Solve -2 - c = 5*w for w.
-3
Let y be 9/2 + (-2)/4. Let c(d) = -d**2 - 4*d + 6. Let b be c(-5). Solve s = -y + b for s.
-3
Suppose -b = -h - h - 8, -2*h + 28 = 5*b. Solve -p = -2 + b for p.
-4
Let p be 0 + 3 + 3*6. Let u be 28/8*12/p. Solve n = -u + 5 for n.
3
Let c = 5 - 3. Let h = 2 - 0. Suppose 0*o - b + 34 = 5*o, 3*o + h*b = 26. Solve 0 = d + c*d - o for d.
2
Suppose s = d, 0*s + 3 = -d + 4*s. Let w(i) = -i**2 + 13*i + 18. Let z be w(14). Solve -z*j + 3*j = -d for j.
1
Let o(w) = -w**3 + 7*w**2 - 6*w - 5. Let l be o(5). Suppose 6*h - 15 = 3*h. Suppose 5*d - l = -h. Solve -5*k + 3*k = -d for k.
1
Let m(y) = y**3 + 6*y**2 - y + 2. Let c be m(-6). Let z = -89 + 89. Solve 3*i - c*i + 10 = z for i.
2
Let j(a) = -a + 7. Let m be j(3). Let d be -3*(-2 - (-16)/3). Let h be (36/d)/(12/(-40)). Solve -x - h = -m*x for x.
4
Let u be ((-3)/9)/(2/6) + 3. Let o be 3*(1 - 0/(-2)). Let f be (-122)/(-6) + 1/(-3). Solve u*m = -o*m - f for m.
-4
Suppose -4*x - 15 = -t, 0 = -0*x - 2*x - 4*t - 12. Let f be (x/2 - -1)*0. Solve -l + f = -4 for l.
4
Let r be ((-18)/2)/(0 + 1). Let y be (r/(-3))/((-6)/(-4)). Let v = 0 + y. Solve v = w + 3 for w.
-1
Let a = -23 - -25. Solve a*x - 6*x = 8 for x.
-2
Let s = 7 - 4. Suppose -4*g = o - 5*o + 8, -s*g + 4*o - 11 = 0. Solve -g*l - l = 0 for l.
0
Let t be 51/12 - 3/(-4). Solve -t = 2*v + 3*v for v.
-1
Let a(f) = 2*f - 7. Let h be a(6). Let x(c) = c**3 - 13*c**2 + 13*c - 1. Let u be x(12). Solve 4*n + u = -h for n.
-4
Let s be 9/(-6) + (-27)/(-6). Let v be (0 - -2) + (2 - 2). Suppose 20 = 3*k + v*k. Solve -k*m - s = 5 for m.
-2
Suppose 7*j + 21 = 70. Solve 0 = j*v - 4*v - 6 for v.
2
Let q(a) = 2*a**2 + 1. Let n be q(1). Let c = n - 3. Let x(j) = j + 2. Let f be x(c). Solve t = -f*t for t.
0
Suppose 2*a - 15 = 9. Solve 3*h = -h + a for h.
3
Let i = -7 - -4. Let l be (-88)/i + 6/9. Suppose 6*m - l = m. Solve 4*k = m*k - 8 for k.
4
Let i be (-391)/(-5) - (-56)/70. Suppose 2*f - 3*l - 26 = l, l - i = -4*f. Solve -4*x + 3 = f for x.
-4
Let s be 150/9 + (-6)/9. Let w = -10 + s. Let p(n) = -n**2 + 3*n + 4. Let z be p(3). Solve 2*i - w = z*i for i.
-3
Let w = 0 + -2. Let y be (-1)/w*(-8 + 0). Let r be (3/2)/((-3)/y). Solve 3*g + 5 = r*g for g.
-5
Suppose -3*o + 16 = 4. Solve 3*d = o*d for d.
0
Let d(j) = -j**2 + 2*j + 2. Let b(m) = m + 13. Let n be b(-10). Let q be d(n). Let y be -1 - (q + 1 + -1). Solve 3*l = 3 - y for l.
1
Let c be 2 - (-3 + 2 + 1). Suppose -2*s + 25 = -7*s, -c*g + 5*s + 37 = 0. Solve -g = h - 4*h for h.
2
Let y be 0/(-1*(-4)/(-2)). Suppose 4*b = 2*w - y + 12, -b + 3 = 5*w. Solve 4 = b*o - 2 for o.
2
Suppose -2*k = -k - 4*f + 14, -k - 3*f + 21 = 0. Solve 5*x = -4 - k for x.
-2
Suppose 3*z - z - 6 = 0. Solve 0 = z*b - 2 + 11 for b.
-3
Let o(p) = 3*p**3 + 3*p**2 - 4*p - 2. Let i(t) = -4*t**3 - 3*t**2 + 5*t + 2. Let q(n) = -5*i(n) - 6*o(n). Let g be q(2). Solve 1 = -g*d - 15 for d.
-4
Suppose 4*y - 4 = -0*y. Let n = 11 - y. Let w = 26 - n. Solve 2*d = -2*d - w for d.
-4
Suppose 3*m - 22 = -7. Suppose 3 = 4*s - m. Solve s*x - 15 = 7*x for x.
-3
Let y = 4 - 28. Let z be (-10)/4*y/15. Solve 0*q + z*q = 0 for q.
0
Let k = -14 - -21. Suppose -k = -r - 5. Solve -r*v + 7*v - 20 = 0 for v.
4
Let m = -10 + 24. Let a = m - 8. Solve 2*k - 2 = -a for k.
-2
Let x be (3 - 30/9)*(-24)/2. Solve -x*q + 0*q = 12 for q.
-3
Let w = 14 + -11. Let s be (w - -1)*(-1)/(-2). Let c be (-1 - 0)*-2 + s. Solve a + c = 1 for a.
-3
Let w(k) = -5*k. Let u be w(2). Let c = 10 + u. Suppose -s = -c - 5. Solve -s*v = -v for v.
0
Suppose -31*z + 140 = -11*z. Solve 0 = -4*b + z - 3 for b.
1
Let q be 2/7 + 48/28. Let s = 4 - q. Solve -2*j + s = -j for j.
2
Let o be (-2)/(-6) - 44/(-12). Suppose 3*d - 6 = s, 4*d = -4*s - d + 44. Let k = s + -4. Solve -2 - o = -k*l for l.
3
Suppose -5*o = -0*a - 2*a - 30, 4*a + 12 = 2*o. Let t = -3 + o. Solve 25 = -8*v + t*v for v.
-5
Suppose -3*t - 2*u = -0*u - 13, 2*t = -3*u + 7. Let w = 7 - t. Solve -w = 2*b - 10 for b.
4
Suppose 3*t + 72 = 5*i, t - 3 = -7. Suppose 2*p = -0*p + i. Solve v = p*v for v.
0
Suppose 15*o = 19*o - 12. Solve -p - o*p + 20 = 0 for p.
5
Let r(x) = -3*x**3 + x**2 + x + 1. Let p be r(-1). Suppose -n - n = -p. Solve n*m + 3 = m for m.
-3
Let x(m) = -m + 10. Let b be x(6). Solve 2*r + 0 = b for r.
2
Let g(p) = -2*p + 4. Let c be g(5). Let u be (-13 - -1)*c/18. Let s(t) = -t**3 + 6*t**2 + 9*t + 2. Let q be s(7). Solve q = -u*h - 4 for h.
-5
Let d(r) = r**3 - 3*r + 2. Let o be d(2). Suppose -5*f + o*j = -11, 5*f - f + j = 13. Solve -f*q + 16 = q for q.
4
Let q = 5 - 14. Let v = q + 5. Let l(b) = b**2 + 4*b + 2. Let r be l(v). Solve -1 = -y - r for y.
-1
Let z be ((4 + -4)/(1 + -2))/(-1). Solve c = -z*c + 1 for c.
1
Suppose -5*n = 10, -6 = -2*i - 3*i - 2*n. Solve 1 + 3 = -i*o for o.
-2
Let v be (-3)/2 - -1 - 68/(-8). Solve 2*s = 6*s - v for s.
2
Let s = 2 + -2. Suppose 3*v + 3 - 15 = 3*m, -3*v - 6 = s. Let y be (-45)/6*4/m. Solve 4*h + y = -h for h.
-1
Let q(u) = 18*u + 77*u + 25*u. Let x(p) = 7*p. Let d(t) = -6*q(t) + 105*x(t). Let l be d(1). Solve 0 = 3*y - 8*y - l for y.
-3
Let t(f) = f**2 + 11*f - 26. Let p be t(-13). Solve 3*s + 0*s + 6 = p for s.
-2
Let b(s) = 2*s**2 - s. Let u be b(1). Solve -u = r + 3 for r.
-4
Let r(q) = -q + 9. Let n be r(7). Suppose -26 = -n*m - m - 2*p, m + p - 10 = 0. Suppose g + o - 2 = 0, 4*o - m = 5*g + 2. Solve 0 = u + 2 - g for u.
-2
Let q = -6 + 6. Solve 2*u = -q*u - 4 for u.
-2
Suppose -3*j = -4*n + 60, 4*n - 3*n - 26 = -2*j. Suppose 0*c - 3*c = -n. Solve 3*p - 9 = c*p for p.
-3
Suppose 4*v - 15 = -v - 5*y, -2*v - 9 = -3*y. Solve 5*x + v*x = 0 for x.
0
Suppose 12 = 6*a - 18. Solve -2*k + a = 13 for k.
-4
Suppose -o - 3*o = -16. Suppose -8 + 31 = -5*k - 2*q, -o*q - 1 = k. Let a(b) = b**2 + 3*b - 7. Let d be a(k). Solve 0*n - 3*n = -d for n.
1
Let i(c) = 2*c - 1. Let d be i(1). Let n be 14/(-6) - 1/(-3). Let l be n/(-3)*-3*-2. Solve d + 7 = l*k for k.
2
Let o = -6 + 8. Suppose 0 = c - o. Solve -c*q - 16 = 2*q for q.
-4
Let h = -35 + 37. Let f(j) = -3*j - 3. Suppose -2*k = k + 9. Let i be f(k). Solve -i - h = 4*v for v.
-2
Suppose -4*v + 2*v = 3*k + 5, 5*k + 15 = -2*v. Let x(u) = -u - 3. Let h be x(k). Suppose 8 = -5*y + 2*d, 0 = 2*y + d - 6 + 2. Solve -t - 4 + h = y for t.
-2
Let l(r) be the second derivative of -r**3/6 - 9*r**2/2 + 2*r. Let n be l(-8). Let o = 4 + n. Solve 2*p = -o*p for p.
0
Let n(p) = -15*p - 71. Let d be n(-5). Let y(i) be the first derivative of -i**3/3 - 3*i**2/2 + 4*i - 1. Let o be y(-3). Solve d - 20 = -o*m for m.
4
Let c(w) = w + 11. Let g be c(-11). Suppose -4*l + 6 - 2 = g. Solve -k = l + 1 for k.
-2
Suppose -3*q + 10 = -4*j + 38, -24 = -5*j + q. Suppose -j*g - 24 = -0*g. Let o be -3*g/(-45)*-10. Solve -10 = o*m + m for m.
-2
Suppose -2*i + 4*k + 4 = 0, -4*i + 0*k + k = -8. Suppose 3*w = i*w. Solve w = j - 0 - 5 for j.
5
Suppose -3*m + 12 + 3 = 0. Suppose 0 = -q - 1 + m. Solve 3*h - 2 = q*h for h.
-2
Let t(l) be the first derivative of -5*l**4/2 - l**3/3 + l - 1. Let x be t(-1). Suppose -2*a = k, -x = -2*a + 3*a + 3*k. Solve f + a = -f for f.
-1
Let m be (-4)/(-12) - 84/(-18). Solve 0*k = m*k for k.
0
Suppose -3*a + 14 = 4*g, -g = 5*a - 7 - 5. Solve 6 - 2 = a*m for m.
2
Let g = -103 - -104. Solve 0 = -3*x + g - 10 for x.
-3
Let x = 5 + -17. Suppose 157 - 3 = 7*p. Let y = p + x. Solve -y + 0 = 5*t for t.
-2
Suppose -5*b - 5*y = 9 - 39, 4*y - 10 = 3*b. Solve 0 = -b*o - o for o.
0
Suppose 0 = 3*z + 3*k - 2*k - 9, -5*k = 4*z - 12. Suppose -z*i + 16 = i. Suppose -5*w - 5*j =