
Let o(a) = 2*a**2 - 3*a - 3. Let h be o(3). Let l be ((-27)/(-6))/(-3)*-2. Suppose 0 = -l*v + h - 15, -15 = -r + 5*v. Solve r = -x - 3*x + 20 for x.
5
Let d = 152 - 152. Solve d = 5*m - m + 12 for m.
-3
Let r = -272 - -274. Let u(n) = n + 8. Let g be u(-5). Suppose 3*p - g = o + 2, -2*o = -8. Solve p = r*q - q for q.
3
Suppose 8*t - 13*t = -15. Solve c - t + 2 = 0 for c.
1
Let k be -3 + (6/(-9))/(4/(-30)). Solve -c - 6 = k*c for c.
-2
Suppose -4*l + 5*b + 28 = 0, -b - b = 4*l. Suppose 28*c + 40 = 38*c. Solve 0 = c*q + 6 + l for q.
-2
Let l be 103/(-309) - (-44)/6. Solve 6 - 27 = -l*x for x.
3
Suppose -308 = 10*z - 3*z. Let w be z/(-66)*(4*1 - 1). Solve -u - u - w = 0 for u.
-1
Let t(u) = 5*u**2 + 15*u + 24. Let n be t(-3). Solve -3 = -25*o + n*o for o.
3
Suppose 0 = b - 2*h - 10, b - 3*h - 14 = h. Solve b = 2*n + 4*n for n.
1
Let w be (24/18)/(2/12). Let x(g) = -g + 19. Let i be x(w). Let h = i + -11. Solve 2*z + 10 - 2 = h for z.
-4
Let i = 84 + -73. Suppose -i*y + 12 + 10 = 0. Solve y*f + 0 = -6 for f.
-3
Let f be ((-1)/(-2))/(1/4). Suppose k + 2 = -3. Let a be ((-36)/(-30))/((-1)/k). Solve 0 = a*d - f*d for d.
0
Suppose 2*b - 832 + 646 = 0. Solve h = 97 - b for h.
4
Let y(o) = 0*o + 4*o**2 - 5*o**2 + 6*o - 3*o + 3. Let s be y(3). Solve -5*q = -s*q - 4 for q.
2
Let h be (-3)/1*1 + 5. Suppose 23*k - h = 22*k. Solve p + 15 = -k*p for p.
-5
Let q(o) = -o**2 + 4*o + 1. Let a be q(3). Suppose -5*m = -11 - a. Suppose 31 = m*y - 14. Solve -y = 6*i - i for i.
-3
Suppose 7*x = 2*x. Let i be -10*(-10)/(-25)*-1. Solve x = -0*y - y - i for y.
-4
Let y = 25 - 17. Let r(j) = j**3 + 7*j**2 - 11*j + 4. Let m be r(-8). Solve 0 = -5*t - m + y for t.
-4
Let h = 9 - 1. Suppose 2*o + h = 3*v, 4*v - 3*o - 22 = -6*o. Suppose -4*z = g - 122 + 49, -v*g = 2*z - 26. Solve 5*w + 6 + z = 0 for w.
-5
Let v be (-3 - (-1 + -2))/(-2). Let g(n) = 2*n**3 - 5*n**3 + 1 + v*n**2 + 8*n**3 - 3*n**2. Let t be g(1). Solve -t*b + 20 = b for b.
5
Let z be 12/42 - (-2)/(-7). Suppose 5*a - 4*i - 18 = z, -a - i + 4 = -2*i. Solve -a*g = g for g.
0
Let p(v) = 6*v - 7. Let h(y) = y**3 - 7*y**2 + 7*y. Let l be h(6). Let a be p(l). Let n be 1/3 - a/(-3). Solve 5*s - n = -25 for s.
-3
Let m(t) = t**2 + 2*t + 2. Let g be m(-3). Let o(y) = y**2 - 14*y + 4. Let n be o(14). Let k be 100/8 - 6/n. Solve -g*d - k = 4 for d.
-3
Suppose -4*i = 264 - 80. Let q = -44 - i. Solve -q*d = -1 - 5 for d.
3
Let z be ((-16)/(-6))/(26/78). Solve -3*r = -r - z for r.
4
Suppose -3*i = -9 - 0. Let p(s) = -25*s**2 + 3*s + 3. Let l be p(-1). Let h = l + 29. Solve 19 = h*u + i for u.
4
Suppose -5*y = 2*q - 0*q + 1, -4*q = -2*y + 14. Let z be (y + -26)*(-3)/5. Suppose 4*i = i + z. Solve i*s + 7 = -3 for s.
-2
Suppose 7*m - 35 = 2*m. Suppose 0 = m*l - 3*l. Solve l = -w + 2*w - 3 for w.
3
Let b be (-3)/(-24) + 6543/72. Suppose -13*l + b - 26 = 0. Solve -d - l = -0*d for d.
-5
Suppose 17*o + 4*c + 6 = 19*o, 3*o = 2*c + 9. Solve 4*k - o*k = 4 for k.
4
Let i be 2/2*(12/3 - 1). Let v = 4 - i. Solve -v = -4*t + 11 for t.
3
Suppose 6*c = 19*c - 429. Solve -28*a + 15 = -c*a for a.
-3
Let t(y) = y**3 - 4*y**2 + 5*y - 8. Let d be t(3). Let n be -2 - 4*6/d. Let m = n + -9. Solve -1 = -a + m for a.
2
Let y(l) = l**2 + 26*l - 53. Let m be y(-28). Solve 0 = m*r + 2*r for r.
0
Let w(z) = 5*z**3 - 9*z**2 - z - 28. Let c(p) = -4*p**3 + 9*p**2 + p + 27. Let j(l) = 6*c(l) + 5*w(l). Let v be j(-9). Solve v = 4*t - 7 for t.
5
Suppose 5*v + 20 = -2*z + v, 4 = v. Let h = -26 - z. Let c be (-1)/2 - 36/h. Solve y = -3*y + c for y.
1
Suppose p = 3*v + 21, 4*v + 17 + 21 = 3*p. Solve 7*q - p = 1 for q.
1
Let l = 13 + -7. Let b = l + 14. Let a(z) = z**3 - 4*z**2 - 4*z. Let w be a(5). Solve 0*j + w*j = b for j.
4
Suppose -4*a - 12 = 0, 9*j + 3*a = 5*j + 7. Solve 23 = j*h + 7 for h.
4
Let j(t) = -52*t + 115. Let i be j(2). Solve 9*z = i*z - 8 for z.
4
Let y(s) = -2*s - 7. Let z be y(-5). Let p = -25 - -27. Suppose -2*g + g + 18 = -p*l, -2*g = -3*l - 37. Solve m + g = -z*m for m.
-5
Suppose 0 = -4*s + 16 - 4. Solve t = -s*t - 4 for t.
-1
Let y be (-3)/3*(-6 - 4). Let r = -7 + 7. Let j be 2*1 - r/(-9). Solve 3*a = -j*a + y for a.
2
Let z(h) be the second derivative of h**3/6 + h**2 + 3*h. Let n be z(3). Suppose -2 - 8 = -n*i. Solve 0*k + i*k = 2 for k.
1
Suppose a - 2 = -m, -5*m + 10 = 7*a - 3*a. Solve 4*h - 12 = -m*h for h.
2
Let l(o) = -o**3 + 5*o**2 - 4*o + 4. Let f be l(4). Let y be 4980/225 + f/(-30). Suppose -10 - y = -4*s. Solve 4 = 4*q - s for q.
3
Let p be 280/(-49)*14/(-4). Solve 12*y - 7*y - p = 0 for y.
4
Let u be ((-8)/12 - -1)*33. Suppose -7 = o - u. Solve -4 = o*x + 4 for x.
-2
Let l be (104/(-24) - -3)*-3. Solve 0 = -5*v - l*v for v.
0
Let l(y) = 3 + y - 6*y + 11*y**2 + 9*y. Let x be l(-1). Let m(w) = w**3 - 10*w**2 + 3*w - 5. Let q be m(x). Solve n + 4*n = -q for n.
-5
Let q(h) = -7*h - 57. Let n be q(-9). Solve -2 + n = 2*d for d.
2
Let n(b) = -b - 4. Suppose 2*u + 2 = -d - 18, -d - 3*u - 24 = 0. Let r be n(d). Solve 3*k - 2 = -r for k.
-2
Suppose -5*b + 258 = 3*o, 0*b - b = -o - 50. Let t = b - 46. Solve -t*j + 0*j = 5 for j.
-1
Let v = 7 + -4. Let h be (2/4)/((-3)/(-36)). Suppose -h - 24 = -v*p. Solve p = 3*w - w for w.
5
Let z(p) = 4*p**3 - 9*p**2 - 2 - 5*p**3 + 14 + p + 0*p. Let c be z(-9). Suppose c*u - 22 = -7. Solve -u*k - 7 = -32 for k.
5
Let h be (-4)/(-14)*-1*(-7)/2. Let k be (5 - (0 + -3))/(1 + h). Solve 3*y - y - k = 0 for y.
2
Let h(b) be the third derivative of -b**4/6 + b**3/3 + b**2. Let u be h(-4). Let s = -18 + u. Solve s*z - 4 = -4*z for z.
1
Suppose s + 2*t + 4 = 0, 4*s = 2*t + 2 + 2. Suppose 11*x - 7*x = s. Solve 5*m - m + 4 = x for m.
-1
Suppose 3*k - 5*g + 4 = k, 0 = 4*k + 3*g - 18. Let v be (4/(-1))/((-6)/(-3)) + 1. Let f be v - (-2)/(-1) - -3. Solve f = k*z + 11 - 2 for z.
-3
Let j(r) = -r**3 + 11*r**2 - 17*r - 6. Let u be j(9). Suppose u*l - 8 + 2 = 0. Solve -2 - 8 = l*s for s.
-5
Let h(v) = -v**3 - 8*v**2 + 7*v - 21. Let j be h(-9). Let k(l) = l**3 + 2*l**2 - 6*l - 7. Let p be k(j). Solve x - p = -x for x.
1
Let w = 3 - 0. Suppose w*i = -2*i + 15. Let v be 236/(-3658) - (-4)/62. Solve i = -v*u + u for u.
3
Suppose p = q + 12, 0 = -p + 12*q - 13*q + 16. Solve -2*i + p = 22 for i.
-4
Let b(m) = -m**3 + 21*m**2 + m - 8. Let o be b(21). Let g be 2/5 - 8/20. Suppose g*h + 2*h - 5*t + 4 = 0, -h + 2*t = 1. Solve -o = h*x + 2 for x.
-5
Let s be (-4)/1 - -8 - 0. Solve 5*q = -s*q - 9 for q.
-1
Let m = 346 + -346. Solve 0*h + h + 3 = m for h.
-3
Let c(x) = 11*x - 81. Let t(j) = -7*j + 54. Let m(v) = 5*c(v) + 8*t(v). Let f be m(0). Suppose 0*o + 3*o - f = 0. Solve -o = 4*p - 1 for p.
-2
Suppose 26*z - 23*z + 9 = 0. Let x = 4 - -50. Let m be (x/(-3))/(z/2). Solve 5*c - c = -m for c.
-3
Let j be -7*18/(-63)*4. Solve j*s = -5*s + 4*s for s.
0
Suppose 4*l - 1 = -r, 0 = -9*r + 5*r - 4*l + 16. Solve 0 = 12*q - 17*q - r for q.
-1
Let j be (6 - 6)/(1 - 1 - -2). Solve j = -0*v + 2*v + 2 for v.
-1
Suppose -4*k + 12 = -5*l, 4*l + 3 + 12 = 5*k. Suppose -3*o - o + l*o = 0. Solve o = b - 0 - 5 for b.
5
Let y be ((-9)/((-567)/14))/((-3)/(-54)). Solve -3*n + y*n = -5 for n.
-5
Let u be (-2)/(-3) + 91/21. Solve -u*y - 45 = -20 for y.
-5
Suppose -5*n + 20 = -f, -3*n = -0*n - 4*f - 12. Suppose 2*x + 2*x - 4 = 0, -3*x + 3 = -2*z. Let m be z - (n - 1) - -7. Solve 0*j - m = j for j.
-4
Let v = -900 + 902. Solve -v = -8*x + 14 for x.
2
Let x be ((-2)/(-4))/((-4)/(-10))*20. Solve -22*j + 27*j + x = 0 for j.
-5
Suppose 22 = 5*w - 8. Let u = w - 1. Suppose 7*s = 2*s + u. Solve -v - 4 = -s for v.
-3
Let r be 0 - 0/(-1) - -2. Suppose -5*n = -x - 5, 4*n - r*n = x + 2. Solve x = 5*g - 9 - 1 for g.
2
Suppose 2*w + 5*w = 140. Suppose 3*r - r = -3*v + w, 3*v - 4 = 2*r. Let c(k) = 6*k**2 - k + 1. Let l be c(1). Solve -o = -l + r for o.
2
Let s(q) = -30*q + 3. Let b(w) = -20*w + 2. Let r(a) = 7*b(a) - 5*s(a). Let t be r(2). Suppose 0 = -4*n - 7 + t. Solve n*x + 12 = 7*x for x.
3
Suppose f - 4 = -0. Let k be 51/9 + f/12. Let t(g) = -g + 6. Let y be t(k). Solve -m + y*m = 0 for m.
0
Let m be (-2 + 5)/(-15 + 16). Suppose -g = -m*i + 1, -2*i - 3 = -3*i. Solve -25 = -3*c + g*c for c.
-5
Let m = 12 + -8. Suppose -m*b + 42 = -2*d, 2*d + 0*d - 48 = -5*b. Solve 0*x - b = -2*x for x.
5
Suppose 0 = 5*t - 4*i - 34, 8*t - i = 3*t + 31. Solve -t*b + b - 10 = 0 fo