 + 1 + u for x.
1
Let n(g) = -g**3 + 3*g**2 - 3*g - 3. Let s be n(3). Let a be 52/24 - (-2)/s. Let j be (-3)/a*8/(-6). Solve 2*k - j = -4 for k.
-1
Let t(h) = -h**3 + h + 1. Let o be t(-1). Suppose -3*f + 11 = -o. Let p = 6 - f. Solve -g = -p*g + 1 for g.
1
Suppose -72 = -9*u - 3*u. Solve -g = -u*g for g.
0
Let d(m) = -m**3 + 16*m**2 - 61*m + 12. Let y be d(10). Solve -y = 12*c + 22 for c.
-2
Suppose -5*s + 5*c = -40, -3 = 3*s + 3*c + 3. Suppose 0 = -g + s - 1. Solve -i + g*i - 3 = 0 for i.
3
Suppose -2*c + 14 = -2*v, 4*v + 3*c = 14 - 7. Let t be v/(-8) + 9/(-4). Let q = 2 - t. Solve -3*r + 4 = -q*r for r.
-4
Let g(p) = p + 24. Let v be g(-11). Let i = 15 - v. Suppose 0 = -5*k + 4*f + 52, -18 - 20 = -4*k + 5*f. Solve k = -z - i*z for z.
-4
Suppose -23*a + 458 = 113. Solve -7*d - 8*d = -a for d.
1
Let o(u) = -7*u + 2. Let z be o(1). Let l = 7 - z. Solve -5*v = -2*v + l for v.
-4
Let i = 4 - 1. Suppose r = 5*r - x - 19, 39 = 4*r + i*x. Solve 2*l + 0*l - r = 0 for l.
3
Suppose 13*p - 70 = 10*p + 2*b, b = 4*p - 90. Solve p*f = -0*f + 22 for f.
1
Let t be 10/4*4/5. Suppose -t*d + 7*d = 20. Let b = -17 + 19. Solve -2*o - b = -d*o for o.
1
Let i = 9 - 7. Let z be ((-75)/(-2))/5*i. Solve -5*s = z + 5 for s.
-4
Suppose 8*p + 15 = 13*p. Solve p*n + 6 = -3 for n.
-3
Let z = -558 + 561. Solve -z = 4*p - 15 for p.
3
Let r = 55 + -36. Solve -14*q + r*q = 10 for q.
2
Let r be ((-36)/(-21))/(6/21). Let a be (-1 - 7)*(-3)/r. Solve 11 + a = -5*i for i.
-3
Let o be -10 + 4 + (-4)/(-2). Let j(t) = -8*t - 27. Let p be j(o). Solve p = -6*s + 5*s for s.
-5
Let k be (0/(-310))/((1 - 1) + 1). Solve k = -11*j + 17*j + 30 for j.
-5
Let z(o) = -8*o + 8. Let n(r) = 7*r - 7. Let i(f) = -7*n(f) - 6*z(f). Let l be i(-1). Solve l*w = 2 - 4 for w.
-1
Let l be ((-2)/(-3))/(3 - (-16)/(-6)). Suppose 0 = t + 3*m - 6, l*m + 3*m - 10 = 0. Solve -v = 1 - t for v.
-1
Let l be 0/(-1 + -1 + 1). Let m = l - 2. Let s be 4/(4/m - -3). Solve -s = -o + 1 for o.
5
Let g be 3*((-19 - -23) + 3/3). Solve -17*i + 10 = -g*i for i.
5
Let k be (20/16)/(3/12). Suppose -h + 2*d - 11 = -4*h, h + 2 = k*d. Solve 0*z - 3*z + h = 0 for z.
1
Suppose -5*q + 19 = -11. Let g(k) = k**3 - 6*k**2 - k + 12. Let w be g(q). Solve 11*z = 14*z + w for z.
-2
Suppose 5*s - 13 = 2. Let p(i) = i**2 - 4*i - 9. Let v be p(7). Let a = v + -4. Solve a*y + 15 = s*y for y.
-3
Let p = -1374 + 1380. Solve -p*d - 7*d = -13 for d.
1
Let k(r) = r**2 - 15*r - 118. Let t be k(21). Solve d = t*d for d.
0
Let r(d) be the third derivative of d**5/60 + d**4/12 + d**3/6 - 5*d**2. Let q be r(-1). Suppose q = b + 2*b - 9. Solve -b*a - 2 + 5 = 0 for a.
1
Suppose b + p - 6 = 0, -3 = -b - 2*p + 5. Suppose -b*t + 8 = -0. Suppose 7*a - 78 = t*a - 3*i, i = -4*a + 61. Solve -z = 2*z + a for z.
-5
Let k = -7 + 7. Suppose k = -4*t + 22 - 2. Suppose p + 0*g - 15 = 3*g, t*p = 3*g + 63. Solve 0 = -l + 5*l - p for l.
3
Let d(k) be the third derivative of k**6/120 - k**5/4 + k**4/8 - 5*k**3/6 - 6*k**2. Let n be d(15). Let i be ((-12)/8)/((-6)/n). Solve o - i = 3*o for o.
-5
Let f(u) = -u - 17. Let t be f(-11). Let o(c) = 2*c + 4. Let n be o(t). Let v = n - -10. Solve 3 - 1 = v*w for w.
1
Suppose -3*o = 4*f - 337, -8*f + 9*f = -3*o + 334. Let d = 114 - o. Suppose -2*k + 12 = -2. Solve w - d = -k for w.
-4
Let u = 2208 - 2194. Solve 13*p + u = -51 for p.
-5
Let z be 11 - ((1 - 3) + 1). Let c = -3972 - -3977. Solve -m = -c*m + z for m.
3
Let y(t) = 27*t + 42. Let p be y(-1). Solve -18*g = -p*g + 3 for g.
-1
Suppose 6*q - q = p - 25, 3*q + 15 = 2*p. Let a be p*((-4)/(-8) - 0). Solve 2*w + a = -4 for w.
-2
Suppose -31 = -5*n - 2*b, 4 = 3*b - 5. Suppose 5*l + n*z = 40, 0*z = -5*l + z + 46. Solve -1 + l = -4*s for s.
-2
Let o = -14 + 0. Let s(b) = b**2 + 12*b - 29. Let v be s(o). Let l be v/((16/(-12))/4). Solve -l*x - 4 = 5 for x.
-3
Suppose -53 = -k + 4*c, 0 = 2*k - 20*c + 9*c - 97. Solve -50 = -3*u - k for u.
-5
Suppose 0 = -6*i + 6 + 54. Suppose -i*x + 36 = -6*x. Solve -3*g + 0*g - x = 0 for g.
-3
Suppose 16 - 12 = 2*u. Let z be -1*-6*(-1)/u*-5. Solve v - z = 4*v for v.
-5
Suppose -4*n = -4*q + 4, 10*n - 2*q + 14 = 14*n. Solve 2*m - 20 = -n*m for m.
5
Let h be (-6)/(-12)*-10 - -10. Solve 0 + 5 = h*y for y.
1
Suppose -2*q = 5*y - 7*q + 50, 0 = 3*y - 5*q + 32. Let s be (-60)/y*9/5. Suppose 5*l + l - s = 0. Solve n = l*n for n.
0
Suppose -3*m + 3 = 0, 2*m - 30 + 76 = 2*r. Suppose r*z - 8 = 20*z. Solve -7*t = -z*t for t.
0
Suppose 8*r - 14*r = -18. Solve -r*d - 20 = -7*d for d.
5
Let o = 1 + 3. Suppose -o*i - 2*r = -36, 3*r = -0*r. Suppose 10*p = 8*p + 4. Solve i = p*s + s for s.
3
Let g be (3/(-5))/(16/(-80)). Suppose g*a + 5*u = 0, -12 + 3 = 3*u. Let r(o) = -3*o + 2. Let p be r(-2). Solve p = -a*d + 28 for d.
4
Let u be (2/4)/((-197)/(-1970)). Solve u*i = 4*i - 5 for i.
-5
Let o(c) = -c**3 - 5*c**2 - 6*c - 4. Let p be o(-4). Let d(v) = -v**2 + 5*v + 4. Let k be d(-3). Let q = k - -24. Solve p = -q*s - 4 for s.
-2
Suppose -18*g + 21*g = 0. Suppose 12*z - 96 = -g*z. Solve -4*b = -0*b + z for b.
-2
Let v be -2 - -4 - (4 + 0). Let o be v - (-8)/(-12)*-6. Solve 3*b - o = -8 for b.
-2
Suppose 14 = 5*s + 4. Let h be 3224/65 - 2/(-5). Let q = h - 46. Solve q = o + s for o.
2
Let v(m) = -3*m**2 - 2. Let r be v(-2). Let k be (6 + (-104)/16)/(2/(-56)). Let b = k + r. Solve b = -o + 4*o + 15 for o.
-5
Let p(c) be the first derivative of c**2 + 3*c - 7. Let u be p(1). Suppose -u*i - 9 = 2*l, -4*l - l = -5*i - 30. Solve -l*h = 2*h - 25 for h.
5
Let y(p) be the third derivative of -p**6/120 - p**5/10 - p**4/4 - p**3/6 - 10*p**2. Let q be y(-5). Solve -11 = -q*t + 1 for t.
3
Let f(r) = 19*r**2 - r + 2. Let b be f(1). Solve -8*p + 3*p + b = 0 for p.
4
Suppose -6011 = -32*j - 5851. Let g be (2/4)/(2/40). Solve g = -j*i + 25 for i.
3
Suppose -c + 3 = -1. Suppose z + 4*n + 25 = c*z, 4*z + 3*n = 0. Let u be ((-5)/z)/(9/(-27)). Solve u*f + 12 = -3 for f.
-3
Let a(r) = r**3 - 13*r**2 + 6*r - 68. Let o be a(13). Solve -h + o = h for h.
5
Let i(b) = 45*b - b**2 + 3 - 37*b - 9. Suppose 2*j = -0 + 14. Let v be i(j). Solve 2*x + v - 5 = 0 for x.
2
Let k = 457 + -448. Solve a - 4*a + k = 0 for a.
3
Suppose -3*l - 11 = 3*q + 2*l, -35 = -5*q + 5*l. Suppose q*d - 56 = 4*x, 0 = 2*d - 2*x + 3*x - 41. Suppose d*o = 15*o + 25. Solve o*g + 7 = -18 for g.
-5
Let p(g) = 7*g - 35. Let u be p(6). Solve 2*k - 1 = -u for k.
-3
Let k be (-4)/(-2*8/28). Solve -10*d + k = -3*d for d.
1
Let c be (-32 + 0)*35/(-140). Suppose -2*a - 5*w + 2*w + 9 = 0, -4*a + 5*w = -7. Suppose 0*k = k - 3*s - 8, 4*k + a*s = 17. Solve 7 = k*g - c for g.
3
Let m(c) be the second derivative of -c**3/6 - 7*c**2 - 22*c. Let v be m(-18). Solve v*w - 6*w = 0 for w.
0
Let p(g) = -g**3 - 9*g**2 + 3. Let z be p(-9). Let c be ((-16)/z)/(-1*2/6). Solve -5*k + k - c = 0 for k.
-4
Suppose -192 = -12*k + 8*k. Solve 17*j = 5*j - k for j.
-4
Let f = -97 + 145. Let c = -46 + f. Let q = -1 + 1. Solve k + 6 - c = q for k.
-4
Let t be -6*(2 + (-15)/6). Suppose 5*p = -n - 5, -5*n + 2*p - 2 = -4. Solve -3 = -t*m - n for m.
1
Let t be (-1 - -8) + -3 - 2. Let u(z) = 0*z**2 + 5*z**2 - 7*z**2 + z**t + 16 - 15*z. Let x be u(-16). Solve -3*k = -x + 6 for k.
-2
Let g(c) = 2*c**2 - c + 2. Let d be g(1). Suppose d*k = 4*k - 4. Solve -4 = -2*f + k*f for f.
-2
Let c(o) = -o**3 + 6*o**2 + o. Let g be c(6). Solve -g*v = 11 + 19 for v.
-5
Let l(b) = -b**3 + 6*b**2 + 5*b - 28. Let s be l(6). Solve 0 = 4*q - 18 - s for q.
5
Suppose 0 = 2*b + 4*x - 12, -3*b + x + 8 = 2*b. Suppose 4*w + 14 - 26 = 0, 0 = 4*m - 2*w - 10. Suppose -5*n = 4 - 14. Solve 0 = n*t - m*t - b for t.
-1
Let y = 9 - 3. Let f(x) = -x**3 - 7*x**2 + 9*x + 6. Let h be f(-8). Let c be ((-44)/(-77))/(h/(-7)). Solve c*m + m = -y for m.
-2
Let f be (-1)/4 - (-473)/(-44). Let z(t) = -t**3 - 12*t**2 - 12*t - 8. Let a be z(f). Suppose 7*r = 2*r + 10. Solve -r - 7 = a*s for s.
-3
Let k(u) = u**2 - u. Let l(y) = y**3 - 15*y**2 + 25*y - 16. Let q(m) = -2*k(m) - l(m). Let d be q(11). Solve -d = 5*r - 0*r for r.
-1
Suppose -4*z + 2*z = -2*l + 4, 0 = 3*l - z - 10. Suppose l = 4*n - 0*n. Solve -n = m + 2 for m.
-3
Suppose 1 = t - 1. Suppose -2*m - 5*b = -4, 3*m - m - 4 = -t*b. Suppose m*q + 30 = 7*q. Solve 4*r + q + 6 = 0 for r.
-3
Let y be (2*1)/(9/9). Suppose 7 = -y*x + 33. Solve 5*k + 12 = -x for k.
-5
Le