Let k = 7 - -2. Let v be (-2)/(-4) + 18/4. Solve -t*a = -v*a - k for a.
-3
Let j be (3/15)/(-1) - (-2)/10. Solve d - 2*d - 2 = j for d.
-2
Suppose 3*k - t = -115, -5*t - 17 = -0*k + k. Let g = 52 + k. Solve 4*l + g = -l for l.
-3
Let b = -23 + 38. Let g be b/10 - (-74)/4. Let j = -14 + g. Solve 2*z + j = -0 for z.
-3
Suppose 5*o = -y + 3*y + 13, 0 = 4*o + 3*y + 8. Let p be o/(-2)*(3 + -3). Let w be 1/((-3)/(-18)) + -1. Solve p = -5*u - 25 + w for u.
-4
Let a be 2 - 4 - -2*2. Let b(x) = -2*x**2 - 2*x + 5. Let k(t) = -6*t**2 - 5*t + 14. Let n(z) = 11*b(z) - 4*k(z). Let m be n(3). Solve a*g + m - 1 = 0 for g.
-5
Suppose 3*g = d - g - 1, 4*d - 2*g - 4 = 0. Solve d - 5 = 4*m for m.
-1
Let h be -1 + 18/6 - 0/2. Solve 0*g - 10 = -h*g for g.
5
Let c(k) = -k**3 + 5*k**2 - 4*k + 1. Let r be c(3). Solve r*h - 4 = 3*h for h.
1
Suppose 5*u + 4*n - 7 = 0, 13 = 5*u + 2*n - n. Solve -u*d = d for d.
0
Let o(d) = -d**3 - 5*d**2 + 7*d + 6. Let y be o(-6). Let x(q) = -q**3 + 4*q**2 + 6*q - 2. Let p be x(5). Suppose -p*k - k + 16 = y. Solve -5*t + k*t = 0 for t.
0
Suppose -4*r - r + 25 = 0. Suppose p - 8 - 2 = 0. Solve -3*v = -r*v - p for v.
-5
Let h be 48/27 + (-2)/(-9). Solve 0 = -2*p + h - 6 for p.
-2
Let b be (2/(-3))/((-4)/30). Suppose -b*j + 1 = -q - 9, -36 = -4*q + j. Solve 0 = 2*d + 3*d - q for d.
2
Let w(u) = -3*u**3 - 6*u**2 - 6*u + 5. Let i(p) = 5*p**3 + 11*p**2 + 11*p - 9. Let s(q) = -4*i(q) - 7*w(q). Let l be s(3). Solve 0 = -l*y + 6 - 2 for y.
1
Suppose c + 9 = 4*f + f, -3*f - 33 = c. Let q = 43 + c. Solve -4*h = q + 1 for h.
-5
Let f(j) = -7*j**2 - 9*j + 19. Let b(v) = 6*v**2 + 9*v - 18. Let k(a) = -6*b(a) - 5*f(a). Let y be k(-10). Solve y*q - q + 6 = 0 for q.
-3
Let f(n) = -2 + n**3 + 5*n**2 + 0*n**3 - 2*n**2. Let v be f(-2). Suppose -2 - 2 = -v*p. Solve -p + 11 = -3*y for y.
-3
Let k be (-4)/(-6) + (-22)/(-3). Let h be (2/6)/((-7)/(-147)). Let l(c) = 2*c - 10. Let n be l(h). Solve -n*p - k = -0*p for p.
-2
Let z be 4 + -1 - 0/(-2). Suppose z*w = -0*w. Suppose w + 2 = f. Solve -15 = f*b + 3*b for b.
-3
Let a(g) = 2*g**2 + 18*g - 10. Let j be a(-10). Solve -6*i - j + 28 = 0 for i.
3
Suppose -y = 4*d - 9, -7*y = -2*y - 2*d - 1. Solve a + 6 = y for a.
-5
Let h(r) = r**2 + 2*r + 1. Let t be h(-3). Suppose 3*f = f - 8, 3*q - t*f = 28. Let z = -2 + q. Solve 0 = 5*w - 6*w + z for w.
2
Let z(g) = -g**3 + 4*g**2 + 5*g. Let k be z(5). Suppose 5*q = 3*c + 134, 0 = 6*c - 4*c - 5*q + 86. Let w be c/(-27) + (-2)/(-9). Solve k*o = -w*o for o.
0
Let q(x) = -x**2 - 6*x - 1. Let r(a) = -a**2 - 6*a - 3. Let y be r(-6). Let d = y + -2. Let l be q(d). Solve -1 = -g - l for g.
-3
Let v = -3 - -5. Solve -6*q + 12 = -v*q for q.
3
Let d = -22 - -52. Suppose n + 3*n - d = 2*u, 4*u = -4*n + 12. Let q = n - 5. Solve -q + 3 = -g for g.
-2
Let l be (-32)/(-8)*(1 - 0). Suppose 10 = -4*d + 6*d + 5*z, -5*z = -2*d - 10. Solve c + l*c + 15 = d for c.
-3
Let l = 18 + 23. Suppose 3*y - 25 = 122. Suppose 0 = 4*j + 3*m - l - 0, y = 5*j + 3*m. Solve 3*h = j*h + 20 for h.
-4
Let g be (-4)/3*(-5 - -2). Let w(u) = 2*u + 1. Let p be w(-1). Let z be (-2 + 3/(-3))/p. Solve z*r = g*r for r.
0
Suppose 3*r = 2*g - 34, -4*g + r = -2*g - 26. Solve 6 - g = -z for z.
5
Let w(l) = 4*l**2 - l. Let b be w(1). Let t = 2 - 0. Suppose 2*j = -5*a + 29, 4*j - 19 = t*j + 5*a. Solve -b*x + j = -0*x for x.
4
Let o = 32 - 22. Solve 0 = -l + 3*l - o for l.
5
Suppose -10*n = -5*n. Solve n = j - 0*j - 1 for j.
1
Suppose 4*s = 7 + 213. Suppose s = 4*g - 5. Let h be 1*(-2)/(-4)*8. Solve 1 + g = -h*x for x.
-4
Let b(g) be the second derivative of g**3/3 - g. Let c be b(2). Let l be 4/2 + 0 - -3. Solve q + c*q - l = 0 for q.
1
Suppose m + 12 = 3*p, m + 4*m = 5*p - 10. Suppose -4*c - 58 = -18. Let g = -5 - c. Solve 0 = -g*y - p for y.
-1
Let v = -2 - 3. Let k = 0 - v. Suppose 0*l - 4*l + 14 = 2*c, -k*l + 45 = -3*c. Solve 5*u = 3*u - l for u.
-3
Suppose 4*j + 14 = o, 2*o - 2*j = -3 + 13. Solve o*k - 12 = -k for k.
4
Let q be 3 - (-1)/(3 + -2). Let j(r) = -2*r + 0*r + 2 + r + 2*r. Let l be j(2). Solve l + q = -2*f for f.
-4
Suppose -2*f + 1 = -9. Solve -3*o - f = -11 for o.
2
Let b = -11 - -8. Let o be (-1)/5 + b/(-15). Solve 5*z - 4 - 1 = o for z.
1
Let y = 3 + 1. Let f(a) = a - 4. Let s be f(y). Suppose 0 = 5*l - s*l. Solve -5*w + 3*w + 8 = l for w.
4
Suppose 0 = 2*q + 1 - 7. Solve -x - 8 = q*x for x.
-2
Let l be (-30)/(-20)*4/3. Solve l*r = 5*r for r.
0
Let n(z) = -8*z + 36. Let f be n(4). Solve g + f = 5*g for g.
1
Let r be 3*74/27 + (-14)/63. Solve 4*q = -8 - r for q.
-4
Let y(n) = -n + 14. Let t be y(6). Suppose -4*x + 10 = -0*x - p, -4*x + 2*p = -t. Suppose x*l = l + 8. Solve 0 = -5*m + 9 - l for m.
1
Let u = -5 + 9. Let d(w) = 14*w + 1. Let q be d(1). Let a be (0 - 2) + q - -2. Solve -u*x + x = -a for x.
5
Let s(z) = -11*z - 2. Let d be s(-2). Suppose -2*y + 4*y = 4. Suppose 0 = -2*b + d - y. Solve -h - 2*h = b for h.
-3
Let f(y) = y - 4. Let d = 18 - 11. Let x be f(d). Suppose -x*n = -0*n. Solve -q + 2*q = n for q.
0
Suppose -4*g + 20 = 2*p, -g - 5*p + 26 = 3*g. Solve 0*j = -g*j - 12 for j.
-3
Suppose 4*l = -5*b + 315, -4*l + 0*l + b + 321 = 0. Suppose 4*u = 3*z - 60, z + u = -3*z + l. Suppose 0 = t + 4*t - z. Solve t*x - 4 = 12 for x.
4
Let u be -31 + 3 + 1/1. Let x be (-10)/4 + u/(-18). Let h(c) = -c - 1. Let b be h(x). Solve -3*n - 3 = -b for n.
-1
Let u(y) = -3*y**3 - 3*y**2 - y - 2. Let h be u(-2). Let i(s) = -s - 2. Let q be i(-7). Suppose q*c - 4 = 3*c. Solve 2*v + h = -c*v for v.
-3
Let q be 13/3 + (-12)/9. Solve 5*b = q*b for b.
0
Let l(d) = d**2 + 2*d + 2. Let t(n) = -n**3 - 11*n**2 + n + 9. Let z be t(-11). Let o be l(z). Let w be 23/2 + 1/o. Solve -q - w = -5*q for q.
3
Let q(s) be the second derivative of -s**5/20 + s**4/6 + s**3/2 - s. Let v be q(-2). Solve -a + v = a for a.
5
Suppose 4*f + 16 = 2*i, 5*f - 3*i + 9 = 2*f. Let h be f + 5 - 0/1. Solve 0 = -h*t + 2*t for t.
0
Suppose -r = r - a + 1, 4*r + 4*a - 4 = 0. Solve 5*t - 34 + 9 = r for t.
5
Let f(k) be the third derivative of k**5/60 - k**4/8 + k**3/6 + k**2. Let l be f(4). Solve b = l*b for b.
0
Let t(s) = -5*s - s + 2*s - 2. Let c be t(-5). Suppose d = c - 2. Solve 3*n + d = -n for n.
-4
Let m(c) = -c**2 - 8*c + 9. Let p be m(-9). Suppose -4*v + v + 9 = p. Let w be 0 + 1 + -2 - -5. Solve -w = -d - v for d.
1
Suppose 4*u - 18 = -6. Solve -2*d = u - 7 for d.
2
Let m = 46 - 42. Solve -m*g + 11 = 23 for g.
-3
Suppose 9*f - 13*f = -36. Solve 4*l - 10 = f*l for l.
-2
Let a be (-2)/10 + 8/40. Solve a = u + 2*u for u.
0
Suppose 2*m - 3*x = 0, 0 = 5*m + 2*x - 17 - 21. Let a be (-3 + 0)*(-4)/(-6). Let p = a + m. Solve -n = p*n + 25 for n.
-5
Let j(r) = -r**2 + 3*r. Let n be j(2). Solve 3 = n*w - 5*w for w.
-1
Let y(o) = -o**3 - 7*o**2 - 6*o + 5. Let k be y(-6). Suppose 4*g - 15 - k = 0. Suppose 13 = g*s - 4*s. Solve -4*t - 33 = -s for t.
-5
Let t be 6*(-2 + 0)/(-4). Let c = 30 - 26. Suppose -5*o - 2 = -2*x + 11, -4*o = -c*x + 20. Solve -t = -u - x for u.
-1
Suppose 0*w = 4*w + 36. Let j be 6/w - 14/(-3). Solve -j*f + 8*f - 8 = 0 for f.
2
Let z = -14 + 19. Suppose -2*v = -v + z*r, 2*v - 5*r = 0. Solve -m = -v*m for m.
0
Suppose 0*w - 2*w = -216. Suppose 2*g - 24 = -4*n, 0*g - 2*n - w = -5*g. Solve g = -4*f - f for f.
-4
Suppose 4*c - 3*z = -8*z + 2, 0 = 2*z - 4. Let p = c + 6. Let a be p + -1 - 0/5. Solve -a*w + 1 = -5 for w.
2
Let d(a) = a**2 + 14*a - 12. Let i be d(-15). Solve 5*b - i = 4*b for b.
3
Let s be (10/(-4))/((-2)/(-4)). Let y = -3 - s. Solve -g - y*g - 12 = 0 for g.
-4
Suppose 4*o - 43 = 5. Let x be (-5)/(-5) - (1 + 0). Let u be 2/(2 + x + -1). Solve -d = u*d - o for d.
4
Let b(d) be the second derivative of -d**3/6 - 2*d**2 + 4*d. Let x be b(-10). Solve -x = 2*r - 4*r for r.
3
Suppose -5*v - 2*h = -v - 14, 29 = 4*v - h. Solve 3*d = d + v for d.
3
Let f(d) = d**3 - 5*d**2 + 6*d - 5. Let n be f(4). Suppose -n*x - 12 = -x. Let y = 10 + x. Solve 6 = y*g + 18 for g.
-3
Suppose 5*r - 7 = -2*d, -6*r = 4*d - 2*r - 8. Solve d = 5*y + 11 for y.
-2
Let o(i) = i**3 - 3*i**2 - 4*i + 2. Let p be o(4). Let c(b) = 3*b + 1. Let l be c(-1). Let r = -2 - l. Solve 2*g = -r*g + p for g.
1
Suppose n + 0*n = -2. Let l be (-2 + 1)*10/n. Suppose a = l*w - 10, -2*w + 16 = 5*a - 15. Solve -a*j = -6*j for j.
0
Let n be 0 + (-2 - -2) + 1. Let p be (n + 6/(-2))*-