o = 0, 4*p + o = 4*o + 1 for p.
1
Let r = -4 - -6. Suppose -r*u - 3 - 1 = 0. Let i(a) = a**2 + a - 2. Let k be i(u). Solve 10 = -2*l - 5*x, k*l = 2*l + x + 2 for l.
0
Suppose s = -3*s. Let x be s*(2*-2)/12. Suppose -i = 5*d - 6, 3*i + 16 = 4*d + i. Solve d*p = 5*o - p - 1, 5*p - 15 = x for o.
2
Let j = -3 - -21. Let k be (-4)/j + 190/45. Suppose h = -5*d - 5, 20 = -5*d + 2*d - k*h. Solve 2*b + q + 6 = 0, 4*b - 4*q + d*q + 36 = 0 for b.
-5
Suppose -5*p + 20 = 5. Let v be 1*(-1 - -4) - -1. Suppose -p*q = -v*r - 16, 2*r + 3*r + 5 = 0. Solve 3*t + 3*f = -3, -1 = -2*t + 3*f - q*f for t.
2
Suppose -3*m = -0 - 6. Let k = -2 + m. Suppose 2*w - 5*p + 20 = k, w - 20 = 3*p - 8*p. Solve -i + 4*i = -q - 12, w = 2*q + i + 4 for q.
0
Let z(k) = -1 + 116*k - 105*k + 9 + k**2. Let a be z(-11). Solve 12 = o - 2*o + 2*q, 2*q = a for o.
-4
Let j be (3/(-9))/(2/(-12)). Solve -2*y - 4*c - 24 = c, -8 = j*y + c for y.
-2
Let f(m) = -5*m + 3. Let a(d) = -3*d + 2. Let r(l) = -7*a(l) + 4*f(l). Let w be r(7). Solve u = 3*s, -s = w*u + 3*s for u.
0
Let y(h) = h**2 + 4. Let g be y(3). Suppose -3*r - 3 + 18 = 0. Suppose r = 2*p + p + 5*f, -2*p - 4*f + 2 = 0. Solve g = 3*x - 2*b, -x - p*b - 31 = -7 for x.
1
Suppose y - 2*d - 10 = -0*y, -2*y + 8 = -d. Let t(z) = -z**2 + 8*z - 11. Let f be t(5). Solve 31 = 5*h + y*c, 2*h + f*c = -c + 25 for h.
5
Let s = 9 - -3. Solve 3*u = -s, 2*k = k + 2*u + 8 for k.
0
Let w be (-82)/(-4) + 2/(-4). Let u(l) = l - 1. Let j be u(5). Suppose -3*k + 11 = 2*t + 4, -5*k + 2*t = -33. Solve -j*i = k*c - w - 6, 3*i = 2*c + 8 for c.
2
Let f(y) = y - 2. Let r be f(2). Suppose -2*w + r*w - 2 = 0. Let z be (-11)/w*(-6 - -7). Solve a + z = -u + 2, -5 = u for a.
-4
Let x(s) = s**2 - 15*s + 19. Let i be x(14). Solve 4*t + 0 = z - 1, 0 = i*t + 5*z - 30 for t.
1
Let f(a) = -a**2 - a + 1. Let g be f(0). Solve -4*k - 4*m + 17 = g, k = -4*m + 19 for k.
-1
Let r = 11 + -8. Suppose z = r*z. Suppose -4*y = -8 - z. Solve -4*f - s + 14 = 0, -14 = -3*f + y*s + 2 for f.
4
Let p = -101 + 106. Solve 4*w - 2*m - 4 - 20 = 0, -m + 16 = p*w for w.
4
Suppose -5*s = -m + 4 - 23, m + 13 = 3*s. Suppose 0 = -4*v - 4*d - 12, 2*v - 11 = 4*v + s*d. Solve 0 = -3*k - 2*w + 8, -2*k + w + v*w = 12 for k.
0
Let n(g) = g**2 + 8*g + 1. Let h(q) = q**2 + 9*q + 1. Let f(s) = 4*h(s) - 3*n(s). Let i be f(-12). Solve 0 = y - 3*j + 4, 4*j - i = -3*y for y.
-1
Let v = 12 - 11. Solve 0 = -2*c - p + v, 3*c - p + 9 = c for c.
-2
Let i = 107 + -105. Solve 5*x = -2*n - n - 12, i*n = 5*x + 17 for n.
1
Let d = 10 + -6. Solve d*n = b - 2*b - 3, -3*n = 4*b - 1 for n.
-1
Suppose 3*w - 2 = w. Suppose 3*r + w = 4*r. Suppose -a + 4 = -r. Solve 2*i - i = -3*f - a, 0 = -5*f + 2*i - 1 for f.
-1
Suppose 0 = -2*b - 0*b. Let l be (-6)/(-15) - (-16)/10. Let k be (-2)/l*(-18 + 13). Solve k*w = 2*y + 2 - 27, b = -5*w - 5*y + 10 for w.
-3
Suppose -6 = -3*h - 3*r, -4*h + 0*r - 2*r = -12. Solve 4*p + 4 = -h*f, f - 9 + 2 = -3*p for f.
-5
Let j(m) be the third derivative of m**5/10 + m**4/8 + 3*m**2. Let y be j(-3). Solve 4*d = -d - 5*z + y, 2*d + 4*z = 28 for d.
4
Let a be (-6)/8*(-24)/(-6). Let j = a + 3. Let q(v) = -v**3 - v**2 + 2. Let u be q(j). Solve u*y = -5*o + 3, 4*y + 2 = -2*o - 0 for o.
1
Let p(g) = -g + 2. Let l(o) = 3*o**3 + 1. Let w be l(-1). Let h be p(w). Let m = -7 - -11. Solve y - m*b = -y + 22, -h*b - 15 = 5*y for y.
1
Let s(q) = q + 4. Let c be s(6). Let p = -6 + c. Suppose 2*j = u + 4*u + p, u + 4 = 2*j. Solve -5*h + 25 = j*m, -4*m - 41 = -5*h - 16 for h.
5
Let m be (-3)/2*(-40)/6. Solve -4*j = -2*w - 3*j, -4*w + m = 3*j for w.
1
Suppose -3*b = -23 + 5. Let m = b + -2. Solve -q + 3 = 3*a - 0*a, -2*q = -m*a + 4 for a.
1
Suppose 0 = p - 5*c - 140, -2*p = 5*c - 6*c - 316. Suppose 3*m + p = 5*v, -5*m + 3*m = 4*v - 106. Solve s + 6 = -z, 5*z + v = -6*s + 2*s for s.
-1
Suppose -10 = -5*h, 0*h = -5*w - 5*h + 30. Solve u + 1 = -p, -2*p - w*u - 10 = -p for p.
2
Let u be (3/4)/((-10)/(-40)). Solve -3*o + u = 0, 2*k + 3*o - 7 = 6*k for k.
-1
Let s = -5 + 8. Let u = 3 - s. Solve 3*g - 18 = -3*p, 3*g = p - u - 2 for p.
5
Let y(p) = -2*p - 36. Let q be y(-19). Solve 3*w + 2*h - 13 = 0, q*w + 3*h - 4*h = 11 for w.
5
Let t(a) = a**3 - 7*a**2 - 8*a + 12. Let k be t(8). Let f = k - 10. Solve -4*b + f*i = 0, 7*b - 6 = 3*b + 5*i for b.
-1
Let t(g) = 6*g + 2. Let u be t(3). Suppose -4*d + u = -2*h, -h + 6*h + 18 = 2*d. Solve -2*k = -2*a, 45 = 3*a - 8*a - d*k for a.
-5
Let q(u) = u**3 - 10*u**2 - 5. Let f be q(10). Let x = -2 - f. Let n = x - 1. Solve w = -3*g + 16, 7*g + n*w - 28 = 2*g for g.
4
Let w = 6 + -4. Let p(b) = b**3 + 4*b**2 + b. Let a be p(-3). Solve -w*j = 4*n - 2, j = a*j - 25 for n.
-2
Let s(f) = -f**2 + 3*f + 4. Let p be s(4). Let l be 0/3 - (-2 + p). Let u be (-10)/(-40) + (-7)/(-4). Solve 7 = -j + l*x + x, 0 = -j + u*x - 4 for j.
2
Let d = -2 + 2. Suppose d = 2*r - 7*r - 4*j + 9, 0 = j + 4. Suppose 2*n + 3 = r*n, 5*t - 2*n - 8 = 0. Solve -s + u - 3*u + 4 = 0, -2*s - t*u = 0 for s.
-4
Suppose -2*j - 2*j = -40. Suppose 16 = -w + 5*w. Let z(l) = l**2 - 13*l - 46. Let x be z(16). Solve -2*n - x*v = -w, 4*v = -n + j + 7 for n.
-3
Let s = -32 - -60. Let v = s - 15. Let c = 7 - 5. Solve -3*j = -c*u + v, -3*u + 18 = -3*j - 0*j for u.
5
Let y(q) = q**3 + 2*q**2. Let m be y(-2). Suppose -8*u = -4*u. Suppose u = -7*r + 2*r. Solve 3*j + 2*j + x - 16 = r, m = 5*j - x - 24 for j.
4
Let p = -5 + -3. Let x be (11/(-2))/(p/16). Solve 4*b = 5*d - 0*d - 22, -2*d - 5*b = x for d.
2
Let g(m) = -m**3 + 4*m**2 - 3*m - 2. Let p be g(3). Let v(d) = -d - 1. Let q be v(p). Solve 0 = 5*b + 10, 3*z + 5*b = -6 - q for z.
1
Suppose 4*x = x - 3*o + 24, 0 = x - 2*o + 4. Solve 0 = -x*w - 2*t - 25 + 9, -12 = 3*t for w.
-2
Let k be (12/4 + -2 + 1)*6. Solve v - 2*v = 2*g, v = 4*g + k for v.
4
Suppose -5*r = x - 16, 3*x + 2 = 2*r - x. Solve r*y + 6 = 2*m, 0 = -y - m + 2 - 4 for y.
-2
Let d be 14*(1 + (-1)/2). Let t = d - -1. Solve -4*i = 3*k, -k + t = -2*i + 6*i for k.
-4
Let b(h) = -4*h**3 - 2*h**2 + h - 1. Let y be b(-2). Let z = y - 16. Solve -3 = 3*p + z*a + 19, 0 = -3*p - a - 2 for p.
1
Suppose -1 = -4*d + 3*d - 3*k, 4*k = 5*d - 24. Let t = 9 - d. Suppose -l - 4 = -t*l. Solve -n - 3 = -2*b, -4*n - 4*b - b = -l for n.
-1
Let h be (-1 - -1)/(1/(-1)). Let k be (-1)/(-2)*(h - 0). Suppose x + 2 + 3 = 4*d, k = -5*d + 4*x + 20. Solve -4*u - 3*v + d = 3, 0 = 3*u - 5*v + 24 for u.
-3
Let l = 5 - 3. Solve -9 = 3*c - 0*x - l*x, -c = -4*x + 3 for c.
-3
Suppose 4*j = -3*q + 6*j - 4, -2 = 3*q - j. Solve -4*m - 14 = -3*a + m, q = a + 3*m + 14 for a.
-2
Suppose 5*w + k + 3 = 9, -4*w - 3*k - 4 = 0. Solve -n + h - 1 = 0, w*h = -n - 0*n - 7 for n.
-3
Let y(t) = -t**2 + 6*t + 7. Let q be y(5). Suppose -2*i - q = -0. Let v = i + 11. Solve 0 = 4*c - o + 4*o - 16, -4*c = -v*o + 16 for c.
1
Suppose 2*x - 28 = -0*x. Solve -4*l - 12 = -4*h, -3*h + x = -1 for l.
2
Suppose -5*s = -s + 8. Let k be -2 + 0 + (-12)/s. Solve 3*h = -r - k, -r + 8 = -3*h - 0*h for h.
-2
Suppose 2*d + d + 9 = 0. Let t(k) = -5*k**2 + 2 + 8*k**2 - 6*k**2 - k**3. Let c be t(d). Solve -24 = 4*f - c*j + 6, 4*f - 3*j = -35 for f.
-5
Suppose 3*x + 2*x - 5 = 0. Solve -a - p + 2 = -3*a, a + x = -3*p for a.
-1
Suppose -4*i + 0*i = 3*v - 26, 2*v - i = -1. Solve 4*m - w - 11 = -0*w, -5 = -m - v*w for m.
3
Let b be (-120)/36*12/(-10). Solve 0 = b*s - x - 23, 4*s - 13 = -3*x - 2 for s.
5
Suppose 0 = -5*f + 5*j - 9 - 6, -5 = 5*f - 3*j. Let g be 2 - (1 + -2 + 3). Suppose g = -2*s + 24 + 6. Solve 5*p = -f*q + s, -3*p + 36 = 4*q + 13 for p.
1
Let t be 1*-1*(-12 + 5). Suppose t = 3*c - 8. Solve -3*v - 18 = -0*s + 3*s, 0 = -c*v - s - 22 for v.
-4
Let v(x) = -6*x. Let i be (-1 - 0/(-2)) + 5. Suppose i*r - 4*d = -20, 0 = -3*r + 4*d + 8 - 26. Let p be v(r). Solve 5*b = -k - 21, -5*b + k = 41 - p for b.
-5
Suppose 2*i + 6 + 14 = 4*y, 20 = -5*i. Suppose -n - n = -8, y*p - n = 8. Solve -9 = -5*k + p*a, -k + 36 = 3*k + 4*a for k.
5
Let m = 4 + -4. Let a(u) = 4 - u**2 - u**3 + 2*u**2 + 8*u**2 + 0*u**2. Let k be a(9). Solve -5*v - k*c - 22 = m, -c - 3 = -0 for v.
-2
Suppose 3*y - 2*t = -3 + 14, 5*y - 15 = 5*t. Solve -y*w - 12 = 4*c, 4*w - 2 = -5*c - 17 for c.
-3
Suppose -3*k = 2*t - 23, 10 + 2 = 2*k - 2*t. Let p = 18 + k. Suppose 90 = q + 4*q + 5*z, q - z - 12 = 0. Solve p = -3*o - 2*u - 0, 4*o + q = u for o.
-5
Le