 -2*m + 3*w = -39. Solve -m = -0*q - 3*q for q.
5
Let b = -160 + 163. Solve 0 = 2*d + b*d + 20 for d.
-4
Let f(g) = -g**2 - 7*g - 4. Let h be f(-6). Let l = 0 + 2. Suppose 0*a + 24 = l*a. Solve -z + a = h*z for z.
4
Suppose 0 = 4*a - a - 15, 5*b + 5 = 2*a. Solve 0 = o + b + 3 for o.
-4
Suppose 3*c - 3 = -0. Let h = -4 + 5. Solve l = -c - h for l.
-2
Suppose -t + 2*j + 18 = -j, 4*j = -20. Solve 0*s - t = -3*s for s.
1
Let b(k) = k**3 - 6*k**2 - 6*k - 6. Let t be b(7). Let j(z) = 12*z**3 - z + 1. Let s be j(t). Solve -s = -4*f + f for f.
4
Suppose 3*l - 4*l + 16 = 0. Suppose -17 = -p - 0*p. Let k = p + -12. Solve 0 = k*m + 9 + l for m.
-5
Suppose 4 = -j - 5*q, 5*j - 3 = -2*q - 0*q. Let c = -3 + j. Let k be (2 + 0 - 2)/c. Solve k = -4*l + l + 3 for l.
1
Suppose -2*m + 12 = m + 3*g, 2*g - 3 = 3*m. Solve -r + m = -3 for r.
4
Suppose 0 = 5*k - 26 - 49. Suppose -3*m = 7*b - 3*b - 12, 5*b + m - k = 0. Solve -b*l = -0*l for l.
0
Suppose 0 = -2*x - 2*u - 14, -4*x - 27 = -2*u + 5*u. Let h(y) = 2*y + 3. Let s be h(x). Let p be 1/((-3)/s - 0). Solve p = 5*d + 23 for d.
-4
Suppose -11*k = -16 - 6. Let c(g) = -3*g + 3. Let l be c(2). Let i be l + 10 + -3 - k. Solve 0 = -i*n - n - 3 for n.
-1
Let a(n) = 2*n + 6. Let c be a(0). Solve c = f + 1 for f.
5
Let f(d) = d - 3. Let i be f(8). Let x = 1 - 6. Let b = i + x. Solve r - 2 = -b*r for r.
2
Let x(d) = d**3 + 4*d**2 + 2*d - 3. Suppose 0 = 5*h + 84 - 239. Suppose 2*c + h = -5*w, 8*c - 10 = 3*c + 5*w. Let n be x(c). Solve n*p = -5*p for p.
0
Suppose -2*d = -1 - 7. Suppose -d*x = 2 - 10. Let p = x + 0. Solve p*y - 12 = -y for y.
4
Suppose 0 = s - n - 6, -5*s - 5*n - 2 = -22. Solve 12 = 2*o - s*o for o.
-4
Let d = -6 + 11. Solve d*k + 0*k = 10 for k.
2
Let a(u) = u**3 + 3*u**2 - 3*u - 4. Let c be a(-4). Let d be 2 + (0 - 1)*c. Solve d = -0*j + 2*j for j.
5
Let t be 6/24 + 38/8. Let x be (2*-2)/(-7 + t). Suppose x*c = -0*c. Solve c = -m - 3 - 0 for m.
-3
Suppose 20 = 4*l, 8*h + 2*l = 3*h + 60. Let n be (-7)/(-2) - 5/h. Suppose 3*g - 6*g + 2*f = -17, -3*g + n*f = -15. Solve -4*b = 1 + g for b.
-2
Let n(t) = 2*t. Let m be n(2). Suppose -m*s + 7 = -13. Let r = s - 3. Solve -r*v + 5 = 1 for v.
2
Let q = 46 + -46. Solve -4*l + q*l = -16 for l.
4
Let r(p) = p**2 - 1. Let l(x) = x**3 - 18*x**2 + 11*x + 3. Let g(i) = -l(i) - 6*r(i). Let z be g(11). Solve -z + 1 = -q for q.
2
Let u be 1 + -1 + (-4 - 1). Let m = u + 8. Solve m = -3*n - 6 for n.
-3
Suppose -4 = 2*g + 5*a - 3, -4*a = -2*g + 8. Let j(f) be the third derivative of f**6/120 - f**4/12 + 2*f**2. Let x be j(g). Solve -s = x - 1 for s.
-3
Let q be (-27)/(-81) + (-124)/(-6). Solve -q = -3*o - 6 for o.
5
Let h be (5 + -6)/((-1)/6). Let r = -4 + h. Solve 0 = -r*c - 3*c - 10 for c.
-2
Let s be ((-2)/5)/(12/(-60)). Solve s*b = 7*b for b.
0
Let u be -10*(-3)/12*2. Suppose 2*i - u*c = -45, -4*i - 2*c - 79 = -c. Let a be (-194)/(-10) - 12/i. Solve -2*n + 6*n = a for n.
5
Let o = 20 - 18. Solve l = o + 3 for l.
5
Let t(w) = 3*w + 59. Let k be t(-19). Solve -12 = y + k*y for y.
-4
Suppose -2*l + 34 = -4*m - 0*m, 4*m = -l - 7. Let h = l + -5. Let c be (-1)/11 - 6231/(-1023). Solve c = h*t - t for t.
2
Let y(u) = -u**2 - 15*u + 5. Let v be y(-15). Solve 0 = v*q - 15 - 5 for q.
4
Let b(n) be the second derivative of n**5/20 + n**4/6 - 5*n**3/6 - 2*n**2 + 2*n. Let k be b(-3). Solve 0 = k*x + x + 9 for x.
-3
Let g be 2/8 + 115/20. Suppose -3*i + g = 3. Let a be 1 + (i - 0) + 0. Solve 0 = -a*w + 4*w + 2 for w.
-1
Suppose -3*j - 2*d = -21, 4*j + 11 - 46 = -5*d. Solve j*f - 25 + 0 = 0 for f.
5
Let i be (-1 - -2)*(-5 - -3). Let o be i + (-8)/(-12)*9. Solve -o*d - 9 = 7 for d.
-4
Let o = -3 - -5. Suppose -13 = -3*i + 4*w, 2*i + 2*i + 4*w = 64. Let k(d) = -d + 12. Let u be k(i). Solve -9 = -o*z + u for z.
5
Suppose -2*p + 5*p = 15. Solve 0 = p*t + 9 + 16 for t.
-5
Let j = 15 - 25. Let p be (-114)/j - 2/5. Let q = 15 - p. Solve -d + 20 = q*d for d.
4
Let v(n) = n**2 - 8*n + 2. Let t be v(8). Suppose -15 = -t*k - 3*k. Let x be ((-2)/6 + 1)*k. Solve 0 = -5*q + x*q for q.
0
Let k be (9/12)/((-2)/40). Let m = -12 - k. Solve -m*l = -8*l for l.
0
Let y = -17 - -20. Let m(u) = -10*u - 10. Let j be m(-8). Suppose j = 5*p + 4*i, -i + 5 = -0. Solve y*s = s + p for s.
5
Let t = 0 - 4. Let v = 4 + t. Solve -3*x = -v*x - 15 for x.
5
Let w be 2/12*-3 + 3/6. Solve -4*h - 5 + 9 = w for h.
1
Suppose 5*s + h = 33, 5*s - h = -5*h + 42. Solve s*q - q = 0 for q.
0
Let k(x) = -x + 11. Let p be k(9). Solve q = -0 - p for q.
-2
Let y = 35 + 70. Suppose 4*q - 39 = -l, -4*l + 2*q - y = -9*l. Let w be 21/(-27)*-3*3. Solve 3*b = -l + w for b.
-4
Suppose 2*b + 3*b - 2*n - 2 = 0, -3*b = -4*n + 10. Solve -1 = -3*j + b for j.
1
Let f = -22 + 26. Suppose -2*u - u = -30. Solve -f*j - u = -30 for j.
5
Suppose 0 = -4*n - 3*i + 15, -5*n + 2*i = i - 33. Suppose 3*k - 5*k + n = 0. Solve 3 = 2*r - k*r for r.
-3
Let q(x) be the second derivative of x**3/3 + 19*x**2/2 - x. Let h be q(-8). Solve -h*u - 2 = -u for u.
-1
Suppose 57 = -d - 2*d. Let a = -12 - d. Let l = a + -7. Solve -z + l*z = -4 for z.
4
Let j(s) = s + 10. Let t be j(-6). Solve 11 + 9 = -t*n for n.
-5
Let r be 2 + (0 - -2 - 0). Suppose -4*s = -5*s - r. Let o = -2 - s. Solve -2 = 4*g + o for g.
-1
Let r(y) = y + 3. Let l be r(-2). Solve u - 6 = -l for u.
5
Let a be (-36)/10 - 4/10. Suppose p - 2 = y + 1, -5 = y. Let x = p - a. Solve 3 = -x*r - 3 for r.
-3
Suppose -3*g - 25 - 17 = 0. Let m be 1/(-3) + g/(-6). Suppose 11 = 3*k + m. Solve k = y + 1 for y.
2
Suppose 4*o - 12 = -z, -5*z - 3*o + 22 = -2*o. Solve -r - 6 = -z*r for r.
2
Let t(q) = q + 14. Let m be t(6). Solve -5*s + m = -0*s for s.
4
Let r = 17 + -39. Let f(l) = -l**2 + 11*l + 8. Let x be f(6). Let k = x + r. Solve 6*z = 2*z + k for z.
4
Let q = 13 + -5. Suppose 4 = -y - i - 0*i, 5*y + 2*i = -q. Solve y = -k - 2*k for k.
0
Let w(j) = -j**3 + 6*j**2 - 4*j - 1. Let r be w(5). Suppose 5*n + 5*l = 0, 4*l + 27 = r*n + 3. Suppose 27 - 2 = 5*x. Solve x*g - n*g = -2 for g.
-1
Let g be ((-6)/4)/(6/(-20)). Solve 0 = -g*v + 2 + 3 for v.
1
Suppose -5*f = 25, 5 = 5*b + 4*f - 0. Solve 0 = -3*h + b*h for h.
0
Suppose 3*f - 30 = 3*a, -5 = f - 4*a + 6*a. Let y be (203/87)/((-7)/(-18)). Solve -4 = f*c + y for c.
-2
Let s = 1 - -6. Solve 0 = s*i - 2*i for i.
0
Let l = 11 - 7. Suppose 2*b + l*o - 42 = -o, 5*o = -b + 31. Solve 3*v + 1 + b = 0 for v.
-4
Let y(d) = d**3 + 5*d**2 - 3*d - 7. Suppose v - 6*k + 5*k = -6, -12 = 3*v + 3*k. Let x be y(v). Let c(n) = -n + 3. Let j be c(3). Solve 4*q = x - j for q.
2
Let y = -7 + 7. Suppose -i + 3*c = 2 - 7, y = 4*i + 5*c - 105. Suppose -3*t - i = -7*t. Solve 0 = -5*j - 15 - t for j.
-4
Let c = 58 + -58. Solve -4*n + 0*n - 16 = c for n.
-4
Let m(s) be the second derivative of s**4/12 - 13*s**3/6 + 6*s**2 + 8*s. Let q be m(13). Solve -3*t + q = t for t.
3
Suppose 3*m - 3 = 3. Let h = 10 + m. Solve 0 = -4*p + p - h for p.
-4
Let l be 10/4*(-36)/(-15). Solve -x - 5 = -l*x for x.
1
Let l(y) = y**2 + 2*y. Let f = -5 + 3. Let a be l(f). Solve 4*w + 16 = -a*w for w.
-4
Let y(s) = 6*s**3 - 12*s**2 - 5*s + 3. Let x(u) = -u**3 + u - 1. Let j(b) = -5*x(b) - y(b). Let c be j(12). Solve -3 = -5*i + c for i.
1
Suppose 0 = a - 3*a - 12. Let v(f) = f**3 + 6*f**2 - f - 3. Let s be v(a). Solve 5 = -s*r - 1 for r.
-2
Suppose 0 = 128*a - 124*a - 36. Solve -4*p + a*p - 25 = 0 for p.
5
Let z = 7 + -5. Suppose -41 = -4*n + 15. Let k = 14 - n. Solve i + k*i = z for i.
2
Let i be (-6)/9*6/(-4). Let s = 1 - i. Suppose 0 = v - 4*x + 8, 2*x = -4*v - s*x + 4. Solve 8 = -4*g - v*g for g.
-2
Let v(h) = h**2 - h - 3. Let i(w) = -2*w**2 + 2*w + 8. Let d(n) = 3*i(n) + 8*v(n). Let k be d(2). Solve 0*u - k*u = 0 for u.
0
Let q(z) be the first derivative of z**7/840 + z**6/360 + 2*z**3/3 + 1. Let g(h) be the third derivative of q(h). Let n be g(-1). Solve 2*t = -n*t - 2 for t.
-1
Let h be (-5)/1*(-3 + 2). Suppose 4*v + 4 = 3*p, -11 + 3 = -p - 2*v. Suppose 0 = p*c + 2 - 6. Solve -f - h = -c for f.
-4
Let h(s) = -2*s**2 + 42*s + 3. Let z be h(21). Let y be (-1 - -3 - 0) + 0. Let f = 1 - -1. Solve -y*x = -z*x + f for x.
2
Let o = 7 + 9. Solve -k = 3*k - o for k.
4
Let d be 6 + 3*(2 + -3). Suppose 0*x + x - d = 0. Solve 0 = x*h + 3 - 12 for h.
3
Suppose 5*z - 3 = 3*s - 2, -2*z + 19 = 5*s. Suppose 4*b - 20 = 0, 5*u + s*b - 30