
Suppose 0 = 3*l + 2*l - 20. Let x = 52 + -33. Let u = x - 16. Solve 0 = 2*y + 4, 0 = l*p - y - u*y - 12 for p.
1
Suppose 5*t + 4*j - 13 = 0, -2*j = -2*t - 6*j + 10. Let z be 3/1 + t + (1 - 1). Suppose 3*p - 5*p = 0. Solve p = -h + 3*b + 1, -5*b - 15 = -h - z*h for h.
4
Let q(u) = 44*u - 164. Let a be q(4). Suppose a*k - 5*p = 16*k + 2, 2*p = 4*k - 12. Solve 0*l + 16 = 4*s - k*l, l = 4*s - 16 for s.
4
Suppose -4*u = -4*v - 36, 2*v - v = 3*u - 17. Suppose -13 = -3*w - 4*m + 7, -4*m + 20 = -u*w. Solve g + l + w + 10 = 0, 2*g + l = -15 for g.
-5
Let o(a) = -a**3 + 14*a**2 - 5*a - 69. Let g be o(13). Suppose 526*f + g = 533*f. Solve j + j - 2 = k, -f*j + 35 = 5*k for j.
3
Let n(d) = 8*d**2 + 4. Let z be n(-2). Suppose 58*o - z = 49*o. Solve 0 = -2*u - b + 3, -3*u + 28 = -u - o*b for u.
4
Let l be 1/(3/3) - -10. Suppose 2416 = 591*b + 82*b - 276. Solve 3*j - 14 = -b*f + l, 0 = -3*f + 5*j - 3 for f.
4
Let g be ((-2)/(-5))/((-11288)/595 - -19). Solve -2*w + g = -4*h, -9*w + 4*h + 9 = -12*w for w.
1
Let k(q) = -8 - 8 - 8 + 34 - 12*q. Let n be k(1). Let x be 400/(-120)*(0 - (-3)/n). Solve -5*s + 5 = -u, -x*u = -5*s - 3 + 8 for s.
1
Let a be ((-248)/93)/((-2)/3). Suppose -o + 6*o = 20. Suppose 4*b + o*w = w + 10, w - 18 = -5*b. Solve 0 = b*i + n + a, n = 3*i - 0*n + 3 for i.
-1
Suppose 3*v - 3*i = 81, v - 4*i + 126 = 6*v. Suppose -v = -5*l - 11. Let h be 1 + (l - 6) + 4. Solve -3*s - h*f + 3 = 4, 0 = -s + 4*f - 19 for s.
-3
Let q(f) = -2*f**3 - 70*f**2 + 82*f + 363. Let z be q(-36). Solve -29 = z*s + b - 9, 5*s + 5*b + 50 = 0 for s.
-5
Let s = 11987 - 11960. Solve 5*o = -4*u + 15, 2*o + u - 6*u = -s for o.
-1
Let d(z) = 20*z - 119. Let l be d(6). Let f be (-3)/((l + -4 - 0) + 2). Solve -4*x + 4 = 3*n + f, -3*n - 19 = -x for x.
4
Let n be (-1728)/(-80) - 2/(-10)*2. Suppose 5*s - 3*m = 37, 0*s + 2*s = 3*m + n. Solve 0*a - 2*o = -2*a + 12, -o - s = 0 for a.
1
Let i(m) = -m**3 + 16*m**2 + 2*m - 17. Suppose 6*p - 71 = 25. Let c be i(p). Solve -5*n = -2*k - 14, -5*n + c = -3*k - 1 for k.
-2
Let k be (-1 - 45/(-6))/(1/(-2)). Let p = k + 14. Let x be p*(-2)/4 + (-33)/(-6). Solve 2*h - 15 = -y - 3*h, -x*h + 15 = -5*y for y.
0
Suppose 17*b = 30 + 21. Solve 3*n + x + 1 = 0, -19 = -b*n - 13*x + 17*x for n.
1
Suppose -4*r = 3*u, 3*r - 2*u = -0*r. Let x be -2 + r - (-2 - 43). Let k = 67 - x. Solve 0 = 4*l - o + 6*o + k, -4*o - 16 = 0 for l.
-1
Let f(k) = 3*k + 26. Let w be f(-8). Suppose -5*o + o - w*c + 34 = 0, 9 = -o + 3*c. Suppose -o*u + 20 = -4. Solve u*n = -5*a + 3, 0*n + 2*a = -5*n - 9 for n.
-3
Suppose -r + 25 = -6*u + 2*u, 10 = -3*r - 5*u. Suppose -16*k + 86 - 6 = 0. Suppose -9 - 11 = 4*z, -2*z = 4*l - 6. Solve 0*t = k*t + r, -o + l*t = -8 for o.
4
Let f be 1056/(-10) + (-27)/(-45) + -3. Let b = 114 + f. Solve q - s + 10 = -b*s, 2*q - 8 = 4*s for q.
0
Suppose -99*j + 23*j + 1520 = 0. Solve -2*y + 30*o - 26*o = j, -15 = 4*y - 3*o for y.
0
Let k(z) = z**3 - 12*z**2 + z - 17. Let m be k(12). Let f be 5/((7 + m)/(-1 - -3)). Let t = -2 + f. Solve 3*n = -t*r + 6, r + 4*n + 2 = n for r.
4
Suppose k + 6 = 0, -5*u + 52 = -k + 41. Solve 10 = 5*x + 5*i, 3*x - i - u = 1 for x.
1
Let l be (-14)/(-2)*(-15)/105 - -6. Solve -c - 5*b = 19, -4*b = 4*c - l*b - 8 for c.
1
Suppose -428*z = -807 - 49. Let h(a) = 6*a + 1. Let s be h(1). Solve 0 = -3*c + 5*d + 22, s*d = -4*c + z*d + 6 for c.
4
Let y = -682 - -978. Let k = y + -280. Solve -4*z - 17 - 7 = 4*h, 2*z = 5*h + k for h.
-4
Let i(p) = -7*p - 20. Suppose -4*t = 2*l - 0*l + 10, 5*l - 45 = 4*t. Let q be i(t). Let f = -46 + 49. Solve f*a = -q, -2*u + 2*a + 16 = -2*a for u.
-2
Let l be 84/3 - 15/(-1)*(-29)/(-87). Solve 0 = 4*b - 5*d - 4 - l, -4*d - 20 = 0 for b.
3
Let m be 14/1 + (-2 - (-10 - -6)). Solve m = -3*a - 5*y, y = 5*a + 5 + 3 for a.
-2
Suppose -11*o - 23 + 144 = 0. Let r be 53/11 + 2/o + -1. Solve 3*p + 4*y = 2*y - 14, r = -4*y for p.
-4
Let k be 2/18 - (-385)/(-63) - -22. Let z be 6 + (k/40)/((-6)/15). Solve 4*i - 8 = 5*o + 10, z*o + 20 = 5*i for i.
2
Let x(y) = 2*y**2 - 5*y + 1. Let g be x(4). Let d = -14144 + 14149. Suppose g*v - 3*v = -d*v. Solve -3*z + a + 14 = 0, -3*a = z - v + 12 for z.
3
Suppose 24*j = 25*j. Let t(y) = -187 + j*y + 174 - y. Let q be t(-17). Solve -5*u + q*w + 10 = -2*u, -3*w = -u + 10 for u.
-2
Let h be (-46)/(-4) + 3/6. Let r(p) = -p**3 + 11*p**2 + 11*p + 17. Let d be r(h). Suppose 3*w + 4 = d*w. Solve 5 = 2*l + 5*k, -l + w*k = -0 + 2 for l.
0
Let z = 657 - 685. Let l be (z/(-4) - -1) + 2. Solve 0 = 4*q + 16, 2*q + l = -3*v + 2*v for v.
-2
Suppose 6798 = 12*s + 6618. Solve 2*a + 4 = 2*u, 12*a + 4*u - 5 = s*a for a.
-3
Let y be (40/14)/(4/14). Let w be 40/y - (1 + 0). Let n be 1 - (5 + w + -11). Solve -r = -3*g - 1, -n*r + 3 + 15 = 2*g for r.
4
Let s = 14 + -10. Let l = -53890 - -53895. Solve 2*o + 3 = 2*i + 1, s*o = -5*i + l for o.
0
Let z be (-48)/40*(-1 - (-1067)/(-3)). Let c = -426 + z. Solve -5*g - 26 = 4*x, c*x - 3*g = -0*g - 2 for x.
-4
Let h = -7 - -10. Suppose 0 = 24*n + 35*n - 118. Solve -6 = -h*w + k + n*k, 3*w = -3*k + 18 for w.
4
Suppose 2*r + 14*r = -480. Let q be 10/15 + 321/(-9) + 2. Let f = r - q. Solve -f*s + 4*y + 16 = 0, y = -3*s + 4 + 7 for s.
4
Let m be 0 + -1 - (-15 + 12). Suppose 100 = -m*h + 4*h. Let z = -46 + h. Solve -5*j = -2 - 18, z*y - 3*j = -4 for y.
2
Let q(u) = 2*u**2 - 50*u - 294. Let a be q(-5). Solve 15 = -5*b + 5*i, -13*i + 15*i = -3*b + a for b.
0
Let d(b) = -6*b - 46. Let w be d(-17). Let q be (16/w)/(2/154). Suppose -3*z = q - 31. Solve -z*g + 4*h + 1 = 0, 4 = -g - 4*g + h for g.
-1
Let g(r) = -2*r**3 - 28*r**2 - 32*r - 443. Let t be g(-14). Solve t*m = j + 4, 0 = -m - 5*j + 6 for m.
1
Suppose 2*h + 3*b - b = -104, 89 = -2*h + b. Let s(q) = 25*q**2 - 196*q + 20. Let j be s(8). Let l = j + h. Solve x + 6 + 1 = 5*n, -2*n - 8 = l*x for x.
-2
Suppose -18*f + 15*f - 4 = 4*v, 3*v = 5*f - 32. Let b be (-19)/v + (-12)/16. Solve -8 = -4*k + 3*o, 2*k - 2*o + 4 = b*k for k.
2
Let s(y) = -y**3 - 4*y**2 + 13*y + 6. Suppose -110 = -11*w + 44. Suppose -n - w = -8. Let m be s(n). Solve 4*q + 3*r + 5 = -m*q, 5*r = -15 for q.
1
Let d = -287 - -292. Suppose -145*c + d = -144*c. Solve -4*o = b - 20, -c*o + 0*b + 28 = 2*b for o.
4
Let x(c) be the first derivative of -2*c**3/3 - c**2 + 27*c - 88. Let v be x(-4). Solve v*q + 0 = -4*k + 2, -3*q = 3*k for q.
-2
Suppose 2*q + 3*o + 0*o - 19 = 0, -9 = -3*o. Suppose 15*w - q = 25. Solve -6 = 2*f + 3*n + n, 2*f + 4 = -w*n for f.
-1
Suppose -6*d = 31*d - 740. Suppose 3*k - 25 - d = u, -4*u = -12. Solve 4*n + k = 2*s + 4, -5*n = 4*s + 15 for n.
-3
Suppose 4*h + 113 = -3. Let y(a) = 19*a - 197. Let x be y(12). Let p = h + x. Solve 0 = p*l - 5*w, -3*w = 3*l - w for l.
0
Let p = -2 + 5. Let i be (-29)/(-87) + 32/12. Solve -p*v = 3*w + 3, 4*w + w + i*v + 11 = 0 for w.
-4
Suppose -190 = -26*m + 21*m. Let q = -11 + 5. Let x be m/q*42/(-14). Solve 2*i + x = i + 4*d, -2*i + 17 = 3*d for i.
1
Let r(v) = v**2 + 14*v + 62. Let l be r(-10). Let g(k) = -k**2 - 18*k + 2. Let b be g(-18). Solve b*a - 6*f + l = -f, -3*a + f = 7 for a.
-1
Let b = -65 + 63. Let v(g) = 4*g**2 + 4*g. Let p be v(b). Let q(d) = -d**2 + 8*d + 11. Let a be q(p). Solve -a = -x - 4*h, 3*h - 2 = -3*x + 4 for x.
-1
Suppose -28 = -2*a + 3*p, 5*p - 34 = a - 5*a. Let s = a + -6. Solve 0*j = -4*j + 5*f - 35, -2*j - s*f + 5 = 0 for j.
-5
Suppose -2*z - 2*z + 5*f + 74 = 0, 0 = -4*f - 8. Suppose -z*c - 16 = -20*c. Solve 5*i - p - 17 = -3*p, -4*i - c*p = -16 for i.
3
Suppose 4418*b - 4413*b = 0. Solve 4*q = 4*k, -4*k - 34*q + 36*q = b for k.
0
Let c be (-14)/(-91)*1 + -5*(-185)/325. Solve -w = -3*n + 5, -c*n - n + 10 = 2*w for w.
1
Let z = -159 + 232. Suppose 28 = -9*t + z. Solve -n - 10 = 3*k + 3*n, -t*n - 28 = -4*k for k.
2
Let t be (690/1380)/(1/6). Let m = -91 + 154. Suppose 4*f = f + m. Solve 0 = -4*i + 2*j - f - t, -4*i - 36 = -5*j for i.
-4
Let p(z) = -17*z**2 + 267*z + 84. Let n be p(16). Solve 6 = i + 5*l, -6 = -n*i + 63*l - 65*l for i.
1
Let h(n) = 21*n**3 - n**2 + 32*n - 33. Let m be h(1). Solve 5*o - 13 = -a, 2*a + 3*o + m = 8*o for a.
-2
Let s(x) = -3*x**2 - 41*x - 22. Let c be s(-13). Solve 2*q = c*h - q - 19, -h + 4*q + 8 = 0 for h.
4
Let u(x) = 22*x - 2302. Let r be u(105). Solve 5 = -3*q + r*q, 8 = -3*s + 2*q for s.
-2
Let a(c) = 2*c**2 - 11*c + 10. Let h be a(4). Le