ve -j = 56*x - 55*x for x.
-4
Suppose 5*r - 7 = -3*k + 4*r, -4*r = -k + 11. Let n be (k - (-16)/(-6))*-12. Let p be n/(-14) + (-6)/21. Solve -l + p*l - 1 = 0 for l.
-1
Suppose 2*i - 33 = 5*x + 4, -44 = -4*i + 4*x. Solve i*k - 13 + 43 = 0 for k.
-5
Suppose 0*c + 3*c + 0*c = 0. Suppose c*i - 12 = -2*i. Solve 0 = -2*g + i*g for g.
0
Let r(y) be the first derivative of y**4/24 - y**3/3 + 7*y**2/2 - 1. Let g(o) be the second derivative of r(o). Let w be g(4). Solve 2*f = -w*f for f.
0
Suppose 0*o = 2*o - 102. Suppose 0 = -2*f, -4*q + 2*f + 11 = o. Let p be (-1)/(21/q - -2). Solve 3*b = b + p for b.
5
Let f be (-174)/(-18) + 100/(-60). Solve -f*w + 18*w = 10 for w.
1
Suppose 0 = 5*a - 2*k - 136, -148 = -a - 4*a - 4*k. Let m be ((3/2)/(-1))/((-2)/a). Solve 5*g + 1 = m for g.
4
Suppose 8 - 19 = 11*q. Let g be (5/(-10))/(q/30). Suppose x = 5*x - 12. Solve 0 = x*o - g - 0 for o.
5
Let m = 277 - 248. Solve 5*l - 9 = -m for l.
-4
Let c = 48 + -42. Suppose 1 + c = 4*j - n, j - 5*n + 22 = 0. Solve j = -0*q + q for q.
3
Let f(b) = -22*b - 34. Let t be f(-3). Solve -t = 7*q - 11 for q.
-3
Suppose 16*c - 96 = 22*c. Let y = -14 - c. Solve -y*s = -s for s.
0
Suppose 3*t = 12, 3*b + 8*t - 13 = 4*t. Let x = b - -1. Solve 5*v - 3*v - 8 = x for v.
4
Suppose 0 = 51*i - 549 - 267. Let s = 6 + -3. Solve s*n = 7*n + i for n.
-4
Suppose -2*j + 4 = -3*o, -o - o - 4 = -2*j. Let z be 20/5*2*6/8. Let i be ((-4)/2)/(z/54*-2). Solve 2*u + i - 3 = o for u.
-3
Let w(t) = 3*t - 35. Suppose 108 = 10*c - 22. Let b be w(c). Solve 0 = b*i + 4 for i.
-1
Let v be (2/(-6))/((-1)/15). Solve 0 = -v*u - 0*u + 10 for u.
2
Let q be 877/7 - (-2)/(-7). Let t be (4/10)/(10/q). Solve -3 = -2*b + t for b.
4
Suppose -24 = -2*d - 24. Solve d = -3*f - 2*f - 20 for f.
-4
Let i be (-114)/((-15)/(-10) + -3). Let d = -74 + i. Solve k + d + 0 = 0 for k.
-2
Let g be (-1 - 2) + (48 - (-2)/1). Suppose 13 = 5*n - g. Solve 7*i - 5 = n*i for i.
-1
Let r = -194 - -198. Solve 0 = -r*x + 3*x for x.
0
Suppose 8*r - 2477 = -2381. Solve 0 = r*x - 8*x + 20 for x.
-5
Suppose -33 = 4*g - 181. Let v(a) = 2*a + 2. Let c be v(15). Let r = g - c. Solve -t + 1 = r for t.
-4
Let c = -3 + 5. Suppose -3*p = 4*v - 1, -5*v + c = 5*p - 3. Let l be p + (2 - 1 - 0). Solve l*y = y for y.
0
Let g be (-12)/8*(-46)/69. Solve 51*w + g = 50*w for w.
-1
Suppose -w - 280 = 3*w. Let u = w + 75. Solve -u*i - 3 = -23 for i.
4
Let g(u) be the third derivative of -u**4/24 + u**3/3 - 7*u**2. Let m be g(0). Solve 1 - 11 = m*d for d.
-5
Suppose -15 = -4*j + 3*h - 4*h, -j - 5*h - 1 = 0. Suppose 0*w - 60 = -j*w. Solve 3*k - w = 8*k for k.
-3
Let t = -14 + 20. Let x be 0 + 4/(8/t). Let s(m) = 2*m - 4. Let h be s(x). Solve h*y + 6 - 2 = 0 for y.
-2
Let g(q) = -q**3 - 10*q**2. Let i be g(-10). Suppose -5*f + 2*u = -9, i = -2*u - 0*u - 4. Solve -f = -o - 0 for o.
1
Let c = -2089 - -2128. Solve -11*y = 2*y + c for y.
-3
Let n(c) be the third derivative of 5*c**4/24 - 7*c**3/6 - c**2. Let k be n(3). Solve -i = -3*i + k for i.
4
Let y = 0 + 17. Suppose -3*v - 19 = y. Let d = 13 + v. Solve p + d = 4 for p.
3
Let z be (-21)/(-6)*(-48)/(-56). Solve -z*w = 3 + 6 for w.
-3
Suppose 0 = 19*r + 15*r. Solve -3*t + 0*t - 9 = r for t.
-3
Let p(u) be the first derivative of 4*u**3/3 + 3*u**2 + 2*u + 10. Let o be p(-2). Solve o = -5*x + 26 for x.
4
Suppose -28 = 2*h - 0*h. Let g be ((-30)/h - 1)/(10/35). Solve -g = 5*o + 6 for o.
-2
Let q(t) = -t**3 - 7*t**2 - 4*t + 12. Let r be q(-6). Suppose r = c - 11 - 2. Solve -2*b = 3 - c for b.
5
Let q be 111*(3/(-5) - 28/(-30)). Suppose -11*r - 4 + q = 0. Solve -2*n = -n - r for n.
3
Let d be 8/44 + (-536)/44. Let b = 17 + d. Solve -5 - 20 = b*l for l.
-5
Let c be ((-1)/((-2)/12))/((-6)/(-16)). Solve -c = -5*d + d for d.
4
Let n(q) = -q**2 + 6*q + 10. Let i be n(7). Suppose 0 = 2*z + i*z - 75. Let r = 18 - z. Solve 5*f = -r - 7 for f.
-2
Suppose -3*r + 5*l + 78 = 0, 3*r = -0*r + 4*l + 81. Solve 0 = -7*o + r - 10 for o.
3
Suppose 0*u - 5*u + 5 = -q, -u = q + 11. Let p(o) = -o**2 - 10*o + 14. Let d be p(q). Solve 3*c - 1 = d for c.
5
Let t(o) be the third derivative of -o**5/60 - 7*o**4/24 + o**3/3 + 4*o**2. Let s be t(-5). Solve 3*j + s = -0 for j.
-4
Suppose 4*a + 17 = 29. Solve 0 = a*l - 5 + 20 for l.
-5
Let v = 392 + -392. Solve -14*s + 13*s - 4 = v for s.
-4
Let d(m) = 4*m**2 + 45*m + 14. Let n be d(-11). Solve -n*l + 13 - 1 = 0 for l.
4
Let o be (4/6)/((-2)/(-36)). Let s be (-6 - (-111)/o) + (-6)/(-8). Solve -3 = -s*g + 3*g for g.
3
Let n be (-1)/(-2) - 203/(-58). Solve 8 = n*j + 12 for j.
-1
Let o(h) = 4*h + 2. Let x be o(0). Suppose -4*p - x*j - 2*j = 0, -4*j = -3*p + 28. Let t be 0/((0 - -1) + 0). Solve 7*f - p*f - 3 = t for f.
1
Suppose -15*t + 53 + 67 = 0. Solve t*a = 9*a for a.
0
Let l(u) = 4*u + 37. Let h be l(-5). Solve h*i + 12 = 14*i for i.
-4
Let b = 24 - 21. Solve -17 = -b*l - 5 for l.
4
Let u(d) = 5*d + 15. Let o be u(-3). Solve o = 4*r + 5*r + 36 for r.
-4
Let m(r) be the third derivative of -2*r**2 + 1/6*r**4 + 1/20*r**5 + 0*r + 0 + 0*r**3. Let k be m(-2). Solve -k*j + 9*j + 25 = 0 for j.
-5
Let i be (420/(-700))/(2/(-20)). Solve -i*o + 65 = 47 for o.
3
Let g be 274/(-1233) + 83/9. Solve -g*l + 4 = -8*l for l.
4
Let x(n) = 3*n**2 + n - 3*n + 0*n + 4*n**3 - 3*n**3. Let s be x(-3). Let w be (-3)/s + 1/2. Solve -b = -w*b for b.
0
Suppose -c = 4*f + 10, 3*c + 0*c + 4*f + 6 = 0. Let y be (2/(-4))/(2/(-4)). Solve c - y = -t for t.
-1
Suppose -3*l + 2*r + 1 = -3*r, 0 = -2*l - 4*r + 8. Suppose 2 = n + l*k, -12 = -2*n - 2*n - 4*k. Let m = n + -2. Solve m*w - 6*w + 20 = 0 for w.
5
Suppose 2*c - 6*c + 2*m - 76 = 0, 2*c + 3*m + 54 = 0. Let i = 15 + c. Let r be i/(-9) - (-8)/6. Solve -y = -r*y - 3 for y.
-3
Suppose -i = 4*y - 22 + 4, -2*i = -4*y + 24. Suppose -j + y = -4. Let k = -8 + j. Solve 7 - k = -2*z for z.
-3
Suppose -5*j - 5*h = -4*j + 6, -25 = 5*h. Solve -j*f + 16*f = 6 for f.
-2
Let q be (-278)/(-12) - -12*(-6)/432. Solve -4*x - q + 15 = 0 for x.
-2
Suppose -y = 3*y + i - 54, -4*i = -y + 5. Suppose -y = -v + 7. Solve 5*s = s - v for s.
-5
Let l = -60 - -61. Suppose 5*p - 3*p + 16 = 0. Let u(f) = -3*f - 10. Let i be u(p). Solve -l - i = -5*k for k.
3
Let s(x) = 2*x**3 - 58*x**2 + 55*x + 30. Let p be s(28). Let b = 2 - 0. Solve -p*z = b*z for z.
0
Let t(w) = -32*w - 2. Let r be t(-1). Let c be 4/10 - (-498)/r. Solve 4*m + 5 = c for m.
3
Let s be (3/((-9)/(-12)))/1. Let b = 128 + -115. Suppose 4*a - 3*a - 7 = 0. Solve -b = -s*j + a for j.
5
Let c(n) = -6*n - 1. Let t be c(-3). Suppose 23 = -16*u + t*u. Let y = u - 21. Solve y*p = -0*p for p.
0
Let f = 130 - 126. Solve 0 = 3*p - 7*p - f for p.
-1
Suppose 1324 = -10*b + 1364. Solve b*o = 6*o + 8 for o.
-4
Let t(y) = -18*y + 126. Let o be t(5). Solve -7*n + 16*n = -o for n.
-4
Suppose -4*h = -3*l + 32, -4*h + 34 = 2*l - 14. Suppose n = -5*o + 3*o + 16, -4*o - l = -n. Solve 0 = -4*x + n - 4 for x.
3
Let b(k) = k**3 - k**2 + 2. Let v be b(0). Suppose 9*s + 25 - 88 = 0. Solve -5 = -s*o + v*o for o.
1
Let l = -53 - -51. Let b(k) = -4*k**3 - 5*k**2 + 4*k - 3. Let w(s) = s**3 + s**2 - s + 1. Let o(y) = -b(y) - 3*w(y). Let j be o(l). Solve -p - 2 = j for p.
-4
Let k be -1*(-6)/12 - 7/(-2). Solve -16 + 0 = -k*w for w.
4
Suppose -2*r + 63 = 5*w, 5*w + 9 = -r + 2*r. Suppose -6*u = -8*u + r. Solve 3*i = 3 - u for i.
-3
Suppose 5*c - 3 = -j, -j + 2*c - 14 = 18. Let u = j - -24. Solve -i = u*i for i.
0
Let p = 27 - 15. Suppose 2 - 62 = -p*q. Solve 0 = q*k - 5 for k.
1
Let n be 28*3/12 - (1 + 4). Solve 11 = 3*w + n for w.
3
Suppose -3*k = -0*k. Suppose 2*f = 4, 27 + 7 = 4*n - f. Suppose 0*x = 3*x - n. Solve s - 2 - x = k for s.
5
Let i(n) = 4 + 8 - n**2 + 21 - 10 - 8*n. Let m be i(2). Suppose 0 = -4*v + 4, 2*x + 4 = v + 3. Solve x*l + m*l = 15 for l.
5
Suppose -5*j - 4*r = 97 - 25, -2*j = 2*r + 28. Let u = j + 10. Let o = u - -10. Solve 0 = -f + o*f - 3 for f.
1
Let x(a) be the second derivative of -a**4/12 - 3*a**3/2 - 2*a**2 - 12*a. Let t be x(-7). Solve t = k + 4*k for k.
2
Let y be ((224/2)/4)/2. Let v(p) = -p**2 + 14*p + 3. Let s be v(y). Suppose -4*l + s*l = -4. Solve g + 0*g + l = 0 for g.
-4
Let v(h) = -h**3 + 6*h**2 + 7*h + 11. Let a be v(7). Suppose -a*m + 6*m = 0. Let p(k) = k + 3. Let q be p(0). Solve m*u = -q*u - 9 for u.
-3
Suppose h + 21 = -2*b, 7*h = -5*b + 3*h