 = j for o.
1
Let p = 16 + -14. Let q = -7 + 9. Solve q*w - p*l = -2, 3 + 10 = 5*w + l for w.
2
Suppose 4*x - 4 - 16 = 0. Solve -x*i + 10 = 4*p, 7*i - 4*i - 9 = -3*p for i.
-2
Let a(l) = -l**2 - 2*l + 28. Let k be a(-6). Solve -h = -k*x + 25, -4*h + 5*x = -3*h + 30 for h.
-5
Suppose t + 7 = -z, 5*t - z = 3*z + 10. Let o = 9 - 9. Let p = o - t. Solve 4*y - 2*s = p*y + 8, -5*s = y + 14 for y.
1
Let o(z) be the first derivative of -z**4/4 - 7*z**3/3 - z**2 - 2*z + 3. Let l be o(-7). Solve -i + 2*i + 5*c = -l, -2*c = 2*i for i.
3
Suppose -47 = y + 4*f, 5*y = -5*f + f - 155. Let l = y - -12. Let u be (-1)/(-3) - l/9. Solve 0 = 5*n - 20, 0 = d - u*n + 7 + 3 for d.
-2
Let m = 12 + -30. Let n be 29/9 + 4/m. Let i(f) = f + 5. Let h be i(5). Solve -n = 5*w - k, -5*k + h + 5 = -w for w.
0
Let x(l) = -8 - 3*l + 2*l + 9. Let j be x(-7). Solve -5*r + 8*r + 3 = 3*p, 0 = -2*p - j for r.
-5
Let h(z) = 4*z**2 - 2*z + 1. Let f be h(2). Let p = -10 + f. Solve 2*n + 4 = -i - i, -4*i + p*n + 6 = 0 for i.
0
Let m be (104/(-5))/(1/(-5)). Suppose m = 3*f + f. Solve -4*h - 2*q = -f, 17 = h + 4*q - 0*q for h.
5
Suppose 0 = -5*x + 13 + 12. Solve x*u + 3 = 3*k - 16, -4*u - 11 = -k for k.
3
Suppose 2*f = -2*z - 2, 0 = -4*f - 12*z + 15*z + 3. Solve 3*u + 11 = -4*b, -4*u - 4*b - 10 - 6 = f for u.
-5
Suppose 5*q - p = -2*p + 33, -4*q = p - 27. Let x be (1/(-2))/(q/(-36)). Solve 3*u + 5*o + 1 = 0, -4*u + x*o - o + 16 = 0 for u.
3
Let w(b) = -b**3 - 5*b**2 - 2*b - 5. Let p be w(-5). Let i = 8 - p. Solve 0*k + 2*k + 14 = 4*j, 2*j + i*k = -5 for j.
2
Let a be 6/(-2) + (-1 - -6). Suppose -6 = -m - a*m + 3*g, 5*m = -5*g + 10. Solve -m*c - 2*l + 2 = 0, 12 = 4*c - 6*l + 2*l for c.
2
Let p be 12/(-10)*((-2)/(-4) + -3). Solve 0 = 3*r - 12, 2*r - 27 = p*q - r for q.
-5
Let a(c) = c**3 + 26*c**2 + 25*c + 2. Let q be a(-25). Solve 14 = -0*r - 5*r + q*z, 4*r = -5*z + 2 for r.
-2
Let w = 53 - 50. Solve -2 + 6 = -4*o + 4*r, -5*o - w*r = 29 for o.
-4
Let h be (-46)/(-6) - 2/(-6). Let l be (-5 - -6)/(2/(-10)). Let j = l + h. Solve -2*n - 3*x = -7*x - 6, j*x = 5*n - 1 for n.
-1
Let y(x) = -4*x + 30. Let a be y(6). Solve -m - k = a, -26 = 4*m - m + 5*k for m.
-2
Suppose 0 = -2*a - 3*a + 45. Suppose 0 = 4*f - 2*m + 6, -5*m + 2*m = 2*f - a. Solve -4 = 5*g - n - n, f = 3*g - 3*n + 6 for g.
0
Suppose 2*h = -4*k + 54, -4*k + 30 = -2*k - 2*h. Solve 3*x - 1 = 5*m, 4*m = -5*x - 0*m + k for x.
2
Let b(i) = -2*i. Let z be b(-1). Let k = -2 + z. Suppose k*q + 4*q - 192 = -5*s, 2*s - 72 = -4*q. Solve -3*j - 6 - 31 = 5*g, 0 = 4*g + 5*j + s for g.
-5
Let a be 32/(-48) - 14/(-3). Solve 0*r - r = -5, -1 = a*f + 3*r for f.
-4
Let c(d) = 4*d + d + 0*d**2 - 3 - d**2. Let y be c(3). Suppose g + 3*g = 8. Solve y*z + 2*t = 5, t = -7 + g for z.
5
Suppose 3 = 3*x - 0. Let i be (-9)/x*(-5)/15. Let g be (i - (-30)/(-9))*-6. Solve -3 - 24 = g*t + 5*h, 4*t + h + 9 = 0 for t.
-1
Let p be 12/4 + 0 + 1. Solve 3 = -4*s + 3*b, -3*s + 26 = -s + p*b for s.
3
Let o(v) = 2*v + 1. Let j be o(3). Solve 3*g + 4 = j, 0 = 3*a + 3*g - 15 for a.
4
Let j = 101 - 100. Solve o + 20 = 3*x, o + 9 = x - j for x.
5
Let f = -2 - -1. Let y be 0/1 - (f + -1). Let g be (-8)/10*(y - 7). Solve 4*c = g, 0*t - t + 5 = 5*c for t.
0
Let w(y) = y**2 - y. Let h(t) = -t**3 + 9*t**2 - 7*t + 1. Let o(k) = h(k) - 5*w(k). Let b be o(3). Solve -2*j + 20 = 3*j + 5*x, -2*j - b = -x for j.
0
Suppose -20 + 5 = -5*u. Solve u*o - 9 = -5*j - 21, j + 3*o = 0 for j.
-3
Let d = -8 + 12. Suppose -g = g - d. Solve -j = 5*b - 2*j + 10, 0 = -b - 3*j - g for b.
-2
Let d = -10 + -1. Let l = d + 8. Let j = l - -5. Solve -2*y + 6 = -4*y, 3*y = j*w + 1 for w.
-5
Let n be ((-2)/4)/((-6)/24). Solve -4*k + 3 = 11, n*w + 2*k = -12 for w.
-4
Let n = 15 - 15. Suppose -y + 5*d + 36 = n, -d = -6*y + y + 84. Solve 3*w = 3*i + 3 + 9, -3*w + y = i for w.
5
Let u = -5 + 7. Suppose -2*v + 24 = u*v. Suppose 5*w = 5*m - 2 + 7, 0 = -3*w + v. Solve -3*y - 3 = 0, 0*b = -2*b - 3*y + m for b.
2
Let v = 27 - 24. Solve -10 = v*d - q, -4*d - 11 = 2*q - q for d.
-3
Suppose -8*z + 166 = -6*z - 5*h, -4*z + h + 314 = 0. Suppose -27 = 3*a - z. Solve 6 = 2*g, 3*v - 4*v + 5*g = a for v.
-2
Suppose 0 = -0*h - h. Suppose h = 3*r - 0*r - 15. Solve -3 = -4*y - 5*p, -r*y + 0*y + 3*p - 24 = 0 for y.
-3
Let o = 17 - 15. Solve -23 = 5*y + 2*f, y - 2*f = -y + o for y.
-3
Suppose -2*x - 4 = -5*p + 2, -5*p + 3*x + 4 = 0. Suppose 0 = -p*h + 9 + 1. Solve q - 11 = -h*r + 14, -4*q = 3*r - 32 for r.
4
Let c(n) = -n**3 + 7*n**2 - 6*n - 6. Let u be c(5). Let k be (-3)/(-9)*0*1. Let t = u - k. Solve -5*w - 4*b = 25, -2*b - t = -4*w + 8*w for w.
-1
Let v = -35 - -37. Solve 0 = 2*x + 3*l - 22, v*l = 2*x - 3*x + 13 for x.
5
Let s = -101 + 105. Solve 2*g + 8 = 0, 4*y + 3*g - s - 4 = 0 for y.
5
Suppose -4*t - 3*c + c - 10 = 0, t + 4 = -2*c. Let q(w) = -42*w + 2. Let f be q(t). Let h be f/6 + (-1)/3. Solve 2*p + h = -2*a, 3 = -p - 2*a - 6 for p.
-5
Suppose 1 = -2*q + 2*p - 1, -3*q = -5*p + 5. Let n(v) = -v**3 + v**2 - v + 20. Let t be n(q). Solve w = 4*h - 5 + 6, -3*w + t = 5*h for w.
5
Suppose -4*z + 122 = 42. Let s be (z/(-8))/(2/(-4)). Suppose -2*f = 2*u - 4, 6 = -0*u + 4*u + s*f. Solve 0 = 2*g - a + 1 - 10, -3*g = u*a + 14 for g.
2
Let w(d) = d - 2. Let i be w(6). Let x be (5 - 3)*10/i. Solve x*p - g + 12 = 0, -2*g = -5*p - 7*g for p.
-2
Let d = -32 - -21. Let k = 12 + d. Solve 5 = 4*x + 1, -2*l = x + k for l.
-1
Suppose m + 2*m + 4*i = 25, 3*m - 29 = -5*i. Suppose -6*w = -w - 40. Solve -4*o - 1 = m*d - 2*d, 0 = -2*o - 2*d - w for o.
1
Let h(t) = -t**2 + 3*t. Let u be h(2). Let r = 19 + u. Solve -n + 0*i + r = 4*i, -16 = -4*i for n.
5
Let i = -131 + 135. Solve -w - n = 2*w - 19, 0 = -i*w + n + 16 for w.
5
Suppose -4*p = -3*p - 2, -4*d + 4*p + 16 = 0. Let i = -4 + d. Solve -4*g + 5 = g, 5*s - 3*g = i for s.
1
Let g(x) = 3*x**2 - x - 4. Let p be g(3). Solve -4*c = 5*v + p, -5*v = 3*c - 4*c - 5 for v.
0
Suppose l - 10 = -4*x + 29, 3*l = 3*x + 72. Suppose -y - 2*y + l = 0. Solve d + 3*c - 14 = 0, -4*d = -2*c + c + y for d.
-1
Let c be 6/21 + (-150)/(-14). Suppose -3*t + c = -d, -1 = -d - 3. Suppose -2*s + 2*f = -f, -6 = -t*f. Solve -r - 2*i - 8 - 1 = 0, 4*r - 19 = s*i for r.
1
Let q be 0*(2 - 3) + -2. Let o be q*1*(-3 - -2). Suppose -u - o*u = -69. Solve 5*a + 23 = n, 3*a + 5*n = 5*a + u for a.
-4
Let s(y) = -y**2 - 3*y + 8. Let p be s(-4). Solve 6 = 3*f - 0*c - 3*c, 0 = -p*f + c - 7 for f.
-3
Let l(u) = -u**3 + 4*u**2 - 3*u + 6. Let w be l(4). Let j(g) = -2*g - 6. Let y be j(w). Solve 5*k - 14 = -4*b, -y = -4*k + k for b.
1
Let r = -20 - -34. Suppose -p + r = -1. Suppose -5*h + 3*m - m + 15 = 0, -p = h - 4*m. Solve 5*u - 2*u - h*y = 12, -u + 2*y + 5 = 0 for u.
-1
Suppose 0 = -4*z, 5*z = -5*v + 2*v. Suppose 0 = -2*m + m - 4, -3*m = -g + 32. Solve g = -3*p - v*p + 5*s, s + 24 = -5*p for p.
-5
Let c be (-2 - -8)/2 - -2. Solve -4*v = c*p - 13, 4*v - 1 = -p + 8 for p.
1
Suppose -12*r + 48 = -0*r. Solve 5*t + 20 = t, 20 = -5*k - r*t for k.
0
Let d = -5 + 5. Solve m + m - 4*y - 2 = d, -2*m - 4*y = 14 for m.
-3
Suppose -7*z + 114 = -89. Let i(b) = b**2 - 7*b + 6. Let q be i(7). Let t = q - 2. Solve 0*r = -4*o + t*r + 4, 3*r - z = -5*o for o.
4
Let n = -5 - -12. Suppose 0 = q + 3 - n. Solve -3*o = -2*v + o + 4, -4*o = -q*v + 12 for v.
4
Suppose 0 = 2*z - 2*p, -3*z = -4*z - 4*p + 20. Let u = z - 7. Let t be 4 + -1 - (4 + u). Solve 3*i + 12 = a, -3*a - 5*i = -t*a + 20 for a.
0
Suppose -20 + 0 = 5*y. Let n be y*3/(-2) + -2. Solve 3*k + k - 3 = 3*h, n*h = 5*k - 4 for k.
0
Let z = 94 - 90. Solve -4*v = 3*d - z, -6 = -3*d - d - 5*v for d.
4
Let t be 645/24 + 2/16. Solve 0 = 4*c - 5*z - t, 11 = c - 3*z - 1 for c.
3
Let d be 3/(-9) - (-10)/3. Suppose d*u + u = 4. Suppose 3*n - 7 = -u. Solve 5*c + 5*q + 5 = 0, -n*c + 10 = -0*q - q for c.
3
Let q(p) = -p**3 - 4*p**2 - 6*p - 6. Let c be q(-3). Solve -3*k = i - 15, k - 20 = -c*k for i.
0
Suppose -2*s = 3*i - 17, 0 = -0*s - 3*s - 5*i + 27. Solve -s*x = k, -5*k + 0 = 2*x - 18 for x.
-1
Let f = -3 + 9. Suppose 3*i = f*i - 36. Suppose -3*v = -2*c + 11, 2*c + 2 = 5*v + 15. Solve 2*z - 20 = -2*z - 2*s, -z - c*s = -i for z.
4
Suppose -73*p - 3 = -74*p. Solve p*y - 2*b = 7*y + 18, -5*y = b + 24 for y.
-5
Let m(d) = d**2 - 2*d. Let p be m(5). Let a = 19 - p. Solve 0 = -a*w - 3*o + 3, 0 = -w + 6*w + 5*o for w.