ve -2*z = 4*j - f, 0 = -4*z - 0*j + 3*j + 8 for z.
5
Let t be -4 + 1 + 1 - 2. Let a(n) = -n**3 - 3*n**2 + 5*n + 4. Let h be a(t). Suppose 2*j - 9 - 1 = h. Solve 3*y + 12 = j*x, 0 = 2*y - 0*y + 3*x + 8 for y.
-4
Let o(b) be the second derivative of -2*b - 1/6*b**3 + 5/2*b**2 + 0. Let z be o(0). Solve -z*i + 4 = -c, 0*i - 4 = -3*c - i for c.
1
Let t be 6/9*81/2. Suppose -h + 4*h - 3*n - t = 0, -3*h + 4*n = -27. Solve 4*r - 16 = x, x - h = -3*r + 10 for r.
5
Let t(d) = 2*d + 14. Let b be t(-6). Suppose -b*g + 7*g = 15. Solve g*j - 2*j - 4 = 2*q, -8 = 4*j + 4*q for j.
0
Let r(x) = -x**3 - 17*x**2 - 2*x - 31. Let m be r(-17). Solve -m*l - 2*z = -4, l + z + 0 = 1 for l.
2
Let f(t) = t - 4. Let r be 2/(1 - 13/15). Suppose -5*l + 15 = -r. Let h be f(l). Solve 7*w = 3*i + h*w + 5, -w + 1 = i for i.
0
Suppose 3*d - 4*j = -2 + 12, 2*d + 20 = -4*j. Let y be d*(-2)/(-4)*-7. Suppose 8 + y = 5*u. Solve 0 = -0*p - 2*p + 6, 3*q - 2*p - u = 0 for q.
3
Let h(k) = -k**3 + 7*k**2 + 7*k - 4. Let v be h(7). Suppose -v + 13 = -t. Suppose 5*z - t = -7. Solve 2*j = -3*b + 19, -z*b = -2*j - 11 - 10 for b.
5
Let l = 139 - 126. Solve 4*o - 2*k + 14 = 0, 2*k - l = 2*o - k for o.
-2
Suppose -6 = 3*x + 3*b - 30, b - 20 = -5*x. Solve -4 = -u + 5*g, 0 = 5*u + g - x*g + 3 for u.
-1
Suppose -4*l + 7*c = 5*c, 2*l = -4*c. Solve 4*a + l*a = -3*f + 2, -5*f = -2*a + 14 for f.
-2
Suppose 0 = -4*i - 3*m + 6, 0 = i + 5*m - 3 + 10. Let p = i - 0. Solve 0 = p*x + 12, -5*j = -x - 1 + 7 for j.
-2
Let s = -8 + 8. Suppose -5*d + 30 + 0 = s. Suppose 3*o = -0 + 9. Solve 4*g - d + 23 = o*c, 4*g + c = -5 for g.
-2
Let m(v) be the first derivative of v**2/2 + 11*v + 3. Suppose 1 = 5*s + 46. Let u be m(s). Solve 5*x = -0*g - u*g - 1, g = 4*x - 7 for x.
1
Suppose 0 = -2*w, -5*i + 50 = -0*i - 3*w. Let q(g) = -g + 15. Let z be q(i). Let j = -2 - -7. Solve -2 = -z*r + 18, 24 = 4*f + j*r for f.
1
Suppose 3*z + s - 2 = 2*z, -4*z + 8 = -3*s. Solve 0 = -5*p + f - 8, 0*p + z*p + 12 = -4*f for p.
-2
Suppose 2*a - 2 = -14. Let b be (40/(-10))/(8/a). Solve -3*y = -5*r + 2*r + 3, 0 = -3*y - b*r + 27 for y.
4
Suppose 0 = 5*r - 3*h - 90, -5*r - 4*h + 4 = -51. Suppose -3*y + r = 6. Suppose q - 2*q = -y. Solve -14 = 4*c - 2*z, 4*z - 25 + 7 = q*c for c.
-2
Suppose -a + 2*a = 0. Let d = a + 4. Solve d = m - b + 7, 0 = 5*m + b + 9 for m.
-2
Suppose -2*a + 7*a = 115. Suppose 5*u - a = -8. Solve 7*b = -u*i + 3*b + 15, 0 = -b for i.
5
Suppose -3*z + 230 + 58 = 0. Let k = -3 - -3. Let r be (0 - k) + z/4. Solve 2*o = -2*m - 2*o - r, -4*o - 14 = -3*m for m.
-2
Let a be (16/40)/((-2)/(-470)). Suppose -2*b = -4*i + i + a, 5*i - 140 = -5*b. Let r be 12/i - 6/(-10). Solve -r = -d + s - 6, s - 10 = 2*d for d.
-5
Let k(i) = i**3 + i**2 - 3*i - 1. Let u be k(-2). Let x(s) = 2*s + 2. Let o be x(u). Let r = 0 + 2. Solve w - r*h = -o*w - 19, -2*h - 16 = 2*w for w.
-5
Let n(d) = d**2 - 5*d - 6. Let q be n(6). Let v be (q + -3)*7/(-3). Solve -4 = -4*p + 2*r, -4*p + 3*r + v - 1 = 0 for p.
0
Let b(t) = -t**3 + 2*t**2 - 2*t + 2. Let l be b(2). Let x be 0/(-2) + l + 12. Solve -4 = 2*r - 2*j + 4*j, 5*r - 2*j = -x for r.
-2
Let b(i) = -2*i - 3. Let u be b(-6). Suppose 2*y + u + 1 = 0. Let v be ((-6)/y)/((-6)/(-20)). Solve 2 = 4*d - 14, v*d - 11 = p for p.
5
Let s = -72 - -73. Solve 3*f + p = 10, f = 2*p - 5 - s for f.
2
Let y(r) = -4*r. Let b be y(-3). Suppose 2*z = -z + b. Suppose -29 = -z*t + 3. Solve f + f - t = g, 0 = f + g - 1 for f.
3
Suppose 0 = 21*b - 17*b - 12. Solve -3*p + g - 4 = -3*g, -2*g = -b*p + 4 for p.
4
Let b(i) = 2*i - 7. Let j(f) = f**2 - 2. Let t be j(3). Let s be b(t). Let x = s - 5. Solve 0 = -5*g - 4*r + 40, -4 = g - x*r + 2 for g.
4
Let b(a) = a**2 - 3*a - 4. Let u be b(4). Suppose 5*j - 2*j - 54 = u. Solve 0 = -5*h - 0*r - r - j, 2*h - 3*r = 3 for h.
-3
Let j(q) = -6*q + 22. Let h be j(3). Solve 2*m - 8 = -4*u - h, -5*u + m = 2 for u.
0
Let y(m) = m**2 + m + 1. Let p be y(-2). Suppose -4 = a - p*a. Suppose 4*f - d - 73 = 0, 5*f - 2*d + 8 = 100. Solve q + f = -3*n, -n + 3*q + 14 = -a*n for n.
-5
Suppose -4*k + 8 = -2*r, 1 = -2*k - 4*r + 15. Suppose o - 4*o = -12. Let f be ((-10)/8)/(o/(-16)). Solve -f*q + 16 = -4*h - 8, 5*h - k*q = -17 for h.
-1
Let b be ((-40)/18)/10*-9. Let c = 47 - 32. Solve -2*f + 4*o = 2*f, c = b*f - 5*o for f.
-5
Let d = 10 - 7. Solve 2*b + 14 = -4*o, -1 = -2*o - 2*o + d*b for o.
-2
Suppose 0 = 3*c - 5*c + 2. Let b be (c + 1)/6*21. Let j = b + 3. Solve -2*r = 3*s - 3, 4*r + j + 17 = 5*s for s.
3
Let z = 9 - 4. Let j(m) = m**2 - 5*m + 4. Let q be j(z). Let w be (-2 + 3)*-2 + 14. Solve -4*h + w - 4 = 5*x, -q*x + h + 19 = 0 for x.
4
Let a(f) = -f**3 - 3*f**2 - 3*f - 1. Let g be a(-6). Suppose 2*x - g = -3*x. Solve d = -3*l + 2 + 17, -5*l + x = 0 for d.
4
Suppose -h + 3*h + 4 = 0. Let z = 4 + h. Let p(k) = 2*k**2 - 5*k - 9. Let t be p(5). Solve r - 4*x = t, 3*x + 5 = -z*r + r for r.
4
Let a(l) = l**2 + l + 2. Let z be a(-1). Solve 3*s + 2*x + z = 0, -3*s + 2*x - 14 = 2*s for s.
-2
Let a be (-5)/(5/1)*(-6 + 2). Solve 5*y + 25 = -0*y, -4*y = a*n + 40 for n.
-5
Let x(g) = g**3 - 6*g**2 - 3*g + 4. Let q be x(7). Suppose 2*f - f = 5, -4*n + q = 4*f. Solve 4*k - n = o, -3*o - 3*k = 2*k + 9 for o.
-3
Let c(g) = g**3 + 11*g**2 + 7*g - 4. Let k be c(-10). Solve 2*l + 2*r = -14, -l - 4*r = 2*l + k for l.
-2
Suppose -2*z - 3*v = -4 - 1, 0 = -5*z - 3*v + 8. Solve -5*s = -2*h + 3, -5*h - 4*s = -z - 23 for h.
4
Suppose -31 = -7*j + 11. Solve 4*n - 14 = -q, -n + q = -j*n + 18 for n.
4
Let m(b) = -b**2 - 6*b + 3. Let l be m(-5). Suppose 4*n = l - 0. Let q = 0 - -3. Solve -2*p + 4*a + 22 = -4*p, -9 = q*p - n*a for p.
-5
Let z be ((-31)/(-4) - (-2)/8)/2. Solve 3*w - 8 = k - 6*k, -5*k = -w - z for w.
1
Let t(x) = x**3 + 5*x**2 + 5*x - 6. Let c be -1*(-5)/(0 - 1). Let d be t(c). Let a be (-1)/3 - d/3. Solve 0*m + 5*o = 3*m + a, 0 = -m + 4*o - 15 for m.
5
Suppose 3*d + 3*t = 3, -4*t = -3*t + 4. Solve -3*y - 14 = -d*v, 0*v + v = 4 for y.
2
Let q(z) = z**3 - 5*z**2 - 6*z - 1. Let c be q(6). Let v be 2/(c/(-4 - -2)). Suppose 6*d - v*d = 30. Solve -4*x - 3*o - 17 = d, 5*o + 10 = 2*x for x.
-5
Let j be 3/(21/12 - 1). Suppose 0 = j*v + 3*k - 6 - 4, -14 = -4*v - k. Solve 0 = -2*n - v, -n - 4*n + 2 = -3*r for r.
-4
Let f(s) = s**3 + 4*s**2 + 3*s + 1. Let z be f(-3). Let n = z - 1. Let l(d) = d + 4. Let t be l(n). Solve 0*v + 4*x + 13 = -3*v, -2*x = -2*v - t for v.
-3
Let y(f) = -21*f + 31. Let d(v) = -10*v + 15. Let q(z) = -9*d(z) + 4*y(z). Let u be q(4). Solve -3*j = -4*w - w + u, 0 = 3*j - w - 7 for j.
4
Let h be (30/6 + -1)*5/4. Solve -3*y + 20 = -h*o, y + 0 - 2 = -3*o for y.
5
Suppose 0 = -4*w, -j + w - 88 = -5*j. Let k = j + -15. Solve 3*p - k = -5*h - 20, 2*h - p + 14 = 0 for h.
-5
Let s = 36 - 32. Solve 40 = s*l - 4*u, 0 = l - 2*u - 0*u - 15 for l.
5
Suppose 0 = -4*p - p + 2*i + 15, -3*p + 3*i + 9 = 0. Solve -5*h + 4*h + 10 = p*o, -2*o + 8 = h for h.
4
Let c be -3*(20/12 + -3). Solve 8 = c*g + f - 7, 3*g = -f + 10 for g.
5
Suppose 13 = 4*j - q, 3*j - q + 2*q = 15. Solve -c - 19 = -5*g, j*g - 2*c = 25 - 5 for g.
3
Suppose 4*s - 2*s = 4. Solve -3*a - s*b = -0*a - 11, -2*b + 2 = 0 for a.
3
Let a(v) = -5*v - 2. Let r be a(-1). Solve -3*q = -m - 6, 0*q + q - 2 = -r*m for m.
0
Let s(b) = b**2 + b + 5. Let v be s(0). Suppose -v*d + 15 = 5. Solve -5*q - 15 = d*n - 7*n, -3*n = -4*q - 8 for q.
1
Suppose -60 = -2*o - 2*o. Let k = 18 - o. Solve -4*y + 0*b - 5*b = -k, -3*y + 4 = 2*b for y.
2
Let b(t) = -t + 2. Let i be b(-3). Solve 10 = 4*s + 3*w, -2*w - 16 = -i*s - 4*w for s.
4
Suppose -5*f = 2*i + 12, -f - 40 = -5*i + 4*f. Solve -2 = n - p, -2*n - i*p + 26 = 6 for n.
2
Let d(g) = g - 1. Let z = -7 - -12. Let n be d(z). Solve k - 5*m = -0*k - 20, -2*k + n*m = 22 for k.
-5
Let j(q) = 1 - 7*q + 7*q + q**2. Let u(b) = 2*b**2 - 5*b + 3. Let r(i) = -3*j(i) + u(i). Let v be r(-4). Solve -v*g = -2*x - 2*x + 8, -2*x + 2 = -g for g.
-2
Suppose 5*m + 19 = 89. Let r be ((-2)/6)/((-1)/15). Solve -n - 3*n = -t + m, -2*t - 11 = r*n for t.
2
Let u(w) = -w**3 + 2*w**2 + 2*w + 6. Let k be u(3). Solve -3*h + 0 = c - 12, 0 = -4*c + k*h - 27 for c.
-3
Suppose 2*j = 5*j. Let c(h) = -h**3 + h**2 - h + 43. Let a be c(j). Suppose -4*m + 3*z + a = -0*z, 61 = 4*m + 3*z. Solve q = 4*g - 8, -4*q + m = -g - 0*g for q.
4
Suppose -3*n = -15, 4*g = -n - 0*n 