 Let j = f + -12. Solve j*x + 0 = 5 for x.
1
Suppose -2*g + 8*g = -84. Let m = g + 17. Suppose 3*p - 48 = -p. Solve m*o + p = 27 for o.
5
Suppose 3*t + 6*n = 3*n, 2*t = -4*n - 4. Solve t*y + 0*y - 4 = 0 for y.
2
Let j(q) = -q**3 - 4*q**2 - 3*q - 4. Let v be j(-3). Let i(k) = -2*k**3 - 6*k**2 - k - 4. Let b be i(v). Solve -4*t + 12 - b = 0 for t.
-5
Suppose 0*o - o - n + 19 = 0, -5*o + 3*n + 55 = 0. Suppose -o = -i - 3*i + 2*l, l = -3*i + 18. Suppose 9*t = 6*t. Solve t = -i*w + 2*w for w.
0
Suppose 11 = 5*k - 3*l, 0*l = k + l + 1. Suppose -8 = 5*b + 3*q, 2*b = 2*q + 3*q + 3. Let w be ((10*-1)/b)/2. Solve w*t - 4 - k = 0 for t.
1
Let a be (1 + 3)*(0 + -2). Let q = a + 14. Solve q*j - 3*j = 0 for j.
0
Suppose j + 5*l = 63, -l - 68 = -5*j + 143. Suppose 0 = 3*d + 4 - j. Suppose -20 = -5*c - w + 1, c - 2*w - d = 0. Solve q - 20 = c*q for q.
-5
Let r(m) = -m - 7. Let w be r(5). Let q = -23 - w. Let u = -5 - q. Solve z + 2*z + u = 0 for z.
-2
Let g be 40/15 + -4*2/(-24). Solve -g*h = 3 + 3 for h.
-2
Suppose -5*m - 8 + 28 = 0, -t = -m + 1. Let v be (1/(-2))/(t/(-6)). Let d = v - -1. Solve d*r + r = 6 for r.
2
Let v be (-42)/9 + (-6)/(-9). Let m = 0 - v. Solve 0 = m*i - 3 - 5 for i.
2
Let n be 4/(-6)*(-9)/2. Suppose 13*j = 16*j - 6. Solve -v + n*v = -j for v.
-1
Suppose 3*s = -s + 12, -5*s = -i - 14. Let o(d) = -d**3 - 3*d - 4. Let r be o(-3). Let h = r + -16. Solve -3*u - i = -h for u.
5
Suppose -5*z = -3*z. Let r be -1*(-2)/2*z. Solve 3*t - 9 = -r*t for t.
3
Suppose 2*d + c = -4, -4*c = -2*d - d + 16. Suppose 3*f + 12 = 7*f - 5*k, d = -2*f + k + 12. Solve x + f = -x for x.
-4
Let v(m) = -m**3 + 5*m**2 + m. Let i be v(5). Suppose -i*q + 2*q = 0. Solve q = -2*c - 0*c + 4 for c.
2
Let m(g) = g - 1. Let i be m(6). Suppose i*t + 10 = 0, -2*y + t - 3*t + 10 = 0. Let r(x) = -x**2 - 4*x + 1. Let k be r(-4). Solve -2*c - y = k for c.
-4
Let y(t) = t + 32. Let a be y(0). Suppose 4*r + 12 = a. Solve 10*n = r*n for n.
0
Let i = 25 + -22. Solve -i*x - 2*x = 0 for x.
0
Let j = 2 - -2. Let t(c) = c**2 - 4*c + 3. Let m be t(j). Solve 0*h = -h + m for h.
3
Let j(h) = -h**2 - 16*h + 11. Let n be j(-16). Solve 3*d + 1 = -n for d.
-4
Suppose b = 2*r - 2 - 0, -r = -4*b - 1. Suppose -3 = -2*l + r. Solve s = -l*s - 9 for s.
-3
Suppose -4*l = -2*l + 10, 23 = 4*d - 3*l. Solve -d*h + h + 4 = 0 for h.
4
Suppose -4*m + 2 + 6 = -2*g, 12 = 2*g + m. Suppose g*p - 5 = -i, -3 = 3*p + 4*i + 3. Let u = p + 2. Solve 0 = -5*h + u*h for h.
0
Suppose 11*j - 13*j = 0. Solve j = -b + 1 - 5 for b.
-4
Let d(s) = -s - 2. Let f be d(-2). Suppose f = -4*l - l + c + 14, -4*l + 16 = 4*c. Solve -l*w = -0 + 9 for w.
-3
Let n(h) = 2*h - 8. Let a be (-4*2 - -1)*-1. Let i be n(a). Let x be 98/i - 1/3. Solve -p - x = -5*p for p.
4
Let g = 10 + -4. Let q = g - -14. Solve 8*w = 3*w - q for w.
-4
Let c(j) be the first derivative of -j**2/2 + 10*j + 3. Let y be c(0). Suppose -6*q + q = -y. Solve -b = -q*b - 5 for b.
-5
Let u(a) = 6*a + a**2 + 0*a - 5 - 2*a**2. Let r be u(4). Suppose 5*m - 3*m - 3*w - 1 = 0, r*m - w - 5 = 0. Solve -5*x = -m*x - 12 for x.
4
Let d(t) = 4*t - 2*t - t. Let y(a) = -a**2 - 3*a + 1. Let z(b) = -3*d(b) - y(b). Let u be z(-1). Solve 3 = c - u for c.
3
Suppose 2*x = 3 - 1. Let z = x + 1. Let y = -2 - -20. Solve 4*v + y - z = 0 for v.
-4
Suppose 0 = -3*i - 0*i + 15. Suppose 3*v - i - 1 = 0. Solve 3*k - 4 = v for k.
2
Suppose -246 = -c + 357. Let s be 2/(-13) + c/117. Solve 19 = -s*l + 4 for l.
-3
Let b = -62 + 42. Let m be 10/b - (-3)/2. Solve x - 6 = -m for x.
5
Let z(f) = f + 5. Let m be z(-5). Suppose m = 6*w - w - 20. Suppose -4*q + 51 = -13. Solve w*u = 8*u - q for u.
4
Suppose -9*k = -44*k + 35. Suppose 0*d = 4*d - 4. Let b = d + 1. Solve 0 = -a - b - k for a.
-3
Suppose -2*n + 4 = 2. Suppose 0 = -4*y + n + 7. Suppose -6*a + y*a = -12. Solve 0 = -4*b + a*b - 2 for b.
-2
Let p = 8 + -8. Solve p*g + 2*g = 10 for g.
5
Suppose 4*y - 26 = -o, -5*o - 6 + 22 = y. Solve 0*v = 2*v + y for v.
-3
Suppose -2*u = -3*u - 3. Let d be 3*(-7 - u)/(-2). Solve -26 = -5*v - d for v.
4
Suppose -25 - 15 = -4*b. Let g = b - 7. Let o be (5/(-3))/(1/(-9)). Solve 3*x + o = g for x.
-4
Let u(l) = l + 1. Let p be u(4). Let r = -5 + 14. Suppose 4 = n + p*d - 4, -2*n + r = 3*d. Solve -5*o + n*o + 6 = 0 for o.
3
Suppose 0 = -4*p + 14 + 34. Suppose 2*a + 10 = 3*a. Let y = -4 + a. Solve -p = -2*u + y*u for u.
-3
Let a(x) = -x**3 - 11*x**2 + 12*x + 3. Let u be a(-12). Solve 0 = -u*l + l + 10 for l.
5
Let d(y) = y**2 - 10*y - 4. Let w be d(11). Solve -2*a + w*a = 15 for a.
3
Suppose 3*o = o - 328. Let j be o/12 - 2/(-3). Let p = j + 32. Solve -4*w = -p - 1 for w.
5
Let g be (0 - -1)/((-8)/(-16)). Solve g*c = -0*c + 2 for c.
1
Let o = -11 - -15. Solve -o = t - 2 for t.
-2
Suppose 3*s - 10 = 5*a - 2*s, 0 = -2*a - 5*s + 24. Let j(y) = -y**3 - 6*y**2 - 2. Let v be j(-6). Let f be (-9 + (-2 - -3))*v. Solve a*d = 6*d - f for d.
4
Let i(b) = -3*b. Let h be i(-1). Suppose -30 = -h*f - 0*f. Suppose -2*s = -4*s + f. Solve -25 = -4*d - s for d.
5
Let i be (-30)/(-6) + 2 + -1. Let k = -6 + i. Solve k = -q + 4*q - 3 for q.
1
Suppose 5*f + 9*b - 4*b = 35, -4*f = -3*b. Solve -f*o - 16 = o for o.
-4
Let i = -8 + 11. Let p(u) = -u**2 + 6*u - 2. Let l be p(6). Let t = i - l. Solve 0 = -4*w + t - 13 for w.
-2
Let k(d) = -d + 23. Let h be k(13). Solve 0*w - h = 2*w for w.
-5
Suppose -h - 2 = -6. Let z be ((-1)/2)/((-2)/h). Solve -2*q + z = -q for q.
1
Let t(v) = -v**3 - v**2 + 4*v + 2. Let z be t(-4). Suppose z = 3*l - 11. Let q be ((-2)/3)/(-2)*l. Solve 2*f = -q + 1 for f.
-2
Let n(k) = -k**3 - 12*k**2 + k. Let a be n(-12). Let g = a + 15. Solve g*b - 8 = b for b.
4
Suppose -5*v - 2 = 38. Let w = 14 + v. Solve -w*m - 20 = -m for m.
-4
Let z be 3/12 - (-220)/16. Suppose -5*v + z = -g, 5*v = -2*g + 6*g + 11. Solve 3*x - 12 - v = 0 for x.
5
Suppose s + 2*g = -8 + 34, -55 = -2*s - 5*g. Solve 0*v - 4*v = s for v.
-5
Suppose 0 = 4*k - h + 5, -3*h + 2 = -13. Solve k = l + 2*l + 3 for l.
-1
Let a be 1*4 - (-26 + 20). Let o be 5/((1 - 2)*-1). Suppose -d + o = -0*d. Solve 0*z + a = -d*z for z.
-2
Let j = -1 - -5. Let s be j + 0/((-2)/(-2)). Solve -2*z + 0 = s for z.
-2
Let q be (-3)/((-3)/10) + -3. Let f(x) = x**3 - 8*x**2 + 7*x + 3. Let r be f(q). Solve 4 = r*p - 2 for p.
2
Suppose -5*d + 3*o = -10, 6*d - 3*d - 25 = -2*o. Solve 5 = -0*j + d*j for j.
1
Let b be -4 - 3/(9/6). Let o = b + 8. Solve -2*q = -o - 8 for q.
5
Let h = 4 + 0. Suppose k + k + t = 1, -3*k + 4*t = h. Let a be (-2 - -2)/(-2 + 0). Solve k = -a*l - l for l.
0
Suppose -4*f - 6*f = 0. Solve f = -3*m + 8*m - 20 for m.
4
Let r(h) = h + 9. Let j be r(-7). Solve 0 = -j*f - 10 for f.
-5
Let r = -4 - -6. Let m be 0 + (-1)/(r/(-4)). Let x = -7 - -9. Solve -m*l = -l + x for l.
-2
Suppose 2*y = -7*y + 36. Solve -y = -m - 5 for m.
-1
Suppose a + 10 = 3*a. Suppose a*s - 12 = s. Suppose -3*j = 15, -5*r + 0*j = 5*j. Solve 0 = s*m - r - 4 for m.
3
Let w = 23 + -19. Solve 3*v + 2 = w*v for v.
2
Suppose 2*p + 1 = d - 0, 3*p = 5*d - 19. Solve 13 = -d*g + 3 for g.
-2
Let m be -1*(-3)/(-1) - -4. Suppose 0 = 3*n - 13 + m. Suppose -22 = -n*l - 6. Solve -4 = l*x - 24 for x.
5
Let b(u) = u**3 - 2*u**2 - 2*u - 4. Let o be b(3). Let a be o + 2 + 0 + -1. Let j(w) = 3*w + 1. Let c be j(1). Solve a*y - c = -y for y.
4
Let a = -5 + 9. Suppose -4*x + 28 = -a*y, 2*x + 5*y - 1 = -8. Solve 1 = x*d + 21 for d.
-5
Let t be (-21)/(-5) + (-2)/10. Let m(z) = 2*z - 3. Let l be m(t). Suppose -4 = l*p - 14, 2*i = -p + 12. Solve -4*x = x - i for x.
1
Let o(s) = -3*s + 1. Let a be (-4)/6 - (-16)/(-12). Let z be o(a). Solve -z = 5*j + 3 for j.
-2
Let q = -69 - -72. Let t(n) = n**2 + 4*n - 1. Let d be t(-5). Suppose 0 = 2*x + 3*w - 9, x + d = 4*w + q. Solve -6 = -0*h + x*h for h.
-2
Suppose -3*y - 2*y + 25 = 0. Suppose y*u - 14 = 6. Solve 3*s - u + 13 = 0 for s.
-3
Let v(g) = -3*g - 1 - g**2 + g - 5*g**3 + 0*g. Let o be v(-1). Let z(f) = f**3 + 6*f**2 - 7*f + 4. Let w be z(-7). Solve o*l + w + 21 = 0 for l.
-5
Let p(m) = m**3 + 6*m**2 + m + 6. Let a be p(-6). Let y = -2 + 4. Solve y = f - a*f for f.
2
Let m be -1*(-3)/(9/(-75)). Let g = 45 + m. Solve 3*c + 2*c - g = 0 for c.
4
Let m be (0 - -8)*3/12. Solve 0*j = m*j - 6 for j.
3
Suppose 3*w + 12 = 3*n, 2*w - 17 = -4*n + n. Solve w + 1 = -m for m.
-2
Let q = 8 + -7. 