 for o.
2
Let n(y) = y**3 + 6*y**2 - 2*y - 3. Let t be n(-6). Let g = -1 - 1. Let m be (-47)/(-9) + g/t. Solve 0*c - 4*i = -m*c - 12, 0 = c - i + 3 for c.
0
Suppose 5*k + 3*l = 4*k - 7, 5*k - 2*l = 16. Solve 2*p + 20 = -4*x, -5*p - k = -2*p - x for p.
-2
Let w(q) = q**2 + q - 1. Let m be w(-2). Solve -4*r = u + 7, -4*r + m = -u + 10 for u.
1
Let w(d) = 4*d**2 + 2*d - 2. Let g be w(2). Let q = g - 15. Solve 3*s - 11 = h - q*h, 5*s = -h + 9 for s.
1
Let w be 4 - ((-10)/2 - -4). Let h = 17 - w. Let z = 4 - 1. Solve -7*m = -3*m - 4*a + 8, h = -z*m - 3*a for m.
-3
Suppose 0 = -3*k + 1 + 62. Suppose 0*h = -3*h + k. Solve -7 = -v + 5*v + 3*i, 2*v + 5*i = -h for v.
-1
Let z = 10 - 1. Suppose -5*p = -6 - z. Solve -s = 2*s + p, -4*s - 4 = 4*a for a.
0
Let d(o) = -2*o + 2 + 1 - 3 - 1. Let h be d(-1). Let f be 13 + (0 + 3)/h. Solve -2*w = 5*u - 14 - 4, 0 = -4*u + f for w.
-1
Let j = 7 + -7. Suppose -2*x + 6*x - 80 = j. Let f = 111 + -71. Solve -4*h - 4*w = -8 + f, 4*w + x = -h for h.
-4
Let v be (-4)/(2/6*-1). Suppose -a - 60 = -5*o - 4*a, 3*a = -2*o + 33. Solve -4*s + v = -3*m, -2*m - s = o - 1 for m.
-4
Let p(w) = w**3 + 3*w**2 - 2*w + 3. Let i be p(-4). Let h = 9 + i. Solve 25 = -m - 4*z, m + z = h*z + 10 for m.
-5
Let r(q) = q**3 - 2*q**2 + 2*q + 1. Let h be r(2). Solve 0 = z - 2*z + h, 4*a - 20 = -4*z for a.
0
Suppose 9 = 3*f - 5*d - 53, -f + 34 = 5*d. Solve -3*k + f = -b + 2*k, -4*k + 8 = 2*b for b.
-4
Let k be 4/(-4) + 6/(-2). Let j be (-1 - k)/(12/16). Suppose -6 = -2*p + 12. Solve -j*f - 1 = 3*m + 7, p = -f + m for f.
-5
Let i = -112 - -116. Solve i*t - 4*v + 24 = 0, 0 = -5*t + v + 3*v - 29 for t.
-5
Let y(x) = -x**3 + 4*x**2 + 4. Let k(m) = -5*m - 1. Let v be k(-1). Let z be y(v). Solve z*l = 3*i - 4, -i + 16 = -3*l - 2*l for i.
-4
Let d = 2 - 3. Let a(c) = -24*c**3 - 2*c - 1. Let n be a(d). Suppose 10*p - 5*p - n = 0. Solve 3 = -g, 8 = 4*m - p*m - 3*g for m.
1
Suppose d + 5*w - 38 = -2*d, 2*d - 4*w + 4 = 0. Solve 35 = -5*y + 2*s, -5*s - 5 = -d*s for y.
-5
Let u be (-1 - 60/(-14)) + 48/(-168). Solve 0 = 2*g - p + 7, -4*p - 17 = -2*g + u*g for g.
-5
Suppose -4*k = -3*k. Let m be (k/9)/(-1 + 0). Solve -5*a - 32 + 7 = m, 0 = 4*v + 2*a + 18 for v.
-2
Suppose x = -w + 7, -x + w + 13 = 3*x. Suppose -3 = -z + x. Let i(j) = j**3 - 3*j**2 + 3*j - 4. Let t be i(3). Solve t*s = -15, 2*u - z = 2*s - s for u.
2
Let w be (-3)/3*4*-1. Solve -5*c + x + 4 = 4*x, 2*c + 4 = -w*x for c.
2
Suppose 0 = -0*s - s + 4. Suppose -128 = -4*a - s*h - 12, 2*a - 5*h = 30. Suppose -2*k - 4*q - 26 = -6, 5*k - 5*q = a. Solve -4*j + 8 = 2*b, 0 = -k*j + j for b.
4
Let i be 2/(-10) + 20/(-25). Let x(n) = 2 - 3 + 4*n**2 + 2. Let c be x(i). Solve c*a - 13 = 4*b + 5, 2 = 3*a + 2*b for a.
2
Suppose 3*o - 18 = -3*z, -5*z - 3*o = -z - 21. Solve 5*u + z*b - 8 = -0*b, -2*b - 8 = 0 for u.
4
Let k be (-21)/6 + (-9)/6. Let x(q) = q**3 + 5*q**2 + q + 8. Let o be x(k). Let j be (-2)/(-4) + 7/2. Solve -o*s - j = 5*a - 2, 3*a = -3 for s.
1
Suppose -2*r + 0*h + 3*h + 19 = 0, 5*h = -5*r + 35. Let a(f) = -f**2 + 7*f + 11. Let c be a(r). Suppose 0*k + c = k. Solve 2*g + 8 = 0, 6 = k*t - g - 1 for t.
1
Let q = 25 + -22. Solve -5*z = w - 5*w - q, -2*w = z + 5 for z.
-1
Let x(k) = 20*k**2 - 7*k - 29. Let i(b) = -7*b**2 + 2*b + 10. Let n(s) = -17*i(s) - 6*x(s). Let w be n(8). Solve 2*y + 6 = -3*t - 6, 16 = -w*t - y for t.
-4
Suppose -2 = -3*v + 5*p + 6, -5*v + 3*p + 8 = 0. Let m be ((-2)/v)/(2/(-4)). Solve -6 = -3*t + m*r + 7, -5*r = -t + 8 for t.
3
Let t = -7 - -10. Let k be 2/(4 + -2)*t. Suppose -k*c = -0*c. Solve 0 = -v + 1, -3*r + v + 0*v - 13 = c for r.
-4
Let l(r) = -3 + r**2 + 3 - 6*r + 5 + 0*r**2. Let i be l(6). Solve -2*n + 2*p = -4*n - 14, n - i*p = 11 for n.
-4
Let h(m) = m**3 - 9*m**2 + 9*m - 4. Let z be h(8). Let q be (-160)/56*(-14)/z. Solve -b - 2*n = -4, q = b + 5*n + 3 for b.
2
Suppose -11 = -5*u + 4. Solve -u*o + 21 = 3*a - 6*a, -5*a - 11 = o for a.
-3
Let y(w) = w + 4. Let r(q) = 3*q - 5. Let f be r(5). Let k be y(f). Solve -b + 6 = 2*b - 3*i, 5*i - k = -3*b for b.
3
Let s(w) = w**3 + 2*w**2 + 2*w - 4. Let v be s(2). Solve 0 = -2*j - c - 3*c + v, -c + 4 = j for j.
0
Suppose -2*d + 5 = -3*d. Let f(w) = 1. Let r(h) = h - 1. Let p(k) = 6*f(k) + r(k). Let m be p(d). Solve 5*l + o - 10 + 1 = m, 4*l + 5*o = 3 for l.
2
Suppose -6*w - 18 + 42 = 0. Suppose w*y - 6*y - 4*h = -16, -4*y + 2*h = -12. Solve f - 3 = 0, -2*f + f = y*x - 11 for x.
2
Let s = -9 + 8. Let w be ((-78)/30)/(s/5). Solve -y = -3*q + w, -5 + 0 = -q + y for q.
4
Let j be ((-12)/10)/((-30)/100). Suppose -3*u = -u - j. Solve -5*c + c - u*w - 10 = 0, 5*w + 5 = 0 for c.
-2
Let x = 1 - -1. Suppose o + 3*j + 9 = 0, 5*o = 3*o + 2*j + 14. Solve -25 = o*r + x*r - a, 3*r - 2*a = -15 for r.
-5
Let p be 4/16 - (-2)/(-8). Suppose 0*y + 4*y = p. Solve -22 = -y*o + 2*o + 4*a, -o - 26 = 5*a for o.
-1
Suppose -3*s = 2*s + 10. Let z = s + 4. Solve j + 2 = z*x - 5, -3*x + 13 = j for j.
1
Let a be (4 - 5)*(-7 - 0). Suppose -2*m = -a*m + 10. Solve 0 = 3*g - 4*u + 5, -3*u = m*g - 3 - 5 for g.
1
Let g(o) = o**2 + 4*o - 17. Let m be g(-7). Solve 3*r - 10 = m*r + 4*j, 10 = -4*r - j for r.
-2
Suppose 0 = 4*l - 4*i + 8, 3 + 11 = -4*l + 2*i. Let b = -3 - l. Solve 2*d + 2*d - 3*c - 17 = 0, 0 = -b*d - 2*c - 2 for d.
2
Let h(p) = p**2 + 2. Let y be h(0). Suppose y*f = -2*t - f + 2, 2*f = -5*t + 16. Solve 3*r - 3 - 2 = 2*l, -t*l - 4 = -4*r for l.
2
Suppose 3*f - 20 = -2*f. Let d = 3 - 3. Suppose 4*m - y - 5 = d, 2*m + 2*y = f*m + 2. Solve -2*q - m = -v - v, 4*q - 3*v = -4 for q.
-1
Let c = 64 + -64. Solve 3*k + o + 15 = 3*o, c = -2*k + 5*o - 10 for k.
-5
Let p be (9/3)/(3/4). Suppose 0 = 3*z - p*a - 25, -4*z - 13 = -3*z + 4*a. Solve -3*w - z*x = -15, -28 = -3*w - 4*x - 10 for w.
2
Suppose q - 2*s = 0, 3*q = s - 4*s + 9. Suppose 4*a + 3*i = 25, 2*a - q*i + 1 = i. Solve -3*c - a*g = -8, -4*c + 5*g + 17 = -c for c.
4
Suppose 4*s = 2*s - 8. Let m be (-1)/s + (-1)/4. Solve m = -2*j + 6, -10 - 14 = -3*b - 4*j for b.
4
Let r = 25 - 16. Let j = r - 5. Solve 2*t = 2, -j*o = o + 4*t + 6 for o.
-2
Let d be (-2)/(-3) + 52/12. Suppose p - 5 = -3*o, -o = 2*p - 0*p. Solve 0*t - o*w = -2*t + 12, 3*t - 28 = d*w for t.
1
Let k be (-22)/(-99) + 70/9 + -3. Solve -2*w + 2 = -k*h, 4*h + 6 = w - h for w.
-4
Let k(g) = 3*g + 1 - 4 - g. Suppose 0 = -5*q - s + 15, 2*q - 7 = -s - 1. Let x be k(q). Solve -z + x*j - 4 = 8*j, -3*j = z + 4 for z.
-4
Suppose -5*z + 3*i + 28 = 0, -2*z = -4*z - 5*i + 36. Suppose -2 = -5*x + z. Let t be ((-3)/x)/((-1)/2). Solve -d = -3*k - 2 + 18, t*k - 10 = -5*d for d.
-1
Suppose b = -3*m + 2*b + 2, -2*b = -4*m. Solve 2*k - 4 = -0*i - m*i, 2*k = i + 13 for k.
5
Suppose 2*z = 7*z - 25. Solve -2 = -z*d - 12, 5*r - d = 2 for r.
0
Suppose 4*n - 16 = 0, j - 12 = -j + 5*n. Let t = j - 5. Let u = t + -8. Solve -5*z + 24 = -2*g + u*g, 4*z = -5*g + 15 for z.
5
Suppose -9*b + 11*b - 6 = 0. Solve 4*g - 3*n = g - b, -3*n + 11 = -5*g for g.
-4
Suppose -3*u = -3*a - 6, -2*a - 3*u - 4 + 0 = 0. Let d be (2/3)/(a/6). Let y be d/(-3) - (-8)/6. Solve -2*k = -2*c - k - 2, -y*c - 2 = -3*k for c.
-1
Let n = -2 + 4. Solve 4 = 4*x - 4*f, -21 = x - n*x + 5*f for x.
-4
Suppose -1 - 2 = -3*o. Suppose -5*u = 2*h + 29, 3*h + h + 28 = -4*u. Let c be (h - -1)/1 + o. Solve -p + 2*l = 13, 3*p + p + l + 7 = c for p.
-3
Let c(z) = -z**2 - 7*z - 7. Let a be c(-4). Solve 0 = 5*k - 4*f + 35, -a*k - f = f + 5 for k.
-3
Suppose 3*f - r - 19 = 0, 0*r + 29 = 4*f - 5*r. Suppose 2*y = f + 4. Solve 3*q - y*q - 4 = -a, 4*a + 23 = -5*q for q.
-3
Suppose 5*v = -4 + 9. Suppose 3*t - 2 = 2*t. Let u be (-1)/(v/(-5)) - t. Solve -g - 18 = 5*l, -2*l - 3 = g + u for l.
-4
Let i = 64 - 62. Suppose -3*v = v. Solve 4*y - w + i*w = 3, -2*y - w + 1 = v for y.
1
Let f = 20 - 11. Let z = 13 - f. Solve -16 = -5*q + t + 12, 3*q - z*t = 27 for q.
5
Suppose 0 = -9*j + 10*j - 4. Suppose -j*p + h = 1, p - 19 = -3*p - 3*h. Solve p = -2*u + 3*a, -4*u - 5*a = -2*u + 9 for u.
-2
Let y = -60 - -65. Solve 2*s = 2*i - 8, -y*s - i = -5*i + 15 for s.
1
Let p = -6 + 8. Let g(u) = -u**3 - 8*u**2 - u - 6. Let o be g(-8). Let v = 4 - -6. Solve o*x = -3*s - p, 3*s + v = -s + x for s.
-2
Let x be (-10)/((2 - 36/8) + 2). Solve -2*s + x = 4*r, -3*r = -s - 4*r + 6 for s.
2
Let d(z) = -3*z**3 - 3*z**2 + 2 + 2*z + 4*z**3 - 3. Let l be d(2).