 n = 3*d - 1. Let t = 93 + -90. Solve -d*y - t = -6*y for y.
1
Let d be (-186)/(-30) - (-2)/(-10). Solve 0 = -3*k - 0*k - d for k.
-2
Suppose c - 3*n = -2*c + 6, 0 = 2*c + 5*n - 4. Solve 10 = 7*u - c*u for u.
2
Let n(o) = o**2 - 3*o - 17. Let f be n(7). Suppose -5*j + 9 = -f. Solve -4 + 12 = -j*q for q.
-2
Suppose 26 + 18 = -4*c. Let l be c/(-9) + (-8)/36. Suppose -3 - l = -4*i. Solve -j - 2 = -i for j.
-1
Let g be ((-2)/(-5))/(4/200). Suppose -5*b + g = 0, -a + b = 3*a - 4. Solve 0 = 5*n + 23 + a for n.
-5
Let a = -20 + 37. Let c be (-3)/12 - 42/(-8). Solve -3*j + c = a for j.
-4
Let o(j) = 2*j + 24. Let s be o(-11). Suppose 4*d - 2 = 2*g, -3*g + 14 = -1. Solve -s*c = -c + d for c.
-3
Suppose -2*q - x = -11, -7*x + 20 = 2*q - 3*x. Solve -12 = -q*d - 4 for d.
2
Let f be 1/(1*(-3)/(-15)). Let u be -1 + 2*(6 + -3). Solve 0 = -u*z - f for z.
-1
Suppose 5*i - k = -5*k + 65, 35 = 5*i - 2*k. Suppose -4*y + 11 = 4*x + 3, -4*y + 8 = x. Solve 5*j = y*j - i for j.
-3
Let g(y) = -2*y**3 - y - 5*y**2 - 7 + 3*y + 3*y**3. Let n be g(5). Suppose -1 = n*c - 10. Solve -o = c*o for o.
0
Let w(g) = -3*g + 7. Let p be w(-2). Let s(b) = b**2 - b - 2. Let k be s(3). Solve k*i + 3 + p = 0 for i.
-4
Let z = 5 - 4. Let k = z - -4. Solve -5 = -5*o + k for o.
2
Let j(n) be the second derivative of n**4/12 - 7*n**3/6 + 3*n**2/2 + 3*n. Let m be j(7). Suppose -k + 7 = m*b, -2*b + 7 = 3. Solve -11 = 2*p - k for p.
-5
Suppose 2*s + 2 - 6 = 0. Suppose 6*n - 3*n = 0. Suppose n = g + 1 - 4. Solve 0 = o - g - s for o.
5
Let i be 21 - 0/(-5 + 0). Solve 0 = -4*t - i + 1 for t.
-5
Suppose -p + 1 = -6. Suppose 5*a - 16 = -u, a - 5*u = -3*a + p. Suppose 0 = -3*v + 2*y + 5, 4*y = 2*v - 7*v + 23. Solve -v = a*t - 4*t for t.
3
Let f(t) = t**3 - 5*t**2 + 3*t + 4. Let q be f(4). Suppose -5*l + 6*r + 10 = r, 2*r = 3*l - 7. Solve -g + l = -q for g.
3
Let u be 18/14 - (-2)/(-7). Let s = u - 1. Solve -d + s + 4 = 0 for d.
4
Let f = 10 - 10. Solve f = -2*w + 4*w - 6 for w.
3
Let w(x) = 6*x**2 + 3*x + 2. Let q be w(-2). Let m be 64/q + 1/(-5). Suppose -4*l + p = -8, 5*l - 10 = m*p + p. Solve -5*z - l = -3*z for z.
-1
Let v(g) = 2*g - 2. Let x be v(2). Suppose -4*y - y = -4*r - 5, y = 4*r - 15. Solve 1 = x*w - y for w.
3
Suppose 0*w + 2*w = 12. Let x(y) = 4 + y**2 - w*y - 4 + 4. Let z be x(6). Solve -z = -d + 2*d for d.
-4
Let n(u) = -15*u - 17. Let g be n(-2). Solve -g*s + 15*s - 4 = 0 for s.
2
Suppose 3*f - 2 = 4. Let p be 4/f*(-15)/(-10). Solve -2*i = -i - p for i.
3
Let o be 3 + 0*3/9. Suppose -3*w - 1 = -3*t + 4*t, 2 = -w. Suppose 17 = t*p - 13. Solve -i - o = -p for i.
3
Suppose 7*y - 4 = 38. Let m be (-3)/(3*(-2)/4). Solve m*k + k = y for k.
2
Suppose 3*b - b - 6 = 0. Let m(i) = -i**2 + 2*i + 2. Let f be m(0). Solve -f*p + b*p + 3 = 0 for p.
-3
Let d = 89 + -79. Solve -3*t - d = -t for t.
-5
Let j(t) = t**2 + 4*t - 6. Let x be j(-5). Let b(f) = -31*f + 10*f + 11*f + 7*f. Let h be b(x). Solve 6 = h*g - 0 for g.
2
Suppose -10 = -5*r + 10. Let w = r - 7. Let k(v) = -v - 3. Let c be k(w). Solve 3*t + 2*t + 20 = c for t.
-4
Suppose 0 = 2*q - 6*q + 100. Solve -5*x - q = -0 for x.
-5
Let x = 0 + 2. Solve 5*w - x*w = -9 for w.
-3
Let s(r) = 5*r**3 - 1. Suppose 0 = -2*a + 7 + 7. Let l = a + -6. Let c be s(l). Solve 0*t = c*t for t.
0
Suppose 0*b = 2*b - 4*p, -2*p = b - 16. Let u be (-24)/(-9) - 2/3. Suppose k = -5*o + 120, -3*o + 2*o - u = -5*k. Solve 5*v = o - b for v.
3
Let v be (-2 - (0 + 1))*-1. Let q(r) = 2*r - 1. Let p be q(v). Solve p = -4*n + 1 for n.
-1
Let m(w) = w**3 + 9*w**2 + 15*w + 10. Let j be m(-7). Solve -10*z + j = -9*z for z.
3
Let b(w) = w**2 + 3*w - 4. Let x be b(-5). Let r be (16/3)/2*(-975)/(-260). Solve r = x*l - l for l.
2
Let x(t) = -8*t**3 + t**2 + t. Let v be x(-1). Let g = v - 6. Suppose 4*o + 139 = 203. Solve g*k - o = -2*k for k.
4
Let v(w) = w**3 + 5*w**2 + 6. Let h be v(-5). Let k(u) = -9 - 3*u + 0*u + 5*u. Let s be k(h). Solve 5*f = s*f - 8 for f.
-4
Let c be (-3)/(3/(-2)) - 7. Let d be c/(-2)*(1 + 1). Solve -8 = d*r - 3 for r.
-1
Let r(s) = -s**3 - 4*s**2 - 3*s + 2. Let l be r(-4). Let d = -9 + l. Suppose 2*i + 15 = d*i. Solve 37 = i*x + 12 for x.
5
Suppose 5*x = 12 + 3. Suppose -x*h - 20 = -8*h. Suppose n + 2*n - 15 = 0. Solve n*d = h*d + 1 for d.
1
Suppose 0 = u + 3*w - 15, 0*u + 3*u + 4*w = 25. Solve u*j + 0*j = -3 for j.
-1
Suppose 5*i - 125 = -40. Solve 5 = 3*l + i for l.
-4
Let o(q) = q**3 + 4*q**2 - 13*q - 2. Let j be o(-6). Let l be 3/(-9) - j/(-12). Solve l = b - 4*b for b.
0
Suppose 4*m - 7 = 5. Let k be 6 + (-1 - m) + 2. Solve k*d - 2*d + 6 = 0 for d.
-3
Let p be (16/10)/(2/35). Suppose 3*h - p = -h. Suppose 0 = w - 0*w - 5, -3*w + h = -4*o. Solve 7*z = o*z - 5 for z.
-1
Let o(q) = q**3 + 10*q**2 + 7*q - 13. Let g(a) = a**2 + 8*a + 3. Let z be g(-6). Let d be o(z). Solve d - 15 = 5*w for w.
-2
Suppose -8*t + 5*t = 0. Solve t*l = l + 3 for l.
-3
Let y(a) = a**2 - a - 4*a - 6 + 2*a. Let i = -5 + 11. Let w be y(i). Solve 4*k - k + w = 0 for k.
-4
Let k = 6 + 9. Let j = k - 9. Solve -4*o - j = -o for o.
-2
Let p(t) = -t**3 - 15*t**2 + 31*t - 36. Let o be p(-17). Solve -o = -9*j + 4*j for j.
3
Let y(w) = w**3 - 5*w**2 + w - 7. Let m be y(5). Let r be m + (-4 + 1 - -9). Solve v = r*v + 15 for v.
-5
Suppose -4*g + 30 = -2*x, 0*g + 4*x + 6 = -g. Solve j = 4*j + g for j.
-2
Suppose j + 2*g + 12 = 5*g, -4*g + 2 = j. Let u(q) = -2*q - 7. Let z be u(j). Solve 12 = z*r - 8 for r.
4
Let b = -69 - -77. Solve -5*s = -b*s - 3 for s.
-1
Let y(r) = -r - 5. Let z be y(-7). Let p(j) = j**3 + 9*j**2 - j - 2. Let h be p(-9). Suppose -3*b + h = 5*x, 4*x - 3 = 4*b - 23. Solve z*w = b + 2 for w.
3
Suppose -4*f + z = 17, -3*f = f + 4*z - 8. Let g(a) = -a**2 - 3*a + 4. Let k be g(f). Solve o + 15 = k*o for o.
5
Let t(d) = d**3 - 9*d**2 + d - 11. Let a be t(9). Suppose 4*m - 2 = 6. Let q = a + m. Solve q = -g - g for g.
0
Let t(h) = h**2 + 1. Let m be t(3). Let r = 75 - 70. Solve -m - r = -3*p for p.
5
Let m be ((-90)/27)/((-2)/12). Suppose -n + 5*n = m. Solve -n*h - 3 = 2 for h.
-1
Let q(j) = 5*j**2 - 11*j - 6. Let t(v) = 6*v**2 - 12*v - 6. Let g(r) = -7*q(r) + 6*t(r). Let y be g(-4). Suppose y*z - 7*z = -5. Solve 3*i + z = 4 for i.
1
Let j be 2/(-8) + 39/12. Suppose 0 = 7*k - j*k - 24. Solve -i = -k*i + 5 for i.
1
Suppose -3*s + 18 - 6 = 0, -3*s = -4*x. Solve 2*v - x = 3 for v.
3
Let d = 4 - -3. Solve -3*u = -d*u + 16 for u.
4
Suppose -2*t + 2 = -8, -9 = 3*g - 3*t. Suppose g*h - 12 = -2*h. Let y(x) = x**2. Let s be y(-2). Solve -s*r = -r + h for r.
-1
Suppose -3*y = 0, 5*k + 0*k = -5*y + 25. Suppose -k*z = -4*z. Solve z = -5*s - 1 - 14 for s.
-3
Suppose 2*p - 9 = 1. Solve -5*t + p = -0 for t.
1
Let v(y) = -y**2 - 8*y - 7. Let h be v(-7). Solve 0*r + r = h for r.
0
Suppose 8 = -0*t + 4*t. Let h = -96 + 96. Solve h = 2*q + t*q - 4 for q.
1
Let u be (8/5)/(2/5). Suppose 5 = u*b + b. Suppose -2*m + 6 = m, 3*g = -3*m + 12. Solve 7 = -g*n + b for n.
-3
Let l(q) = q - 4. Let m be l(4). Solve m*p + 5*p = 20 for p.
4
Let a = -6 + 0. Let k be (10/15)/(2/a). Let m = 3 + k. Solve -o + m + 0 = 0 for o.
1
Let g(t) = -4*t**2 + 3*t + 5. Let r(n) = 9*n**2 - 5*n - 11. Let m(i) = -5*g(i) - 2*r(i). Let f be m(4). Let b be 2*f/(-6)*-1. Solve -c = -b*c for c.
0
Suppose y - 4 = h - 2, -y = 3*h + 10. Let f be (-6)/(-2) - (0 - y). Suppose r - 12 = -2*z - r, f*z - 4*r = -6. Solve 5 = -z*s - 1 for s.
-2
Let b(j) = j**3 + 4*j**2 - 3*j - 5. Let y be b(-4). Suppose 0 = -3*x + 4*x - y. Solve -x = -5*m + 18 for m.
5
Let g be (-3 + 3 - -3) + 2. Suppose -g*l = -4*l - 4. Solve 5*n - l = n for n.
1
Let c = -8 + 11. Suppose -3*f + 19 = 5*o + 4, 15 = -f + 5*o. Solve f*r + c = 3*r for r.
1
Let y(n) = n**2 + 8*n + 9. Let d(w) = w**2 - 8*w + 9. Let z be d(6). Let m(g) = -g**3 - 4*g**2 + 2. Let t be m(z). Let a be y(t). Solve -a - 1 = 3*q for q.
-1
Let o(z) = -6*z + 2*z**2 + 2*z - z**2. Let b be o(5). Suppose 3*n - 13 - 11 = 0. Solve -b*t = -3*t - n for t.
4
Let n(m) be the first derivative of -m**4/4 + 13*m**3/3 + m**2/2 - 9*m + 2. Let v be n(13). Solve v*b + 0*b = 0 for b.
0
Let n(h) = h + 13. Let w be n(7). Solve -2*t + w = 2*t for t.
5
Let p be (28/49)/(6/63). Suppose 0 = -o - 4*z + 10 + 2, 3*o + 5*z = 22. Solve -m = -o*m + p for m.
2
Suppose 0 = 2*v + 17 - 7. Let d = v - -6. Let r be 4 + (-3 + d)/2. Solve r*n 