
Let j = 20 + -12. Suppose -3*x - 15 = 0, -l + 4*x + j = -17. Let f = l + -2. Solve -t = 2*t - 12, f*t - 9 = b for b.
3
Suppose 5*v - 95 = -80. Solve 8 + 5 = -3*o + 2*g, -11 = v*o - 4*g for o.
-5
Suppose -14*g = -3*g - 33. Solve -f + 9 = g*h, f - 3*f = -2*h - 2 for f.
3
Let k(w) = 6*w + 2. Let u be k(7). Let q(v) = v**2 + 4*v + 9. Let b be q(-2). Solve -5*z + u = b*r + 4, -3*r - 2*z + 19 = 0 for r.
3
Let f(p) = 5*p - 3. Let o be f(2). Suppose 9 = h + 2*i, 4*i + 5 - 68 = -5*h. Let l = h - o. Solve -2*m - l = -5*s + 3*s, -3*s - m = 4 for s.
0
Let h be 2/11 + (-84)/(-22). Suppose h*l + l - 25 = 0. Suppose -3*y + 9 = -d, 10 + 2 = 4*d + 4*y. Solve 10 = l*b + 5*x, d*b - 5 = -b + 2*x for b.
3
Let p(m) = -2*m**3 - 19*m**2 - 11*m - 13. Let w be p(-9). Solve 3*d + 2*c = -8, -4*d - 4*c - w = 3 for d.
-4
Let t be (3 - (-92)/12)/((-2)/6). Let v be (t/10)/((-4)/10). Solve -o - o = 4*a - v, 12 = -a + 3*o for a.
0
Let x = -956 + 960. Solve -x*b + 12 = -4*z, 0*z = 2*z - 4 for b.
5
Let p(f) = -f**3 + 12*f**2 - f + 12. Let r be p(12). Suppose 3*u - u = -5*w + 23, 3*u + 2*w - 18 = r. Solve 5 = b + 3*v - u, -5*b - 3 = -v for b.
0
Suppose -3*i = -2*n - 26, -4 = -2*n + 3*n. Solve 11*y - i*y - 5*o = -10, 5*y = -2*o - 31 for y.
-5
Suppose 4*y = 7*y + 99. Let l = 45 + y. Solve -2*x - 6 = -4*k, -l = -5*x - k + 2*k for x.
3
Let k = 123 + -120. Solve 3*j - r - 5 = 0, 5*j - 5 = -k*r + 8*r for j.
2
Let q be 8/4*2/1. Suppose -1 = 5*w + 4, -f - 3*w + 2 = 0. Solve -f*g + 5*b - 20 = 0, q*b - 12 = g + 1 for g.
-1
Let m(t) = -2*t. Let u(q) = -q**2 - q + 4. Let z be u(0). Let o be m(z). Let j = 14 + o. Solve 0 = 5*a + 3*s + j + 3, -3*s = -3*a + 9 for a.
0
Suppose 12*a - 76 = 80. Let v be (-4)/(-2) + (13 - a). Solve k + 8 = -3*n, -5*k - v*n = -n + 12 for k.
-2
Suppose -14 = -k - 4*p, p = -3*k + 17 + 14. Let u = -136 + 98. Let v be (-8)/(-2)*(-19)/u. Solve -20 = -4*h + 4*z, v*h + 3*z + z = k for h.
5
Let q(l) = -5*l + 20. Suppose 40 = 12*s - 8. Let v be q(s). Let d(h) = -22*h. Let t be d(-1). Solve 2*u = u + o + 8, -u - 5*o - t = v for u.
3
Suppose 3*h - 4*f + 7 - 28 = 0, 2*f + 21 = 5*h. Suppose 0 = -h*b - b. Solve b = 4*j + 3*x - 4*x + 3, 5*j = -4*x - 30 for j.
-2
Let a be (-36)/72*2*-3. Solve 9*w - 5 = 4*w - a*g, -4*g = 20 for w.
4
Suppose 0 = -4*t - 4*u + 36, -47*t - 50 = -52*t - 4*u. Solve -4*f = 2*v + t, -f - 10 = 3*v - 9 for f.
-4
Suppose -3*n - 2*s + 0 = -17, 7 = 5*n - 2*s. Suppose 2 = a - 0*a. Solve -2*c = -a, -5*h - 24 = -n*c + 4*c for h.
-5
Let v = -2 + -1. Let t be ((-2)/(-4))/(v/(-12)). Suppose -z + 15 = t*z. Solve -5*l = -10, 0 - 14 = -z*q - 2*l for q.
2
Suppose -4*z + 19 = l, 12 = -2*l - 3*z + 35. Solve -2 = -5*k + 4*q, l*k = 2*k - 3*q + 16 for k.
2
Let i(o) = -27*o + 279. Let t be i(10). Solve t = -m + 3*g, 0*m + m - 6 = -2*g for m.
0
Let f be (-7 - -7) + (1 - 4). Let d be (-8)/(-12) + (-10)/f. Suppose 0 = d*c + c - 20. Solve -5*q - 5 = -3*x, -3*x + c*x + 1 = q for q.
-4
Let h = 16 + -24. Let i be 54/24 + 3 - (-2)/h. Solve 0 = i*l + 2*o - 18, 0*o = -o - 1 for l.
4
Let o be ((-2)/(-9))/((-2)/(-18)). Solve 2*j = 5*r + o, j + 0*j = -2*r + 1 for r.
0
Let u be (2 - (-49)/(-21))*-6. Solve u*d + 4 = t, 0 = d - t + 4 for d.
0
Let o(i) = i**3 + 11*i**2 - 27*i - 8. Let y be o(-13). Solve -l = 4*d - 2 + 3, -d - 5 = y*l for l.
-1
Suppose 5*t - 16 = 4*w, -w + 25 - 8 = 4*t. Solve -5*b = -p - 5, 2*b + 5*p = t*p + 2 for b.
1
Let b = -31 - -36. Suppose -a + 2*a + 3 = 0, -3*y = b*a - 12. Suppose -q = -1 - 8. Solve -3 = 4*p - q*p - 4*d, -p + 4*d = y for p.
-1
Let m = 1025 - 1016. Solve 3*y = m, 4*y - 8 = -b + 2*y for b.
2
Suppose -2*p + 1 = -7. Suppose -4*o = 4*w - 4, -o + p = -4*w - 7. Let d(s) = 4*s - 1. Let i be d(1). Solve 3*m + 6 = -i*y, -1 = -2*y - o*m - 5 for y.
-2
Let m = -1612 + 1614. Solve -5*y - m*o - 15 = 0, 6*o = -5*y + 3*o - 10 for y.
-5
Let y be 3/(-2)*16/(-24). Suppose -r = -y - 1. Solve 0 = -c, r*d + c + 1 = d for d.
-1
Suppose c + 6 = 2*y - 4, 0 = 3*y - 5*c - 29. Let u = -489 + 494. Solve 0 = 4*h + 12, -6 = -a + y*h + u for a.
2
Let h(b) = -6*b + 20. Let f be h(3). Solve 3*r - 4 = 3*s + 5, 3*s + f*r = -14 for s.
-4
Let z(a) = a**3 - 15*a**2 + 5. Let d be z(15). Solve -3*j - 6*l = -4*l - d, -4*j + 2 = 5*l for j.
3
Let i = 31 + -30. Let j = -7 - 2. Let o = -4 - j. Solve -m - 2*k + 2 = -o*k, 5*m - 4*k = -i for m.
-1
Let i = 178 - 176. Solve i*t + 2*p = 14, 0 = -3*t + 5*p - 3 for t.
4
Let v(y) = y**3 + 2*y + 4. Let w be v(0). Suppose -p - p - w = 0. Let i be -3*(2 + -1 + p). Solve 0 = -3*o - 3*j - 3, 4*j + 0*j = -5*o - i for o.
1
Suppose -31 = -4*y - 3*k - 3, k - 35 = -5*y. Let u be y + -3 + -3 + 2. Solve -g = -2*g + u, 2*s - 7 = g for s.
5
Let m(z) = -2*z - 6. Let r be m(-5). Suppose 0 = -2*a + q + 152, -2*q - 199 = 5*a - 588. Let g = a - 42. Solve -5*w + 3*p - 6*p = -g, 4*w + 4 = r*p for w.
4
Let i(f) = -2*f + 57. Let v be i(22). Let a(j) = j**3 + j + 17. Let o be a(0). Let p = o - v. Solve -3*n = -u - 8, -n = p*n - u - 14 for n.
3
Let h(u) = u**2 + 4*u - 10. Let q be h(-6). Suppose 0 = 4*k - q - 54. Solve 0*j + 5*j - k = -4*x, -j + 3 = x for x.
1
Suppose -4*g + 24 = 5*t - 39, 0 = 3*t + g - 42. Solve -3*d + 4*a - t = 0, 5*a + 1 - 16 = 3*d for d.
-5
Suppose 5*h + 21 = 2*m + 2*m, -4*m + 15 = h. Let k = 1070 + -1066. Solve d = -4*z, -3*d - k*z = -m*d for d.
0
Let w be 16/6 + 6/18. Let i be w + -8 + 1 + 4. Solve 5*k + 5 = 0, i = t - 2*k - 0*k + 2 for t.
-4
Let u(z) = -z - 2. Let m be u(-8). Let x(d) = -d**2 + 8*d - 9. Let n be x(m). Suppose 0 = -n*l + l. Solve l = h, 3*p = 5*h + 10 - 1 for p.
3
Suppose 2*b - 2 - 2 = 0. Suppose -9 = -3*v + 4*s, 5*v - b = 3*s + 13. Suppose -15*i + 343 = 73. Solve v*r - 2 = -3*y + 13, -2*y - 4*r + i = 0 for y.
1
Suppose -17*p + 46 = -39. Solve 0 = 2*h - m - 2, 4*m = p*h - 3*h + 4 for h.
2
Let i be 15/10 + (-27)/(-6). Let x(j) = -j**2 + 6*j. Let g be x(i). Solve a + 10 = 2*c - g*a, 0 = 2*c - 3*a - 10 for c.
5
Let y be (-2)/(-3) - ((-35)/15 + -1). Suppose -7 = -l - 4*w + 3*w, -16 = -y*w. Solve -h - h = l*o - 15, 4*h = -5*o + 27 for h.
3
Let m(o) be the third derivative of -o**5/60 - o**4/4 + o**3/3 + 11*o**2. Let j be m(-6). Solve -j*s - 3 = -5*k, s - 5*k + 0*k + 4 = 0 for s.
1
Let q = 0 - -83. Let s = -77 + q. Solve -3*c - s = z, 4*z = -5*c + 3*c - 14 for z.
-3
Suppose -3*a = 3*w - 9, -3 = -4*a + 5*a. Let d be -3*(-2)/3*1. Solve -d*g - 2 = -t - w, -2*g + 4 = t for g.
2
Let v = 3 - -2. Solve -2*j = v*a - 25, 3*a - 21 + 6 = 0 for j.
0
Suppose 0 = 3*w - 0*w - 30. Let t = 6 - 6. Let k be (t - -1)*5 - 0. Solve 0*b - 2*b + k*i = 22, 0 = 2*b - 2*i + w for b.
-1
Let j be (-9)/((-3)/3) - -3. Let a(s) = 2*s**3 + 2*s - 2. Let c be a(1). Suppose -c*r + 3*r - 5 = 0. Solve -3*u = 4*m + 3, 2*m = -r*u - 7 - j for m.
3
Suppose 15*u = 17*u. Suppose 3*h = -3*h + 12. Solve -b = 4, u = 5*t - 3*b + h*b - 14 for t.
2
Let t = 35 - 32. Suppose 7*j + 10 = t*a + 2*j, -3*a + 16 = j. Solve 0 = -4*m + h - 15, -2*m + h + a = -2*h for m.
-5
Suppose -p + 27 = 5*b, -5*b - 3*p = -47 + 16. Solve 5*o = 5*r - 25, -b*o - 11 - 14 = -3*r for o.
-5
Let r(b) = 5*b**2 - b - 1. Let m be r(2). Let u be 13 - m - (-1 + -7). Solve 2*f - 14 = -u*k, -k + 0 = 2*f - 2 for f.
-1
Suppose -5*d - 3*j = -111, 6*j = 4*d + 4*j - 80. Suppose -4*s = 12, 6*o - d = o + 2*s. Solve -2*h = o*g - 5 - 2, -3*g + 13 = 5*h for h.
2
Suppose -4*d - 3 = -4*w - d, -5*w + 4*d = -3. Solve t + 2*t + 5*r = -24, -3*t - w*r - 18 = 0 for t.
-3
Suppose -2*q - 88 = -10*q. Let g(m) = -m**3 + 12*m**2 - 9*m - 10. Let v be g(q). Let d be (-11 + 2)*(-1)/1. Solve 0 = -b - 3*h - 0 + d, -v = -2*b - 4*h for b.
0
Let d(x) = 5*x**2 + 3*x + 13. Let s be d(-3). Suppose -8*r + s = -r. Solve 3*q - m + r = -0, 0 = 4*q + 4*m + 4 for q.
-2
Suppose 0 = -3*p + 4*l + 31 + 14, p - 15 = 5*l. Suppose 4*w = p + 5. Solve t + w = 5*z - 3*t, 5*z = 2*t + 5 for z.
1
Suppose 7*r - 157 - 452 = 0. Suppose r*s = 88*s - 5. Solve -2*w = s*z + 2 - 20, 14 = 3*z + 2*w for z.
2
Let s(u) = 3*u - 2. Let p be s(2). Suppose 0 = -3*i - z + 107, 0 = -5*z - 13 - 7. Solve w + 3*w + i = -5*f, -2*w - p*f = 26 for w.
-3
Suppose -154*y + 150*y + 8 = 0. Solve -s - s + 12 = -2*w, 5*s + y*w + 5 = 0 for s.
1
Let n = 32 - 30. Solve n*x - 10 = 0, -o - 4*o = -4*x + 15 for o.
1
Let l(y) = 3*y**2 + 6*y + 2. Let q be l(-2). Suppose q*i + 3*d = 16, 4*i - 2*d - d = -4. Solve 10 = 2*c, 4