x - 12 = o for u.
-2
Suppose -k - 33 = -35. Suppose 2*u + 0 - 2 = 0. Suppose 0 = -3*t + 31 - u. Solve -c + 0*c = k*o + t, 2*c = o - 5 for c.
-4
Let v(o) = -2*o - 1. Suppose -y - 13 = 3*t, 2*y + 3*y + 4*t + 32 = 0. Let z be v(y). Suppose 3*k - z = -4. Solve 5*b + k = 4*u + 2*b, 2*u = 2*b for u.
1
Suppose 75 = 9*r + 48. Solve b + 11 = -b - 3*h, -4*b = h - r for b.
2
Suppose -3*u + 12 = 0, -k = -0*k + 2*u + 12. Let w be ((-8)/k)/((-1)/(-90)). Suppose -3*l - l = -w. Solve -4*v - 32 = -4*o, 5*o - 1 - l = -5*v for o.
5
Suppose 10 = 2*j + 3*j. Let z(p) = 19*p - 2. Let m(x) = -132*x + 15. Let u(h) = 2*m(h) + 15*z(h). Let o be u(j). Solve -t = 5*c + 25, -4*t + 2 = 5*c + o for c.
-4
Let p be -3*15*4/(-12). Let k(y) = 2*y**2 - 3*y - 4. Let q be k(3). Solve 6*g - 3*c = g + q, 0 = -3*c - p for g.
-2
Let v be (90/120)/((-2)/(-16)). Suppose -2*p - 92 - v = -5*o, 0 = -o - 4*p + 2. Solve 0*r - o = 3*s + r, 2*s = -4*r - 22 for s.
-5
Let o(n) = -n - 11. Let q be o(-16). Solve 3 + 6 = -d - 2*i, -27 = 4*d + q*i for d.
-3
Let p = -1019 + 1022. Solve 2*s - 12 = -4*x, 2 = p*s + 5*x - 15 for s.
4
Let y be (2/8)/((-6)/(-72)). Suppose -y*n + 4 + 47 = 0. Let r = n + -12. Solve 3*h = -r*s + 5, 0 = 4*s - 2*h - 6 + 2 for s.
1
Suppose -26*b + 30*b - 12 = 0. Suppose 3 = -0*h + 4*h + 3*y, b*h - 5*y + 5 = 0. Solve -3*j = -h*j - 4*x + 11, 2*j + 3*x - 4 = 0 for j.
-1
Let f = -16 - -18. Let y be 2 + f - 2 - (0 + -2). Solve 4*s = -3*w - 12 + y, -5*w = 5*s + 15 for w.
-4
Let h be ((-2)/(-2))/((-6)/114). Let d = h + 27. Suppose -1 - 2 = 3*v, 2*q - 2*v - d = 0. Solve 0*g - 9 = 3*k - q*g, -2*k = -5*g + 6 for k.
-3
Let l be 13/(-26) - 18/(-4). Suppose -4*d + 0*u + 4*u = -120, -l*d + 125 = -5*u. Let c = d + -22. Solve -t - 3*j + 0*j + 6 = 0, 12 = c*t + 3*j for t.
3
Suppose -19*f + 16*f + 24 = 2*t, -4*t + 2*f = -64. Solve 5*x + 0*d + d - 5 = 0, -5*x - 3*d + t = 0 for x.
0
Suppose -5*c = -88*y + 84*y - 15, 4*y = 2*c - 6. Solve c*d + 8 = r, 7*d - 28 = 9*d + 5*r for d.
-4
Let y be ((-52)/2)/2 + 2. Let a = -45 + 58. Let j = a + y. Solve 4 = -d - j*r, -5*d - r = -0*r + 20 for d.
-4
Let n be (3 + -4)/((-8)/40). Suppose -3*f - 12 = 0, -3 = -n*v - 2*f + 9. Solve l + z - 3 = 0, v*z + 0*z = -l + 15 for l.
-1
Suppose 2*r - 5*r = -3*d - 3, 3 = -3*d - 3*r. Let s be (-106)/(-18) - (-4)/36. Let w = s + d. Solve 10 = 2*u + 2*h, -5*u - 3*h - w = -4*h for u.
0
Let i be 2/(7/(-3) + 3) + 78. Let b = 83 - i. Solve b*a + 3 + 0 = -3*d, -4*d + 5*a = -19 for d.
1
Let v(r) = -2*r**2 + 15*r - 5. Let i be v(7). Solve -i*k + 3 = h, 0 = -0*h + h + 3*k - 5 for h.
-1
Let w be (0 - 14)*(-132)/154. Solve -4*z + 12 = -2*k, 4*z - k + 0*k - w = 0 for z.
3
Suppose 3*p = 5*o + p - 13, 4*p - 10 = -2*o. Suppose o*y = -0*y - 24. Let r = -5 - y. Solve -z - 6 = -r*j + 3, -9 = -3*j + 5*z for j.
3
Suppose -51*v + 57*v - 60 = 0. Solve 0*m - 5*m = 2*g - 14, g + 4*m - v = 0 for g.
2
Let l(q) = 21*q**2 + 6*q - 2. Let h be l(1). Solve d = -3*v - 13, -2*d + 7*d - 3*v - h = 0 for d.
2
Let y(a) = -a + 1. Let i be y(-12). Solve -g = 2*z + 7, -3*g - i = 2*z + 4 for g.
-5
Let w(i) = -18*i - 4. Let m be w(-1). Solve -2*t + 16 = 5*u - 3*u, -2*t + 4*u - m = 0 for t.
3
Suppose 6 = -3*g - 9, 25 = -3*q + g. Let k(r) = r**3 + 11*r**2 + 8*r - 14. Let b be k(q). Suppose b*d - 8*d + 6 = 0. Solve c + 10 = t - d*c, 5*c + 8 = -t for t.
2
Suppose 25 = 4*y - k, 12 = 4*y - 3*k - 15. Solve -2*a - 4*h + y = 0, -5 = a - 2*h - 0 for a.
-1
Suppose -1442 + 1460 = 6*l. Solve 0 = 5*t + 3*n + 22, -l*t + 4 = -3*n - 2 for t.
-2
Suppose -44 = -4*j + 4*k, 6*j - 30 = 3*j + 2*k. Suppose 0 = -4*r - j + 80. Solve 6*g + 2*y - 7 = 3*g, 2*g - r = -4*y for g.
-1
Suppose -3*f - 1 = -3*v - 13, -v = -1. Suppose f*u + 0 = 5*g + 5, 15 = -u + 5*g. Let n = -1478 + 1485. Solve -b = -4*c + 13, -3*b + n*b - u*c = -30 for b.
-5
Let p(x) = -3*x - 27. Suppose 2*y = -18 - 2. Let r be p(y). Solve 0 = 2*o + 2*k - 2, -4 = -o - r*k + k for o.
-2
Let q = 400 + -390. Solve -3*b = -2*c + q, -4*c + 3*b + 0*b + 14 = 0 for c.
2
Let s be 1*-2*12/(-8). Suppose 0*l = s*l + 9. Let a be (6/1)/(l - -5). Solve 4*w + 3*d = 2, a*d + 8 = 3*w - 2*w for w.
2
Let s(b) = -b**2 - 16*b + 80. Let t be s(4). Solve t = -5*h + 3*u + 12, -4*h - 3*u + 14 = -u for h.
3
Suppose 12 = 4*c - 4. Let x be (1/(-3))/(c/(-48)). Solve -a - 3*z - 9 = -z, 13 = -a - x*z for a.
-5
Let f be 37/3 + (102/18 - 6). Suppose 191*z = 194*z - f. Solve -k = 2*k + 12, -z*k - 14 = -2*u for u.
-1
Let k(q) = 11*q. Let z be k(3). Suppose -3*m = 5*y + m, 0 = 2*y - 5*m - z. Solve -y*i + 3*f = 1 + 3, 5*i - 4*f + 4 = 0 for i.
-4
Suppose -9 = -2*k - k. Let d = -135 + 143. Suppose -47*s + d = -43*s. Solve -2 = -s*z - b + k, 2*z + 2*b = 4 for z.
3
Suppose -20*v - 12 = -24*v. Solve 2*l = q + 7, -17 = -4*q - 4*l + v*l for q.
3
Let y(s) = s**2 - 4*s - 3. Let f be y(5). Suppose -4*u = 5*m + 35, 1 = 2*m - u + f. Let a be (m/9)/(4/(-48)). Solve -2*i - 22 = -a*r, -2 - 18 = -5*r + i for r.
3
Suppose 8*s - 24 = -8. Solve -3*q - s*q = 0, -4*q + 10 = 5*w for w.
2
Let k(t) = -27 + 6*t + 35 - t**2 - t**2 + t**2. Let o be k(6). Let n be (o/20)/(4/40). Solve 6*q - 2*q + 4 = -n*s, -q - 9 = 3*s for q.
3
Let h = -7 + 42. Let p = -33 + h. Solve -u - 4*z - 1 = -2*z, -p*u - 3*z = 0 for u.
3
Let a = 819 + -817. Solve -2*h = -4*l - 4, 0 = 2*h + 4*l + a - 14 for h.
4
Suppose 2*j + 3*f = -0*j + 3, 3*j - 3*f - 27 = 0. Let p be -45 + 15/(-5) + j. Let v = 61 + p. Solve r + 1 + 3 = 0, 5*q - r - v = 0 for q.
3
Let l(n) = -92*n - 74. Let a be l(-1). Solve -2*d = -6*d + i - a, 5*i = -d + 6 for d.
-4
Suppose 3*x + 37 = 5*c, 4*c - 2 = -3*x + 6. Suppose -3*w + k + 0*k = -14, 2*w - 7 = 3*k. Solve c*s - 25 = 0, 0 = -w*y + 4*y - s + 6 for y.
1
Suppose 3*h = -2*h. Suppose -106 = -12*x - 58. Solve 2*d + 2*n = 3 + 9, h = -x*n + 8 for d.
4
Let c be 282/18 - 2/(-6). Suppose -4*j = -c - 0. Suppose 0 = -j*d + 2 + 46. Solve 5*f - 2*s = d, 2*f + 3 = 4*s - 5 for f.
4
Let l be (-7)/(-49)*-3 + 122/7. Suppose -l = -4*f - 1. Solve 5*p + 4 = f*w, 32 = -3*p - 10*w + 5*w for p.
-4
Let i be 76/(-57)*(-126)/24. Solve -14 = g - 5*m, -3*m = 2*g + i - 5 for g.
-4
Let o = -3 - -5. Let v be o/(-8) + (-244)/(-16). Let i = -11 + v. Solve -i*m + 15 = 4*h - 1, 0 = -4*m - 5*h + 15 for m.
5
Let f(y) = -y + 12. Let w = 11 - 4. Let u be f(w). Suppose -4*q = -u*q. Solve -5*i + 1 = -4, q = -2*a - 2*i for a.
-1
Suppose -3*j - 2 = 4. Let f(p) = -p**3 + 3*p**2 - 2*p - 1. Let w be f(j). Suppose -21*q = -w*q + 4. Solve l - 3*h + 2 = 0, -l - 2*h - 9 = -q for l.
-5
Suppose 0 = 11*g - 12*g. Suppose 0 = x + p, g = -x + 2*p - 7*p + 12. Let a be x/4 + (-83)/(-4). Solve -5*k = -f - a, -8*f + 25 = -4*f + k for f.
5
Let h(c) = 2*c - 10. Let u be h(11). Suppose -4*s + 20 = 5*q, s - 2*q = q - u. Solve -3*p - w - 11 = 0, p + 3*w - 1 + 2 = s for p.
-4
Let d(n) = -n - 1. Let s be d(16). Let u = s + 19. Suppose -z - 3 = -3*k - 20, 0 = z + 2*k - 27. Solve -g = 4*q - z, -5*q - 3*g = -u*q - 24 for q.
5
Let g be 12/4*19 - 4. Let x = g + -32. Suppose k - x = -7. Solve -2*z + k - 6 = n, 0 = 3*n + 6 for z.
5
Let f be 12/(-9)*(-9 + 3). Let x be 6/(2*(-4)/f). Let z(d) = -d**3 - 6*d**2 - 3*d - 9. Let h be z(x). Solve -c + h + 3 = 2*v, -c + 7 = v for v.
5
Let g be ((-31)/(-124) - (-138)/(-8))/(-1). Solve -5*b = -4*v - g, -3*v - 14 = -4*b - 0*v for b.
5
Let u be (1 - 2/(-4)) + 151/302. Solve -h = 4*a - 16, -h = -u*a + a - 1 for a.
3
Let x be -7 + 3 + 28 + -8. Solve -3*c = -r - 19, c - 5*c + x = r for r.
-4
Let d(x) = -6*x**3 + 2*x**2 - x + 3. Let w be d(-2). Let k = 63 - w. Solve -5*j - 19 = 3*l, -k*l + 5*l + 2*j + 4 = 0 for l.
2
Let a be (16/3)/((341/(-66))/(-31)). Solve 4*o = 3*n + 27, 6*n - 4*o + a = 2*n for n.
-5
Let u = -40 + 32. Let o = 40 + u. Let g be (8/o)/(1/8). Solve 5*l = -g*n + 13, 3*l - 10 = l - 2*n for l.
1
Let q be 3*2*2/4. Let v = 292 - 160. Let r be 2/(11/(v/8)). Solve 4*u + r = 5*d, 2*d - u + 6 = q*d for d.
3
Suppose u = -5*y + 3*u - 16, -5*y + 5*u - 25 = 0. Let d be 31 + -7 + (-1 - y). Suppose 0 = -v + 1 + 3. Solve -5*b = -3*l - d, 4*b - 33 = l + v*l for b.
2
Suppose 70*v + 35*v - 420 = 0. Let i be (3 + -1)/((-2)/3). Let b = i + 7. Solve -v*q + o + 10 - 26 = 0, b = -q - 3*o for q.
-4
Let f(h) = 2*h**3 + 42*h**2 + 3*h + 64. Let b be f(-21). Solve 5*o - 2*p = -3 + b, 3*p - 3 = 0 for o.
0
Suppose c - 15 = -2*m - m, 2 = 2*m - 2*c. Suppose 4*y 