9 + n = 4*x for x.
4
Suppose -5*x = -2*a - 100, a + 80 = 5*x + 3*a. Let p = x - 25. Let f = -5 - p. Solve 0*q = -f*q + 8 for q.
4
Let f be 3/(3 - 0)*-4. Let x be 8*(-2 + (-10)/f). Solve -x*z - 2 = -2*z for z.
-1
Suppose -5*l + 16*l = -7*l. Solve -4*m + 4 = -l for m.
1
Let h = 18 - 32. Let m = 19 + h. Solve 0 = m*v - 2*v + 6 for v.
-2
Let r(u) = u**2 - 2*u + 7. Let k be r(-4). Let p = k + -27. Solve 3*l = -p + 13 for l.
3
Suppose 2*r + 2*h - 44 = -36, -3*h - 6 = 0. Solve r*l + 3 = 15 for l.
2
Let y = 5 + -9. Let i be 5/2 + 2/y. Suppose 4*r - 3*r - i = 0. Solve 2*a = -r*a + 20 for a.
5
Suppose -11*k = -5*k - 12. Solve -k*d + 2 = -4*d for d.
-1
Let r = -254 + 326. Solve r - 12 = -15*l for l.
-4
Let b be (9 + -10)/((-3)/9). Solve -2 = -b*k + 13 for k.
5
Let d = 1080 - 1062. Solve -7*a - d = -25 for a.
1
Suppose 2*a + 73 = 81. Solve 0 = -a*s + 12 - 20 for s.
-2
Let i(s) = -s**3 - s**2 + 4*s + 39. Let l be i(0). Let u = l - 37. Solve u*t - 1 = 5 for t.
3
Let t(h) = 41*h - 123. Let s be t(3). Solve -q = -5 - s for q.
5
Suppose g + n = -2*n + 3, 4*g - 63 = 5*n. Let s be (2*(-2)/g)/(3/(-9)). Solve -1 - s = -2*y for y.
1
Let i be 2/(-8) + 3 + (-3)/4. Suppose -i = -j - 0. Solve -s - j*s = -3 for s.
1
Let d = 39 + -22. Suppose 0 = -5*x + 242 + 208. Let w = x + -82. Solve -5*j + w = -d for j.
5
Suppose 4*m + 59 = -93. Let k = m + 38. Solve k = 4*t - 3*t for t.
0
Let f(n) = 2*n**2 + n + 1. Let p(j) = 5*j**2 + 14*j - 14. Let k(x) = -2*f(x) + p(x). Let c be k(-14). Solve 3*b = -0*b - c for b.
-4
Suppose -2*a - q + 6 = -5*q, 0 = 3*a + 4*q - 9. Suppose -m = 3*g - 2, -2*m - a = 3*g - 1. Solve g*t - 3*t + 4 = 0 for t.
4
Suppose -19*o + 38955 = 86*o. Solve o*s - 16 = 375*s for s.
-4
Let t(f) = -f + 2. Let w be t(0). Suppose -2*c + r + 3*r = -8, 17 = 3*c - r. Solve -w*j = j - c for j.
2
Let t be (-18)/4*2/3. Let o = 9 + t. Suppose -4*u - o = -7*u. Solve -17 + u = 3*q for q.
-5
Let v(l) be the second derivative of -l**4/12 - 2*l**3/3 + 5*l**2/2 - 4*l. Let d be v(-5). Let m be ((-1 - 0) + 0)*-2. Solve d = 2*n + m - 6 for n.
2
Suppose 9 + 3 = 3*l. Suppose 3*x + 25 = 5*d, 2*x - l = 3*d - 18. Solve d - 24 = -4*q for q.
4
Let q be (152/(-6))/((-300)/225). Solve -q + 31 = -4*n for n.
-3
Let u be (-1208)/(-72) + -2 - (-4)/18. Suppose 6 = 7*z - u. Solve -z*m + m + 2 = 0 for m.
1
Suppose -16*l = -83 - 29. Solve l*m = -19 - 16 for m.
-5
Let h(n) = 4*n**2 + n + 2. Suppose -3*t - 3*t - 6 = 0. Let x be h(t). Solve 0 = x*g - g for g.
0
Let f(n) be the third derivative of n**5/60 + n**4/24 - n**2. Let p be (0/(-6))/(-2*(0 - -1)). Let k be f(p). Solve 4*u - 6*u + 4 = k for u.
2
Suppose 5*g + 11 = -4. Let o be 5 + (g - -2) - (12 + -11). Solve -5*t + o*t + 10 = 0 for t.
5
Let z be ((-6)/(-30) - 1/5)/(-1). Suppose z*l - 2 = -2*l. Solve 2 = -q - l for q.
-3
Let z(v) = -151*v + 1102. Let l be z(5). Solve 0 = 2*g - l + 351 for g.
-2
Suppose -6*m + m + 22 = -3*a, -a + 11 = 2*m. Suppose 3*c + 5*p = -20, -5 + 1 = p. Solve -a = w - c for w.
-1
Let d(m) = m**3 - 4*m**2 - 5*m + 6. Let b be d(5). Suppose 0 = 2*g + 5*f - 2, 2*g - 2*f - 4 = -b*f. Solve 0 = 2*p + 4 - g for p.
1
Let h(p) = p**2 - 21*p - 15. Let r be h(22). Suppose -r*g - g = -96. Solve -2*y - y = g for y.
-4
Let c(n) = -n**3 + 4*n**2 + 8*n - 10. Let w be c(4). Suppose -4*l = 2*g + g - w, 0 = 3*l + 5*g - 22. Solve 0 = l*i - 5*i - 5 for i.
-5
Let v = -32 - -45. Suppose 0 = 6*s - 23 - v. Solve -2*d = d + s for d.
-2
Let f = 45 - 19. Let v = f + -25. Suppose 0 = -5*q - 12 + 57. Solve q = 5*t - v for t.
2
Let s be (4/(-9))/((64/36)/(-8)). Solve -s*y = -4*y - 2 for y.
-1
Let u(y) be the first derivative of -y**3/3 - 5*y**2 + 10*y + 4. Let d be u(-10). Suppose -d = -v - v. Solve 0 = -c + 1 - v for c.
-4
Suppose -28*p = -43*p. Solve -14*a + 16 - 2 = p for a.
1
Suppose 9*u + 4*v + 4 = 8*u, u - 2 = -v. Solve f = u*f for f.
0
Let c = 38 + -29. Let o = c + -5. Suppose -f + 10 = f. Solve 3*k + f = -o for k.
-3
Let x(s) = 26*s**2 + 1. Let n be x(1). Suppose k + n + 6 = 0. Let m = k - -47. Solve -11 = 5*v + m for v.
-5
Let m be 3*(46/(-6) - (-2 + 5)). Let q = -32 - m. Solve -4*a + 4 = -q*a for a.
1
Let p(s) = -s**2 - 8*s + 7. Let f be 294/(-36) - (-2)/12. Let b be p(f). Solve -20 = -b*t + 2*t for t.
4
Suppose 3*m + 2*o + 8 = 0, 8*m - 5*o - 20 = 3*m. Let w(s) = 18*s - 392. Let p be w(22). Solve m*r - p = 4*r for r.
-1
Suppose -2*g - u = -1, 4*u - 5 = -17. Suppose g*z - 6 = -0. Suppose z*c = 16 + 59. Solve q + 4*q = c for q.
5
Suppose -d = -i - 1, 5*i + 4 = -1. Solve d = -3*p - p for p.
0
Let z = -63 + 65. Solve 0 = -z*q - 2*q - 4 for q.
-1
Suppose -4*n - 2*g + g + 47 = 0, 0 = -5*n - g + 60. Suppose -3*k + 12 = -4*l - n, -3*k + 2*l + 17 = 0. Let a = k - 3. Solve -8 = -2*b - a for b.
4
Let n(r) = r**3 - 18*r**2 + r - 16. Let m be n(18). Solve m*a - 16 = -12 for a.
2
Let n(g) = 2*g**2 - 23*g - 6. Let z be n(12). Suppose 20 = z*q - 2*q. Solve w = q*w for w.
0
Let z = -300 - -308. Solve -15*t + z = -19*t for t.
-2
Let t(h) be the second derivative of h**4/2 + h**3/3 + 5*h**2/2 + 18*h. Let s be t(0). Solve 0 = -0*p + s*p for p.
0
Let j(h) = -h + 10. Let u = -19 + 25. Let v be j(u). Solve 0*t + v = 2*t for t.
2
Let n be (-8)/1 - (51 - 80). Solve 0 = 9*z + 15 + n for z.
-4
Let u(m) = -m**3 - 6*m**2 + 14*m - 12. Suppose 0*a = -5*q + 5*a - 50, -3*q = -2*a + 28. Let x be u(q). Solve -2 = 3*g - x*g for g.
2
Let s = 16 - 10. Suppose -z = -s*z + 320. Suppose z = -2*n + 6*n. Solve 3*d = -d - n for d.
-4
Let k be 22/55 - (-10)/(-25). Solve -11*g + 7*g + 20 = k for g.
5
Let i(j) = -2*j - 9. Suppose 8 + 6 = -2*p. Let l be i(p). Suppose -6 = l*k - 7*k. Solve k*g - 8 = -g for g.
2
Let f(x) = -17*x. Let h be f(1). Let b be 14/4*(-3400)/(-595). Let t = b + h. Solve -2*m = t*m - 10 for m.
2
Suppose 13 = 2*i - 3. Suppose -4*j + 2*x - 72 = 0, 2*j - 96 = 7*j - 4*x. Let z be j/(-3) + 5/(-15). Solve z*a + i = -7 for a.
-3
Suppose 3*l = 2*c + 23, l - 5*c + 6 = 18. Solve -10*o = -l*o for o.
0
Let m(o) = -15*o + 127. Let n be m(8). Solve n = -8*l - 1 for l.
-1
Let x(l) = -l**2 + 12*l - 25. Let w be x(3). Solve -w - 6 = 8*p for p.
-1
Let i(s) be the third derivative of s**6/120 - s**5/15 + s**4/24 + s**3 - 11*s**2. Let y be i(3). Let d = 0 - 0. Solve d*w - 2*w = y for w.
0
Let l(x) = -x**3 + 3*x**2 + 3*x + 1. Let k be l(-1). Suppose -u - 22 - 4 = -5*j, 2*u = -k. Solve -j*i = -i for i.
0
Let k be 10 - ((3 - -1) + (23 - 25)). Solve 0 = 2*z + k*z - 50 for z.
5
Let c(g) = g**2 - 11*g - 20. Let h be c(13). Solve -y + h = 5 for y.
1
Let l = -1 + 7. Let x be 1/2*(-22 + 34). Suppose l*p + x = 8*p. Solve -m - p*m = 8 for m.
-2
Let p = -156 - -181. Solve 0 = -19*h + p*h + 24 for h.
-4
Let k = 236 + -224. Let v = 4 - 2. Let y = v + 0. Solve 0 = 5*f + k - y for f.
-2
Let j(h) = -h**3 - 6*h**2 - 8*h - 5. Let r be j(-5). Suppose -r + 25 = 3*q, 4*o + 2*q = -54. Let s = -7 - o. Solve 0 = 7*w - 4*w + s for w.
-3
Suppose -31 = 4*q - 47. Let g be (-1)/(-1) + q + 0. Let d(x) = -x**2 - 5*x + 7. Let z be d(-5). Solve g = 3*y - z for y.
4
Let c(s) = -s**3 - s**2 + 9*s + 9. Let a be c(-3). Solve a = -6*x - 1 - 5 for x.
-1
Let f(t) = t**3 + 3 - 3 - 7*t + 5 - 6*t**2. Let p be f(7). Let g = 1600 - 1574. Solve -p*q - g = -1 for q.
-5
Let v(g) = 0*g + 4*g - 3 + 17 + 5. Let w be v(-4). Solve -3*j + 3 = -w for j.
2
Let j be -8*7/84 - 148/(-6). Solve 4*f = 10*f - j for f.
4
Let g be 497/(-11) + 6/33. Let h = -30 - g. Solve 3*s - 6*s - h = 0 for s.
-5
Let k = -454 - -454. Solve -11*f + k = -0 for f.
0
Let z(m) = -m**3 + 8*m**2 + m. Let i be z(4). Suppose 63*s - 66*s = -15. Suppose 7 = s*j - i. Solve 0 = 5*x + 5 - j for x.
2
Suppose 4*t - 3*t = -t. Let d be -1 - t - -2*(-3 + 4). Solve -4*l + d + 7 = 0 for l.
2
Let j = -536 + 544. Solve 4 = -6*p + j*p for p.
2
Let w(y) = -y**3 + 4*y**2 + 5*y - 2. Let k be w(4). Let f = 13 - k. Let x be 16/f*35/(-14). Solve x = -5*o - 2 for o.
-2
Suppose -3*n - 5*d = 9, 2*n + 3*d = 5*n + 33. Let j be (-49)/5 + 1/(-5). Let w = n - j. Solve -w*s + 0*s = 4 for s.
-2
Let d(z) = 3*z**3 + 2*z - 1. Let q be d(1). Let h(g) = 6*g**2 - g. Let c be h(1). Suppose -2*i = -3 - c. Solve -q*x - i = 12 for x.
-4
Suppose 3*q - 2*m + 95 = -4*m, -m + 141 = -5*q. Let o = q + 31. Solve 2*s + o*s = -20 for s.
-5
Let a(t) = -t**3 - 8*t**2 + 10*t + 11. Suppose -24 = f + 3*x, 3*f = -f + x - 31. Let w 