 = 2*a for a.
-2
Let m = -5406 - -5416. Suppose t = 1 + 2. Let r = -6 - -8. Solve t*j + r*j = m for j.
2
Suppose 10*d + 47 = 67. Solve -9*b - 47 + d = 0 for b.
-5
Suppose 7*v + 4*p - 4 = 3*v, 4*v - 24 = p. Let u = -1 + 1. Suppose u*j = 2*j. Solve y - v = -j*y for y.
5
Let g(o) = o**3 - 8*o**2 + 8*o - 4. Let p be g(7). Let b(d) = 2*d**2 + 2*d**3 - 3*d**p - 2 + 2. Let h be b(2). Solve -4*a - 6 - 6 = h for a.
-3
Suppose 0 = -3*q + 2*x + 19, 4*q - 5*x - 18 = 12. Suppose -q*o + 2*o = -6. Let c = 2 + o. Solve -t + 3 = -c*t for t.
-1
Suppose -c = -0 - 5. Let x(h) = h**2 - 17*h - 63. Let b be x(21). Let k be 15/b + (-2)/(-7). Solve 14 + k = -c*a for a.
-3
Suppose -327*l + 70 = -317*l. Solve l*m - 30 = m for m.
5
Let r be 0/(2/(-1) + 4). Let d = -18385 - -18387. Solve r = d*f + 8 + 2 for f.
-5
Suppose -7 = -d - 3*q, 0 = 2*d - 5*q + q + 6. Let g = -8 + 13. Solve -2*f + g = -d for f.
3
Let t be 3*(-9 + 7)/(3/(-2)). Solve -7 = -w - t for w.
3
Let q be (-300)/(-44) - (0 + (-8)/44). Suppose 0 = q*k - 9 + 2. Solve 0 = 7*x - 6*x + k for x.
-1
Let j = -386 + 388. Solve j*p + p = -6 for p.
-2
Suppose -116 = -5*p - 36. Suppose 8*t - p = 4*t. Solve t*z + 18 = -2 for z.
-5
Let f be ((-2)/4 - 0)*60. Let m = f + 50. Solve 0 = -u - 3*u + m for u.
5
Suppose 5*o + 17 = -4*p - 101, 0 = -3*o - p - 75. Let z = -22 - o. Solve -1 = z*r + 19 for r.
-5
Suppose -3*w + l = -22, 4*w = -l + 6*l + 22. Solve -15 = -5*q + w*q for q.
-5
Let q = 1535 - 1495. Solve -c + 9*c + q = 0 for c.
-5
Let n = -72 + 78. Solve -20 = -n*r - 14 for r.
1
Let a(i) = -5*i**3 + i**2 + i. Let m be a(-1). Suppose 8 = 5*o - 3*o, -f + 5*o = 16. Suppose 0 = -0*h + f*h - 4. Solve -9 - h = -m*r for r.
2
Let q(o) = 2*o**2 + 30*o - 64. Let b be q(-17). Solve -b*l = l - 15 for l.
3
Let u(m) be the second derivative of m**5/120 + 3*m**4/8 + 3*m**3/2 + m. Let z(a) be the second derivative of u(a). Let t be z(-9). Solve t*j = -4*j for j.
0
Let z(v) = v**3 - 6*v**2 + 3. Let y be z(6). Suppose y*j - 2 = 2*d, -2 - 2 = j + 4*d. Solve -w = -j*w + 2 for w.
-2
Let m(z) = -z**3 - 21*z**2 + 18*z + 2. Let y(o) = o**2 + o - 1. Let p(s) = -m(s) - 2*y(s). Let q be p(-20). Solve -r = -q*r for r.
0
Suppose 3*r = 5*t - 62 - 13, -15 = 3*r. Solve 3*k - 6*k - t = 0 for k.
-4
Let o = -32 + 34. Suppose 0 = 4*f - o*f - 10. Solve 0*v + f*v = -15 for v.
-3
Let s = 12 + -11. Solve 0 = 5*l + s - 26 for l.
5
Let n(p) = -7*p - 9. Let u be n(-2). Suppose 7 = -q + 2*w + 3, -4*q - 10 = -u*w. Solve q = -5*v + 4*v for v.
0
Suppose 0 = 4*s + 66 + 2. Let x = 20 + s. Suppose 0 = 6*k - 3*k. Solve -12 = x*p - k*p for p.
-4
Suppose -c = -r - 2, -2*r + c = 3*r + 22. Let h be (r - 0)/(2/4). Let f = h - -10. Solve -5*x + 20 = -f for x.
4
Let d = -17 - -24. Suppose -2 = -d*v + 12. Solve 0 = -4*g + 2 + v for g.
1
Let j(s) = -s**3 - 3*s**2 + 3*s - 2. Let p be j(-4). Let y(u) = -6 - 9*u + 1 + 14*u. Let v be y(p). Solve 0*x - 5*x + v = 0 for x.
1
Suppose -y + 0 + 4 = 0. Let m = -37 + 52. Solve m = -y*d + d for d.
-5
Let w(l) = l**2 - 5*l + 5. Let a be w(5). Let h(g) be the first derivative of -g**2/2 - 3. Let m be h(-6). Solve -z - a = -m*z for z.
1
Let f be (-2*1)/(2 + (-81)/39). Solve 29*p = f*p for p.
0
Let h = 315 - 312. Solve -4*o = -7*o - h for o.
-1
Let a(u) = u**3 - 5*u**2 - 13*u - 7. Let f be a(7). Let k be (-3 + 11 + f)*2. Solve -5*i - k = 4 for i.
-4
Suppose 2*z + 8 + 2 = 0. Let o = 8 + z. Suppose t = o*i, 2*t = i - 0*t. Solve -2*u - 2*u - 4 = i for u.
-1
Let d be (-1)/((-2)/(-34) + 0). Let a = d + 24. Let h = -79 + 83. Solve -a = h*g + 1 for g.
-2
Let h(v) = 7*v**3 - 7*v**2 + 7*v - 11. Let j(n) = -2*n**3 + n**2 + n. Let u(q) = -h(q) - 4*j(q). Let k be u(-5). Solve 0 = -0*x - 4*x - k for x.
-4
Let d = 1 - 0. Suppose 2*r = -d + 7. Suppose -r*u = -u - 12. Solve 5*w - 2*w = u for w.
2
Suppose 0*f + 3*f - 48 = q, -128 = 4*q + 4*f. Let y = -32 - q. Solve -y = -4*z - 12 for z.
-2
Let g be (-27)/(-6)*(-368)/(-69). Solve -4 + g = -4*h for h.
-5
Let p(d) = d**2 + 5*d - 10. Let q(c) = -2*c + c + 5*c - 2*c + 15. Let u be q(-11). Let x be p(u). Solve -x*s + 20 = s for s.
4
Let j = 18 + -17. Let c be (3 + -4)*-2*j. Let t be c/8 - (-2)/(-8). Solve t*l - 2*l = -6 for l.
3
Suppose -4*w + 0*w = 2*h - 8, 0 = -h - 3*w + 6. Suppose -4*d - m + 44 = h, d - m = -2*d + 33. Solve -6*x - 20 = -d*x for x.
4
Let s be 3 + 110/(-35) + 183/7. Let h = -26 + s. Solve h*g - 4 = g for g.
-4
Suppose -42*n + 43*n = 60. Suppose 4*j - 9*j + n = 0. Solve 4*b + 0*b = -j for b.
-3
Let q(v) = -v**3 - 8*v**2 - 2*v + 16. Let p be q(-8). Let r = -1 + p. Solve -r + 11 = 5*j for j.
-4
Let y be 25/(-5)*(-8)/10. Suppose y*n + 45 = 5*r, 0 = 2*r - 4*r - 2*n. Solve r*k = k + 8 for k.
2
Suppose 5*l - 24 = l. Suppose -l = p - 4*p. Solve -p*n + 7*n - 15 = 0 for n.
3
Let a(g) = -g**2 - 7*g - 16. Let m be a(-5). Let f(r) = 3*r + 20. Let k be f(m). Solve 0 = d - 2*d + k for d.
2
Suppose 0 = -2*w - 4*t + 22, -15 = -5*t + 5. Solve 48 = 13*g + w*g for g.
3
Suppose -6*q + 11*q + 5*g = 0, 4*g = -2*q - 4. Solve -1 = q*f - 1 for f.
0
Let q(n) = n**2 + 21*n + 23. Let p be q(-20). Suppose 8 = p*v + 5*x, v = -4*x - 0 - 2. Solve -v*c - 12 = -2*c for c.
-3
Suppose 18*b + 1128 = 65*b. Solve 15*k - 3*k + b = 0 for k.
-2
Let x(d) = d**3 - 5*d**2 + 2*d - 6. Let r be x(5). Suppose -3*l + 10 - r = 0. Let s(q) = -q**3 + 9*q**2 + 31*q - 89. Let j be s(11). Solve l*o + j = 7*o for o.
2
Let b be 5 + -7 - (2 - -6)/(-2). Let k be (2/(-4) + -1)/((-3)/b). Solve -2*l - k = -l for l.
-1
Suppose 0 = 4*v + 8 - 56. Let r = 92 - 56. Suppose -w = 3*b - 25, 3*b - r = -b - 2*w. Solve -4*k + b*k - v = 0 for k.
4
Let o = -33 + 74. Suppose 4*c = 4*w + 17 - o, 0 = w + 5*c + 6. Solve 15 - 3 = -w*s for s.
-3
Let p(b) = 7*b + 1 - 5*b - 5*b. Let u be p(-3). Suppose 0 = -w - 4*j - 8, -4 = -4*w - 0*w + 2*j. Solve 5*o = -w + u for o.
2
Suppose 5*k - 3 = 4*k. Let a(n) = -n**2 - 4*n + 1. Let z be a(-6). Let f = 16 + z. Solve -k = -2*b + f for b.
4
Let w = -160 - -160. Solve q - 3 = -w*q for q.
3
Let r = 22 + -32. Let p(x) = -x**2 - 12*x - 6. Let w be p(r). Suppose 4*g + 21 = 2*y + 1, 0 = y + 2*g - w. Solve -3*u - y = u for u.
-3
Let x(d) = d**2 - 3*d - 5. Let q be x(5). Let i be 98 + (-3)/3 + -5. Let v = 96 - i. Solve -3*j = -v*j - q for j.
-5
Let t = -3 - -6. Let x = -6 + 6. Suppose -2*f + f + 12 = -5*b, x = 2*f - 3*b - 10. Solve -t*n + n + f = 0 for n.
1
Suppose -7*l = -3*l. Suppose -2*y = -7*y + 15, l = -3*g + 3*y - 6. Let v be -2 - -4 - (-2 - g). Solve -2*c - 3 = -v*c for c.
1
Let q(l) = -l**2 + 9*l + 1. Suppose -3*s + n = -4*n + 4, 15 = 5*s - 4*n. Let r be q(s). Solve -x + r = 2*x for x.
5
Let x(b) = b**3 - 9*b**2 - b - 6. Let y be x(6). Let p = 120 + y. Solve 2*c - 5*c = p for c.
0
Suppose 5*l + 8 = 9*l. Suppose -4*d + l = -10. Solve 0 = 2*p + d*p + 5 for p.
-1
Let d(x) = 3*x**2 + 3*x - 1. Let z be d(1). Suppose -z*m - 40 = -10*m. Solve k + m = -3*k for k.
-2
Let i be 8 - (9 + 36/(-9)). Solve -i*k + k = 4 for k.
-2
Suppose 6 = -5*k + 4*p + 1, k - 3*p = -12. Solve z + k*z - 12 = 0 for z.
3
Suppose 0 = -8*w + 34 + 126. Suppose -4*m - 5*s = -8*m + 6, 4*s = m + 4. Solve 0*g + w = -m*g for g.
-5
Suppose 40*t = 39*t + 1. Let f(p) = 18*p**2 + 2*p. Let h be f(t). Solve -h = -2*o + 6*o for o.
-5
Suppose 5*d - 45 = -0*y + 3*y, 3*y + 48 = 4*d. Let f be 38/14 - y/70. Solve 0 = 8*v - f*v for v.
0
Suppose 112*a = 108*a + 80. Solve -a*u - 25 = -15*u for u.
-5
Let f = -2 + 5. Suppose -f*c + 4 + 2 = t, 3*c = 2*t - 21. Let i = t + -3. Solve -l - l = i for l.
-3
Suppose 0 = 3*a + 5*t + 41, 3*a + t + 15 + 22 = 0. Let f(q) be the third derivative of q**4/24 + 5*q**3/2 + 2*q**2. Let y be f(a). Solve -1 = -m - y for m.
-2
Suppose 0 = 2*q + 5*q - 70. Solve 4*x = -q + 22 for x.
3
Let t = 491 + -491. Let s be (-6)/(-10) - (-21)/15. Solve t = d - s - 1 for d.
3
Let j(p) = -11*p + 2. Let m be j(-1). Solve m*s = 11*s + 10 for s.
5
Let q = -4 + 10. Solve -4*b = -q*b - 2 for b.
-1
Suppose 5*q - q - 8 = 0. Let y(d) = 22*d - 3. Let b(v) = -13*v + 1. Let c(x) = -5*b(x) - 3*y(x). Let a be c(q). Solve 9 = a*p + 1 for p.
4
Let h(l) = l**3 + 14*l**2 - 15*l + 21. Let f be h(-15). Suppose -5*u - 3*g = -f - 9, 0 = 4*u + 2*g - 22. Solve y = -0*y + u for y.
3
Suppose -3*t - 33*i + 29*i + 96 = 0, 3*t - 111 = i. Solve -t = -3*n - 27 for n.
3
Let d be (-3)/(-9) - (-1)/(1 - 4). Suppose -3*k 