*v = d for x.
-5
Let w = -3 + 4. Let x = w + -6. Let b be (2 + (-13)/5)*x. Solve -j + 2*p - 5 = 0, 0 = -j - b*j + 3*p - 5 for j.
1
Suppose 12 = 4*c + 2*t, -5*c + 6 = t - 6. Solve -o = 3, 0 = -4*r + c*o - 3*o - 7 for r.
-1
Let d = 60 - 33. Suppose 4*t - d = -u - 0*u, 0 = t - 2*u. Solve 3*g - t = -3*f, 3*f - 2 = g - 0 for g.
1
Suppose -3*j + 7 - 22 = 0. Let u be 6 + (-5)/(j/(-3)). Solve 3*y + 4*q = 27, -4*y + q + u*q = -8 for y.
5
Let w(g) = g**3 + 4*g**2 - 4*g - 3. Let a be w(-4). Let u = a - 10. Let s = -2 - -2. Solve 3*l = 5*j - 6, s = -2*j - l + u*l + 4 for j.
0
Let m = 10 - 10. Solve 3 = 3*v, -2*x + 4*v - 6 - 4 = m for x.
-3
Let x = -11 + 5. Let v = 10 + x. Let o(l) = -l**2 + 5*l - 2. Let h be o(4). Solve 3*g + h*p = 3*p, 0 = -2*g + v*p - 10 for g.
1
Suppose -d = -2*d + 4. Suppose -3*c + d*a = -22, 3*a + 12 = 2*c + a. Solve 3*l - c*p + 5 = -p, l - 3*p + 15 = 0 for l.
0
Suppose -3*p - 4 = -16. Solve p - 1 = -3*l - 2*x, l + x + 2 = 0 for l.
1
Suppose 3*h = 4 + 2. Suppose h = -r + 2*r. Suppose -3*z + 3 = -r*z. Solve q = 4*d + 3, -d + z*q - q = 6 for d.
0
Let l(y) = -y**3 + 1. Let a(j) = -j**3 - 5*j**2 - 6*j + 7. Let i(g) = a(g) - 2*l(g). Let c be i(6). Solve -c*t = -k, -2*k = -t + 2*k + 19 for t.
-1
Let l = 1 - 1. Let k be 2 - 2*(1 - l). Let g = -52 + 55. Solve -5*t - 3*r + 8 + 1 = k, 0 = 3*t - g*r + 9 for t.
0
Let x(v) = -v**3 + 8*v**2 + v - 6. Let p be x(8). Solve -h - p*d = -3*d + 1, 4*d = 12 for h.
2
Suppose 5*r - 4 = -b, 8 = 2*r - 0*r + 2*b. Let g(u) = u**2 - 12*u - 9. Let o be g(13). Let t = -3 + 7. Solve r = -o*a + 4*k + 4, 6*k + 14 = -t*a + k for a.
-1
Let v(y) = y**3 + 3*y**2 - 6 + 2*y - 7*y**2 + 0*y**2. Let l be v(4). Solve -2*x - 4*b - 22 = 0, 4*x - 5*b - l = -7 for x.
-5
Let z = 10 - 5. Suppose -7*u + 2*u = -60. Suppose 0*o = -4*o + u. Solve -o*k = 3*l - 21, 24 = 2*k - l + z*l for k.
2
Suppose -2*d = -0*d. Let w(s) = -s**3 + 1. Let g be w(d). Let r be g/3*(-1 - -16). Solve 2*n = v - 0 + r, -n = 4*v - 16 for v.
3
Suppose -2*i = i - 51. Let s = i - 11. Solve -3*v + s = p + 11, p = 2*v - 5 for p.
-5
Let v(d) be the third derivative of d**6/120 - 3*d**5/20 - 3*d**4/8 - 4*d**3/3 + 2*d**2. Let g be v(10). Solve -8 = -2*r - z, -2*r - g*z + 5*z = 0 for r.
3
Suppose -5*x - 153 = -4*q - 13, 0 = 4*q - 4*x - 140. Let s be -28 - (36/4)/(-3). Let l = q + s. Solve l*o - 5*o - 5*h = -15, 0 = 5*h - 25 for o.
2
Suppose 0 = 3*k + g - 11, 3*k - 2*g - 2*g - 1 = 0. Solve 0*r - 4 = -k*r + f, 0 = 5*r - 4*f - 2 for r.
2
Suppose 3*u + 15 = -2*u. Let i(h) = h**2 + 1. Let l be i(u). Suppose 2*q = -3*q + l. Solve 22 = 4*n - q*v, -4*n = -0*v + v - 19 for n.
5
Suppose -5*i - a - a + 31 = 0, -2*a + 21 = 3*i. Let o be i + -7 - (2 + -15). Solve 5*f = 5*u - 20, 2*f - 5*u = 6*f - o for f.
-1
Let f be ((-18)/3 + -2)/(-2). Let x = f - -1. Let v(z) = -z**3 - 5*z**2 + 4. Let b be v(-5). Solve -3 = -2*i - j, x*i = b*i + 2*j - 1 for i.
1
Let o(r) = -5*r + 9. Let d be 4/26 - (-162)/(-39). Let b be o(d). Let m = 6 + 1. Solve -3*c + m + 4 = l, 0 = -5*l - 2*c + b for l.
5
Suppose 6*o + 10 = 22. Solve 4*d = -2*x - 18, 3*x = -d - 9 + o for x.
-1
Suppose 2*d + 24 + 6 = 0. Let u be d/12*8/(-2). Solve 2*j + 10 = 0, -5*j + 3*j + 10 = -u*r for r.
-4
Let b(c) = -6*c**2 - c - 1. Let v be b(-1). Let y = 1 + v. Let z be 0/(-5) - (y + 1). Solve g - a + 3 - 1 = 0, -z*g + 2*a - 10 = 0 for g.
-3
Let g be (2 - 0) + 0/(-2). Let k be (0 - 0)*(-4)/12. Suppose k = -3*a + 2 + 13. Solve 0 = -n - a*t - 13, -3*n = g*n - 2*t - 16 for n.
2
Suppose 0 = -6*h + 5*h. Solve o + 2 = -o + 3*j, 2*o + j - 6 = h for o.
2
Let l(u) = -u. Let g be l(-4). Let x = -13 - -18. Suppose -x + 15 = 2*h + m, -12 = -3*m. Solve -2*r = -3*o + g*o - 12, 9 = h*r - 3*o for r.
5
Suppose 2 + 0 = -a, t + 5*a + 7 = 0. Suppose -f - 7 - 8 = -4*s, 0 = f + 4*s - 25. Suppose -f = -g + 1. Solve -t*i + 7 = 4*x - 15, -3*i = -g for x.
4
Let u = 64 - 62. Suppose 4*r = -a - 2*a, 4*r + 4*a = 0. Suppose u*s = 4 - r. Solve -4*j = s*d - 22, j - 10 = -5*d - 0*d for j.
5
Let b be (-8)/(-36) - (-220)/(-18). Let i = b - -7. Let q = i - -9. Solve 3*h = -2*y + q, -1 = h + 1 for y.
5
Let c(x) = -x**2 - 12*x - 5. Let m be c(-9). Let n = -15 + m. Solve -3 = 4*y - w, 2 + n = 5*y + 3*w for y.
0
Suppose -19 = -m + 4*p - 7*p, -2*m + 22 = 2*p. Let l be 8/16*(m - -1). Solve 5*t - 4 = -2*d - 8, -2*d + l = t for d.
3
Suppose 4*v - 8*v = -408. Suppose -v = -k - 2*k + z, 2*z - 68 = -2*k. Solve 0 = n + 4*s - 18, 1 - k = 4*n - 5*s for n.
-2
Let a(l) = 2*l. Let t(j) = j + 1. Let o(x) = 2*a(x) - 3*t(x). Let v be o(6). Solve v*d = -3*w - 21, -3*d = d - w + 13 for d.
-4
Let d(w) = -w**2 - 14*w + 18. Let u be d(-15). Solve 3*p - 4*f + 2*f = 19, u*p = 3*f + 21 for p.
5
Let v = 4 - 5. Let q be (-12 - -8)*v/1. Solve 0 = -2*o + q*l - 0*l + 2, -4*l + 16 = 4*o for o.
3
Suppose 2*q = -8, 0*q = 4*d + q - 40. Solve 2*h + 4*w = h - d, -8 = 2*w for h.
5
Suppose -8*o = -4*o. Solve -4*y = -3*p + 11, y - 26 = -o*p - 5*p for y.
1
Suppose -7*c + 3*c = 8. Let d be ((-20)/15)/(c/3). Solve -2*y - 5*l = -15, -d + 5 = 2*y + l for y.
0
Suppose -1 = -r + 2. Suppose 4*a = 4*d - 28, 3*a + 0*a + d = -13. Let f be 6 + (-4 - (a + 4)). Solve -r*t - 6 = -f*s, 0 = 5*s - 3*t + 1 - 7 for s.
0
Suppose 28*j - 26*j = 8. Suppose 3*z = 0, -8*t + 4*z = -j*t - 8. Solve t*l - 7*l + 15 = b, b + 4*l - 12 = 0 for b.
0
Let a(f) = f + 4. Let g be a(-2). Suppose 3*p - g = -z, -6*p + 2*p = 2*z. Solve -4*b - 7 = -i, 0 = -2*b - 3*b - i - p for b.
-1
Let w(c) = c**3 - 3*c + 1. Let m be w(2). Solve -2*d + 4*l - 19 = -m*d, 0 = 5*l - 20 for d.
3
Let y = -20 + 23. Solve -3*i + 3*c = -12, y*i - 9 = -3*c + 5*c for i.
1
Suppose -23*t + 587 = 104. Let n be 1/(-3) - (-2)/6. Solve -v + 5 = n, 2*k + 3*v = -2*v + t for k.
-2
Let x be 4/14 + 104/28. Solve 0 = -i - 3*g + x*g + 2, -g + 2 = 0 for i.
4
Suppose -2*d = -5*d - 45. Let o = -11 - d. Solve 5*x - 2 = 4*v, 3*x - o = -v - 13 for x.
-2
Let i(m) = m + 8. Let h be i(-5). Suppose -67 = -h*b + 2*v, -b - 4*v + 5 = -8. Solve -a - a - 23 = -3*x, 4*a + b = x for a.
-4
Let o = 10 + -5. Solve 3*q + o*k = -5, -2*q + 2*k = -7*q - 21 for q.
-5
Let z be ((-51)/6 - -2)*-2. Suppose -2*o - 5*d = 0, -2*o + 7*o = -5*d + 15. Solve -o*p + 3 = z, 3*p + 3 = 3*c for c.
-1
Let w = -5 - -7. Let n = -32 - -18. Let z be (-57)/(-21) + (-4)/n. Solve 11 = c + z*x, c - x + 7 = w*x for c.
2
Let o be 10*(-4)/24*-3. Solve -5*v + 3*z - 3 = z, o*v + 5*z = -10 for v.
-1
Suppose n = 4*n. Let m be (-2)/3 + (-23)/(-3). Solve -5*h - 10 = -5*y, n*h - h - 2*y + m = 0 for h.
1
Let s = 75 + -51. Let w be 10/3*s/20. Suppose 0 = w*n - n. Solve 3*j = -c - n + 5, 0 = -3*j + c + 7 for j.
2
Suppose 0 = -3*t + 23 - 8. Suppose 0 = -11*z + z. Solve 0 = t*a + 3*s - 6, 2*s + s - 6 = z for a.
0
Let o be 39/12 - (-5)/(-20). Let z = 3 - o. Solve -2*n + 6 = -c - c, z = -2*n + 8 for c.
1
Suppose -5*y - 3*d + 20 = -y, d = 0. Solve 0 = -2*l - 6, -2*w + 16 = -w - y*l for w.
1
Let s = 43 + -35. Solve 4 = -d, 2*j - 2*d = -2*j - s for j.
-4
Let j be 3/3 + (-2)/1. Let s be (j/(-3)*0)/(-3). Solve -3*r + 3*o = -s*r + 3, 2*r = -5*o - 30 for r.
-5
Let a be 2/(-3 - -1)*-3. Let u = a - 2. Solve -6*z = -3*z + 2*o - u, -o = z for z.
1
Suppose 0 = -9*p + 6*p. Solve -q = w + 3, p = 3*q - 2*q - w + 7 for q.
-5
Let h(q) = -q**2 - 6*q + 5. Let t be h(-6). Let s = -1 + -2. Let j = s + t. Solve -j*g = l + 2, 21 = -2*g + 2*l + 7 for g.
-3
Suppose -u - 2*u = 0. Let r = -9 - u. Let s be 20/6 - (-3)/r. Solve 2*o + s*v - 5 = 0, 0*v + 15 = 3*v for o.
-5
Let h(a) = a + 13 - 4*a**2 + 8*a + 3*a. Let z(k) = 2*k**2 - 6*k - 6. Let b(q) = 2*h(q) + 5*z(q). Let d be b(5). Solve d = 2*y - 2*r, -r + 20 = -5*r for y.
3
Let j be 2 + 0 + (-4)/2. Let h(r) be the third derivative of -r**4/24 + 5*r**3/6 + 2*r**2. Let o be h(j). Solve 2 = 5*n + y, n - o*y = 5*n + 11 for n.
1
Let o be (-2)/6 + 32/6. Let y(h) = h**3 - 6*h**2 + 6*h. Let t be y(o). Solve -5*c = -25, m + t*c - 20 = 6*m for m.
1
Let r = 171 + -151. Solve 5*m + 14 = 4*j - 11, 4*m + r = 3*j for j.
0
Suppose 3*r - 12 = 4*g - 3, -2*r + 4*g = -6. Suppose r*l = 2 + 13. Solve -q - 16 = -5*b, -l*b = q - 10 - 4 for b.
3
Let s(o) = -5*o + 7*o + 1 + o + 3*o. Let y(v) = -7*v. Let n(x) = -3*s(x) - 2*y(x). Let m be n(-2). Solve 4*c + 3*w - 15 = 0, m*c + 4*w - 19 + 0 = 0 for c.
3
Let i(q) = -q**3 - 9*q**2 - 17*q - 2. Let c be i(-7). Solve