 0 = a - 4*j - 11. Solve -2*u = -u + 3*t + a, -u + 2*t = -10 for u.
0
Let a be (-3)/((3/(-2))/1). Let k be 0 + (7 + -1 - a). Suppose 4*j + 6*y - 5*y - 21 = 0, -5*y = 2*j - 33. Solve i - k = 4*l, -l - 2*i + i + j = 0 for l.
0
Let k(p) = -p**3 - 5*p**2 + 20*p + 87. Let g be k(-6). Solve -z = b - 1 + g, 4*b + 2*z + 8 = 0 for b.
-2
Suppose 5*n + l + 51 = 0, -5*n + 2 = -3*l + 49. Let p(q) = q**2 + 9*q + 1. Let t be p(n). Solve -3*i + 4*a = -t, -i = -a + 1 - 4 for i.
1
Suppose -30 = 2*o + 2. Let n be (2 + o/7)*-7. Suppose -5*b + 9 = v - b, 4*b + 6 = n*v. Solve -23 = -m + v*l - 5, -9 = 3*l for m.
3
Let t = 440 + -437. Solve 4*c - 2*h + 12 = 0, -t*c + 9*h - 9 = 4*h for c.
-3
Let a be (-10)/(-2) + (2 - -8)/(-5). Suppose -a*t + 22 = -101. Solve -3*f + 6*f + 3 = 3*p, -4*p = 5*f + t for f.
-5
Let l(h) = -h**2 + 7*h + 32. Let z be l(10). Let t = -10 + 15. Solve 0 = 3*m + t*u - 15, -m = u + z*u - 5 for m.
5
Let q(c) = 72*c**3 - c**2 - 4*c - 3. Let a be q(-1). Let n be a/(-60)*((-1)/(-2) + 2). Solve 0 = 3*v - 3*k + 24, -2*k - n*k - 10 = 5*v for v.
-5
Let g(y) = -2*y**2 + 16*y - 11. Let s be g(7). Solve -3*l + 7*l = -4*r - 8, 2*l - s = 5*r for r.
-1
Suppose 5*g - 9 = 1. Solve k - g = 0, -4*h + h - 4 = 4*k for h.
-4
Let f(a) = 6*a**2 - 126*a + 10. Let l be f(21). Solve 4*t + 5*w = -20, -4*w = 2*t - w + l for t.
-5
Let z be 33/4 - (-1)/(-4). Let c(d) = 2*d**3 + 2*d**2 - d + 2. Let a be c(2). Suppose -a = -7*q - 3. Solve 0 = -b + q, 0 = 5*k + 2*b + 2*b + z for k.
-4
Suppose -2*g - 3*g + 5*o = 5, 0 = -5*o + 15. Solve c = -2*w - 11, g*w - c + 24 = -3*w for w.
-5
Suppose -54 = -5*m + 6*y - 2*y, 4*m = -2*y + 38. Let j be (1 - 0)/(m/30). Solve 2*t + d = -0*t + 7, j*t = -2*d + 11 for t.
3
Let j = 197 + -192. Solve z - 4*u = u - 28, -3*u + 30 = -j*z for z.
-3
Let q(y) = -y**3 + 25*y**2 + 27*y - 24. Let r be q(26). Solve v = 4*p - 2*p, 5*v - r*p = -8 for v.
-2
Let v = -91 + 93. Solve 2*f - 2*d = -18, -v*d + 0*d + 26 = -4*f for f.
-4
Let v be 23/5 + (-6)/(-15). Solve -v*z - 12 = -4*b, 2*z + 5*b + 5 = 20 for z.
0
Let k be 0*2*3/(-18). Suppose -4*x - x + 10 = k. Let w be 0/1*(-11)/22. Solve 3*u + 15 = w, -r - x*u = -u + 7 for r.
-2
Suppose -3*z = -107 - 43. Let c be (-30)/z + 43/5. Suppose -4*u + c = -0*u. Solve -5*k = -13 - u, -3*h = -3*k for h.
3
Let z(n) = -30*n**3 + n. Let b be z(1). Suppose x + 7 = -8. Let d = x - b. Solve -8*a - 16 = -i - 3*a, -3*a - d = -5*i for i.
1
Let z = -823 - -826. Solve 0*p - 3*k = -z*p + 6, 3*k = 5*p - 4 for p.
-1
Suppose -1 = 3*n + w, 0*w = -4*n - w - 1. Let i = -17 - -33. Let u be 0/((i/(-4))/1). Solve n*d + 5*d = 5*o - 15, o - 4 = u for d.
1
Let y = 49 + -131. Let s = 84 + y. Solve h + h = -s, -8 = r + 5*h for r.
-3
Let s = 177 + -175. Solve -l - 5*y + 13 = s*l, 8 = 2*l + 3*y for l.
1
Suppose 12*a = 2*a + 100. Suppose 0*z - 20 = -a*z. Solve 0 = 2*l + k - 10, l = z*l - 4*k - 5 for l.
5
Let c = 77 - 72. Suppose s + 8 = -c*l, -2*l + 8 = 5*s - l. Solve -3*g + s*t = g - 20, -4*t = 16 for g.
3
Let f be (57/(-228))/((-1)/12). Let m(n) = 41*n**2 - 2*n + 1. Let i be m(1). Solve -5*r - f*v + 12 = i, 4 = -r + v for r.
-5
Let b = 3041 + -3041. Let g(x) = 3*x**2 - 3*x + 3. Let p be g(2). Solve -3*s + o - 9 = b, s + 2*s + 5*o + p = 0 for s.
-3
Suppose 5*i - 1 = 4*i. Let j = 11 + -9. Let u be (-1)/j - 28/(-8). Solve -4*v = 2*c + 4, -u*c + v - i = -4*c for c.
4
Suppose 4*l = 3 + 1. Suppose -7 - l = -4*m. Suppose -m*o + 6 = -0*o. Solve o*f + 4 = 4*f - 2*t, 5*t = 4*f - 16 for f.
4
Let i be 8 + ((-4)/(-1))/4. Let j be -6*1*(3 - 33/i). Solve 2*x + 2 = -2*c, -j*c = -3*x - 2 - 22 for c.
3
Let s(r) = -3*r + 24. Let f be s(10). Let b = f - -16. Solve o + 6*z - 3*z = b, -2*o + 4 = 2*z for o.
-2
Let j(f) = f - 5. Let o be (63/(-6))/3*-2. Let r be j(o). Suppose 10 = 6*l - l. Solve -4*p + r*u = 13 - 5, l*p - 5*u = 4 for p.
-3
Let n be (-732)/(-14) - (-4)/(-14). Let m = n - 49. Solve -29 = r + 5*f, 5*f + 6 = r + m*f for r.
-4
Suppose -v + 0*v + 4 = -g, 0 = 5*g + 3*v + 28. Let m be -4*g*(-1)/(-4). Let x(t) = -t + 10. Let q be x(m). Solve 2*d = -2*d + c - 11, d - 13 = -q*c for d.
-2
Suppose 0 = -3*z + 47 + 25. Suppose 0 = -z*l + 23*l + 37. Solve f = -4, -3*f = -w - 4*w + l for w.
5
Let h(p) = -38*p - 3682. Let d be h(-97). Let k = 4 - 2. Suppose 3 = u + k*u. Solve 0 = -3*t - 2*v + 11, 20 + u = 5*t + d*v for t.
1
Suppose 2*j = -5*a + 2, -2*j - 2*a + 18 = -5*a. Solve 4*i = -r - j, -1 = -3*r - i + 3 for r.
2
Let o be ((9/(-4))/3)/(1/(-8)). Suppose -37*n + o = -35*n. Solve -4*h + 1 = -3*c, c + 2 = -0*h + n*h for h.
1
Let s(n) = -19*n + 97. Let i be s(5). Solve 0 = -i*f + 2*b - 6, -b = 3*f + 4 - 3 for f.
-1
Let h be 1/((-3)/21) + 7. Solve h*u = i - u + 10, 2*i - 3*u = -25 for i.
-5
Suppose -17*r + 29 = -5. Suppose -r*y = 2*q - 14, 3*y - 3*q = -8*q + 31. Solve 3*v = -h - 20, 0*v = y*v - h + 5 for v.
-5
Let t = 22 + 2. Let z be (t/(-8))/(1 - 2). Solve -z*b = 5*x - 22, -b + 3*b + 2 = 5*x for b.
4
Let r be (0 - 6/(-15))/(1/35). Suppose -6*j - 80 = -r*j. Solve 0 = v + 5*z + 12 + j, 3*v - 14 = z for v.
3
Let x be -26*(2/(-3))/(8/30). Let o = x + -65. Let u be (0 - -1)*50/2. Solve 5*b - u = o, 6*l - 2*l = -2*b + 30 for l.
5
Suppose 5*k - 4*f + 80 = 18, 4*k + 48 = 4*f. Let j = k - -16. Solve 5*c + 5*n = -40, -3*c + j*n + 2*n + 11 = 0 for c.
-3
Suppose 5*f = 43 - 28. Solve -3*t = -3*n - t + 11, 0 = -f*n + t + 13 for n.
5
Suppose i = -0*d - 3*d + 7, -i + 3*d - 11 = 0. Let x be -3*i/((-4)/(-6)). Suppose 0*y = -4*y. Solve -3*h - x = 0, 5*a + h = -y*h + 22 for a.
5
Let i(m) = -9*m**3 + 4*m**2 + 3*m + 1. Let x be i(-1). Solve p - b - 3 = 0, p + 5*b - 4 = x for p.
5
Let n be (-21)/14 + (-150)/(-20). Solve 0 = w + 3*k + 4 + 2, 5*w = 3*k + n for w.
0
Let t(w) = -w**3 - w**2 - w - 6. Let b be t(-3). Let i be (-6)/(-2) + (-15)/b. Solve 2*c = 3*x - 21, -5*x + 6*c = i*c - 37 for x.
5
Suppose b - x - 4*x = 0, 3*b + 4*x + 19 = 0. Let u be (-3 + b)*1 - 3. Let m = u - -19. Solve 0 = -3*o - 2*i - 3 + m, 5*i = -25 for o.
5
Let l be ((-3)/(5 - -1) - 1)*-8. Suppose 0 = 3*b + q - 14, 0*q + 2*q = -2*b + l. Solve 24 = b*i - 4*j, 2*j + 3 = i - 4 for i.
5
Suppose 5*f = 3*h + 16, -4*h = -4*f + 6 + 10. Let k = 30 + -34. Let g = h - k. Solve -3*r + 2*v = 2*r - 4, -5*r - g*v = 4 for r.
0
Let q = 2833 - 2830. Solve -q*x + 11 = 2*u, x - 3 = u - 6 for u.
4
Suppose -3*v - 3*l = -120, -4*l = 3*v - v - 90. Let w be (-106)/10 + (-3)/(-5). Let h = v + w. Solve -15 = m + 3*b - b, -4*m - b - h = 0 for m.
-5
Let w(j) = -j**3 + 10*j**2 - 7*j - 16. Let i = -25 + 34. Let n be w(i). Solve -n*o - u = -5, 2*o + 11 - 26 = -3*u for o.
0
Let k(h) = -2*h**3 - 7*h**2 + 4*h. Let l be k(-4). Let t(a) = -a**2 + 8*a. Let y be t(5). Let q = y - 9. Solve 2*w - 2 = 0, -r + 0*r - 4*w + q = l for r.
2
Let d(v) = -v - 4. Let s be d(-1). Let x(g) = 2*g + 9. Let h be x(s). Solve l + 11 = 2*y, -2*y = -h*y + 2*l + 10 for y.
4
Let n be -5 + 12 + 1/((-4)/16). Solve 2*o + 2*v = -4, 4*v = n*o - 6*o - 8 for o.
0
Suppose 4*t - 4*c - 2 + 6 = 0, 4*t + 12 = -4*c. Let x be (t/(-4))/((-26)/(-156)). Solve -4*k - 9 = -p, -k = p - x*p + 11 for k.
-1
Let m(s) = s**2 - 17*s - 184. Let a be m(25). Solve -j = -5*w, -5*j + 4*w - 5 = a for j.
-5
Let x be 1*(3 + 0) - (-83 - -25). Let v = 71 - x. Solve 4*b - 7 - 5 = -4*k, 4*b + 3*k - v = 0 for b.
1
Let i = 40 - 16. Solve 0 = 5*k + o - 6*o + 40, 5*k - o + i = 0 for k.
-4
Suppose -27 = 264*y - 291*y. Solve -a + y = 2*i, 2 = -i - 5*a - 11 for i.
2
Let o = 1 + 1. Let u be (-9)/5*(-10)/(-2). Let j = -9 - u. Solve 0 = -5*t, o*a - t + 6 = -j*t for a.
-3
Let h(j) = 2*j**2 - 13*j + 10. Let f be h(6). Let r(n) = -n**2 + 10*n - 8. Let k be r(8). Solve 2*p - 6 = -2*v, f*v = 3*v + 4*p + k for v.
4
Let o = 2 - 0. Let t(r) = -3 + 1 - r + o. Let q be t(0). Solve -3*n - a - 14 = q, 22 = -4*n + n - 5*a for n.
-4
Suppose 146*k + 63 = 355. Solve -5*c + 9 = -k*p, 5*p = -3*c + 8*c for p.
3
Let h(b) be the first derivative of -b**4/4 + 2*b**3/3 - b**2/2 + 2*b + 10. Let k be h(2). Solve 3*z + 2*o + k*o = 0, 0 = 4*z + 4*o + 4 for z.
2
Let a(l) = -11*l + 70. Let i be (-6)/(-2)*(7 + -5). Let w be a(i). Solve 3*k + 3 = -0*s - s, w*s = 3*k + 3 for s.
0
Suppose 0 = -8*j + 66 + 158. Solve 2*q - j = -5*o - 8, -o - 3 = -q for o.
2
Let z = -3388 - -3403. Let a be ((-20)/6)/((-1)/(-3)). Let y = 31 + a. Solve 3*l = -n - 3 + z, -5*n + y = 2*l for l.