y - 14 = -2*q, 4 = -q + v*y for q.
5
Let k be (7 + -6)*(-1 - -1). Suppose -n = -k*n - 2. Solve 2*z - s + 0 = n, -2 = -5*z + s for z.
0
Let c = 6 + -12. Let t(s) = -2*s + 22. Let o be t(12). Let u = o - c. Solve -3*i + 5*x = 22, 32 = -4*i + u*x + 8 for i.
-4
Let f = 8 + -1. Let x = 8 + -11. Let m(c) = -c**3 - 4*c**2 - 2*c + 3. Let k be m(x). Solve -4*i - a + f = k, 5*i - 2*a - 6 = 19 for i.
3
Let u(y) = -y**2 + 10*y. Let z be u(8). Let c = z + -4. Solve 4*f + c = 0, 5*f + 14 = v - 2*v for v.
1
Suppose -3*f + 2*q - 4*q = -9, 2*q - 8 = -2*f. Solve -2*k + f = -0*m + 3*m, -3*k - 5*m = 0 for k.
5
Let s(t) be the second derivative of t**3/6 - 4*t**2 + 5*t. Let a be s(11). Solve 0 = -a*v, 0*v = 5*d - 2*v + 15 for d.
-3
Suppose 3*g - 2*v + 43 = 2*v, 0 = -2*v - 10. Let n be ((-14)/g)/(1/3). Solve 2*i + 2*b + 10 = -n*b, -16 = -4*i + 4*b for i.
1
Let n be ((-2)/(-7))/((-3)/(-21)). Suppose -6 = -h - n. Suppose -8 = -2*t - h. Solve -t*v = 3*m + 3*v + 24, -4*m - 6 = -2*v for m.
-3
Let t = 16 + -13. Solve 4*z = -x + t*x + 2, -5*z = 5*x - 10 for z.
1
Suppose -k + 12 = 3*p, -7 = -p - 2*k - 3. Solve -4*v - 5 = -2*v - m, 0 = 5*v + p*m - 7 for v.
-1
Let q be 10 - 2/(-1 + 2). Let x = q - 8. Solve 3*a + 3*u = -0 - 18, 2*a - 3*u - 3 = x for a.
-3
Let x = 89 - 87. Solve x*f - 1 = -5*t + f, -2*t - 2 = f for t.
1
Suppose 4*t = 2*d - 20, 0 = -4*d - 2*t - 0*t. Suppose 3*i + 4*q = d*q + 18, 2*i + 5*q - 23 = 0. Let k be 60/27 + i/(-18). Solve f + 1 = -2*p, p - k*p = 0 for f.
-1
Suppose 0 = -z, 3*l + 4*z - 3 = 3. Let a = l + -3. Let q be a/(-5) + (-267)/(-15). Solve -5*f + 2*t + 2*t + 3 = 0, 5*t = -f + q for f.
3
Suppose 4*v - 30 = -5*o, 0 = -9*o + 4*o - 5*v + 35. Solve -h - o*p + 3 = -0, -p = -1 for h.
1
Let u(m) = 2*m - 6. Let z be u(4). Suppose 2*c + 3*p = 20 - 0, 4*c + p = 20. Solve -5*h - 5*b + 15 = 0, z*h + 2 = c*b - 4 for h.
1
Suppose 0 = 4*u - 7*u + 18. Let r(q) = -69 + 73 + 0*q + q. Let x be r(u). Solve 5*a + 4*w + x = 0, 0*w = -2*a + 2*w - 4 for a.
-2
Let a(k) = k**3 + 9*k**2 + 9*k + 11. Let v be a(-8). Suppose -v*m + 1 = -2. Solve -2*c - 11 = j, m = -4*c + j - 6 for c.
-3
Let z be (-27)/18*8/(-6) + 3. Solve m + 4*t = 15, -3*m - 2*m = z*t - 30 for m.
3
Suppose -2*r + 10 = 3*r. Let j be 0 + (1 - (r - -1)). Let t be 1/(j - 9/(-4)). Solve -m = -2*x + t*x - 1, -x - 17 = -3*m for m.
5
Let j be (-3)/(-2*(-6)/(-8)). Let o(x) = -x**2 + 2*x + 4*x - j*x. Let m be o(3). Solve -5*r = 0, m*z + 3*r = 8*z for z.
0
Suppose 2*w - 22 = -3*g - 1, -2*g + w + 7 = 0. Solve -u + 3*c = -12 - g, 2*u = -2*c + 2 for u.
5
Let j(l) = l + 1. Let t be j(-5). Let q(b) = b**3 + 5*b**2 + 5*b + 4. Let a be q(t). Solve a = -2*o + 4*x, o = -x + 6 - 0 for o.
4
Suppose 0 = 4*o - o - 12. Suppose -2*j - j + 2*f + 6 = 0, -j = -o*f - 2. Solve -j*b + 4*t - 2 = 3*t, 3*t - 6 = -b for b.
0
Let w(o) = 4*o - 10. Let y be w(7). Suppose 0 = -c + 3*c + 4*z - y, 4*c + 2*z = 54. Solve -2*a - 8 = -5*u + 2, 4*u - c = 3*a for u.
0
Suppose -5*t = 5*v - 80, 4*v - 36 = 5*t + 64. Solve -5*d - j + 6 = -0*d, -5*j - v = 0 for d.
2
Let p be 40/12*(-6)/(-4). Suppose -p*s = -0*s - 5. Solve 5*a + s = -4*o - 18, 4*a + 14 = -2*o for o.
-1
Let q(x) = x**2 - 2*x - 5. Let d be q(4). Let n(y) = y**3 + 5*y**2 - 12*y - 33. Let s be n(-6). Solve -4*h + 20 = 4*j, -h = -s*j - d*h + 14 for j.
4
Suppose -6*m = 8*m - 14. Solve 0 = -3*k - 3*n + 4*n - m, 0 = -2*k + n - 1 for k.
0
Suppose -1 = 5*j - 4*f + 3*f, -4*j + 2 = 2*f. Solve -2*d + 4*q + 7 + 3 = j, -3*d - 4*q = 35 for d.
-5
Suppose 0 = -0*f + f - 4. Suppose -o + f = o. Suppose -o*w + 0*k + 18 = 2*k, 5*w = 4*k. Solve -2 = -3*j - 5*h - 0, 3*j - h = -w for j.
-1
Suppose 14 + 11 = 5*w. Suppose -9 = -j + n, 5*n = -j - 16 - w. Solve 0 = 2*v - 0*m - m + 9, -j*v - 23 = 3*m for v.
-5
Let h = 2 - -3. Suppose -w + 13 = h*x, -12 = -2*w - 3*x - 0. Let l be 8/w + 12/(-18). Solve 3*u + l = -k, -3*k - u = -0*k - 10 for k.
4
Let j(c) = -c + 10. Let u be j(6). Suppose -4 = -k - 2*v, -2*k + v - 5 = -3. Suppose 4*t - 48 = -k*t. Solve 3*x + t = 2*i, -u*i = -x + 2*x - 10 for x.
-2
Let g be ((-12)/10)/(1/5). Let n be 48/(-1)*3/g. Solve 4*c + n = 4*k, c - 5 = -3*k + 9 for c.
-1
Let d(x) = x + 4. Let f be d(-4). Suppose -11 = -4*i - t, -4*t + 6 = -3*i - f*t. Solve 3*l - j = 7, -2*l + 3*j = -i*j + 4 for l.
3
Suppose 4*r - 3*a - a = 32, 2*a = -2*r. Let v = r - 2. Solve 0 = -2*g + 5 - 3, v*x - 13 = -5*g for x.
4
Let i(d) = d**2 - d. Let n(q) = q - 1. Let a be n(5). Let v be i(a). Let o be (-8)/v*(-6 - 0). Solve 3*b + 1 = -3*j + 2*j, -11 = -o*j + 3*b for j.
2
Suppose 0*v + 2*v + 3*i - 25 = 0, v + 3*i - 11 = 0. Solve -5*d - c - 27 = -5, -c + v = -4*d for d.
-4
Let k(v) = -v**2 + 2*v - 4*v - 4*v. Let y be k(-5). Suppose 3*b = y*z - 20, b = -2*b - 2*z + 8. Solve -n = q + 10 - b, 3*q = 3*n for n.
-5
Suppose f - 4 - 21 = 0. Solve 2*b + f = 3*h, -4*h - 3*b - 20 = -5*h for h.
5
Let t = 391 - 256. Let k be 2/(-4) + t/10. Solve -5 - 3 = -2*a, -k = -r - 2*a for r.
5
Let k = 35 + -31. Solve k*m + u = -5, 2 = -m + 3*u - 4*u for m.
-1
Let s(b) be the second derivative of b**3/3 + 3*b**2 + 2*b. Let q be s(-5). Let h = q - -10. Solve j + 4*z - 7 = 0, 2*j - h = -2*j - 5*z for j.
-1
Suppose 3*u + 2*q + 24 = 0, 0 = 2*u + u + 4*q + 30. Let c be (13/2)/((-3)/u). Solve 3*o = 4*d - c, 4*o - 3*o - 1 = -4*d for o.
-3
Suppose 2*n + 18 = 3*b - 2*b, 87 = 3*b + 5*n. Let z = -14 + b. Suppose x - 3*x = -z. Solve 2*y + x*r = 7*y - 40, 0 = 2*y - 3*r - 21 for y.
3
Suppose -96 = -3*c - c. Suppose p = 2*p - 5. Solve -d = -4*d + p*w - 8, -d - 5*w + c = 0 for d.
4
Suppose 7*w - 3*w = 24. Let i be (8/7)/((-8)/(-28)). Suppose 5*q - 2*a = 31 - 4, 0 = 2*q + i*a - w. Solve -3*c = h - 4*c, -c = q*h for h.
0
Suppose -24 = -d - 7*d. Solve 2*y - 9 = -y + 3*c, -2*y - d*c = -11 for y.
4
Let k = 0 + 0. Solve -d + 3*n = -2*d + 14, k = -4*n + 12 for d.
5
Suppose 4*t - 6 + 2 = 0. Let v be 1/(t/(-33)*-3). Solve v = -y + 5*w, -4*w + 15 = w for y.
4
Let y be ((-2)/2)/(3/(-15)). Let t = 58 - 52. Let g be (-2 - -2)/((-1)/(-1)). Solve t*c - c - 8 = 4*i, g = -y*i + c - 10 for i.
-2
Let n = 9 + -7. Suppose 2*v = -n*k + 3*v + 9, 0 = 4*k + v - 3. Solve c + 8 = 5*m, 0 = -c - 0 + k for m.
2
Let c = 2 + 3. Let n(b) = -b**2 + 8*b - 9. Let g be n(6). Let x be -1*g*4/(-6). Solve -4*f - 4*h - 20 = 0, 5*f + x*h - c = 3*h for f.
0
Suppose -d = j, 4*d + 3*j = -0*j. Solve d = -2*t - 5*s - 19, -5*t - s = 1 - 11 for t.
3
Let c = 16 - 12. Suppose -n = -2*s + 9, 7 = -2*s - c*n + 1. Solve -f = -s*p + 12, 0 = -0*f - 2*f - 5*p + 9 for f.
-3
Let l be (0/3)/4 - (-4 + 1). Solve -l*j = -0*j - 6, r + 3*j = 1 for r.
-5
Suppose 0 = -2*q + 2, q = -5*c + 1. Solve -w + 7*r - 2*r - 7 = 0, c = r - 2 for w.
3
Suppose 0 = 4*s + 5*p - 43, 0 = -3*s + 3*p + 2*p + 6. Let n = -2 + s. Solve -m + 3*m - 7 = -a, -n*a + 24 = -m for a.
5
Suppose 4*x + t - 71 = 6*t, 2*x - 40 = -2*t. Solve 3*d - x = 5*g, 7*d = 5*g + 2*d + 15 for g.
-5
Suppose 3*n = 4*n - 1. Let i be 3 - (n - (-1 - -2)). Solve 0 = 3*x + 2*p + 3, 3 = i*p - 6 for x.
-3
Suppose -6*n = -n + 30. Let m(t) = -t**3 - 7*t**2 - 5*t + 6. Let w be m(n). Suppose w*u - 4*u + 40 = 0. Solve 5*g - u = 2*g - q, 3*g - 14 = q for g.
4
Let a(i) = -i - 14. Let b be a(-6). Let k be (-1)/(-2) - 20/b. Suppose 4*g - g + 4*d - 8 = 0, -2*g = -d + 2. Solve 0 = -3*s - 12, g = -k*m + m + 2*s + 14 for m.
3
Suppose -l + 6*l - 26 = 4*s, -14 = -3*l + 2*s. Let p = 6 - 4. Solve -l*c - 4*i - 22 = 0, 3*i - 6 = c + p*c for c.
-5
Suppose 0 = -5*t - 0*t - 20. Let a = t - -7. Suppose -2*d = -10 + 2. Solve 0*o = -5*s + a*o - 16, -d*s + o - 17 = 0 for s.
-5
Let g(w) = 3*w - 1. Let r be g(2). Suppose -7*j = -2*j - r*x - 55, 0 = -j + 4*x + 14. Solve d + 5*l + 2 = -j, -d - 4 = l for d.
-2
Let r be (-22)/(-6) + (-20)/30. Let x be ((-2)/(-5))/(1/20). Solve 4*b - x = -r*u, -u + 0*u - b + 2 = 0 for u.
0
Let l(g) = g**2 - 4*g + 8. Let u be l(2). Solve 0 = 3*f - 5*s + 10, -u*s + 10 = 2*f + s for f.
0
Suppose 2*t + 2*t + 16 = 0, -2*k + 5*t = -30. Suppose 73 = 2*p - 55. Let u be p/2 + 4/(-2). Solve -3*v - 40 = -k*m, -3*m + 2*v + u = m for m.
5
Let n = -137 + 140. Let l be (1/2)/((-2)/4). Let q(g) = -3*g**3. Let v be q(l). Solve -2*u = y - 0*u + v, n = 3*u for y.
-5
Suppose 4*m - 12 = -5*j + 3*m, 0 = -4*j - 4*m. Solve 5*b = 0, -i - 5 = -5*b - j for i.
-2
Let m = 26 + -37. Let o = m - -43. Solve -3*d - 2 - 1 = 