
Let l = 11 - 5. Let t = l - -2. Solve 3*c = t*q - 3*q, 4*q - 5*c = 0 for q.
0
Let j(y) = -2*y**2 + 4*y. Let h be j(3). Let l = -3 - h. Solve -c + 0*c = 4*o - 16, -l*o - 7 = -4*c for c.
4
Let s be (5 - 0)*(-4)/(-5). Suppose s = -2*f + 12. Let i = 287 + -267. Solve -j + m = 1 + 6, -2*j + f*m - i = 0 for j.
-4
Let p(c) = -4*c**2 + 3*c + 1. Let o be p(1). Let l(y) = y + 4. Let n be l(-4). Suppose u + n*u - 4 = o. Solve 2*x - 24 = 4*v + v, 0 = 4*x + v - u for x.
2
Let y be 12/(-7)*(-7 + 0). Let v = -6 + y. Solve -2*h - 10 = -2*q, 4 + v = -2*h - 3*q for h.
-5
Let y = 8 + -6. Suppose 5*t = y*t + 60. Solve 2*q = 2*c + t - 6, -5*q + 29 = -3*c for c.
-3
Let r(s) = s - 8. Let n be r(8). Let a be 3 + 8/(n + 2). Suppose 3*j + 8 = a*j. Solve -j*y + 3*y - 5 = -2*m, -2*y = 2*m - 8 for m.
1
Let r(j) = 5*j**2 - 11*j**3 + 4*j**2 + 2*j - 5 + 10*j**3 - 4*j**2. Let m be r(5). Solve -20 - 3 = -2*d - 5*g, 24 = d + m*g for d.
-1
Suppose 3*t - 2*n - 5 = 0, 0*t - 30 = -3*t - 3*n. Suppose t*k = -0*k + 20. Solve 2*b + k = w, -3*b + 7*b + 4 = w for w.
4
Suppose 2*h = -p + 12, 11 = h + 3*p - 5. Solve -3*r + r - h*c = 22, -r - 5*c - 23 = 0 for r.
-3
Let y(i) = i**3 - 12*i**2 - 2*i + 28. Let n be y(12). Solve -3*q = 5*c + 3, n*q + 3 = -5*c + 4 for q.
4
Suppose 3*b + 8 = 2*j - 10, -3*b + 54 = 4*j. Solve -2*p + j = -4*p - 4*x, -3*p - 2*x - 2 = 0 for p.
2
Suppose 0 = -2*t + c + 2*c - 81, c + 93 = -2*t. Let n be 10/t - (-38)/9. Solve -2*i = -4*l - 0*i - 18, n*l + 17 = i for l.
-4
Suppose 12 = -0*s + 4*s, -4*s = -3*n + 30. Suppose 4*x = w + 2, -2*x - 2*w - 4 = x. Solve 0 = -x*q + 5*q - 4*m + 12, 3*q = -m - n for q.
-4
Let g be 2*(-1 - (-7)/2). Solve 3*y - 11 - 1 = 3*p, 0 = -g*y - p + 14 for y.
3
Suppose -16 = -12*r + 8*r. Solve 2*d - 5 = g, r*d = 3*g + 1 + 6 for d.
4
Suppose q + 2*q + 17 = 2*a, -4*a - 5*q = -1. Suppose -4*j = -a*m + 56, -m + 8 = j - 0*j. Solve 3*d = 4*h - m + 3, 5*h - 4*d = 10 for h.
2
Let y = -9 - -20. Let b = 8 - y. Let l be (-13)/(-3) - 2/b. Solve -l = v - 2, 5*v + 18 = -3*d for d.
-1
Let p be -1*(3 - 2*-5). Let d(j) = 2*j. Let x be d(-4). Let g = x - p. Solve 2*w - 16 = r - 3*w, 8 = -g*r + w for r.
-1
Let s(y) = -y. Let w be s(-4). Let z = 1 + w. Solve -i - 2*o + o - z = 0, -5*i + 5*o + 25 = 0 for i.
0
Suppose 0 = -5*b + b + 8. Suppose 0 = -b*y + 7 - 3. Let c be y*1*(-5)/(-10). Solve 0 = 2*j - 1 - c, -11 = 3*i - 5*j for i.
-2
Let o = -72 + 80. Solve 0 = -g - j + 2, -4*j = -4*g + o for g.
2
Let h(x) = 2*x**2 + 2*x. Let j be h(1). Solve -j*w + 16 = -4*t, 3*w + 3 - 19 = 5*t for w.
2
Suppose -24*k = -19*k - 40. Suppose r - 7 = -z, -3*r + 3 = z - k. Solve 11 = 4*m + 4*s - z, 0 = 5*m - 2*s + 1 for m.
1
Let z be ((-2)/6)/((-2)/24). Suppose -3*s = 16 - z. Let v(j) = j**3 + 4*j**2 - 2*j - 4. Let q be v(s). Solve -q*c + p + 5 = 1, -3*c = 2*p + 8 for c.
0
Let m be ((-12)/3)/(5 + 153/(-30)). Solve 0 = -5*l - 5*o - m, -l + 0 = -o + 2 for l.
-5
Let s = 11 - 5. Suppose -1 + s = n. Let p = 34 + -19. Solve -5*j + 3*t = -p, -25 = 8*j - 6*j + n*t for j.
0
Let w be (-6)/4 + (-36)/(-8). Suppose d - 2*t - 2*t + w = 0, -4*t = 2*d - 18. Solve 3*h - d*g = 25, 2*g = 4*h - g - 26 for h.
5
Suppose 3*h - h = 0. Let v(d) = -3*d - 4*d**2 + 1 + d**2 + 4*d**2 + 3. Let u be v(3). Solve 2*c = u*b + b - 33, h = 4*b - 20 for c.
-4
Let c(m) = m**2 + 3*m - 7. Let j be c(-5). Suppose 2*a = -j*k + 1, -28 = -2*a + 4*k - 6. Solve -4*p = a*f + 30, -4 = f - p - 7 for f.
-2
Let k be 4/16 + ((-23)/(-4) - 2). Suppose -3*t + 20 = 5. Solve t*z - 3 = b + 15, z - 12 = -k*b for z.
4
Suppose 0 = -0*t + 5*t - o + 23, 5*t + o = -27. Let w = t - -3. Let h be w/6 + 1/3. Solve 4*g + 35 = 3*d, d - 15 = -h*d + 2*g for d.
5
Let p = 6 + -2. Let n be (-3)/(-6) + 2/(-4). Let c be 2 + (n/1)/1. Solve 6 = -j + 3*h, c*j - p*j - 3*h = -15 for j.
3
Suppose 2*y - 5*y = -96. Suppose 3*f + 0*f + d = -y, 0 = -3*f + 5*d - 2. Let p be (-2)/(6/f) - -1. Solve -3*c = -5*j + 27, 2*c + 4*j = -2*c - p for c.
-4
Let c(o) = -4*o + 12. Let w(p) = -p. Let i(g) = c(g) - 5*w(g). Let x be i(-5). Solve 5*u = -j + 1, 3*j - 5*u = 6*j + x for j.
-4
Let c = 86 + -85. Solve 3*j + q - c = 0, -2*j = 2*q + 4 + 2 for j.
2
Suppose -6*r - 18 = -9*r. Solve 0 = 2*n - m - 6, -2*n + m + r = -m for n.
3
Let p(c) = c**2 - 3*c + 4. Let g be 3*(-3)/(-3) - 0. Let w be p(g). Solve -q = w*u - 9, 0 = u + 3*q + 6 for u.
3
Let k be 16/10 - 2/(-5). Suppose -d + 3 = -k. Suppose 0 - 8 = -3*c + d*a, -c - 5*a - 4 = 0. Solve m - l = -1, -2*m - l = -m - c for m.
0
Suppose -5*j + j = -8. Solve 3*f - 5*f + 4*d - 24 = 0, 5*d - 28 = j*f for f.
-4
Let b = 28 + -24. Solve 3*q = q + 4*i + 16, -b*i = -3*q + 20 for q.
4
Suppose -2*b = 4*w - 14, -3*b + b + 5*w = 4. Solve b*v - k = v + 8, v - 7 = 2*k for v.
3
Let n(u) = -3*u + 5 + u**2 - 7 - 3. Let a(h) = -h + 5. Let d be a(0). Let j be n(d). Solve 7*r - 2*r + j*b - 10 = 0, 5*b - 5 = 0 for r.
1
Let y = 10 - 6. Suppose 5*u = 3*d - y, -3 = d - 5*u - 1. Solve -2*v + 7 = -d*m, v = 3 - 4 for m.
-3
Let y(o) = -o**2 - 10*o - 13. Let t be y(-10). Let i be t/(-4) + 3/(-12). Suppose 4 = i*p - 11. Solve -4*a - 2*k - 8 = 0, p*k = -a + 9 - 2 for a.
-3
Let z be 2 - 2*(-1)/2. Suppose 3*q - 4*q = -z. Solve -r + q*o = -16, o + 4 = -0 for r.
4
Let q = -91 - -97. Solve -4*f = 3*m + 13, -f - 2*f = m + q for f.
-1
Suppose 0 = -0*w - 2*w + 16. Suppose -2*k = -m + 4*m - 13, -k + w = 3*m. Solve -2*f - p = p, 0 = -2*f + k*p - 35 for f.
-5
Let a = -112 + 117. Let t = -4 - -6. Suppose u + 2*s = -0*s + 2, t*s + 22 = 5*u. Solve -4*c - j + a = -5, 0 = -c - u*j - 5 for c.
3
Let j be (-2)/8*0*-1. Let q(c) = -c + 6. Let w be q(6). Let u = -3 - -5. Solve -b + 3*t - 7 = j, w = b - 5*b - t - u for b.
-1
Let g = -16 - -14. Let d be ((-2)/(-2) + -2)*g. Solve 3*t - d*o - o = -18, -t = 2*o - 3 for t.
-3
Suppose -4*x - 2*t - t = 31, -x - 5*t = -5. Let f = 6 - 3. Let j be (4/x)/(f/(-30)). Solve -5*u - j = -0*u + 3*s, 3*s = 5*u + 16 for u.
-2
Suppose 0 = 26*u - 25*u. Solve -3*j + a + 3 = u, a - 4 = -4*j - a for j.
1
Suppose -2*x + x = -4. Suppose -57 = -x*q + 27. Suppose 4*i = 11 + q. Solve 0 = h + h - 4*r - 16, -3*h - i = 2*r for h.
0
Let w(p) = -p - 1. Suppose -2*s = 4*g + 28, -g - 11 - 41 = 5*s. Let u be w(s). Solve -2*l = -4*d, -6*l + l + d = u for l.
-2
Suppose 5*i = 5*y + 100, 0 = -4*i - 4*y - 25 + 73. Solve 0*a - 2*a + i = -2*m, -m = -4*a + 20 for a.
4
Let r be (0 + (-6)/4)/(51/(-136)). Solve -f + 4*o - 8 = 11, 0 = -r*f + 3*o - 11 for f.
1
Let m be (-3 - 1/(-1)) + 15. Suppose m = 3*w + 1. Solve 2*d - w*t - 14 = 0, 2 = -4*t - 2 for d.
5
Let v = 33 - 31. Solve -v = -2*l - 3*l - 4*u, 2*l + 16 = 4*u for l.
-2
Suppose -31 + 9 = -2*y. Let h(b) = 56*b - 2. Let s be h(2). Let p be s/25 + 3/5. Solve p*v = -3*a - 34, v + y = -3*a + a for a.
-3
Let d = -7 + 7. Suppose 0 = -i - h + 2, -3*i - 2*h + 5 + 0 = d. Let p be i/(28/(-10) + 3). Solve p*s - l = -14, -3*s - 2*l + l = 2 for s.
-2
Suppose -2*g + 7 + 7 = 0. Suppose -4*r = -g*r + 39. Solve -4*f - 3*t + 22 - 51 = 0, 2*f + t + r = 0 for f.
-5
Let a = 0 + -5. Let l(s) = -7*s - 2 - 2 + 3. Let p be l(a). Solve 3*k + 5*w + p = -0*k, 25 = -5*k - 2*w for k.
-3
Suppose 3*j + 3 = -2*s + 3*s, 0 = j - 3*s + 9. Solve 2*i = -5*y - j*y, 0 = 5*y + 4*i for y.
0
Suppose 0 = 4*b + m + 3*m - 4, 3*b - 2*m = 23. Solve 4*f - 32 = -4*g, -4*g + 5 + 32 = b*f for f.
5
Let q be (4/(16/18) + -3)*2. Suppose -15 = -4*i - 3. Solve -i*o - 6 = 4*c, -q*c = 4*o + 2*c + 8 for o.
-2
Let g be (6/(-4))/(6/(-12)). Solve f = 2*h - 3, -g*h + 6 + 9 = 2*f for h.
3
Let h be (2 + (-4 - -3))*5. Suppose -12 = -5*r + 13. Let o = h - r. Solve -3*w - q + o*q = 17, 0 = w + q + 7 for w.
-5
Suppose -2*a + 6 = 5*n, 0 = -5*a - 1 + 16. Suppose 8*z = 4*z + 24. Let o = -1 + z. Solve n = -o*f + t + 7, -7 = f + 2*t + 2*t for f.
1
Suppose -3*b - 4*r + 11 = 0, -r - 3 = 2*r. Suppose 0 = b*w - 4*l + 6, -l - 2 = -3*w - 0*l. Solve 4*s = 8, w*d + 2*d + 10 = -5*s for d.
-5
Let o be (0 - 4)*6/(-12). Solve 2*m + 6 = 2*n, -o*m + 1 + 0 = 5*n for n.
1
Suppose -3*m = -4*t + 8, 10 = -t + 6*t + 5*m. Solve t = -5*s + 4*r, -4 = 3*s - 5*r + 4*r for s.
-2
Let d(o) = -1 - o + 2 - 3. Let l be d(-3). Suppose 5*t - 4 = l. Solve b + z = -t, -2*z = 2*b + 3*z - 1 for b.
-2
Let x(f) = -f**2 + 6*f - 1. Let h = -3 - -2. Let v be 2/((-7)/(-5) + h). Let d be x(v). Solve 5*w = 4*w - 3*u + 6, 21 = -3*w + d*u for w.
-3
Suppose