ose 54 - 30 = 12*j. Solve -j*x - 5 - 3 = p for x.
-4
Let a = 85 + -86. Let l be -1 - ((a - 0) + -12). Solve 0 = 4*y - l for y.
3
Suppose 39*v + 5 = 34*v. Let s be (1 + 0 - -4) + (-2)/v. Solve -3*p = -2 - s for p.
3
Let y(g) = g - 3. Let f be y(5). Let q = 5 - f. Suppose u + 5*m + 15 = 0, -15 = 4*u - 9*u + 5*m. Solve q = d - u for d.
3
Let a = 418 + -386. Solve 4*f - 36 = -a for f.
1
Suppose 0 = -3*g + 6, 5*g = 3*x - 43 + 14. Suppose d - 3 = -w, 3*d = -0*w + 4*w - 12. Solve -x + w = 5*a for a.
-2
Suppose 0*b + 4*b = 2*u + 42, 52 = 4*b - 4*u. Suppose 3*q = -m + 2*m - b, 0 = 3*m - 5*q - 16. Solve -m*c - 3 = -c for c.
-3
Let v = 1926 - 1914. Solve v*f = -0*f - 12 for f.
-1
Let z be -2*(1 + 7/(-1)). Let w = z - 10. Suppose 0 = -w*f + 4*f. Solve -2 = 2*x - f for x.
-1
Let n = -17 - -32. Let y = n + -22. Let x = y - -21. Solve -2*o - 4 = -x for o.
5
Suppose -3*o = -7 - 2. Suppose 0 = -5*h + g - 5, o*h + g = 2*g - 5. Let z(w) = w**3 + w**2 + w + 2. Let n be z(h). Solve 3 = -l - n*l for l.
-1
Suppose -5*m = -2*a - 78, m + 3*a + 1 = 3. Suppose -36 = -5*o + m. Solve -6 = -4*r + o for r.
4
Let k = 30 - 35. Let v(a) = -4*a - 4*a**2 + 4*a + 2 - a**3 + 5*a. Let f be v(k). Solve 7*j + 20 = f*j for j.
-4
Let n be (-3 - -4) + 4 - -3. Let l be (1/5 + 63/(-15))/(-1). Solve 0 = l*z + n - 20 for z.
3
Suppose 5*a + 3*a = 32. Suppose -146 + 21 = -5*i. Solve -9*q = -a*q - i for q.
5
Let i(w) be the second derivative of w**3/6 + 10*w**2 + 4*w. Let g be i(-14). Solve g*z - 2*z = 0 for z.
0
Let x = 601 - 599. Solve x*s - 7*s + 25 = 0 for s.
5
Let x(z) = z**3 - 7*z**2 + 3. Let a be x(7). Suppose -2*v + 2 = -2*n, 2 = v - a. Let j = -15 - -30. Solve -n*k = k + j for k.
-3
Let m(a) = 3*a - 6 + 0*a - a. Suppose 2*g = -0*g + 8. Let x be m(g). Solve 0 = u + x for u.
-2
Let p be 2 + -1 + 82 + -3. Let t = -2 + 2. Suppose t = c - 5*c + p. Solve 0 = 2*i - 6*i - c for i.
-5
Let q be (3 - 29/5)*-5. Let c(h) be the first derivative of h**4/4 - 13*h**3/3 - 13*h**2/2 - 14*h + 3. Let t be c(q). Solve 3*a + t = 12 for a.
4
Let h(c) = -c**3 - 10*c**2 + 9*c - 15. Let v be h(-11). Let l(w) = w - 6. Let s be l(v). Let m be (-20)/30 - 17/(-3). Solve s = m*j - 4 for j.
1
Suppose 33*y - 28*y = 20, 5*k = 3*y + 1563. Solve -2*w = -305 + k for w.
-5
Suppose 5*b + 5*c - 60 = 0, -2*b + c + 15 = 3. Solve -16 = -4*a - b for a.
2
Suppose 0 = 6*k + 488 - 542. Solve 4 + 14 = k*b for b.
2
Let v(i) = 3*i**2 - 3*i + 1. Let p = 24 - 23. Let c be v(p). Solve 3*u - 2*u + c = 0 for u.
-1
Let n(z) = -z**3 + 4*z**2 + 3*z + 6. Let b be n(5). Let s = b - -12. Suppose -5*x + s + 7 = 0. Solve -12 = x*a + 3 for a.
-5
Let h(p) = p. Let q(f) = 4*f - 12. Let d(k) = 2*h(k) - q(k). Let s be d(6). Suppose -5*j + n + 17 = s, -2*j - 5*n = -2*n. Solve -2*m - j*m - 5 = 0 for m.
-1
Let z be (-182)/(-28) - (-3)/(-2). Solve 52*o - 47*o = z for o.
1
Let t(m) = m**3 - 4*m**2 - 3*m - 7. Let r be t(5). Let p(l) be the third derivative of 19*l**4/24 + l**3/6 + 7*l**2. Let a be p(1). Solve 2*u = -r*u + a for u.
4
Suppose 0 = -6*m + m - 15. Let j be m*(-3)/(-15)*(-6 - -1). Solve -7 - 5 = j*r for r.
-4
Suppose 7*n - 16 = 3*n. Suppose -7 = 3*g + 5*z, 3*z + 44 = n*g - z. Solve 3*m - 6*m + g = 0 for m.
2
Let u be ((-629)/(-68))/(2/(-8)). Let m = -37 - u. Solve 0 = -2*w - m*w + 8 for w.
4
Let g be 0/2*(-1)/(-2 - -3). Solve 0*w + 4*w - 8 = g for w.
2
Let z(h) = -h**3 - h + 2. Let f be z(0). Let d = 1406 + -1406. Solve -f*o + 10 = -d*o for o.
5
Suppose -r + 9 = -f, -53*f + 54*f - 33 = -5*r. Solve 6*d = -23 - r for d.
-5
Let h be 1*(15 - (-2 + 0)). Suppose 3*a = -5 + h. Suppose a = -2*v + 10. Solve -v*g = -2*g for g.
0
Let d = -221 - -221. Let q(l) = l**2 - 3*l + 3. Let c be q(2). Solve 2*y - c - 3 = d for y.
2
Let v be 16/20*(-5)/(-2). Let z be (2/(-9))/(v/(-18)). Let f(r) = 2*r - 3. Let n be f(z). Solve -3*l - n = -7 for l.
2
Suppose t - 6*t + 25 = 0. Suppose 5 = 2*s - 5*s + 5*d, 2*s - 4*d = -6. Suppose 0 = t*u + a - 9, 5*a + s = -0*a. Solve 2 + u = -b for b.
-4
Let o be (-2)/5*(-45)/54*3. Solve f = 2 + o for f.
3
Let g = -16 + 15. Let z be (g + 0)/(2/(-6)). Suppose -2*o + w + 5 = -0, -z*w - 7 = -2*o. Solve -9 = n + o*n for n.
-3
Let l be -2 - (-8)/(-16)*-4. Solve -3*b + 14 - 2 = l for b.
4
Suppose -9*n + 6*n = -3*r + 12, -2*n = -r + 4. Let q = -2 + 4. Let s = r - q. Solve -2*l + s = -2 for l.
2
Let l = 4 - 1. Let k(j) be the third derivative of -j**5/60 - j**4/8 + 7*j**3/6 + 45*j**2. Let t be k(-4). Solve 15 = l*m + t for m.
4
Let j = 10 - 17. Let u = j - -13. Let q be (3/u)/(6/48). Solve 0*b = q*b + 12 for b.
-3
Let m = 10 - 0. Solve 6*i - m*i - 16 = 0 for i.
-4
Let k = -822 - -822. Solve -3*a + 0 = -k for a.
0
Suppose 0 = -19*y + 14*y - 3*l + 35, 2*y + l - 14 = 0. Solve y*x - 2*x = 10 for x.
2
Let m be (-13 - (-6)/2)*1. Let n = -2 - m. Solve 2*o = -0*o + n for o.
4
Let v(h) = -h**3 - 8*h**2 - 8*h - 60. Let k be v(-8). Solve -174*c = -170*c + k for c.
-1
Let j(y) = y**2 + 2*y + 3. Let r(c) = -2*c**2 - c - 3. Let w(o) = -3*j(o) - 2*r(o). Let g be w(-1). Solve -2 = g*d - 12 for d.
5
Let a = 185 - 178. Solve 28 = -a*f + 63 for f.
5
Suppose 0 = -7*h + 15*h - 96. Let r(j) = -j + 18. Let i be r(0). Let v be ((-8)/(-6))/(h/i). Solve n - 3*n = -v for n.
1
Let h(j) be the third derivative of j**5/30 - 13*j**4/24 + 3*j**3/2 + 17*j**2. Let x(b) = b**2 - 3*b + 2. Let p be x(4). Let a be h(p). Solve -a = -s - 5 for s.
-2
Let x(i) = 10*i**2 - 18*i - 19. Suppose -4*r + 15 = -13. Let h(p) = -7*p**2 + 12*p + 13. Let j(k) = r*h(k) + 5*x(k). Let g be j(7). Solve -g = -z - 0*z for z.
3
Let b(o) = o**3 - 4*o**2 - 11*o - 7. Let l be b(6). Let s(h) = -h**2 + h + 2. Let y be s(l). Solve y = -5*j + j - 12 for j.
-3
Suppose 2 = 3*g - 22. Suppose 7*h - g*h + 5 = 0. Solve -h*y + 0*y + 15 = 0 for y.
3
Let h = -194 - -197. Solve h*p = 8*p + 15 for p.
-3
Suppose 22*y - 58 - 294 = 0. Solve y*j - 6 = 14*j for j.
3
Let c(f) = f**3 - 14*f**2 + 12*f + 17. Let r be c(13). Suppose x = -4*d + 285, 287 = r*d - x + 12. Suppose d = z + 4*z. Solve 4*y + z - 34 = 0 for y.
5
Let g(q) = q**2 - 3*q - 5. Let d be g(5). Suppose -40 = 4*k - 2*r, -5*k = d*r - r + 24. Let j be ((-4)/k)/(1/4). Solve -5 = y - j for y.
-3
Let c = -16 - -18. Let y be (1/(-2))/((-4)/8). Solve -z + c = y for z.
1
Suppose -97*z - 66 = -108*z. Solve 6*s - z = 12 for s.
3
Let a be (-4)/6*6/(-2). Suppose 0 = a*y + y - 6. Suppose y*h - 60 = -0*h. Solve -5*t - h = -5 for t.
-5
Let a(d) = -2*d. Let r be a(-1). Let k(t) = 2*t + 21. Let o be k(-9). Suppose 2*c + r = 0, -o*c + 0*c = -y + 4. Solve -y = -x - 0*x for x.
1
Suppose 0 = -2*q - 2*k - 6, 5*q + 4*k - 5 = 3*k. Solve -q*y + 13 = 5 for y.
4
Suppose 4*y = -0*y. Let k = -8 - -17. Let q be (-6)/2 + k + -4. Solve 4*m + 6 - q = y for m.
-1
Suppose 0 = -h - 2 + 8. Suppose -11*c = -14*c + 42. Let p(r) = r**2 - 12*r - 24. Let s be p(c). Solve s*g - 2 = h*g for g.
-1
Let w be (3 + -1)/(14/21). Let m be (18 + 1 + (-27)/(-9))/2. Solve -4 = w*y + m for y.
-5
Let k(v) = v**3 + 3*v**2 - 3*v + 4. Let h be k(-4). Let t(z) = -1 - 5 + 4 + z - 2. Let r be t(14). Solve h = -0*c - 2*c + r for c.
5
Suppose 35*j = 94 + 11. Solve 2*t - j = -13 for t.
-5
Let k be 6/10 + 2235/25. Suppose 7*t - t = k. Suppose -41 = -4*d - 1. Solve -5*w + t = -d for w.
5
Suppose -2*u = 3*h - 129, -3*h - 5*u + 129 = -0*h. Let w = -42 + h. Solve w = s - 2*s for s.
-1
Let d(n) = n**2 - 12*n + 32. Let r be d(11). Solve 19 = i + r for i.
-2
Let t(k) = k**2 - 17*k + 3. Let j be t(17). Let b be 24/14 - 6/(-21). Solve -4*o + b = -j*o for o.
2
Let f(l) = -14*l + 6 + 7*l + 22. Let y be f(4). Solve y = a + 4*a - 25 for a.
5
Let i(a) = a**3 - 2*a**2 - 10*a. Let g be i(4). Let n = -8 - g. Let t(y) = 2*y**2 + 2*y - 1. Let r be t(1). Solve n*h = r*h for h.
0
Suppose 0 = -11*x + 392 - 194. Solve 9*b + 0*b = x for b.
2
Let j be (-10)/55 + (-68)/(-11). Solve j*f = 4*f + 10 for f.
5
Let b = 73 + -68. Suppose -3*j + 5*t = -32, b*t + 28 = 5*j + 3*t. Solve -2 - j = 2*k for k.
-3
Let k = -35 - -37. Solve -3*i + k + 7 = 0 for i.
3
Let y(c) = -c**2 + 4*c + 15. Suppose -2*o = 6, o = 2*j + 3*o - 10. Let r be y(j). Let w = 21 + r. Solve x = w - 5 for x.
-1
Suppose -2*p + u = -p, 2*p + u - 15 = 0. Suppose -5*s = -2*s - a + 2, 0 = -3*s + p*a - 10. Suppose -3*z = -4*z, 5*g - 4*z = 60. Solve s = 4*c - 0*c + g for c.
-3
Let a(w) = 2*w**2 + 1.