5*j + 24 = y, -4*p + j = 12 for p.
-2
Let i be 10/20*24/3. Solve 0 = 4*k - 5*k - i*b - 15, 0 = 4*k + 3*b - 5 for k.
5
Let w(n) = 2*n**3 - 13*n**2 + 22*n - 2. Let b be w(3). Solve -5*d = 4*o + b, 6*o - o + 8 = -4*d for d.
3
Let f(o) = -30*o**3 + o**2 - 10*o - 10. Let i be f(-1). Solve 5*v = -5*a + 3*v - i, 0 = 4*a - 2*v + 14 for a.
-5
Let n = -576 + 577. Solve -h + n = 3*x, -5*x - 3*h - 1 + 8 = 0 for x.
-1
Let g be (-200)/(-52) + (-6)/(-39). Suppose 2*x = -4, 4*q - 2 - g = 3*x. Suppose q = -4*v + 3*v + 3. Solve -5*h + 20 = v*i, -4*h + 16 = 2*i - i for i.
0
Let w = -625 + 625. Solve 2*p = n - 3, w = 2*p + 5*n + 16 + 17 for p.
-4
Let c(n) = -n**3 - n**2 - 2*n - 2. Let q be c(-2). Let s = q + -3. Solve 4*t = -3*l - 21, 5*l + s*t - 2 = -26 for l.
-3
Let j = 31 - 17. Suppose 1045 - 1060 = -c. Solve -5*m = -3*t + c, j - 2 = -4*m + t for m.
-3
Let o be (9/12)/((-6)/(-24)). Solve -2 = -f - 4*m - 10, -m + o = -f for f.
-4
Let i = -43 - -37. Let n be (36/(-42))/(i/28). Solve 3*m = 2*t + 7, m - n*t - 10 = 9 for m.
-1
Let v be (48/5)/((-9)/30). Let u be (v/(-12))/((-10)/(-15)). Suppose l = -u*g - 4, -4*l + 2*g + 20 = -0*g. Solve -l*c + 13 = -5*b, -5*b - c - 3*c + 3 = 0 for b.
-1
Suppose 0*t + 3 = -3*t. Let p be t/(-3) - 16/(-6). Solve -p*z + 12 = 4*s, -z = 2*s - 5 - 1 for s.
3
Let u(g) = -4*g + 18. Let c be u(4). Let f(v) = 2*v**2 - 4*v + 2. Let j be f(c). Solve -4*l - 25 = -5*i, -j*l - 6 - 6 = -2*i for i.
1
Let b = 8 - 3. Let w = -65 - -105. Suppose -5*c - w = -b*m, 44 = m + m + 5*c. Solve -4*h - m = 0, 4*i + 2*h = 2*i for i.
3
Suppose 0*s - 3*b = -2*s + 60, s + b - 20 = 0. Let w be 4 + 3*(-4)/s*8. Solve w = -4*q + u - 6, 0 = 3*q + u - 0*u + 8 for q.
-2
Let n(x) = x**2 + 19*x + 50. Let i be n(-16). Solve 4*z - i*b + 2 = 0, 4*b + 7 = -2*z + 3*b for z.
-2
Suppose y - 4*u + 11 = -10, -4*u - 184 = 4*y. Let f = -16 - y. Solve b - 4*m - 5 = 0, -5*b + 2*m + f = -0*m for b.
5
Let k be 116/28 + -4 - 166/(-14). Suppose k = 5*z - 3. Solve y = 3*r, 4 = -y - z*r + 2*r for y.
-3
Let m(i) = -27*i. Let w be m(-1). Let y be (38/(-15) - (55/(-25) - -1))*-3. Solve -2*s + 4*d - 21 = s, 5*d = y*s + w for s.
-3
Suppose -5*u + 8 = -7. Suppose u*d - 7*d = -16. Solve d*j + 4 + 0 = -4*c, -4*c + 31 = -3*j for j.
-5
Let m(u) be the second derivative of u**4/6 + 2*u**3/3 - 2*u**2 - 18*u. Let n be m(-3). Solve -3*a + 4*f = -18, 2*a + 8 = 3*a - n*f for a.
2
Let h(o) = 3*o**2 + 3*o - 2. Suppose 2*n = -n + 3. Let r be h(n). Solve 3*c = 1 - 10, -r*d - 4*c = 16 for d.
-1
Let d = -64 - 1. Let o = 70 + d. Let a(u) = -u**3 - 10*u**2 - 8*u + 12. Let k be a(-9). Solve -3*w = o*y + 7, k*y = -2*y - 2*w - 8 for y.
-2
Let j be 2/(-5)*-1 - 322/(-70). Solve j*m - 6 = q, 0 = -2*q + q + m + 2 for q.
4
Let g = 21 + -3. Let r be 4/(-18) + 58/g. Solve -3*p - 3 = -5*v - 1, -p - r = -4*v for v.
1
Let j be -3 + -1 - (-92 + 22). Suppose j = -3*b + 75. Solve 14 = 2*n + b*n + 3*c, -9 = -3*c for n.
1
Let p = -283 - -283. Solve -4*m - 3*v + 18 = -p*v, 3*v + 6 = 4*m for m.
3
Let j(b) = -b + 4. Let v be j(0). Suppose 5*q = 5*l + 55, 4*l + 14 = 3*q - 14. Suppose 4*t - q = -v. Solve 13 = -2*d + t*g, 2 + 2 = -d - g for d.
-5
Let c be (-414)/(-24)*(-16)/(-6). Let w = 71 - c. Suppose v - 6*v + w = 0. Solve 0 = v*m + 3*x, 5*m = -2*x + 6*x for m.
0
Let i(n) = n**2 - 15*n + 15. Let s be 4/(12/(-63))*(-4)/6. Let a be i(s). Solve 0 + a = -j, 4*y + 5 = 3*j for y.
-2
Let v = -8 - -10. Solve -2*k - v*s = -0*s + 6, 4 = -4*s for k.
-2
Suppose -n + 5 = 7. Let z be ((-6)/n - -3) + -1. Solve 2*p + 0 + 5 = -5*l, z*l = -5*p - 5 for l.
-1
Let q = 10 + -7. Let o be -3 + (8/10 + 0)*5. Solve x - 5*g = o - 0, -q*g - 2 = -2*x for x.
1
Let r be 0/(-3) - (-2 - 2). Let h(d) = -d**2 - 20*d - 100. Let v be h(-9). Let l be (v - (-2)/1)*r. Solve 5*t - 5*s = 45, 4*t + 0*t = -l*s - 4 for t.
4
Suppose -24 = -4*m + 4*p, 3*p - 2*p = -2*m + 9. Let g(l) = -45*l + 12. Let b be g(0). Solve -9 = m*u + 2*x, -2*x + b = -u + x for u.
-3
Suppose -3*v + 2*d + 30 = 0, -2*v + 3*d = 5*d - 10. Suppose v + 4 = y. Let x be (4 - y/4) + 1. Solve 17 = 3*l + 4*t, -x*l + l = -2*t + 1 for l.
3
Let x be -4 + 0 + ((-28)/(-4) - -1). Suppose 2*t - 2*q = -7*q + 23, -x*t + 13 = -q. Solve 2*j + 2 = t*v, v = 2*j + 4*v + 9 for j.
-3
Let z = -81 + 85. Solve 4*s = 5*s + 5*f - 1, 5*f = -z*s + 4 for s.
1
Let z = -6 - -11. Suppose -5*t - 3*f = -13, -z*t + t + 5 = -3*f. Solve 5*l + n = 4*n + 10, -7 = t*l + n for l.
-1
Let u(j) = 2*j - 32. Let k be u(17). Solve -3*o + c + 11 = 3*c, -2*o - 6 = -k*c for o.
1
Suppose 5*h + m = 7*h - 17, -4*h = 4*m - 4. Solve 0 = 3*g - 11*o + 12*o - 2, -2*o - h = -4*g for g.
1
Let i = 297 + -293. Solve -3*b + i*a = 2*b + 12, -3*b + 4*a - 12 = 0 for b.
0
Let a = -440 + 442. Solve u = -3*k - 3, 5 = k - a*u - 1 for k.
0
Let l be (-6)/16 + 2052/96. Suppose 29*a - l*a = 16. Solve -26 = 3*u + 3*p + 2*p, -a*u - 4*p - 20 = 0 for u.
-2
Let u = 3 - -11. Let f = 18 - u. Solve 6 = -5*c + 4*t, 6*c = f*c - 3*t - 7 for c.
-2
Let n(r) = 2*r - 8. Let a(v) = v**2 + 15*v + 50. Let b be a(-11). Let i be n(b). Let k be -1 + 1 + -2 + 9. Solve -3*j - t = i, k*j + 18 = 3*j + 5*t for j.
-2
Let z(a) = -a + 12. Suppose 15*v + 40 = 20*v. Let p be z(v). Solve -r = -p*u + 5, 3*u + 6*r = 3*r - 15 for u.
0
Let w(u) = -9*u**2 - u**3 + 0*u + 3*u - 5*u - 13. Let c be 2/(-2)*-1*-9. Let t be w(c). Solve 4*y + t*l - 4 = 9, -7 = -4*y + l for y.
2
Let n = 143 + -128. Let p = 12 - 8. Solve 0 = -w - 2*a - 2 + n, p*w - 28 = -2*a for w.
5
Suppose -y = 4*y - 10. Let z be ((27 - 3)/(-4))/y. Let u be (-1)/z + 24/9. Solve 4 + 0 = u*i - g, -4*g = -3*i - 2 for i.
2
Suppose 3*a - 3 = 3. Suppose a*w - 130 = -3*w. Suppose 56*t + 3*h - 5 = 58*t, -4 = -5*t + 2*h. Solve 4*o - 18 = t*q, -4*q + 6 - w = 0 for o.
2
Let d = -402 + 402. Solve 0 = -2*z - d*m - m + 7, -5*m + 30 = 5*z for z.
1
Let u(v) = -13*v + 268. Let b be u(20). Solve 4*f + 2*p - b = 0, f = 2*p - 6*p - 5 for f.
3
Let t(a) = a**3 - 13*a**2 + 3*a - 25. Let z be t(13). Solve 3*g = -2*h + z, 3*h - 8 = -g - 1 for h.
1
Suppose 5*k + 60 = 5*v, -14*v = -12*v + k - 12. Solve 1 = p + 2*m - 2, -3*m = -2*p - v for p.
-1
Suppose -x - b + 6 = 0, -12*b = 3*x - 14*b + 7. Let q be (-3)/9*0 - -5. Solve 2*j = -q - x, -7 = 2*a + 3*j for a.
1
Suppose -2*b - 5*z + 40 = 0, -2*b + z + 26 = -z. Let g be (b/(-12))/(6/(-24)). Solve 5 = -4*p + g*i, 0 = -3*p - p + 2*i - 2 for p.
0
Suppose 4*b - 12 = -0*b - 2*z, -2*b = -4*z - 6. Solve b = -8*l + 5*l + 4*a, 5*a = l + 1 for l.
-1
Let q be (2/4)/((-1)/12). Let y be (-2)/(q/15) + -1. Let l be (-549)/(-189) - (-4)/42. Solve -f = l, -5*i - f + y*f = -4 for i.
-1
Suppose 0 = -81*m + 64*m + 51. Solve j + m = -4*p, 4*p - 6*j + 8*j + 2 = 0 for p.
-1
Let s = 5517 + -5513. Let q(y) = -3*y. Let f(b) = -b + 1. Let u(n) = 5*f(n) - q(n). Let l be u(-5). Solve 2*t + 35 = 5*p, -s*p - 5*t - l = -2*p for p.
5
Let y be ((-450)/(-75))/((-10)/16 + 1). Solve y*j = -l + 14*j + 3, 6 = 2*l - 4*j for l.
3
Let q(o) = -2*o**3 + o**2 - o - 1. Let c be q(1). Suppose 6 = 5*l - 29. Let s = l - c. Solve 2*g + 0*g + t - s = 0, -4*g + 12 = -2*t for g.
4
Let t(u) = -10*u**3 + 4*u**2 - 4*u + 4. Let z be t(2). Let g be 51/z*2*-2. Solve -5*w = -g*i - 14, -3*i = w + i - 12 for w.
4
Let l(f) = f**3 - 7*f**2 - f + 6. Let s = -1 + 8. Let k be l(s). Let p be (0 - -2) + (k - -1). Solve x = -t - 0 + 1, t + p*x - 3 = 0 for t.
-1
Suppose 0 = -21*m + 26*m - 10. Solve -k - 2*i = -8, -i - 1 = -2*k - m*i for k.
-2
Let i(y) = -11*y + 15. Let x be i(1). Solve 6 = w + 3*l, 27 = -x*w + 3*l + 2*l for w.
-3
Let m(v) = -v**3 - 4*v**2 + 15*v + 14. Let x be m(-6). Let d = x - -7. Solve -2*r - 3*c = -r - 11, -31 = 4*r - d*c for r.
-4
Let o(s) = s**3 - 20*s**2 + 3*s - 58. Let h be o(20). Solve -3*l + 2*r + 1 = h*l, -4*r + 12 = 4*l for l.
1
Let r(q) = 2*q + 45. Let n be r(0). Let f = n - 42. Solve s + 3 = -f*c + c, 0 = 4*s + 4*c for s.
3
Suppose 2*c - 6 = -3*h, 0 = -4*c + 4*h + 3 + 9. Solve 5*n = -2*f + n + 8, 3*f - 12 = c*n for f.
4
Let u(w) = -w + 22. Let s be u(20). Solve 5*z + 2*b - 30 = b, s*z = -2*b + 20 for z.
5
Let v be (-4)/(-2) - (0 + -3). Suppose 108 = 4*z + 5*o, 119 + 16 = v*z - 4*o. Let g(b) = b. Let j be g(9). Solve 5*x + 4*n = 41, z = 2*x + 2*n + j for x.
5
Let u(k) = -3*k - 12. Let n be u(-5). Suppose 12 = n*l - 0*l. Let v(o) = o**2 + 15*o + 4. Let w be v(-16). Solve 3*t + w =