- s - 3*s = 9, 4*k = -n*s for k.
1
Let c = -974 - -974. Solve -5*r = 5*n + 10, c = -4*r + 5*r + 3*n + 10 for r.
2
Let z = 48 + -39. Suppose -z*x = -13*x. Solve 12 = 4*j + 4*n, -4*j - 3*n + n + 16 = x for j.
5
Suppose -n - j + 17 = 0, -j - 5 = 4*j. Suppose 41 = n*i - 31. Solve 0 = -2*k + 8, i*g + 22 = 2*g + 3*k for g.
-5
Suppose 4*n - 12 = 4*s, -3*s + 2*n - 3*n = -11. Solve -s*j + 4 = p, 5*p + 1 = -j + 3 for p.
0
Suppose -u + 4*t + 18 = 0, -3*u = 3*t + 2*t + 14. Suppose 228*w + 1056 = 580*w. Solve -c = b - 1 - w, 2*c - u*b + 8 = 0 for c.
0
Let f(i) = 2*i**3 + 2*i**2 - i. Let s be f(1). Suppose 5 = s*j - 4. Suppose j*u = u. Solve -2*k + 9 = -3*w, -5*w - 3*k = -u*k + 34 for w.
-5
Let n(i) = i**2 - 15*i + 44. Let j be n(4). Solve k + 3*d - 1 = 0, 4*d - 1 = -k - j*d for k.
1
Let v(a) be the first derivative of -a**4/4 - 17*a**3/3 + 3*a - 10. Let k be v(-17). Solve l - k*w = -14, 4*l + 5*w + 0 = 29 for l.
1
Let d = 18 + -3. Let v be (-3)/(-12)*4 + -13. Let l = v - -23. Solve 0*z - g - l = 3*z, -5*z + 5*g + d = 0 for z.
-2
Let m be (2 + 1)*(-11)/(-33). Solve -m = 2*p + 1, -5*i = 3*p + 28 for i.
-5
Let z be 2*-4 - 15/5. Let m = z + 13. Suppose 20 = 2*c + m*c. Solve -c*j - 9 = -0*j - 3*x, 4*x = 5*j + 12 for j.
0
Let i = -6 - -10. Solve 2*a = 4, 0 = 5*q + i*a - 18 + 5 for q.
1
Suppose 21*i - 76 = 17*i. Let m(b) = 4*b - 72. Let n be m(i). Solve 2*f + 10 = -3*o - n, 0 = -5*f - o - 9 for f.
-1
Let n(j) = 7*j + 9. Let p be n(-5). Let r = p + 29. Solve -5*d - 40 = 5*u, -r*d - 4*u - 17 = 10 for d.
-5
Let q be -2*(-4)/10*20. Suppose -8*f = 42*f - 150. Solve 4*n - f*x = -q - 12, 5*x - 20 = 0 for n.
-4
Let h(l) = l + 1. Let p be h(3). Let f(b) = -135*b**2 - 3*b - 2. Let j be f(-1). Let z = j - -134. Solve 3*a + 2 = -3*w - p, z = -4*a - 16 for w.
2
Suppose -4*p - 2*b - 4 = -0*b, 12 = -3*b. Let j = 5 + p. Solve -4*x - 2*o = j, -5*o - 1 = -3*x - x for x.
-1
Let s = -227 + 229. Solve -5*c - v = -17, v = -c - s*c + 11 for c.
3
Let l be -1*(-3 - -4) + 3. Solve l*h + 1 = -3*p + 2*p, -3*h = -4*p + 18 for p.
3
Let k be 3/(15/10) + 24. Suppose -k*q = -23*q - 9. Solve -4*b - 4*i + 2*i - 6 = 0, q*b = 5*i - 37 for b.
-4
Let x(r) = -r**3 - 2*r**2 + 7*r + 6. Let n be x(-4). Suppose -u + n = 4*u. Solve 2*w - 5*l = -17, -u*l - 2*l + 24 = w for w.
4
Suppose 465 = -23*i + 54*i. Suppose 5 - 2 = 3*v. Solve -2*c + v = 5*t - 5, t - 5*c + i = 0 for t.
0
Let f be (76/10)/(6/(-30)). Let k be f/(-8) - 4/(-16). Let r = k - 1. Solve 3*n - r*t = 4, -n + 10 = n + t for n.
4
Suppose -5*s + 3 = -5*b - 7, -4*b + 12 = 0. Suppose -2*t - 2*m = 160, -3*t + 4*m = 2*t + 445. Let y = 89 + t. Solve -y*i = s*f, -i = i - 2*f for i.
0
Let q(n) = n**2 + n - 2. Let d = -13 - -8. Let r be q(d). Suppose 0 = -5*m + 3*m + r. Solve 15 = -5*g, 3*s - g + m = -s for s.
-3
Suppose 0 = 9*d - 36 - 9. Solve s + 2*a - 6 = 0, 1 = d*s + 2*a + 11 for s.
-4
Let r be (-8 - -1)*725/(-203). Solve 0 = -2*z + 5*z - 4*t, 4*z + 3*t = r for z.
4
Suppose 7*t = 5*t + 10. Suppose 2 - t = -3*l. Solve 2*j - 23 = -3*r, 0 = j - 3 - l for r.
5
Let j(p) = -p**2 + 3*p - 2. Let x be j(3). Let b be (-6)/(-2)*(-10)/x. Let t = b - 11. Solve -t*o + 2*c - 12 = 0, -4*c + c = o + 3 for o.
-3
Suppose -r + 2*r = 139. Suppose -2*i - r = -149. Solve 0 = -u - i*p - 5, -2*u - 4*p + 7 = u for u.
5
Suppose 0*o - 8*o = 80. Let l be (-25)/o + 3/2. Solve -5*g - 20 = -2*w, -4*g + 2*w - 12 = l for g.
-4
Let i = 4 + -2. Let r(s) = 27*s**2 - 24*s**2 + 2 + 16*s - 5. Let z be r(-6). Solve 0 = -2*a + a + i*k - z, -a - 2*k = -11 for a.
1
Let a be (1 + -2 - -1) + 5. Let w = 96 - 92. Suppose 4*u - 2*u = 4*f - 38, 6 = f - w*u. Solve 3*i + f = -l - l, 0 = -5*i - l - a for i.
0
Let f(i) = 9*i - 126. Let q(y) = 3*y - 42. Let j(v) = -2*f(v) + 7*q(v). Let o be j(16). Solve -3*k = 4*w - 13, 2 = 2*w - o for k.
-1
Suppose -p + 86 = 83. Solve 10 = 5*f + p*q, 2*f + 4 = 4*f - 5*q for f.
2
Let r be (-14)/(8/((-528)/77)). Solve l = -3*h - 7, r*h + l = 8*h - 9 for h.
-2
Suppose -3*y + 18 = 3*w, -21 = -w - 4*y - 6. Suppose o = -w - 28. Let v = -29 - o. Solve -p - 4*q = 2*p - 3, 2*p - 2 = -v*q for p.
1
Let o = 11 - 7. Suppose -5 = -2*k + 3. Suppose -k*s - 2*f = -12, 0 = -5*s - 2*f - 0*f + 14. Solve -8 = -o*c + 4*l, 5*c + 0*l + l = -s for c.
0
Let x = -786 + 787. Solve -3*z - 5*f + 18 = 0, 5*z - 4*f + x = -6 for z.
1
Suppose -x - 2 - 1 = 0, 4*t = -4*x + 16. Let p = t - 5. Suppose -3*g + 9 = 2*l, -3*l = -p*l - 5*g + 2. Solve -y - 2 = -5*f, -l*f = -5*f for y.
-2
Suppose -3*c = 3*z + 15, -2*c + 0*c + z = 16. Let m be 6/(9/(27/(-6))). Let j = m - c. Solve -4*b - 5*p = -28, p - 2 - j = -b for b.
2
Let v(m) = 4*m**2 - 3*m + 2. Let h be v(1). Suppose h*k = 3*f + 81, 5*k = 4*f - 20 + 132. Let o = 27 + f. Solve x - u + 1 = 0, o*x + u - 3 - 8 = 0 for x.
2
Let r(s) = -s**3 + 3*s**2 - 2*s. Let d be r(2). Let x = d + 2. Suppose m + 3 = 2*m. Solve 4*n - 4*a + m = -1, -2 = -x*n - 2*a for n.
0
Suppose 19*n - 42 = -3*g + 14*n, 2*g - n - 28 = 0. Let f be 4/(-18) - (-100)/45. Solve f*k - g = 2*m, m - 3*m - 6 = 2*k for m.
-5
Let i be ((-24)/9)/((-10)/15). Suppose i + 6 = q. Let p be q/15 + (-2)/(-6). Solve 3*j = -5*t + 2*j - p, -3*t + 3 = -3*j for t.
0
Let i(s) = -3*s + 39. Let k be i(12). Suppose 4*n = k*h + 31, -n = 3*n + 5*h + 9. Solve 0 = -5*o - y + 9, 2*o + n = -5*y + 3 for o.
2
Suppose -5*s + 4*p = -51, -13*s + 16 = -9*s + 3*p. Solve 5*j - 15 = 4*w - s*w, -w - 3*j = -5 for w.
5
Let c be 2 + 2/(1 - 0). Solve -5*q + 3*j + 24 = j, 4*q + c*j = 8 for q.
4
Let d be (-54)/(-2) + (12 - 12). Suppose -2*c + 5*c - d = 0. Let p be c*(3 - (-24)/(-9)). Solve i = p*v + 15, 5*v + 3*i + 4 + 7 = 0 for v.
-4
Let w(v) = v - 10. Let g be w(14). Solve -6 - 2 = g*y, -4*f - 5*y = 6 for f.
1
Let w = 41 + -72. Let q = -26 - w. Solve -2*o + 3*k = 2, o + 0*o = q*k - 1 for o.
-1
Let a(h) = -h**3 + 23*h**2 + 2*h - 43. Let k be a(23). Solve -k*u + 4*m + 1 = 0, -2*m + 0 = 4*u - 16 for u.
3
Let l(w) = w - 20. Let b be l(22). Solve -4*o - 2 = 2*h - 6*o, b*h = 3*o for h.
-3
Suppose 4*g - 41 = -25. Solve 5*n + 7 = -0*a + g*a, -3*n - 3*a - 15 = 0 for n.
-3
Let v be (-6 - 190)/(-7)*(0 - 1). Let p = 31 + v. Let a be (-2)/3*(-42)/4. Solve t = 3*c + a - p, 5 = -3*c + 2*t for c.
-1
Let u = -26 + -11. Let q = u - -62. Suppose 0 = -3*z - 10 + q. Solve 3*t + o = z*o - 8, 20 = -4*t - 4*o for t.
-4
Let v = -1438 + 1447. Solve -d - 2*x = v, -3*d + 4*x - 5*x - 12 = 0 for d.
-3
Let u(l) = l**3 + 2*l**2 - 6*l - 6. Let v be u(-3). Solve 2*n = 3*r + 5*n, -v*r - 4 = -n for r.
-1
Suppose -3*k + 2*h = -85, -3*h + 60 = -0*k + 3*k. Let a = -7197 + 7202. Solve -a*p = -5*l - k, 4*p + 3 = -p - 2*l for p.
1
Suppose 95 = -3*f - 133. Let x = 78 + f. Suppose -2*z + 2 = -z + 3*q, z - 9 = 4*q. Solve 5*w - z*i - 10 = 0, -5*w + 2*w - x*i + 1 = 0 for w.
1
Suppose 38*f - 35*f = 3. Let a be 0 + f + 19 + -17. Solve -4*u - 2*v - 4 = a*v, u - 5*v = -1 for u.
-1
Suppose -2*b = 3*b - 5*i - 215, 3*b = -4*i + 129. Let c = b + -31. Let q be 8/c + (-26)/(-6). Solve q*r - 3*r = -5*j + 14, 12 = j + 5*r for j.
2
Let m be 14/(-35)*10/(-4). Let d be (12 - 1)*m/(-1). Let n(z) = -z**2 - 11*z + 13. Let p be n(d). Solve -4*w = 4*o - 20, 2*w + 5*o = p - 3 for w.
5
Let m(u) = 22*u**2 - 7*u + 7. Let p(d) = d**2 + d - 1. Let b(h) = m(h) + 5*p(h). Let x be b(1). Solve -r = 2*r - 9, 3*o - 5*r = -x for o.
-4
Suppose 0 = -2*b - 5*u + 1, 2*u = b - 2*u - 20. Solve 4*d = -s + 5, -s + b*d - 5*d = -5 for s.
5
Let y = 99 + -92. Suppose -y*k + 25 + 10 = 0. Solve -p + 14 = -2*z, k*p + 3*z - 2*z = 15 for p.
4
Let n be -63*(-4 - (-55)/15 - 0). Solve -5*y - 2*l + n = 0, -2 = 2*y + 3*l - 6 for y.
5
Suppose 4*v = -0*v - 2*d + 378, 0 = -3*d - 3. Let a = -95 + v. Solve 0 = -a*z - 3*z - 6, -4*z + 12 = 4*y for y.
5
Let c(o) = o**2 - 4*o - 9. Let t be c(7). Let k be (t/4)/1 + -3. Solve 0 = v - 5*h - 6, k = -0*h + 2*h + 4 for v.
-4
Suppose 16*y - 127 = -63. Solve -4*m - a + 3 = 0, -2*m + y*a - 12 = -0*a for m.
0
Let c = -4 + 4. Let u = 3 + c. Let w be ((-12)/9)/((-4)/u). Solve -4*v + w = 9, v + 2 = x for x.
0
Let m be (-7)/(-21)*-2*75/(-10). Solve -k + z = -0*k - m, 0 = -3*k - z - 5 for k.
0
Suppose 0*d = 5*k + 2*d - 2, -1 = -d. Suppose -s - 4*s + 40 = k. Solve -b = 2*i - s, b + 0*b + 4*i = 18 for b.
-2
Let j = -247 + 249. Let u = 24 + -13. Suppose 3*x = 5*s - 13, 2*s = x - s + u. Solve r - 21 = j*r + 5*b, 0 = -