3
Let o be (2 + -1)*6 - 1. Let a = -3 - -6. Suppose -4*q + 4 = -4*d, 0 = -a*d - 2*q + 4*q. Solve d*j - z + 2 = 2*z, -j = -o*z + 1 for j.
-1
Let x = -6 + 8. Suppose -5*h = -x*j - 3, -j + h = -4*h + 9. Let r be j/15 + (-26)/(-10). Solve 10 - 3 = -3*a - 2*i, -r*a - 4*i = -1 for a.
-5
Suppose -4*z + 2*y - 4*y + 10 = 0, -y + 5 = 0. Let d be 2 + z/(2 + 1). Solve 2*c = d*m + m, 0 = -2*m + 2*c for m.
0
Let x be 86/18 + (-32)/(-144). Solve 0*i = -n - x*i + 20, 0 = -2*n - 3*i + 5 for n.
-5
Suppose 0 = -q - 3*q. Suppose q = 5*c - 6 + 1. Let i be 4/(-4)*(c - 4). Solve 0 = -2*m + 4*m + 2*f - 2, i*m - 5*f + 29 = 0 for m.
-3
Let n be ((-20)/15)/((-4)/(-6)). Let a be (n + 3 - -36)*1. Solve -2*x - 3*r = -9, 3*x - 5*r + a = -x for x.
-3
Suppose 3*c - 1 - 10 = 5*g, 0 = 3*c + g - 5. Solve -5*a = -c*j + 20 + 4, -4*a - 10 = 3*j for j.
2
Suppose -y - m = -3, 4*m = y - 0*y - 3. Solve -3*f - 3*p = 0, 5*p = y*f - 44 + 4 for f.
5
Let w(f) = f**3 - 2*f + 2. Let q be w(2). Suppose -192 = q*b - 2*b. Let m = b - -72. Solve -p = 2*i + i + 19, -p - m = 4*i for i.
-5
Suppose -s + 12 = -5*s. Let g be ((3 + s)/(-1))/1. Solve 2*t - b = -g + 3, 2*b - 10 = -4*t for t.
2
Let p be -19 + 0/(0 + -2). Let o = p + 34. Suppose -b + 4*t + o = 0, 0*b - 15 = -4*b + t. Solve -20 = -4*n, 0*c - b*n = 5*c - 15 for c.
0
Let w(d) be the second derivative of 5/6*d**3 + d**2 + 0 - 2*d - 1/12*d**4. Let k be w(5). Solve 8 = -2*s - k*z, -5*z - 28 = -2*s - s for s.
1
Suppose -3*o + 3 = -9. Suppose 6*u - 33 = 3*u. Solve -4*m + 2*m = -o*g - 2, m = -4*g - u for m.
-3
Suppose 0*m - 1 = -4*m - 5*v, -3 = -3*m - 3*v. Solve 3*o + q + m*q = 14, 3*o - q - 8 = 0 for o.
3
Suppose q = 2*a - 6, 5*q + 6*a = 3*a + 9. Solve -2*r - 13 = -7*r + 3*o, q = 2*r + o - 14 for r.
5
Suppose g - 3 - 13 = -4*s, -41 = -2*g + s. Let k(b) = 3*b + 18. Let r be k(-5). Solve -2*h + 7*h = o - g, -r*h = -3*o for o.
-5
Let j be (42/8)/(4/(-16)). Let z be (j/12)/(3/(-12)). Solve 2*v - 4*x - 6 = 0, v - 5*x - z = 5 for v.
-3
Suppose 23*c - 27*c + 8 = 0. Solve -j + 4 = r, 0*j + j = c*r - 11 for j.
-1
Let h(t) = -12*t**3 - t**2. Let y be h(-1). Let l = -11 + y. Solve 3*m + 5*n - 11 - 2 = l, -3*m + n + 1 = 0 for m.
1
Let r be 9/2 - 8/(-16). Suppose r*w - 16 = w. Solve -8 = w*d - 7*d - j, 5*d - 5*j = 0 for d.
2
Let v(c) = c**2 + 3*c + 3. Let y be v(-3). Solve -a + 3*i + 1 = y, -19 = 3*a + 4*i for a.
-5
Let y be (-4)/((-1)/(-1)*-2). Suppose y*j = 5 - 1. Suppose -5*n - j*g - 10 = 0, -4*g - g - 25 = 5*n. Solve 6*t - t + 8 = -2*x, t - 4*x + 6 = n for t.
-2
Let b = 21 - -11. Solve -3*d = 2*i - 8*d - 12, 4*d = -4*i - b for i.
-4
Suppose -q + 0*q = 14. Let m = -10 - q. Solve -5 = -5*d, -4*w + 2*w + 4 = -m*d for w.
4
Let q(u) = u**3 + 15*u**2 - 2*u - 28. Let s be q(-15). Solve -k - 4*k + 3 = f, 2*f + 2 = -s*k for f.
-2
Let q(y) = -7*y - 63. Let o be q(-9). Solve o*m - 10 = -2*m + i, -3*m + i + 14 = 0 for m.
4
Let q(x) = 4*x**2. Let a be q(-1). Suppose s + 1 = -3*h + a, -3*s + 30 = 2*h. Solve 12 = -3*w + 3*y, 2*w + 3*y + s = -3*w for w.
-3
Let v be 2/(6*(-4)/(-96)). Solve -5*l + v = 2*o - 7, 2*o - 4*l = 6 for o.
5
Let g be (-3)/(-6)*(5 + 3). Let t be 1*2*1 + 1. Suppose 6*p - 13 = -y + t*p, g*y - 18 = 5*p. Solve -4*m + 3*n + 28 = 0, 32 = y*m - 3*m - 4*n for m.
4
Let h be (12/8)/((-6)/8). Let t be (9 - 3) + 0 + h. Suppose 3*p - 20 = -p. Solve 0 = p*y, 1 + 9 = -5*r + t*y for r.
-2
Let c(d) = 2*d + 5 + 4 - d. Let l be c(-4). Let j = -106 + 111. Solve 0 = 2*i + 2*i + j*n + 6, 8 = -2*i - l*n for i.
1
Let k be 8 - (-7 - (-8)/2). Let z = 9 + k. Solve -5*q + b - 4*b + z = 0, 5*b - 30 = -5*q for q.
1
Let y be (-8)/(-10)*(7 + -2). Let a(l) = l - 1. Let j be a(6). Solve -k - t = -2*t + y, j*k - t = 0 for k.
1
Suppose -4*v = -2*b - 8, 2*v - b - 3*b + 8 = 0. Solve -5*l + v*o = -3 - 3, 6 = -5*l + o for l.
-2
Let g be ((-3)/4)/(3/(-8)). Solve 0 = -4*f - 4*t + 24, 5*f = -g*t + 7*t for f.
3
Let p be 9/6*10/3. Let n(f) = f + 3 + f - p. Let w be n(3). Solve -20 = j + 3*j - w*t, 0 = 4*t - 4 for j.
-4
Let q(d) be the third derivative of -d**6/120 + 7*d**5/60 - 7*d**4/24 + d**3/2 + 3*d**2. Let x be q(5). Solve w - 8 = -6*h + 2*h, -3*w = -2*h + x for h.
3
Let j = 0 + 5. Solve j*u = -3*l, 4*u = 3*u + 3*l - 18 for u.
-3
Suppose f = -3*f. Solve 0 = 3*g - 4*t + 15, f = -0*g - 3*g + 5*t - 18 for g.
-1
Suppose 10 + 6 = -t + 5*g, -2*t = -g - 4. Let l(b) = b**3 - 3*b**2 - 4*b + 4. Let z be l(t). Solve -5*c - 3*n - 6 = -2, -4*c = -z*n - 16 for c.
1
Let t(w) = -w**3 - w**2 + 7*w + 5. Let c be t(-3). Solve 7 = b - 2*m, -8 = 6*b - c*b + 4*m for b.
1
Let b = 34 - 29. Solve 6*y - 4*y + 23 = -b*l, 2*y = -8 for l.
-3
Let u be -1 + (7 - 1) + -3. Let p be u/(-2) - 2 - -6. Let a(f) = 2*f**3 - 3*f**2. Let r be a(2). Solve 3*o + 3 = -p*t, 3 - 11 = -r*o + 2*t for o.
1
Let s be 9/2*(-2)/(-3). Solve s*p + 9 = 3*t, -5*p - 6 = 7*t - 3*t for t.
1
Suppose 2*d - 3*d = 3*u - 16, -4*u - 3*d + 18 = 0. Let i be ((-2)/u)/((-5)/45). Solve 10 = -i*q + 5*k, -17 = 3*q + 4*k - 2*k for q.
-5
Let v = 6 + -3. Let h be 15/10*12/9. Suppose o = -o + h. Solve -2*c + 4*i = 5 - o, -5*c - v*i = 23 for c.
-4
Let t = -9 - -9. Suppose t = -3*r + n + 1, -3*r - 3*n - n - 4 = 0. Solve -w + 2*s = r, 3*w - 5*s + 1 = 3 for w.
4
Let a = 7 - 3. Let u be 0*(1 + (-6)/a). Suppose u = -2*z + 4*k + 44, -4*k + 2 = -z + 30. Solve -3*l - 5*b = z, -4*l + 4*b + 37 = 5 for l.
3
Suppose 18*l - 38 = 52. Solve 0 = -2*p + d + 6 - 3, l*d - 45 = -5*p for p.
4
Let t(d) = d**3 + 7*d**2 - 12*d - 11. Let j be t(-8). Solve 5*x - x = -s, 0 = -x + 5*s + j for x.
1
Let y = 17 - 6. Suppose 3*w - 2 = -b + 7, -3*w = -4*b + 6. Solve b*i - 4*i + 1 = -3*a, -2*a + y = -3*i for i.
-5
Let l = -23 + 33. Let j(m) = -m - 16. Let d be j(-10). Let r be (l/d)/(-5)*12. Solve -v + 2*i = 6, 5*i - 12 - 3 = -r*v for v.
0
Suppose 3*m = -4*p - 20, -3*p - 6*m - 22 = -2*m. Let b be (3 - -2) + (p - 0). Solve -a + b*v = -3*a - 4, 0 = 2*a - v + 4 for a.
-2
Let r(f) = f**3 - 6*f**2 + 6*f - 5. Let q be r(6). Solve -18 = 4*b - m, m - 9 = -4*b - q for b.
-5
Let n(u) = -5*u - 25. Let q be n(-10). Solve 4*y + 26 = -2*b, -7*b - q = -2*b for y.
-4
Suppose t + 6 = 10. Solve t*m + 30 = -2*f, -15 = 3*m + m - f for m.
-5
Let n(y) = -y**2 + 5*y - 3. Let s be n(3). Let b = 4 - s. Let h be b/((-3)/(-6)) + 0. Solve 34 = h*m - 5*g + 13, -2*g = 2*m for m.
3
Let u be (-16)/(-2) + (-8)/2. Solve -u*p + i = -15, 5*p + 5*i + 0*i = 50 for p.
5
Suppose -4*z + 7 = -13. Solve 4*b + 7 + 11 = -v, z*b + 4*v + 17 = 0 for b.
-5
Let n(r) = 3*r**2 + 2*r - 3. Let f be n(3). Solve -3*a + a + f = -5*p, 5*a = 3*p + 37 for p.
-4
Let x(d) = -d - 5. Let s be x(-8). Suppose -3*p + 9 = -3. Solve -s*h - 5*v = -18 + 46, -4*h - p*v = 24 for h.
-1
Let o(k) = 3*k - 3. Let j be o(2). Solve 2*w - u = j, -u = -5*w + u + 5 for w.
-1
Let p = 11 + -6. Let t(g) = -3 + 0*g + 6 + 2*g. Let z be t(p). Solve -3*m = -5*s + 1, 0*m = -4*m - 5*s - z for m.
-2
Let x(o) = 40*o**2 - o. Let q be x(1). Let a = q + -9. Solve -2*t + 0*t + 12 = 4*p, -5*t = -2*p + a for p.
5
Let s be (10/(-15))/((-2)/9). Let z = s + -4. Let t = z - -5. Solve 5*y + 39 - 14 = -t*o, 2*o - 20 = 4*y for o.
0
Let m(w) = -w**3 + 15*w**2 - w + 5. Let d be m(7). Let n be (d/(-15))/((-2)/1). Solve -z + 4*z = -4*j + 7, 3*z - j = -n for z.
-3
Let m(y) = y**2 + 2*y - 13. Let k be m(-5). Solve -i - 2*i - k*c = -8, 2*i + 5*c - 9 = 0 for i.
2
Let q be -2*(2 - 2/3*6). Let i = -2 - 5. Let h = 10 + i. Solve -7*j = x - 3*j - 17, -q*j = -h*x - 29 for x.
-3
Suppose 0 = -11*x + 9*x - 8. Let a = x + 9. Solve -9 = -2*t - j, 2*j - 10 = -a*t + 13 for t.
5
Suppose 5*p - 5 = 20. Let n(j) = j**2 - 4*j. Let s be n(p). Let l be (25 - 1)/(-1 + 2). Solve -2*r = 5*m, 0 = -s*m + 3*r - 1 - l for m.
-2
Suppose -j + 0*j + 3 = 0. Suppose 0 = -5*i - 2*z + 58, j*i + z = 6*z + 41. Solve f + 3 = -3*x + 2*x, -4*x - i = 5*f for x.
-3
Suppose 2*c - 7 - 1 = 0. Let h(l) = 7*l + 39. Let b be h(-5). Solve r = -2*j + b*r - 2, c*j + 4 = -4*r for j.
-1
Suppose -c + 2*t + 1 = -4*c, 5*c + 7 = 2*t. Suppose -4*o + 2*o - 10 = 0. Let m = c - o. Solve m*f = d + 11, 5*d - 5 = 9*f - 4*f for d.
5
Let c be 4/(-2) + 8/2. Suppose c*q + q = 12. Suppose 10 = -u + 6*u. Solve -10 = -5*f + u*s, f - s = -q*f + 10 for f.
2
Let s(o) = -o**3 + 3*o**2 + 3*o + 7. Let k be s(4). Solve -p - 9 = -2*i, -2*i = p + k*p - 4 for i.
4
Suppose -f = -0*f. Solv