
5
Let n(b) = -2*b - 8. Let x be n(-6). Suppose 0 + 8 = 4*y. Solve k = y*k - x for k.
4
Suppose 3*z - 6*z + 54 = 0. Suppose z + 40 = g. Suppose 0 = -2*d + 4*h + 26, 0 = 5*d - 4*h - g + 17. Solve -2*i + d*i = -9 for i.
-3
Let d be -34*1/(-2) - 3. Suppose -3*c + q + d = 0, c = -3*q + 2*q - 2. Solve -l = -c*l - 4 for l.
-2
Let w be (40/(-12))/(2/(-3)). Suppose y + 4 + 11 = 2*t, -w*t = 5*y. Let a = y - -8. Solve 5 = 2*u - a*u for u.
-5
Suppose 8 = 4*x + 2*p, x + 3*p + 2*p - 20 = 0. Let o(c) = -c**2 - 4*c + 3. Let r be o(-4). Solve q + x*q = -r for q.
-3
Suppose -5*k = -2*k. Suppose -u - r = 2*r - 10, -4*r = -2*u - 20. Let i be 1 + (u/2 - k). Solve i = -c - 1 + 3 for c.
2
Suppose -53 = -2*r + r - 3*w, 5*r + w = 251. Suppose q = -q + r. Let j = -5 - -9. Solve j*d + q = -d for d.
-5
Let p be (-120)/(-5)*(0 + 1). Let u = p + -19. Solve 10 = u*i - 5 for i.
3
Suppose 2*v + 18 = -5*i, 6 = -2*i - 3*v + v. Let k be (-24)/(-10)*(-10)/i. Solve 0 = -6*w + 3*w - k for w.
-2
Let r be -3 - -1 - (-8 + -1). Suppose -q + 2*q = r. Solve -q - 5 = -4*g for g.
3
Let q(z) = z**3 - 4*z**2. Let n be q(5). Let u be 385/n - (-4)/(-10). Solve -u = 3*f - 0*f for f.
-5
Let p be (-28)/(-12) - (-4)/6. Solve 0 = 3*b - 0*b - p for b.
1
Let z(x) = 2*x**2 - 2*x - 3. Let q(d) = -5*d**2 + 3*d + 6. Let a(k) = 3*q(k) + 7*z(k). Let w be a(-4). Let g = 0 + 2. Solve 1 = g*b - w for b.
1
Suppose -3*x = 5*m - 3, x - 2*x + 1 = -5*m. Suppose 3*y - 1 = 11. Solve m = y*d - 14 + 34 for d.
-5
Let u = -11 - -15. Suppose -u*a = -3*a - 3*s + 4, -2 = -a + s. Solve 4*b - 5*b = -a for b.
5
Suppose 5*b = -5, 39 = 3*g - 0*b - 3*b. Let w(l) = l**3 - 5*l**2 + 4*l + 2. Let o be w(4). Solve 5*q - o*q + g = 0 for q.
-4
Let w = -1 + -2. Let v be 90/27*w/(-2). Solve 0 = v*b + 23 - 8 for b.
-3
Suppose -4*h - 4*p - 2 = 2, 0 = -5*h - 4*p - 1. Let n(k) = -2*k - 11. Let j be n(-8). Suppose j*b - 12 = b. Solve b*t = -0*t - h for t.
-1
Let r be 0 + (-21 - -2)*1. Let q = 19 + r. Solve q = 2*c + 6 - 0 for c.
-3
Suppose -2 = -6*m + 16. Solve -m - 2 = j for j.
-5
Let s(u) be the first derivative of -u**2/2 + 4*u - 1. Let p be s(4). Suppose p*h = h. Solve -2*y + 6 = -h*y for y.
3
Let a(g) be the second derivative of -g**4/12 - 5*g**3/6 - 3*g**2/2 - 3*g. Let o be a(-2). Solve 0 = o*q - 4*q + 3 for q.
3
Let x be (-70)/7*(-2)/4. Suppose x*b = b. Solve b = 5*t + 13 + 12 for t.
-5
Let u be 741/143 + (-4)/22. Solve o + 12 = u*o for o.
3
Let f be (-4)/(-6) + (-98)/(-6). Let t = f + -10. Suppose 4*i - 12 - 12 = -2*b, -b = i - t. Solve -8 - 2 = i*y for y.
-2
Let j(n) = n + 14. Let h be j(-12). Solve 1 = -h*d + d for d.
-1
Let k(n) = -n**3 + 8*n**2 + 9*n + 11. Let c be k(9). Let y = 19 - c. Solve y = -4*o + 6*o for o.
4
Suppose 20 = -i + 3*i. Solve 2*d = 7*d + i for d.
-2
Let x(r) be the first derivative of -r**2/2 - 2*r + 2. Let p be x(-4). Suppose p*g = 4*g - 10. Solve 0*z - g*z + 15 = 0 for z.
3
Let i be 2/4*(7 - -3). Suppose j - 5 = 2*u - u, 26 = i*j - 4*u. Let o be j/8*(-1 + 13). Solve o = -5*p + 4 for p.
-1
Let i be (-150)/(-20) + 6/(-4). Solve i*r + 20 = r for r.
-4
Let q be (2 - 1)/((-1)/6). Let w = -5 - q. Suppose a - z + w = 2*a, -4*z = -a + 11. Solve -y = a*y for y.
0
Let f = -5 + 5. Suppose f = -5*m, -3*m - 2*m = -3*a + 12. Solve 0 = -a*l - l - 25 for l.
-5
Let a = 7 + -1. Suppose a*z - 14 = 4*z. Solve -5*v - 22 + z = 0 for v.
-3
Let k(d) = -d**2 + 7*d + 8. Let b be k(6). Suppose 2*a - 2 = -b. Let x = a + 10. Solve -y - x*y - 10 = 0 for y.
-2
Let u be (-3)/(-6) - 9/(-2). Let k be (u + 2)*(-4)/(-14). Let l = k - -1. Solve -4*p + l = -1 for p.
1
Suppose 13 = -2*w - 5*l, -7*l - 32 = -2*w - 3*l. Solve -w*h + 12 = -2*h for h.
3
Let t(w) = 2*w**2 - 3*w + 4. Let v be t(2). Solve 2*m = -v - 4 for m.
-5
Let a(b) = b**2 + b + 2. Let j be a(0). Solve -j*w - 4 = -12 for w.
4
Let b(l) = l**3 + 7*l**2 + 4*l - 8. Let c be b(-6). Let u = -11 + c. Let x = u - -7. Solve -3*r + 12 = -x for r.
4
Let n(v) = -v + 14. Let x be n(10). Solve s = -s - x for s.
-2
Suppose -4*a - 30 - 11 = -5*j, -4*j + a = -24. Suppose -j*f = -0*f. Suppose -y - 10 = b - 4*y, -14 = -3*b - 2*y. Solve b*o = -f*o - 10 for o.
-5
Suppose 3*f - 7 = w, 3*w - 3*f = -f + 7. Suppose -3*t + 2*t = -w. Solve 5 = 5*k - t for k.
2
Let x(h) = h**3 + 6*h**2 + h + 3. Let p be x(-5). Let k = p - 21. Solve -8 = k*f - 6*f for f.
2
Let n(z) = z**3 + 9*z**2 + 7*z - 7. Let u be n(-8). Let y be -1 - 1 - (-4)/u. Solve 0 = y*d - 4 for d.
2
Suppose -o - 2 = -2*f - 0*f, -2*f - 5*o - 10 = 0. Solve f*x + 5*x = 15 for x.
3
Let g(u) = u**2 - 6*u - 1. Let r be g(7). Solve 3*c + 0*c = r for c.
2
Let h = -10 + 18. Let j(m) = m**3 - 18*m**2 + 33*m - 16. Let b be j(16). Solve b*f - 2*f = -h for f.
4
Let j = 5 + -4. Let x be (-1)/5 + (-55)/(-25). Solve -x*f + 3 = -j for f.
2
Suppose 28 = 4*t - 0*t. Suppose 0 = -0*u - u + 3. Suppose -4*k + 2 = -3*g, -4*g + 2 = -5*k + 4. Solve u + t = -k*o for o.
-5
Let t = 2 + -4. Let q = t + 2. Let f = 2 + q. Solve 4*i + 2 = f*i for i.
-1
Let r = 26 - 16. Solve 0*p - 2*p = r for p.
-5
Let h(b) = b**2 - 2*b + 1. Let v be h(3). Let x(m) = -m - 2. Let y be x(-4). Suppose -o + 2*a + 1 + 1 = 0, o + 3*a = y. Solve -o*u = -3*u + v for u.
4
Let l be 14/(-4)*-1*2. Let u(j) = -j**3 + 2. Let y be u(0). Suppose -l*c = -y*c. Solve c = -0*b + 3*b for b.
0
Let p = -8 + 7. Let t = p + 10. Solve -3*z = -6*z + t for z.
3
Suppose 0 = -5*u + 3*s + s + 20, -5*u + 15 = -3*s. Suppose -3*q + 5 = -d - 10, q + d = 1. Suppose -q + 3 = -a. Solve a = y - u*y for y.
1
Suppose 5*s + 5*y - 15 = 0, 1 = -4*s - y + 10. Solve -4*c + s = 10 for c.
-2
Let h be (1 + -1)*(-1)/2. Solve 2*g - 6 = -h*g for g.
3
Let o be 1 + -3 + (0 - -1). Let i = -1 - o. Suppose 3*f + 6 = 5*j, i = 3*j + 2*f - f - 12. Solve 0 = -0*b - j*b for b.
0
Let k be ((-6)/8)/((-1)/4). Let j = k - 3. Solve j = 3*r - 2*r - 1 for r.
1
Let w = 8 + -10. Let u be -6*-1*(-1)/w. Solve -5*c + 6 = -u*c for c.
3
Let f = 37 + -32. Solve -f*c + 17 + 8 = 0 for c.
5
Let s(v) = -v**3 + 6*v**2 + 3*v - 12. Suppose -2*y + 13 = i, -2*y - 4*i - 6 + 22 = 0. Let d be s(y). Solve 2*g - d + 0 = 0 for g.
3
Suppose b = 3*u + 5*b - 42, 4*u - b = 37. Solve -u = -3*t - 2*t for t.
2
Suppose 14 = -3*v + 2*v. Let k = v - -17. Solve -w = -2 - k for w.
5
Suppose 5*s = s + 24. Solve s = -3*b + 15 for b.
3
Let i be (-5)/(-2)*(5 - 3). Suppose -i*r = -16 - 4. Solve 3*t = r + 2 for t.
2
Suppose 7*j - 65 - 5 = 0. Solve 5*q + j = -0*q for q.
-2
Let h(r) = -7*r**2 + r - 1. Let b be h(1). Let g = 10 + b. Solve g*f = f for f.
0
Let f(l) = l**3 + 7*l**2 + 5*l - 2. Let x be f(-6). Solve -2 = -p - x for p.
-2
Let t(l) = l**2 - 10*l + 9. Let f be t(9). Let s be f + 1 + -2 + 1. Let z(w) = -w + 3. Let q be z(0). Solve s = -y - q - 1 for y.
-4
Suppose 3*y = 15, 8*h - 4*y + 32 = 11*h. Solve 0 = h*j - 3*j - 1 for j.
1
Let u(n) = n + 8. Let w be u(-6). Solve -w*h - 5 - 1 = 0 for h.
-3
Suppose -1 = -s - 5. Let v be 2/(-6) + s/(-12). Solve v = -3*u - 0 + 3 for u.
1
Let b(c) = c**3 + 4*c**2 + c - 4. Let x be b(3). Let y = -26 + x. Suppose 24 + 9 = 3*z. Solve z = -5*p + y for p.
5
Suppose -4*d + 3 = -5. Solve -d*t = -t + 1 for t.
-1
Let f(i) = i**3 + 5*i**2 - i - 2. Let p be f(-5). Suppose -h - p + 4 = 0. Solve -j + h = -2 for j.
3
Suppose -2*w + 42 = i + i, -3*i + 55 = -5*w. Solve v + i = 5*v for v.
5
Let h = -4 + 5. Suppose -4 = -i + h. Solve 0 = i*b - b for b.
0
Let s = 3 - 6. Let n = s - -3. Solve j = -n*j for j.
0
Let p be -9 + (-12)/(-4) + -6. Let v be (p/(-10))/((-1)/(-5)). Solve 2*c - 16 = v*c for c.
-4
Suppose 0 = -5*n + 89 - 4. Let u = -11 + n. Solve -u*g + 2*g + 12 = 0 for g.
3
Suppose -7 = -4*l + 17. Let j = l - 2. Solve 29 - 9 = j*y for y.
5
Let l = -6 - -10. Let r be 0 + (l - 2 - -2). Let n = r + -4. Solve n = z + 3*z for z.
0
Let m be (-5)/(-3) - 4/(-12). Let g be m + 1 + -9 + 16. Solve g = q - 3*q for q.
-5
Let r(s) = -4*s + 4. Let b be r(6). Let f = -18 - b. Solve f*l = 5*l + 6 for l.
-2
Let n = 4 + 1. Suppose 3*w - w + 6 = 2*p, -23 = -3*p - 4*w. Suppose -n + 20 = -p*l, -l = 2*m - 3. Solve -m*y - y = -20 for y.
5
Let u = 96 + -68. Suppose 0*v - 2*v - 2*a + 16 = 0, -4*a = 3*v - u. Solve -v*x = -x for x.
0
Suppose -5*z - 2*c - 3*c = -25, -2*z = 3*c - 12. Suppose m = -2*m - k + 1, 19 = -z*m - 5*k. Solve m*d + 16 = 6*d for d.
4
Let i(n) = 4*n**2 + 5*n + 9. Let p(k) = 3*k**2 + 4*k +