= 16 + -11. Suppose 2*t + 10 = 2*p, -p - 3*t = t + i. Let h = -1 - -7. Solve p*k - k = h for k.
3
Let u = -190 + 197. Solve 3*i = -u*i - 30 for i.
-3
Let c(o) = -o**2 + 6*o + 2. Let w be c(6). Let q be (w/1)/(4 - 3). Solve 1 = -z + q for z.
1
Suppose 0 = 45*w - 28*w. Solve w = 9*k - 7*k + 6 for k.
-3
Suppose 6*x = 9*x. Suppose 2*h - 3*i - 15 = x, 2*h - 2*i = -3*h + 21. Solve -5*w + 12 = -h for w.
3
Let h be (-1112)/(-28) - 6/(-21). Suppose -h = 3*f - 8*f. Solve 4*m = -8 - f for m.
-4
Suppose 3*w = 3*c + 36, -2*w - 14*c = -10*c - 6. Solve -5*r = -11 - w for r.
4
Let g(f) be the second derivative of f**6/120 - f**4/24 + 2*f**3/3 + 3*f. Let n(r) be the second derivative of g(r). Let o be n(1). Solve 13 = 3*m - o for m.
5
Let z = 26 - 9. Let r = z - 5. Suppose 0 = 4*i - r, -y - i + 1 = -2*y. Solve y*l - 3*l = 0 for l.
0
Suppose -5*t - 4*y = -4, 12*t + 4 = 16*t + 4*y. Solve -2*v + v + 2 = t for v.
2
Let u = 999 + -971. Suppose h = 4 - 1. Suppose -2*t + 10 = -2*x, -x - h + u = 5*t. Solve -8 = w - t*w for w.
2
Suppose -v - 2*o - 7 = 0, -3*v = -4*o - 29 - 0. Suppose -v*r + 5 = -4. Suppose -2*x - r*k + 19 = 0, -18 = x + k - 5*k. Solve -x*q + 4*q + 4 = 0 for q.
-2
Suppose m - 5*m - 120 = -5*p, -99 = -3*p - 3*m. Suppose 60 = 8*a - p. Solve 14 + a = -5*h for h.
-5
Let v(y) = y**2 + 6*y - 23. Let p be v(-9). Solve 2*x - 3*x - p = 0 for x.
-4
Let a = 280 + -277. Solve -1 + a = h for h.
2
Let p = -9 - -3. Let s(d) = d**2 + 9*d + 7. Let z be s(p). Let f(u) = u**2 + 10*u - 5. Let g be f(z). Solve 2*a - g = 5*a for a.
-2
Suppose -60 = 4*r + 4. Let t = 17 + r. Solve -o + t - 2 = 0 for o.
-1
Suppose -2*t = 3*t. Let b(k) = k + 4. Let o be b(-2). Suppose -o*y - 4 = 5*j + 1, -3*y + 3*j = -3. Solve y = v + 2 - t for v.
-2
Let c(v) = v**2 - 10*v + 7. Let n be c(9). Let b(t) = t**2 + t. Let z be b(n). Suppose 2*d + 6 = 3*y - 11, -5*y - 3*d = -3. Solve 0 = y*p + z*p + 5 for p.
-1
Let k = 11 + -6. Suppose 2*x + 4*b = 6, 33 = -k*x + x + b. Let j be 0 + 0 - (5 + x). Solve -j = l - 2*l for l.
2
Let z(v) = 2*v**2 + 20*v - 448. Let g be z(11). Solve g*t - 35 = 21*t for t.
-5
Let u(r) = 1 + 0 + r - 5. Let x be u(6). Solve -18 = 4*i + x for i.
-5
Suppose 3*o - 58*w + 63*w - 29 = 0, -3*w = 3*o - 21. Solve -4*g - o*g = 7 for g.
-1
Suppose 5*v - 6*v = 0. Let h = 12 + v. Let u = -23 - -23. Solve -3*q + 3 + h = u for q.
5
Let q be (-121)/7 - (-6)/21. Let a = -15 - q. Suppose -4*d + 2*c + 4 = 0, 4*c = -2*d + 2*c + a. Solve -5*y = 9 + d for y.
-2
Suppose 0 = 2*y - 5*m - 206, -2*y + 4*m + 167 = -43. Solve 0 = -2*k - 107 + y for k.
3
Let g be 3 - (3 - (0 - 0)). Let n be 18/3 - (0 - 4). Solve -2*l + g = -n for l.
5
Let b = 79 + -79. Solve b = 39*r - 43*r - 16 for r.
-4
Suppose -5*h + 7 = -3. Suppose -2 - 3 = -5*x. Let v be 112/35 + 1/(-5). Solve -h*j + x = -v*j for j.
-1
Let x(j) = j**3 - 12*j - 17*j - 5 - 6*j**2 + 23*j. Let f be x(7). Solve f*k + 9 = -k for k.
-3
Let h(u) = -u**2 + 8*u - 4. Let q be h(9). Let m = q + 25. Suppose -s + m = 2*g, -11 - 22 = -3*s - 5*g. Solve 0 = -5*y + 3*y + s for y.
3
Let r be ((-84)/22 - -4) + 100/55. Solve -r*z = z for z.
0
Suppose -r + 5*i - 5 = -15, -r - 5*i = 10. Solve r = -d - 3*d for d.
0
Let o = -2217 - -2217. Solve o = 2*p - 0*p + 8 for p.
-4
Let k be (-6)/4 - 1/2. Let f be 14/4 + 1/k + 0. Solve -x + f*x = 6 for x.
3
Suppose 4*z - i - 70 = 0, 5*z + 4*i - 83 = 3*i. Solve -z*s + 15 = -12*s for s.
3
Let d(v) = 3*v + 15. Let l be d(5). Let z be (-4)/l + (-476)/30. Let x = z + 20. Solve x = -2*p - 4 for p.
-4
Let k be (-5 + 2)/((-2)/18). Suppose k = 3*o + 2*o - 4*j, -5*j - 27 = -4*o. Suppose 0 = -6*x + 9 - o. Solve q - x = 1 for q.
2
Let l = -138 - -144. Solve -l*w + 9 - 3 = 0 for w.
1
Let c = 1376 - 1372. Solve z = -c - 1 for z.
-5
Let d(f) = 5*f - 11. Let t be d(4). Suppose 0 = t*l - 3 - 6. Solve 0 = 2*a - 3 - l for a.
2
Suppose -4 = 5*h + 5*l - 34, -5*h - 4*l = -29. Suppose 0 = -5*y - h*p + 15, y + 2*p = -0*y + 6. Let i be (0 + 30)/((-3)/(-2)). Solve -2*v - 2*v - i = y for v.
-5
Let p(r) = 2*r**3 - 5*r**2 + 2*r + 5. Let b be p(2). Suppose -54 = -4*z - 14. Solve -z + 5 = b*a for a.
-1
Let f(z) be the third derivative of z**6/60 - z**5/6 + z**4/3 + z**3/2 + 5*z**2. Let x be f(4). Solve 0 = -5*m + x*m for m.
0
Let r = 0 + -4. Let b be (r/(-3))/(1/3). Let g be (13 - 6) + (3 - -2). Solve b*f = f - g for f.
-4
Let q = -234 + 238. Let n(x) = -x**2 + x + 8. Let u be n(0). Solve q*p - u = 2*p for p.
4
Let r(h) = -h**2 + 34*h - 283. Let m be r(16). Solve -95 = m*d + 14*d for d.
-5
Let u(l) be the third derivative of 1/24*l**4 + 0 + 4*l**2 + 1/3*l**3 + 0*l. Let f be u(3). Solve f*s + 19 = -6 for s.
-5
Suppose 4*m - 64 = -3*l, -5*m + l + 61 = -0*l. Suppose -3*w + m = -g + w, -g + 11 = 2*w. Solve 4*o - g = o for o.
1
Let p(o) = -2*o**2 + 30*o + 39. Let s be p(16). Solve 0 = s*t + 5 + 9 for t.
-2
Let c(u) = -u**2 - 17*u + 4. Let k be c(-16). Suppose -8*i = -60 - k. Suppose 4*s - i*s + 18 = 0. Solve -s*d - 7 = 2 for d.
-3
Let z(l) = -3*l**2 + 3*l + 12. Let x(n) = -7*n**2 + 5*n + 25. Let d = -7 + 9. Let c(a) = d*x(a) - 5*z(a). Let s be c(7). Solve -k = -s*k + 3 for k.
1
Suppose -2*g - 48 = y, 5*y + 232 = -5*g - 23. Let v = 58 + y. Solve 3*r = r + v for r.
2
Suppose 90 = -5*r + 130. Solve 3*a = -8 + r for a.
0
Suppose 0 = -d - 3*d - 5*z + 52, 28 = d + 5*z. Solve -7*p + d = 43 for p.
-5
Let i = 697 - 692. Solve 17 + 3 = i*o for o.
4
Let o = -13 + 33. Let a be (-1)/(-1)*-1 - -7. Let i = a + -6. Solve -5*l = -i*l - o for l.
4
Let r = -31 - -23. Let i be -2 + (r + 4 - -8). Solve -i*v - 8 + 2 = 0 for v.
-3
Suppose 0 = -w + 2 - 0. Suppose -5*z - 4*f + 194 = 0, 3*z + 3*f = 2*f + 122. Suppose -w*o + z = 5*o. Solve 7*d - 4*d - o = 0 for d.
2
Let m be 4/14*19/(266/98). Solve -m*s + 9 = 15 for s.
-3
Let t(f) = -f**2 - 16*f - 12. Let b be t(-15). Solve 2*c = b*c for c.
0
Suppose a - 2*b - 12 = b, 0 = -5*a - 3*b + 24. Suppose w = 2*w + a. Let q = 5 - w. Solve -4 = 5*d + q for d.
-3
Let l = 161 + -261. Let w = l + 106. Solve -10*y = -13*y - w for y.
-2
Let l(w) = w**3 - 6*w**2 + w - 6. Let x be l(6). Suppose x = -y + 3*y - 6. Suppose 0*s = s - 5. Solve s*a - 17 = y for a.
4
Let y(m) = 2*m - 4. Let u(k) = -k**3 - k**2 + k + 2. Let o be u(0). Let f be y(o). Let w(d) = d**3 - d**2 + 5. Let b be w(f). Solve -b*c + 4 + 1 = 0 for c.
1
Let v(k) = k**3 - 4*k**2 - 30*k + 8. Let f be v(-4). Solve 0 = x - 4 - f for x.
4
Suppose 0 = -2*h + 13*h - 297. Solve 5*w = -h + 2 for w.
-5
Let r be (2/4)/((-6)/(-132)). Solve 7*s - r*s = -12 for s.
3
Suppose -3*x - 3*t = 2*t - 39, 0 = 4*x + t - 69. Solve -h - x = -7*h for h.
3
Suppose v - 3*c - 13 = 0, -3*v - 5*c + 29 + 80 = 0. Solve 7*s + 0 = -v for s.
-4
Let w(r) = -r**2 - 12*r - 23. Let l be w(-9). Solve 0*z = -2*z + l for z.
2
Suppose -c + 10 = 2*u, u = -c + 5*c - 4. Solve -8 = c*z - 2 for z.
-3
Suppose 13 - 10 = s. Suppose s*n - 3 = 3. Solve 0*p + p = -n for p.
-2
Let f(p) = p**3 - p**2 - 4*p. Let i be f(3). Suppose -5*b + 4 = -i. Let j(k) = k**3 - 7*k**2 + 14*k - 10. Let c be j(5). Solve b*z + 0*z = -c for z.
-5
Let s be (-3)/5 + (-92)/(-20). Suppose s*h - 6*p = -2*p + 8, 5 = p. Suppose 5*a = 23 + h. Solve a + 0 = 3*n for n.
2
Let n(z) be the third derivative of z**5/60 - 5*z**4/24 + z**3 + 28*z**2. Let k be n(3). Solve -m - 4*m = k for m.
0
Let f be ((-4)/6)/((-14)/63). Suppose f*d - 1 = n, -d - 2*n = -3*d - 6. Suppose o = -3*u + 4*o + 21, 2*o = -u - d. Solve 2*q = u*q for q.
0
Suppose 4*t + 6 = -2*y, -5*y - 8 = -2*t + 7. Solve 4*b + 9 - 1 = t for b.
-2
Suppose 5*j + 1 = -4, 17 = 3*d - 2*j. Let h(l) = 2 + 4*l + 5*l + 1 - l**2. Let u be h(8). Solve d*x + 1 = u for x.
2
Let f(z) = 27*z + 43. Let u be f(-6). Let j = u + 119. Solve 4*l = -j*l + 4 for l.
1
Let h = -488 - -520. Solve -24 = 14*d + h for d.
-4
Let b(g) = -15*g + 0 - g**2 + 0 + 16. Let q be b(-16). Solve 12 = -q*m + 4*m for m.
3
Suppose -f = -6*f + 25. Suppose 5 = f*p - 15. Suppose -4 + 28 = p*o. Solve 2*q + o = 2 for q.
-2
Let d(z) = z**2 - 18*z + 38. Let t be d(16). Let i be -14*(-1 - ((-3)/t + 0)). Solve -i*r + 2*r = 0 for r.
0
Let w be -2*5*(-2)/5. Solve w*a + 12 = 24 for a.
3
Let m be (-6)/3 + 3 + 6. Suppose 24 = m*z - z. Solve 3 = -l + z for l.
1
Suppose -4*m - 9 = 4*h + h, 3*h - 3 = -m. Let r be 15/m*(-32)/40. Solve w - 2*w + r = 0 for w.
2
Let g(l) = -l + 7. Let w be g(6). L