
Suppose 0*b - b + 2*k = -12, -b = -3*k - 16. Solve -i + 2*j = 3, 0*i + 12 = b*i + 4*j for i.
1
Let v(u) be the second derivative of 2*u + 0 + 3/2*u**2 + 1/12*u**4 - 1/6*u**3. Let i be v(0). Solve 0 = 5*j - 3*y + 15, i = 2*j - 3*j + y for j.
-3
Suppose -5*d - i + 3*i = -4, -3*i - 6 = 3*d. Solve 4*w = 4*t + 16, 20 + d = 3*t + 5*w for t.
0
Suppose -5 = 4*a + j - 2, -5*a + 3*j - 8 = 0. Let v be -5*(-1 - 0) + a. Solve -5*k + v = -2*x - 3*k, -x + 2*k = 0 for x.
-4
Suppose 7*i = 2*r + 3*i - 16, -3*i = 6. Suppose -r*u + 19 - 3 = 0. Suppose 3 = -3*j + u*j. Solve 1 = -z, 4*s + z = j*z + 14 for s.
3
Suppose 40 = 5*t + k, k + 16 = 2*t + t. Suppose -2*c - 10 = -4*c. Suppose -4*q + 0*x = -3*x - c, 1 = -q + 3*x. Solve q*s + b = t, 2*s - 7*b = -2*b - 11 for s.
2
Suppose 3*c = 9 + 3. Suppose 3*h + j - 16 = 0, 4*j = -0*j + 4. Suppose -h*k + 20 = -o, 3*k = 7*k - 5*o + 5. Solve -c*z + 26 - 5 = 5*l, k*l - 30 = 5*z for z.
-1
Suppose -2*p = u, 0 = -u - 5*p + 2*p - 2. Solve -11 = u*z - q, 3*q - 1 - 2 = -3*z for z.
-2
Let z be (0 - 0)/(-2) - -2. Let m be 282/30 + 2/(-5). Let n = m + -4. Solve 5*x - z*k - 2*k = -11, x - 21 = -n*k for x.
1
Let a be (-16)/(-8) + (-1)/(-1). Solve 0 = 5*b + a*w - 10, 2*b = 4*b - w - 15 for b.
5
Let i be (-1 + 15 - -3) + -2. Let q be 52/5 - i/(-25). Solve -2*f + 3*h + 0 = 1, 3*f = -5*h - q for f.
-2
Let q(o) = -2*o - 1 - 3 + 3. Suppose 5*z - 2 = -2*b - 6, 2*z = -3*b - 6. Let t be q(b). Solve -3*n - 16 = n, 0 = -2*d + t*n + 14 for d.
1
Let i be (-9 + 2)*(-4)/14. Solve 0 = v - l + 2, 3*v - 2*l = -i*v + 2 for v.
2
Let y = -133 + 43. Let g be y/(-21) - (-2)/(-7). Solve -2*q + 10 = -0*q + g*n, 2*q + n = -5 for q.
-5
Let z be (-2)/8 - 39/(-12). Let f(j) = j**2 - j. Let r be f(z). Solve -3*n + 0 = r, 10 = -2*t - 3*n for t.
-2
Let f = -19 + 24. Let n = -3 - -7. Suppose 2 = -2*p - 4*u - 0*u, -n*p + 10 = u. Solve 2*d - p*s = -17, f*s = -3*d - 2 + 5 for d.
-4
Let q = -13 - -15. Let p = 6 + -3. Suppose o - p*v + 10 = 2*v, 4*o + 5*v = 10. Solve -5*t + q*z + 18 = 0, o*z = 2*z - 2 for t.
4
Let c(v) = v**2 - 14*v - 10. Let n be c(15). Solve 5 = 3*j - z, 2*j - n*z = 8 + 4 for j.
1
Suppose 3*j - d - 9 - 4 = 0, -j - 3*d - 9 = 0. Let a be (-8)/6*(-4 - -16). Let r be 3*(-1 - a/6). Solve -f = -2*f + 4*i + 1, 5*f - j*i - r = 0 for f.
1
Let o = -4 - -4. Let u be ((-2)/6 - o)*-12. Solve -3*p - 15 = -3*i, -2*p = 4 + u for i.
1
Let s be -12*(-2)/4*-1. Let w be (-1)/(-6) - 11/s. Solve n + 5*u = -13, 0 = 3*n + w*u - 7*u - 1 for n.
-3
Let d be (-4)/(-2) - (3 - 3). Suppose -3*x = w - 15, x - 10 - 3 = -3*w. Solve -d*c + 3*y - w = -c, 0 = -4*c + 3*y + 6 for c.
3
Suppose -4*w + 12 = 4. Suppose 2*x + 2*x = -f + 15, -2 = w*f. Solve 8 = -4*m - 4*k, 5*m - 1 = x*m + 2*k for m.
-1
Let h = 60 - 55. Solve -w - 4 = -4*j + 9, -5 = h*w for j.
3
Let x be (-4)/(-10) - 476/(-35). Solve -5*o + 4*m = -11, 2*o + 0*o + 3*m + x = 0 for o.
-1
Suppose -6*t - 84 = -2*t. Let g = 25 + t. Solve -2*c = 2*v - g*v - 10, 5*c = 4*v + 24 for c.
4
Let k(n) = n**3 + 9*n + 5*n - 11*n - 14 + 7*n**2. Let a be k(-6). Let m = -7 + 12. Solve -5*s = m*r - 2*r - 25, -2*r + a*s = 20 for r.
0
Suppose -14*q + 80 = -19*q. Let h = q + 23. Solve -5*r - 3*a = 3 + 9, -h = 2*r - a for r.
-3
Suppose -4*m - 3*f + 12 = -3*m, 4*m - 2*f - 6 = 0. Suppose 3 = m*w + 4*c, 5*c - 1 = -w - 0. Solve 2*u - 3*y + 2*y = -w, 4*u + 7 = -3*y for u.
-1
Suppose -5*o + 35 = -2*u, -o + u = -5 - 5. Let g(l) = l - 1. Let y be g(8). Let r = y + -2. Solve 5*d - 4*h + 3 - 8 = 0, 5*h - o = -r*d for d.
1
Suppose -4*m + 2*m - 10 = 0. Let d = m - -7. Suppose 5*p = d*p + 15. Solve 0 = 4*s + p*n - 11, 0*n = 2*s + 2*n - 6 for s.
4
Let y be (-8)/(-28) + (-60)/14. Let t = 6 - 0. Let a = t + y. Solve -21 = u - a*u - 4*c, 2*c = -4*u + 28 for u.
5
Let x be (-4 - -3 - -3)*1. Solve -7 = -h + 5*q, x*q - 7 = -5*h - q for h.
2
Suppose 3*o = 4*o - 1. Solve 3*r + 4*l + 2 = -o, 13 = -2*r + l for r.
-5
Suppose -13*q = -10*q - 24. Solve -b - 12 = 4*w, 3*w + 0*w = -b - q for w.
-4
Let o(m) = -m + 13. Let v be o(11). Suppose v*t - 2*f = 10, -2*t - 2*f + 8 = -3*f. Suppose t = -p + 5. Solve 0*y - 3*i = 5*y + 32, 0 = 3*y - p*i + 4 for y.
-4
Suppose 3*z - 51 + 15 = 0. Solve c + 1 + 1 = 5*k, 4*c - z = 0 for k.
1
Let z be -1 + 1 - (-5)/((-40)/(-32)). Solve 7*j - z*x - 8 = 2*j, 3*x = 4*j - 6 for j.
0
Let f = 99 - 54. Solve 12 = -5*q - 4*b + f, -q = 4*b - 13 for q.
5
Suppose -2*u + 7*u = -105. Let x = u - -24. Solve -2*p = -h - 6 - 0, 0 = x*h - 2*p - 2 for h.
4
Let l = 15 - 13. Let y be l/1 + (1 - -2). Solve c + 3*r = r - 7, -35 = -y*c + 4*r for c.
3
Suppose 3*q - 15 = 0, 3*y + 4*q = q + 24. Solve 13 = -2*g - 6*o + y*o, 2*g + 8 = -2*o for g.
1
Suppose b = 4*f + 2, 5*f - b = 2*b - 6. Suppose 2*y + 0*y - 8 = f. Solve -2*k = -5*k + 5*n, -y*k - 4*n + 32 = 0 for k.
5
Suppose 33 = 10*u - 6*u - 5*j, -2*u + 2*j = -18. Solve -k - 4*l - u + 1 = 0, 3*k - 27 = 3*l for k.
5
Suppose o = 3*o - 4. Solve 33 = 2*f + 3*i + o*i, -3*f - i = -17 for f.
4
Let o(y) = y**3 + 8*y**2 - 8*y + 13. Let b be o(-9). Solve r + 4 = -3*r + 2*q, 0 = b*r - q for r.
1
Suppose 0 = -4*j + 4 + 16. Let d = 9 - j. Solve d*x = c + 1, -c - 3*x + 4*x - 1 = 0 for c.
-1
Let p = 24 + -12. Let c = p - 7. Solve 5*b + 21 = 4*s - 0*s, -5*s = -2*b - c for b.
-5
Let d(k) = k + 4. Let n be ((-1)/3)/(2/(-12)). Suppose 2*z + 5 = -i - 1, 3*z + n*i = -8. Let u be d(z). Solve -t - 2*p + 12 = u, t + 5*p - 8 = 4*t for t.
4
Suppose 3*r = -15, 3*f + f - r - 21 = 0. Suppose -2*i = -f*i + 4. Let m be i - (0/(-2) + 0). Solve -5*q - g = -23, m*q + 4 = -0*g + 4*g for q.
4
Let s be 5*(-32)/(-2*1). Suppose h - 84 = -3*h + j, -4*h = -2*j - s. Let l = h - 16. Solve -5*y + l = -2*x, -4*y + 15 = -7*x + 2*x for y.
0
Let r(n) = n**2 + 2*n - 4. Let c be r(-4). Let l(u) = 3*u - 4. Let z be l(c). Suppose 3*t = 1 + z. Solve -2*k + 8 = -2*a, k - t*a + 3 - 5 = 0 for k.
5
Let k(t) = -t**2 + 9*t - 9. Let p be k(7). Solve -2 + 0 = 3*c + p*r, -2*c - 14 = -3*r for c.
-4
Let b = 10 + -7. Let p(j) = 2*j - 1. Let s be p(b). Solve -3*v - 4*r = -5, -3 - s = -v + 5*r for v.
3
Let u be 3/1 - 2/(-2). Let v be ((-1)/(-5))/((-7)/(-35)). Suppose 0 = -l + u - v. Solve -3*p + 17 = 5*b, l*p + b - 7 = 6 for p.
4
Let m(h) = h**3 - 7*h**2 + 7*h - 1. Let w be m(6). Solve -w*q - 14 = 2*v, -3*q + 0*q - 14 = 4*v for v.
-2
Let u be 0/1 + (-12)/(-2). Let r = 11 - u. Solve 0 = -0*k + 5*k - 4*c + 11, 4*k - r*c = -7 for k.
-3
Let k(u) = u**3 - 9*u**2 + 9*u - 5. Let h be k(8). Solve 2*p + 8 = -l - h*l, 5*l = -20 for p.
4
Suppose 0 = x - 0*x - 3. Solve 3*t + g = -7, 2*t - 29 = x*t - 5*g for t.
-4
Suppose 3*x - 4 = 5*k + 11, 15 = -2*k + 3*x. Solve 0 = 4*n + 4*q, k = -5*n + 4*q + q for n.
0
Let k be 1/(-8) - 4/(-32). Solve -19 = 2*j + 5*h - k*h, 5*j + 1 = 3*h for j.
-2
Let v(l) = -l**3 - 6*l**2 + 5. Let u be v(-6). Solve -4*w + 16 = 2*m, 3*m - 15 = -u*w + 7 for m.
4
Suppose -32 = i - 3*t, t - 10 = -t. Let r = 21 + i. Solve x - 2*d - 9 = r*x, 3 = d for x.
-5
Let i(p) = p**2 + 4*p + 7. Let q be i(-3). Suppose -q = -3*j + j. Solve 4*h + 20 = 0, 2 + 16 = -j*l - 4*h for l.
1
Let t = 12 - -8. Let s be (-1)/((-1)/t) - 2. Solve s = 4*v - 2*u, 4*u + 7 = 3*v - 4 for v.
5
Let m be (6/24)/(3/156). Solve -4*b = 12, 2*p - 1 - m = 4*b for p.
1
Suppose -2*q + 1 = -d + 8, -6 = -3*q. Solve 3*u - d = 4*h + 5, h = -u + 3 for h.
-1
Suppose -3*a - 4*g = -11 + 5, a - 2 = g. Solve -a*f - 2*o - 2 = 0, -f + 5*o = -0*o - 29 for f.
4
Let m(w) = w**3 + 3*w**2 + w - 2. Let v be m(-2). Solve 21 = -5*k - u, v*k = 5*k - 4*u + 41 for k.
-5
Suppose 4*b - 2*b = -d - 3, 4*d + 5*b = 0. Let o = 0 + d. Solve 3*h = -o*c + 3 - 4, -c = -2*h - 5 for c.
1
Let u be (0 - -3)/(6/8). Suppose -3*k + 12 = i, 3*k - 24 = -k - u*i. Let g be 86/6 + 4/6. Solve -o + 8 = -k*o, q + g = -4*o for q.
1
Suppose 4*o = 8, -5*k + 2*o + 23 = -8. Suppose -4*x = -3*y - 7, y + x - k = -0*x. Solve -r - y*l + 2 = 0, 5*l = 4*r - 0*l + 26 for r.
-4
Let l = 46 + -16. Solve 5*p + 0*q = 5*q + l, 5*q = 2*p - 15 for p.
5
Suppose y - 8 = -6. Solve -3*d = -o - 11, y*d = -4*o - d - 14 for o.
-5
Suppose -x = 4*x. Let d(j) = -4*j + 20. Let z be d(x). Let s be -8*(1 - (-9)/(-2)). Solve -4*w - 3*f = -0*f - s, 2*f = -3*w + z for w.
4
Suppose 0 = 2*b - 4*b + 52. Solve -2*c + 28 = 3*c + 3*a, -5*c + b = a for c.
5
Suppose -s = 4*h - 8, s + 2*h = -3*s + 4. Suppose s = -3*k - 4*d - 